Encuentre una base para la imagen y el núcleo de una transformación lineal

Estoy teniendo un poco de dificultad para obtener una respuesta a este problema. Específicamente, encontrar una base para el núcleo de una transformación, ker ( T ) .

Dejar

pag 1 ( t ) = 1 + t pag 2 ( t ) = t + t 2 pag 3 ( t ) = 1 + t 3 , y pag 4 ( t ) = 2 t t 2 t 3 .
Dejar W = durar { pag 1 , pag 2 , pag 3 , pag 4 } , un subespacio de PAG 3 .

Dejar T : W PAG 2 Sea una transformación lineal tal que T ( pag i ) = q i dónde

q 1 ( t ) = 1 + t + t 2 q 2 ( t ) = 2 + 4 t t 2 q 3 ( t ) = 1 + 11 t + t 2 y q 4 ( t ) = 4 14 t + t 2 .

  1. Encuentre una base para soy ( T ) . Los elementos de esta base deben ser polinomios en PAG 2 .
  2. Encuentre una base para ker ( T ) . Los elementos de esta base deben ser polinomios en W .

He podido encontrar (1) tomando la imagen de cada elemento en W (dada por q 1 . . . q 4 ) colocándolos en una matriz y reducción de filas para encontrar el espacio de la columna. aqui yo se que { q 1 , q 2 } formar una base para soy ( T ) .

Sin embargo, tengo problemas para encontrar ker ( T ) . Creo que el siguiente paso es encontrar el espacio nulo de la matriz con columnas vectoriales de q 1 q 4 , pero no estoy seguro de esto. La respuesta dada es gramo = 3 pag 1 2 pag 2 + pag 3 . Esto parece ocurrir si encuentro el espacio nulo de una matriz con columnas q 1 q 3 , pero que pasa q 4 ? Probablemente estoy malinterpretando algo aquí.

¡Gracias!

Respuestas (2)

No sé si esta es la mejor manera de hacer esto, pero traté de determinar T de los puntos de datos dados T ( pag i ) = q i .

Tengo la matriz (ver apéndice)

T = ( a 1 a 2 a a b 11 b 10 b 6 b C 1 C C 1 C d d d d )
dónde a , b , C , d son variables libres. Así que tenemos muchos candidatos para T .

Resolviendo para T X = 0 :

( a 1 a 2 a a b 11 b 10 b 6 b C 1 C C 1 C d d d d ) ( a 1 a 2 a a b 11 b 10 b 6 b C 1 C C 1 C 1 1 1 1 ) ( a a 1 a + 1 a + 1 b b + 1 b + 5 b + 11 C C + 1 C C + 1 1 1 1 1 ) ( 0 1 1 1 0 1 5 11 0 1 0 1 1 1 1 1 ) ( 0 0 1 2 0 0 5 10 0 1 0 1 1 0 1 0 ) ( 0 0 0 0 0 0 1 2 0 1 0 1 1 0 0 2 ) ( 1 0 0 2 0 1 0 1 0 0 1 2 0 0 0 0 )
Esto da las soluciones X = ( 2 s , s , 2 s , s ) = s ( 2 , 1 , 2 , 1 ) = s ( 2 t 2 t 2 + t 3 ) para s R , de este modo ker T es creado por un vector base, que concuerda con su solución.

Determinando T

Sabemos q = T PAG con

P =

  -1   0  -1   0
   1  -1   0   2
   0   1   0  -1
   0   0   1  -1

Q =

   -1    2    1   -4
    1    4   11  -14
    1   -1    1    1
    0    0    0    0

y luego linealizar T en X = ( t 11 , t 12 , t 13 , t 14 , t 21 , , t 44 ) para obtener un sistema A X = b con

A =

  -1   1   0   0   0   0   0   0   0   0   0   0   0   0   0   0
   0  -1   1   0   0   0   0   0   0   0   0   0   0   0   0   0
  -1   0   0   1   0   0   0   0   0   0   0   0   0   0   0   0
   0   2  -1  -1   0   0   0   0   0   0   0   0   0   0   0   0
   0   0   0   0  -1   1   0   0   0   0   0   0   0   0   0   0
   0   0   0   0   0  -1   1   0   0   0   0   0   0   0   0   0
   0   0   0   0  -1   0   0   1   0   0   0   0   0   0   0   0
   0   0   0   0   0   2  -1  -1   0   0   0   0   0   0   0   0
   0   0   0   0   0   0   0   0  -1   1   0   0   0   0   0   0
   0   0   0   0   0   0   0   0   0  -1   1   0   0   0   0   0
   0   0   0   0   0   0   0   0  -1   0   0   1   0   0   0   0
   0   0   0   0   0   0   0   0   0   2  -1  -1   0   0   0   0
   0   0   0   0   0   0   0   0   0   0   0   0  -1   1   0   0
   0   0   0   0   0   0   0   0   0   0   0   0   0  -1   1   0
   0   0   0   0   0   0   0   0   0   0   0   0  -1   0   0   1
   0   0   0   0   0   0   0   0   0   0   0   0   0   2  -1  -1

y

b =

   -1
    2
    1
   -4
    1
    4
   11
  -14
    1
   -1
    1
    1
    0
    0
    0
    0

Entonces la eliminación de Gauss-Jordan da la forma escalonada por filas:

>> rref([A,b])
ans =

 Columns 1 through 15:

    1    0    0   -1   -0   -0   -0   -0   -0   -0   -0   -0   -0   -0   -0
    0    1    0   -1    0    0    0    0    0    0    0    0    0    0    0
    0    0    1   -1   -0   -0   -0   -0   -0   -0   -0   -0   -0   -0   -0
    0    0    0    0    1    0    0   -1   -0   -0   -0   -0   -0   -0   -0
    0    0    0    0    0    1    0   -1    0    0    0    0    0    0    0
    0    0    0    0    0    0    1   -1    0    0    0    0    0    0    0
    0    0    0    0    0    0    0    0    1    0    0   -1   -0   -0   -0
    0    0    0    0    0    0    0    0    0    1    0   -1    0    0    0
    0    0    0    0    0    0    0    0    0    0    1   -1    0    0    0
    0    0    0    0    0    0    0    0    0    0    0    0    1    0    0
    0    0    0    0    0    0    0    0    0    0    0    0    0    1    0
    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0

y

 Columns 16 and 17:

   -0   -1
    0   -2
   -0   -0
   -0  -11
    0  -10
    0   -6
   -0   -1
    0    0
    0   -1
   -1   -0
   -1    0
   -1    0
    0    0
    0    0
    0    0
    0    0

Tenga en cuenta que las columnas de

A = [ 1 0 1 0 1 1 0 2 0 1 0 1 0 0 1 1 ]
se identifican con los polinomios pag 1 , pag 2 , pag 3 , y pag 4 . La reducción de filas da
referencia A = [ 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 ]
Esto nos dice que W es tridimensional con base { pag 1 , pag 2 , pag 3 } .

Ahora, tenga en cuenta que las columnas de

B = [ 1 2 1 4 1 4 11 14 1 1 1 1 ]
se identifican con los polinomios q 1 , q 2 , q 3 , y q 4 . La reducción de filas da
referencia B = [ 1 0 3 2 0 1 2 3 0 0 0 0 ]
Esto nos dice que la imagen de T es bidimensional con base { q 1 , q 2 } .

El teorema de rango-nulidad implica entonces que ker T es unidimensional. Para encontrar una base para ker T , tenga en cuenta que referencia B nos dice que el vector

v = ( 1 , 4 , 1 , 2 )
está en el espacio nulo de B . Esto nos dice que
q 1 + 4 q 2 + q 3 + 2 q 4 = 0
Resulta que
T ( pag 1 ) + 4 T ( pag 2 ) + T ( pag 3 ) + 2 T ( pag 4 ) = 0
de modo que
T ( pag 1 + 4 pag 2 + pag 3 + 2 pag 4 ) = 0
Es decir, el polinomio
pag 1 + 4 pag 2 + pag 3 + 2 pag 4 = t 3 + 2 t 2 + t 2
forma una base para ker T .

Parece que tienes un error en rref A —el elemento superior derecho debe ser 1 .
@BrianFitzpatrick: esta explicación es muy completa, pero me pierdo cuando encuentras la base para ker T . encontraría una base para ker T encontrando una base para el espacio nulo de rref B que me da una base { ( 3 , 2 , 1 , 0 ) , ( 2 , 3 , 0 , 1 ) } . entiendo por qué ker T realmente debería ser unidimensional, pero la base que estoy encontrando (incorrectamente) tiene dos vectores. Como lo encontraste v = ( 1 , 4 , 1 , 2 ) ?
Nuevo Méjico. Había transpuesto dos elementos de la matriz original.
@econom no estoy seguro donde ( 1 , 4 , 1 , 2 ) vino, pero puede trabajar con los dos vectores de kernel que ha encontrado. Describen combinaciones lineales de los pag 's y encontrará que cuando los expande y simplifica (equivalentemente, multiplica esos dos vectores por A ), terminas con el mismo polinomio. También podrías haber trabajado con solo q 1 a través de q 3 para encontrar la imagen y el kernel desde rref A muestra que pag 4 es redundante (Reteniendo este último en los cómputos se comprueba que T es de hecho lineal, por lo que no se desperdicia por completo).