TRANSFORMACIONES LINEALES

Definicin: Sean ( lineal de en ) y ( es una funcin ) espacios vectoriales. Una transformacin , esto es: que cumple con las dos

condiciones siguientes: i) ii) ( ( ) ) ( ) ( )

r V W

( )

x y x+y x

T(x) T(y) T(x+y) T(x)

Nota: El concepto anterior se puede resumir as: es ( ) ( )

Ejemplo: Sean ( definida por: )y( ) espacios vectoriales. Sea la funcin

( Probar que Solucin: En efecto, i) ,( ) ( ( ( )es

) suma en ) Definicin de

) Asociatividad y

conmutatividad de la suma en ( ( ) ( ) ( ) Adicin en ) Definicin de

ii)

( en

)) ( (

) Producto de un vector por un escalar ) Definicin de ( ) ) Distributividad del producto

con respecto a la suma en ( vector en ( De ) ) se tiene que es ) Definicin de ) Producto de un escalar por un

Propiedades de las Transformaciones lineales

Teorema: Preservacin del cero y de la resta Sean y espacios vectoriales, y sea una transformacin

lineal. Entonces: i) ii) ( ) ( ) ( ) ( ) ;

Demostracin: i) Es evidente que cuando escribimos est en y el segundo est en ( Restando ( ) ( ) ( ) , el primer vector cero y

. Usaremos las notaciones ( ) ( )

para aclarar esto. La preservacin de la suma para ) en el espacio vectorial ( ) ( ) ( )

muestra que:

de ambos lados en la

ecuacin anterior, obtenemos:

ii)

Para vectores ( ) (

de ( (

tenemos: ) ) ) ( ) ( ) ( ) (( ) ) ( )

( )

Teorema: Preservacin de subespacios Sean i) ii) y Si Si espacios vectoriales y sea una transformacin lineal. .

es un subespacio de , entonces , - es un subespacio de es un subespacio de , entonces

, - es un subespacio de .

Demostracin: i) Basta mostrar que multiplicacin por , - es cerrado bajo la suma vectorial y la escalares. Sean ( ) y ( ) vectores

cualesquiera de , -, donde ( ) ( )

son vectores de . Entonces, ( )

por la preservacin de la suma. Ahora bien, modo que ( est en pues es cerrado bajo la suma, de ) est en , -. Esto muestra que , - es cerrado es cualquier escalar, entonces

bajo la suma vectorial. Adems, si est en y est claro que ( )

Esto muestra que

( ) est en , -, de modo que , - es cerrado , - es un subespacio de

bajo la multiplicacin por escalares. As, .

ii)

Sean

vectores cualesquiera de

, -, de modo que

( ) y

( ) estn en . Entonces, ( ) ( ) ( ) , -.

tambin est en el subespacio , de modo que Para cualquier escalar , sabemos que ( ) ( ) est en . As, ( )

est en

tambin est en

, -. Esto muestra que

, - tambin es cerrado bajo la suma y multiplicacin por escalares, de modo que , - es un subespacio de .

NCLEO E IMAGEN DE UNA TRANSFORMACIN

Definicin: Sea de denotado por una transformacin lineal en un mismo cuerpo , el ncleo que

( ) es el conjunto de todos los vectores del dominio . Esto es +

tienen por imagen al vector nulo del codominio ( ) Nota: i) ii) iii) Si ( ) (* ya que al menos +) ( ) ( ) ( ) ( ) * ( )

Si ( ) iv) ( ) Ejemplo: Sea Solucin: ( ) ( ) ( ) *(

( )

una T.L. definida por (

). Hallar

( )

) *( ) ) ( ) * (

( ( )

) (

( )+

)+

*(

+ ) +

Definicin: Sea una T.L. El conjunto imagen denotado por ( ) es el

conjunto de todos los vectores del codominio de . Esto es ( ) *

que son imgenes de los vectores

( )

Nota: i) ii) ( ) ( ) ya que al menos ( )

Ejemplo:

Sea una T.L. definida por ( Hallar ( ) ) ( )

Solucin: ( ) *( ( ) *( ) ) ( ) Como ; donde *( ) + por lo tanto llamaremos ( ) ( ) ( + )+

entonces .

( )

*(

) ( ) es

+ .

* (

geomtricamente Notemos que *( )(

)+ es una base para

( ).

TEOREMAS SOBRE LA DIMENSIN DEL NCLEO Y DIMENSIN DE LA IMAGEN

Tres observaciones importantes: Sea Si una T.L. es Inyectiva, entonces ( ) * ( ) pero ( ) ( ) ( ) + o sea la ( ) ( ) , luego

por el teorema de las dimensiones, tenemos:

como

, entonces:

Conclusin: Si

es una T.L. Inyectiva, entonces

Si

es sobreyectiva entonces

( ) ( )

, luego por el teorema de ( )

las dimensiones:

pero

( ) ( )

como

( )

, entonces podemos afirmar:

Conclusin: Si

es una T.L. sobreyectiva, entonces:

Si

es biyectiva, entonces

tiene que ser Inyectiva y sobreyectiva.

Es decir: Caso I: Caso II: luego,

Conclusin: Si

es una T.L. biyectiva, entonces

Dos teoremas importantes

Teorema 1. Si ( ) . es una transformacin Inyectiva entonces ( ) . O sea

Por el teorema de las dimensiones, tenemos: ( ) ( ) ( ) es sobreyectiva. Teorema 2: Si , es una T.L. sobreyectiva, entonces ( )

( ) O sea, ( )

Luego por el teorema de las dimensiones ( ) ( ) ( )

es Inyectiva.

TEOREMA DE LAS TRANSFORMACIONES LINEALES INVERSIBLES

La transformacin lineal es biyectiva. Ejemplo: Probar que la T.L. Solucin: i) es Inyectiva. ( ) ( ) ( ) *( *( *( ) ) ) ( ) Por lo tanto Como que es Inyectiva. (

se dice que es inversible si y slo si

) es inversible.

( (

) )

( (

)+ )+ )+

*(

)+

es un operador lineal inyectivo, entonces por el teorema 1 se tiene es biyectiva, por lo tanto es inversible.

es sobreyectiva, luego Nota: Si

es una T.L. inversible (biyectiva) entonces admite inversa. Se , la cual tiene por dominio a y por

acostumbra a escribir dicha inversa por codominio a . La inversa

es tambin una T.L. ESPACIO DUAL

Definicin: El conjunto de todas las funciones lineales de en forman un espacio

vectorial con la suma y producto de escalares definidos as: ( ( )(

)

)(

( )

( ) y

( )

funciones lineales de

Dicho espacio vectorial se llama espacio dual y se denota as: Esto es: * Ejemplo. Se consideran las transformaciones lineales ( ( ) ( ( ) ( * ) * ( ) ) * ( ) + + + ) +

definidas