Subespacio lineal

En matemáticas, subespacio vectorial

En matemáticas , y más específicamente en álgebra lineal , un subespacio lineal o subespacio vectorial ^{[1] [nota 1]} es un espacio vectorial que es un subconjunto de algún espacio vectorial más grande. Un subespacio lineal suele denominarse simplemente subespacio cuando el contexto sirve para distinguirlo de otros tipos de subespacios .

Definición

Si V es un espacio vectorial sobre un cuerpo K y si W es un subconjunto de V , entonces W es un subespacio lineal de V si bajo las operaciones de V , W es un espacio vectorial sobre K . De manera equivalente, un subconjunto no vacío W es un subespacio lineal de V si, siempre que w ₁ , w ₂ son elementos de W y α , β son elementos de K , se sigue que αw ₁ + βw ₂ está en W . ^{[2] [3] [4] [5] [6]}

Como corolario, todos los espacios vectoriales están equipados con al menos dos subespacios lineales (posiblemente diferentes): el espacio vectorial cero, que consiste únicamente en el vector cero , y el espacio vectorial completo. Estos se denominan subespacios triviales del espacio vectorial. ^[7]

Ejemplos

Ejemplo I

En el espacio vectorial V = R ³ (el espacio de coordenadas reales sobre el cuerpo R de números reales ), tomemos W como el conjunto de todos los vectores en V cuyo último componente es 0. Entonces W es un subespacio de V .

Prueba:

1. Dados u y v en W , entonces pueden expresarse como u = ( u ₁ , u ₂ , 0) y v = ( v ₁ , v ₂ , 0) . Entonces u + v = ( u ₁ + v ₁ , u ₂ + v ₂ , 0+0) = ( u ₁ + v ₁ , u ₂ + v ₂ , 0) . Por lo tanto, u + v también es un elemento de W .
2. Dado u en W y un escalar c en R , si u = ( u ₁ , u ₂ , 0) nuevamente, entonces c u = ( cu ₁ , cu ₂ , c 0) = ( cu ₁ , cu ₂ ,0) . Por lo tanto, c u también es un elemento de W.

Ejemplo II

Sea nuevamente el campo R , pero ahora sea el espacio vectorial V el plano cartesiano R ² . Tome W como el conjunto de puntos ( x , y ) de R ² tales que x = y . Entonces W es un subespacio de R ² .

Ejemplo II Ilustrado

Prueba:

1. Sean p = ( p ₁ , p ₂ ) y q = ( q ₁ , q ₂ ) elementos de W , es decir, puntos en el plano tales que p ₁ = p ₂ y q ₁ = q ₂ . Entonces p + q = ( p ₁ + q ₁ , p ₂ + q ₂ ) ; como p ₁ = p ₂ y q ₁ = q ₂ , entonces p ₁ + q ₁ = p ₂ + q ₂ , por lo que p + q es un elemento de W .
2. Sea p = ( p ₁ , p ₂ ) un elemento de W , es decir, un punto en el plano tal que p ₁ = p ₂ , y sea c un escalar en R . Entonces c p = ( cp ₁ , cp ₂ ) ; como p ₁ = p ₂ , entonces cp ₁ = cp ₂ , por lo que c p es un elemento de W .

En general, cualquier subconjunto del espacio de coordenadas reales R ⁿ que esté definido por un sistema homogéneo de ecuaciones lineales producirá un subespacio. (La ecuación en el ejemplo I era z  = 0, y la ecuación en el ejemplo II era x  =  y .)

Ejemplo III

Nuevamente tomemos el campo como R , pero ahora sea el espacio vectorial V el conjunto R ^R de todas las funciones desde R hasta R . Sea C( R ) el subconjunto que consiste en funciones continuas . Entonces C( R ) es un subespacio de R ^R .

Prueba:

1. Sabemos por el cálculo que 0 ∈ C( R ) ⊂ R ^R .
2. Sabemos por el cálculo que la suma de funciones continuas es continua.
3. Nuevamente, sabemos por el cálculo que el producto de una función continua y un número es continuo.

Ejemplo IV

Mantenemos el mismo campo y el mismo espacio vectorial que antes, pero ahora consideramos el conjunto Diff( R ) de todas las funciones diferenciables . El mismo tipo de argumento que antes muestra que este también es un subespacio.

Los ejemplos que amplían estos temas son comunes en el análisis funcional .

Propiedades de los subespacios

De la definición de espacios vectoriales se desprende que los subespacios no están vacíos y son cerrados bajo sumas y bajo múltiplos escalares. ^[8] De manera equivalente, los subespacios pueden caracterizarse por la propiedad de estar cerrados bajo combinaciones lineales. Es decir, un conjunto no vacío W es un subespacio si y solo si cada combinación lineal de un número finito de elementos de W también pertenece a W . La definición equivalente establece que también es equivalente considerar combinaciones lineales de dos elementos a la vez.

En un espacio vectorial topológico X , un subespacio W no necesita ser topológicamente cerrado , pero un subespacio de dimensión finita siempre está cerrado. ^[9] Lo mismo es cierto para los subespacios de codimensión finita (es decir, subespacios determinados por un número finito de funcionales lineales continuos ).

Descripciones

Las descripciones de los subespacios incluyen el conjunto solución de un sistema homogéneo de ecuaciones lineales , el subconjunto del espacio euclidiano descrito por un sistema de ecuaciones paramétricas lineales homogéneas , el espacio de una colección de vectores y el espacio nulo , el espacio columna y el espacio fila de una matriz . Geométricamente (especialmente sobre el campo de los números reales y sus subcampos), un subespacio es un plano en un n -espacio que pasa por el origen.

Una descripción natural de un 1-subespacio es la multiplicación escalar de un vector v distinto de cero por todos los valores escalares posibles. Los 1-subespacios especificados por dos vectores son iguales si y solo si un vector puede obtenerse de otro con multiplicación escalar:

${\displaystyle \exists c\in K:\mathbf {v} '=c\mathbf {v} {\text{ (or }}\mathbf {v} ={\frac {1}{c}}\mathbf {v} '{\text{)}}}$

Esta idea se generaliza para dimensiones superiores con amplitud lineal , pero los criterios para la igualdad de k -espacios especificados por conjuntos de k vectores no son tan simples.

Se proporciona una descripción dual con funcionales lineales (generalmente implementados como ecuaciones lineales). Un funcional lineal distinto de cero F especifica su subespacio de núcleo F  = 0 de codimensión 1. Los subespacios de codimensión 1 especificados por dos funcionales lineales son iguales, si y solo si un funcional puede obtenerse de otro con multiplicación escalar (en el espacio dual ):

${\displaystyle \exists c\in K:\mathbf {F} '=c\mathbf {F} {\text{ (or }}\mathbf {F} ={\frac {1}{c}}\mathbf {F} '{\text{)}}}$

Se generaliza para codimensiones superiores con un sistema de ecuaciones . Las dos subsecciones siguientes presentarán esta última descripción en detalle, y las cuatro subsecciones restantes describirán con más detalle la idea de amplitud lineal.

Sistemas de ecuaciones lineales

El conjunto solución de cualquier sistema homogéneo de ecuaciones lineales con n variables es un subespacio en el espacio de coordenadas K ⁿ : $${\displaystyle \left\{\left[\!\!{\begin{array}{c}x_{1}\\x_{2}\\\vdots \\x_{n}\end{array}}\!\!\right]\in K^{n}:{\begin{alignedat}{6}a_{11}x_{1}&&\;+\;&&a_{12}x_{2}&&\;+\cdots +\;&&a_{1n}x_{n}&&\;=0&\\a_{21}x_{1}&&\;+\;&&a_{22}x_{2}&&\;+\cdots +\;&&a_{2n}x_{n}&&\;=0&\\&&&&&&&&&&\vdots \quad &\\a_{m1}x_{1}&&\;+\;&&a_{m2}x_{2}&&\;+\cdots +\;&&a_{mn}x_{n}&&\;=0&\end{alignedat}}\right\}.}$$

Por ejemplo, el conjunto de todos los vectores ( x , y , z ) (sobre números reales o racionales ) que satisfacen las ecuaciones es un subespacio unidimensional. De manera más general, es decir, dado un conjunto de n funciones independientes, la dimensión del subespacio en K ^k será la dimensión del conjunto nulo de A , la matriz compuesta de las n funciones. $${\displaystyle x+3y+2z=0\quad {\text{and}}\quad 2x-4y+5z=0}$$

Espacio nulo de una matriz

En un espacio de dimensión finita, un sistema homogéneo de ecuaciones lineales puede escribirse como una única ecuación matricial:

${\displaystyle A\mathbf {x} =\mathbf {0} .}$

El conjunto de soluciones de esta ecuación se conoce como el espacio nulo de la matriz. Por ejemplo, el subespacio descrito anteriormente es el espacio nulo de la matriz.

${\displaystyle A={\begin{bmatrix}1&3&2\\2&-4&5\end{bmatrix}}.}$

Cada subespacio de K ⁿ puede describirse como el espacio nulo de alguna matriz (ver § Algoritmos a continuación para más información).

Ecuaciones paramétricas lineales

El subconjunto de K ⁿ descrito por un sistema de ecuaciones paramétricas lineales homogéneas es un subespacio:

${\displaystyle \left\{\left[\!\!{\begin{array}{c}x_{1}\\x_{2}\\\vdots \\x_{n}\end{array}}\!\!\right]\in K^{n}:{\begin{alignedat}{7}x_{1}&&\;=\;&&a_{11}t_{1}&&\;+\;&&a_{12}t_{2}&&\;+\cdots +\;&&a_{1m}t_{m}&\\x_{2}&&\;=\;&&a_{21}t_{1}&&\;+\;&&a_{22}t_{2}&&\;+\cdots +\;&&a_{2m}t_{m}&\\&&\vdots \;\;&&&&&&&&&&&\\x_{n}&&\;=\;&&a_{n1}t_{1}&&\;+\;&&a_{n2}t_{2}&&\;+\cdots +\;&&a_{nm}t_{m}&\\\end{alignedat}}{\text{ for some }}t_{1},\ldots ,t_{m}\in K\right\}.}$

Por ejemplo, el conjunto de todos los vectores ( x ,  y ,  z ) parametrizados por las ecuaciones

${\displaystyle x=2t_{1}+3t_{2},\;\;\;\;y=5t_{1}-4t_{2},\;\;\;\;{\text{and}}\;\;\;\;z=-t_{1}+2t_{2}}$

es un subespacio bidimensional de K ³ , si K es un cuerpo numérico (como números reales o racionales). ^{[nota 2]}

Intervalo de vectores

En álgebra lineal, el sistema de ecuaciones paramétricas se puede escribir como una única ecuación vectorial:

${\displaystyle {\begin{bmatrix}x\\y\\z\end{bmatrix}}\;=\;t_{1}\!{\begin{bmatrix}2\\5\\-1\end{bmatrix}}+t_{2}\!{\begin{bmatrix}3\\-4\\2\end{bmatrix}}.}$

La expresión de la derecha se denomina combinación lineal de los vectores (2, 5, −1) y (3, −4, 2). Se dice que estos dos vectores abarcan el subespacio resultante.

En general, una combinación lineal de vectores v ₁ ,  v ₂ , ... ,  v _k es cualquier vector de la forma

${\displaystyle t_{1}\mathbf {v} _{1}+\cdots +t_{k}\mathbf {v} _{k}.}$

El conjunto de todas las combinaciones lineales posibles se llama amplitud :

${\displaystyle {\text{Span}}\{\mathbf {v} _{1},\ldots ,\mathbf {v} _{k}\}=\left\{t_{1}\mathbf {v} _{1}+\cdots +t_{k}\mathbf {v} _{k}:t_{1},\ldots ,t_{k}\in K\right\}.}$

Si los vectores v ₁ , ... ,  v _k tienen n componentes, entonces su amplitud es un subespacio de K ⁿ . Geométricamente, la amplitud es el plano que pasa por el origen en el espacio n -dimensional determinado por los puntos v ₁ , ... ,  v _k .

Ejemplo

El plano xz en R ³ se puede parametrizar mediante las ecuaciones

${\displaystyle x=t_{1},\;\;\;y=0,\;\;\;z=t_{2}.}$

Como subespacio, el plano xz está abarcado por los vectores (1, 0, 0) y (0, 0, 1). Cada vector en el plano xz puede escribirse como una combinación lineal de estos dos:

${\displaystyle (t_{1},0,t_{2})=t_{1}(1,0,0)+t_{2}(0,0,1){\text{.}}}$

Geométricamente, esto corresponde al hecho de que cada punto en el plano xz se puede alcanzar desde el origen moviéndose primero cierta distancia en la dirección de (1, 0, 0) y luego moviéndose cierta distancia en la dirección de (0, 0, 1).

Espacio de columnas y espacio de filas

Un sistema de ecuaciones paramétricas lineales en un espacio de dimensión finita también puede escribirse como una ecuación matricial única:

${\displaystyle \mathbf {x} =A\mathbf {t} \;\;\;\;{\text{where}}\;\;\;\;A=\left[{\begin{alignedat}{2}2&&3&\\5&&\;\;-4&\\-1&&2&\end{alignedat}}\,\right]{\text{.}}}$

En este caso, el subespacio está formado por todos los valores posibles del vector x . En álgebra lineal, este subespacio se conoce como espacio columna (o imagen ) de la matriz A . Es precisamente el subespacio de K ⁿ generado por los vectores columna de A .

El espacio fila de una matriz es el subespacio generado por sus vectores fila. El espacio fila es interesante porque es el complemento ortogonal del espacio nulo (ver más abajo).

Independencia, base y dimensión

Los vectores u y v son una base para este subespacio bidimensional de R ³ .

En general, un subespacio de K ⁿ determinado por k parámetros (o abarcado por k vectores) tiene dimensión k . Sin embargo, hay excepciones a esta regla. Por ejemplo, el subespacio de K ³ abarcado por los tres vectores (1, 0, 0), (0, 0, 1) y (2, 0, 3) es simplemente el plano xz , con cada punto en el plano descrito por infinitos valores diferentes de t ₁ , t ₂ , t ₃ .

En general, los vectores v ₁ , ... ,  v _k se denominan linealmente independientes si

${\displaystyle t_{1}\mathbf {v} _{1}+\cdots +t_{k}\mathbf {v} _{k}\;\neq \;u_{1}\mathbf {v} _{1}+\cdots +u_{k}\mathbf {v} _{k}}$

para ( t ₁ ,  t ₂ , ... ,  t _k ) ≠ ( u ₁ ,  u ₂ , ... ,  u _k ). ^{[nota 3]} Si v ₁ , ..., v _k son linealmente independientes, entonces las coordenadas t ₁ , ..., t _k para un vector en el lapso están determinadas de forma única.

Una base para un subespacio S es un conjunto de vectores linealmente independientes cuyo espacio de expansión es S. El número de elementos en una base siempre es igual a la dimensión geométrica del subespacio. Cualquier conjunto de expansión para un subespacio se puede transformar en una base eliminando los vectores redundantes (consulte el § Algoritmos a continuación para obtener más información).

Ejemplo

Sea S el subespacio de R ⁴ definido por las ecuaciones

${\displaystyle x_{1}=2x_{2}\;\;\;\;{\text{and}}\;\;\;\;x_{3}=5x_{4}.}$

Entonces los vectores (2, 1, 0, 0) y (0, 0, 5, 1) son una base para S. En particular, cada vector que satisface las ecuaciones anteriores se puede escribir de forma única como una combinación lineal de los dos vectores base:

${\displaystyle (2t_{1},t_{1},5t_{2},t_{2})=t_{1}(2,1,0,0)+t_{2}(0,0,5,1).}$

El subespacio S es bidimensional. Geométricamente, es el plano en R ⁴ que pasa por los puntos (0, 0, 0, 0), (2, 1, 0, 0) y (0, 0, 5, 1).

Operaciones y relaciones en subespacios

Inclusión

La relación binaria de inclusión teórica de conjuntos especifica un orden parcial en el conjunto de todos los subespacios (de cualquier dimensión).

Un subespacio no puede estar en ningún subespacio de menor dimensión. Si dim  U  =  k , un número finito, y U  ⊂  W , entonces dim  W  =  k si y solo si U  =  W .

Intersección

En R ³ , la intersección de dos subespacios bidimensionales distintos es unidimensional

Dados los subespacios U y W de un espacio vectorial V , entonces su intersección U  ∩  W  := { v  ∈  V  : v  es un elemento tanto de U como  de W } es también un subespacio de V . ^[10]

Prueba:

1. Sean v y w elementos de U  ∩  W . Entonces v y w pertenecen tanto a U como a W . Como U es un subespacio, entonces v  +  w pertenece a U . De manera similar, como W es un subespacio, entonces v  +  w pertenece a W . Por lo tanto, v  +  w pertenece a U  ∩  W .
2. Sea v perteneciente a U  ∩  W y sea c un escalar. Entonces v pertenece tanto a U como a W. Como U y W son subespacios, c v pertenece tanto a U como  a W.
3. Como U y W son espacios vectoriales, entonces 0 pertenece a ambos conjuntos. Por lo tanto, 0 pertenece a U  ∩  W .

Para cada espacio vectorial V , el conjunto { 0 } y V mismo son subespacios de V. ^{[11] [12]}

Suma

Si U y W son subespacios, su suma es el subespacio ^{[13] [14]} $${\displaystyle U+W=\left\{\mathbf {u} +\mathbf {w} \colon \mathbf {u} \in U,\mathbf {w} \in W\right\}.}$$

Por ejemplo, la suma de dos rectas es el plano que las contiene a ambas. La dimensión de la suma satisface la desigualdad $${\displaystyle \max(\dim U,\dim W)\leq \dim(U+W)\leq \dim(U)+\dim(W).}$$

Aquí, el mínimo sólo se da si un subespacio está contenido en el otro, mientras que el máximo es el caso más general. La dimensión de la intersección y la suma están relacionadas por la siguiente ecuación: ^[15] $${\displaystyle \dim(U+W)=\dim(U)+\dim(W)-\dim(U\cap W).}$$

Un conjunto de subespacios es independiente cuando la única intersección entre cualquier par de subespacios es el subespacio trivial. La suma directa es la suma de subespacios independientes, escrita como . Una reformulación equivalente es que una suma directa es una suma de subespacios bajo la condición de que cada subespacio contribuya al alcance de la suma. ^{[16] [17] [18] [19]} ${\displaystyle U\oplus W}$

La dimensión de una suma directa es la misma que la suma de subespacios, pero puede acortarse porque la dimensión del subespacio trivial es cero. ^[20] ${\displaystyle U\oplus W}$

$${\displaystyle \dim(U\oplus W)=\dim(U)+\dim(W)}$$

Red de subespacios

Las operaciones intersección y suma hacen del conjunto de todos los subespacios una red modular acotada , donde el subespacio {0} , el elemento menor , es un elemento identidad de la operación suma, y ​​el subespacio idéntico V , el elemento mayor, es un elemento identidad de la operación intersección.

Complementos ortogonales

Si es un espacio de producto interno y es un subconjunto de , entonces el complemento ortogonal de , denotado , es nuevamente un subespacio. ^[21] Si es de dimensión finita y es un subespacio, entonces las dimensiones de y satisfacen la relación complementaria . ^[22] Además, ningún vector es ortogonal a sí mismo, por lo que y es la suma directa de y . ^[23] La aplicación de complementos ortogonales dos veces devuelve el subespacio original: para cada subespacio . ^[24] ${\displaystyle V}$ ${\displaystyle N}$ ${\displaystyle V}$ ${\displaystyle N}$ ${\displaystyle N^{\perp }}$ ${\displaystyle V}$ ${\displaystyle N}$ ${\displaystyle N}$ ${\displaystyle N^{\perp }}$ ${\displaystyle \dim(N)+\dim(N^{\perp })=\dim(V)}$ ${\displaystyle N\cap N^{\perp }=\{0\}}$ ${\displaystyle V}$ ${\displaystyle N}$ ${\displaystyle N^{\perp }}$ ${\displaystyle (N^{\perp })^{\perp }=N}$ ${\displaystyle N}$

Esta operación, entendida como negación ( ), convierte la red de subespacios en una red ortocomplementada (posiblemente infinita ) (aunque no una red distributiva). ^{[ cita requerida ]} ${\displaystyle \neg }$

En espacios con otras formas bilineales , algunos de estos resultados, aunque no todos, se mantienen. En espacios pseudoeuclidianos y espacios vectoriales simplécticos , por ejemplo, existen complementos ortogonales. Sin embargo, estos espacios pueden tener vectores nulos que sean ortogonales a sí mismos y, en consecuencia, existen subespacios tales que . Como resultado, esta operación no convierte la red de subespacios en un álgebra de Boole (ni en un álgebra de Heyting ). ^{[ cita requerida ]} ${\displaystyle N}$ ${\displaystyle N\cap N^{\perp }\neq \{0\}}$

Algoritmos

La mayoría de los algoritmos para trabajar con subespacios implican la reducción de filas . Este es el proceso de aplicar operaciones elementales de filas a una matriz, hasta que alcanza la forma escalonada por filas o la forma escalonada por filas reducida . La reducción de filas tiene las siguientes propiedades importantes:

1. La matriz reducida tiene el mismo espacio nulo que la original.
2. La reducción de filas no cambia el espacio de los vectores de fila, es decir, la matriz reducida tiene el mismo espacio de filas que la original.
3. La reducción de filas no afecta la dependencia lineal de los vectores de columna.

Base para un espacio de fila

Entrada Una matriz m  ×  n A .

Salida Una base para el espacio de filas de A.

1. Utilice operaciones de fila elementales para poner A en forma escalonada.
2. Las filas distintas de cero de la forma escalonada son una base para el espacio de filas de A.

Consulte el artículo sobre el espacio entre filas para ver un ejemplo .

Si, en cambio, ponemos la matriz A en forma escalonada reducida, entonces la base resultante para el espacio de filas se determina de manera única. Esto proporciona un algoritmo para verificar si dos espacios de filas son iguales y, por extensión, si dos subespacios de K ⁿ son iguales.

Membresía del subespacio

Entrada Una base { b ₁ , b ₂ , ..., b _k } para un subespacio S de K ⁿ , y un vector v con n componentes.

Salida Determina si v es un elemento de S

1. Crea una matriz A ( k  + 1) ×  n cuyas filas sean los vectores b ₁ , ... ,  b _k y v .
2. Utilice operaciones de fila elementales para poner A en forma escalonada.
3. Si la forma escalonada tiene una fila de ceros, entonces los vectores { b ₁ , ..., b _k , v } son linealmente dependientes y, por lo tanto, v ∈ S .

Base para un espacio de columna

Entrada Una matriz m  ×  n A

Salida Una base para el espacio de columnas de A

1. Utilice operaciones de fila elementales para poner A en forma escalonada.
2. Determinar qué columnas de la forma escalonada tienen pivotes . Las columnas correspondientes de la matriz original son una base para el espacio de columnas.

Consulte el artículo sobre el espacio de columnas para ver un ejemplo .

Esto produce una base para el espacio de columnas que es un subconjunto de los vectores de columnas originales. Funciona porque las columnas con pivotes son una base para el espacio de columnas de la forma escalonada y la reducción de filas no cambia las relaciones de dependencia lineal entre las columnas.

Coordenadas de un vector

Entrada Una base { b ₁ , b ₂ , ..., b _k } para un subespacio S de K ⁿ , y un vector v ∈ S

Números de salida t ₁ , t ₂ , ..., t _k tales que v = t ₁ b ₁ + ··· + t _k b _k

1. Crea una matriz aumentada A cuyas columnas sean b ₁ ,..., b _k , siendo la última columna v .
2. Utilice operaciones de fila elementales para poner A en forma escalonada reducida.
3. Expresar la columna final de la forma escalonada reducida como una combinación lineal de las primeras k columnas. Los coeficientes utilizados son los números deseados t ₁ , t ₂ , ..., t _k . (Estos deben ser precisamente las primeras k entradas en la columna final de la forma escalonada reducida).

Si la columna final de la forma escalonada reducida contiene un pivote, entonces el vector de entrada v no se encuentra en S.

Base para un espacio nulo

Entrada Una matriz m  ×  n A .

Salida Una base para el espacio nulo de A

1. Utilice operaciones de fila elementales para poner A en forma escalonada reducida.
2. Utilizando la forma escalonada reducida, determine cuáles de las variables x ₁ , x ₂ , ..., x _n son libres. Escriba ecuaciones para las variables dependientes en términos de las variables libres.
3. Para cada variable libre x _i , elija un vector en el espacio nulo para el cual x _i = 1 y las variables libres restantes sean cero. La colección de vectores resultante es una base para el espacio nulo de A .

Consulte el artículo sobre espacio nulo para ver un ejemplo .

Base para la suma e intersección de dos subespacios

Dados dos subespacios U y W de V , se puede calcular una base de la suma y la intersección utilizando el algoritmo de Zassenhaus . ${\displaystyle U+W}$ ${\displaystyle U\cap W}$

Ecuaciones para un subespacio

Entrada A base { b ₁ , b ₂ , ..., b _k } para un subespacio S de K ⁿ

Salida Una matriz ( n  −  k ) ×  n cuyo espacio nulo es S .

1. Crea una matriz A cuyas filas sean b ₁ , b ₂ , ..., b _k .
2. Utilice operaciones de fila elementales para poner A en forma escalonada reducida.
3. Sean c ₁ , c ₂ , ..., c _n las columnas de la forma escalonada reducida. Para cada columna sin pivote, escribe una ecuación que exprese la columna como una combinación lineal de las columnas con pivotes.
4. Esto da como resultado un sistema homogéneo de n − k ecuaciones lineales que involucran las variables c ₁ ,..., c _n . La matriz ( n − k ) × n correspondiente a este sistema es la matriz deseada con espacio nulo S .

Ejemplo

Si la forma escalonada reducida de A es

${\displaystyle \left[{\begin{alignedat}{6}1&&0&&-3&&0&&2&&0\\0&&1&&5&&0&&-1&&4\\0&&0&&0&&1&&7&&-9\\0&&\;\;\;\;\;0&&\;\;\;\;\;0&&\;\;\;\;\;0&&\;\;\;\;\;0&&\;\;\;\;\;0\end{alignedat}}\,\right]}$

entonces los vectores columna c ₁ , ..., c ₆ satisfacen las ecuaciones

${\displaystyle {\begin{alignedat}{1}\mathbf {c} _{3}&=-3\mathbf {c} _{1}+5\mathbf {c} _{2}\\\mathbf {c} _{5}&=2\mathbf {c} _{1}-\mathbf {c} _{2}+7\mathbf {c} _{4}\\\mathbf {c} _{6}&=4\mathbf {c} _{2}-9\mathbf {c} _{4}\end{alignedat}}}$

De ello se deduce que los vectores fila de A satisfacen las ecuaciones

${\displaystyle {\begin{alignedat}{1}x_{3}&=-3x_{1}+5x_{2}\\x_{5}&=2x_{1}-x_{2}+7x_{4}\\x_{6}&=4x_{2}-9x_{4}.\end{alignedat}}}$

En particular, los vectores fila de A son una base para el espacio nulo de la matriz correspondiente.

Véase también

• Subespacio cíclico
• Subespacio invariante
• Aprendizaje de subespacios multilineales
• Espacio cociente (álgebra lineal)
• Subespacio de señal
• Topología del subespacio

Notas

1. El término subespacio lineal se utiliza a veces para referirse a planos y subespacios afines . En el caso de los espacios vectoriales sobre los números reales, los subespacios lineales, planos y subespacios afines también se denominan variedades lineales para enfatizar que también hay variedades .
2. En general, K puede ser cualquier campo con características tales que la matriz entera dada tenga el rango apropiado en él. Todos los campos incluyen números enteros , pero algunos números enteros pueden ser iguales a cero en algunos campos.
3. Esta definición a menudo se enuncia de forma diferente: los vectores v ₁ , ..., v _k son linealmente independientes si t ₁ v ₁ + ··· + t _k v _k ≠ 0 para ( t ₁ , t ₂ , ..., t _k ) ≠ (0, 0, ..., 0) . Las dos definiciones son equivalentes.

Citas

1. Halmos (1974) págs. 16-17, § 10
2. Antón (2005, pág. 155)
3. Beauregard y Fraleigh (1973, pág.176)
4. Herstein (1964, pág. 132)
5. Kreyszig (1972, pág. 200)
6. Nering (1970, pág. 20)
7. Hefferon (2020) pág. 100, cap. 2, Definición 2.13
8. MathWorld (2021) Subespacio.
9. DuChateau (2002) Datos básicos sobre el espacio de Hilbert: notas de clase de la Universidad Estatal de Colorado sobre ecuaciones diferenciales parciales (M645).
10. Nering (1970, pág. 21)
11. Hefferon (2020) pág. 100, cap. 2, Definición 2.13
12. Nering (1970, pág. 20)
13. Nering (1970, pág. 21)
14. Operadores relacionados con el espacio vectorial.
15. Nering (1970, pág. 22)
16. Hefferon (2020) pág. 148, cap. 2, §4.10
17. Axler (2015) pág. 21 § 1.40
18. Katznelson y Katznelson (2008) págs. 10-11, § 1.2.5
19. Halmos (1974) págs. 28-29, § 18
20. Halmos (1974) págs. 30-31, § 19
21. Axler (2015) pág. 193, § 6.46
22. Axler (2015) pág. 195, § 6.50
23. Axler (2015) pág. 194, § 6.47
24. Axler (2015) pág. 195, § 6.51

Fuentes

Libro de texto

• Anton, Howard (2005), Álgebra lineal elemental (versión de aplicaciones) (novena edición), Wiley International
• Axler, Sheldon Jay (2015). Álgebra lineal bien hecha (3.ª ed.). Springer . ISBN 978-3-319-11079-0.
• Beauregard, Raymond A.; Fraleigh, John B. (1973), Un primer curso de álgebra lineal: con introducción opcional a grupos, anillos y campos , Boston: Houghton Mifflin Company , ISBN 0-395-14017-X
• Halmos, Paul Richard (1974) [1958]. Espacios vectoriales de dimensión finita (2.ª ed.). Springer . ISBN 0-387-90093-4.
• Hefferon, Jim (2020). Álgebra lineal (4.ª ed.). Orthogonal Publishing. ISBN 978-1-944325-11-4.
• Herstein, IN (1964), Temas de álgebra , Waltham: Blaisdell Publishing Company, ISBN 978-1114541016
• Katznelson, Yitzhak ; Katznelson, Yonatan R. (2008). Una introducción (concisa) al álgebra lineal . Sociedad Matemática Estadounidense . ISBN 978-0-8218-4419-9.
• Kreyszig, Erwin (1972), Matemáticas avanzadas de ingeniería (3.ª ed.), Nueva York: Wiley , ISBN 0-471-50728-8
• Lay, David C. (22 de agosto de 2005), Álgebra lineal y sus aplicaciones (3.ª ed.), Addison Wesley, ISBN 978-0-321-28713-7
• Leon, Steven J. (2006), Álgebra lineal con aplicaciones (7.ª ed.), Pearson Prentice Hall
• Meyer, Carl D. (15 de febrero de 2001), Análisis de matrices y álgebra lineal aplicada, Sociedad de Matemáticas Industriales y Aplicadas (SIAM), ISBN 978-0-89871-454-8, archivado desde el original el 1 de marzo de 2001
• Nering, Evar D. (1970), Álgebra lineal y teoría de matrices (2.ª ed.), Nueva York: Wiley , LCCN  76091646
• Poole, David (2006), Álgebra lineal: una introducción moderna (2.ª ed.), Brooks/Cole, ISBN 0-534-99845-3

Web

• Weisstein, Eric Wolfgang . «Subespacio». MathWorld . Consultado el 16 de febrero de 2021 .
• DuChateau, Paul (5 de septiembre de 2002). "Datos básicos sobre el espacio de Hilbert" (PDF) . Universidad Estatal de Colorado . Consultado el 17 de febrero de 2021 .

Enlaces externos

• Strang, Gilbert (7 de mayo de 2009). «Los cuatro subespacios fundamentales». Archivado desde el original el 11 de diciembre de 2021. Consultado el 17 de febrero de 2021 en YouTube .
• Strang, Gilbert (5 de mayo de 2020). «El panorama general del álgebra lineal». Archivado desde el original el 11 de diciembre de 2021. Consultado el 17 de febrero de 2021 en YouTube .