Descomposición de una aplicación lineal

Descomposición de una aplicación lineal

Descomposición de una aplicación lineal

Contenido

Isomorfismo canónico

Definición y teorema

Sean E y F dos espacios vectoriales sobre un mismo cuerpo, o más generalmente, dos módulos sobre un mismo anillo.
Sea f una aplicación lineal, N = Ker f su núcleo e I = Im f su imagen, o codominio.

Teorema: Existe un isomorfismo canónico φ:

\begin{matrix} \phi: & E/N  & \longrightarrow & I  \\ \ & \overline{a}  & \longmapsto & f(a) \end{matrix}

donde \overline{a} = â = a + N se puede ver como la clase de a en E/N (a módulo N) o como el conjunto a + N = { a + n, n ∈ N} de los elementos de la forma a + n, con n ∈ N.

Prueba

1) Primero hay que verificar que φ está bien definida, porque se ha definido φ(â) escogiendo un elemento a (un representante) de la clase â, y mirando su imagen por f. Hay que establecer que esta imagen no depende de esta elección.
Sea entonces u∈â otro elemento de â. Las clases de a y u son idénticas: â = û, lo que se puede escribir también: a + N = u + N. Entonces u - a + N = N, lo que significa que u - a ∈ N (porque n∈ N, luego a - u + 0 también).
Luego existe n en el núcleo de f tal que u = a + n. entonces f(u) = f(a + n) = f(a) + f(n) = f(a) + 0 = f(a) por linealidad.

2) φ es sobreyectiva: Todo elemento de la imagen I es por definición de la forma f(a) que vale φ(â); luego pertenece también a Im φ.

3) φ es inyectiva: φ(â) = 0 significa que f(a) = 0, es decir que a∈N. entonces â = a + N = o + N = N = ô que es el elemento neutro de E/N.

Descomposición de una aplicación lineal

Este isomorfismo se completa naturalmente en una descomposición de f: f = i°φ°π, donde i es la inclusión canónica de I en F (i(x) = x para todo x∈I ), y π es la sobreyección canónica de E sobre E/N (π(a) = â para todo a∈E):

Descomposición de aplicación lineal.png
Diagrama conmutativo.png


En efecto: f = i°φ°π(a) = f = i°φ(â) = i(φ(â)) = φ(â) = f(a) para todo a∈E.

El diagrama precedente es conmutativo en el sentido siguiente:
Cuando existen dos caminos para ir de un punto a otro del diagrama, respetando claro está la orientación de las flechas, entonces se obtiene el mismo resultado por la composición de las aplicaciones.
En este nuevo ejemplo, los caminos verdes y rojos dan la misma aplicación: g°f = j°h, y el camino azul equivale al negro: m°k = g.


Ejemplos

1) Sea f la aplicación que asocia a un entero n su resto por la división euclidiana por 7 (escogido al azar).
Los restos posibles son 0, 1, 2, 3, 4, 5 y 6. La división de 6 por 7 da un resto de 6, mientras que la de 7 por 7 da como resto 0. Es por lo tanto lógico decidir que 0 sucede a 6 en este conjunto, que adquiere así una estructura circular. De hecho, se trata del anillo cíclico Z7:

Z_7 = \{ \overline{0},\overline{1},\overline{2},\overline{3},\overline{4},\overline{5},\overline{6} \} , provisto de la adición módulo 7 y de la multiplicación también módulo 7.
Descomposición de aplicación lineal ej 1.png


La aplicación f es lineal como propiedad de las congruencias, es sobreyectiva porque cada cifra entre 0 y 6 corresponde a un resto posible: basta con tomar el dividendo igual a la cifra.

No es inyectiva, y su núcleo es {...-21; -14; - 7; 0; 7; 14; 21...} = 7·Z, porque los dividendos que dan restos nulos son claramente los múltiplos de 7.

Como la inclusión i es, como f, sobreyectiva, se vuelve biyectiva (una inclusión es por definición inyectiva) y podemos prescindir de ella en la descomposición:


La flecha en diagonal representa el isomorfismo canónico entre Z/7Z y Z7.

2) Consideremos el producto vectorial en R³, por un vector dado. Para fijar las cosas, sea (i, j, k) una base ortonormal directa del espacio usual, y estudiemos la aplicación que al vector u asocia el vector i × u (el producto vectorial se denota "×" o "^", según los países).

Descomposición de aplicación lineal ej 2.png

Su descomposición es la siguiente:
La sobreyección π es asimilable a la proyección ortogonal sobre el plano (Oyz) (mediante la identificación de una recta dirigida por i a su intersección con el plano anterior). En ella interviene la rotación r directa de 90 grados en el plano (Oyz) perpendicular al vector i.
De hecho \overline{f} es asimilable a r (gracias a la identificación anterior).
Esto no es de extrañar porque el producto vectorial y las rotaciones en el espacio están íntimamente ligadas (ver cuaterniones y rotación en el espacio).

El contenido de este artículo incorpora material de una entrada de la Enciclopedia Libre Universal, publicada en español bajo la licencia Creative Commons Compartir-Igual 3.0.
Obtenido de "Descomposici%C3%B3n de una aplicaci%C3%B3n lineal"

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Descomposición de una aplicación lineal — Isomorfismo canónico Definición y teorema Sean E y F dos espacios vectoriales sobre un mismo cuerpo, o más generalmente, dos módulos sobre un mismo anillo. Sea f una aplicación lineal, N = Ker f su núcleo e I = Im f su imagen …   Enciclopedia Universal

  • Programación lineal — Saltar a navegación, búsqueda La Programación Lineal es un procedimiento o algoritmo matemático mediante el cual se resuelve un problema indeterminado, formulado a través de ecuaciones lineales, optimizando la función objetivo, también lineal.… …   Wikipedia Español

  • Anillo cíclico — Saltar a navegación, búsqueda Contenido 1 Definición 2 Cálculo elemental 3 Aplicaciones directas a la aritmética 4 …   Wikipedia Español

  • Teoría de matrices — Se ha sugerido que este artículo o sección sea fusionado en matriz (matemática) (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. La teoría de matrices es un rama de las matemáticas que se centra …   Wikipedia Español

  • Teoría de Matrices — Saltar a navegación, búsqueda La teoría de matrices es un rama de las matemáticas que se centra en el estudio de matrices. Inicialmente una rama secundaria del álgebra lineal, ha venido cubriendo los temas relacionados con la teoría de grafos, el …   Wikipedia Español

  • Espectro de un operador — Saltar a navegación, búsqueda El espectro de un operador es un conjunto de valores complejos que generaliza el concepto de valor propio (autovalor) a espacios vectoriales de dimensión infinita. El concepto es muy importante tanto en análisis… …   Wikipedia Español

  • Tensión mecánica — Para otros usos de este término, véase tensión. Vector tensión en una superficie interna S con vector unitario normal . Dependiendo de la orientación del plano en cuestión, el vector tensión puede no ser necesariamente perpendicular a ese plano,… …   Wikipedia Español

  • Transformada de Fourier — Para otros usos de este término, véase Transformación (desambiguación). En matemática, la transformada de Fourier es una aplicación que hace corresponder a una función f, con valores complejos y definida en la recta, con otra función g definida… …   Wikipedia Español

  • Forma canónica de Jordan — Saltar a navegación, búsqueda En álgebra lineal, la forma canónica de Jordan es la forma de la matriz de un endomorfismo de espacios vectoriales en cierta base asociada a la descomposición en suma directa de subespacios invariantes bajo dicho… …   Wikipedia Español

  • Vector propio y valor propio — Fig. 1. En esta transformación de la Mona Lisa, la imagen se ha deformado de tal forma que su eje vertical no ha cambiado. (nota: se han recortado las esquinas en la imagen de la derecha) …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”