En matemáticas , el núcleo de una aplicación lineal , también conocido como espacio nulo o espacio nulo , es la parte del dominio que se asigna al vector cero del codominio; el núcleo es siempre un subespacio lineal del dominio. [1] Es decir, dado un mapa lineal L : V → W entre dos espacios vectoriales V y W , el núcleo de L es el espacio vectorial de todos los elementos v de V tales que L ( v ) = 0 , donde 0 denota el vector cero en W , [2] o más simbólicamente:
Propiedades
El núcleo de L es un subespacio lineal del dominio V. [3] [2]
En el mapa lineal dos elementos de V tienen la misma imagen en W si y sólo si su diferencia radica en el núcleo de L , es decir,
De esto se deduce que la imagen de L es isomorfa al cociente de V por el núcleo:En el caso de que V sea de dimensión finita , esto implica el teorema de rango-nulidad :
donde el términorango se refiere a la dimensión de la imagen deL,mientras quela nulidad se refiere a la dimensión del núcleo deL,[4]
Es decir,
de modo que el teorema de rango-nulidad puede reformularse como
La noción de núcleo también tiene sentido para homomorfismos de módulos , que son generalizaciones de espacios vectoriales donde los escalares son elementos de un anillo , en lugar de un campo . El dominio del mapeo es un módulo, y el núcleo constituye un submódulo . Aquí los conceptos de rango y nulidad no necesariamente se aplican.
Considere un mapa lineal representado como una matriz A de m × n con coeficientes en un campo K (típicamente o ), que opera en vectores de columna x con n componentes sobre K. El núcleo de esta aplicación lineal es el conjunto de soluciones de la ecuación A x = 0 , donde 0 se entiende como el vector cero . La dimensión del núcleo de A se llama nulidad de A. En notación de constructor de conjuntos ,
la ecuación matricial es equivalente a un sistema homogéneo de ecuaciones lineales :
por lo tanto, el núcleo de A es el mismo que la solución establecida para las ecuaciones homogéneas anteriores.
Propiedades del subespacio
El núcleo de una matriz A de m × n sobre un campo K es un subespacio lineal de K n . Es decir, el núcleo de A , el conjunto Null( A ) , tiene las siguientes tres propiedades:
Null( A ) siempre contiene el vector cero , ya que A 0 = 0 .
Si x ∈ Nulo( A ) y y ∈ Nulo( A ) , entonces x + y ∈ Nulo( A ) . Esto se desprende de la distributividad de la multiplicación de matrices sobre la suma.
Si x ∈ Nulo( A ) y c es un escalar c ∈ K , entonces c x ∈ Nulo( A ) , ya que A ( c x ) = c ( A x ) = c 0 = 0 .
El espacio de filas de una matriz.
El producto A x se puede escribir en términos del producto escalar de vectores de la siguiente manera:
Aquí, a 1 , ... , am denotan las filas de la matriz A . De ello se deduce que x está en el núcleo de A , si y sólo si x es ortogonal (o perpendicular) a cada uno de los vectores fila de A (ya que la ortogonalidad se define como un producto escalar de 0).
El espacio de filas , o coimagen, de una matriz A es el intervalo de los vectores de filas de A. Según el razonamiento anterior, el núcleo de A es el complemento ortogonal del espacio de filas. Es decir, un vector x se encuentra en el núcleo de A , si y sólo si es perpendicular a cada vector en el espacio de filas de A.
La dimensión del espacio de filas de A se llama rango de A , y la dimensión del núcleo de A se llama nulidad de A. Estas cantidades están relacionadas por el teorema de rango-nulidad [4]
Espacio nulo izquierdo
El espacio nulo izquierdo , o cokernel , de una matriz A consta de todos los vectores columna x tales que x T A = 0 T , donde T denota la transpuesta de una matriz. El espacio nulo izquierdo de A es el mismo que el núcleo de A T. El espacio nulo izquierdo de A es el complemento ortogonal del espacio columna de A y es dual al cokernel de la transformación lineal asociada. El núcleo, el espacio de filas, el espacio de columnas y el espacio nulo izquierdo de A son los cuatro subespacios fundamentales asociados con la matriz A.
Sistemas no homogéneos de ecuaciones lineales.
El núcleo también juega un papel en la solución de un sistema no homogéneo de ecuaciones lineales:
si u y v son dos posibles soluciones a la ecuación anterior, entonces,
entonces, la diferencia de dos soluciones cualesquiera de la ecuación A x = b se encuentra en el núcleo de A.
De ello se deduce que cualquier solución de la ecuación A x = b puede expresarse como la suma de una solución fija v y un elemento arbitrario del núcleo. Es decir, la solución establecida en la ecuación A x = b es
Geométricamente, esto dice que la solución establecida en A x = b es la traslación del núcleo de A por el vector v . Véase también alternativa de Fredholm y plano (geometría) .
Ilustración
La siguiente es una ilustración sencilla del cálculo del núcleo de una matriz (consulte § Cálculo mediante eliminación gaussiana, más adelante para conocer métodos más adecuados para cálculos más complejos). La ilustración también aborda el espacio de las filas y su relación con el núcleo.
Considere la matriz
El núcleo de esta matriz consta de todos los vectores ( x , y , z ) ∈ R 3 para los
cuales se puede expresar como un sistema homogéneo de ecuaciones lineales que involucran x , y y z :
Las mismas ecuaciones lineales también se pueden escribir en forma matricial como:
Dado que c es una variable libre que abarca todos los números reales, esto se puede expresar igualmente bien como:
El núcleo de A es precisamente el conjunto de soluciones de estas ecuaciones (en este caso, una recta que pasa por el origen en R 3 ). Aquí, dado que el vector (−1,−26,16) T constituye una base del núcleo de A . La nulidad de A es 1.
Los siguientes productos escalares son cero:
lo que ilustra que los vectores en el núcleo de A son ortogonales a cada uno de los vectores fila de A.
Estos dos vectores fila (linealmente independientes) abarcan el espacio fila de A , un plano ortogonal al vector (−1,−26,16) T.
Con el rango 2 de A , la nulidad 1 de A y la dimensión 3 de A , tenemos una ilustración del teorema de nulidad de rango.
Ejemplos
Si L : R m → R n , entonces el núcleo de L es el conjunto de soluciones de un sistema homogéneo de ecuaciones lineales . Como en la ilustración anterior, si L es el operador: entonces el núcleo de L es el conjunto de soluciones de las ecuaciones
Sea C [0,1] el espacio vectorial de todas las funciones continuas de valores reales en el intervalo [0,1] y defina L : C [0,1] → R según la regla Entonces el núcleo de L consta de todos funciones f ∈ C [0,1] para las cuales f (0.3) = 0 .
Sea C ∞ ( R ) el espacio vectorial de todas las funciones infinitamente diferenciables R → R , y sea D : C ∞ ( R ) → C ∞ ( R ) el operador de diferenciación : Entonces el núcleo de D consta de todas las funciones en C ∞ ( R ) cuyas derivadas son cero, es decir, el conjunto de todas las funciones constantes .
Sea R ∞ el producto directo de infinitas copias de R , y sea s : R ∞ → R ∞ el operador de desplazamiento Entonces el núcleo de s es el subespacio unidimensional que consta de todos los vectores ( x 1 , 0, 0, 0,...) .
Calculando su forma escalonada de columnas mediante eliminación gaussiana (o cualquier otro método adecuado), obtenemos una matriz A base del núcleo de A que consiste en las columnas distintas de cero de C, de modo que la columna correspondiente de B es una columna cero .
De hecho, el cálculo puede detenerse tan pronto como la matriz superior esté en forma escalonada de columnas: el resto del cálculo consiste en cambiar la base del espacio vectorial generado por las columnas cuya parte superior es cero.
Por ejemplo, supongamos que
entonces
Poner la parte superior en forma escalonada de columnas mediante operaciones de columna en toda la matriz da
Las últimas tres columnas de B son columnas cero. Por tanto, los tres últimos vectores de C ,
son una base del núcleo de A .
Prueba de que el método calcula el núcleo: dado que las operaciones de columna corresponden a la posmultiplicación por matrices invertibles, el hecho de que se reduzca a significa que existe una matriz invertible tal que en forma escalonada de columnas. Así , , y . Un vector de columna pertenece al núcleo de (es decir ) si y sólo si dónde . Como está en forma escalonada de columnas, , si y solo si las entradas distintas de cero de corresponden a las columnas cero de . Multiplicando por , se puede deducir que este es el caso si y sólo si es una combinación lineal de las columnas correspondientes de .
Computación numérica
El problema de calcular el núcleo en una computadora depende de la naturaleza de los coeficientes.
Para matrices cuyas entradas son números de punto flotante , el problema de calcular el núcleo sólo tiene sentido para matrices en las que el número de filas es igual a su rango: debido a los errores de redondeo , una matriz de punto flotante casi siempre tiene un rango completo , incluso cuando se trata de una aproximación de una matriz de rango mucho menor. Incluso para una matriz de rango completo, es posible calcular su núcleo sólo si está bien condicionado , es decir, tiene un número de condición bajo . [5] [ cita necesaria ]
Incluso para una matriz de rango completo bien condicionada, la eliminación gaussiana no se comporta correctamente: introduce errores de redondeo que son demasiado grandes para obtener un resultado significativo. Como el cálculo del núcleo de una matriz es un caso especial de resolución de un sistema homogéneo de ecuaciones lineales, el núcleo se puede calcular con cualquiera de los diversos algoritmos diseñados para resolver sistemas homogéneos. Un software de última generación para este propósito es la biblioteca Lapack . [ cita necesaria ]
^ Weisstein, Eric W. "Núcleo". mathworld.wolfram.com . Consultado el 9 de diciembre de 2019 .
^ ab "Kernel (espacio nulo) | Wiki brillante de matemáticas y ciencias". brillante.org . Consultado el 9 de diciembre de 2019 .
^ El álgebra lineal, como se analiza en este artículo, es una disciplina matemática muy bien establecida para la cual existen muchas fuentes. Casi todo el material de este artículo se puede encontrar en Lay 2005, Meyer 2001 y las conferencias de Strang.
^ ab Weisstein, Eric W. "Teorema de nulidad de rangos". mathworld.wolfram.com . Consultado el 9 de diciembre de 2019 .
^ "Copia archivada" (PDF) . Archivado desde el original (PDF) el 29 de agosto de 2017 . Consultado el 14 de abril de 2015 .{{cite web}}: CS1 maint: archived copy as title (link)
Bibliografía
Axler, Sheldon Jay (1997), Álgebra lineal bien hecha (2ª ed.), Springer-Verlag, ISBN 0-387-98259-0.
Lay, David C. (2005), Álgebra lineal y sus aplicaciones (3.ª ed.), Addison Wesley, ISBN 978-0-321-28713-7.
Meyer, Carl D. (2001), Análisis matricial y álgebra lineal aplicada, Sociedad de Matemáticas Industriales y Aplicadas (SIAM), ISBN 978-0-89871-454-8, archivado desde el original el 31 de octubre de 2009.
Poole, David (2006), Álgebra lineal: una introducción moderna (2ª ed.), Brooks/Cole, ISBN 0-534-99845-3.
Anton, Howard (2005), Álgebra lineal elemental (versión de aplicaciones) (9ª ed.), Wiley International.
Leon, Steven J. (2006), Álgebra lineal con aplicaciones (7ª ed.), Pearson Prentice Hall.