Si V es un espacio vectorial sobre un campo k , el conjunto de todos los funcionales lineales de V a k es en sí mismo un espacio vectorial sobre k con la suma y la multiplicación escalar definidas puntualmente . Este espacio se denomina espacio dual de V , o a veces espacio dual algebraico , cuando también se considera un espacio dual topológico . A menudo se denota Hom( V , k ) , [2] o, cuando se entiende el campo k , ; [3] también se utilizan otras notaciones, como , [4] [5] o [2] Cuando los vectores se representan mediante vectores de columna (como es común cuando una base es fija), entonces los funcionales lineales se representan como vectores de fila , y sus valores en vectores específicos están dados por productos matriciales (con el vector de fila a la izquierda).
Ejemplos
La función cero constante , que asigna cada vector a cero, es trivialmente una funcional lineal. Todos los demás funcionales lineales (como los siguientes) son sobreyectivos (es decir, su rango es todo k ).
Indexación en un vector: el segundo elemento de un vector de tres viene dado por la forma única. Es decir, el segundo elemento de es
Media : El elemento medio de un vector viene dado por la forma única . Es decir,
Muestreo : El muestreo con un núcleo se puede considerar de forma única, donde la forma única es el núcleo desplazado a la ubicación adecuada.
Supongamos que los vectores en el espacio de coordenadas real se representan como vectores de columna.
Para cada vector fila hay un funcional lineal definido por
y cada funcional lineal se puede expresar de esta forma.
Esto se puede interpretar como el producto matricial o el producto escalar del vector fila y el vector columna :
Traza de una matriz cuadrada
La traza de una matriz cuadrada es la suma de todos los elementos de su diagonal principal . Las matrices se pueden multiplicar por escalares y se pueden sumar dos matrices de la misma dimensión; estas operaciones crean un espacio vectorial a partir del conjunto de todas las matrices. La traza es un funcional lineal en este espacio porque y para todos los escalares y todas las matrices.
Integración (definitiva)
Los funcionales lineales aparecieron por primera vez en el análisis funcional , el estudio de espacios vectoriales de funciones . Un ejemplo típico de funcional lineal es la integración : la transformación lineal definida por la integral de Riemann
es un funcional lineal del espacio vectorial de funciones continuas en el intervalo a los números reales. La linealidad de se sigue de los hechos estándar sobre la integral:
Evaluación
Denotemos el espacio vectorial de funciones polinomiales de valor real de grado definido en un intervalo. Si entonces sea el funcional de evaluación.
El mapeo es lineal ya que
Si hay puntos distintos entonces los funcionales de evaluación forman una base del espacio dual de (Lax (1996) prueba este último hecho usando la interpolación de Lagrange ).
Sin ejemplo
Una función que tiene la ecuación de una recta con (por ejemplo, ) no es una funcional lineal en , ya que no es lineal . [nb 2] Sin embargo, es afín-lineal .
Visualización
En dimensiones finitas, un funcional lineal se puede visualizar en términos de sus conjuntos de niveles , los conjuntos de vectores que se asignan a un valor dado. En tres dimensiones, los conjuntos de niveles de un funcional lineal son una familia de planos mutuamente paralelos; en dimensiones superiores, son hiperplanos paralelos . Este método de visualización de funcionales lineales a veces se introduce en textos de relatividad general , como Gravitación de Misner, Thorne y Wheeler (1973).
Aplicaciones
Aplicación a la cuadratura
Si hay puntos distintos en [ a , b ] , entonces los funcionales lineales definidos anteriormente forman una base del espacio dual de P n , el espacio de polinomios de grado. El funcional de integración I también es un funcional lineal en P n , y también puede expresarse como una combinación lineal de estos elementos básicos. En los símbolos hay coeficientes para los cuales,
para todos , esto constituye la base de la teoría de la cuadratura numérica . [6]
En mecánica cuántica
Los funcionales lineales son particularmente importantes en la mecánica cuántica . Los sistemas mecánicos cuánticos están representados por espacios de Hilbert , que son antiisomorfos a sus propios espacios duales. Un estado de un sistema mecánico cuántico se puede identificar con un funcional lineal. Para obtener más información, consulte Notación bra-ket .
Sea el espacio vectorial V una base , no necesariamente ortogonal . Entonces el espacio dual tiene una base llamada base dual definida por la propiedad especial que
Un funcional lineal perteneciente al espacio dual se puede expresar como una combinación lineal de funcionales de base, con coeficientes ("componentes") u i ,
Luego, aplicando el funcional a un vector base se obtiene
debido a la linealidad de múltiplos escalares de funcionales y la linealidad puntual de sumas de funcionales. Entonces
Entonces, cada componente de un funcional lineal se puede extraer aplicando el funcional al vector base correspondiente.
La base dual y el producto interior.
Cuando el espacio V lleva un producto interno , entonces es posible escribir explícitamente una fórmula para la base dual de una base dada. Sea V una base (no necesariamente ortogonal) En tres dimensiones ( n = 3 ), la base dual se puede escribir explícitamente
donde ε es el símbolo de Levi-Civita y el producto interno (o producto escalar ) en V.
En dimensiones superiores, esto se generaliza de la siguiente manera :
¿dónde está el operador estrella de Hodge ?
sobre un anillo
Los módulos sobre un anillo son generalizaciones de espacios vectoriales, lo que elimina la restricción de que los coeficientes pertenecen a un campo . Dado un módulo M sobre un anillo R , una forma lineal en M es un mapa lineal de M a R , donde este último se considera como un módulo sobre sí mismo. El espacio de formas lineales siempre se denota Hom k ( V , k ) , ya sea k sea un campo o no. Es un módulo derecho si V es un módulo izquierdo.
La existencia de "suficientes" formas lineales en un módulo equivale a proyectividad . [8]
Lema de base dual : un módulo R M es proyectivo si y solo si existe un subconjunto y formas lineales tales que, para cada número finito, son distintos de cero, y
Cambio de campo
Supongamos que es un espacio vectorial sobre. La restricción de la multiplicación escalar da lugar a un espacio vectorial real [9] llamado realización de
Cualquier espacio vectorial sobre es también un espacio vectorial dotado de una estructura compleja ; es decir, existe un subespacio vectorial real tal que podemos escribir (formalmente) como espacios vectoriales.
Funcionales lineales reales versus complejos
Cada funcional lineal tiene un valor complejo, mientras que cada funcional lineal tiene un valor real. Si entonces un funcional lineal en cualquiera de o no es trivial (es decir, no idénticamente ) si y solo si es sobreyectivo (porque si entonces para cualquier escalar ), donde la imagen de un funcional lineal en es mientras que la imagen de un lineal funcional on es
En consecuencia, la única función on que es a la vez funcional lineal on y función lineal on es la funcional trivial; en otras palabras, donde denota el espacio dual algebraico del espacio . Sin embargo, cada funcional lineal es un operador lineal (lo que significa que es aditivo y homogéneo ), pero a menos que sea idéntico, no es un funcional lineal porque su rango (que es ) es bidimensional . un funcional lineal distinto de cero tiene un rango demasiado pequeño para ser también un funcional lineal.
Partes reales e imaginarias.
Si entonces denotamos su parte real por y su parte imaginaria por
Entonces y son funcionales lineales de y
El hecho de que para todos implica que para todos [9]
y en consecuencia, que y [10]
La asignación define un operador biyectivo [10] -lineal cuyo inverso es el mapa definido por la asignación que envía al funcional lineal definido por
La parte real de is y la biyección es un operador -lineal, es decir que y para todos y [10] ]
De manera similar para la parte imaginaria, la asignación induce una biyección lineal cuyo inverso es el mapa definido enviando al funcional lineal definido por
Esta relación fue descubierta por Henry Löwig en 1934 (aunque normalmente se le atribuye a F. Murray) [11] y puede generalizarse a extensiones finitas arbitrarias de un campo de forma natural. Tiene muchas consecuencias importantes, algunas de las cuales se describirán a continuación.
Propiedades y relaciones
Supongamos que es un funcional lineal con parte real y parte imaginaria.
Entonces si y sólo si si y sólo si
Supongamos que es un espacio vectorial topológico . Entonces es continua si y sólo si su parte real es continua, si y sólo si su parte imaginaria es continua. Es decir, o los tres de y son continuos o ninguno es continuo. Esto sigue siendo cierto si la palabra "continuo" se reemplaza por la palabra " limitado ". En particular, si y sólo si donde el primo denota el espacio dual continuo del espacio . [9]
Sea If para todos los escalares de longitud unitaria (es decir , ) entonces [prueba 1] [12]
De manera similar, si denota la parte compleja de entonces implica
si es un espacio normado con norma y si es la bola unitaria cerrada, entonces los supremos anteriores son el operador normas (definidas de la forma habitual) de y de modo que [12]
Esta conclusión se extiende a la afirmación análoga para polares de conjuntos equilibrados en espacios vectoriales topológicos generales .
Si es un espacio de Hilbert complejo con un producto interno (complejo) que es antilineal en su primera coordenada (y lineal en la segunda), entonces se convierte en un espacio de Hilbert real cuando está dotado de la parte real de Explícitamente, este producto interno real está definido por para todos e induce la misma norma en as porque para todos los vectores La aplicación del teorema de representación de Riesz a (resp. a ) garantiza la existencia de un vector único (resp. ) tal que (resp. ) para todos los vectores El teorema también garantiza que y Se verifica fácilmente que ahora y las igualdades anteriores implican la misma conclusión a la que se llegó anteriormente.
Si es un espacio vectorial topológico , el espacio de funcionales lineales continuos (el dual continuo ) a menudo se denomina simplemente espacio dual. Si es un espacio de Banach , también lo es su dual (continuo). Para distinguir el espacio dual ordinario del espacio dual continuo, al primero a veces se le llama espacio dual algebraico . En dimensiones finitas, todo funcional lineal es continuo, por lo que el dual continuo es lo mismo que el dual algebraico, pero en dimensiones infinitas el dual continuo es un subespacio propio del dual algebraico.
Los funcionales lineales continuos tienen buenas propiedades para el análisis : un funcional lineal es continuo si y solo si su núcleo está cerrado, [14] y un funcional lineal continuo no trivial es un mapa abierto , incluso si el espacio vectorial (topológico) no está completo . [15]
Hiperplanos y subespacios máximos
Un subespacio vectorial de se llama máximo si (es decir, y ) y no existe un subespacio vectorial de tal que Un subespacio vectorial de es máximo si y sólo si es el núcleo de algún funcional lineal no trivial en (es decir, para algunos funcional lineal que no es idénticamente 0 ). Un hiperplano afín es una traducción de un subespacio vectorial máximo. Por linealidad, un subconjunto de es un hiperplano afín si y sólo si existe algún funcional lineal no trivial tal que [11]
Si es un funcional lineal y es un escalar entonces Esta igualdad se puede utilizar para relacionar diferentes conjuntos de niveles de Además , si entonces el núcleo de puede reconstruirse a partir del hiperplano afín mediante
Relaciones entre múltiples funcionales lineales.
Dos funcionales lineales cualesquiera con el mismo núcleo son proporcionales (es decir, múltiplos escalares entre sí). Este hecho se puede generalizar al siguiente teorema.
Teorema [16] [17] - Si hay funcionales lineales en X , entonces los siguientes son equivalentes:
f puede escribirse como una combinación lineal de ; es decir, existen escalares tales que ;
;
existe un número real r tal que para todos y todos
Si f es un funcional lineal no trivial en X con kernel N , satisface y U es un subconjunto equilibrado de X , entonces si y solo si para todos [15]
Teorema de Hahn-Banach
Cualquier funcional lineal (algebraico) en un subespacio vectorial se puede extender a todo el espacio; por ejemplo, las funciones de evaluación descritas anteriormente se pueden extender al espacio vectorial de polinomios en todos. Sin embargo, esta extensión no siempre se puede realizar manteniendo la función lineal continua. La familia de teoremas de Hahn-Banach proporciona las condiciones bajo las cuales se puede realizar esta extensión. Por ejemplo,
Teorema de extensión dominada por Hahn-Banach [18] (Rudin 1991, Th. 3.2) - Si es una función sublineal y es un funcional lineal en un subespacio lineal que está dominado por p en M , entonces existe una extensión lineal de f a todo el espacio X que está dominado por p , es decir, existe un funcional lineal F tal que
para todos y
para todos
Equicontinuidad de familias de funcionales lineales.
Si H es un subconjunto equicontinuo de entonces los siguientes conjuntos también son equicontinuos: el cierre débil-* , el casco equilibrado , el casco convexo y el casco equilibrado convexo . [19]
Además, el teorema de Alaoglu implica que el cierre débil-* de un subconjunto equicontinuo de es débil-* compacto (y por lo tanto, que cada subconjunto equicontinuo débil-* relativamente compacto). [20] [19]
^ En algunos textos se invierten los roles y los vectores se definen como mapas lineales de covectores a escalares.
^ Por ejemplo,
Pruebas
^ Es cierto, de ser así, asuma lo contrario. Dado que para todos los escalares se sigue que Si entonces sea y sea tal que y donde si entonces tome Entonces y porque es un número real, Suponiendo que así Dado era arbitrario, se deduce que
Referencias
^ Axler (2015) pág. 101, §3.92
^ ab Tu (2011) pág. 19, §3.1
^ Katznelson y Katznelson (2008) pág. 37, §2.1.3
^ Axler (2015) pág. 101, §3.94
^ Halmos (1974) pág. 20, §13
^ Laxo 1996
^ Misner, Thorne y Wheeler (1973) pág. 57
^ Clark, Pete L. Álgebra conmutativa (PDF) . Inédito. Lema 3.12.
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.
Schutz, Bernard (1985), "Capítulo 3", Un primer curso de relatividad general , Cambridge, Reino Unido: Cambridge University Press, ISBN 0-521-27703-5
Trèves, François (2006) [1967]. Espacios vectoriales topológicos, distribuciones y núcleos . Mineola, Nueva York: Publicaciones de Dover. ISBN 978-0-486-45352-1. OCLC 853623322.
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.