Mapa lineal - Linear map

En matemáticas , y más específicamente en álgebra lineal , un mapa lineal (también llamado mapeo lineal , transformación lineal , homomorfismo de espacio vectorial o en algunos contextos función lineal ) es un mapeo entre dos espacios vectoriales que conserva las operaciones de suma vectorial y escalar. multiplicación . Los mismos nombres y la misma definición también se utilizan para el caso más general de módulos sobre un anillo ; ver Módulo de homomorfismo .

Si un mapa lineal es una biyección , se denomina isomorfismo lineal . En el caso donde , un mapa lineal se llama endomorfismo (lineal) . A veces, el término operador lineal se refiere a este caso, pero el término "operador lineal" puede tener diferentes significados para diferentes convenciones: por ejemplo, se puede usar para enfatizar que y son espacios vectoriales reales (no necesariamente con ), o puede ser utilizado para enfatizar que es un espacio funcional , que es una convención común en el análisis funcional . A veces, el término función lineal tiene el mismo significado que mapa lineal , mientras que en el análisis no lo tiene.

Un mapa lineal de V a W asignen siempre el origen de V con el origen de W . Además, mapea subespacios lineales en V sobre subespacios lineales en W (posiblemente de una dimensión más baja ); por ejemplo, se asigna un plano a través del origen en V ya sea a un plano que pasa por el origen en W , una línea a través del origen en W , o simplemente el origen en W . Los mapas lineales a menudo se pueden representar como matrices , y los ejemplos simples incluyen transformaciones lineales de rotación y reflexión .

En el lenguaje de la teoría de categorías , los mapas lineales son los morfismos de los espacios vectoriales.

Definición y primeras consecuencias

Sean y sean espacios vectoriales sobre el mismo campo . Se dice que una función es un mapa lineal si para dos vectores cualesquiera y cualquier escalar se satisfacen las dos condiciones siguientes:

Aditividad / operación de adición
Homogeneidad de grado 1 / operación de multiplicación escalar

Por lo tanto, se dice que un mapa lineal preserva la operación . En otras palabras, no importa si el mapa lineal se aplica antes (el lado derecho de los ejemplos anteriores) o después (el lado izquierdo de los ejemplos) de las operaciones de suma y multiplicación escalar.

Por la asociatividad de la operación de suma denotada como +, para cualquier vector y escalar se cumple la siguiente igualdad:

Denotando los elementos cero de los espacios vectoriales y por y respectivamente, se sigue que Let y en la ecuación de homogeneidad de grado 1:

Ocasionalmente, y pueden ser espacios vectoriales sobre diferentes campos. Entonces es necesario especificar cuál de estos campos de tierra se está utilizando en la definición de "lineal". Si y son espacios sobre el mismo campo que el anterior, hablamos de mapas lineales. Por ejemplo, la conjugación de números complejos es un mapa lineal , pero no es lineal, donde y son símbolos que representan los conjuntos de números reales y números complejos, respectivamente.

Un mapa lineal con visto como un espacio de vector unidimensional sobre sí mismo se llama un funcional lineal .

Estas declaraciones se generalizan a cualquier módulo izquierdo sobre un anillo sin modificación, y a cualquier módulo derecho al invertir la multiplicación escalar.

Ejemplos de

  • Un ejemplo prototípico que da a los mapas lineales su nombre es una función , de la cual el gráfico es una línea que pasa por el origen.
  • De manera más general, cualquier homotecia en la que se centre en el origen de un espacio vectorial es un mapa lineal.
  • El mapa cero entre dos espacios vectoriales (sobre el mismo campo ) es lineal.
  • El mapa de identidad de cualquier módulo es un operador lineal.
  • Para números reales, el mapa no es lineal.
  • Para números reales, el mapa no es lineal (pero es una transformación afín ).
  • Si es una matriz real , define un mapa lineal de a enviando un vector de columna al vector de columna . A la inversa, cualquier mapa lineal entre espacios vectoriales de dimensión finita se puede representar de esta manera; consulte las § Matrices , a continuación.
  • Si es una isometría entre espacios normativos reales , entonces es un mapa lineal. Este resultado no es necesariamente cierto para el espacio normado complejo.
  • La diferenciación define un mapa lineal desde el espacio de todas las funciones diferenciables hasta el espacio de todas las funciones. También define un operador lineal en el espacio de todas las funciones suaves (un operador lineal es un endomorfismo lineal , es decir, un mapa lineal donde el dominio y codominio del mismo es el mismo). Un ejemplo es
  • Una integral definida sobre algún intervalo I es un mapa lineal desde el espacio de todas las funciones integrables de valor real en I hasta . Por ejemplo,
  • Una integral indefinida (o antiderivada ) con un punto de partida de integración fijo define un mapa lineal desde el espacio de todas las funciones integrables de valor real hasta el espacio de todas las funciones diferenciables de valor real en . Sin un punto de partida fijo, la antiderivada se asigna al espacio del cociente de las funciones diferenciables por el espacio lineal de funciones constantes.
  • Si y son espacios vectoriales de dimensión finita sobre un campo F , de dimensiones respectivas m y n , entonces la función que mapea mapas lineales a n × m matrices en la forma descrita en § Matrices (abajo) es un mapa lineal, e incluso una isomorfismo lineal .
  • El valor esperado de una variable aleatoria (que de hecho es una función y, como tal, un elemento de un espacio vectorial) es lineal, como para las variables aleatorias y tenemos y , pero la varianza de una variable aleatoria no es lineal.

Matrices

Si y son espacios vectoriales de dimensión finita y se define una base para cada espacio vectorial, entonces cada mapa lineal desde hasta puede representarse mediante una matriz . Esto es útil porque permite cálculos concretos. Las matrices dan ejemplos de mapas lineales: si es una matriz real , entonces describe un mapa lineal (ver espacio euclidiano ).

Sea una base para . Entonces, cada vector está determinado de forma única por los coeficientes en el campo :

Si es un mapa lineal,

lo que implica que la función f está totalmente determinada por los vectores . Ahora vamos a ser una base para . Entonces podemos representar cada vector como

Por tanto, la función está totalmente determinada por los valores de . Si colocamos estos valores en una matriz , entonces podemos usarlos convenientemente para calcular la salida del vector de para cualquier vector en . Para obtener , cada columna de es un vector

correspondiente a lo definido anteriormente. Para definirlo más claramente, para alguna columna que corresponda al mapeo ,
donde está la matriz de . En otras palabras, cada columna tiene un vector correspondiente cuyas coordenadas son los elementos de la columna . Un solo mapa lineal puede estar representado por muchas matrices. Esto se debe a que los valores de los elementos de una matriz dependen de las bases elegidas.

Las matrices de una transformación lineal se pueden representar visualmente:

  1. Matriz para relativo a :
  2. Matriz para relativo a :
  3. Matriz de transición de a :
  4. Matriz de transición de a :
La relación entre matrices en una transformación lineal.

De tal manera que a partir de la esquina inferior izquierda y en busca de la esquina inferior derecha , se podría multiplicar izquierdo, es decir, . El método equivalente sería el método "más largo" que va en el sentido de las agujas del reloj desde el mismo punto de manera que se multiplica a la izquierda con , o .

Ejemplos en dos dimensiones

En el espacio bidimensional, los mapas lineales R 2 se describen mediante matrices 2 × 2 . Estos son algunos ejemplos:

  • rotación
    • por 90 grados en sentido antihorario:
    • en un ángulo θ en sentido antihorario:
  • reflexión
    • a través del eje x :
    • a través del eje y :
    • a través de una línea que forma un ángulo θ con el origen:
  • escala en 2 en todas las direcciones:
  • mapeo de corte horizontal :
  • mapeo de compresión :
  • proyección sobre el eje y :

Espacio vectorial de mapas lineales

La composición de los mapas lineales es lineal: si y son lineales, también lo es su composición . De esto se deduce que la clase de todos los espacios vectoriales sobre un campo dado K , junto con K -mapas lineales como morfismos , forma una categoría .

La inversa de un mapa lineal, cuando se define, es nuevamente un mapa lineal.

Si y son lineales, entonces también lo es su suma puntual , que está definida por .

Si es lineal y es un elemento del campo terrestre , entonces el mapa , definido por , también es lineal.

Así, el conjunto de mapas lineales de a sí mismo forma un espacio vectorial sobre , a veces denotado . Además, en el caso de que este espacio vectorial, denotado , sea un álgebra asociativa bajo composición de mapas , ya que la composición de dos mapas lineales es nuevamente un mapa lineal, y la composición de mapas es siempre asociativa. Este caso se analiza con más detalle a continuación.

Dado nuevamente el caso de dimensión finita, si se han elegido bases, entonces la composición de mapas lineales corresponde a la multiplicación de matrices , la suma de mapas lineales corresponde a la suma de matrices , y la multiplicación de mapas lineales con escalares corresponde a la multiplicación de matrices con escalares.

Endomorfismos y automorfismos

Una transformación lineal es un endomorfismo de ; el conjunto de todos estos endomorfismos junto con la suma, composición y multiplicación escalar como se definió anteriormente forma un álgebra asociativa con elemento de identidad sobre el campo (y en particular un anillo ). El elemento de identidad multiplicativo de este álgebra es el mapa de identidad .

Un endomorfismo de que también es un isomorfismo se llama automorfismo de . La composición de dos automorfismos es nuevamente un automorfismo, y el conjunto de todos los automorfismos de forma un grupo , cuyo grupo de automorfismos se denota por o . Dado que los automorfismos son precisamente aquellos endomorfismos que poseen inversos en la composición, es el grupo de unidades en el anillo .

Si tiene dimensión finita , entonces es isomorfo al álgebra asociativa de todas las matrices con entradas en . El grupo de automorfismo de es isomorfo al grupo lineal general de todas las matrices invertibles con entradas en .

Núcleo, imagen y teorema de rango-nulidad

Si es lineal, definimos el kernel y la imagen o rango de por

es un subespacio de y es un subespacio de . La siguiente fórmula de dimensión se conoce como teorema de rango-nulidad :

El número también se denomina rango de y se escribe como , oa veces ,; el número se llama nulidad de y se escribe como o . Si y son de dimensión finita, las bases han sido elegidas y están representadas por la matriz , entonces el rango y la nulidad de son iguales al rango y la nulidad de la matriz , respectivamente.

Cokernel

Un invariante más sutil de una transformación lineal es el núcleo co , que se define como

Esta es la noción dual del kernel: así como el kernel es un subespacio del dominio, el co-kernel es un espacio cociente del objetivo. Formalmente, uno tiene la secuencia exacta

Estos se pueden interpretar así: dada una ecuación lineal f ( v ) = w para resolver,

  • el núcleo es el espacio de soluciones de la ecuación homogénea f ( v ) = 0, y su dimensión es el número de grados de libertad en el espacio de soluciones, si no está vacío;
  • el co-kernel es el espacio de restricciones que las soluciones deben satisfacer, y su dimensión es el número máximo de restricciones independientes.

La dimensión del co-kernel y la dimensión de la imagen (el rango) se suman a la dimensión del espacio objetivo. Para dimensiones finitas, esto significa que la dimensión del espacio cociente W / f ( V ) es la dimensión del espacio objetivo menos la dimensión de la imagen.

Como ejemplo simple, considere el mapa f : R 2R 2 , dado por f ( x , y ) = (0, y ). Entonces, para que una ecuación f ( x , y ) = ( a , b ) tenga una solución, debemos tener a = 0 (una restricción), y en ese caso el espacio de la solución es ( x , b ) o en forma equivalente, ( 0, b ) + ( x , 0), (un grado de libertad). El núcleo se puede expresar como el subespacio ( x , 0) < V : el valor de x es la libertad en una solución - mientras que el conúcleo se puede expresar a través del mapa WR , : dado un vector ( un , b ), el valor de a es el obstáculo para que exista una solución.

El mapa f ofrece un ejemplo que ilustra el caso de dimensión infinita : R R , con b 1 = 0 y b n + 1 = a n para n > 0. Su imagen consta de todas las secuencias con el primer elemento 0, y así su cokernel consiste en las clases de secuencias con un primer elemento idéntico. Por lo tanto, mientras que su kernel tiene dimensión 0 (asigna solo la secuencia cero a la secuencia cero), su co-kernel tiene dimensión 1. Dado que el dominio y el espacio de destino son el mismo, el rango y la dimensión del kernel se suman a la misma suma que el rango y la dimensión del co-kernel ( ), pero en el caso de dimensión infinita no se puede inferir que el kernel y el co-kernel de un endomorfismo tengan la misma dimensión (0 ≠ 1). La situación inversa se obtiene para el mapa h : R R , con c n = a n + 1 . Su imagen es todo el espacio de destino y, por lo tanto, su co-kernel tiene dimensión 0, pero dado que mapea todas las secuencias en las que solo el primer elemento es distinto de cero a la secuencia cero, su kernel tiene dimensión 1.

Índice

Para un operador lineal con kernel y co-kernel de dimensión finita, se puede definir el índice como:

es decir, los grados de libertad menos el número de restricciones.

Para una transformación entre espacios vectoriales de dimensión finita, esta es solo la diferencia dim ( V ) - dim ( W ), por rango-nulidad. Esto da una indicación de cuántas soluciones o cuántas restricciones tiene uno: si se mapea de un espacio más grande a uno más pequeño, el mapa puede estar en y, por lo tanto, tendrá grados de libertad incluso sin restricciones. Por el contrario, si se realiza un mapeo de un espacio más pequeño a uno más grande, el mapa no puede estar en y, por lo tanto, uno tendrá restricciones incluso sin grados de libertad.

El índice de un operador es precisamente la característica de Euler del complejo de 2 términos 0 → VW → 0. En la teoría de operadores , el índice de los operadores de Fredholm es un objeto de estudio, siendo un resultado importante el teorema del índice de Atiyah-Singer .

Clasificaciones algebraicas de transformaciones lineales

Ninguna clasificación de mapas lineales podría ser exhaustiva. La siguiente lista incompleta enumera algunas clasificaciones importantes que no requieren ninguna estructura adicional en el espacio vectorial.

Sea V y W espacios vectoriales sobre un campo F y sea T : VW un mapa lineal.

Monomorfismo

Se dice que T es inyectiva o un monomorfismo si se cumple alguna de las siguientes condiciones equivalentes:

  1. T es uno a uno como mapa de conjuntos .
  2. ker T = {0 V }
  3. dim (ker T ) = 0
  4. T es mónico o izquierda cancelable, es decir, para cualquier espacio vector T y cualquier par de lineal mapea R : TV y S : UV , la ecuación TR = TS implica R = S .
  5. T se dejó-invertible , es decir, existe un mapa lineal S : WV tal que ST es el mapa de identidad en V .

Epimorfismo

Se dice que T es sobreyectiva o un epimorfismo si alguna de las siguientes condiciones equivalentes es verdadera:

  1. T está sobre como un mapa de conjuntos.
  2. coquizador T = {0 W }
  3. T es epic o derecha cancelable, es decir, para cualquier espacio vector T y cualquier par de lineal mapea R : WU y S : WU , la ecuación RT = ST implica R = S .
  4. T es el botón derecho del invertible , es decir, existe una aplicación lineal S : WV tal que TS es la aplicación identidad de W .

Isomorfismo

Se dice que T es un isomorfismo si es invertible tanto a la izquierda como a la derecha. Esto es equivalente a que T sea ​​tanto uno a uno como sobre (una biyección de conjuntos) o también que T sea ​​tanto épico como mónico, y por lo tanto un bimorfismo .

Si T : VV es un endomorfismo, entonces:

  • Si, para algún entero positivo n , la n -ésima iteración de T , T n , es idénticamente cero, entonces se dice que T es nilpotente .
  • Si T 2 = T , entonces se dice que T es idempotente
  • Si T = kI , donde k es un escalar, entonces se dice que T es una transformación de escala o un mapa de multiplicación escalar; ver matriz escalar .

Cambio de base

Dado un mapa lineal que es un endomorfismo cuya matriz es A , en la base B del espacio transforma las coordenadas vectoriales [u] en [v] = A [u]. Como los vectores cambian con la inversa de B (los vectores son contravariantes ), su transformación inversa es [v] = B [v '].

Sustituyendo esto en la primera expresión

por eso

Por lo tanto, la matriz en la nueva base es A ′ = B −1 AB , siendo B la matriz de la base dada.

Por lo tanto, se dice que los mapas lineales son objetos 1-co-1-contra- variantes , o tensores de tipo (1, 1) .

Continuidad

Una transformación lineal entre espacios vectoriales topológicos , por ejemplo , espacios normativos , puede ser continua . Si su dominio y codominio son iguales, entonces será un operador lineal continuo . Un operador lineal en un espacio lineal normado es continuo si y solo si está acotado , por ejemplo, cuando el dominio es de dimensión finita. Un dominio de dimensión infinita puede tener operadores lineales discontinuos .

Un ejemplo de una transformación lineal ilimitada, por lo tanto discontinua, es la diferenciación en el espacio de funciones suaves equipadas con la norma suprema (una función con valores pequeños puede tener una derivada con valores grandes, mientras que la derivada de 0 es 0). Para un ejemplo específico, sin ( nx ) / n converge a 0, pero su derivada cos ( nx ) no, por lo que la diferenciación no es continua en 0 (y por una variación de este argumento, no es continua en ninguna parte).

Aplicaciones

Una aplicación específica de los mapas lineales es para transformaciones geométricas, como las realizadas en gráficos por computadora , donde la traslación, rotación y escalado de objetos 2D o 3D se realiza mediante el uso de una matriz de transformación . Los mapeos lineales también se utilizan como mecanismo para describir el cambio: por ejemplo, en cálculo corresponden a derivadas; o en relatividad, utilizado como un dispositivo para realizar un seguimiento de las transformaciones locales de los marcos de referencia.

Otra aplicación de estas transformaciones es en las optimizaciones del compilador de código de bucle anidado y en la paralelización de las técnicas del compilador .

Ver también

Notas

Bibliografía