Si un mapa lineal es una biyección entonces se llamaisomorfismo lineal . En el caso en que, un mapa lineal se llamaendomorfismo lineal. A veces el términooperador lineal se refiere a este caso,[1]pero el término "operador lineal" puede tener diferentes significados para diferentes convenciones: por ejemplo, se puede usar para enfatizar queysonreales(no necesariamente con),[ cita necesaria ]o puede usarse para enfatizar quees unespacio funcional, lo cual es una convención común enel análisis funcional.[2]A veces el término función lineal tiene el mismo significado quemapa lineal, mientras que enanálisisno lo tiene.
Un mapa lineal de a siempre asigna el origen de al origen de . Además, asigna subespacios lineales en subespacios lineales en (posiblemente de una dimensión inferior ); [3] por ejemplo, asigna un plano que pasa por el origen en un plano que pasa por el origen en , una línea que pasa por el origen en o simplemente el origen en . Los mapas lineales a menudo se pueden representar como matrices , y los ejemplos simples incluyen transformaciones lineales de rotación y reflexión .
Sean y espacios vectoriales sobre el mismo campo . Se dice que una función es lineal si para dos vectores cualesquiera y cualquier escalar se cumplen las dos condiciones siguientes:
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.
Denotando los elementos cero de los espacios vectoriales y por y respectivamente, se deduce que Sea y en la ecuación de homogeneidad de grado 1:
Un mapa lineal visto como un espacio vectorial unidimensional sobre sí mismo se llama funcional lineal . [6]
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
Un ejemplo prototípico que da nombre a los mapas lineales es una función , cuya gráfica es una recta que pasa por el origen. [7]
De manera más general, cualquier homotecia centrada en el origen de un espacio vectorial es una aplicación lineal (aquí c es un escalar).
El mapa cero entre dos espacios vectoriales (sobre el mismo campo ) es lineal.
Para números reales, el mapa no es lineal (pero es una transformación afín ).
Si es una matriz real , entonces define un mapa lineal desde hasta enviando un vector de columna al vector de columna . Por el contrario, cualquier aplicación 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 normados reales tal que entonces es un mapa lineal. Este resultado no es necesariamente cierto para espacios normados complejos. [8]
Una integral definida sobre algún intervalo I es una aplicación lineal desde el espacio de todas las funciones integrables con valores reales en I a . En efecto,
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 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 asigna mapas lineales a matrices n × m de la manera descrita en § Matrices (a continuación) es un mapa lineal, e incluso un 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.
La función con es un mapa lineal. Esta función escala el componente de un vector por el factor .
La función es aditiva: no importa si los vectores se suman primero y luego se asignan o si se asignan y finalmente se suman:
La función es homogénea: no importa si un vector primero se escala y luego se mapea o primero se mapea y luego se escala:
Extensiones lineales
A menudo, un mapa lineal se construye definiéndolo en un subconjunto de un espacio vectorial y luegoextendiéndose por linealidad altramo linealdel dominio. Supongamos queyson espacios vectoriales yes unafuncióndefinida en algún subconjunto.
Entonces aextensión lineal dea, si existe, es un mapa linealdefinido enquese extiende[nota 1](lo que significa quepara todos) y toma sus valores del codominio de[9]
Cuando el subconjuntoes un subespacio vectorial deentonces a (-valorado )Se garantiza que existea todoses un mapa lineal.[9]En particular, sitiene una extensión lineal aentonces tiene una extensión lineal a todos
El mapa se puede extender a un mapa lineal si y solo si siempre es un número entero, son escalares y son vectores tales que entonces necesariamente [10]
Si existe una extensión lineal de entonces la extensión lineal es única y
válida para todos y como se indicó anteriormente. . [10]
Si es linealmente independiente, entonces cada función en cualquier espacio vectorial tiene una extensión lineal a un mapa (lineal) (lo contrario también es cierto).
Por ejemplo, si y entonces la asignación y se puede extender linealmente desde el conjunto linealmente independiente de vectores a un mapa lineal en La extensión lineal única es el mapa que envía a
Cada funcional lineal (con valor escalar) definido en un subespacio vectorial de un espacio vectorial real o complejo tiene una extensión lineal a todos
De hecho, el teorema de extensión dominada de Hahn-Banach incluso garantiza que cuando este funcional lineal está dominado por alguna seminorma dada ( significado que es válido para todos en el dominio de ), entonces existe una extensión lineal que también está dominada por
matrices
Si y son espacios vectoriales de dimensión finita y se define una base para cada espacio vectorial, entonces cada aplicación lineal desde hasta puede representarse mediante una matriz . [11] Esto es útil porque permite realizar cálculos concretos. Las matrices producen ejemplos de aplicaciones lineales: si es una matriz real , entonces describe una aplicación lineal (ver Espacio euclidiano ).
Sea una base para . Entonces cada vector está determinado únicamente por los coeficientes del campo :
Si es un mapa lineal,
lo que implica que la función f está enteramente determinada por los vectores . Ahora vamos a ser una base para . Entonces podemos representar cada vector como
Por tanto, la función está completamente determinada por los valores de . Si ponemos estos valores en una matriz , entonces podemos usarla convenientemente para calcular la salida vectorial de para cualquier vector en . Para obtener , cada columna de es un vector
correspondiente a como se definió 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 único 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:
Matriz para relativo a :
Matriz para relativo a :
Matriz de transición de a :
Matriz de transición de a :
De modo que comenzando en la esquina inferior izquierda y buscando la esquina inferior derecha , se multiplicaría por la izquierda, 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 modo que se multiplica por la izquierda con o .
Si un mapa lineal solo se compone de rotación, reflexión y/o escala uniforme, entonces el mapa lineal es una transformación lineal conforme .
Espacio vectorial de mapas lineales.
La composición de los mapas lineales es lineal: si y son lineales, entonces 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 las aplicaciones K -lineales como morfismos , forman una categoría .
La inversa de una aplicación lineal, cuando se define, es nuevamente una aplicación 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 aplicaciones lineales desde hacia sí mismo forma un espacio vectorial sobre , [12] a veces denominado . [13] Además, en el caso de que , este espacio vectorial, denotado , es 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 siempre es 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 aplicaciones lineales corresponde a la multiplicación de matrices , la suma de aplicaciones lineales corresponde a la suma de matrices , y la multiplicación de aplicaciones 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, la composición y la multiplicación escalar como se define anteriormente forma un álgebra asociativa con elemento de identidad sobre el campo (y en particular un anillo ). El elemento de identidad multiplicativo de esta álgebra es el mapa de identidad .
Un endomorfismo de eso también es un isomorfismo y 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 inversas bajo 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 .
El número también se llama rango de y se escribe como , o, a veces ,; [15] [16] el número se llama nulidad de y se escribe como o . [15] [16] Si y son de dimensión finita, se han elegido las bases 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
Una invariante más sutil de una transformación lineal es el núcleo co , que se define como
Ésta es la noción dual del núcleo: así como el núcleo es un subespacio del dominio, el co-núcleo es un espacio cociente del objetivo. Formalmente, se 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-núcleo 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-núcleo 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 2 → R 2 , dado por f ( x , y ) = (0, y ). Entonces, para que una ecuación f ( x , y ) = ( a , b ) tenga solución, debemos tener a = 0 (una restricción), y en ese caso el espacio de solución es ( x , b ) o expresado de manera 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 cokernel se puede expresar mediante el mapa W → R , : dado un vector ( a , b ), el valor de a es el obstáculo para que haya una solución.
Un ejemplo que ilustra el caso de dimensión infinita lo proporciona el mapa f : 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, por tanto, su cokernel consta de clases de secuencias con un primer elemento idéntico. Por lo tanto, mientras que su núcleo tiene dimensión 0 (mapea sólo la secuencia cero a la secuencia cero), su co-núcleo tiene dimensión 1. Dado que el dominio y el espacio objetivo son iguales, el rango y la dimensión del núcleo se suman. a la misma suma que el rango y la dimensión del co-núcleo ( ), pero en el caso de dimensión infinita no se puede inferir que el núcleo y el co-núcleo de un endomorfismo tengan la misma dimensión (0 ≠ 1). La situación inversa se da para el mapa h : R ∞ → R ∞ , con c n = a n + 1 . Su imagen es todo el espacio objetivo y, por lo tanto, su co-núcleo tiene dimensión 0, pero dado que asigna todas las secuencias en las que solo el primer elemento es distinto de cero a la secuencia cero, su núcleo tiene dimensión 1.
Índice
Para un operador lineal con núcleo y co-núcleo 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 tenue( V ) − tenue( W ), por rango-nulidad. Esto da una indicación de cuántas soluciones o cuántas restricciones se tienen: si se mapea desde un espacio más grande a uno más pequeño, el mapa puede estar sobre y, por lo tanto, tendrá grados de libertad incluso sin restricciones. Por el contrario, si se mapea desde un espacio más pequeño a uno más grande, el mapa no puede estar dentro y, por lo tanto, habrá restricciones incluso sin grados de libertad.
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.
Sean V y W espacios vectoriales sobre un campo F y sea T : V → W una aplicación lineal.
Monomorfismo
Se dice que T es inyectivo o monomorfismo si alguna de las siguientes condiciones equivalentes es verdadera:
T es mónico o cancelable por la izquierda, es decir, para cualquier espacio vectorial U y cualquier par de aplicaciones lineales R : U → V y S : U → V , la ecuación TR = TS implica R = S .
T es épico o cancelable por la derecha, es decir, para cualquier espacio vectorial U y cualquier par de aplicaciones lineales R : W → U y S : W → U , la ecuación RT = ST implica R = S .
Se dice que T es un isomorfismo si es invertible tanto hacia la izquierda como hacia la derecha. Esto equivale a que T sea uno a uno y sobre (una biyección de conjuntos) o también a que T sea a la vez épico y mónico, y por tanto sea un bimorfismo .
Si T : V → V 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 algún 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] como [v] = A [u]. Como los vectores cambian con la inversa de B (las coordenadas de los vectores son contravariantes ), su transformación inversa es [v] = B [v'].
Sustituyendo esto en la primera expresión
, por lo tanto
Por 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-contravariantes , o tensores de tipo (1, 1) .
Un ejemplo de 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 escala de objetos 2D o 3D se realiza mediante el uso de una matriz de transformación . Las asignaciones lineales también se utilizan como mecanismo para describir cambios: por ejemplo, en cálculo corresponden a derivadas; o en relatividad, utilizado como dispositivo para realizar un seguimiento de las transformaciones locales de los marcos de referencia.
^ "Las transformaciones lineales de V en V a menudo se denominan operadores lineales en V ". Rudin 1976, pág. 207
^ Sean V y W dos espacios vectoriales reales. Un mapeo a de V a W se llama 'mapeo lineal' o 'transformación lineal' u 'operador lineal' [...] de V a W , si es para todos , para todos y todos los λ reales . Bronshtein y Semendyayev 2004, pág. 316
^ Rudin 1991, pag. 14 He aquí algunas propiedades de las aplicaciones lineales cuyas pruebas son tan fáciles que las omitimos; se supone que y :
Si B es un subespacio (o un conjunto convexo, o un conjunto equilibrado), lo mismo ocurre con
En particular, el conjunto: es un subespacio de X , llamado espacio nulo de .
^ Rudin 1991, pag. 14. Supongamos ahora que X e Y son espacios vectoriales sobre el mismo campo escalar . Se dice que una aplicación es lineal si es para todos y todos los escalares y . Tenga en cuenta que a menudo se escribe , en lugar de , cuando es lineal.
^ Rudin 1976, pag. 206. Se dice que una transformación A de un espacio vectorial X en un espacio vectorial Y es una transformación lineal si: para todos y todos los escalares c . Tenga en cuenta que a menudo se escribe en lugar de si A es lineal.
^ Rudin 1991, pag. 14. Las asignaciones lineales de X sobre su campo escalar se denominan funcionales lineales .
^ "terminología: ¿Qué significa 'lineal' en álgebra lineal?". Intercambio de pilas de matemáticas . Consultado el 17 de febrero de 2021 .
^ Wilansky 2013, págs. 21-26.
^ ab Kubrusly 2001, pag. 57.
^ ab Schechter 1996, págs. 277–280.
^ Rudin 1976, pag. 210 Supongamos que y son bases de espacios vectoriales X e Y , respectivamente. Entonces cada determina un conjunto de números tales que
es conveniente representar estos números en una matriz rectangular de m filas y n columnas, llamada matriz de m por n :
Observe que las coordenadas del vector (con respecto a la base ) aparecen en la j -ésima columna de . Por lo tanto, los vectores a veces se denominan vectores columna de . Con esta terminología, el rango de A está abarcado por los vectores columna de .
^ Axler (2015) pág. 52, § 3.3
^ Tu (2011), pág. 19, § 3.1
^ Horn & Johnson 2013, 0.2.3 Espacios vectoriales asociados a una matriz o transformación lineal, p. 6
^ ab Katznelson y Katznelson (2008) p. 52, § 2.5.1
^ ab Halmos (1974) pág. 90, artículo 50
^ Nistor, Victor (2001) [1994], "Teoría del índice", Enciclopedia de Matemáticas , EMS Press: "La cuestión principal en la teoría de índices es proporcionar fórmulas de índices para las clases de operadores de Fredholm... La teoría de índices se ha convertido en un tema por sí solo sólo después de que MF Atiyah y I. Singer publicaran sus teoremas de índices"
^ Rudin 1991, pag. 15 1.18 Teorema Sea un funcional lineal en un espacio vectorial topológico X . Supongamos para algunos . Entonces cada una de las siguientes cuatro propiedades implica las otras tres:
es continuo
El espacio nulo está cerrado.
no es denso en X .
está acotado en alguna vecindad V de 0.
^ Se dice que un mapa extiende otro mapa si cuando se define en un punto , también lo es y
Rudin, Walter (1976). Principios del análisis matemático. Serie de estudiantes de Walter Rudin en Matemáticas Avanzadas (3ª ed.). Nueva York: McGraw-Hill. ISBN 978-0-07-054235-8.
Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . vol. 8 (Segunda ed.). Nueva York, NY: Springer Nueva York Pie de imprenta Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
Schechter, Eric (1996). Manual de análisis y sus fundamentos . San Diego, CA: Prensa académica. ISBN 978-0-12-622760-4. OCLC 175294365.
Swartz, Charles (1992). Una introducción al análisis funcional . Nueva York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067.
Wilansky, Albert (2013). Métodos modernos en espacios vectoriales topológicos . Mineola, Nueva York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.