Math ClubMath Club
v1 · padrão canônico

Lección 113 — Núcleo e imagen

Núcleo (kernel), imagen (rango), rango y nulidad. Teorema rango-nulidad. Las dos estructuras asociadas a toda transformación lineal que responden 'quién desaparece?' y 'hasta dónde llega?'

Used in: 3.º año de Bachillerato avanzado · Equiv. Lineare Algebra Leistungskurs alemán · Equiv. H2 Mathematics Singapur · Equiv. Linear Algebra MIT 18.06

dimV=dimkerT+dimIm(T)\dim V = \dim \ker T + \dim \operatorname{Im}(T)
Choose your door

Rigorous notation, full derivation, hypotheses

Definiciones y teorema central

Núcleo e imagen

"The null space of TT, denoted N(T)\mathcal{N}(T), is the set N(T)={vV:T(v)=0}\mathcal{N}(T) = \{v \in V : T(v) = 0\}." — Beezer, A First Course in Linear Algebra, §KER

"The range of TT, denoted R(T)\mathcal{R}(T), is the set R(T)={T(v):vV}\mathcal{R}(T) = \{T(v) : v \in V\}." — Beezer, A First Course in Linear Algebra, §RNG

Los cuatro subespacios fundamentales

Para ARm×nA \in \mathbb{R}^{m \times n} con rango rr:

Dominio: ℝⁿEspacio-filadim rNúcleo ker Adim n−rAContradominio: ℝᵐImagen Col(A)dim rNúcleo de Aᵀdim m−rEspacio-fila ⊥ ker(A)Col(A) ⊥ ker(Aᵀ)

Los cuatro subespacios fundamentales de Strang. El rango r aparece en dos lugares; la nulidad n-r y m-r rellenan el complemento ortogonal.

Caracterizaciones de inyectividad y sobreyectividad

Ejemplos resueltos

Exercise list

34 exercises · 8 with worked solution (25%)

Application 17Understanding 4Modeling 4Challenge 1Proof 8
  1. Ex. 113.1ApplicationAnswer key

    Determina el núcleo de T:R2R2T: \mathbb{R}^2 \to \mathbb{R}^2, T(x,y)=(x+y,  x+y)T(x, y) = (x + y, \; x + y).

  2. Ex. 113.2Application

    Determina la imagen de T(x,y)=(x+y,x+y)T(x,y) = (x+y, x+y) y su dimensión.

  3. Ex. 113.3ApplicationAnswer key

    Verifica el teorema rango-nulidad para T(x,y)=(x+y,  x+y)T(x,y) = (x+y,\; x+y) usando los resultados de los dos ejercicios anteriores.

  4. Ex. 113.4ApplicationAnswer key

    Para A=(1236)A = \begin{pmatrix} 1 & 2 \\ 3 & 6 \end{pmatrix}, determina núcleo, imagen, rango y nulidad.

  5. Ex. 113.5Application

    Para A=(101011)A = \begin{pmatrix} 1 & 0 & 1 \\ 0 & 1 & 1 \end{pmatrix}, determina núcleo e imagen.

  6. Ex. 113.6Application

    Determina el rango de A=(123456789)A = \begin{pmatrix} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \end{pmatrix}. (Resp: 2.)

  7. Ex. 113.7Application

    Determina el núcleo del operador derivación D:P3P3D: \mathcal{P}_3 \to \mathcal{P}_3, D(p)=pD(p) = p'. (Resp: polinomios constantes.)

  8. Ex. 113.8Application

    Determina la imagen de D:P3P3D: \mathcal{P}_3 \to \mathcal{P}_3, D(p)=pD(p) = p'. (Resp: P2\mathcal{P}_2.)

  9. Ex. 113.9Application

    Verifica el teorema rango-nulidad para D:P3P3D: \mathcal{P}_3 \to \mathcal{P}_3.

  10. Ex. 113.10Application

    Para T:R3R2T: \mathbb{R}^3 \to \mathbb{R}^2, T(x,y,z)=(xy,  yz)T(x,y,z) = (x-y,\; y-z), determina núcleo e imagen.

  11. Ex. 113.11Application

    Determina el rango de la matriz de Vandermonde (111124139)\begin{pmatrix} 1 & 1 & 1 \\ 1 & 2 & 4 \\ 1 & 3 & 9 \end{pmatrix}.

  12. Ex. 113.12ApplicationAnswer key

    Determina el núcleo y la imagen de la proyección ortogonal de R2\mathbb{R}^2 sobre la recta y=xy = x.

  13. Ex. 113.13Application

    AA es una matriz 3×53 \times 5 con rango 3. ¿Cuál es la dimensión del núcleo? (Resp: 2.)

  14. Ex. 113.14Understanding

    Sistema 4×44 \times 4 con detA=0\det A = 0. ¿Puede tener solución única?

  15. Ex. 113.15ApplicationAnswer key

    Resuelve (1224)x=(36)\begin{pmatrix} 1 & 2 \\ 2 & 4 \end{pmatrix} x = \begin{pmatrix} 3 \\ 6 \end{pmatrix} y describe la familia de soluciones.

  16. Ex. 113.16Understanding

    Para A=(1224)A = \begin{pmatrix} 1 & 2 \\ 2 & 4 \end{pmatrix}, ¿el vector b=(1,0)Tb = (1, 0)^T está en la imagen de AA? Justifica.

  17. Ex. 113.17Understanding

    Sistema 5×35 \times 3 con más ecuaciones que incógnitas: ¿tiene más soluciones únicas o soluciones infinitas? Discute los casos.

  18. Ex. 113.18ProofAnswer key

    Demuestra que si Ax=bAx = b tiene solución particular xpx_p, entonces el conjunto completo de soluciones es {xp+h:hkerA}\{x_p + h : h \in \ker A\}.

  19. Ex. 113.19Application

    En R4\mathbb{R}^4, encuentra un vector vv que no pertenece a la imagen de A=(11111111)A = \begin{pmatrix} 1 & 1 \\ 1 & 1 \\ 1 & 1 \\ 1 & 1 \end{pmatrix}.

  20. Ex. 113.20Understanding

    ¿Cuándo ATAA^T A es invertible?

  21. Ex. 113.21Proof

    Demuestra: AA cuadrada n×nn \times n es invertible     \iff rango(A)=n\operatorname{rango}(A) = n     \iff kerA={0}\ker A = \{0\}.

  22. Ex. 113.22ApplicationAnswer key

    Demuestra que el sistema {x+y=12x+2y=3\begin{cases} x + y = 1 \\ 2x + 2y = 3 \end{cases} no tiene solución, verificando que b=(1,3)TIm(A)b = (1,3)^T \notin \operatorname{Im}(A).

  23. Ex. 113.23Application

    Para T:R4R3T: \mathbb{R}^4 \to \mathbb{R}^3 con A=(101201211111)A = \begin{pmatrix} 1 & 0 & -1 & 2 \\ 0 & 1 & 2 & -1 \\ 1 & 1 & 1 & 1 \end{pmatrix}, determina rango, nulidad y clasifica la inyectividad y sobreyectividad de TT.

  24. Ex. 113.24Modeling

    En ML, regresión con 50 características y 5 muestras: XX es 5×505 \times 50. ¿Cuál es el rango máximo de XX? Discute la consecuencia para XTXX^T X y la solución de mínimos cuadrados.

  25. Ex. 113.25Modeling

    En computación gráfica, la proyección perspectiva R3R2\mathbb{R}^3 \to \mathbb{R}^2 descarta la coordenada de profundidad. ¿Cuál es el núcleo? ¿Por qué esto está relacionado con el problema de z-fighting?

  26. Ex. 113.26ModelingAnswer key

    En control, el sistema x˙=Ax+Bu\dot{x} = Ax + Bu es controlable si y solo si la matriz de controlabilidad C=[B,AB,,An1B]\mathcal{C} = [B, AB, \ldots, A^{n-1}B] tiene rango nn. Interpreta esto en términos de núcleo e imagen.

  27. Ex. 113.27Modeling

    En finanzas, portafolio de activos perfectamente correlacionados lleva a matriz de covarianza de rango reducido. ¿Cuáles son las consecuencias prácticas para el análisis de riesgo?

  28. Ex. 113.28Proof

    Demuestra que autovectores correspondientes a autovalores distintos de T:VVT: V \to V son linealmente independientes. (Pre-visualización de Lección 114.)

  29. Ex. 113.29Proof

    Demuestra: rango(A)=rango(AT)\operatorname{rango}(A) = \operatorname{rango}(A^T).

  30. Ex. 113.30Challenge

    Construye una matriz AA de tamaño 3×33 \times 3 con rango exactamente 2 y un vector bb tal que Ax=bAx = b tenga infinitas soluciones.

  31. Ex. 113.31Proof

    Demuestra que kerT\ker T es un subespacio del dominio VV.

  32. Ex. 113.32Proof

    Demuestra que Im(T)\operatorname{Im}(T) es un subespacio del contradominio WW.

  33. Ex. 113.33Proof

    Muestra que rango(AB)min(rango(A),rango(B))\operatorname{rango}(AB) \leq \min(\operatorname{rango}(A), \operatorname{rango}(B)).

  34. Ex. 113.34Proof

    Demuestra: Col(A)ker(AT)\operatorname{Col}(A) \perp \ker(A^T).

Fuentes de esta lección

  • A First Course in Linear Algebra — Robert A. Beezer · 3ª ed. · EN · GNU FDL · §ILT, §KER, §RNG, §SLT, §RNNM, §NME. Fuente primaria de ejercicios.
  • Linear Algebra — Jim Hefferon · 4ª ed. · EN · CC-BY-SA · cap. 3, §II. Fuente de ejemplos resueltos y ejercicios de modelaje.
  • Linear Algebra Done Right — Sheldon Axler · 4ª ed. · EN · CC-BY-NC · §3D. Perspectiva abstracta sin determinantes.

Updated on 2026-05-11 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.