Para definir la transformación lineal \( F: \mathbb{R}^3 \to \mathbb{R}^{2 \times 2} \) cumpliendo las condiciones dadas, sigamos estos pasos:
La condición \( \operatorname{Nu}(F) = \operatorname{gen} \{ (1,1,0) \} \) significa que el espacio nulo de \( F \) está generado por el vector \( (1,1,0) \), es decir, si \( F(x, y, z) = \begin{pmatrix} 0 & 0 \\0 & 0\end{pmatrix} \), entonces necesariamente \( (x, y, z) \) debe ser un múltiplo de \( (1,1,0) \). En términos de dimensión, esto implica que \( \dim(\operatorname{Nu}(F)) = 1 \), por lo que, por el Teorema de las dimensiones, la imagen tiene dimensión \( \dim(\operatorname{Im}(F)) = 3 - 1 = 2 \).
La segunda condición indica que la imagen de \( F \) está contenida en el espacio de matrices simétricas de \( \mathbb{R}^{2 \times 2} \). Esto significa que cualquier matriz \( F(x, y, z) \) debe cumplir \( A = A^T \), lo que restringe su forma a: \[F(x, y, z) = \begin{pmatrix} a & b \\ b & d \end{pmatrix}\] para ciertos coeficientes \( a, b, d \) que dependen de \( x, y, z\).
Por el Teorema Fundamental de las Transformaciones Lineales (TFTL), una transformación lineal queda completamente determinada si conocemos en qué se transforman los vectores de una base del dominio.
Tomemos la base de \( \mathbb{R}^3 \):
\[B = \{ (1,1,0), (1,0,0), (1,1,1) \}\]
y definamos \( F \) de acuerdo con las condiciones dadas:
Dado que \( F \) es lineal, podemos expresar su acción sobre un vector genérico \( (x, y, z) \) escribiéndolo como combinación lineal de vectores de la base: \[(x, y, z) = \alpha \;(1,1,0) + \beta \;(1,0,0) + \gamma \;(1,1,1)\] Resolvemos el sistema: \[\left\{\begin{matrix} \alpha +\beta +\gamma =x \\ \alpha + \gamma = y \\ \gamma =z \end{matrix}\right. \Rightarrow \begin{matrix} \alpha = y-z \\ \beta = x-y \\ \gamma = z\end{matrix} \] Ahora reeemplazamos los coeficientes en función de las componentes del vector genérico del dominio y aplicamos la transformación: \[F(x, y, z) = (y-z) \;F(1,1,0) + (x-y) \;F(1,0,0) + z \;F(1,1,1)\] Sustituyendo los valores obtenidos: \[F(x, y, z) = (y-z) \begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix} + (x-y) \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix} + z \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}\] \[F(x, y, z)= \begin{pmatrix} x - y & z \\ z & 0 \end{pmatrix}\]
1. Núcleo:
Buscamos \( (x, y, z) \) tal que: \[ \begin{pmatrix} x - y & z \\ z & 0 \end{pmatrix} = \begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix}\]
Esto implica el sistema:
\[x - y = 0, \quad z = 0\]
De donde se obtiene \( x = y, \; z = 0 \); lo que confirma que \( \operatorname{Nu}(F) \) está generado por \( (1,1,0) \).
2. Imagen:
Todas las matrices generadas por \( F \) son simétricas, pues verifican \( A = A^T \), cumpliendo la segunda condición.