Ver el código de «Álgebra lineal»

[[Archivo:Linear subspaces with shading.svg|thumb|350px|right|El [[espacio euclídeo]] tridimensional '''R'''<sup>3</sup> es un espacio vectorial y las líneas y los planos que pasan por el [[origen de coordenadas|origen]] son subespacios vectoriales de '''R'''<sup>3</sup>.]]

El '''álgebra lineal''' es una rama de las [[matemáticas]] que estudia conceptos tales como [[vector]]es, [[Matriz (matemática)|matrices]], [[espacio dual]], [[Sistema de ecuaciones lineales|sistemas de ecuaciones lineales]] y en su enfoque de manera más formal, [[espacio vectorial|espacios vectoriales]] y sus [[transformación lineal|transformaciones lineales]].

Dicho de otra forma, el '''Álgebra lineal''' es la rama de las [[matemáticas]] que se ocupa de las [[ecuaciones lineales]] como: 
:<math>a_1x_1+\cdots +a_nx_n=b,</math>
y [[Aplicación lineal| aplicaciones lineales]] tales como:
:<math>(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,</math>
y sus representaciones en [[espacio vectorial| espacios vectoriales]] y a través de [[matriz (matemáticas)|matrices]].<ref>{{Citation | last1 = Banerjee | first1 = Sudipto | last2 = Roy | first2 = Anindya | date = 2014 | title = Linear Algebra and Matrix Analysis for Statistics | series = Texts in Statistical Science | publisher = Chapman and Hall/CRC | edition =  1st | isbn =  978-1420095388}}</ref><ref>{{Citation|last=Strang|first=Gilbert|date=2005-07-19|title=Linear Algebra and Its Applications|publisher=Brooks Cole|edition=4th|isbn=978-0-03-010567-8}}</ref><ref>{{cite web|last=Weisstein|first=Eric|title=Linear Algebra|url=http://mathworld.wolfram.com/LinearAlgebra.html|work=From MathWorld--A Wolfram Web Resource.|publisher=Wolfram|access-date=2012-04-16}}</ref>

El álgebra lineal es fundamental en casi todas las áreas de las matemáticas. Por ejemplo, el álgebra lineal es fundamental en las presentaciones modernas de la [[geometría]], incluso para definir objetos básicos como [[Recta|líneas]], [[Plano (geometría)|planos]] y [[rotación (matemáticas)|rotaciones]]. Además, el [[análisis funcional]], una rama del análisis matemático, puede considerarse básicamente como la aplicación del álgebra lineal al [[espacio de funciones|espacios de funciones]].

El álgebra lineal también se utiliza en la mayoría de las ciencias y campos de la [[ingeniería]], porque permite [[Modelo matemático|modelar]] muchos fenómenos naturales, y computar eficientemente con dichos modelos. Para los [[Sistema no lineal| sistemas no lineales]], que no pueden ser modelados con el álgebra lineal, se utiliza a menudo para tratar las [[aproximación de primer orden|aproximaciones de primer orden]], utilizando el hecho de que la [[Diferencial (cálculo)|diferencial]] de una 'función multivariante' en un punto es el mapa lineal que mejor aproxima la función cerca de ese punto así como el [[análisis funcional]], las [[ecuación diferencial|ecuaciones diferenciales]], la [[investigación de operaciones]], las gráficas por computadora, la [[ingeniería]] entre otras más.

La historia del álgebra lineal moderna se remonta a 1843, cuando [[William Rowan Hamilton]] (de quien proviene el uso del término ''vector'') creó los [[cuaternión|cuaterniones]] inspirado en los números complejos;<ref>{{Cita web|url=https://revistasuma.es/IMG/pdf/49/095-099.pdf|título=Hamilton: La liberación del álgebra|fechaacceso=22 de enero de 2019|apellido=Vázquez|nombre=Gutiérrez|sitioweb=revistasuma.es|idioma=es}}</ref> y a 1844, cuando [[Hermann Grassmann]] publicó su libro ''Die lineare Ausdehnungslehre'' (''La teoría lineal de extensión'').<ref>{{Cita web|url=https://www.researchgate.net/publication/325563811_Hermann_Grassmann_Un_poli-matematico_extraodinario|título=Hermann Graßmann: Un poli-matemático extraodinario.}}</ref>

== Historia ==
El procedimiento para resolver ecuaciones lineales simultáneas que ahora se denomina [[eliminación gaussiana]] aparece en el antiguo texto matemático chino Cálculo de barras#Sistema de ecuaciones lineales; Capítulo octavo: ''Matrices rectangulares'' de ''[[Los nueve capítulos sobre el arte matemático]]''. Su uso se ilustra en dieciocho problemas, con dos a cinco ecuaciones.<ref>{{Cite book|last=Hart|first=Roger|title=Las raíces chinas del álgebra lineal|publisher=[[JHU Press]]|year=2010|url=https://books.google.com/books?id=zLPm3xE2qWgC|isbn=9780801899584}}</ref>

Los [[Sistemas de ecuaciones lineales]] surgieron en Europa con la introducción en 1637 por [[René Descartes]] de las [[coordenadas]] en la [[geometría]]. De hecho, en esta nueva geometría, ahora llamada [[geometría cartesiana]], las líneas y los planos están representados por ecuaciones lineales, y calcular sus intersecciones equivale a resolver sistemas de ecuaciones lineales.

Los primeros métodos sistemáticos para resolver sistemas lineales utilizaban [[Determinante (matemática)| determinantes]], considerados por primera vez por [[Gottfried Wilhelm Leibniz|Leibniz]] en 1693. En 1750, [[Gabriel Cramer]] los utilizó para dar soluciones explícitas de sistemas lineales, lo que ahora se llama [[regla de Cramer]]. Más tarde, [[Gauss]] describió aún más el método de eliminación, que inicialmente fue catalogado como un avance en [[geodesia]].<ref name="Vitulli, Marie">{{cite web|last=Vitulli|first=Marie|author-link=  |title=Una breve historia del álgebra lineal y de la teoría matricial|url=http://darkwing. uoregon.edu/~vitulli/441.sp04/LinAlgHistory.html|obra=|editorial=Universidad de Oregón|archive-url=https://web.archive.org/web/20120910034016/http://darkwing.uoregon.edu/~vitulli/441.sp04/LinAlgHistory.html|archive-date=2012-09-10| access-date=2014-07-08}}</ref>

En 1844 [[Hermann Grassmann]] publicó su "Teoría de la Extensión" que incluía nuevos temas fundacionales de lo que hoy se llama álgebra lineal. En 1848, [[James Joseph Sylvester]] introdujo el término ''matriz'', que en latín significa ''vientre''.

El álgebra lineal creció con las ideas anotadas en el [[plano complejo]]. Por ejemplo, dos números ''w'' y ''z'' en ℂ tienen una diferencia ''w'' - ''z'', y los segmentos de línea <math>\overline{w z}</math> y <math>\overline{0(w-z)}</math> tienen la misma longitud y dirección. Los segmentos son [[Vector equipolente|equipolentes]]. El sistema cuatridimensional ℍ de [[cuaterniones]] se inició en 1843. El término ''vector'' fue introducido como ''v'' = ''x'' i + ''y'' j + ''z'' k representando un punto en el espacio. La diferencia de cuaterniones ''p'' - ''q'' también produce un segmento equipolente a la <math>\overline{p q} .</math>  
Otros sistemas de [[números hipercomplejos]] también utilizaron la idea de un espacio lineal con una [[base (álgebra lineal)|base]].

[[Arthur Cayley]] introdujo la [[multiplicación matricial]] y la [[matriz inversa]] en 1856, haciendo posible el [[grupo lineal general]]. El mecanismo de [[representación de grupo]] se hizo disponible para describir los números complejos e hipercomplejos. Fundamentalmente, Cayley utilizó una sola letra para denotar una matriz, tratando así una matriz como un objeto agregado. También se dio cuenta de la conexión entre las matrices y los determinantes, y escribió "Habría muchas cosas que decir sobre esta teoría de las matrices que deberían, me parece, preceder a la teoría de los determinantes".<ref name="Vitulli, Marie"/>

[[Benjamin Peirce]] publicó su ''Álgebra lineal asociativa'' (1872), y su hijo [[Charles Sanders Peirce]] amplió el trabajo posteriormente.<ref>[[Benjamin Peirce]] (1872) ''Álgebra asociativa lineal'', litografía, nueva edición con correcciones, notas y un trabajo añadido de 1875 de Peirce, más notas de su hijo [[Charles Sanders Peirce]], publicado en el ''American Journal of Mathematics'' v. 4, 1881, Universidad Johns Hopkins, pp.&nbsp;221-226, ''Google'' [https://books.google.com/books?id=LQgPAAAAIAAJ&pg=PA221 Eprint] y como extracto, D. Van Nostrand, 1882, ''Google'' [https://archive.org/details/bub_gb_De0GAAAAYAAJ Eprint].</ref>

El [[telégrafo]] requería un sistema explicativo, y la publicación en 1873 de ''A Treatise on Electricity and Magnetism'' instituyó una [[Campo (física)|teoría de campos]] de fuerzas y requirió la [[geometría diferencial]] para su expresión. El álgebra lineal es geometría diferencial plana y sirve en los espacios tangentes a los [[colectores]]. Las simetrías electromagnéticas del espaciotiempo se expresan mediante las [[transformaciones de Lorentz]]s, y gran parte de la historia del álgebra lineal es la [[historia de las transformaciones de Lorentz]].

La primera definición moderna y más precisa de un espacio vectorial fue introducida por [[Peano]] en 1888;<ref name="Vitulli, Marie"/> en 1900 había surgido una teoría de las transformaciones lineales de los espacios vectoriales de dimensión finita. El álgebra lineal tomó su forma moderna en la primera mitad del {{siglo|XX||s}}, cuando muchas ideas y métodos de siglos anteriores se generalizaron como [[álgebra abstracta]]. El desarrollo de los ordenadores hizo que aumentara la investigación de [[algoritmos]] eficientes para la eliminación gaussiana y las descomposiciones matriciales, y el álgebra lineal se convirtió en una herramienta esencial para la modelización y las simulaciones.<ref name="Vitulli, Marie"/>

== Contexto general ==
De manera más formal, el álgebra lineal estudia conjuntos denominados espacios vectoriales, los cuales constan de un conjunto de vectores y un conjunto de escalares que tiene estructura de [[cuerpo (matemáticas)|campo]], con una operación de suma de vectores y otra de producto entre escalares y vectores que satisfacen ciertas propiedades (por ejemplo, que la suma es conmutativa).

Estudia también transformaciones lineales, que son funciones entre espacios vectoriales que satisfacen las condiciones de linealidad:
{{Ecuación|<math>T(u+v)=T(u) + T(v),\qquad T(r\cdot u)=r\cdot T(u).</math>}}

A diferencia del ejemplo desarrollado en la sección anterior, los vectores no necesariamente son ''n''-adas de escalares, sino que pueden ser elementos de un conjunto cualquiera (de hecho, a partir de todo conjunto puede construirse un espacio vectorial sobre un ''campo'' fijo).

Finalmente, el álgebra lineal estudia también las propiedades que aparecen cuando se impone estructura adicional sobre los espacios vectoriales, siendo una de las más frecuentes la existencia de un [[producto interno]] (una especie de producto entre dos vectores) que permite introducir nociones como longitud de vectores y ángulo entre un par de los mismos.

== Espacios vectoriales ==
{{AP|Espacio vectorial}}
=== Antecedentes ===
Hasta el {{siglo|XIX||s}}, el álgebra lineal se presentaba a través de [[sistemas de ecuaciones lineales]] y [[Matriz (matemáticas)| matrices]]. En la matemática moderna, se prefiere generalmente la presentación a través de [[espacios vectoriales]], ya que es más sintética, más general (no se limita al caso de dimensión finita) y conceptualmente más sencilla, aunque más abstracta.

=== Algunas operaciones básicas ===
Un espacio vectorial sobre un [[Cuerpo (matemáticas)|campo]] {{math|''F''}}, con frecuencia el campo de los [[Número real| números reales]], es un [[Conjunto]] {{math|''V''}} dotado de dos [[Operación binaria| operaciones binarias]] que satisfacen los siguientes [[axiomas]]. Los [[Elemento de un conjunto| elementos]] de {{math|''V''}} se llaman ''vectores'', y los elementos de ''F'' se llaman ''escalares''. 

La primera operación, la ''[[suma de vectores]]'', se expresa de la siguiente manera: tómese dos vectores cualesquiera {{math|''v''}} y {{math|''w''}}; la suma tiene como resultado un tercer vector {{math|''v'' + ''w''}}. 

La segunda operación, ''[[multiplicación escalar]]'', se expresa de la siguiente manera: tómese cualquier escalar {{math|''a''}} y cualquier vector {{math|'''v'''}} y produce un nuevo {{nowrap|vector {{math|''a'''''v'''}}}}. Los axiomas que deben satisfacer la suma y la multiplicación escalar son los siguientes, siendo en la lista siguiente, {{math|'''u''', '''v'''}} y {{math|'''w'''}} elementos arbitrarios de {{math|''V''}}; y {{math|''a''}} y {{math|''b''}} son escalares arbitrarios en el campo {{math|''F''}}.<ref>{{harvtxt|Roman|2005|loc=ch. 1, p. 27}}</ref>

{| border="0" style="width:100%;"
|-
| '''Axioma''' ||'''Significación'''
|-
| [[Asociatividad (álgebra)| Asociativa]] de adición || {{math|1='''u''' + ('''v''' + '''w''') = ('''u''' + '''v''') + '''w'''}}
|- style="background:#F8F4FF;"
| [[Conmutatividad| Conmutativa]] de adición || {{math|1='''u''' + '''v''' = '''v''' + '''u'''}}
|-
| [[Elemento neutro]] de adición || Existe un elemento {{math|'''0'''}} en {{math|''V''}}, llamado el ''[[vector cero]]'', o simplemente ''cero'', tal que {{math|1='''v''' + '''0''' = '''v'''}} se cumple para todo {{math|'''v'''}} del conjunto {{math|''V''}}.
|- style="background:#F8F4FF;"
| [[Elemento simétrico]] de adición || Para todo {{math|'''v'''}} en {{math|''V''}}, existe un elemento {{math|−'''v'''}} in {{math|''V''}}, llamado el ''[[Opuesto| aditivo inverso]]'' de {{math|'''v'''}}, tal que {{math|1='''v''' + (−'''v''') = '''0'''}}
|-
| [[Distributividad]] de la multiplicación escalar con respecto a la suma vectorial  || {{math|1=''a''('''u''' + '''v''') = ''a'''''u''' + ''a'''''v'''}}
|- style="background:#F8F4FF;"
| Distributividad de la multiplicación escalar con respecto a la suma de campos || {{math|1=(''a'' + ''b'')'''v''' = ''a'''''v''' + ''b'''''v'''}}
|-
| Compatibilidad de la multiplicación escalar con la multiplicación de campos || {{math|1=''a''(''b'''''v''') = (''ab'')'''v'''}} {{efn|Este axioma no está afirmando la asociatividad de una operación, ya que hay dos operaciones en cuestión, la multiplicación escalar: ''bv''; y la multiplicación de campos: ''ab''.}}
|- style="background:#F8F4FF;"
| Elemento de identidad de la multiplicación escalar || {{math|1=1'''v''' = '''v'''}}, donde {{math|1}} indica el [[elemento neutro]] de {{mvar|F}}.
|}

=== Aplicaciones lineales ===
{{AP|Aplicación lineal}}
Las [[Aplicación lineal| aplicaciones lineales]] son ''[[función (matemáticas)| mapeos]]'' entre espacios vectoriales que preservan la estructura del espacio vectorial. Dados dos espacios vectoriales {{math|''V''}} y {{math|''W''}} sobre un campo {{mvar|F}}, un mapa lineal, también llamado en algunos contextos, transformación lineal o mapeo lineal, es un ''mapa'' o ''aplicación''

: <math> T:V\to W </math>

que es compatible con la suma y la multiplicación escalar, es decir

: <math> T(\mathbf u + \mathbf v)=T(\mathbf u)+T(\mathbf v), \quad T(a \mathbf v)=aT(\mathbf v) </math>

para los vectores {{math|'''u''','''v'''}} in {{math|''V''}} y escalares {{math|''a''}} en {{mvar|F}}.

Esto implica que para cualquier vector {{math|'''u''', '''v'''}} en {{math|''V''}} y escalares {{math|''a'', ''b''}} en {{mvar|F}}, se tiene

: <math>T(a \mathbf u + b \mathbf v)= T(a \mathbf u) + T(b \mathbf v) = aT(\mathbf u) + bT(\mathbf v) </math>

Donde {{math|1=''V'' = ''W''}} son el mismo espacio vectorial, un mapa lineal <math> T:V\to V </math> también se conoce como un ''operador lineal'' en {{mvar|V}}.

Un mapa lineal [[biyectivo]]  entre dos espacios vectoriales, es decir, cada vector del segundo espacio se asocia exactamente con uno en el primero, es un [[isomorfismo]]. Dado que un isomorfismo preserva la estructura lineal, dos espacios vectoriales isomorfos son "esencialmente iguales" desde el punto de vista del álgebra lineal, en el sentido de que no pueden distinguirse utilizando las propiedades del espacio vectorial. Una cuestión esencial en el álgebra lineal es probar si un mapa lineal es un isomorfismo o no, y, si no es un isomorfismo, encontrar su [[Rango (matemáticas)| rango]] (o imagen) y el conjunto de elementos que son mapeados al vector cero, llamado el [[Núcleo (matemática)| núcleo]] del mapa. Todas estas cuestiones pueden resolverse mediante el uso de la [[eliminación gaussiana]] o alguna variante de este [[algoritmo]].

=== Subespacios, intervalo y base ===
{{AP|Subespacio vectorial|Sistema generador|Base (álgebra)}}
El estudio de aquellos subconjuntos de espacios vectoriales que son en sí mismos espacios vectoriales bajo las operaciones inducidas es fundamental, al igual que para muchas estructuras matemáticas. Estos subconjuntos se denominan [[Subespacio vectorial| subespacios lineales]]. Más precisamente, un subespacio lineal de un espacio vectorial {{mvar|V}} sobre un campo {{mvar|F}} es un [[subconjunto]] de {{mvar|W}} of {{mvar|V}} tal que {{math|'''u''' + '''v'''}} y {{math|''a'''''u'''}} están en {{mvar|W}}, para todo {{Math|'''u'''}}, {{Math|'''v'''}} en {{mvar|W}}, y todo {{mvar|a}} in {{mvar|F}}. Estas condiciones son suficientes para implicar que {{mvar|W}} es un espacio vectorial.

Por ejemplo, dado un campo lineal <math> T:V\to W </math>, la [[Imagen (matemática)| imagen]] {{math|''T''(''V'')}} de {{mvar|V}}, y la [[Imagen (matemática)| imagen inversa]] {{math|''T''<sup>−1</sup>('''0''')}} de '''0''', llamada [[Núcleo (matemática)| núcleo]] o '''kernel''', son subespacios lineales de {{mvar|W}} y {{mvar|V}}, respectivamente.

Otra forma importante de formar un subespacio es considerar las combinaciones lineales de un conjunto {{mvar|S}} de vectores: el conjunto de todas las sumas

: <math> a_1 \mathbf v_1 + a_2 \mathbf v_2 + \cdots + a_k \mathbf v_k,</math>

donde {{math|'''v'''<sub>1</sub>, '''v'''<sub>2</sub>, …, '''v'''<sub>''k''</sub>}} están en {{mvar|S}}, y {{math|''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a''<sub>''k''</sub>}} están en {{mvar|F}} forman un subespacio lineal llamado [[Sistema generador]] de {{mvar|S}}. El sistema generador de {{mvar|S}} es también la intersección de todos los subespacios lineales que contienen a {{mvar|S}}. En otras palabras, es el subespacio lineal, más pequeño para la relación de inclusión, que contiene a {{mvar|S}}.

Un conjunto de vectores es [[Dependencia e independencia lineal| linealmente independiente]] si ninguno está en el intervalo de los demás. De manera equivalente, un conjunto {{mvar|S}} de vectores es linealmente independiente si la única forma de expresar el vector cero como una combinación lineal de elementos de {{mvar|S}} es tomar cero para cada coeficiente <math>a_i.</math>

Un conjunto de vectores que abarca un espacio vectorial se denomina ''conjunto de expansión'' o [[sistema generador]]. Si un conjunto generador {{mvar|S}} es ''linealmente dependiente'' (que no es linealmente independiente), entonces algún elemento {{Math|'''w'''}} de {{mvar|S}} es en el lapso de los otros elementos de {{mvar|S}} , y el lapso seguiría siendo el mismo si uno remove {{Math|'''w'''}} de {{mvar|S}}. Se puede continuar eliminando elementos de {{mvar|S}} hasta obtener un conjunto de expansión ''linealmente independiente''. Un conjunto linealmente independiente que abarca un espacio vectorial {{mvar|V}} se llama base de {{math|''V''}}. La importancia de las bases radica en el hecho de que hay juntos grupos electrógenos mínimos y grupos independientes máximos. Más precisamente, si {{mvar|S}} es un conjunto linealmente independiente y {{mvar|T}} es un conjunto de expansión tal que <math>S\subseteq T,</math>, entonces hay una base {{mvar|B}} tal que <math>S\subseteq B\subseteq T.</math>

Si dos bases cualesquiera de un espacio vectorial {{math|''V''}} tienen la misma [[cardinalidad]] que se llama [[Dimensión de un espacio vectorial| dimensión]]; este es el [[Teorema de la dimensión de espacios vectoriales]]. Además, dos espacios vectoriales sobre el mismo campo {{mvar|F}} son [[Isomorfismo| isomorfos]] si y solo si tienen la misma dimensión.<ref>{{Harvp|Axler|2015}} p. 82, §3.59</ref>

Si alguna base de {{math|''V''}} (y por lo tanto cada base) tiene un número finito de elementos, {{math|''V''}} es un espacio vectorial de dimensión finita. Si {{math|''U''}} es un subespacio de {{math|''V''}}, entonces {{math|dim ''U'' ≤ dim ''V''}}. En el caso en el que {{math|''V''}} es de dimensión finita, la igualdad de las dimensiones implica que {{math|1=''U'' = ''V''}}.

Si ''U''<sub>1</sub> y ''U''<sub>2</sub> son subespacios de ''V'' , entonces

:<math>\dim(U_1 + U_2) = \dim U_1 + \dim U_2 - \dim(U_1 \cap U_2),</math>
donde <math>U_1+U_2</math> denota el lapso de <math>U_1\cup U_2.</math><ref>{{Harvp|Axler|2015}} p. 23, §1.45</ref>

== Matrices ==
{{AP|Matriz (matemáticas)}}
La matriz es una disposición rectangular de números, símbolos o expresiones, cuyas dimensiones son descritas en las cantidades de filas (usualmente ''m'') por las de columnas (''n'') que poseen. Las  disposiciones matriciales son particularmente estudiados por el álgebra lineal y son bastante usados en ciencias e ingeniería.

Las matrices permiten la manipulación explícita de espacios vectoriales de dimensión finita y mapas lineales . Por tanto, su teoría es una parte esencial del álgebra lineal.

Sea {{mvar|V}} un espacio vectorial de dimensión finita sobre un campo {{math|''F''}}, y {{math|('''v'''<sub>1</sub>, '''v'''<sub>2</sub>, …, '''v'''<sub>''m''</sub>)}} es una base de {{math|''V''}}, por lo tanto {{mvar|m}} es la dimensión de {{math|''V''}}). Por definición, de una base, el mapa
:<math>\begin{align}
(a_1, \ldots, a_m)&\mapsto a_1 \mathbf v_1+\cdots a_m \mathbf v_m\\
F^m &\to V
\end{align}</math>
es una [[Función biyectiva| biyección]] de <math>F^m,</math> el conjunto de las [[Sucesión matemática| secuencias]] de {{mvar|m}} elementos de {{mvar|V}} , sobre la {{mvar|V}}. Este es un [[isomorfismo]] de espacios vectoriales, si <math>F^m</math> está equipado con su estructura estándar de espacio vectorial, donde la suma de vectores y la multiplicación escalar se realizan componente por componente.

Este isomorfismo permite representar un vector por su [[Imagen (matemática)|imagen inversa]] bajo este isomorfismo, es decir por las [[componentes de un vector]] de coordenadas {\ Displaystyle (a_ {1}, \ ldots, a_ {m})}{\ Displaystyle (a_ {1}, \ ldots, a_ {m})}o por la matriz de columnas <math>(a_1, \ldots, a_m)</math> o mediante la  [[matriz vertical]]

:<math>\begin{bmatrix}a_1\\\vdots\\a_m\end{bmatrix}.</math>

Si {{mvar|W}} es otro espacio vectorial de dimensión finita (posiblemente el mismo), con una base <math>(\mathbf w_1, \ldots, \mathbf w_n),</math>, un mapa lineal {{mvar|f}} de {{mvar|W}} a {{mvar|V}} está bien definido por sus valores en los elementos base, es decir {\ Displaystyle (f (\ mathbf {w} _ {1}), \ ldots, f (\ mathbf {w} _ {n})).}{\ Displaystyle (f (\ mathbf {w} _ {1}), \ ldots, f (\ mathbf {w} _ {n})).}Por tanto, f está bien representada por la lista de las matrices de columna correspondientes. Es decir, si
:<math>f(w_j)=a_{1,j}v_1 + \cdots+a_{m,j}v_m,</math> 

con {{math|1=''j'' = 1, ..., ''n''}}, entonces {{mvar|f}} viene representada por una matriz:

:<math>\begin{bmatrix}
a_{1,1}&\cdots&a_{1,n}\\
\vdots&\ddots&\vdots\\
a_{m,1}&\cdots&a_{m,n}
\end{bmatrix},</math>
con {{mvar|m}} filas y {{mvar|n}} columnas.

La [[multiplicación de matrices]] se define de forma que el producto de dos matrices es la matriz de la [[composición de funciones|composición]] de los mapas lineales correspondientes, y el producto de una matriz y una matriz columna es la matriz columna que representa el resultado de aplicar el mapa lineal representado al vector representado. Se deduce que la teoría de los espacios vectoriales de dimensión finita y la teoría de las matrices son dos lenguajes diferentes para expresar exactamente los mismos conceptos.

Dos matrices que codifican la misma transformación lineal en bases diferentes se llaman [[Matriz semejante| matrices similares]]. Se puede demostrar que dos matrices son similares si y solo si se puede transformar una en la otra mediante [[Matriz elemental|operaciones elementales de filas y columnas]]. Para una matriz que representa un mapa lineal de {{mvar|W}} a {{mvar|V}}, las operaciones de fila corresponden a cambio de bases en {{mvar|V}} y las operaciones de columna corresponden a cambio de bases en {{mvar|W}}. Toda matriz es similar a una [[matriz identidad]]  bordeada por filas y columnas nulas. En términos de espacios vectoriales, esto significa que, para cualquier mapa lineal de {{mvar|W}} a {{mvar|V}}, hay bases tales que una parte de la base de {{mvar|W}} se mapea biyectivamente en una parte de la base de {{mvar|V}}, y que los elementos restantes de la base de {{mvar|W}}, si los hay, se mapean a cero. La [[eliminación gaussiana]] es el algoritmo básico para encontrar estas operaciones elementales y demostrar estos resultados.

== Sistemas lineales ==
{{AP|Sistema de ecuaciones lineales}}
Un [[conjunto finito]] de ecuaciones lineales en un conjunto finito de variables, por ejemplo <math>x_1, x_2, \ldots, x_n</math> or <math>x, y, \ldots, z</math>  se llama '''sistema de ecuaciones lineales''' o '''sistema lineal''' .<ref>{{harvtxt|Anton|1987|p=2}}</ref><ref>{{harvtxt|Beauregard|Fraleigh|1973|p=65}}</ref><ref>{{harvtxt|Burden|Faires|1993|p=324}}</ref><ref>{{harvtxt|Golub|Van Loan|1996|p=87}}</ref><ref>{{harvtxt|Harper|1976|p=57}}</ref>

Los sistemas de ecuaciones lineales constituyen una parte fundamental del álgebra lineal. Históricamente, el álgebra lineal y la teoría de matrices se han desarrollado para resolver dichos sistemas. En la presentación moderna del álgebra lineal mediante espacios vectoriales y matrices, muchos problemas pueden interpretarse en términos de sistemas lineales.

Por ejemplo, 
{{NumBlk|:|<math>\begin{alignat}{7}
2x &&\; + \;&& y             &&\; - \;&& z  &&\; = \;&& 8  \\
-3x &&\; - \;&& y             &&\; + \;&& 2z &&\; = \;&& -11 \\
-2x &&\; + \;&& y &&\; +\;&& 2z  &&\; = \;&& -3 
\end{alignat}</math>|{{EquationRef|S}}}}
es un sistema lineal.

A dicho sistema se le puede asociar su matriz 
:<math>M = \left[\begin{array}{rrr}
2 & 1 & -1\\
-3 & -1 & 2  \\
-2 & 1 & 2
\end{array}\right]
</math>
y su vector de miembro derecho
:<math>\mathbf{v} = \begin{bmatrix} 8\\-11\\-3 \end{bmatrix}. </math>

Sea {{mvar|T}} la transformación lineal asociada a la matriz {{mvar|M}}. Una solución del sistema ({{EquationNote|S}}) es un vector
:<math>\mathbf{X}=\begin{bmatrix} x\\y\\z \end{bmatrix}</math> 
tal que
:<math>T(\mathbf{X}) = \mathbf{v},</math>
que es un elemento de la imagen inversa de {{mvar|v}} por {{mvar|T}}.

Sea ({{EquationNote|S'}}) el [[Sistema homogéneo de ecuaciones lineales|sistema homogéneo]] asociado, donde los lados derechos de las ecuaciones se ponen a cero:

{{NumBlk|:|<math>\begin{alignat}{7}
2x &&\; + \;&& y             &&\; - \;&& z  &&\; = \;&& 0  \\
-3x &&\; - \;&& y             &&\; + \;&& 2z &&\; = \;&& 0 \\
-2x &&\; + \;&& y &&\; +\;&& 2z  &&\; = \;&& 0 
\end{alignat}</math>|{{EquationRef|S'}}}}

Las soluciones de ({{EquationNote|S'}}) son exactamente los elementos del [[Núcleo (matemática)| núcleo]] de {{mvar|T}} o, equivalentemente, {{mvar|M}}.

La [[eliminación gaussiana]] consiste en realizar [[Matriz elemental| operaciones elementales de filas]] en la [[matriz aumentada]].

:<math>\left[\!\begin{array}{c|c}M&\mathbf{v}\end{array}\!\right] = \left[\begin{array}{rrr|r}
2 & 1 & -1&8\\
-3 & -1 & 2&-11  \\
-2 & 1 & 2&-3
\end{array}\right]
</math>

para ponerlo en [[Matriz escalonada| forma escalonada reducida]]. Estas operaciones de fila no cambian el conjunto de soluciones del sistema de ecuaciones. En el ejemplo, la forma escalonada reducida es
:<math>\left[\!\begin{array}{c|c}M&\mathbf{v}\end{array}\!\right] = \left[\begin{array}{rrr|r}
1 & 0 & 0&2\\
0 & 1 & 0&3  \\
0 & 0 & 1&-1
\end{array}\right],
</math>
mostrando
:<math>\begin{align}x&=2\\y&=3\\z&=-1.\end{align}</math>

De esta interpretación matricial de los sistemas lineales se deduce que los mismos métodos pueden aplicarse para resolver sistemas lineales y para muchas operaciones sobre matrices y transformaciones lineales, que incluyen el cálculo del [[rango de una matriz|rangos]], [[Núcleo (matemática)|núcleos]], y [[matriz inversa]] que el sistema ({{EquationNote|S}}) tiene la solución única
:<math>\begin{align}x&=2\\y&=3\\z&=-1.\end{align}</math>

De esta interpretación matricial de los sistemas lineales se deduce que los mismos métodos pueden aplicarse para resolver sistemas lineales y para muchas operaciones sobre matrices y transformaciones lineales, que incluyen el cálculo del [[rango de una matriz|rangos]], [[Núcleo (matemática)|núcleos]] y [[matriz inversa]].

== Endomorfismos y matrices cuadradas ==
{{AP|Matriz cuadrada}}
Un [[endomorfismo]] lineal es un mapa lineal que mapea un espacio vectorial {{mvar|V}} a sí mismo. Si {{mvar|V}} tiene una base de {{mvar|n}} elementos, tal endomorfismo se representa mediante una [[matriz cuadrada]] de tamaño {{mvar|n}}.

Con respecto a los mapas lineales generales, los endomorfismos lineales y las matrices cuadradas tienen algunas propiedades específicas que hacen que su estudio sea una parte importante del álgebra lineal, que se usa en muchas partes de las matemáticas, incluidas las [[Geometría de las transformaciones| transformaciones geométricas]] , los [[Sistema de coordenadas| cambios de coordenadas]], las [[Forma cuadrática| formas cuadráticas]] y muchas otras. de las matemáticas.
=== Determinantes ===
{{AP|Determinante (matemática)}}
El determinante de una matriz cuadrada {{mvar|A}} se define como{{Harvnp|Katznelson|Katznelson|2008|pp. 76-77, § 4.4.1-4.4.6}} 

:<math>\sum_{\sigma \in S_n} (-1)^{\sigma} a_{1\sigma(1)} \cdots a_{n\sigma(n)}, </math>

donde 
* <math>S_n</math> es el [[grupo simétrico|grupo de todas las permutaciones]] de {{mvar|n}} elementos,
* <math>\sigma</math> es una permutación y
* y <math>(-1)^\sigma</math> la [[paridad de una permutación|paridad]] de la permutación.

Una matriz es [[matriz invertible|invertible]] si y solo si el determinante es invertible (es decir, distinto de cero si los escalares pertenecen a un campo).

La [[regla de Cramer]] es una [[Forma cerrada (matemática)| expresión de forma cerrada]], en términos de determinantes, de la solución de un [[Sistema de ecuaciones lineales|sistema de {{mvar|n}} ecuaciones lineales en {{mvar|n}} incógnitas]]. La regla de Cramer es útil para razonar sobre la solución, pero, excepto para {{math|1=''n'' = 2}} o {{math|3}}, rara vez se utiliza para calcular una solución, ya que la [[eliminación gaussiana]] es un algoritmo más rápido.

El ''determinante de un endomorfismo'' es el determinante de la matriz que representa el endomorfismo en términos de alguna base ordenada. Esta definición tiene sentido, ya que este determinante es independiente de la elección de la base.
=== Valores propios y vectores propios ===
{{AP|Vector propio y valor propio}}
Si {{mvar|f}} es un endomorfismo lineal de un espacio vectorial {{mvar|V}} sobre un campo {{mvar|F}}, un ''vector propio'' de {{mvar|f}} es un vector {{mvar|v}} de {{mvar|V}} no nulo tal que {{math|1=''f''(''v'') = ''av''}} para algún escalar {{mvar|a}} en {{mvar|F}}. Este escalar {{mvar|a}} es un ''valor propio'' de {{mvar|f}}.

Si la dimensión de {{mvar|V}} es finita, y se ha elegido una base, {{mvar|f}} y {{mvar|v}} pueden representarse, respectivamente, por una matriz cuadrada {{mvar|M}} y una matriz de columnas {{mvar|z}}; la ecuación que define los vectores y valores propios se convierte en
:<math>Mz=az.</math>
Utilizando la [[matriz identidad]] {{mvar|I}}, cuyas entradas son todas cero, excepto las de la diagonal principal, que son iguales a uno, esto puede reescribirse
:<math>(M-aI)z=0.</math>
Como se supone que {{mvar|z}} es distinto de cero, esto significa que {{math|''M'' - ''aI''}} es una [[matriz singular]], y por tanto que su determinante <math>\det(M-aI)</math> es igual a cero. Los valores propios son, pues, la [[raíz de una función|raíces]] del [[polinomio]]
:<math>\det(xI-M).</math>
Si {{mvar|V}} es de dimensión {{mvar|n}}, se trata de un [[polinomio mónico]] de grado {{mvar|n}}, llamado [[polinomio característico]] de la matriz (o del endomorfismo), y hay, como máximo, {{mvar|n}} valores propios.

Si existe una base que consiste solo en vectores propios, la matriz de {{mvar|f}} en esta base tiene una estructura muy simple: es una [[matriz diagonal]] tal que las entradas en la [[diagonal principal]] son valores propios, y las otras entradas son cero. En este caso, se dice que el endomorfismo y la matriz son [[matriz diagonalizable|diagonalizable]]. De forma más general, un endomorfismo y una matriz también se dicen diagonalizables, si se convierten en diagonalizables después de [[extender el campo|extender]] el campo de escalares. En este sentido extendido, si el polinomio característico es [[polinomio libre de cuadrados|square-free]], entonces la matriz es diagonalizable.

Una [[matriz simétrica]] es siempre diagonalizable. Existen matrices no diagonalizables, siendo la más sencilla
:<math>\begin{bmatrix}0&1\\0&0\end{bmatrix}</math>
(no puede ser diagonalizable ya que su cuadrado es la [[matriz cero]], y el cuadrado de una matriz diagonal no nula nunca es cero).

Cuando un endomorfismo no es diagonalizable, hay bases en las que tiene una forma simple, aunque no tan simple como la forma diagonal. La [[forma normal de Frobenius]] no necesita extender el campo de escalares y hace que el polinomio característico sea inmediatamente legible sobre la matriz. La [[forma normal de Jordan]] requiere extender el campo de escalares para contener todos los valores propios, y difiere de la forma diagonal solo por algunas entradas que están justo encima de la diagonal principal y son iguales a 1.

== Dualidad ==
{{AP|Espacio dual}}
Una [[forma lineal]] es un mapa lineal desde un espacio vectorial <math>V</math> sobre un campo <math>F</math> al campo de escalares <math>F</math>, visto como un espacio vectorial sobre sí mismo. Equipadas por la adición [[puntual]] y la multiplicación por un escalar, las formas lineales forman un espacio vectorial, llamado '''espacio dual''' de <math>V</math>, y usualmente denotado <math>V^*</math>{{Harvp|Katznelson|Katznelson|2008| p. 37 §2.1.3}} o <math>V'</math>.{{Harvp|Halmos|1974| p. 20, §13}}{{Harvp|Axler|2015| p. 101, §3.94}}

=== Mapa lineal de un espacio vectorial a su campo de escalares ===
Si <math>\mathbf v_1, \ldots, \mathbf v_n</math> es una base de <math>V</math> (esto implica que {{mvar|V}} es de dimensión finita), entonces se puede definir, para {{math|1=''i'' = 1, . .., ''n''}}, un mapa lineal <math>v_i^*</math> tal que <math>v_i^*(\mathbf e_i)=1</math> y <math>v_i^*(\mathbf e_j)=0</math> si {{math|''j'' ≠ ''i''}}. Estos mapas lineales forman una base de <math>V^*,</math> llamada la [[base dual]] de <math>\mathbf v_1, \ldots, \mathbf v_n.</math> (Si {{mvar|V}} no es de dimensión finita, los <math>v^*_i</math> pueden definirse de forma similar; son linealmente independientes, pero no forman una base).

Para <math>\mathbf v</math> en <math>V</math>, el mapa

:<math>f\to f(\mathbf v)</math>

es una forma lineal en <math>V^*.</math> Esto define el [[mapa canónico|mapa lineal canónico]] de <math>V</math> en <math>V^{**},</math> el dual de <math>V^*,</math> llamado el '''bidual''' of <math>V</math>. Este mapa canónico es un [[isomorfismo]] si <math>V</math> es finito-dimensional, y esto permite identificar <math>V</math> con su bidual.

Existe, pues, una simetría completa entre un espacio vectorial de dimensión finita y su dual. Esto motiva el uso frecuente, en este contexto, de la [[notación bra-ket]]
:<math>\langle f, \mathbf x\rangle</math>  para denotar  <math>f(\mathbf x)</math>.

=== Mapa dual ===
Dejemos que 
:<math>f:V\to W</math>
sea un mapa lineal. Para toda forma lineal {{mvar|h}} sobre {{mvar|W}}, la [[función compuesta]] {{math|''h'' ∘ ''f''}} es una forma lineal sobre {{mvar|V}}. Esto define un mapa lineal
:<math>f^*:W^*\to V^*</math>
entre los espacios duales, que se llama el '''dual''' o la '''transposición'''' de {{mvar|f}}.

Si {{mvar|V}} y {{mvar|W}} son de dimensión finita, y {{mvar|M}} es la matriz de {{mvar|f}} en términos de algunas bases ordenadas, entonces la matriz de <math>f^*</math> sobre las bases duales es la [[transposición]] <math>M^\mathsf T</math> de {{mvar|M}}, obtenida intercambiando filas y columnas.

Si los elementos de los espacios vectoriales y sus duales se representan mediante vectores columna, esta dualidad puede expresarse en [[notación bra-ket]] mediante 
:<math>\langle h^\mathsf T , M \mathbf v\rangle = \langle h^\mathsf T M, \mathbf v\rangle.</math>
Para resaltar esta simetría, los dos miembros de esta igualdad se escriben a veces 
:<math>\langle h^\mathsf T \mid M \mid \mathbf v\rangle.</math>

== Espacios vectoriales de uso común ==
Dentro de los espacios vectoriales de dimensión finita, son de amplio uso los dos tipos siguientes de espacios vectoriales:
=== Vectores en R<sup>n</sup> ===
Este espacio vectorial está formado por el conjunto de vectores de n dimensiones (es decir con n número de componentes). Podemos encontrar un ejemplo de ellos en los vectores R<sup>2</sup>, que son famosos por representar las [[coordenadas cartesianas]]: (2,3), (3,4),...

=== Espacio vectorial de polinomios en una misma variable ===
Un ejemplo de espacio vectorial está dado por todos los [[polinomio]]s cuyo grado es menor o igual a 2 con coeficientes reales sobre una variable ''x''.

Ejemplos de tales polinomios son:
{{Ecuación|<math>4x^2-5x+1,\quad  \frac{2x^2}{7}-3,\quad 8x+4,\quad 5</math>}}

La suma de dos polinomios cuyo grado no excede a 2 es otro polinomio cuyo grado no excede a 2:
{{Ecuación|<math> (3x^2-5x+1) + (4x-8) = 3x^2 -x -7 </math>}}

El campo de escalares es naturalmente el de los números reales, y es posible multiplicar un número por un polinomio:
{{Ecuación|<math> 5\cdot(2x + 3) = 10x + 15</math>}}
donde el resultado nuevamente es un polinomio (es decir, un vector).

Un ejemplo de transformación lineal es el operador derivada ''D'', que asigna a cada polinomio el resultado de [[derivada|derivarlo]]:
{{Ecuación|<math>D (3x^2 - 5x +7 ) = 6x - 5. </math>}}

El operador derivada satisface las condiciones de linealidad, y aunque es posible demostrarlo con rigor, simplemente lo ilustramos con un ejemplo la primera condición de linealidad:
{{Ecuación|<math> D( (4x^2 + 5x-3) + (x^2 -x -1)) = D(5x^2 +4x -4)=10x + 4</math>}}
y por otro lado:
{{Ecuación|<math> D(4x^2+5x-3) + D(x^2-x-1) = (8x+5) 
 + (2x-1) = 10x +4.</math>}}

Cualquier espacio vectorial tiene una representación en coordenadas similar a  <math>\mathbb{R}^n</math>, lo cual se obtiene mediante la elección de una [[base (álgebra)]] (es decir, un conjunto especial de vectores), y uno de los temas recurrentes en el álgebra lineal es la elección de bases apropiadas para que los vectores de coordenadas y las matrices que representan las transformaciones lineales tengan formas sencillas o propiedades específicas.

== Generalización y temas relacionados ==
Puesto que el álgebra lineal es una teoría muy exitosa, sus métodos se han proliferado por otras áreas de la matemática: en la [[módulo (matemática)|teoría de módulos]], que reemplaza al [[cuerpo (matemática)|cuerpo]] en los escalares por un [[anillo (matemática)|anillo]]; en el [[álgebra multilineal]], uno lidia con 'múltiples variables' en un problema de mapeo lineal, en el que cada número de las diferentes variables se dirige al concepto de [[tensor]], e incluso en el ámbito de la programación ya que hoy en día la indexación de páginas web se basa en métodos del álgebra lineal;<ref>{{Cita web|url=https://epubs.siam.org/action/captchaChallenge?redirectUrl=https%3A%2F%2Fepubs.siam.org%2Fdoi%2Fabs%2F10.1137%2F050623280&|título=SIAM (Society for Industrial and Applied Mathematics)|fechaacceso=22 de enero de 2019|sitioweb=epubs.siam.org|doi=10.1137/050623280}}</ref> en la teoría del espectro de los operadores de control de matrices de dimensión infinita, aplicando el [[análisis matemático]] en una teoría que no es puramente algebraica. En todos estos casos las dificultades técnicas son mucho más grandes.

== Relación con la geometría ==
Existe una fuerte relación entre el álgebra lineal y la [[geometría]], que comenzó con la introducción por [[René Descartes]], en 1637, de las [[coordenadas cartesianas]]. En esta nueva (en ese momento) geometría, ahora llamada [[geometría cartesiana]], los puntos se representan mediante [[coordenadas cartesianas]], que son secuencias de tres números reales (en el caso del [[espacio tridimensional]] habitual). Los objetos básicos de la geometría, que son las [[líneas (geometría)|líneas]] y los [[planos (geometría)|planos]] se representan mediante ecuaciones lineales. Por tanto, calcular las intersecciones de líneas y planos equivale a resolver sistemas de ecuaciones lineales. Esta fue una de las principales motivaciones para desarrollar el álgebra lineal.

La mayoría de las [[transformaciones geométricas]], como las [[traslaciones]], [[rotaciones]], [[reflexiones (matemáticas)|reflexiones]], [[movimientos rígidos]], [[isometrías]] y [[proyecciones (matemáticas)|proyecciones]] transforman líneas en líneas. De ello se deduce que se pueden definir, especificar y estudiar en términos de mapas lineales. Este es también el caso de las [[homografías]] y las [[transformaciones de Möbius]], cuando se consideran como transformaciones de un [[espacio proyectivo]].

Hasta finales del {{siglo|XIX||s}}, los espacios geométricos se definían mediante [[axiomas]] que relacionaban puntos, líneas y planos ([[geometría sintética]]). Alrededor de esta fecha, apareció que también se pueden definir los espacios geométricos mediante construcciones que implican espacios vectoriales (véase, por ejemplo, [[Espacio proyectivo]] y [[Espacio afín]]). Se ha demostrado que los dos enfoques son esencialmente equivalentes.<ref>[[Emil Artin]] (1957) ''[[Álgebra Geométrica]]'' [[Interscience Publishers]]</ref> En la geometría clásica, los espacios vectoriales implicados son espacios vectoriales sobre los reales, pero las construcciones pueden extenderse a espacios vectoriales sobre cualquier campo, permitiendo considerar la geometría sobre campos arbitrarios, incluyendo [[campos finitos]].

Actualmente, la mayoría de los libros de texto introducen los espacios geométricos desde el álgebra lineal, y la geometría se presenta a menudo, a nivel elemental, como un subcampo del álgebra lineal.
== Utilización y aplicaciones ==
El álgebra lineal se utiliza en casi todas las áreas de las matemáticas, por lo que es relevante en casi todos los ámbitos científicos que utilizan las matemáticas. Estas aplicaciones pueden dividirse en varias categorías amplias.
=== Geometría del espacio ambiental ===
El [[modelo matemático|modelo]] del espacio ambiental se basa en la [[geometría]]. Las ciencias que se ocupan de este espacio utilizan ampliamente la geometría. Es el caso de la [[mecánica]] y la [[robótica]], para describir la [[dinámica de cuerpos rígidos]]; la [[geodesia]] para describir la [[forma de la Tierra]]; la [[perspectiva]], la [[Visión artificial]] y los [[gráficos por ordenador]], para describir la relación entre una escena y su representación en el plano; y muchos otros dominios científicos.

En todas estas aplicaciones, la [[geometría sintética]] suele utilizarse para descripciones generales y un enfoque cualitativo, pero para el estudio de situaciones explícitas, hay que calcular con [[coordenadas]]. Esto requiere el uso intensivo del álgebra lineal.

=== Análisis funcional ===
El [[Análisis funcional]] estudia los [[espacios de funciones]]. Estos son espacios vectoriales con estructura adicional, como los [[espacios de Hilbert]]. El álgebra lineal es, por tanto, una parte fundamental del análisis funcional y sus aplicaciones, que incluyen, en particular, la [[mecánica cuántica]] ([[función de onda]]).

=== Estudio de [[sistemas complejos]] ===
La mayoría de los fenómenos físicos se modelan mediante [[ecuaciones diferenciales parciales]]. Para resolverlas, se suele descomponer el espacio en el que se buscan las soluciones en pequeñas [[Discretización|células]] que interactúan entre sí. Para los [[Sistema lineal| sistemas lineales]] esta interacción implica [[función lineal]]. Para [[Sistema no lineal| sistemas no lineales]], esta interacción suele aproximarse mediante funciones lineales.{{efn|Esto puede tener como consecuencia que se omitan algunas soluciones físicamente interesantes.}} En ambos casos, suelen intervenir matrices muy grandes. Un ejemplo típico es la predicción meteorológica, en la que toda la [[Atmósfera terrestre|atmósfera de la Tierra]] se divide en celdas de, por ejemplo, 100&nbsp;km de ancho y 100 m de alto.

=== Cálculo científico ===
Casi todos los [[Computación científica| cálculos científicos]] implican álgebra lineal. En consecuencia, los algoritmos de álgebra lineal han sido altamente optimizados. Los [[Basic Linear Algebra Subprograms|BLAS]] y [[LAPACK]] son las implementaciones más conocidas. Para mejorar la eficiencia, algunas de ellas configuran los algoritmos automáticamente, en tiempo de ejecución, para adaptarlos a las especificidades del ordenador ([[Caché (informática)|caché]] tamaño, número de [[Procesador multinúcleo|núcleos]] disponible,&nbsp;...).

Algunos [[Procesador (informática)|procesador]], normalmente [[Unidad de procesamiento gráfico]] (GPU), están diseñados con una estructura matricial, para optimizar las operaciones de álgebra lineal.

== Véase también ==
{{portal|Matemática}}

== Referencias ==
{{listaref|2}}
== Fuentes principales ==
* {{ citation | last1 = Anton | first1 = Howard | year = 1987 | isbn = 0-471-84819-0 | title = Elementary Linear Algebra | edition = 5th | publisher = [[John Wiley & Sons|Wiley]] | location = New York }}
*{{Citation|last=Axler|first=Sheldon|title=Linear Algebra Done Right|volume=|pages=|publication-date=2015|series=[[Undergraduate Texts in Mathematics]]|edition=3rd|publisher=[[Springer Publishing]]|isbn=978-3-319-11079-0|author-link=Sheldon Axler}}
* {{citation | last1 = Beauregard | first1 = Raymond A. | last2 = Fraleigh | first2 = John B. | title = A First Course In Linear Algebra: with Optional Introduction to Groups, Rings, and Fields | location = Boston | publisher = [[Houghton Mifflin Company]] | year = 1973 | isbn = 0-395-14017-X | url-access = registration | url = https://archive.org/details/firstcourseinlin0000beau }}
* {{citation | last1 = Burden | first1 = Richard L. | last2 = Faires | first2 = J. Douglas | year = 1993 | isbn = 0-534-93219-3 | title = Numerical Analysis | edition = 5th | publisher = [[Prindle, Weber and Schmidt]] | location = Boston | url-access = registration | url = https://archive.org/details/numericalanalysi00burd }}
* {{ citation | last1 = Golub | first1 = Gene H. | last2 = Van Loan | first2 = Charles F. | year = 1996 | isbn = 978-0-8018-5414-9 | title = Matrix Computations | edition = 3rd |series=Johns Hopkins Studies in Mathematical Sciences | publisher = [[Johns Hopkins University Press]] | location = Baltimore }}
*{{citation|last=Halmos|first=Paul Richard|title=Finite-Dimensional Vector Spaces|url=https://www.worldcat.org/title/finite-dimensional-vector-spaces/oclc/1251216|volume=|pages=|year=1974|series=[[Undergraduate Texts in Mathematics]]|edition=1958 2nd|publisher=[[Springer Publishing]]|isbn=0-387-90093-4|author-link=Paul Halmos}}
* {{ citation | last1 = Harper | first1 = Charlie | year = 1976 | isbn = 0-13-487538-9 | title = Introduction to Mathematical Physics | publisher = [[Prentice-Hall]] | location = New Jersey }}
*{{Citation|last=Katznelson|first=Yitzhak|title=A (Terse) Introduction to Linear Algebra|volume=|pages=|publication-date=2008|publisher=[[American Mathematical Society]]|isbn=978-0-8218-4419-9|last2=Katznelson|first2=Yonatan R.|author-link=Yitzhak Katznelson}}
* {{Citation|last=Roman|first=Steven|date=2005-03-22|volume=|pages=|title=Advanced Linear Algebra |edition=2nd |series=[[Graduate Texts in Mathematics]] |publisher=Springer |isbn=978-0-387-24766-3|author-link=Steven Roman}}

== Bibliografía ==
=== Historia ===
* Fearnley-Sander, Desmond, "[https://www.jstor.org/stable/pdf/2320145.pdf?casa_token=OivQGvKhCREAAAAA:1DKkTImlBZdKc7f-9T5tb5gjNx_RBbC20OcrA_jM3_6ksW6Js7bs6qhvcCBjzBg3kD3Zq0Gr0mLe3w9HQiQIbLgv73HBTkYIj2HNlE_HyOh5fUJb7Nsy3A Hermann Grassmann and the Creation of Linear Algebra]", American Mathematical Monthly '''86''' (1979), pp.&nbsp;809–817.
* {{Citation|last=Grassmann|first= Hermann|author-link=Hermann Grassmann| title=Die lineale Ausdehnungslehre ein neuer Zweig der Mathematik: dargestellt und durch Anwendungen auf die übrigen Zweige der Mathematik, wie auch auf die Statik, Mechanik, die Lehre vom Magnetismus und die Krystallonomie erläutert|publisher= O. Wigand|location= Leipzig|year= 1844}}
=== Libros de texto introductorios ===
* {{Citation|last=Anton|first=Howard|year=2005|title=Elementary Linear Algebra (Applications Version)|publisher=Wiley International|edition=9th}}
* {{Citation | last1 = Banerjee | first1 = Sudipto | last2 = Roy | first2 = Anindya | date = 2014 | title = Linear Algebra and Matrix Analysis for Statistics | series = Texts in Statistical Science | publisher = Chapman and Hall/CRC | edition =  1st | isbn =  978-1420095388}}
* {{Citation|last=Bretscher|first=Otto|year=2004|title=Linear Algebra with Applications|publisher=Prentice Hall|edition=3rd|isbn=978-0-13-145334-0}}
* {{Citation|last1=Farin|first1=Gerald|last2=Hansford|first2=Dianne|
year=2004|title=Practical Linear Algebra: A Geometry Toolbox|publisher=AK Peters|isbn=978-1-56881-234-2}}
* {{Citation|last1=Kolman|first1=Bernard|last2=Hill|first2=David R.|year=2007|title=Elementary Linear Algebra with Applications|publisher=Prentice Hall|edition=9th|isbn=978-0-13-229654-0}}
* {{Citation|last=Lay|first=David C.|year=2005|title=Linear Algebra and Its Applications|publisher=Addison Wesley|edition=3rd|isbn=978-0-321-28713-7}}
* {{Citation|last=Leon|first=Steven J.|year=2006|title=Linear Algebra With Applications|publisher=Pearson Prentice Hall|edition=7th|isbn=978-0-13-185785-8|url-access=registration|url=https://archive.org/details/linearalgebrawit00leon}}
* Murty, Katta G. (2014) ''[http://www.worldscientific.com/worldscibooks/10.1142/8261 Computational and Algorithmic Linear Algebra and n-Dimensional Geometry]'', World Scientific Publishing, ISBN 978-981-4366-62-5}}. ''[http://www.worldscientific.com/doi/suppl/10.1142/8261/suppl_file/8261_chap01.pdf Chapter 1: Systems of Simultaneous Linear Equations]''
* {{Citation|last=Poole|first=David|year=2010|title=Linear Algebra: A Modern Introduction|publisher=Cengage&nbsp;– Brooks/Cole|edition=3rd|isbn=978-0-538-73545-2}}
* {{Citation|last=Ricardo|first=Henry|year=2010|title=A Modern Introduction To Linear Algebra|publisher=CRC Press|edition=1st|isbn=978-1-4398-0040-9}}
* {{Citation|last=Sadun|first=Lorenzo|year=2008|title=Applied Linear Algebra: the decoupling principle|publisher=AMS|edition=2nd|isbn=978-0-8218-4441-0}}
* {{Citation|last=Strang|first=Gilbert|author-link=|year=2016|title=Introduction to Linear Algebra|publisher=Wellesley-Cambridge Press|edition=5th|isbn=978-09802327-7-6}}
* The Manga Guide to Linear Algebra (2012), by [[Shin Takahashi]], Iroha Inoue and Trend-Pro Co., Ltd., {{isbn| 978-1-59327-413-9}}

=== Libros de texto avanzados ===
* {{Citation|last=Bhatia|first=Rajendra|date=1996-11-15|title=Matrix Analysis|series=[[Graduate Texts in Mathematics]]|publisher=Springer|isbn=978-0-387-94846-1}}
* {{Citation|last=Demmel|first=James W.|author-link=James Demmel|date=1997-08-01|title=Applied Numerical Linear Algebra|publisher=SIAM|isbn=978-0-89871-389-3}}
* {{Citation|last=Dym|first=Harry|year=2007|title=Linear Algebra in Action|publisher=AMS|isbn=978-0-8218-3813-6}}
* {{Citation|last=Gantmacher|first=Felix R.|author-link = Felix Gantmacher|date=2005|title=Applications of the Theory of Matrices|publisher=Dover Publications|isbn=978-0-486-44554-0}}
* {{Citation|last=Gantmacher|first=Felix R.|year=1990|title=Matrix Theory Vol. 1|publisher=American Mathematical Society|edition=2nd|isbn=978-0-8218-1376-8}}
* {{Citation|last=Gantmacher|first=Felix R.|year=2000|title=Matrix Theory Vol. 2|publisher=American Mathematical Society|edition=2nd|isbn=978-0-8218-2664-5}}
* {{Citation|last=Gelfand|first=Israel M.|author-link = Israel Gelfand|year=1989|title=Lectures on Linear Algebra|publisher=Dover Publications|isbn=978-0-486-66082-0}}
* {{Citation|last1=Glazman|first1=I. M.|last2=Ljubic|first2=Ju. I.|year=2006|title=Finite-Dimensional Linear Analysis|publisher=Dover Publications|isbn= 978-0-486-45332-3}}
* {{Citation|last=Golan|first=Johnathan S.|date=January 2007|title=The Linear Algebra a Beginning Graduate Student Ought to Know|publisher=Springer|edition=2nd|isbn=978-1-4020-5494-5}}
* {{Citation|last=Golan|first=Johnathan S.|date=August 1995|title=Foundations of Linear Algebra|publisher=Kluwer |isbn=0-7923-3614-3}}
* {{Citation|last=Greub|first=Werner H.|date=1981-10-16|title=Linear Algebra|series=Graduate Texts in Mathematics|publisher=Springer|edition=4th|isbn=978-0-8018-5414-9}}
* {{citation
 | last1 = Hoffman | first1 = Kenneth
 | last2 = Kunze | first2 = Ray | author2-link = Ray Kunze
 | edition = 2nd
 | location = Englewood Cliffs, N.J.
 | mr = 0276251
 | publisher = Prentice-Hall, Inc.
 | title = Linear algebra
 | year = 1971}}
* {{Citation|last=Halmos|first=Paul R.|author-link = Paul Halmos|date=1993-08-20|title=Finite-Dimensional Vector Spaces|series=[[Undergraduate Texts in Mathematics]]|publisher=Springer|isbn=978-0-387-90093-3}}
* {{Citation|last1=Friedberg|first1=Stephen H.|last2=Insel|first2=Arnold J.|last3=Spence|first3=Lawrence E.|date=2018-09-07|title=Linear Algebra|publisher=Pearson|edition=5th|isbn=978-0-13-486024-4}}
* {{Citation|last1=Horn|first1=Roger A.|last2=Johnson|first2=Charles R.|date=1990-02-23|title=Matrix Analysis|publisher=Cambridge University Press|isbn=978-0-521-38632-6}}
* {{Citation|last1=Horn|first1=Roger A.|last2=Johnson|first2=Charles R.|date=1994-06-24|title=Topics in Matrix Analysis|publisher=Cambridge University Press|isbn=978-0-521-46713-1}}
* {{Citation|last=Lang|first=Serge|date=2004-03-09|title=Linear Algebra|series=Undergraduate Texts in Mathematics|edition=3rd|publisher=Springer|isbn=978-0-387-96412-6}}
* {{Citation|last1=Marcus|first1=Marvin|last2=Minc|first2=Henryk|year=2010|title=A Survey of Matrix Theory and Matrix Inequalities|publisher=Dover Publications|isbn=978-0-486-67102-4}}
* {{Citation|last=Meyer |first=Carl D. |date=2001-02-15 |title=Matrix Analysis and Applied Linear Algebra |publisher=Society for Industrial and Applied Mathematics (SIAM) |isbn=978-0-89871-454-8 |url=http://www.matrixanalysis.com/DownloadChapters.html |url-status= |archive-url=https://web.archive.org/web/20091031193126/http://matrixanalysis.com/DownloadChapters.html |archive-date=2009-10-31 }}
* {{Citation|last1=Mirsky|first1=L.|author-link=Leon Mirsky|year=1990|title=An Introduction to Linear Algebra|publisher= Dover Publications|isbn=978-0-486-66434-7}}
* {{Citation|last1=Shafarevich|first1 = I. R.|author-link1 = Igor Shafarevich|first2 = A. O|last2=Remizov|title = Linear Algebra and Geometry|publisher = [[Springer Science+Business Media|Springer]]|year=2012|url = https://www.springer.com/mathematics/algebra/book/978-3-642-30993-9 |isbn = 978-3-642-30993-9}}
* {{Citation|last=Shilov|first=Georgi E.|author-link = Georgiy Shilov|date=1977-06-01|publisher=Dover Publications|isbn=978-0-486-63518-7|title=Linear algebra}}
* {{Citation|last=Shores|first=Thomas S.|date=2006-12-06|title=Applied Linear Algebra and Matrix Analysis|series=Undergraduate Texts in Mathematics|publisher=Springer|isbn=978-0-387-33194-2}}
* {{Citation|last=Smith|first=Larry|date=1998-05-28|title=Linear Algebra|series=Undergraduate Texts in Mathematics|publisher=Springer|isbn=978-0-387-98455-1}}
* {{Citation|last1=Trefethen|first1=Lloyd N.|last2=Bau|first2=David|date=1997|title=Numerical Linear Algebra|publisher=SIAM|isbn=978-0-898-71361-9}}

== Enlaces externos ==
{{commonscat|Linear algebra}}
* [https://web.archive.org/web/20070629111825/http://www.egwald.com/linearalgebra/index.php Álgebra lineal] por Elmer G. Wiens {{en}}
* [http://cnx.org/content/m12862/latest/ Álgebra Lineal: Conceptos Básicos]
* [http://www.abaco.com.ve/lineal/InterfaseAlgebraContexto.htm Introducción al Álgebra Lineal en Contexto por José Arturo Barreto] {{Wayback|url=http://www.abaco.com.ve/lineal/InterfaseAlgebraContexto.htm |date=20100523155645 }}
* [https://app.box.com/shared/t00oj46om6  Álgebra Lineal por René A Hernández-Toledo, 2008]
* [https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/ MIT Linear Algebra Video Lectures], 
* [https://www.math.technion.ac.il/iic/ International Linear Algebra Society] {{Wayback|url=https://www.math.technion.ac.il/iic/ |date=20200705161054 }}
* {{springer|title=Linear algebra|id=p/l059040}}
* [https://mathworld.wolfram.com/topics/LinearAlgebra.html Linear Algebra] on [[MathWorld]]
* [http://www.economics.soton.ac.uk/staff/aldrich/matrices.htm Matrix and Linear Algebra Terms] on [http://jeff560.tripod.com/mathword.html Earliest Known Uses of Some of the Words of Mathematics]
* [http://jeff560.tripod.com/matrices.html Earliest Uses of Symbols for Matrices and Vectors] on [http://jeff560.tripod.com/mathsym.html Earliest Uses of Various Mathematical Symbols]
* [https://www.youtube.com/playlist?list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab Essence of linear algebra], a video presentation from [[3Blue1Brown]] of the basics of linear algebra, with emphasis on the relationship between the geometric, the matrix and the abstract points of view
* [https://mbujosab.github.io/CursoDeAlgebraLineal/libro.pdf Un Curso de Álgebra Lineal con notación asociativa y un módulo para Python] por Marcos Bujosa (con [https://youtube.com/playlist?list=PLA94O6zqDj0VREglVLepuCd0d8F0d-rnL&si=YtBIxfWij59frbXs vídeos] y [https://github.com/mbujosab/nacal-Jupyter-Notebooks notebooks de jupyter])

{{Control de autoridades}}
[[Categoría:Álgebra lineal| ]]
[[Categoría:Análisis numérico]]