Espacio vectorial

Estructura algebraica básica del álgebra lineal

No confundir con el campo Vector .

Este artículo trata sobre espacios lineales (vectoriales). Para la estructura en geometría de incidencia, consulte Espacio lineal (geometría) . Para la empresa de tecnología espacial, consulte Vector Space Systems .

Suma de vectores y multiplicación escalar: se suma un vector v (azul) a otro vector w (rojo, ilustración superior). A continuación, w se estira por un factor de 2, lo que da como resultado la suma v + 2 w .

Un espacio vectorial (también llamado espacio lineal ) es un conjunto de objetos llamados vectores , que se pueden sumar y multiplicar ("escalar") por números, llamados escalares . Los escalares a menudo se toman como números reales , pero también hay espacios vectoriales con multiplicación escalar por números complejos , números racionales o, en general, cualquier campo . Las operaciones de suma de vectores y multiplicación escalar deben satisfacer ciertos requisitos, llamados axiomas de vectores (que se enumeran a continuación en § Definición). Para especificar que los escalares son números reales o complejos, a menudo se utilizan los términos espacio vectorial real y espacio vectorial complejo .

Ciertos conjuntos de vectores euclidianos son ejemplos comunes de un espacio vectorial. Representan cantidades físicas como fuerzas , donde dos fuerzas cualesquiera (del mismo tipo) se pueden sumar para producir una tercera, y la multiplicación de un vector de fuerza por un multiplicador real es otro vector de fuerza. De la misma manera (pero en un sentido más geométrico ), los vectores que representan desplazamientos en el plano o espacio tridimensional también forman espacios vectoriales. Los vectores en los espacios vectoriales no tienen que ser necesariamente objetos en forma de flechas como aparecen en los ejemplos mencionados: los vectores se consideran objetos matemáticos abstractos con propiedades particulares, que en algunos casos se pueden visualizar como flechas.

Los espacios vectoriales son objeto de álgebra lineal y están bien caracterizados por su dimensión , que, en términos generales, especifica el número de direcciones independientes en el espacio. Los espacios vectoriales de dimensión infinita surgen naturalmente en el análisis matemático como espacios funcionales , cuyos vectores son funciones . Estos espacios vectoriales generalmente están dotados de alguna estructura adicional como una topología , lo que permite considerar cuestiones de proximidad y continuidad . Entre estas topologías, las que están definidas por una norma o producto interno son las más comúnmente utilizadas (dotadas de una noción dedistancia entre dos vectores). Este es particularmente el caso de los espacios de Banach y los espacios de Hilbert , que son fundamentales en el análisis matemático.

Históricamente, las primeras ideas que conducen a los espacios vectoriales se remontan a la geometría analítica , las matrices , los sistemas de ecuaciones lineales y los vectores euclidianos del siglo XVII . El tratamiento moderno, más abstracto, formulado por primera vez por Giuseppe Peano en 1888, abarca objetos más generales que el espacio euclidiano , pero gran parte de la teoría puede verse como una extensión de ideas geométricas clásicas como líneas , planos y sus análogos de dimensiones superiores.

Hoy en día, los espacios vectoriales se aplican en matemáticas , ciencias e ingeniería . Son la noción lineal-algebraica apropiada para tratar con sistemas de ecuaciones lineales . Ofrecen un marco para la expansión de Fourier , que se emplea en las rutinas de compresión de imágenes , y proporcionan un entorno que se puede utilizar para técnicas de solución de ecuaciones diferenciales parciales . Además, los espacios vectoriales proporcionan una forma abstracta y sin coordenadas de tratar con objetos geométricos y físicos como los tensores . Esto, a su vez, permite el examen de las propiedades locales de las variedades.por técnicas de linealización. Los espacios vectoriales pueden generalizarse de varias formas, lo que lleva a nociones más avanzadas en geometría y álgebra abstracta .

Este artículo trata principalmente de espacios vectoriales de dimensión finita. Sin embargo, muchos de los principios también son válidos para espacios vectoriales de dimensión infinita.

Estructuras algebraicas
Tipo grupo Grupo Semigrupo  / Monoid Rack y quandle Cuasigrupo y bucle Grupo abeliano Magma Grupo de mentiras Teoría de grupos
Como un anillo Anillo Rng Semiring Anillo cercano Anillo conmutativo Dominio integral Campo Anillo de división Teoría del anillo
celosía -como Enrejado Semirretículo Celosía complementada Orden total Heyting álgebra álgebra de Boole Mapa de celosías Teoría de la celosía
Como un módulo Módulo Grupo con operadores Espacio vectorial Álgebra lineal
Algebra- like Álgebra De asociación No asociativo Álgebra de composición Álgebra de mentiras Calificado Bialgebra
v t mi

Introducción y definición

El concepto de espacio vectorial se explicará primero describiendo dos ejemplos particulares:

Primer ejemplo: flechas en el plano

El primer ejemplo de un espacio vectorial consta de flechas en un plano fijo , comenzando en un punto fijo. Esto se usa en física para describir fuerzas o velocidades . Dadas dos flechas cualesquiera, v y w , el paralelogramo atravesado por estas dos flechas contiene una flecha diagonal que también comienza en el origen. Esta nueva flecha se llama la suma de las dos flechas y se denota v + w . ^[1]En el caso especial de dos flechas en la misma línea, su suma es la flecha en esta línea cuya longitud es la suma o la diferencia de las longitudes, dependiendo de si las flechas tienen la misma dirección. Otra operación que se puede hacer con flechas es escalar: dado cualquier número real positivo a , la flecha que tiene la misma dirección que v , pero se dilata o encoge al multiplicar su longitud por a , se llama multiplicación de v por a . Se denota una v . Cuando a es negativo, a v se define como la flecha que apunta en la dirección opuesta.

A continuación se muestran algunos ejemplos: si a = 2 , el vector resultante a w tiene la misma dirección que w , pero se estira al doble de longitud de w (imagen de la derecha a continuación). De manera equivalente, 2 w es la suma w + w . Además, (−1) v = - v tiene la dirección opuesta y la misma longitud que v (el vector azul apunta hacia abajo en la imagen de la derecha).

Segundo ejemplo: pares ordenados de números

Un segundo ejemplo clave de un espacio vectorial es proporcionado por pares de números reales x y y . (El orden de los componentes x y y es significativo, por lo que tal un par también se llama un par ordenado ). Tal un par se escribe como ( x , Y ) . La suma de dos de estos pares y la multiplicación de un par con un número se define de la siguiente manera:

${\displaystyle (x_{1},y_{1})+(x_{2},y_{2})=(x_{1}+x_{2},y_{1}+y_{2})}$

y

${\displaystyle a(x,y)=(ax,ay).}$

El primer ejemplo anterior se reduce a este, si las flechas están representadas por el par de coordenadas cartesianas de sus puntos finales.

Definición

En este artículo, los vectores se representan en negrita para distinguirlos de los escalares. ^{[nb 1]}

Un espacio vectorial sobre un campo F es un conjunto  V junto con dos operaciones que satisfacen los ocho axiomas enumerados a continuación. A continuación, V × V denota el producto cartesiano de V consigo mismo, y → denota un mapeo de un conjunto a otro.

• La primera operación, denominada suma de vectores o simplemente Además +: V × V → V , toma dos vectores  v y w y les asigna un tercer vector que es comúnmente escrito como v + w , y llama la suma de estos dos vectores. (El vector resultante también es un elemento del conjunto V ).
• La segunda operación, denominada multiplicación escalar ·: F × V → V , toma cualquier escalar  una y cualquier vector  v y da otro vector  un v . (De manera similar, el vector de una v es un elemento del conjunto V . Multiplicación escalar es que no debe confundirse con el producto escalar , también llamado producto interno o producto escalar , que es una estructura adicional presente en algunos específicos, pero no todos los espacios vectoriales . La multiplicación escalar es una multiplicación de un vector porun escalar el otro es una multiplicación de dos vectores que producen un escalar).

Los elementos de V se denominan comúnmente vectores . Los elementos de  F se denominan comúnmente escalares . Símbolos comunes para que denota espacios vectoriales incluyen U , V , y W . ^[1]

En los dos ejemplos anteriores, el campo es el campo de los números reales y el conjunto de vectores consta de flechas planas con punto de partida fijo y pares de números reales, respectivamente.

Para calificar como un espacio vectorial, el conjunto  V y las operaciones de suma y multiplicación deben cumplir con una serie de requisitos llamados axiomas . ^[2] Estos se enumeran en la tabla siguiente, donde u , v y w denotan vectores arbitrarios en V , y un y b denotan escalares en F . ^{[3] [4]}

Axioma	Significado
Asociatividad de la suma	u + ( v + w ) = ( u + v ) + w
Conmutatividad de la suma	u + v = v + u
Elemento de identidad de la suma	Existe un elemento 0 ∈ V , llamado el vector cero , de modo que v + 0 = v para todo v ∈ V .
Elementos inversos de suma	Para cada v ∈ V , existe un elemento - v ∈ V , llamado inverso aditivo de v , tal que v + (- v ) = 0 .
Compatibilidad de la multiplicación escalar con la multiplicación de campos	a ( segundo v ) = ( ab ) v [nb 2]
Elemento de identidad de la multiplicación escalar	1 v = v , donde 1 indica la identidad multiplicativa en F .
Distributividad de la multiplicación escalar con respecto a la suma de vectores	a ( u + v ) = a u + a v
Distributividad de la multiplicación escalar con respecto a la suma de campos	( a + b ) v = a v + b v

Estos axiomas generalizan las propiedades de los vectores introducidos en los ejemplos anteriores. De hecho, el resultado de la suma de dos pares ordenados (como en el segundo ejemplo anterior) no depende del orden de los sumandos:

( x _v , y _v ) + ( x _w , y _w ) = ( x _w , y _w ) + ( x _v , y _v ) .

Asimismo, en el ejemplo geométrico de vectores como flechas, v + w = w + v ya que el paralelogramo que define la suma de los vectores es independiente del orden de los vectores. Todos los demás axiomas se pueden verificar de manera similar en ambos ejemplos. Así, al ignorar la naturaleza concreta del tipo particular de vectores, la definición incorpora estos dos y muchos más ejemplos en una noción de espacio vectorial.

La resta de dos vectores y la división por un escalar (distinto de cero) se puede definir como

${\displaystyle {\begin{aligned}\mathbf {v} -\mathbf {w} &=\mathbf {v} +(-\mathbf {w} )\\{\frac {\mathbf {v} }{a}}&={\frac {1}{a}}\mathbf {v} .\end{aligned}}}$

Cuando el campo escalar F son los números reales R , el espacio vectorial se denomina espacio vectorial real . Cuando el campo escalar son los números complejos C , el espacio vectorial se denomina espacio vectorial complejo . Estos dos casos son los que se utilizan con mayor frecuencia en ingeniería. La definición general de un espacio vectorial permite escalares sean elementos de cualquier fijo campo F . La noción es entonces conocido como un F - espacio vectorial o un espacio vectorial sobre F . Un campo es, esencialmente, un conjunto de números que poseen suma , resta ,operaciones de multiplicación y división . ^{[nb 3]} Por ejemplo, los números racionales forman un campo.

En contraste con la intuición que surge de los vectores en el plano y los casos de dimensiones superiores, en los espacios vectoriales generales, no hay noción de cercanía , ángulos o distancias . Para tratar estos asuntos, se introducen tipos particulares de espacios vectoriales; consulte § Espacios vectoriales con estructura adicional a continuación para obtener más información.

Formulaciones alternativas y consecuencias elementales

Además Vector y multiplicación escalar son operaciones, satisfaciendo el cierre de la propiedad: u + v y un v están en V para todos un en F , y u , v en V . Algunas fuentes más antiguas mencionan estas propiedades como axiomas separados. ^[5]

En el lenguaje del álgebra abstracta , los primeros cuatro axiomas equivalen a requerir que el conjunto de vectores sea un grupo abeliano bajo adición. Los axiomas restantes dan a este grupo un F - módulo de estructura. En otras palabras, hay un homomorfismo de anillo f desde el campo F hacia el anillo de endomorfismo del grupo de vectores. Entonces la multiplicación escalar a v se define como ( f ( a )) ( v ) . ^[6]

Hay una serie de consecuencias directas de los axiomas del espacio vectorial. Algunos de ellos derivan de la teoría de grupos elemental , aplicada al grupo aditivo de vectores: por ejemplo, el vector cero 0 de V y el aditivo inverso - v de cualquier vector v son únicos. Se siguen otras propiedades empleando también la ley distributiva para la multiplicación escalar, por ejemplo, a v es igual a 0 si y solo si a es igual a 0 o v es igual a 0 .

Historia

Los espacios vectoriales surgen de la geometría afín , mediante la introducción de coordenadas en el plano o espacio tridimensional. Alrededor de 1636, los matemáticos franceses René Descartes y Pierre de Fermat fundaron la geometría analítica identificando soluciones a una ecuación de dos variables con puntos en una curva plana . ^[7] Para lograr soluciones geométricas sin utilizar coordenadas, Bolzano introdujo, en 1804, ciertas operaciones sobre puntos, líneas y planos, que son predecesores de los vectores. ^[8] Möbius (1827) introdujo la noción de coordenadas baricéntricas . Bellavitis (1833)introdujo la noción de bipunto, es decir, un segmento orientado uno de cuyos extremos es el origen y el otro un objetivo. ^{[9] Los} vectores fueron reconsiderados con la presentación de números complejos por Argand y Hamilton y el inicio de los cuaterniones por este último. ^[10] Son elementos en R ² y R ⁴ ; tratarlos usando combinaciones lineales se remonta a Laguerre en 1867, quien también definió sistemas de ecuaciones lineales .

En 1857, Cayley introdujo la notación matricial que permite armonizar y simplificar los mapas lineales . Casi al mismo tiempo, Grassmann estudió el cálculo baricéntrico iniciado por Möbius. Imaginó conjuntos de objetos abstractos dotados de operaciones. ^[11] En su trabajo están presentes los conceptos de independencia lineal y dimensión , así como productos escalares . En realidad, el trabajo de Grassmann de 1844 excede el marco de los espacios vectoriales, ya que su consideración de la multiplicación también lo llevó a lo que hoy se llama álgebras . Matemático italiano Peanofue el primero en dar la definición moderna de espacios vectoriales y mapas lineales en 1888. ^[12]

Un desarrollo importante de los espacios vectoriales se debe a la construcción de espacios funcionales por Henri Lebesgue . Esto fue formalizado más tarde por Banach y Hilbert , alrededor de 1920. ^[13] En ese momento, el álgebra y el nuevo campo del análisis funcional comenzaron a interactuar, en particular con conceptos clave como espacios de funciones integrables p y espacios de Hilbert . ^[14] También en este momento, se realizaron los primeros estudios sobre espacios vectoriales de dimensión infinita.

Ejemplos

Artículo principal: Ejemplos de espacios vectoriales

Espacio coordinado

El ejemplo más simple de un espacio vectorial sobre un campo F es el propio campo, equipado con su suma y multiplicación estándar. De manera más general, todas las n- tuplas (secuencias de longitud n )

( un ₁ , un ₂ , ..., un _n )

de elementos de F forman un espacio vectorial que generalmente se denota F ⁿ y se llama espacio de coordenadas . ^[15] El caso n = 1 es el ejemplo más simple mencionado anteriormente, en el que el campo F también se considera un espacio vectorial sobre sí mismo. El caso F = R y n = 2 se discutió en la introducción anterior.

Números complejos y otras extensiones de campo

El conjunto de números complejos C , es decir, números que se pueden escribir en la forma x + iy para los números reales x y y donde i es la unidad imaginaria , forman un espacio vectorial sobre los reales con la adición y multiplicación habitual: ( x + iy ) + ( un + ib ) = ( x + a ) + i ( y + b ) y c ⋅ ( x + iy ) = ( c⋅ x ) + i ( c ⋅ y ) para los números reales x , y , un , b y c . Los diversos axiomas de un espacio vectorial se derivan del hecho de que las mismas reglas son válidas para la aritmética de números complejos.

De hecho, el ejemplo de números complejos es esencialmente el mismo (es decir, es isomorfo ) al espacio vectorial de pares ordenados de números reales mencionados anteriormente: si pensamos en el número complejo x + i y como representando el par ordenado ( x , y ) en el plano complejo, entonces vemos que las reglas para la suma y la multiplicación escalar corresponden exactamente a las del ejemplo anterior.

Más en general, las extensiones de campo proporcionan otra clase de ejemplos de espacios vectoriales, particularmente en álgebra y teoría de números algebraica : un campo F que contiene un campo más pequeño E es un E espacio-vector, por las operaciones de multiplicación y suma dadas de F . ^[16] Por ejemplo, los números complejos son un espacio vectorial sobre R , y la extensión de campo es un espacio vectorial sobre Q . ${\displaystyle \mathbf {Q} (i{\sqrt {5}})}$

Espacios funcionales

Artículo principal: Espacio funcional

Suma de funciones: La suma del seno y la función exponencial es con${\displaystyle \sin +\exp :\mathbb {R} \to \mathbb {R} }$${\displaystyle (\sin +\exp )(x)=\sin(x)+\exp(x)}$

Las funciones de cualquier conjunto fijo Ω a un campo F también forman espacios vectoriales, realizando la suma y la multiplicación escalar puntualmente. Es decir, la suma de dos funciones f y g es la función ( f + g ) dada por

( f + g ) ( w ) = f ( w ) + g ( w ) ,

y de manera similar para la multiplicación. Tales espacios de funciones se producen en muchas situaciones geométricas, cuando Ω es la recta real o un intervalo , o de otros subconjuntos de R . Muchas nociones en topología y análisis, como continuidad , integrabilidad o diferenciabilidad, se comportan bien con respecto a la linealidad: las sumas y los múltiplos escalares de funciones que poseen tal propiedad todavía tienen esa propiedad. ^[17] Por tanto, el conjunto de tales funciones son espacios vectoriales. Se estudian con mayor detalle utilizando los métodos de análisis funcional , ver más abajo . ^{[aclaración necesaria ]}Las restricciones algebraicas también producen espacios vectoriales: elespacio vectorial F [x] está dado porfunciones polinómicas:

f ( x ) = r ₀ + r ₁ x + ... + r _{n -1} x ^{n -1} + r _n x ⁿ , donde los coeficientes r ₀ , ..., r _n están en F . ^[18]

Ecuaciones lineales

Artículos principales: Ecuación lineal , Ecuación diferencial lineal y Sistemas de ecuaciones lineales.

Los sistemas de ecuaciones lineales homogéneas están estrechamente vinculados a los espacios vectoriales. ^[19] Por ejemplo, las soluciones de

a	+	3 b	+	C	= 0
4 a	+	2 b	+	2 c	= 0

están dadas por triples con arbitrario a , b = a / 2 y c = −5 a / 2 . Forman un espacio vectorial: las sumas y los múltiplos escalares de tales triples aún satisfacen las mismas razones de las tres variables; por tanto, también son soluciones. Las matrices se pueden usar para condensar múltiples ecuaciones lineales como arriba en una ecuación vectorial, a saber

A x = 0 ,

donde es la matriz que contiene los coeficientes de las ecuaciones dadas, x es el vector ( a , b , c ) , A x denota el producto de la matriz y 0 = (0, 0) es el vector cero. De manera similar, las soluciones de ecuaciones diferenciales lineales homogéneas forman espacios vectoriales. Por ejemplo,${\displaystyle A={\begin{bmatrix}1&3&1\\4&2&2\end{bmatrix}}}$

f ′ ′ ( x ) + 2 f ′ ( x ) + f ( x ) = 0

los rendimientos de f ( x ) = a e ^{- x} + bx e ^{- x} , donde un y b son constantes arbitrarias, y e ^x es la función exponencial naturales .

Base y dimensión

Artículos principales: Base y Dimensión

Un vector v en R ² (azul) expresado en términos de diferentes bases: usando la base estándar de R ² : v = x e ₁ + y e ₂ (negro), y usando una base diferente, no ortogonal : v = f ₁ + f ₂ (rojo).

Las bases permiten representar vectores mediante una secuencia de escalares llamados coordenadas o componentes . Una base es un conjunto B = { b _i } _{i ∈ I} de vectores b _i , por conveniencia, a menudo indexado por algún conjunto de índices I , que abarca todo el espacio y es linealmente independiente . "Abarcando todo el espacio" significa que cualquier vector v se puede expresar como una suma finita (llamada combinación lineal ) de los elementos básicos:

${\displaystyle \mathbf {v} =a_{1}\mathbf {b} _{i_{1}}+a_{2}\mathbf {b} _{i_{2}}+\cdots +a_{n}\mathbf {b} _{i_{n}},}$

( 1 )

donde la una _k son escalares, llamados las coordenadas (o los componentes) del vector v con respecto a la base B , y b _{i k} ( k = 1, ..., n ) elementos de B . La independencia lineal significa que las coordenadas a _k están determinadas de forma única para cualquier vector en el espacio vectorial.

Por ejemplo, los vectores de coordenadas e ₁ = (1, 0,…, 0) , e ₂ = (0, 1, 0,…, 0) , a e _n = (0, 0,…, 0, 1) , forman una base de F ⁿ , llamada base estándar , ya que cualquier vector ( x ₁ , x ₂ ,…, x _n ) puede expresarse de forma única como una combinación lineal de estos vectores:

( x ₁ , x ₂ ,…, x _n ) = x ₁ (1, 0,…, 0) + x ₂ (0, 1, 0,…, 0) + ⋯ + x _n (0,…, 0, 1) = x ₁ e ₁ + x ₂ e ₂ + ⋯ + x _n e _n .

Las coordenadas correspondientes x ₁ , x ₂ , … , x _n son solo las coordenadas cartesianas del vector.

Todo espacio vectorial tiene una base. Esto se sigue del lema de Zorn , una formulación equivalente del axioma de elección . ^[20] Dados los otros axiomas de la teoría de conjuntos de Zermelo-Fraenkel , la existencia de bases es equivalente al axioma de elección. ^[21] El lema del ultrafiltro , que es más débil que el axioma de elección, implica que todas las bases de un espacio vectorial dado tienen el mismo número de elementos, o cardinalidad (cf. Teorema de la dimensión para espacios vectoriales ). ^[22] Se llama dimensión del espacio vectorial, denotado por dim V. Si el espacio está atravesado por un número finito de vectores, las afirmaciones anteriores pueden probarse sin esa información fundamental de la teoría de conjuntos. ^[23]

La dimensión del espacio de coordenadas F ⁿ es n , según la base mostrada anteriormente. La dimensión del anillo polinomial F [ x ] introducido anteriormente ^{[ aclaración necesaria ]} es infinita numerable , una base está dada por 1 , x , x ² , … A fortiori , la dimensión de espacios de funciones más generales, como el espacio de funciones en algún intervalo (acotado o no acotado), es infinito. ^{[nb 4]} Bajo supuestos de regularidad adecuados sobre los coeficientes involucrados, la dimensión del espacio solución de un homogéneoecuación diferencial ordinaria es igual al grado de la ecuación. ^[24] Por ejemplo, el espacio de solución para la ecuación anterior ^{[ aclaración necesaria ]} es generado por e ^{- x} y xe ^{- x} . Estas dos funciones son linealmente independientes sobre R , por lo que la dimensión de este espacio es dos, al igual que el grado de la ecuación.

Una extensión de campo sobre los racionales Q se puede considerar como un espacio vectorial sobre Q (definiendo la suma de vectores como suma de campo, definiendo la multiplicación escalar como multiplicación de campo por elementos de Q y, de lo contrario, ignorando la multiplicación de campo). La dimensión (o grado ) de la extensión de campo Q ( α ) sobre Q depende de α . Si α satisface alguna ecuación polinomial

$${\displaystyle q_{n}\alpha ^{n}+q_{n-1}\alpha ^{n-1}+\cdots +q_{0}=0}$$

con coeficientes racionales q _n , ..., q ₀ (es decir, si α es algebraico ), la dimensión es finita. Más precisamente, es igual al grado del polinomio mínimo que tiene α como raíz . ^[25] Por ejemplo, los números complejos C son un espacio vectorial real bidimensional, generado por 1 y la unidad imaginaria i . Este último satisface i ² + 1 = 0, una ecuación de grado dos. Por lo tanto, C es un espacio de vectores R bidimensional (y, como cualquier campo, unidimensional como un espacio vectorial sobre sí mismo,C ). Si α no es algebraico, la dimensión de Q ( α ) sobre Q es infinita. Por ejemplo, para α = π no existe tal ecuación. Es decir, π es trascendental . ^[26]

Mapas y matrices lineales

Artículo principal: mapa lineal

La relación de dos espacios vectoriales se puede expresar mediante mapa lineal o transformación lineal . Son funciones que reflejan la estructura del espacio vectorial, es decir, conservan sumas y multiplicaciones escalares:

${\displaystyle f(\mathbf {v} +\mathbf {w} )=f(\mathbf {v} )+f(\mathbf {w} )}$y f ( un · v ) = un · f ( v ) para todos v y w en V , todo un en F . ^[27]

Un isomorfismo es un mapa lineal f  : V → W tal que existe un mapa inverso g  : W → V , que es un mapa tal que las dos posibles composiciones f ∘ g  : W → W y g ∘ f  : V → V son mapas de identidad . De manera equivalente, f es tanto uno a uno ( inyectiva ) como sobre ( sobreyectiva ). ^[28] Si existe un isomorfismo entre V y W , se dice que los dos espacios son isomorfos ; entonces son esencialmente idénticos a los espacios vectoriales, ya que todas las identidades que se mantienen en V son, a través de f , transportadas a otras similares en W , y viceversa mediante g .

Describiendo una flecha vector v por sus coordenadas x y y produce un isomorfismo de espacios vectoriales.

Por ejemplo, los espacios vectoriales "flechas en el plano" y "pares ordenados de números" en la introducción son isomorfos: una flecha plana v que sale del origen de algún sistema de coordenadas (fijo) se puede expresar como un par ordenado considerando el x - y y componente z de la flecha, como se muestra en la imagen a la derecha. Por el contrario, dado un par ( x , y ) , la flecha que va por x hacia la derecha (o hacia la izquierda, si x es negativa), yy hacia arriba (hacia abajo, si y es negativa) hace retroceder la flecha v .

Los mapas lineales V → W entre dos espacios vectoriales forman un espacio vectorial Hom _F ( V , W ) , también denominado L ( V , W ) o 𝓛 ( V , W ) . ^[29] El espacio de los mapas lineales de V a F se denomina espacio vectorial dual , denotado V ^∗ . ^{[30] A} través del mapa natural inyectivo V → V ^∗∗, cualquier espacio vectorial se puede incrustar en su bidual ; el mapa es un isomorfismo si y solo si el espacio es de dimensión finita. ^[31]

Una vez que se elige una base de V , los mapas lineales f  : V → W se determinan completamente especificando las imágenes de los vectores base, porque cualquier elemento de V se expresa de forma única como una combinación lineal de ellos. ^[32] Si dim V = dim W , una correspondencia 1-a-1 entre las bases fijas de V y W da lugar a un mapa lineal que mapea cualquier elemento base de V al elemento de base correspondiente de W . Es un isomorfismo, por su propia definición. ^[33]Por lo tanto, dos espacios vectoriales son isomorfos si sus dimensiones coinciden y viceversa. Otra forma de expresar esto es que cualquier espacio vectorial está completamente clasificado ( hasta isomorfismo) por su dimensión, un solo número. En particular, cualquier espacio de n - vector F n - dimensional V es isomorfo a F ⁿ . Sin embargo, no hay isomorfismo "canónico" o preferido; en realidad un isomorfismo φ  : F ⁿ → V es equivalente a la elección de una base de V , al mapear la base estándar de F ⁿ a V , a través de φ. La libertad de elegir una base conveniente es particularmente útil en el contexto de dimensión infinita; ver más abajo . ^{[ aclaración necesaria ]}

Matrices

Artículos principales: Matriz y determinante

Una matriz típica

Las matrices son una noción útil para codificar mapas lineales. ^[34] Están escritos como una matriz rectangular de escalares como en la imagen de la derecha. Cualquier matriz A m -por- n da lugar a un mapa lineal de F ⁿ a F ^m , de la siguiente manera

${\displaystyle \mathbf {x} =(x_{1},x_{2},\ldots ,x_{n})\mapsto \left(\sum _{j=1}^{n}a_{1j}x_{j},\sum _{j=1}^{n}a_{2j}x_{j},\ldots ,\sum _{j=1}^{n}a_{mj}x_{j}\right)}$, donde denota la suma ,${\displaystyle \sum }$

o, usando la multiplicación matricial de la matriz A con el vector coordenado x :

x ↦ A x .

Además, después de elegir las bases de V y W , cualquier mapa lineal f  : V → W se representa de forma única mediante una matriz a través de esta asignación. ^[35]

El volumen de este paralelepípedo es el valor absoluto del determinante de la matriz de 3 por 3 formada por los vectores r ₁ , r ₂ y r ₃ .

El determinante det ( A ) de una matriz cuadrada A es un escalar que dice si el mapa asociado es un isomorfismo o no: para serlo es suficiente y necesario que el determinante sea distinto de cero. ^[36] La transformación lineal de R ⁿ correspondiente a una matriz real n- por- n conserva la orientación si y solo si su determinante es positivo.

Autovalores y autovectores

Artículo principal: Autovalores y autovectores

Los endomorfismos , mapas lineales f  : V → V , son particularmente importantes ya que en este caso los vectores v se pueden comparar con su imagen bajo f , f ( v ) . Cualquier vector v distinto de cero que satisfaga λ v = f ( v ) , donde λ es un escalar, se denomina vector propio de f con valor propio λ . ^{[nb 5] [37] De manera} equivalente, v es un elemento del kernelde la diferencia f - λ · Id (donde Id es el mapa de identidad V → V ) . Si V es de dimensión finita, esto se puede reformular usando determinantes: f que tiene un valor propio λ es equivalente a

det ( f - λ · Id) = 0 .

Al deletrear la definición del determinante, se puede ver que la expresión del lado izquierdo es una función polinomial en λ , llamada polinomio característico de f . ^[38] Si el campo F es lo suficientemente grande como para contener un cero de este polinomio (lo que ocurre automáticamente para F algebraicamente cerrado , como F = C ), cualquier mapa lineal tiene al menos un vector propio. El espacio vectorial V puede poseer o no una base propia , una base que consta de vectores propios. Este fenómeno se rige por la forma canónica del mapa de Jordania . ^{[39][nb 6]} El conjunto de todos los autovectores correspondientes a un autovalor particular de f forma un espacio vectorial conocido como el autoespacio correspondiente al autovalor ( yf ) en cuestión. Para lograr el teorema espectral , el enunciado correspondiente en el caso de dimensión infinita, se necesita la maquinaria del análisis funcional, ver más abajo . ^{[ aclaración necesaria ]}

Construcciones básicas

Además de los ejemplos concretos anteriores, hay una serie de construcciones algebraicas lineales estándar que producen espacios vectoriales relacionados con los dados. Además de las definiciones que se dan a continuación, también se caracterizan por propiedades universales , que determinan un objeto X especificando los mapas lineales de X a cualquier otro espacio vectorial.

Subespacios y espacios de cociente

Artículos principales: subespacio lineal y espacio vectorial cociente

Una línea que pasa por el origen (azul, gruesa) en R 3 es un subespacio lineal. Es la intersección de dos planos (verde y amarillo).

Un subconjunto W no vacío de un espacio vectorial V que está cerrado bajo la suma y la multiplicación escalar (y por lo tanto contiene el vector 0 de V ) se llama un subespacio lineal de V , o simplemente un subespacio de V , cuando el espacio ambiental es inequívocamente un espacio vectorial. ^{[40] [nb 7] Los} subespacios de V son espacios vectoriales (sobre el mismo campo) por derecho propio. La intersección de todos los subespacios que contienen un conjunto S dado de vectores se llama su lapso , y es el subespacio más pequeño de Vque contiene el conjunto S . Expresado en términos de elementos, el intervalo es el subespacio que consiste en todas las combinaciones lineales de los elementos de S . ^[41]

Un subespacio lineal de dimensión 1 es una línea vectorial . Un subespacio lineal de dimensión 2 es un plano vectorial . Un subespacio lineal que contiene todos los elementos menos uno de la base del espacio ambiental es un hiperplano vectorial . En un espacio vectorial de dimensión finita n , un hiperplano vectorial es, por tanto, un subespacio de dimensión n - 1 .

La contraparte de los subespacios son los espacios vectoriales cocientes . ^[42] Dado cualquier subespacio W ⊂ V , el espacio cociente V / W (" V módulo W ") se define de la siguiente manera: como un conjunto, consta de v + W = { v + w  : w ∈ W }, donde v es un vector arbitrario en V . La suma de dos de estos elementos v ₁ + W y v ₂ + W es( V ₁ + v ₂ ) + W , y la multiplicación escalar se da por un · ( v + W ) = ( un · v ) + W . El punto clave en esta definición es que v ₁ + W = v ₂ + W si y sólo si la diferencia de v ₁ y v ₂ mentiras en W . ^{[nb 8] De} esta manera, el espacio del cociente "olvida" la información contenida en el subespacio W.

El kernel ker ( f ) de un mapa lineal f  : V → W consta de vectores de v que se asignan a 0 en W . ^[43] El núcleo y la imagen im ( f ) = { f ( v ): v ∈ V } son subespacios de V y W , respectivamente. ^[44] La existencia de núcleos e imágenes es parte de la afirmación de que la categoría de espacios vectoriales (sobre un campo fijo F ) es unacategoría abeliana , es decir, un corpus de objetos matemáticos y mapas que preservan la estructura entre ellos (una categoría ) que se comporta de manera muy similar a la categoría de grupos abelianos . ^[45] Debido a esto, muchos enunciados como el primer teorema del isomorfismo (también llamado teorema de nulidad de rango en términos relacionados con matrices)

V / ker ( f ) ≡ im ( f ).

y el teorema del segundo y tercer isomorfismo puede ser formulado y probado de una manera muy similar a los enunciados correspondientes para grupos .

Un ejemplo importante es el núcleo de un mapa lineal x ↦ A x para alguna matriz fija A , como se indicó anteriormente . ^{[ Aclaración necesaria ]} El núcleo de este mapa es el subespacio de los vectores x tales que A x = 0 , que es precisamente el conjunto de soluciones al sistema de ecuaciones lineales homogéneos pertenecientes a A . Este concepto también se extiende a las ecuaciones diferenciales lineales.

${\displaystyle a_{0}f+a_{1}{\frac {df}{dx}}+a_{2}{\frac {d^{2}f}{dx^{2}}}+\cdots +a_{n}{\frac {d^{n}f}{dx^{n}}}=0}$, donde los coeficientes a _{i también} son funciones en x .

En el mapa correspondiente

${\displaystyle f\mapsto D(f)=\sum _{i=0}^{n}a_{i}{\frac {d^{i}f}{dx^{i}}}}$,

las derivadas de la función f aparecen linealmente (a diferencia de f ′ ′ ( x ) ² , por ejemplo). Dado que la diferenciación es un procedimiento lineal (es decir, ( f + g ) ′ = f ′ + g ′ y ( c · f ) ′ = c · f ′ para una constante c ) esta asignación es lineal, llamada operador diferencial lineal . En particular, las soluciones de la ecuación diferencial D ( f ) = 0formar un espacio vectorial (sobre R o C ).

Producto directo y suma directa

Artículos principales: Producto directo y suma directa de módulos.

El producto directo de los espacios vectoriales y la suma directa de los espacios vectoriales son dos formas de combinar una familia indexada de espacios vectoriales en un nuevo espacio vectorial.

El producto directo de una familia de espacios vectoriales V _i consiste en el conjunto de todas las tuplas ( v _i ) _{i ∈ I} , que especifican para cada índice i en algún conjunto de índices I un elemento v _i de V _i . ^{[46] La} suma y la multiplicación escalar se realizan por componentes. Una variante de esta construcción es la suma directa (también denominada coproducto y denotada ), donde solo se permiten tuplas con un número finito de vectores distintos de cero. Si el índice establece I${\displaystyle \textstyle {\prod _{i\in I}V_{i}}}$ ${\textstyle \bigoplus _{i\in I}V_{i}}$${\textstyle \coprod _{i\in I}V_{i}}$ es finito, las dos construcciones coinciden, pero en general son diferentes.

Producto tensor

Artículo principal: Producto tensorial de espacios vectoriales

El producto tensorial V ⊗ _F W , o simplemente V ⊗ W , de dos espacios vectoriales V y W es una de las nociones centrales del álgebra multilineal que trata de extender nociones tales como mapas lineales a varias variables. Un mapa g  : V × W → X se llama bilineal si g es lineal en ambas variables v y w . Es decir, para w fijo el mapa v ↦ g ( v, w ) es lineal en el sentido anterior e igualmente para v fijo .

El producto tensorial es un espacio vectorial particular que es un receptor universal de mapas bilineales g , como sigue. Se define como el espacio vectorial que consta de sumas finitas (formales) de símbolos llamados tensores.

v ₁ ⊗ w ₁ + v ₂ ⊗ w ₂ + ⋯ + v _n ⊗ w _n ,

sujeto a las reglas

a · ( v ⊗ w ) = ( a · v ) ⊗ w = v ⊗ ( a · w ), donde a es un escalar,

( v ₁ + v ₂ ) ⊗ w = v ₁ ⊗ w + v ₂ ⊗ w , y

v ⊗ ( w ₁ + w ₂ ) = v ⊗ w ₁ + v ⊗ w ₂ . ^[47]

Diagrama conmutativo que representa la propiedad universal del producto tensorial.

Estas reglas aseguran que el mapa f de V × W a V ⊗ W que asigna una tupla ( v , w ) a v ⊗ w sea ​​bilineal. La universalidad establece que dado cualquier espacio vectorial X y cualquier mapa bilineal g  : V × W → X , existe un mapa único u , que se muestra en el diagrama con una flecha punteada, cuya composición con f es igual a g: u ( v ⊗ w ) = g ( v , w ) . ^[48] Esto se denomina propiedad universal del producto tensorial, una instancia del método, muy utilizado en álgebra abstracta avanzada, para definir indirectamente objetos mediante la especificación de mapas desde o hacia este objeto.

Espacios vectoriales con estructura adicional

Desde el punto de vista del álgebra lineal, los espacios vectoriales se entienden completamente en la medida en que cualquier espacio vectorial se caracteriza, hasta el isomorfismo, por su dimensión. Sin embargo, los espacios vectoriales por sí mismos no ofrecen un marco para abordar la cuestión, crucial para el análisis, de si una secuencia de funciones converge a otra función. Asimismo, el álgebra lineal no está adaptada para tratar con series infinitas , ya que la operación de suma solo permite sumar un número finito de términos. Por lo tanto, las necesidades del análisis funcional requieren considerar estructuras adicionales.

A un espacio vectorial se le puede dar un orden parcial ≤, bajo el cual se pueden comparar algunos vectores. ^[49] Por ejemplo, el espacio real n- dimensional R ⁿ se puede ordenar comparando sus vectores en componentes. Los espacios vectoriales ordenados , por ejemplo los espacios de Riesz , son fundamentales para la integración de Lebesgue , que se basa en la capacidad de expresar una función como una diferencia de dos funciones positivas.

f = f ⁺ - f ^- ,

donde f ⁺ denota la parte positiva de f y f ^- la parte negativa. ^[50]

Espacios vectoriales normativos y espacios de productos internos

Artículos principales: Espacio vectorial normalizado y Espacio de producto interno.

La "medición" de vectores se realiza especificando una norma , un dato que mide las longitudes de los vectores, o mediante un producto interno , que mide los ángulos entre los vectores. Las normas y los productos internos se indican y , respectivamente. El dato de un producto interno implica que las longitudes de los vectores también se pueden definir, definiendo la norma asociada . Los espacios vectoriales dotados de tales datos se conocen como espacios vectoriales normativos y espacios de productos internos , respectivamente. ^[51]${\displaystyle |\mathbf {v} |}$${\displaystyle \langle \mathbf {v} ,\mathbf {w} \rangle }$${\textstyle |\mathbf {v} |:={\sqrt {\langle \mathbf {v} ,\mathbf {v} \rangle }}}$

El espacio de coordenadas F ⁿ se puede equipar con el producto escalar estándar :

${\displaystyle \langle \mathbf {x} ,\mathbf {y} \rangle =\mathbf {x} \cdot \mathbf {y} =x_{1}y_{1}+\cdots +x_{n}y_{n}.}$

En R ² , esto refleja la idea común de que el ángulo entre dos vectores x y y , por la ley de los cosenos :

${\displaystyle \mathbf {x} \cdot \mathbf {y} =\cos \left(\angle (\mathbf {x} ,\mathbf {y} )\right)\cdot |\mathbf {x} |\cdot |\mathbf {y} |.}$

Debido a esto, dos vectores satisfactorios se denominan ortogonales . En el espacio de Minkowski se utiliza una variante importante del producto escalar estándar : R ⁴ dotado del producto Lorentz${\displaystyle \langle \mathbf {x} ,\mathbf {y} \rangle =0}$

${\displaystyle \langle \mathbf {x} |\mathbf {y} \rangle =x_{1}y_{1}+x_{2}y_{2}+x_{3}y_{3}-x_{4}y_{4}.}$^[52]

A diferencia del producto escalar estándar, no es positivo definido : también toma valores negativos, por ejemplo, para . Al señalar la cuarta coordenada, que corresponde al tiempo , en oposición a las tres dimensiones del espacio, resulta útil para el tratamiento matemático de la relatividad especial .${\displaystyle \langle \mathbf {x} |\mathbf {x} \rangle }$${\displaystyle \mathbf {x} =(0,0,0,1)}$

Espacios vectoriales topológicos

Artículo principal: espacio vectorial topológico

Las preguntas de convergencia se tratan considerando los espacios vectoriales V que tienen una topología compatible , una estructura que permite hablar de elementos cercanos entre sí . ^{[53] [54]} Compatible aquí significa que la suma y la multiplicación escalar deben ser mapas continuos . Aproximadamente, si x y y en V , y una en F varían por una cantidad limitada, a continuación, también lo hacen x + y y una x . ^{[nb 9]} Para que tenga sentido especificar la cantidad de cambios escalares, el campo Ftambién tiene que llevar una topología en este contexto; una opción común son los reales o los números complejos.

En tales espacios vectoriales topológicos se pueden considerar series de vectores. La suma infinita

${\displaystyle \sum _{i=0}^{\infty }f_{i}}$

denota el límite de los correspondientes sumas parciales finitas de la secuencia ( f _i ) _{i ∈ N} de elementos de V . Por ejemplo, f _i podrían ser funciones (reales o complejas) pertenecientes a algún espacio funcional V , en cuyo caso la serie es una serie de funciones . El modo de convergencia de la serie depende de la topología impuesta al espacio funcional. En tales casos, la convergencia puntual y la convergencia uniforme son dos ejemplos destacados.

Las "esferas" unitarias en R ² consisten en vectores planos de la norma 1. Se representan las esferas unitarias en diferentes p -normas , para p = 1, 2 y ∞. El diamante más grande representa puntos de 1 norma igual a 2.

Una forma de asegurar la existencia de límites de ciertas series infinitas es restringir la atención a los espacios donde cualquier secuencia de Cauchy tiene un límite; tal espacio vectorial se llama completo . Aproximadamente, un espacio vectorial está completo siempre que contenga todos los límites necesarios. Por ejemplo, el espacio vectorial de polinomios en el intervalo unitario [0,1], equipado con la topología de convergencia uniforme no está completo porque cualquier función continua en [0,1] puede aproximarse uniformemente mediante una secuencia de polinomios, por el Teorema de aproximación de Weierstrass . ^[55] Por el contrario, el espacio de todas las funciones continuas en [0,1] con la misma topología es completo. ^[56]Una norma da lugar a una topología al definir que una secuencia de vectores v _n converge av si y solo si

${\displaystyle \lim _{n\to \infty }|\mathbf {v} _{n}-\mathbf {v} |=0.}$

Los espacios de Banach y Hilbert son espacios vectoriales topológicos completos cuyas topologías vienen dadas, respectivamente, por una norma y un producto interno. Su estudio, pieza clave del análisis funcional, se centra en los espacios vectoriales de dimensión infinita, ya que todas las normas sobre espacios vectoriales topológicos de dimensión finita dan lugar a la misma noción de convergencia. ^[57] La imagen de la derecha muestra la equivalencia de la norma 1 y la norma ∞ en R ² : a medida que las "bolas" unitarias se encierran entre sí, una secuencia converge a cero en una norma si y solo si lo hace en la otra norma. En el caso de dimensión infinita, sin embargo, generalmente habrá topologías desiguales, lo que hace que el estudio de los espacios vectoriales topológicos sea más rico que el de los espacios vectoriales sin datos adicionales.

Desde un punto de vista conceptual, todas las nociones relacionadas con los espacios vectoriales topológicos deben coincidir con la topología. Por ejemplo, en lugar de considerar todos los mapas lineales (también llamados funcionales ) V → W , se requiere que los mapas entre espacios vectoriales topológicos sean continuos. ^[58] En particular, el espacio dual (topológico) V ^∗ consta de funcionales continuos V → R (o hacia C ). El teorema fundamental de Hahn-Banach se ocupa de separar subespacios de espacios vectoriales topológicos apropiados por funcionales continuos. ^[59]

Espacios banach

Artículo principal: Espacio Banach

Los espacios de Banach , presentados por Stefan Banach , son espacios vectoriales normalizados completos. ^[60]

Un primer ejemplo es el espacio vectorial que ℓ p {\displaystyle \ell ^{p}} consta de vectores infinitos con entradas reales cuya -norma dada por ${\displaystyle \mathbf {x} =\left(x_{1},x_{2},\ldots ,x_{n},\ldots \right)}$ p {\displaystyle p} ${\displaystyle (1\leq {p}\leq \infty )}$

${\displaystyle \left\|\mathbf {x} \right\|_{p}:=\left(\sum _{i}\left\vert x_{i}\right\vert ^{p}\right)^{\frac {1}{p}}}$para    y   .${\displaystyle p<\infty }$${\displaystyle \left\|\mathbf {x} \right\|_{\infty }:=\sup _{i}\left|x_{i}\right|}$

Las topologías en el espacio de dimensión infinita no son equivalentes para diferentes . Por ejemplo, la secuencia de vectores , en la que están los primeros componentes y los siguientes , converge al vector cero para , pero no para :${\displaystyle \ell ^{p}}$${\displaystyle p}$${\displaystyle \mathbf {x} _{n}=\left(2^{-n},2^{-n},\ldots ,2^{-n},0,0,\ldots \right)}$${\displaystyle 2^{n}}$${\displaystyle 2^{-n}}$${\displaystyle 0}$${\displaystyle p=\infty }$${\displaystyle p=1}$

${\displaystyle \left\Vert \mathbf {x} _{n}\right\Vert _{_{\infty }}=\sup(2^{-n},0)=2^{-n}\rightarrow 0}$, pero ${\displaystyle \left\Vert \mathbf {x} _{n}\right\Vert _{1}=\sum _{i=1}^{2^{n}}2^{-n}=2^{n}\cdot 2^{-n}=1.}$

Más generalmente que las secuencias de números reales, las funciones están dotadas de una norma que reemplaza la suma anterior por la integral de Lebesgue.${\displaystyle f\colon \Omega \to \mathbb {R} }$

${\displaystyle \left\Vert {f}\right\Vert _{p}:=\left(\int _{\Omega }\left\vert {f}\left(x\right)\right\vert ^{p}\,{d\mu \left(x\right)}\right)^{\frac {1}{p}}.}$

El espacio de funciones integrables en un dominio dado (por ejemplo, un intervalo) que satisface y está equipado con esta norma se denomina espacios de Lebesgue , denotado . ^{[nb 10]}${\displaystyle \Omega }$${\displaystyle \left\Vert {f}\right\Vert _{p}<\infty }$${\displaystyle L^{\;\!p}\left(\Omega \right)}$

Estos espacios están completos. ^[61] (Si se usa la integral de Riemann en su lugar, el espacio no está completo, lo que puede verse como una justificación para la teoría de la integración de Lebesgue. ^{[Nb 11]} ) Concretamente, esto significa que para cualquier secuencia de funciones integrables de Lebesgue      con , satisfaciendo la condición${\displaystyle f_{1},f_{2},\ldots ,f_{n},\ldots }$${\displaystyle \left\Vert {f}_{n}\right\Vert _{p}<\infty }$

${\displaystyle \lim _{k,\ n\to \infty }\int _{\Omega }\left\vert {f}_{k}(x)-{f}_{n}(x)\right\vert ^{p}\,{d\mu \left(x\right)}=0}$

existe una función perteneciente al espacio vectorial tal que${\displaystyle {f}\left(x\right)}$${\displaystyle L^{\;\!p}\left(\Omega \right)}$

${\displaystyle \lim _{k\to \infty }\int _{\Omega }\left\vert {f}\left(x\right)-{f}_{k}\left(x\right)\right\vert ^{p}\,{d\mu \left(x\right)}=0.}$

La imposición de condiciones de delimitación no solo en la función, sino también en sus derivadas conduce a espacios de Sobolev . ^[62]

Espacios de Hilbert

Artículo principal: espacio de Hilbert

Las instantáneas siguientes muestran la suma de 1 a 5 términos al aproximar una función periódica (azul) por la suma finita de funciones sinusoidales (rojo).

Los espacios de productos interiores completos se conocen como espacios de Hilbert , en honor a David Hilbert . ^[63] El espacio de Hilbert L ² (Ω), con el producto interno dado por

${\displaystyle \langle f\ ,\ g\rangle =\int _{\Omega }f(x){\overline {g(x)}}\,dx,}$

donde denota el conjugado complejo de g ( x ), ^{[64] [nb 12]} es un caso clave.${\displaystyle {\overline {g(x)}}}$

Por definición, en un espacio de Hilbert, cualquier secuencia de Cauchy converge hasta un límite. Por el contrario, es igualmente crucial encontrar una secuencia de funciones f _n con propiedades deseables que se aproxime a una función límite dada. El análisis inicial, bajo la apariencia de la aproximación de Taylor , estableció una aproximación de funciones diferenciables f por polinomios. ^[65] Según el teorema de Stone-Weierstrass , cada función continua en [ a , b ] puede aproximarse tanto como se desee mediante un polinomio. ^[66] Una técnica de aproximación similar mediante funciones trigonométricas se denomina comúnmenteExpansión de Fourier , y se aplica mucho en ingeniería, ver más abajo . ^{[ aclaración necesaria ]} De manera más general, y más conceptual, el teorema proporciona una descripción simple de qué "funciones básicas", o, en espacios abstractos de Hilbert, qué vectores básicos son suficientes para generar un espacio de Hilbert H , en el sentido de que el cierre de sus span (es decir, combinaciones lineales finitas y límites de esas) es el espacio completo. Este conjunto de funciones se denomina base de H , su cardinalidad se conoce como dimensión espacial de Hilbert . ^{[nb 13]}El teorema no solo muestra funciones de base adecuadas como suficientes para propósitos de aproximación, sino que también, junto con el proceso de Gram-Schmidt , permite construir una base de vectores ortogonales . ^[67] Tales bases ortogonales son la generalización espacial de Hilbert de los ejes de coordenadas en el espacio euclidiano de dimensión finita .

Las soluciones de varias ecuaciones diferenciales se pueden interpretar en términos de espacios de Hilbert. Por ejemplo, muchos campos de la física y la ingeniería conducen a tales ecuaciones y, con frecuencia, se utilizan como funciones básicas soluciones con propiedades físicas particulares, a menudo ortogonales. ^[68] Como ejemplo de la física, la ecuación de Schrödinger dependiente del tiempo en mecánica cuántica describe el cambio de propiedades físicas en el tiempo mediante una ecuación diferencial parcial , cuyas soluciones se denominan funciones de onda . ^{[69] Los} valores definidos para propiedades físicas como la energía o el momento, corresponden a valores propios de una determinada (lineal)El operador diferencial y las funciones de onda asociadas se denominan estados propios . El teorema espectral descompone un operador compacto lineal que actúa sobre funciones en términos de estas funciones propias y sus valores propios. ^[70]

Álgebras sobre campos

Artículos principales: Álgebra sobre un campo y álgebra de Lie

Una hipérbola , dada por la ecuación x ⋅ y = 1 . El anillo de coordenadas de funciones en esta hipérbola está dada por R [ x , y ] / ( x · y - 1) , un espacio vectorial de dimensión infinita sobre R .

Los espacios vectoriales generales no poseen una multiplicación entre vectores. Un espacio vectorial equipado con un operador bilineal adicional que define la multiplicación de dos vectores es un álgebra sobre un campo . ^[71] Muchas álgebras provienen de funciones en algún objeto geométrico: dado que las funciones con valores en un campo dado se pueden multiplicar puntualmente, estas entidades forman álgebras. El teorema de Stone-Weierstrass, por ejemplo, se basa en álgebras de Banach, que son tanto espacios de Banach como álgebras.

El álgebra conmutativa hace un gran uso de anillos de polinomios en una o varias variables, introducidas anteriormente . ^{[ aclaración necesaria ]} Su multiplicación es tanto conmutativa como asociativa . Estos anillos y sus cocientes forman la base de la geometría algebraica , porque son anillos de funciones de objetos geométricos algebraicos . ^[72]

Otro ejemplo cruciales son álgebras de Lie , que no son ni conmutativa ni asociativo, pero el caso de no ser así se ve limitado por las restricciones ( [ x , y ] denota el producto de x y y ):

• [ x , y ] = - [ y , x ] ( anticomutatividad ), y
• [ x , [ y , z ]] + [ y , [ z , x ]] + [ z , [ x , y ]] = 0 ( identidad de Jacobi ). ^[73]

Los ejemplos incluyen el espacio vectorial de n- por- n matrices, con [ x , y ] = xy - yx , el conmutador de dos matrices, y R ³ , dotado del producto cruzado .

El álgebra tensorial T ( V ) es una forma formal de sumar productos a cualquier espacio vectorial V para obtener un álgebra. ^[74] Como espacio vectorial, está dividido por símbolos, llamados tensores simples.

v ₁ ⊗ v ₂ ⊗ ⋯ ⊗ v _n , donde el grado n varía.

La multiplicación se da concatenando tales símbolos, imponiendo la ley distributiva bajo la suma y requiriendo que la multiplicación escalar conmute con el producto tensorial ⊗, de la misma manera que con el producto tensorial de dos espacios vectoriales introducidos anteriormente . ^{[ aclaración necesaria ]} En general, no hay relaciones entre v ₁ ⊗ v ₂ y v ₂ ⊗ v ₁ . Forzar dos de estos elementos a ser iguales conduce al álgebra simétrica , mientras que forzar v ₁ ⊗ v ₂ = - v ₂⊗ v ₁ produce el álgebra exterior . ^[75]

Cuando un campo, F se indica explícitamente, un término común utilizado es F -álgebra.

Aplicaciones

Los espacios vectoriales tienen muchas aplicaciones, ya que ocurren con frecuencia en circunstancias comunes, es decir, donde están involucradas funciones con valores en algún campo. Proporcionan un marco para tratar problemas analíticos y geométricos, o se utilizan en la transformada de Fourier. Esta lista no es exhaustiva: existen muchas más aplicaciones, por ejemplo en optimización . El teorema minimax de la teoría de juegos que establece la existencia de una recompensa única cuando todos los jugadores juegan de manera óptima se puede formular y probar utilizando métodos de espacios vectoriales. ^{[76] La} teoría de la representación transfiere de manera fructífera la buena comprensión del álgebra lineal y los espacios vectoriales a otros dominios matemáticos, como la teoría de grupos . ^[77]

Distribuciones

Artículo principal: Distribución

Una distribución (o función generalizada ) es un mapa lineal que asigna un número a cada función de "prueba" , típicamente una función suave con soporte compacto , de manera continua: en la terminología anterior ^{[ aclaración necesaria ]} , el espacio de distribuciones es el (continuo ) dual del espacio de función de prueba. ^[78] Este último espacio está dotado de una topología que tiene en cuenta no solo f en sí mismo, sino también todas sus derivadas superiores. Un ejemplo estándar es el resultado de integrar una función de prueba f sobre algún dominio Ω:

${\displaystyle I(f)=\int _{\Omega }f(x)\,dx.}$

Cuando Ω = { p } , el conjunto que consta de un solo punto, esto se reduce a la distribución de Dirac , denotada por δ , que asocia a una función de prueba f su valor en el p : δ ( f ) = f ( p ). Las distribuciones son un poderoso instrumento para resolver ecuaciones diferenciales. Dado que todas las nociones analíticas estándar, como las derivadas, son lineales, se extienden naturalmente al espacio de distribuciones. Por lo tanto, la ecuación en cuestión se puede transferir a un espacio de distribución, que es más grande que el espacio funcional subyacente, de modo que se disponga de métodos más flexibles para resolver la ecuación. Por ejemplo, las funciones y soluciones fundamentales de Green suelen ser distribuciones en lugar de funciones propias, y luego se pueden usar para encontrar soluciones de la ecuación con condiciones de contorno prescritas. En algunos casos, se puede demostrar que la solución encontrada es en realidad una función verdadera y una solución a la ecuación original (por ejemplo, utilizando el teorema de Lax-Milgram, una consecuencia del teorema de representación de Riesz ). ^[79]

Análisis de Fourier

Artículo principal: análisis de Fourier

La ecuación del calor describe la disipación de propiedades físicas a lo largo del tiempo, como la disminución de la temperatura de un cuerpo caliente colocado en un ambiente más frío (el amarillo representa las regiones más frías que el rojo).

La resolución de una función periódica en una suma de funciones trigonométricas forma una serie de Fourier , una técnica muy utilizada en física e ingeniería. ^{[nb 14] [80]} El espacio vectorial subyacente suele ser el espacio de Hilbert L ² (0, 2π), para el cual las funciones sen ( mx ) y cos ( mx ) (donde m es un número entero) forman una base ortogonal. ^[81] La expansión de Fourier de una función L ² f es

${\displaystyle {\frac {a_{0}}{2}}+\sum _{m=1}^{\infty }\left[a_{m}\cos \left(mx\right)+b_{m}\sin \left(mx\right)\right].}$

Los coeficientes de un _m y b _m se denominan coeficientes de Fourier de f , y se calculan por las fórmulas ^[82]

${\displaystyle a_{m}={\frac {1}{\pi }}\int _{0}^{2\pi }f(t)\cos(mt)\,dt}$, ${\displaystyle b_{m}={\frac {1}{\pi }}\int _{0}^{2\pi }f(t)\sin(mt)\,dt.}$

En términos físicos, la función se representa como una superposición de ondas sinusoidales y los coeficientes dan información sobre el espectro de frecuencias de la función . ^[83] También se usa comúnmente una forma de número complejo de la serie de Fourier. ^[82] Las fórmulas concretas anteriores son consecuencia de una dualidad matemática más general llamada dualidad de Pontryagin . ^[84] Aplicado al grupo R , produce la transformada de Fourier clásica; una aplicación en física son las celosías recíprocas , donde el grupo subyacente es un espacio vectorial real de dimensión finita dotado con el dato adicional de uncelosía que codifica las posiciones de los átomos en los cristales . ^[85]

Las series de Fourier se utilizan para resolver problemas de valores en la frontera en ecuaciones diferenciales parciales . ^[86] En 1822, Fourier utilizó por primera vez esta técnica para resolver la ecuación del calor . ^[87] Se puede utilizar una versión discreta de la serie de Fourier en aplicaciones de muestreo donde el valor de la función se conoce sólo en un número finito de puntos igualmente espaciados. En este caso, la serie de Fourier es finita y su valor es igual a los valores muestreados en todos los puntos. ^[88] El conjunto de coeficientes se conoce como la transformada discreta de Fourier (DFT) de la secuencia de muestra dada. El DFT es una de las herramientas clave deprocesamiento de señales digitales , un campo cuyas aplicaciones incluyen radar , codificación de voz , compresión de imágenes . ^[89] El formato de imagen JPEG es una aplicación de la transformada de coseno discreta estrechamente relacionada . ^[90]

La transformada rápida de Fourier es un algoritmo para calcular rápidamente la transformada discreta de Fourier. ^[91] Se usa no solo para calcular los coeficientes de Fourier sino, usando el teorema de convolución , también para calcular la convolución de dos secuencias finitas. ^[92] A su vez, se aplican en filtros digitales ^[93] y como un algoritmo de multiplicación rápida para polinomios y números enteros grandes ( algoritmo de Schönhage-Strassen ). ^{[94] [95]}

Geometría diferencial

Artículo principal: espacio tangente

El espacio tangente a la esfera 2 en algún punto es el plano infinito que toca la esfera en este punto.

El plano tangente a una superficie en un punto es, naturalmente, un espacio vectorial cuyo origen se identifica con el punto de contacto. El plano tangente es la mejor aproximación lineal , o linealización , de una superficie en un punto. ^{[nb 15]} Incluso en un espacio euclidiano tridimensional, normalmente no existe una forma natural de prescribir una base del plano tangente, por lo que se concibe como un espacio vectorial abstracto en lugar de un espacio de coordenadas real. El espacio tangente es la generalización a variedades diferenciables de dimensiones superiores . ^[96]

Las variedades de Riemann son variedades cuyos espacios tangentes están dotados de un producto interior adecuado . ^[97] Derivado de allí, el tensor de curvatura de Riemann codifica todas las curvaturas de una variedad en un objeto, que encuentra aplicaciones en la relatividad general , por ejemplo, donde el tensor de curvatura de Einstein describe el contenido de materia y energía del espacio-tiempo . ^{[98] [99]} Al espacio tangente de un grupo de Lie se le puede dar naturalmente la estructura de un álgebra de Lie y se puede usar para clasificar grupos de Lie compactos . ^[100]

Generalizaciones

Paquetes de vectores

Artículos principales: paquete vectorial y paquete tangente

Una tira de Moebius. A nivel local, se ve como T × R .

Un paquete del vector es una familia de espacios vectoriales parametrizados continuamente por un espacio topológico X . ^[96] Más precisamente, un paquete de vectores sobre X es un espacio topológico E equipado con un mapa continuo

π: E → X

tal que para cada x en X , la fibra π ⁻¹ ( x ) es un espacio vectorial. El caso dim V = 1 se llama paquete de líneas . Para cualquier espacio vectorial V , la proyección X × V → X convierte el producto X × V en un paquete de vectores "trivial" . Los paquetes de vectores sobre X deben ser localmente un producto de X y algún espacio vectorial (fijo) V : para cada x en X, Hay una zona de U de x tal que la restricción de π a π ^-1 ( U ) es isomorfo ^{[nb 16]} al haz trivial U × V → U . A pesar de su carácter localmente trivial, los paquetes de vectores pueden (dependiendo de la forma del espacio subyacente X ) estar "retorcidos" en el gran (es decir, el paquete no necesita ser (globalmente isomórfico) el paquete trivial X × V ). Por ejemplo, la tira de Möbius se puede ver como un paquete de líneas sobre el círculo S ¹ (poridentificando intervalos abiertos con la línea real ). Sin embargo, es diferente del cilindro S ¹ × R , porque este último es orientable mientras que el primero no lo es. ^[101]

Las propiedades de ciertos paquetes de vectores proporcionan información sobre el espacio topológico subyacente. Por ejemplo, el paquete tangente consiste en la colección de espacios tangentes parametrizados por los puntos de una variedad diferenciable. El haz tangente del círculo S ¹ es globalmente isomorfo a S ¹ × R , ya que hay un campo vectorial global distinto de cero en S ¹ . ^{[nb 17]} Por el contrario, según el teorema de la bola peluda , no hay un campo vectorial (tangente) en la 2-esfera S ² que es en todas partes distinto de cero. ^[102] Teoría Kestudia las clases de isomorfismo de todos los paquetes de vectores en algún espacio topológico. ^[103] Además de profundizar visión topológica y geométrica, tiene consecuencias puramente algebraicas, tales como la clasificación de los reales de dimensión finita álgebra de división : R , C , los cuaterniones H y la octoniones O .

El haz cotangente de una variedad diferenciable consiste, en cada punto de la variedad, del dual del espacio tangente, el espacio cotangente . Las secciones de ese paquete se conocen como formas diferenciales uniformes .

Módulos

Artículo principal: Módulo

Los módulos son para los anillos lo que los espacios vectoriales son para los campos: los mismos axiomas, aplicados a un anillo R en lugar de un campo F , producen módulos. ^[104] La teoría de los módulos, comparada con la de los espacios vectoriales, se complica por la presencia de elementos de anillo que no tienen inversas multiplicativas . Por ejemplo, los módulos no necesitan tener bases, como muestra el módulo Z (es decir, el grupo abeliano ) Z / 2 Z ; los módulos que lo hacen (incluidos todos los espacios vectoriales) se conocen como módulos libres . Sin embargo, un espacio vectorial se puede definir de manera compacta como un módulo sobre un anillo.que es un campo , y los elementos se denominan vectores. Algunos autores utilizan el término espacio vectorial para referirse a módulos sobre un anillo de división . ^[105] La interpretación algebro-geométrica de anillos conmutativos a través de su espectro permite el desarrollo de conceptos tales como módulos libres localmente , la contraparte algebraica de los paquetes de vectores.

Espacios afines y proyectivos

Artículos principales: Espacio afín y Espacio proyectivo

Un plano afín (celeste) en R ³ . Es un subespacio bidimensional desplazado por un vector x (rojo).

A grandes rasgos, los espacios afines son espacios vectoriales cuyos orígenes no se especifican. ^[106] Más precisamente, un espacio afín es un conjunto con una acción de espacio vectorial transitiva libre . En particular, un espacio vectorial es un espacio afín sobre sí mismo, por el mapa

V × V → V , ( v , a ) ↦ a + v .

Si W es un espacio vectorial, entonces un subespacio afín es un subconjunto de W obtenido al traducir un subespacio lineal V por un vector fijo x ∈ W ; este espacio se denota por x + V (que es una clase lateral de V en W ) y consta de todos los vectores de la forma x + v para v ∈ V . Un ejemplo importante es el espacio de soluciones de un sistema de ecuaciones lineales no homogéneas.

A x = b

generalizando el caso homogéneo anterior , que se puede encontrar estableciendo b = 0 en esta ecuación. ^{[ aclaración necesaria ] [107]} El espacio de soluciones es el subespacio afín x + V donde x es una solución particular de la ecuación, y V es el espacio de soluciones de la ecuación homogénea (el espacio nulo de A ).

El conjunto de subespacios unidimensionales de un espacio vectorial V fijo de dimensión finita se conoce como espacio proyectivo ; se puede utilizar para formalizar la idea de líneas paralelas que se cruzan en el infinito. ^[108] Grassmannianos y variedades bandera generalizan esto parametrizando subespacios lineales de dimensión fija k y banderas de subespacios, respectivamente.

Ver también

• Vector (matemáticas y física) , para obtener una lista de varios tipos de vectores

sistema de coordenadas Cartesianas Espacio vectorial graduado

Espacio métrico P-vector Teorema de Riesz-Fischer

Espacio (matemáticas) Espacio vectorial ordenado

Notas

1. También es común, especialmente en física, denotar vectores con una flecha en la parte superior: v → .
2. Este axioma y el siguiente se refieren a dos operaciones diferentes: multiplicación escalar: b v ; y multiplicación de campos: ab . No afirman la asociatividad de ninguna de las operaciones. Más formalmente, la multiplicación escalar es una acción monoid del monoide multiplicativo del campo F en el espacio vectorial V .
3. Algunos autores (como Brown  1991 ) restringen la atención a los campos R o C , pero la mayor parte de la teoría no cambia para un campo arbitrario.
4. Las funciones indicadoras de intervalos (de los cuales hay infinitos) son linealmente independientes, por ejemplo.
5. La nomenclatura deriva del alemán " eigen ", que significa propio o propio.
6. Véase también la descomposición de Jordan-Chevalley .
7. Este suele ser el caso cuando un espacio vectorial también se considera un espacio afín . En este caso, un subespacio lineal contiene el vector cero , mientras que un subespacio afín no lo contiene necesariamente.
8. Algunos autores (como Roman  2005 ) eligen comenzar con esta relación de equivalencia y derivar la forma concreta de V / W a partir de ella.
9. Este requisito implica que la topología da lugar a una estructura uniforme , Bourbaki  1989 , cap. II
10. La desigualdad del triángulo para es proporcionada por la desigualdad de Minkowski . Por razones técnicas, en el contexto de las funciones hay que identificar funciones que coincidan en casi todas partes para obtener una norma, y ​​no solo una seminorma .${\displaystyle \left\Vert {f+g}\right\Vert _{p}\leq \left\Vert {f}\right\Vert _{p}+\left\Vert {g}\right\Vert _{p}}$
11. "Muchas funciones en la medida de Lebesgue, al ser ilimitadas, no pueden integrarse con la integral de Riemann clásica. Por lo tanto, los espacios de las funciones integrables de Riemann no estarían completos en la norma y la descomposición ortogonal no se aplicaría a ellos. Esto muestra uno de los ventajas de la integración de Lebesgue. ", Dudley  1989 , §5.3, p. 125${\displaystyle L^{2}}$${\displaystyle L^{2}}$
12. Para p ≠ 2, L ^p (Ω) no es un espacio de Hilbert.
13. Una base de un espacio de Hilbert no es lo mismo que una base en el sentido del álgebra lineal anterior . ^{[ aclaración necesaria ]} Para distinguir, este último se llama entonces una base de Hamel .
14. Aunque la serie de Fourier es periódica, la técnica se puede aplicar a cualquierfunción L ² en un intervalo si se considera que la función continuará periódicamente fuera del intervalo. Véase Kreyszig  1988 , pág. 601
15. Es decir ( BSE-3 2001 ), el plano que pasa por el punto de contacto P tal que la distancia de un punto P ₁ en la superficie al plano es infinitesimalmente pequeña en comparación con la distancia de P ₁ a P en el límite cuando P _{1 se} acerca a P a lo largo de la superficie. harv error: no target: CITEREFBSE-32001 (help)
16. Es decir, hay un homeomorfismo de π ⁻¹ ( U ) a V × U que se restringe a isomorfismos lineales entre fibras.
17. Un conjunto de líneas, como el conjunto tangente de S ^1, es trivial si y solo si hay una sección que no desaparece en ninguna parte, véase Husemoller  1994 , Corolario 8.3. Las secciones del paquete tangente son solo campos vectoriales .

Citas

1. "Lista completa de símbolos de álgebra" . Bóveda de matemáticas . 2020-03-25 . Consultado el 23 de agosto de 2020 .
2. Roman  2005 , cap. 1, pág. 27
3. "5: espacios vectoriales" . LibreTexts de Matemáticas . 2016-02-29 . Consultado el 23 de agosto de 2020 .
4. Weisstein, Eric W. "Espacio vectorial" . mathworld.wolfram.com . Consultado el 23 de agosto de 2020 .
5. van der Waerden  1993 , Cap. 19
6. Bourbaki  1998 , §II.1.1. Bourbaki llama a los homomorfismos de grupo f ( a ) homotetías .
7. Bourbaki , 1969 , cap. "Algèbre linéaire et algèbre multilinéaire", págs. 78-91.
8. Bolzano  1804 .
9. Dorier (1995)
10. Hamilton  1853 .
11. Grassmann  2000 .
12. Peano  1888 , cap. IX.
13. Banach,  1922 .
14. Dorier  1995 , Moore  1995 .
15. Lang  1987 , cap. I.1
16. Lang  2002 , cap. V.1
17. Lang  1993 , cap. XII.3., Pág. 335
18. Lang  1987 , cap. IX.1
19. Lang  1987 , cap. VI.3.
20. Roman  2005 , Teorema 1.9, p. 43
21. Blass  1984
22. Halpern , 1966 , págs. 670–673
23. Artin  1991 , Teorema 3.3.13
24. Braun  1993 , Th. 3.4.5, pág. 291
25. Stewart  1975 , Proposición 4.3, p. 52
26. Stewart  1975 , Teorema 6.5, p. 74
27. Roman  2005 , cap. 2, pág. 45
28. Lang  1987 , cap. IV.4, Corolario, pág. 106
29. Lang  1987 , ejemplo IV.2.6
30. Lang  1987 , cap. VI.6
31. Halmos  1974 , p. 28, ej. 9
32. Lang  1987 , Teorema IV.2.1, p. 95
33. Roman  2005 , Th. 2.5 y 2.6, pág. 49
34. Lang  1987 , cap. V.1
35. Lang  1987 , cap. V.3., Corolario, pág. 106
36. Lang  1987 , Teorema VII.9.8, p. 198
37. Roman  2005 , cap. 8, pág. 135-156
38. Lang  1987 , cap. IX.4
39. Roman  2005 , cap. 8, pág. 140.
40. Roman  2005 , cap. 1, pág. 29
41. Roman  2005 , cap. 1, pág. 35
42. Roman  2005 , cap. 3, pág. 64
43. Lang  1987 , cap. IV.3.
44. Roman  2005 , cap. 2, pág. 48
45. Mac Lane  1998
46. Roman  2005 , cap. 1, págs. 31–32
47. Lang  2002 , cap. XVI.1
48. Roman  2005 , Th. 14.3. Véase también el lema de Yoneda .
49. Schaefer y Wolff  1999 , págs. 204–205
50. Bourbaki  2004 , cap. 2, pág. 48
51. Roman  2005 , cap. 9
52. Naber  2003 , cap. 1.2
53. Treves,  1967
54. Bourbaki  1987
55. Kreyszig , 1989 , §4.11-5.
56. Kreyszig , 1989 , §1.5-5
57. Choquet  1966 , Proposición III.7.2
58. Treves  1967 , p. 34–36
59. Lang  1983 , Cor. 4.1.2, pág. 69
60. Treves  1967 , cap. 11
61. Treves  1967 , Teorema 11.2, p. 102
62. Evans  1998 , cap. 5
63. Treves  1967 , cap. 12
64. Dennery y Krzywicki  1996 , p.190
65. Lang  1993 , Th. XIII.6, pág. 349
66. Lang  1993 , Th. III.1.1
67. Choquet  1966 , Lema III.16.11
68. Kreyszig  1999 , Capítulo 11
69. Griffiths  1995 , Capítulo 1
70. Lang  1993 , cap. XVII.3
71. Lang  2002 , cap. III.1, pág. 121
72. Eisenbud  1995 , cap. 1,6
73. Varadarajan  1974
74. Lang  2002 , cap. XVI.7
75. Lang  2002 , cap. XVI.8
76. Luenberger  1997 , §7.13
77. Ver teoría de la representación y representación de grupos .
78. Lang  1993 , cap. XI.1
79. Evans  1998 , Th. 6.2.1
80. Folland  1992 , p. 349 y sigs.
81. Gasquet y Witomski  1999 , p. 150
82. Gasquet y Witomski  , 1999 , §4.5
83. Gasquet y Witomski  1999 , p. 57
84. Loomis  1953 , cap. VII
85. Ashcroft y Mermin  1976 , Cap. 5
86. Kreyszig  1988 , p. 667
87. Fourier  1822
88. Gasquet y Witomski  1999 , p. 67
89. Ifeachor y Jervis  2001 , págs. 3-4, 11
90. Wallace  1992
91. Ifeachor y Jervis  2001 , p. 132
92. Gasquet y Witomski  1999 , §10.2
93. Ifeachor y Jervis  2001 , págs. 307-310
94. Gasquet y Witomski  1999 , §10.3
95. Schönhage y Strassen  1971
96. Spivak  , 1999 , cap. 3
97. Jost  2005 . Véase también variedad de Lorentz .
98. Misner, Thorne y Wheeler  1973 , cap. 1.8.7, pág. 222 y cap. 2.13.5, pág. 325
99. Jost  2005 , cap. 3.1
100. Varadarajan  1974 , cap. 4.3, Teorema 4.3.27
101. Kreyszig  1991 , §34, p. 108
102. Eisenberg y Guy,  1979
103. Atiyah,  1989
104. Artin  1991 , cap. 12
105. Grillet, Pierre Antoine. Álgebra abstracta. Vol. 242. Springer Science & Business Media, 2007.
106. Meyer  2000 , ejemplo 5.13.5, p. 436
107. Meyer  2000 , ejercicio 5.13.15-17, p. 442
108. Coxeter  1987

Referencias

Álgebra

• Artin, Michael (1991), Álgebra , Prentice Hall , ISBN 978-0-89871-510-1
• Blass, Andreas (1984), "La existencia de bases implica el axioma de elección", Teoría de conjuntos axiomáticos (Boulder, Colorado, 1983) , Contemporary Mathematics, 31 , Providence, RI: American Mathematical Society , pp. 31-33, MR  0763890
• Brown, William A. (1991), Matrices and vector spaces , Nueva York: M. Dekker, ISBN 978-0-8247-8419-5
• Lang, Serge (1987), Álgebra lineal , Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-96412-6
• Lang, Serge (2002), Álgebra , Textos de posgrado en matemáticas , 211 (Tercera edición revisada), Nueva York: Springer-Verlag, ISBN 978-0-387-95385-4, Señor  1878556
• Mac Lane, Saunders (1999), Álgebra (3.ª ed.), Págs. 193–222, ISBN 978-0-8218-1646-2
• Meyer, Carl D. (2000), Análisis de matrices y álgebra lineal aplicada , SIAM , ISBN 978-0-89871-454-8
• Roman, Steven (2005), Álgebra lineal avanzada , Textos de posgrado en matemáticas, 135 (2a ed.), Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-24766-3
• Spindler, Karlheinz (1993), Álgebra abstracta con aplicaciones: Volumen 1: Espacios vectoriales y grupos , CRC, ISBN 978-0-8247-9144-5
• van der Waerden, Bartel Leendert (1993), Álgebra (en alemán) (9a ed.), Berlín, Nueva York: Springer-Verlag , ISBN 978-3-540-56799-8

Análisis

• Bourbaki, Nicolas (1987), Espacios vectoriales topológicos , Elementos de las matemáticas, Berlín, Nueva York: Springer-Verlag , ISBN 978-3-540-13627-9
• Bourbaki, Nicolas (2004), Integration I , Berlín, Nueva York: Springer-Verlag , ISBN 978-3-540-41129-1
• Braun, Martin (1993), Ecuaciones diferenciales y sus aplicaciones: una introducción a las matemáticas aplicadas , Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-97894-9
• BSE-3 (2001) [1994], "Plano tangente" , Enciclopedia de Matemáticas , EMS Press
• Choquet, Gustave (1966), Topología , Boston, MA: Academic Press
• Dennery, Philippe; Krzywicki, Andre (1996), Matemáticas para físicos , Publicaciones de Courier Dover, ISBN 978-0-486-69193-0
• Dudley, Richard M. (1989), Análisis real y probabilidad , The Wadsworth & Brooks / Cole Mathematics Series, Pacific Grove, CA: Wadsworth & Brooks / Cole Advanced Books & Software, ISBN 978-0-534-10050-6
• Dunham, William (2005), The Calculus Gallery , Princeton University Press , ISBN 978-0-691-09565-3
• Evans, Lawrence C. (1998), ecuaciones diferenciales parciales , Providence, RI: American Mathematical Society , ISBN 978-0-8218-0772-9
• Folland, Gerald B. (1992), Análisis de Fourier y sus aplicaciones , Brooks-Cole, ISBN 978-0-534-17094-3
• Gasquet, Claude; Witomski, Patrick (1999), Análisis y aplicaciones de Fourier: filtrado, computación numérica, wavelets , textos en matemáticas aplicadas, Nueva York: Springer-Verlag, ISBN 978-0-387-98485-8
• Ifeachor, Emmanuel C .; Jervis, Barrie W. (2001), Procesamiento de señales digitales: un enfoque práctico (2a ed.), Harlow, Essex, Inglaterra: Prentice-Hall (publicado en 2002), ISBN 978-0-201-59619-9
• Krantz, Steven G. (1999), A Panorama of Harmonic Analysis , Carus Mathematical Monographs, Washington, DC: Asociación Matemática de América, ISBN 978-0-88385-031-2
• Kreyszig, Erwin (1988), Matemáticas de ingeniería avanzada (6a ed.), Nueva York: John Wiley & Sons, ISBN 978-0-471-85824-9
• Kreyszig, Erwin (1989), Análisis funcional introductorio con aplicaciones , Wiley Classics Library, Nueva York: John Wiley & Sons , ISBN 978-0-471-50459-7, MR  0992618
• Lang, Serge (1983), Análisis real , Addison-Wesley , ISBN 978-0-201-14179-5
• Lang, Serge (1993), Análisis real y funcional , Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-94001-4
• Loomis, Lynn H. (1953), Introducción al análisis armónico abstracto , Toronto-Nueva York-Londres: D. Van Nostrand Company, Inc., págs. X + 190, hdl : 2027 / uc1.b4250788
• Narici, Lawrence ; Beckenstein, Edward (2011). Espacios vectoriales topológicos . Matemáticas puras y aplicadas (Segunda ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC  144216834 .
• Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . 8 (Segunda ed.). Nueva York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC  840278135 .
• Treves, François (1967), Espacios vectoriales topológicos, distribuciones y núcleos , Boston, MA: Academic Press

Referencias históricas

• Banach, Stefan (1922), "Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales (Sobre operaciones en conjuntos abstractos y su aplicación a ecuaciones integrales)" (PDF) , Fundamenta Mathematicae (en francés), 3 : 133– 181, doi : 10.4064 / fm-3-1-133-181 , ISSN  0016-2736
• Bolzano, Bernard (1804), Betrachtungen über einige Gegenstände der Elementargeometrie (Consideraciones sobre algunos aspectos de la geometría elemental) (en alemán)
• Bellavitis, Giuso (1833), "Sopra alcune Applicazioni di un nuovo metodo di geometria analitica", Il poligrafo giornale di scienze, lettre ed arti , Verona, 13 : 53–61.
• Bourbaki, Nicolas (1969), Éléments d'histoire des mathématiques (Elementos de la historia de las matemáticas) (en francés), París: Hermann
• Dorier, Jean-Luc (1995), "Un esquema general de la génesis de la teoría del espacio vectorial" , Historia Mathematica , 22 (3): 227-261, doi : 10.1006 / hmat.1995.1024 , MR  1347828
• Fourier, Jean Baptiste Joseph (1822), Théorie analytique de la chaleur (en francés), Chez Firmin Didot, père et fils
• Grassmann, Hermann (1844), Die Lineale Ausdehnungslehre - Ein neuer Zweig der Mathematik (en alemán), O. Wigand, reimpresión: Grassmann, Hermann (2000), Kannenberg, LC (ed.), Extension Theory , traducido por Kannenberg, Lloyd C., Providence, RI: American Mathematical Society , ISBN 978-0-8218-2031-5
• Hamilton, William Rowan (1853), Conferencias sobre cuaterniones , Real Academia Irlandesa
• Möbius, August Ferdinand (1827), Der Barycentrische Calcul: ein neues Hülfsmittel zur analytischen Behandlung der Geometrie (Cálculo baricéntrico: una nueva utilidad para un tratamiento analítico de la geometría) (en alemán), archivado desde el original el 23 de noviembre de 2006
• Moore, Gregory H. (1995), "La axiomatización del álgebra lineal: 1875-1940", Historia Mathematica , 22 (3): 262-303, doi : 10.1006 / hmat.1995.1025
• Peano, Giuseppe (1888), Calcolo Geometrico secondo l'Ausdehnungslehre di H. Grassmann precedeuto dalle Operazioni della Logica Deduttiva (en italiano), Turín
• Peano, G. (1901) Formulario matemático : axiomas vct vía Internet Archive

Más referencias

• Ashcroft, Neil ; Mermin, N. David (1976), Física del estado sólido , Toronto: Thomson Learning, ISBN 978-0-03-083993-1
• Atiyah, Michael Francis (1989), teoría K , Advanced Book Classics (2a ed.), Addison-Wesley , ISBN 978-0-201-09394-0, MR  1043170
• Bourbaki, Nicolas (1998), Elements of Mathematics: Algebra I Chapters 1-3 , Berlín, Nueva York: Springer-Verlag , ISBN 978-3-540-64243-5
• Bourbaki, Nicolas (1989), Topología general. Capítulos 1-4 , Berlín, Nueva York: Springer-Verlag , ISBN 978-3-540-64241-1
• Coxeter, Harold Scott MacDonald (1987), Geometría proyectiva (2a ed.), Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-96532-1
• Eisenberg, Murray; Guy, Robert (1979), "Una prueba del teorema de la bola peluda", The American Mathematical Monthly , 86 (7): 572–574, doi : 10.2307 / 2320587 , JSTOR  2320587
• Eisenbud, David (1995), álgebra conmutativa , Textos de posgrado en matemáticas, 150 , Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-94269-8, MR  1322960
• Goldrei, Derek (1996), Teoría de conjuntos clásica: un estudio independiente guiado (1ª ed.), Londres: Chapman y Hall , ISBN 978-0-412-60610-6
• Griffiths, David J. (1995), Introducción a la mecánica cuántica , Upper Saddle River, Nueva Jersey: Prentice Hall , ISBN 978-0-13-124405-4
• Halmos, Paul R. (1974), Espacios vectoriales de dimensión finita , Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-90093-3
• Halpern, James D. (junio de 1966), "Bases in Vector Spaces and the Axiom of Choice", Proceedings of the American Mathematical Society , 17 (3): 670–673, doi : 10.2307 / 2035388 , JSTOR  2035388
• Hughes-Hallett, Deborah; McCallum, William G .; Gleason, Andrew M. (2013), Cálculo: simple y multivariable (6 ed.), John Wiley & Sons , ISBN 978-0470-88861-2
• Husemoller, Dale (1994), Fiber Bundles (3.a ed.), Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-94087-8
• Jost, Jürgen (2005), Geometría y análisis geométrico de Riemann (4a ed.), Berlín, Nueva York: Springer-Verlag , ISBN 978-3-540-25907-7
• Kreyszig, Erwin (1991), Geometría diferencial , Nueva York: Publicaciones de Dover , págs. Xiv + 352, ISBN 978-0-486-66721-8
• Kreyszig, Erwin (1999), Matemáticas de ingeniería avanzada (8a ed.), Nueva York: John Wiley & Sons , ISBN 978-0-471-15496-9
• Luenberger, David (1997), Optimización por métodos de espacio vectorial , Nueva York: John Wiley & Sons , ISBN 978-0-471-18117-0
• Mac Lane, Saunders (1998), Categorías para el matemático que trabaja (2a ed.), Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-98403-2
• Misner, Charles W .; Thorne, Kip ; Wheeler, John Archibald (1973), Gravitación , WH Freeman, ISBN 978-0-7167-0344-0
• Naber, Gregory L. (2003), La geometría del espacio-tiempo de Minkowski , Nueva York: Dover Publications , ISBN 978-0-486-43235-9, MR  2044239
• Schönhage, A .; Strassen, Volker (1971), "Schnelle Multiplikation großer Zahlen (Multiplicación rápida de números grandes)", Computación (en alemán), 7 (3-4): 281-292, doi : 10.1007 / bf02242355 , ISSN  0010-485X , S2CID  9738629
• Spivak, Michael (1999), Una introducción completa a la geometría diferencial (Volumen dos) , Houston, TX: Publish or Perish
• Stewart, Ian (1975), Teoría de Galois , Serie de matemáticas de Chapman y Hall , Londres: Chapman y Hall , ISBN 978-0-412-10800-6
• Varadarajan, VS (1974), grupos de Lie, álgebras de Lie y sus representaciones , Prentice Hall , ISBN 978-0-13-535732-3
• Wallace, GK (febrero de 1992), "El estándar de compresión de imágenes fijas JPEG" (PDF) , IEEE Transactions on Consumer Electronics , 38 (1): xviii – xxxiv, CiteSeerX  10.1.1.318.4292 , doi : 10.1109 / 30.125072 , ISSN  0098 -3063 , archivado desde el original (PDF) el 13 de enero de 2007 , consultado el 25 de octubre de 2017
• Weibel, Charles A. (1994). Introducción al álgebra homológica . Estudios de Cambridge en Matemáticas Avanzadas. 38 . Prensa de la Universidad de Cambridge. ISBN 978-0-521-55987-4. Señor  1269324 . OCLC  36131259 .

Enlaces externos

El Álgebra lineal de Wikibook tiene una página sobre el tema: Espacios vectoriales reales

El Álgebra lineal de Wikibook tiene una página sobre el tema: Espacios vectoriales

• "Espacio vectorial" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]