Definición
Para una aplicación lineal L: V → W entre espacios vectoriales, el espacio nulo es el subespacio de V formado por todos los vectores x con L x = 0; también se le llama kernel o espacio de soluciones homogéneas de L x = 0.

Principio

Principio
La linealidad implica que el espacio nulo es un subespacio lineal; su dimensión (nulidad) mide los grados de libertad de las soluciones homogéneas y participa en la relación rango‑nulidad en mapas de dimensión finita.

Demostración

Demostración
Para una matriz A∈R^{m×n}, el espacio nulo es el conjunto de vectores x∈R^n que satisfacen A x = 0; calcular una base mediante eliminación de Gauss da la forma paramétrica de todas las soluciones homogéneas.

Aplicación incorrecta

Aplicación incorrecta
Confundir el espacio nulo de L con el complemento ortogonal de la imagen de L*: estos espacios están relacionados por el teorema fundamental del álgebra lineal solo en espacios con producto interno y exigen atención al dominio y codominio.

Consecuencia

Consecuencia
Caracterizar el espacio nulo aporta información sobre existencia y multiplicidad de soluciones de sistemas lineales; su dimensión interviene en el recuento de restricciones independientes e indica inyectividad (espacio nulo trivial = inyectividad).

Inversión

Inversión
La noción dual es la imagen (alcance) de L: mientras el espacio nulo mide dónde L anula vectores, la imagen mide qué objetivos son alcanzables por L.

Límite

Límite
El espacio nulo está definido únicamente para aplicaciones lineales (u operadores lineales); las aplicaciones no lineales tienen conjuntos de soluciones de f(x)=0 que generalmente no son subespacios lineales y carecen de estructura rango‑nulidad.

Tensión semántica

Tensión semántica
Espacio nulo versus kernel terminológico: ambos son sinónimos en álgebra lineal, pero 'kernel' también tiene otros significados en análisis y probabilidad, por lo que el contexto desambigua.

Síntesis

Síntesis
El espacio nulo es el subespacio lineal de entradas que un mapa lineal envía a cero; es central para la resolubilidad, recuentos de dimensión y la estructura de sistemas lineales.