Autor Tema: Calcular dimensiones del núcleo y la imagen.

0 Usuarios y 1 Visitante están viendo este tema.

31 Marzo, 2013, 11:08 pm
Leído 1224 veces

mathsandphysics

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 177
  • Karma: +0/-0
  • Sexo: Masculino
Saludos amigos. En el siguiente problema me dan la aplicación lineal \( f: \mathbb{R}[x]_m \to \mathbb{R}^n  \) definida por \( f((p(x))=(p(a_1), \cdots , p(a_n)) \), siendo \( a_1, \cdots , a_n  \) números reales diferentes entre sí. Me piden en primer lugar la matriz de la aplicación en las bases usuales. El espacio \(  \mathbb{R}[x]_m \) tiene por base \( \{ 1,x,x^2 , \cdots , x^m \} \) y una base del espacio \( \mathbb{R}^n \) es \( \{ e_1 , \cdots , e_n \} \), por lo que si no me he equivocado la matriz de la aplicación en estas bases es

\( \begin{pmatrix} 1 & a_1 & a_1^2 & \cdots & a_1 ^ m \\ 1 & a_2 & a_2 ^2 & \cdots & a_2 ^ m \\ \vdots & \vdots &  \vdots & \ddots & \vdots \\ 1 & a_n & a_n^2 & \cdots & a_n ^m \end{pmatrix} \in M_{n \times (m+1) } (\mathbb{R}) \)

La dificultad reside en la siguiente cuestión, donde me piden calcular la dimensión del núcleo y de la imagen de f en función de m y n. Sé que si m+1=n, entonces la matriz es cuadrada, el determinante es el de Vandermonde y por ser los \( a_i \) diferentes la matriz es invertible. No obstante, no sé muy bien qué criterio seguir para calcular, de modo general y en función de m y n, el rango de la matriz.

Agradezco de antemano vuestra posible ayuda.
¡Un saludo!

05 Abril, 2013, 08:39 pm
Respuesta #1

mathsandphysics

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 177
  • Karma: +0/-0
  • Sexo: Masculino
Tras meditarlo, he llegado a la siguiente conclusión.

Si \( m+1=n \) la matriz es invertible y \( \dim \text{Im}\; f = m+1 =n \) y \( \dim \ker f = 0 \).
Si \( m+1> n  \), entonces \( \dim \text{Im}\; f =n \) y \( \dim \ker f = m+1-n \).
Si \( m+1 < n \), entonces \( \dim \text{Im}\; f =m+1 \) y \( \dim \text{ker}\; f = 0 \).

Es decir, el rango de la matriz es siempre máximo. ¿Hay algún método formal de demostrarlo?
Se me ha ocurrido que, en cada caso, podemos tomar un menor \( k\times k \), siendo \( k = \text{min} \{ m+1 , n \} \), y como el determinante que queda es el de Vandermonde y los \( a_i \) son diferentes, el rango será \( k \).  ¿Es correcto el razonamiento?

Saludos

Muchas gracias, como siempre