SlideShare una empresa de Scribd logo
1 de 18
Descargar para leer sin conexiรณn
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
รlgebra Lineal โ€“ Parte 2
26 de julio de 2014
Conocemos transformaciones lineales del tipo ๐‘‡: โ„ ๐‘›
โ†’ โ„ ๐‘š
tal que ๐‘‡(๐‘‹) = ๐ด๐‘‹; ๐ด โˆˆ ๐‘€ ๐‘š๐‘ฅ๐‘›.
Nรณtese que es bastante sencillo determinar el nรบcleo y el recorrido de estas transformaciones, pues
tenemos:
๐‘๐‘ข(๐‘‡) = {๐‘‹ โˆˆ โ„ ๐‘›
| ๐ด๐‘‹ = 0โ„ ๐‘š} = ๐‘๐‘ข(๐ด)
๐‘…๐‘’(๐‘‡) = {๐‘Œ โˆˆ โ„ ๐‘š
| ๐ด๐‘‹ = ๐‘Œ ; ๐‘‹ โˆˆ โ„ ๐‘›} = ๐‘…๐‘’(๐ด) = ๐ถ๐ด
Bรกsicamente, esta transformaciรณn lineal se puede definir en tรฉrminos de una regla de
correspondencia, o en tรฉrminos de la matriz ๐ด. Veamos un ejemplo:
Sea ๐‘‡: โ„3
โ†’ โ„3
tal que ๐‘‡(๐‘‹) = ๐ด๐‘‹; ๐ด = (
2 1 โˆ’1
3 โˆ’1 โˆ’2
1 2 3
).
Sea ๐‘‹ = (
๐‘ฅ
๐‘ฆ
๐‘ง
) โˆˆ โ„3
entonces ๐‘‡(๐‘‹) = ๐‘‡ (
๐‘ฅ
๐‘ฆ
๐‘ง
) = (
2 1 โˆ’1
3 โˆ’1 โˆ’2
1 2 3
) (
๐‘ฅ
๐‘ฆ
๐‘ง
) = (
2๐‘ฅ + ๐‘ฆ โˆ’ ๐‘ง
3๐‘ฅ โˆ’ ๐‘ฆ โˆ’ 2๐‘ง
๐‘ฅ + 2๐‘ฆ + 3๐‘ง
)
Tenemos entonces que la transformaciรณn lineal pudo haberse definido originalmente como
๐‘‡ (
๐‘ฅ
๐‘ฆ
๐‘ง
) = (
2๐‘ฅ + ๐‘ฆ โˆ’ ๐‘ง
3๐‘ฅ โˆ’ ๐‘ฆ โˆ’ 2๐‘ง
๐‘ฅ + 2๐‘ฆ + 3๐‘ง
) pero se la puede representar por medio de la matriz (
2 1 โˆ’1
3 โˆ’1 โˆ’2
1 2 3
).
Esto aparentemente sรณlo ocurrirรญa con transformaciones ๐‘‡: โ„ ๐‘›
โ†’ โ„ ๐‘š
, sin embargo cuando las
transformaciones son ๐‘‡: ๐‘‰ โ†’ ๐‘Š con espacios vectoriales cualesquiera ๐‘‰, ๐‘Š, se puede utilizar
coordenadas respecto a bases especรญficas de estos espacios, pues los vectores de coordenadas son
elementos de โ„ ๐‘›
donde ๐‘› es la dimensiรณn del espacio en cuestiรณn. Bajo este punto de vista, si
tenemos bases definidas de espacios vectoriales ๐‘‰, ๐‘Š podemos definir una transformaciรณn lineal
en tรฉrminos de una matriz, como si fuese una transformaciรณn entre โ„ ๐‘›
, โ„ ๐‘š
.
Representaciรณn Matricial de una Transformaciรณn Lineal
Sean ๐ต1 = {๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ ๐‘›} y ๐ต2 = {๐‘ค1, ๐‘ค2, โ€ฆ , ๐‘ค ๐‘š} bases de los espacios vectoriales de
dimensiรณn finita ๐‘‰ y ๐‘Š respectivamente. Sea ๐‘‡: ๐‘‰ โ†’ ๐‘Š una transformaciรณn lineal. Se dice que la
representaciรณn matricial o matriz asociada a ๐‘‡, denotada ๐ด ๐‘‡, tiene por columnas a las
coordenadas de las transformadas de los vectores de la base ๐ต1, respecto de la base ๐ต2.
๐ด ๐‘‡ = ([๐‘‡(๐‘ฃ1)] ๐ต2
[๐‘‡(๐‘ฃ2)] ๐ต2 โ€ฆ [๐‘‡(๐‘ฃ ๐‘›)] ๐ต2
)
โˆ€๐‘ฃ โˆˆ ๐‘‰ [๐‘‡(๐‘ฃ)] ๐ต2
= ๐ด ๐‘‡[๐‘ฃ] ๐ต1
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
Ojo: La matriz asociada a una transformaciรณn lineal podrรญa no ser cuadrada, su nรบmero de filas es
igual a la dimensiรณn del espacio de llegada, y su nรบmero de columnas es la dimensiรณn del espacio
de salida. Ademรกs, si la matriz es cuadrada, podrรญa ser que su inversa no exista.
La notaciรณn utilizada para la representaciรณn matricial de ๐‘‡ o matriz asociada a ๐‘‡ es el nombre de
la matriz y como subรญndice el nombre de la transformaciรณn ๐ด ๐‘‡ o el nombre de la transformaciรณn
entre corchetes y como subรญndice las bases de partida y llegada [๐‘‡] ๐ต1 ๐ต2
Transformaciรณn Lineal Inyectiva, Sobreyectiva e Isomorfismo
Definiciรณn: Transformaciรณn Lineal Inyectiva: Se dice que la transformaciรณn lineal ๐‘‡: ๐‘‰ โ†’ ๐‘Š es
inyectiva, si ocurre que:
โˆ€๐‘ฃ1, ๐‘ฃ2 โˆˆ ๐‘‰ [๐‘‡(๐‘ฃ1) = ๐‘‡(๐‘ฃ2) โ‡” ๐‘ฃ1 = ๐‘ฃ2]
Teorema: Una transformaciรณn lineal ๐‘‡: ๐‘‰ โ†’ ๐‘Š es inyectiva, si y sรณlo si, el รบnico vector que se
encuentra en el nรบcleo de ๐‘‡ es el 0 ๐‘‰:
๐‘๐‘ข(๐‘‡) = {0 ๐‘‰}
Definiciรณn: Transformaciรณn Lineal Sobreyectiva: La transformaciรณn lineal ๐‘‡: ๐‘‰ โ†’ ๐‘Š es llamada
sobreyectiva si para todo vector ๐‘ค โˆˆ ๐‘Š existe al menos un vector ๐‘ฃ โˆˆ ๐‘‰, tal que ๐‘‡(๐‘ฃ) = ๐‘ค.
โˆ€๐‘ค โˆˆ ๐‘Š โˆƒ๐‘ฃ โˆˆ ๐‘‰ ๐‘ค = ๐‘‡(๐‘ฃ)
En otras palabras, ๐‘‡ es sobreyectiva si ๐‘…๐‘’(๐‘‡) = ๐‘Š.
Ojo: Notar que ๐‘‡ es inyectiva si y sรณlo si ๐œˆ(๐‘‡) = 0 y sobreyectiva si y sรณlo si ๐œŒ(๐‘‡) = dim ๐‘Š
Definiciรณn: Isomorfismo: Sea ๐‘‡: ๐‘‰ โ†’ ๐‘Š una transformaciรณn lineal. Se dice que ๐‘‡ es un
isomorfismo si ๐‘‡ es inyectiva y ๐‘‡ es sobreyectiva. Es decir, ๐‘‡ es llamada un isomorfismo si ๐‘‡ es
biyectiva.
Definiciรณn: Espacios Vectoriales Isomorfos: Sean ๐‘‰ y ๐‘Š espacios vectoriales de dimensiรณn
finita. Se dice que ๐‘‰ y ๐‘Š son espacios isomorfos, lo cual denotaremos ๐‘‰ โ‰… ๐‘Š, si existe una
transformaciรณn lineal ๐‘‡: ๐‘‰ โ†’ ๐‘Š que es un isomorfismo.
Teorema: Sean ๐‘‰ y ๐‘Š espacios vectoriales de dimensiรณn finita, y ๐‘‡: ๐‘‰ โ†’ ๐‘Š una transformaciรณn
lineal. Entonces:
i. Si dim ๐‘‰ > dim ๐‘Š, ๐‘‡ no es inyectiva.
ii. Si dim ๐‘‰ < dim ๐‘Š, ๐‘‡ no es sobreyectiva.
iii. Si dim ๐‘‰ = dim ๐‘Š, ๐‘‡ es inyectiva si y sรณlo si ๐‘‡ es sobreyectiva.
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
Teorema: Sean ๐‘‰ y ๐‘Š espacios vectoriales de dimensiรณn finita. Los espacios ๐‘‰ y ๐‘Š son isomorfos
(๐‘‰ โ‰… ๐‘Š) si y sรณlo si tienen la misma dimensiรณn (dim ๐‘‰ = dim ๐‘Š).
Operaciones con Transformaciones Lineales
Las transformaciones lineales a la larga son funciones, y asรญ como podemos realizar operaciones
con funciones, tambiรฉn podemos hacerlo con las transformaciones lineales. Normalmente,
nosotros definimos la suma, resta, multiplicaciรณn y divisiรณn entre funciones, el producto por
constantes y la composiciรณn de funciones. Para efectos de รกlgebra lineal utilizaremos la suma entre
transformaciones lineales y el producto por escalares (obviamente, esto incluirรก la resta). Entonces,
tal como lo harรญamos con funciones, tenemos la siguiente definiciรณn:
Definiciรณn: Transformaciones Suma y Multiplicaciรณn por Escalar: Sean ๐‘‰, ๐‘Š dos ๐พ-espacios
vectoriales, sean ๐‘‡1: ๐‘‰ โ†’ ๐‘Š y ๐‘‡2: ๐‘‰ โ†’ ๐‘Š dos transformaciones lineales, y sea ๐‘˜ โˆˆ ๐พ. Se definen
la suma y la multiplicaciรณn por escalar de la siguiente manera:
Transformaciรณn Suma: ๐‘‡1 + ๐‘‡2: ๐‘‰ โ†’ ๐‘Š โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐‘‡1 + ๐‘‡2)(๐‘ฃ) = ๐‘‡1(๐‘ฃ) + ๐‘‡2(๐‘ฃ)
Transformaciรณn Multiplicaciรณn por Escalar: ๐‘˜๐‘‡1: ๐‘‰ โ†’ ๐‘Š โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐‘˜๐‘‡1)(๐‘ฃ) = ๐‘˜๐‘‡1(๐‘ฃ)
Es decir, la transformaciรณn suma, que toma un vector ๐‘ฃ โˆˆ ๐‘‰ y devuelve un vector ๐‘ค โˆˆ ๐‘Š, se define
de tal manera que la transformada de ๐‘ฃ es la suma de ๐‘‡1(๐‘ฃ) y ๐‘‡2(๐‘ฃ). Asimismo la transformaciรณn
multiplicaciรณn por escalar, que toma un vector ๐‘ฃ โˆˆ ๐‘‰ y devuelve un vector ๐‘ค โˆˆ ๐‘Š, se define de
tal manera que la transformada de ๐‘ฃ es el producto del escalar ๐‘˜ por ๐‘‡1(๐‘ฃ). Notamos que son
transformaciones puesto que toman vectores del espacio ๐‘‰ y devuelven vectores del espacio ๐‘Š,
pero ยฟson transformaciones lineales? Verifiquemos que cumplan los criterios de linealidad:
ยฟโˆ€๐‘ฃ1, ๐‘ฃ2 โˆˆ ๐‘‰ (๐‘‡1 + ๐‘‡2)(๐‘ฃ1 + ๐‘ฃ2) = (๐‘‡1 + ๐‘‡2)(๐‘ฃ1) + (๐‘‡1 + ๐‘‡2)(๐‘ฃ2)?
(๐‘‡1 + ๐‘‡2)(๐‘ฃ1 + ๐‘ฃ2) = ๐‘‡1(๐‘ฃ1 + ๐‘ฃ2) + ๐‘‡2(๐‘ฃ1 + ๐‘ฃ2) Definiciรณn de ๐‘‡1 + ๐‘‡2
(๐‘‡1 + ๐‘‡2)(๐‘ฃ1 + ๐‘ฃ2) = ๐‘‡1(๐‘ฃ1) + ๐‘‡1(๐‘ฃ2) + ๐‘‡2(๐‘ฃ1) + ๐‘‡2(๐‘ฃ2) Linealidad de ๐‘‡1 y ๐‘‡2
(๐‘‡1 + ๐‘‡2)(๐‘ฃ1 + ๐‘ฃ2) = (๐‘‡1(๐‘ฃ1) + ๐‘‡2(๐‘ฃ1)) + (๐‘‡1(๐‘ฃ2) + ๐‘‡2(๐‘ฃ2)) Asociatividad de la suma
(๐‘‡1 + ๐‘‡2)(๐‘ฃ1 + ๐‘ฃ2) = (๐‘‡1 + ๐‘‡2)(๐‘ฃ1) + (๐‘‡1 + ๐‘‡2)(๐‘ฃ2) Definiciรณn de ๐‘‡1 + ๐‘‡2
ยกSe cumple!
ยฟโˆ€๐›ผ โˆˆ ๐พ โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐‘‡1 + ๐‘‡2)(๐›ผ๐‘ฃ) = ๐›ผ(๐‘‡1 + ๐‘‡2)(๐‘ฃ)?
(๐‘‡1 + ๐‘‡2)(๐›ผ๐‘ฃ) = ๐‘‡1(๐›ผ๐‘ฃ) + ๐‘‡2(๐›ผ๐‘ฃ) Definiciรณn de ๐‘‡1 + ๐‘‡2
(๐‘‡1 + ๐‘‡2)(๐›ผ๐‘ฃ) = ๐›ผ๐‘‡1(๐‘ฃ) + ๐›ผ๐‘‡2(๐‘ฃ) Linealidad de ๐‘‡1 y ๐‘‡2
(๐‘‡1 + ๐‘‡2)(๐›ผ๐‘ฃ) = ๐›ผ(๐‘‡1(๐‘ฃ) + ๐‘‡2(๐‘ฃ)) Distribuciรณn de multiplicaciรณn por escalar respecto a suma
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
(๐‘‡1 + ๐‘‡2)(๐›ผ๐‘ฃ) = ๐›ผ(๐‘‡1 + ๐‘‡2)(๐‘ฃ) Definiciรณn de ๐‘‡1 + ๐‘‡2
ยกSe cumple!
โˆด ๐‘‡1 + ๐‘‡2 es una transformaciรณn lineal โˆŽ
Hagamos la verificaciรณn para la transformaciรณn multiplicaciรณn por escalar:
ยฟโˆ€๐‘ฃ1, ๐‘ฃ2 โˆˆ ๐‘‰ (๐‘˜๐‘‡1)(๐‘ฃ1 + ๐‘ฃ2) = (๐‘˜๐‘‡1)(๐‘ฃ1) + (๐‘˜๐‘‡1)(๐‘ฃ2)?
(๐‘˜๐‘‡1)(๐‘ฃ1 + ๐‘ฃ2) = ๐‘˜๐‘‡1(๐‘ฃ1 + ๐‘ฃ2) Definiciรณn de ๐‘˜๐‘‡1
(๐‘˜๐‘‡1)(๐‘ฃ1 + ๐‘ฃ2) = ๐‘˜(๐‘‡1(๐‘ฃ1) + ๐‘‡1(๐‘ฃ2)) Linealidad de ๐‘‡1
(๐‘˜๐‘‡1)(๐‘ฃ1 + ๐‘ฃ2) = ๐‘˜๐‘‡1(๐‘ฃ1) + ๐‘˜๐‘‡1(๐‘ฃ2) Distribuciรณn de la multiplicaciรณn respecto a suma
(๐‘˜๐‘‡1)(๐‘ฃ1 + ๐‘ฃ2) = (๐‘˜๐‘‡1)(๐‘ฃ1) + (๐‘˜๐‘‡1)(๐‘ฃ2) Definiciรณn de ๐‘˜๐‘‡1
ยกSe cumple!
ยฟโˆ€๐›ผ โˆˆ ๐พ โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐‘˜๐‘‡1)(๐›ผ๐‘ฃ) = ๐›ผ(๐‘˜๐‘‡1)(๐‘ฃ)?
(๐‘˜๐‘‡1)(๐›ผ๐‘ฃ) = ๐‘˜๐‘‡1(๐›ผ๐‘ฃ) Definiciรณn de ๐‘˜๐‘‡1
(๐‘˜๐‘‡1)(๐›ผ๐‘ฃ) = ๐‘˜๐›ผ๐‘‡1(๐‘ฃ) Linealidad de ๐‘‡1
(๐‘˜๐‘‡1)(๐›ผ๐‘ฃ) = ๐›ผ(๐‘˜๐‘‡1(๐‘ฃ)) Asociatividad de multiplicaciรณn por escalar
(๐‘˜๐‘‡1)(๐›ผ๐‘ฃ) = ๐›ผ(๐‘˜๐‘‡1)(๐‘ฃ) Definiciรณn de ๐‘˜๐‘‡1
ยกSe cumple!
โˆด ๐‘˜๐‘‡1 es una transformaciรณn lineal โˆŽ
Con esto podemos notar que, dadas dos transformaciones lineales de un espacio vectorial ๐‘‰ a un
espacio vectorial ๐‘Š, la suma entre ellas tambiรฉn es una transformaciรณn lineal de ๐‘‰ a ๐‘Š, es decir,
la suma es โ€œcerradaโ€ entre transformaciones lineales de ๐‘‰ a ๐‘Š. Asimismo, la multiplicaciรณn entre
una transformaciรณn lineal de ๐‘‰ a ๐‘Š y un escalar cualquiera de un campo ๐พ, da como resultado una
transformaciรณn lineal de ๐‘‰ a ๐‘Š, de forma que la multiplicaciรณn por escalar tambiรฉn es โ€œcerradaโ€
en transformaciones lineales de ๐‘‰ a ๐‘Š.
Consideremos todas las transformaciones lineales que van de ๐‘‰ a ๐‘Š como parte del conjunto
๐ฟ(๐‘‰, ๐‘Š). Sabemos que la suma y la multiplicaciรณn por escalar son cerradas en este conjunto.
Realizaremos un anรกlisis para demostrar que en este conjunto se cumplen las 8 propiedades que
definen a los espacios vectoriales:
1. ยฟโˆ€๐‘‡1, ๐‘‡2 โˆˆ ๐ฟ(๐‘‰, ๐‘Š) ๐‘‡1 + ๐‘‡2 = ๐‘‡2 + ๐‘‡1?
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐‘‡1 + ๐‘‡2)(๐‘ฃ) = ๐‘‡1(๐‘ฃ) + ๐‘‡2(๐‘ฃ) = ๐‘‡2(๐‘ฃ) + ๐‘‡1(๐‘ฃ) = (๐‘‡2 + ๐‘‡1)(๐‘ฃ)
2. ยฟโˆ€๐‘‡1, ๐‘‡2, ๐‘‡3 โˆˆ ๐ฟ(๐‘‰, ๐‘Š) (๐‘‡1 + ๐‘‡2) + ๐‘‡3 = ๐‘‡1 + (๐‘‡2 + ๐‘‡3)?
โˆ€๐‘ฃ โˆˆ ๐‘‰ ((๐‘‡1 + ๐‘‡2) + ๐‘‡3)(๐‘ฃ) = (๐‘‡1 + ๐‘‡2)(๐‘ฃ) + ๐‘‡3(๐‘ฃ) = ๐‘‡1(๐‘ฃ) + ๐‘‡2(๐‘ฃ) + ๐‘‡3(๐‘ฃ)
= ๐‘‡1(๐‘ฃ) + (๐‘‡2 + ๐‘‡3)(๐‘ฃ) = (๐‘‡1 + (๐‘‡2 + ๐‘‡3))(๐‘ฃ)
3. ยฟโˆƒ0 ๐ฟ(๐‘‰,๐‘Š) โˆˆ ๐ฟ(๐‘‰, ๐‘Š) โˆ€๐‘‡ โˆˆ ๐ฟ(๐‘‰, ๐‘Š) ๐‘‡ + 0 ๐ฟ(๐‘‰,๐‘Š) = ๐‘‡?
Se encuentra la regla de correspondencia de 0 ๐ฟ(๐‘‰,๐‘Š) (demostrando asรญ su existencia)
โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐‘‡ + 0 ๐ฟ(๐‘‰,๐‘Š))(๐‘ฃ) = ๐‘‡(๐‘ฃ)
๐‘‡(๐‘ฃ) + 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ) = ๐‘‡(๐‘ฃ)
0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ) = 0 ๐‘Š ; โˆ€๐‘ฃ โˆˆ ๐‘‰
Se verifica que 0 ๐ฟ(๐‘‰,๐‘Š) โˆˆ ๐ฟ(๐‘‰, ๐‘Š), es decir, se verifica si es una transformaciรณn lineal
ยฟโˆ€๐‘ฃ1, ๐‘ฃ2 โˆˆ ๐‘‰ 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ1 + ๐‘ฃ2) = 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ1) + 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ2)?
0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ1 + ๐‘ฃ2) = 0 ๐‘Š
0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ1 + ๐‘ฃ2) = 0 ๐‘Š + 0 ๐‘Š
0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ1 + ๐‘ฃ2) = 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ1) + 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ2)
ยกSe cumple!
ยฟโˆ€๐›ผ โˆˆ ๐พ โˆ€๐‘ฃ โˆˆ ๐‘‰ 0 ๐ฟ(๐‘‰,๐‘Š)(๐›ผ๐‘ฃ) = ๐›ผ0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ)?
0 ๐ฟ(๐‘‰,๐‘Š)(๐›ผ๐‘ฃ) = 0 ๐‘Š
0 ๐ฟ(๐‘‰,๐‘Š)(๐›ผ๐‘ฃ) = ๐›ผ0 ๐‘Š
0 ๐ฟ(๐‘‰,๐‘Š)(๐›ผ๐‘ฃ) = ๐›ผ0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ)
ยกSe cumple!
โˆด 0 ๐ฟ(๐‘‰,๐‘Š) es una transformaciรณn lineal โˆŽ
Se verifica que se cumple la condiciรณn
ยฟโˆ€๐‘ฃ โˆˆ ๐‘‰ ๐‘‡ + 0 ๐ฟ(๐‘‰,๐‘Š) = ๐‘‡?
(๐‘‡ + 0 ๐ฟ(๐‘‰,๐‘Š))(๐‘ฃ) = ๐‘‡(๐‘ฃ) + 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ)
(๐‘‡ + 0 ๐ฟ(๐‘‰,๐‘Š))(๐‘ฃ) = ๐‘‡(๐‘ฃ) + 0 ๐‘Š
(๐‘‡ + 0 ๐ฟ(๐‘‰,๐‘Š))(๐‘ฃ) = ๐‘‡(๐‘ฃ)
ยกSe cumple!
4. ยฟโˆ€๐‘‡ โˆˆ ๐ฟ(๐‘‰, ๐‘Š) โˆƒ๐‘‡ฬƒ โˆˆ ๐ฟ(๐‘‰, ๐‘Š) ๐‘‡ + ๐‘‡ฬƒ = 0 ๐ฟ(๐‘‰,๐‘Š)?
Se encuentra la regla de correspondencia de ๐‘‡ฬƒ (demostrando asรญ su existencia)
โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐‘‡ + ๐‘‡ฬƒ)(๐‘ฃ) = 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ)
๐‘‡(๐‘ฃ) + ๐‘‡ฬƒ(๐‘ฃ) = 0 ๐‘Š
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
๐‘‡ฬƒ(๐‘ฃ) = ๐‘‡(๐‘ฃ)ฬƒ
๐‘‡ฬƒ(๐‘ฃ) = (๐‘›โˆ™)+
โ€ฒ
๐‘‡(๐‘ฃ) ; โˆ€๐‘ฃ โˆˆ ๐‘‰
Se verifica que ๐‘‡ฬƒ โˆˆ ๐ฟ(๐‘‰, ๐‘Š), es decir, se verifica si es una transformaciรณn lineal
ยฟโˆ€๐‘ฃ1, ๐‘ฃ2 โˆˆ ๐‘‰ ๐‘‡ฬƒ(๐‘ฃ1 + ๐‘ฃ2) = ๐‘‡ฬƒ(๐‘ฃ1) + ๐‘‡ฬƒ(๐‘ฃ2)?
๐‘‡ฬƒ(๐‘ฃ1 + ๐‘ฃ2) = (๐‘›โˆ™)+
โ€ฒ
(๐‘‡(๐‘ฃ1 + ๐‘ฃ2))
๐‘‡ฬƒ(๐‘ฃ1 + ๐‘ฃ2) = (๐‘›โˆ™)+
โ€ฒ
(๐‘‡(๐‘ฃ1) + ๐‘‡(๐‘ฃ2))
๐‘‡ฬƒ(๐‘ฃ1 + ๐‘ฃ2) = (๐‘›โˆ™)+
โ€ฒ
๐‘‡(๐‘ฃ1) + (๐‘›โˆ™)+
โ€ฒ
๐‘‡(๐‘ฃ2)
๐‘‡ฬƒ(๐‘ฃ1 + ๐‘ฃ2) = ๐‘‡ฬƒ(๐‘ฃ1) + ๐‘‡ฬƒ(๐‘ฃ2)
ยกSe cumple!
ยฟโˆ€๐›ผ โˆˆ ๐พ โˆ€๐‘ฃ โˆˆ ๐‘‰ ๐‘‡ฬƒ(๐›ผ๐‘ฃ) = ๐›ผ๐‘‡ฬƒ(๐‘ฃ)?
๐‘‡ฬƒ(๐›ผ๐‘ฃ) = (๐‘›โˆ™)+
โ€ฒ
๐‘‡(๐›ผ๐‘ฃ)
๐‘‡ฬƒ(๐›ผ๐‘ฃ) = ๐›ผ(๐‘›โˆ™)+
โ€ฒ
๐‘‡(๐‘ฃ)
๐‘‡ฬƒ(๐›ผ๐‘ฃ) = ๐›ผ๐‘‡ฬƒ(๐‘ฃ)
ยกSe cumple!
โˆด ๐‘‡ฬƒ es una transformaciรณn lineal โˆŽ
5. ยฟโˆ€๐›ผ, ๐›ฝ โˆˆ ๐พ โˆ€๐‘‡ โˆˆ ๐ฟ(๐‘‰, ๐‘Š) ๐›ผ(๐›ฝ๐‘‡) = (๐›ผ๐›ฝ)๐‘‡?
โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐›ผ(๐›ฝ๐‘‡))(๐‘ฃ) = ๐›ผ((๐›ฝ๐‘‡)(๐‘ฃ)) = ๐›ผ (๐›ฝ(๐‘‡(๐‘ฃ))) = (๐›ผ๐›ฝ)(๐‘‡(๐‘ฃ)) = ((๐›ผ๐›ฝ)๐‘‡)(๐‘ฃ)
6. ยฟ โˆ€๐›ผ, ๐›ฝ โˆˆ ๐พ โˆ€๐‘‡ โˆˆ ๐ฟ(๐‘‰, ๐‘Š) (๐›ผ + ๐›ฝ)๐‘‡ = (๐›ผ๐‘‡) + (๐›ฝ๐‘‡)?
โˆ€๐‘ฃ โˆˆ ๐‘‰ ((๐›ผ + ๐›ฝ)๐‘‡)(๐‘ฃ) = (๐›ผ + ๐›ฝ)๐‘‡(๐‘ฃ) = ๐›ผ๐‘‡(๐‘ฃ) + ๐›ฝ๐‘‡(๐‘ฃ) = (๐›ผ๐‘‡)(๐‘ฃ) + (๐›ฝ๐‘‡)(๐‘ฃ)
7. ยฟ โˆ€๐›ผ โˆˆ ๐พ โˆ€๐‘‡1, ๐‘‡2 โˆˆ ๐ฟ(๐‘‰, ๐‘Š) ๐›ผ(๐‘‡1 + ๐‘‡2) = (๐›ผ๐‘‡1) + (๐›ผ๐‘‡2)?
โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐›ผ(๐‘‡1 + ๐‘‡2))(๐‘ฃ) = ๐›ผ(๐‘‡1 + ๐‘‡2)(๐‘ฃ) = ๐›ผ(๐‘‡1(๐‘ฃ) + ๐‘‡2(๐‘ฃ)) = ๐›ผ๐‘‡1(๐‘ฃ) + ๐›ผ๐‘‡2(๐‘ฃ)
= (๐›ผ๐‘‡1)(๐‘ฃ) + (๐›ผ๐‘‡2)(๐‘ฃ)
8. ยฟโˆ€๐‘‡ โˆˆ ๐ฟ(๐‘‰, ๐‘Š) (๐‘›โˆ™)๐‘‡ = ๐‘‡?
โˆ€๐‘ฃ โˆˆ ๐‘‰ ((๐‘›โˆ™)๐‘‡)(๐‘ฃ) = (๐‘›โˆ™)๐‘‡(๐‘ฃ) = ๐‘‡(๐‘ฃ)
โˆด ๐ฟ(๐‘‰, ๐‘Š) es un ๐พ-espacio vectorial โˆŽ
Definiciรณn: Espacio de Transformaciones Lineales: Sean ๐‘‰ y ๐‘Š dos espacios vectoriales, se dice
que ๐ฟ(๐‘‰, ๐‘Š) es el espacio vectorial de las transformaciones lineales que van de ๐‘‰ a ๐‘Š.
Teorema: Sean๐‘‰ y ๐‘Š dos espacios vectoriales de dimensiรณn finita. El espacio vectorial ๐ฟ(๐‘‰, ๐‘Š)
es entonces de dimensiรณn finita, tal que:
dim ๐ฟ(๐‘‰, ๐‘Š) = (dim ๐‘‰)(dim ๐‘Š)
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
Observaciรณn: Sean ๐‘‰ y ๐‘Š dos espacios vectoriales de dimensiรณn finita. Sean ๐ต ๐‘‰ = {๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ ๐‘›}
y ๐ต ๐‘Š = {๐‘ค1, ๐‘ค2, โ€ฆ , ๐‘ค ๐‘š} bases de ๐‘‰ y ๐‘Š respectivamente. Diremos que la base canรณnica del
espacio ๐ฟ(๐‘‰, ๐‘Š) es la siguiente:
๐ต = {๐‘‡11, ๐‘‡12, โ€ฆ , ๐‘‡1๐‘›, ๐‘‡21, ๐‘‡22, โ€ฆ , ๐‘‡2๐‘›, โ€ฆ , ๐‘‡ ๐‘š1, ๐‘‡ ๐‘š2, โ€ฆ , ๐‘‡ ๐‘š๐‘›}
Donde, para cualquier vector ๐‘ฃ = ๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘› โˆˆ ๐‘‰:
๐‘‡11(๐‘ฃ) = ๐›ผ1 ๐‘ค1 , ๐‘‡12(๐‘ฃ) = ๐›ผ2 ๐‘ค1, โ€ฆ , ๐‘‡1๐‘› = (๐‘ฃ) = ๐›ผ ๐‘› ๐‘ค1
๐‘‡21(๐‘ฃ) = ๐›ผ1 ๐‘ค2 , ๐‘‡22(๐‘ฃ) = ๐›ผ2 ๐‘ค2, โ€ฆ , ๐‘‡2๐‘› = (๐‘ฃ) = ๐›ผ ๐‘› ๐‘ค2
โ‹ฎ
๐‘‡ ๐‘š1(๐‘ฃ) = ๐›ผ1 ๐‘ค ๐‘š , ๐‘‡ ๐‘š2(๐‘ฃ) = ๐›ผ2 ๐‘ค ๐‘š, โ€ฆ , ๐‘‡ ๐‘š๐‘› = (๐‘ฃ) = ๐›ผ ๐‘› ๐‘ค ๐‘š
---------------------------------------------------------------------------------------------------------------------
Demostraciones.
A continuaciรณn demostrarรฉ algunos de los teoremas de la secciรณn teรณrica de este documento como
refuerzo para entenderlos mejor.
Teorema: Una transformaciรณn lineal ๐‘‡: ๐‘‰ โ†’ ๐‘Š es inyectiva, si y sรณlo si, el รบnico vector que se
encuentra en el nรบcleo de ๐‘‡ es el 0 ๐‘‰:
๐‘๐‘ข(๐‘‡) = {0 ๐‘‰}
El teorema nos indica una forma mucho mรกs fรกcil de determinar si una transformaciรณn lineal es
una funciรณn inyectiva (es decir, es uno a uno).
Demostraciรณn:
Primero demostrarรฉ la proposiciรณn en el orden ๐‘ โ†’ ๐‘ž, es decir:
Si ๐‘‡ es inyectiva, entonces ๐‘๐‘ข(๐‘‡) = {0 ๐‘‰}
Sea ๐‘ฃ โˆˆ ๐‘๐‘ข(๐‘‡) un elemento cualquiera del nรบcleo de la transformaciรณn, se demostrarรก que ese
elemento debe obligatoriamente ser cero.
๐‘‡(๐‘ฃ) = 0 ๐‘Š
Pero conocemos que ๐‘‡(0 ๐‘‰) = 0 ๐‘Š. Por hipรณtesis, ๐‘‡ es inyectiva, por lo que tenemos que:
0 ๐‘Š = 0 ๐‘Š
๐‘‡(๐‘ฃ) = ๐‘‡(0 ๐‘‰)
๐‘ฃ = 0 ๐‘‰
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
โˆด ๐‘๐‘ข(๐‘‡) = {0 ๐‘‰} โˆŽ
Ahora demostrarรฉ la proposiciรณn en el orden ๐‘ž โ†’ ๐‘, es decir:
Si ๐‘๐‘ข(๐‘‡) = {0 ๐‘‰}, entonces ๐‘‡ es inyectiva.
Sean ๐‘ฃ1, ๐‘ฃ2 โˆˆ ๐‘‰ tales que ๐‘‡(๐‘ฃ1) = ๐‘‡(๐‘ฃ2), demostraremos que esto implica que los vectores ๐‘ฃ1 y
๐‘ฃ2 son iguales:
๐‘‡(๐‘ฃ1) = ๐‘‡(๐‘ฃ2)
๐‘‡(๐‘ฃ1) + ๐‘‡(๐‘ฃ2)ฬƒ = ๐‘‡(๐‘ฃ2) + ๐‘‡(๐‘ฃ2)ฬƒ
๐‘‡(๐‘ฃ1) + ๐‘‡(๐‘ฃ2ฬƒ) = 0 ๐‘Š
๐‘‡(๐‘ฃ1 + ๐‘ฃ2ฬƒ) = 0 ๐‘Š
๐‘ฃ1 + ๐‘ฃ2ฬƒ โˆˆ ๐‘๐‘ข(๐‘‡)
Por hipรณtesis, ๐‘๐‘ข(๐‘‡) = {0 ๐‘‰} es decir, en el nรบcleo sรณlo hay un elemento que es el vector cero, por
lo que si ๐‘ฃ1 + ๐‘ฃ2ฬƒ estรก en el nรบcleo, entonces obligatoriamente sรณlo podrรก ser cero:
๐‘ฃ1 + ๐‘ฃ2ฬƒ = 0 ๐‘‰
๐‘ฃ1 + ๐‘ฃ2ฬƒ + ๐‘ฃ2 = 0 ๐‘‰ + ๐‘ฃ2
๐‘ฃ1 = ๐‘ฃ2
โˆด ๐‘‡ es inyectiva โˆŽ
Teorema: Sean ๐‘‰ y ๐‘Š espacios vectoriales de dimensiรณn finita, y ๐‘‡: ๐‘‰ โ†’ ๐‘Š una transformaciรณn
lineal. Entonces:
i. Si dim ๐‘‰ > dim ๐‘Š, ๐‘‡ no es inyectiva.
ii. Si dim ๐‘‰ < dim ๐‘Š, ๐‘‡ no es sobreyectiva.
iii. Si dim ๐‘‰ = dim ๐‘Š, ๐‘‡ es inyectiva si y sรณlo si ๐‘‡ es sobreyectiva.
Este teorema es de gran ayuda, asรญ podemos con sรณlo observar la dimensiรณn de los espacios
vectoriales de partida y llegada, saber si la transformaciรณn tiene opciรณn de ser inyectiva,
sobreyectiva o un isomorfismo.
Demostraciรณn:
Para facilitar la escritura de esta demostraciรณn, se dirรก que dim ๐‘‰ = ๐‘› y que dim ๐‘Š = ๐‘š
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
i. Si dim ๐‘‰ > dim ๐‘Š, ๐‘‡ no es inyectiva.
Se conoce que ๐œˆ(๐‘‡) + ๐œŒ(๐‘‡) = ๐‘›. Como ๐‘…๐‘’(๐‘‡) โŠ† ๐‘Š entonces sabemos que ๐œŒ(๐‘‡) โ‰ค ๐‘š
๐œŒ(๐‘‡) โ‰ค ๐‘š
๐‘› โˆ’ ๐œˆ(๐‘‡) โ‰ค ๐‘š
โˆ’๐œˆ(๐‘‡) โ‰ค ๐‘š โˆ’ ๐‘›
๐‘› โˆ’ ๐‘š โ‰ค ๐œˆ(๐‘‡)
Por hipรณtesis ๐‘› > ๐‘š por lo tanto ๐‘› โˆ’ ๐‘š > 0
๐œˆ(๐‘‡) > 0
๐‘๐‘ข(๐‘‡) โ‰  {0 ๐‘‰}
โˆด ๐‘‡ no es inyectiva โˆŽ
ii. Si dim ๐‘‰ < dim ๐‘Š, ๐‘‡ no es sobreyectiva.
Se conoce que ๐œˆ(๐‘‡) + ๐œŒ(๐‘‡) = ๐‘›. Como ๐‘๐‘ข(๐‘‡) โŠ† ๐‘‰ entonces sabemos que 0 โ‰ค ๐œˆ(๐‘‡) โ‰ค ๐‘›
0 โ‰ค ๐œˆ(๐‘‡) โ‰ค ๐‘›
0 โ‰ค ๐‘› โˆ’ ๐œŒ(๐‘‡) โ‰ค ๐‘›
โˆ’๐‘› โ‰ค โˆ’๐œŒ(๐‘‡) โ‰ค 0
๐œŒ(๐‘‡) โ‰ค ๐‘›
Por hipรณtesis ๐‘› < ๐‘š por lo que:
๐œŒ(๐‘‡) < ๐‘š
๐œŒ(๐‘‡) < dim ๐‘Š
๐‘…๐‘’(๐‘‡) โ‰  ๐‘Š
โˆด ๐‘‡ no es sobreyectiva โˆŽ
iii. Si dim ๐‘‰ = dim ๐‘Š, ๐‘‡ es inyectiva si y sรณlo si ๐‘‡ es sobreyectiva.
Se conoce que ๐œˆ(๐‘‡) + ๐œŒ(๐‘‡) = ๐‘›. Veamos el orden ๐‘ โ†’ ๐‘ž:
Si ๐‘‡ es inyectiva, entonces ๐œˆ(๐‘‡) = 0 y por lo tanto ๐œŒ(๐‘‡) = ๐‘›. Pero por hipรณtesis ๐‘› = ๐‘š, por lo
tanto ๐œŒ(๐‘‡) = ๐‘š = dim ๐‘Š. Finalmente concluimos que ๐‘…๐‘’(๐‘‡) = ๐‘Š
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
โˆด ๐‘‡ es sobreyectiva โˆŽ
Veamos ahora el orden ๐‘ž โ†’ ๐‘:
Si ๐‘‡ es sobreyectiva, entonces ๐œŒ(๐‘‡) = dim ๐‘Š = ๐‘š y por lo tanto ๐œˆ(๐‘‡) + ๐‘š = ๐‘›. Pero por
hipรณtesis ๐‘› = ๐‘š, por lo tanto ๐œˆ(๐‘‡) = ๐‘› โˆ’ ๐‘› = 0. Finalmente concluimos que ๐‘๐‘ข(๐‘‡) = {0 ๐‘‰}
โˆด ๐‘‡ es inyectiva โˆŽ
Teorema: Sean ๐‘‰ y ๐‘Š espacios vectoriales de dimensiรณn finita. Los espacios ๐‘‰ y ๐‘Š son isomorfos
(๐‘‰ โ‰… ๐‘Š) si y sรณlo si tienen la misma dimensiรณn (dim ๐‘‰ = dim ๐‘Š).
El teorema se puede inferir del anterior. Dice que sรณlo es posible definir un isomorfismo entre dos
espacios vectoriales (es decir, estos son isomorfos) si la dimensiรณn de dichos espacios es igual.
Demostraciรณn:
Veamos la forma ๐‘ โ†’ ๐‘ž, es decir, Si ๐‘‰ โ‰… ๐‘Š entonces dim ๐‘‰ = dim ๐‘Š.
Ya que ๐‘‰ โ‰… ๐‘Š entonces existe una transformaciรณn lineal ๐‘‡: ๐‘‰ โ†’ ๐‘Š tal que ๐‘‡ es un isomorfismo.
Siendo asรญ, ๐‘‡ es inyectiva por lo que ๐œˆ(๐‘‡) = 0 y ๐‘‡ es sobreyectiva por lo que ๐œŒ(๐‘‡) = dim ๐‘Š. Con
esto, el teorema de la dimensiรณn dice que:
๐œˆ(๐‘‡) + ๐œŒ(๐‘‡) = dim ๐‘‰
โˆด dim ๐‘Š = dim ๐‘‰ โˆŽ
Veamos la forma ๐‘ž โ†’ ๐‘, es decir, Si dim ๐‘‰ = dim ๐‘Š entonces ๐‘‰ โ‰… ๐‘Š.
Sea ๐ต ๐‘‰ = {๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ ๐‘›} una base de ๐‘‰ y sea ๐ต ๐‘Š = {๐‘ค1, ๐‘ค2, โ€ฆ , ๐‘ค ๐‘›} una base de ๐‘Š, se puede
construir una transformaciรณn lineal ๐‘‡: ๐‘‰ โ†’ ๐‘Š tal que ๐‘‡(๐‘ฃ๐‘–) = ๐‘ค๐‘– ; ๐‘– = 1,2, โ€ฆ , ๐‘›. Ahora bien,
veamos si ๐‘‡ es un isomorfismo. Para esto veamos si ๐‘‡ es inyectiva:
๐‘๐‘ข(๐‘‡) = {๐‘ฃ โˆˆ ๐‘‰ | ๐‘‡(๐‘ฃ) = 0 ๐‘Š}
Sea ๐‘ฃ โˆˆ ๐‘๐‘ข( ๐‘‡) entonces ๐‘‡( ๐‘ฃ) = 0 ๐‘Š
๐‘‡(๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘›) = 0 ๐‘Š
๐›ผ1 ๐‘ค1 + ๐›ผ2 ๐‘ค2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ค ๐‘› = 0 ๐‘Š
Ya que los vectores ๐‘ค1, ๐‘ค2, โ€ฆ , ๐‘ค ๐‘› constituyen una base de ๐‘Š, son linealmente independientes, y
esto implica que:
๐›ผ1 = ๐›ผ2 = โ‹ฏ = ๐›ผ ๐‘› = 0
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
๐‘ฃ = 0 ๐‘‰
๐‘๐‘ข(๐‘‡) = {0 ๐‘‰}
๐‘‡ es inyectiva
Veamos ahora si ๐‘‡ es sobreyectiva:
๐‘…๐‘’(๐‘‡) = {๐‘ค โˆˆ ๐‘Š | ๐‘ค = ๐‘‡(๐‘ฃ); ๐‘ฃ โˆˆ ๐‘‰}
Sea ๐‘ค โˆˆ ๐‘…๐‘’(๐‘‡) entonces ๐‘ค = ๐‘‡(๐‘ฃ) para ๐‘ฃ โˆˆ ๐‘‰
๐‘ค = ๐‘‡(๐‘ฃ)
๐‘ค = ๐‘‡(๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘›)
๐‘ค = ๐›ผ1 ๐‘ค1 + ๐›ผ2 ๐‘ค2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ค ๐‘›
๐‘ค โˆˆ ๐‘”๐‘’๐‘›(๐ต ๐‘Š)
๐‘…๐‘’(๐‘‡) = ๐‘Š
๐‘‡ es sobreyectiva
โˆด ๐‘‡ es un isomorfismo โˆŽ
Teorema: Sean๐‘‰ y ๐‘Š dos espacios vectoriales de dimensiรณn finita. El espacio vectorial ๐ฟ(๐‘‰, ๐‘Š)
es entonces de dimensiรณn finita, tal que:
dim ๐ฟ(๐‘‰, ๐‘Š) = (dim ๐‘‰)(dim ๐‘Š)
El teorema nos indica cรณmo determinar la cantidad de elementos en una base cualquiera del espacio
vectorial de transformaciones lineales. Usaremos esta demostraciรณn para obtener cualquier base
de este espacio.
Demostraciรณn:
Siendo ๐‘‰, ๐‘Š dos espacios vectoriales de dimensiรณn finita, podemos decir que dim ๐‘‰ = ๐‘› y que
dim ๐‘Š = ๐‘š para evitar nomenclatura complicada. Podemos entonces saber que existen bases para
cada uno de estos espacios, que respectivamente serรญan:
๐ต ๐‘‰ = {๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ ๐‘›} y ๐ต ๐‘Š = {๐‘ค1, ๐‘ค2, โ€ฆ , ๐‘ค ๐‘š}
Sea ๐‘ฃ โˆˆ ๐‘‰ un elemento cualquiera de ๐‘‰ que se puede escribir como combinaciรณn lineal de la base
๐ต ๐‘‰ como:
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
๐‘ฃ = ๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘›
Se definen las siguientes transformaciones de ๐‘‰ a ๐‘Š:
๐‘‡11(๐‘ฃ) = ๐›ผ1 ๐‘ค1 , ๐‘‡12(๐‘ฃ) = ๐›ผ2 ๐‘ค1, โ€ฆ , ๐‘‡1๐‘›(๐‘ฃ) = ๐›ผ ๐‘› ๐‘ค1
๐‘‡21(๐‘ฃ) = ๐›ผ1 ๐‘ค2 , ๐‘‡22(๐‘ฃ) = ๐›ผ2 ๐‘ค2, โ€ฆ , ๐‘‡2๐‘›(๐‘ฃ) = ๐›ผ ๐‘› ๐‘ค2
โ‹ฎ
๐‘‡ ๐‘š1(๐‘ฃ) = ๐›ผ1 ๐‘ค ๐‘š , ๐‘‡ ๐‘š2(๐‘ฃ) = ๐›ผ2 ๐‘ค ๐‘š, โ€ฆ , ๐‘‡ ๐‘š๐‘›(๐‘ฃ) = ๐›ผ ๐‘› ๐‘ค ๐‘š
Es notorio que cada una de ellas son transformaciones lineales. Sea:
๐‘‡๐‘–๐‘—(๐‘ฃ) = ๐›ผ๐‘— ๐‘ค๐‘– ; ๐‘— = 1,2, โ€ฆ , ๐‘› ; ๐‘– = 1,2, โ€ฆ , ๐‘š
ยฟโˆ€๐‘Ž1, ๐‘Ž2 โˆˆ ๐‘‰ ๐‘‡๐‘–๐‘—(๐‘Ž1 + ๐‘Ž2) = ๐‘‡๐‘–๐‘—(๐‘Ž1) + ๐‘‡๐‘–๐‘—(๐‘Ž2)?
Sean ๐‘Ž1 = ๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘› y ๐‘Ž2 = ๐›ฝ1 ๐‘ฃ1 + ๐›ฝ2 ๐‘ฃ2 + โ‹ฏ + ๐›ฝ ๐‘› ๐‘ฃ ๐‘›. Tenemos que:
๐‘‡๐‘–๐‘—(๐‘Ž1 + ๐‘Ž2) = ๐‘‡๐‘–๐‘—((๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘›) + (๐›ฝ1 ๐‘ฃ1 + ๐›ฝ2 ๐‘ฃ2 + โ‹ฏ + ๐›ฝ ๐‘› ๐‘ฃ ๐‘›))
= ๐‘‡๐‘–๐‘—((๐›ผ1 + ๐›ฝ1)๐‘ฃ1 + (๐›ผ2 + ๐›ฝ2)๐‘ฃ2 + โ‹ฏ + (๐›ผ ๐‘› + ๐›ฝ ๐‘›)๐‘ฃ ๐‘›) = (๐›ผ๐‘— + ๐›ฝ๐‘—)๐‘ค๐‘–
= ๐›ผ๐‘— ๐‘ค๐‘– + ๐›ฝ๐‘— ๐‘ค๐‘– = ๐‘‡๐‘–๐‘—(๐‘Ž1) + ๐‘‡๐‘–๐‘—(๐‘Ž2)
ยฟ โˆ€๐‘˜ โˆˆ ๐พ โˆ€๐‘Ž1 โˆˆ ๐‘‰ ๐‘‡๐‘–๐‘—(๐‘˜๐‘Ž1) = ๐‘˜๐‘‡๐‘–๐‘—(๐‘Ž1)?
๐‘‡๐‘–๐‘—(๐‘˜๐‘Ž1) = ๐‘‡๐‘–๐‘—(๐‘˜(๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘›)) = ๐‘‡๐‘–๐‘—((๐‘˜๐›ผ1)๐‘ฃ1 + (๐‘˜๐›ผ2)๐‘ฃ2 + โ‹ฏ + (๐‘˜๐›ผ ๐‘›)๐‘ฃ ๐‘›)
= (๐‘˜๐›ผ๐‘—)๐‘ค๐‘– = ๐‘˜๐›ผ๐‘— ๐‘ค๐‘– = ๐‘˜๐‘‡๐‘–๐‘—(๐‘Ž1)
Las transformaciones propuestas constituyen una base para el espacio vectorial ๐ฟ(๐‘‰, ๐‘Š), la cual
denominaremos la base canรณnica de este espacio. Demostremos entonces que el conjunto ๐ต =
{๐‘‡11, ๐‘‡12, โ€ฆ , ๐‘‡1๐‘›, ๐‘‡21, ๐‘‡22, โ€ฆ , ๐‘‡2๐‘›, โ€ฆ , ๐‘‡ ๐‘š1, ๐‘‡ ๐‘š2, โ€ฆ , ๐‘‡ ๐‘š๐‘›} es una base de ๐ฟ(๐‘‰, ๐‘Š) y, dado que
๐‘(๐ต) = ๐‘š๐‘›, esto demostrarรญa que dim ๐ฟ(๐‘‰, ๐‘Š) = (dim ๐‘‰)(dim ๐‘Š)
Demostremos entonces que ๐ฟ(๐‘‰, ๐‘Š) = ๐‘”๐‘’๐‘›(๐ต):
Sea ๐‘‡ โˆˆ ๐ฟ(๐‘‰, ๐‘Š), sin importar su regla de correspondencia, al transformar cualquier vector de ๐‘‰
obtenemos un vector de ๐‘Š, y dicho resultado se puede entonces expresar como combinaciรณn lineal
de los elementos de la base ๐ต ๐‘Š. Entonces, una regla de correspondencia general serรญa:
Sea ๐‘ฃ = ๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘›
๐‘‡(๐‘ฃ) = ๐‘‡(๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘›) = ๐›ผ1 ๐‘‡(๐‘ฃ1) + ๐›ผ2 ๐‘‡(๐‘ฃ2) + โ‹ฏ + ๐›ผ ๐‘› ๐‘‡(๐‘ฃ ๐‘›)
Por lo explicado anteriormente, el resultado para ๐‘‡(๐‘ฃ๐‘—) ; ๐‘— = 1,2, โ€ฆ , ๐‘› serรก combinaciรณn lineal de
los elementos de ๐ต ๐‘Š:
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
๐‘‡(๐‘ฃ) = ๐›ผ1(๐‘11 ๐‘ค1 + ๐‘21 ๐‘ค2 + โ‹ฏ + ๐‘ ๐‘š1 ๐‘ค ๐‘š) + ๐›ผ2(๐‘12 ๐‘ค1 + ๐‘22 ๐‘ค2 + โ‹ฏ + ๐‘ ๐‘š2 ๐‘ค ๐‘š) + โ‹ฏ
+ ๐›ผ ๐‘›(๐‘1๐‘› ๐‘ค1 + ๐‘2๐‘› ๐‘ค2 + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘ค ๐‘š)
๐‘‡(๐‘ฃ) = ๐›ผ1 ๐‘11 ๐‘ค1 + ๐›ผ1 ๐‘21 ๐‘ค2 + โ‹ฏ + ๐›ผ1 ๐‘ ๐‘š1 ๐‘ค ๐‘š + ๐›ผ2 ๐‘12 ๐‘ค1 + ๐›ผ2 ๐‘22 ๐‘ค2 + โ‹ฏ + ๐›ผ2 ๐‘ ๐‘š2 ๐‘ค ๐‘š
+ โ‹ฏ ๐›ผ ๐‘› ๐‘1๐‘› ๐‘ค1 + ๐›ผ ๐‘› ๐‘2๐‘› ๐‘ค2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ ๐‘š๐‘› ๐‘ค ๐‘š
๐‘‡(๐‘ฃ) = ๐‘11 ๐›ผ1 ๐‘ค1 + ๐‘12 ๐›ผ2 ๐‘ค1 + โ‹ฏ + ๐‘1๐‘› ๐›ผ ๐‘› ๐‘ค1 + ๐‘21 ๐›ผ1 ๐‘ค2 + ๐‘22 ๐›ผ2 ๐‘ค2 + โ‹ฏ + ๐‘2๐‘› ๐›ผ2 ๐‘ค2 + โ‹ฏ
+ ๐‘ ๐‘š1 ๐›ผ1 ๐‘ค ๐‘š + ๐‘ ๐‘š2 ๐›ผ2 ๐‘ค ๐‘š + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐›ผ ๐‘› ๐‘ค ๐‘š
๐‘‡(๐‘ฃ) = ๐‘11 ๐‘‡11(๐‘ฃ) + ๐‘12 ๐‘‡12(๐‘ฃ) + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘›(๐‘ฃ) + ๐‘21 ๐‘‡21(๐‘ฃ) + ๐‘22 ๐‘‡22(๐‘ฃ) + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘›(๐‘ฃ)
+ โ‹ฏ + ๐‘ ๐‘š1 ๐‘‡ ๐‘š1(๐‘ฃ) + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2(๐‘ฃ) + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›(๐‘ฃ)
๐‘‡(๐‘ฃ) = (๐‘11 ๐‘‡11 + ๐‘12 ๐‘‡12 + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘› + ๐‘21 ๐‘‡21 + ๐‘22 ๐‘‡22 + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘› + โ‹ฏ + ๐‘ ๐‘š1 ๐‘‡ ๐‘š1
+ ๐‘ ๐‘š2 ๐‘‡ ๐‘š2 + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›)(๐‘ฃ)
๐‘‡ = ๐‘11 ๐‘‡11 + ๐‘12 ๐‘‡12 + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘› + ๐‘21 ๐‘‡21 + ๐‘22 ๐‘‡22 + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘› + โ‹ฏ + ๐‘ ๐‘š1 ๐‘‡ ๐‘š1 + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2
+ โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›
๐ฟ(๐‘‰, ๐‘Š) = ๐‘”๐‘’๐‘›(๐ต)
Ahora verifiquemos que ๐ต es linealmente independiente en ๐ฟ(๐‘‰, ๐‘Š):
๐‘11 ๐‘‡11 + ๐‘12 ๐‘‡12 + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘› + ๐‘21 ๐‘‡21 + ๐‘22 ๐‘‡22 + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘› + โ‹ฏ + ๐‘ ๐‘š1 ๐‘‡ ๐‘š1 + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2 + โ‹ฏ
+ ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘› = 0 ๐ฟ(๐‘‰,๐‘Š)
(๐‘11 ๐‘‡11 + ๐‘12 ๐‘‡12 + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘› + ๐‘21 ๐‘‡21 + ๐‘22 ๐‘‡22 + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘› + โ‹ฏ + ๐‘ ๐‘š1 ๐‘‡ ๐‘š1 + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2
+ โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›)(๐‘ฃ) = 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ)
๐‘11 ๐‘‡11(๐‘ฃ) + ๐‘12 ๐‘‡12(๐‘ฃ) + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘›(๐‘ฃ) + ๐‘21 ๐‘‡21(๐‘ฃ) + ๐‘22 ๐‘‡22(๐‘ฃ) + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘›(๐‘ฃ) + โ‹ฏ
+ ๐‘ ๐‘š1 ๐‘‡ ๐‘š1(๐‘ฃ) + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2(๐‘ฃ) + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›(๐‘ฃ) = 0 ๐‘Š
Asรญ, para ๐‘ฃ = ๐‘ฃ1:
๐‘11 ๐‘‡11(๐‘ฃ1) + ๐‘12 ๐‘‡12(๐‘ฃ1) + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘›(๐‘ฃ1) + ๐‘21 ๐‘‡21(๐‘ฃ1) + ๐‘22 ๐‘‡22(๐‘ฃ1) + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘›(๐‘ฃ1) + โ‹ฏ
+ ๐‘ ๐‘š1 ๐‘‡ ๐‘š1(๐‘ฃ1) + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2(๐‘ฃ1) + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›(๐‘ฃ1) = 0 ๐‘Š
๐‘11 ๐‘ค1 + ๐‘21 ๐‘ค2 + โ‹ฏ + ๐‘ ๐‘š1 ๐‘ค ๐‘š = 0 ๐‘Š
{
๐‘11 = 0
๐‘21 = 0
โ‹ฎ
๐‘ ๐‘š1 = 0
Asรญ, para ๐‘ฃ = ๐‘ฃ2:
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
๐‘11 ๐‘‡11(๐‘ฃ2) + ๐‘12 ๐‘‡12(๐‘ฃ2) + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘›(๐‘ฃ2) + ๐‘21 ๐‘‡21(๐‘ฃ2) + ๐‘22 ๐‘‡22(๐‘ฃ2) + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘›(๐‘ฃ2) + โ‹ฏ
+ ๐‘ ๐‘š1 ๐‘‡ ๐‘š1(๐‘ฃ2) + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2(๐‘ฃ2) + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›(๐‘ฃ2) = 0 ๐‘Š
๐‘12 ๐‘ค1 + ๐‘22 ๐‘ค2 + โ‹ฏ + ๐‘ ๐‘š2 ๐‘ค ๐‘š = 0 ๐‘Š
{
๐‘12 = 0
๐‘22 = 0
โ‹ฎ
๐‘ ๐‘š2 = 0
โ‹ฎ
Asรญ, para ๐‘ฃ = ๐‘ฃ ๐‘›:
๐‘11 ๐‘‡11(๐‘ฃ ๐‘›) + ๐‘12 ๐‘‡12(๐‘ฃ ๐‘›) + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘›(๐‘ฃ ๐‘›) + ๐‘21 ๐‘‡21(๐‘ฃ ๐‘›) + ๐‘22 ๐‘‡22(๐‘ฃ ๐‘›) + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘›(๐‘ฃ ๐‘›) + โ‹ฏ
+ ๐‘ ๐‘š1 ๐‘‡ ๐‘š1(๐‘ฃ ๐‘›) + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2(๐‘ฃ ๐‘›) + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›(๐‘ฃ ๐‘›) = 0 ๐‘Š
๐‘1๐‘› ๐‘ค1 + ๐‘2๐‘› ๐‘ค2 + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘ค ๐‘š = 0 ๐‘Š
{
๐‘1๐‘› = 0
๐‘2๐‘› = 0
โ‹ฎ
๐‘ ๐‘š๐‘› = 0
Con lo que observamos que ๐ต es linealmente independiente en ๐ฟ(๐‘‰, ๐‘Š).
๐ต es una base del espacio vectorial ๐ฟ(๐‘‰, ๐‘Š)
โˆด dim ๐ฟ(๐‘‰, ๐‘Š) = ๐‘(๐ต) = ๐‘š๐‘› = (dim ๐‘‰)(dim ๐‘Š) โˆŽ
------------------------------------------------------------------------------------------------------------------------------------------
Problemas.
Encuentre la matriz asociada a las siguientes transformaciones lineales respecto a las bases
canรณnicas de los espacios vectoriales correspondientes:
a) ๐‘‡: โ„2
โ†’ โ„2
๐‘‡ (
๐‘ฅ
๐‘ฆ) = (
3๐‘ฅ โˆ’ 2๐‘ฆ
5๐‘ฅ + ๐‘ฆ
)
b) ๐‘‡: โ„3
โ†’ โ„2
๐‘‡ (
๐‘ฅ
๐‘ฆ
๐‘ง
) = (
5๐‘ฅ + 2๐‘ฆ โˆ’ ๐‘ง
3๐‘ฅ + 4๐‘ฆ โˆ’ 2๐‘ง
)
c) ๐‘‡: โ„2
โ†’ โ„4
๐‘‡ (
๐‘ฅ
๐‘ฆ) = (2๐‘ฅ + ๐‘ฆ , ๐‘ฅ โˆ’ 3๐‘ฆ , ๐‘ฅ , ๐‘ฆ)
d) ๐‘‡: ๐‘ƒ2 โ†’ ๐‘ƒ3 ๐‘‡(๐‘) = ๐‘ฅ๐‘
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
e) ๐‘‡: ๐‘€2๐‘ฅ2 โ†’ ๐‘€3๐‘ฅ2 ๐‘‡ (
๐‘Ž ๐‘
๐‘ ๐‘‘
) = (
๐‘Ž + ๐‘ ๐‘
๐‘‘ ๐‘Ž + ๐‘
๐‘ + ๐‘ ๐‘ + ๐‘‘
)
Sea ๐‘‰ un subespacio del espacio vectorial ๐ถ(โ„). Considere la transformaciรณn lineal ๐ท: ๐‘‰ โ†’ ๐‘‰ tal
que ๐ท(๐‘“) = ๐‘“โ€ฒ
. Obtenga la matriz de ๐ท respecto al conjunto generador que se propone para ๐‘‰ en
cada caso:
a) ๐‘‰ = ๐‘”๐‘’๐‘›{๐‘’ ๐‘ฅ
, ๐‘’โˆ’๐‘ฅ}
b) ๐‘‰ = ๐‘”๐‘’๐‘›{๐‘’ ๐‘ฅ
, ๐‘ฅ๐‘’ ๐‘ฅ
, ๐‘ฅ2
๐‘’ ๐‘ฅ
, ๐‘ฅ3
๐‘’ ๐‘ฅ}
c) ๐‘‰ = ๐‘”๐‘’๐‘›{sin ๐‘ฅ , cos ๐‘ฅ}
d) ๐‘‰ = ๐‘”๐‘’๐‘›{๐‘’ ๐‘ฅ
sin ๐‘ฅ , ๐‘’ ๐‘ฅ
cos ๐‘ฅ}
Sea ๐‘‰ un espacio vectorial de dimensiรณn 3 y ๐‘Š un espacio vectorial de dimensiรณn 4. Sean ๐ต ๐‘‰ =
{๐‘ฃ1, ๐‘ฃ2, ๐‘ฃ3} y ๐ต ๐‘Š = {๐‘ค1, ๐‘ค2, ๐‘ค3, ๐‘ค4} bases de ๐‘‰ y ๐‘Š respectivamente. Sea ๐‘‡: ๐‘‰ โ†’ ๐‘Š una
transformaciรณn lineal tal que:
๏‚ท ๐‘‡(๐‘ฃ1) = 2๐‘ค1 โˆ’ 3๐‘ค2 + ๐‘ค3 โˆ’ ๐‘ค4
๏‚ท ๐‘‡(๐‘ฃ2) = ๐‘ค1 + ๐‘ค2 + ๐‘ค3 + ๐‘ค4
๏‚ท ๐‘‡(๐‘ฃ3) = ๐‘ค1 โˆ’ 2๐‘ค3
a) Obtenga la matriz de ๐‘‡ respecto a las bases ๐ต ๐‘‰ y ๐ต ๐‘Š
b) Obtenga la matriz de ๐‘‡ respecto a las bases ๐ต ๐‘‰
โ€ฒ
= {๐‘ฃ1 + ๐‘ฃ2 + ๐‘ฃ3, 3๐‘ฃ1 โˆ’ 2๐‘ฃ2 + 2๐‘ฃ3, ๐‘ฃ3} de
๐‘‰ y ๐ต ๐‘Š
โ€ฒ
= {๐‘ค1 โˆ’ ๐‘ค2, ๐‘ค1 + 2๐‘ค2 + 3๐‘ค4, ๐‘ค3 โˆ’ 2๐‘ค4, ๐‘ค2 + ๐‘ค3 + ๐‘ค4} de ๐‘Š.
c) Obtenga la regla de correspondencia de ๐‘‡.
Verdadero o Falso:
Sea ๐‘‡: ๐‘‰ โ†’ ๐‘Š una transformaciรณn lineal, sean ๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ ๐‘› โˆˆ ๐‘‰ tales que
๐‘‡(๐‘ฃ1), ๐‘‡(๐‘ฃ2), โ€ฆ , ๐‘‡(๐‘ฃ ๐‘›) โˆˆ ๐‘Š son linealmente independientes. Entonces ๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ ๐‘› son
linealmente independientes. ยฟCuรกndo es la recรญproca verdadera?
Para las siguientes transformaciones lineales, obtener nรบcleo, recorrido, y verificar que se cumple
el teorema de la dimensiรณn:
a) ๐‘‡: โ„2
โ†’ โ„ ๐‘‡(๐‘ฅ, ๐‘ฆ) = 2๐‘ฅ + ๐‘ฆ
b) ๐‘‡: โ„2
โ†’ โ„2
๐‘‡ (
๐‘ฅ
๐‘ฆ) = (
2๐‘ฅ โˆ’ ๐‘ฆ
3๐‘ฅ + 4๐‘ฆ
)
c) ๐‘‡: โ„3
โ†’ โ„3
๐‘‡(๐‘ฅ, ๐‘ฆ, ๐‘ง) = (2๐‘ฅ + ๐‘ฆ โˆ’ ๐‘ง , 3๐‘ฅ โˆ’ ๐‘ฆ โˆ’ 2๐‘ง , ๐‘ฅ + 2๐‘ฆ + 3๐‘ง)
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
d) ๐‘‡: ๐‘ƒ2 โ†’ ๐‘ƒ3 ๐‘‡(๐‘Ž0 + ๐‘Ž1 ๐‘ฅ + ๐‘Ž2 ๐‘ฅ2) = (๐‘Ž0 โˆ’ ๐‘Ž1)(1 + ๐‘ฅ2) + (๐‘Ž0 โˆ’ ๐‘Ž2)(๐‘ฅ + ๐‘ฅ3)
e) ๐‘‡: โ„2
โ†’ โ„4
๐‘‡(๐‘‹) = ๐ด๐‘‹; ๐ด = (
1
3
2
4
5 6
7 8
)
f) ๐‘‡: ๐‘ƒ2 โ†’ ๐‘ƒ3 ๐‘‡(๐‘) = ๐‘ฅ2
๐‘โ€ฒ
Indique, justificando su respuesta, si el espacio fila de una matriz es isomorfo al espacio columna
de dicha matriz. De serlo, construya un isomorfismo entre ellos.
Dadas las siguientes transformaciones lineales de โ„3
a โ„3
:
๐‘‡1(๐‘ฅ, ๐‘ฆ, ๐‘ง) = (
2๐‘ฅ + ๐‘ฆ + ๐‘ง
๐‘ฅ โˆ’ ๐‘ฆ + ๐‘ง
3๐‘ฅ + 2๐‘ฆ โˆ’ 2๐‘ง
) ๐‘‡2(๐‘ฅ, ๐‘ฆ, ๐‘ง) = (
5๐‘ฅ + ๐‘ง
2๐‘ฆ + 3๐‘ง
๐‘ฅ โˆ’ ๐‘ฆ โˆ’ ๐‘ง
)
a) Obtenga (๐‘‡1 + ๐‘‡2)(2,1,3), (3๐‘‡1)(1,1,1), (โˆ’2๐‘‡2)(2,4,0)
b) Encuentre la regla de correspondencia de ๐‘‡1 + ๐‘‡2, 3๐‘‡1, โˆ’2๐‘‡2
Encuentre bases para los siguientes espacios vectoriales:
a) ๐‘‰ = ๐ฟ(โ„2
, โ„3)
b) ๐‘‰ = ๐ฟ(๐‘ƒ2, โ„3)
c) ๐‘‰ = ๐ฟ(๐‘ƒ2, ๐‘€2๐‘ฅ2)
d) ๐‘‰ = ๐ฟ(๐‘€1๐‘ฅ2, ๐‘€2๐‘ฅ1)
TAREA.
Sea ๐‘‡: ๐‘‰ โ†’ ๐‘Š una transformaciรณn lineal. Si dim ๐‘‰ = 3 y dim ๐‘Š = ๐‘›, demuestre que:
1. Si ๐‘› = 3, ๐‘‡ es inyectiva si y solo si es sobreyectiva.
2. Si ๐‘› > 3, ๐‘‡ no es sobreyectiva.
3. Si ๐‘‡ es inyectiva, entonces ๐‘› โ‰ฅ 3
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
Sea ๐‘‡ la transformaciรณn de โ„3
en โ„3
definida por:
๐‘‡(๐‘ฅ, ๐‘ฆ, ๐‘ง) = (๐‘ฅ + ๐‘ฆ, ๐‘ฅ โˆ’ ๐‘ง, ๐‘ฆ + ๐‘ง)
Determine la representaciรณn matricial de ๐‘‡ con respecto a la base canรณnica de โ„3
.
Sea ๐‘‡: โ„3
โ†’ โ„3
la transformaciรณn lineal definida por:
๐‘‡ (
๐‘ฅ
๐‘ฆ
๐‘ง
) = (
๐‘ฅ โˆ’ 2๐‘ฆ + ๐‘ง
๐‘ฆ + ๐‘ง
๐‘ฅ โˆ’ ๐‘ฆ + 3๐‘ง
)
Determine si ๐‘‡ es un isomorfismo.
Sea ๐‘‰ un espacio vectorial de dimensiรณn ๐‘› y {๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ ๐‘›} una base de ๐‘‰. Se define la
transformaciรณn ๐‘‡ de โ„ ๐‘›
en ๐‘‰ como sigue: si ๐‘ข = (๐‘ฅ1, ๐‘ฅ2, โ€ฆ , ๐‘ฅ ๐‘›) โˆˆ โ„ ๐‘›
entonces ๐‘‡(๐‘ข) = ๐‘ฅ1 ๐‘ฃ1 +
๐‘ฅ2 ๐‘ฃ2 + โ‹ฏ + ๐‘ฅ ๐‘› ๐‘ฃ ๐‘›. Demuestre que:
a) ๐‘‡ es uno a uno (inyectiva)
b) ๐‘‡ es sobreyectiva
En el espacio vectorial ๐‘€3๐‘ฅ3 de las matrices cuadradas de orden 3, se definen las matrices ๐ผ y ๐‘€
como sigue:
๐‘€ = (
3 2 0
2 3 0
0 0 3
) y ๐ผ = (
1 0 0
0 1 0
0 0 1
)
a) Determine el valor de ๐›ผ para que la matriz (
13 12 0
12 13 0
0 0 ๐›ผ
) pertenezca al subespacio
vectorial de ๐‘€3๐‘ฅ3 generado por ๐ผ y ๐‘€.
b) Se define el subconjunto ๐ธ de ๐‘€3๐‘ฅ3 como ๐ธ = {๐‘Ž๐ผ + ๐‘๐‘€ + ๐‘๐‘€2
, ๐‘Ž, ๐‘, ๐‘ โˆˆ โ„}. Demuestre
que ๐ธ es un subespacio vectorial.
c) Determine la dimensiรณn de ๐ธ.
d) Sea ๐‘‡ la transformaciรณn de ๐‘ƒ2 en ๐ธ definida por: para todo ๐‘(๐‘ฅ) = ๐‘Ž + ๐‘๐‘ฅ + ๐‘๐‘ฅ2
de ๐‘ƒ2,
๐‘‡(๐‘) = ๐‘(๐‘€) = ๐‘Ž๐ผ + ๐‘๐‘€ + ๐‘๐‘€2
. Demuestre que ๐‘‡ es una transformaciรณn lineal y que es
biyectiva.
Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal
Sea ๐‘‡: โ„3
โ†’ โ„ una transformaciรณn lineal definida por
๐‘‡ (
๐‘ฅ
๐‘ฆ
๐‘ง
) = 2๐‘ฅ โˆ’ 3๐‘ฆ + ๐‘ง
Encontrar [๐‘‡] ๐ตโ†’๐ตโ€ฒ, donde ๐ต = {(
1
0
0
) , (
1
1
0
) , (
1
1
1
)} y ๐ตโ€ฒ
= {2}
Verdadero o Falso: Sea ๐‘‡: ๐‘ƒ2 โ†’ ๐‘ƒ1, entonces dim ๐‘๐‘ข(๐‘‡) > 0
Sea ๐‘‡ una funciรณn de ๐‘ƒ2 en ๐‘ƒ2 definida por:
๐‘‡(๐‘Ž + ๐‘๐‘ฅ + ๐‘๐‘ฅ2) = ๐‘ + (๐‘ โˆ’ ๐‘)๐‘ฅ + (๐‘ โˆ’ ๐‘ โˆ’ ๐‘Ž)๐‘ฅ2
Determine si dicha transformaciรณn es un isomorfismo, y encuentre su matriz asociada respecto a
la base {โˆ’1 , ๐‘ฅ + 1 , ๐‘ฅ2}
Sea el espacio vectorial ๐‘‰ = ๐ฟ(โ„2
, โ„2) y sean las transformaciones lineales:
๐‘‡1 (
๐‘ฅ
๐‘ฆ) = (
๐‘ฅ
0
) , ๐‘‡2 (
๐‘ฅ
๐‘ฆ) = (
๐‘ฆ
0
) , ๐‘‡3 (
๐‘ฅ
๐‘ฆ) = (
0
๐‘ฅ
) , ๐‘‡4 (
๐‘ฅ
๐‘ฆ) = (
0
๐‘ฆ
)
Demuestre que {๐‘‡1, ๐‘‡2, ๐‘‡3, ๐‘‡4} es una base de ๐‘‰

Mรกs contenido relacionado

La actualidad mรกs candente

Espacios y Subespacios Vectoriales
Espacios y Subespacios VectorialesEspacios y Subespacios Vectoriales
Espacios y Subespacios VectorialesBraian Moreno Cifuentes
ย 
4.1 definiciรณn del espacio vectorial y sus propiedades
4.1 definiciรณn del espacio vectorial y sus propiedades4.1 definiciรณn del espacio vectorial y sus propiedades
4.1 definiciรณn del espacio vectorial y sus propiedadesbreerico
ย 
Aplicaciones de ecuaciones diferenciales
Aplicaciones de ecuaciones diferencialesAplicaciones de ecuaciones diferenciales
Aplicaciones de ecuaciones diferencialesvictormanuelmar
ย 
Transformaciones lineales
Transformaciones linealesTransformaciones lineales
Transformaciones linealespachoniro
ย 
Soluciรณn de ecuaciones diferenciales (1)
Soluciรณn de ecuaciones diferenciales (1)Soluciรณn de ecuaciones diferenciales (1)
Soluciรณn de ecuaciones diferenciales (1)Johana Martinez
ย 
Coeficientes por operador anulador
Coeficientes por operador anuladorCoeficientes por operador anulador
Coeficientes por operador anuladorseralb
ย 
Transformaciones lineales
Transformaciones linealesTransformaciones lineales
Transformaciones linealesCarlos Zambrano
ย 
Aplicaciones La Transformada De Laplace
Aplicaciones La Transformada De LaplaceAplicaciones La Transformada De Laplace
Aplicaciones La Transformada De LaplaceKJEP
ย 
Ecuaciones diferenciales de bernoulli
Ecuaciones diferenciales de bernoulliEcuaciones diferenciales de bernoulli
Ecuaciones diferenciales de bernoulliAlexCoeto
ย 
Metodo del anulador
Metodo del anuladorMetodo del anulador
Metodo del anuladorMakabronero
ย 
Reduccion de orden
Reduccion de ordenReduccion de orden
Reduccion de ordenjackytas7
ย 
Derivada Parcial
Derivada ParcialDerivada Parcial
Derivada ParcialHector Funes
ย 
Ejercicios resueltos(f.vectoriales)(1)
Ejercicios resueltos(f.vectoriales)(1)Ejercicios resueltos(f.vectoriales)(1)
Ejercicios resueltos(f.vectoriales)(1)ratix
ย 
DERIVADAS PARCIALES DE ORDEN SUPERIOR
DERIVADAS PARCIALES DE ORDEN SUPERIORDERIVADAS PARCIALES DE ORDEN SUPERIOR
DERIVADAS PARCIALES DE ORDEN SUPERIOREthel Sullcaray
ย 
Tranformaciones lineales
Tranformaciones linealesTranformaciones lineales
Tranformaciones linealesRicardo Pardo
ย 
Aplicaciones de las Integrales Triples ccesa007
Aplicaciones de las Integrales Triples  ccesa007Aplicaciones de las Integrales Triples  ccesa007
Aplicaciones de las Integrales Triples ccesa007Demetrio Ccesa Rayme
ย 
D10_DERIVADAS DIRECCIONALES Y GRADIENTE.pdf
D10_DERIVADAS DIRECCIONALES Y GRADIENTE.pdfD10_DERIVADAS DIRECCIONALES Y GRADIENTE.pdf
D10_DERIVADAS DIRECCIONALES Y GRADIENTE.pdfahhsbabsa
ย 

La actualidad mรกs candente (20)

Aplicaciones funciones vectoriales
Aplicaciones funciones vectorialesAplicaciones funciones vectoriales
Aplicaciones funciones vectoriales
ย 
Espacios y Subespacios Vectoriales
Espacios y Subespacios VectorialesEspacios y Subespacios Vectoriales
Espacios y Subespacios Vectoriales
ย 
4.1 definiciรณn del espacio vectorial y sus propiedades
4.1 definiciรณn del espacio vectorial y sus propiedades4.1 definiciรณn del espacio vectorial y sus propiedades
4.1 definiciรณn del espacio vectorial y sus propiedades
ย 
Aplicaciones de ecuaciones diferenciales
Aplicaciones de ecuaciones diferencialesAplicaciones de ecuaciones diferenciales
Aplicaciones de ecuaciones diferenciales
ย 
Transformaciones lineales
Transformaciones linealesTransformaciones lineales
Transformaciones lineales
ย 
Soluciรณn de ecuaciones diferenciales (1)
Soluciรณn de ecuaciones diferenciales (1)Soluciรณn de ecuaciones diferenciales (1)
Soluciรณn de ecuaciones diferenciales (1)
ย 
Transformada de Laplace
Transformada de LaplaceTransformada de Laplace
Transformada de Laplace
ย 
Coeficientes por operador anulador
Coeficientes por operador anuladorCoeficientes por operador anulador
Coeficientes por operador anulador
ย 
Transformaciones lineales
Transformaciones linealesTransformaciones lineales
Transformaciones lineales
ย 
Aplicaciones La Transformada De Laplace
Aplicaciones La Transformada De LaplaceAplicaciones La Transformada De Laplace
Aplicaciones La Transformada De Laplace
ย 
Ecuaciones diferenciales de bernoulli
Ecuaciones diferenciales de bernoulliEcuaciones diferenciales de bernoulli
Ecuaciones diferenciales de bernoulli
ย 
Transformaciones lineales
Transformaciones linealesTransformaciones lineales
Transformaciones lineales
ย 
Metodo del anulador
Metodo del anuladorMetodo del anulador
Metodo del anulador
ย 
Reduccion de orden
Reduccion de ordenReduccion de orden
Reduccion de orden
ย 
Derivada Parcial
Derivada ParcialDerivada Parcial
Derivada Parcial
ย 
Ejercicios resueltos(f.vectoriales)(1)
Ejercicios resueltos(f.vectoriales)(1)Ejercicios resueltos(f.vectoriales)(1)
Ejercicios resueltos(f.vectoriales)(1)
ย 
DERIVADAS PARCIALES DE ORDEN SUPERIOR
DERIVADAS PARCIALES DE ORDEN SUPERIORDERIVADAS PARCIALES DE ORDEN SUPERIOR
DERIVADAS PARCIALES DE ORDEN SUPERIOR
ย 
Tranformaciones lineales
Tranformaciones linealesTranformaciones lineales
Tranformaciones lineales
ย 
Aplicaciones de las Integrales Triples ccesa007
Aplicaciones de las Integrales Triples  ccesa007Aplicaciones de las Integrales Triples  ccesa007
Aplicaciones de las Integrales Triples ccesa007
ย 
D10_DERIVADAS DIRECCIONALES Y GRADIENTE.pdf
D10_DERIVADAS DIRECCIONALES Y GRADIENTE.pdfD10_DERIVADAS DIRECCIONALES Y GRADIENTE.pdf
D10_DERIVADAS DIRECCIONALES Y GRADIENTE.pdf
ย 

Similar a Algebra lineal 2014-07-26

Transformaciones lineales
Transformaciones linealesTransformaciones lineales
Transformaciones linealespachoniro
ย 
Espacios Vectoriales de รกlgebra lineal primero
Espacios Vectoriales de รกlgebra lineal primeroEspacios Vectoriales de รกlgebra lineal primero
Espacios Vectoriales de รกlgebra lineal primeroAnthonyMarceloMuelaC
ย 
S1 espacios vect-transf_lineales_
S1 espacios vect-transf_lineales_S1 espacios vect-transf_lineales_
S1 espacios vect-transf_lineales_Neil Sulca Taipe
ย 
S1 Espacios Vectoriales y Transformaciones Lineales
S1 Espacios Vectoriales y Transformaciones LinealesS1 Espacios Vectoriales y Transformaciones Lineales
S1 Espacios Vectoriales y Transformaciones LinealesNeil Sulca Taipe
ย 
S2 nucleo imagen_diagonalizacion
S2 nucleo imagen_diagonalizacionS2 nucleo imagen_diagonalizacion
S2 nucleo imagen_diagonalizacionNeil Sulca Taipe
ย 
S9. transformada inversa-de_laplace
S9. transformada inversa-de_laplaceS9. transformada inversa-de_laplace
S9. transformada inversa-de_laplaceNeil Sulca Taipe
ย 
INFORME MATEMATICA III.docx
INFORME MATEMATICA III.docxINFORME MATEMATICA III.docx
INFORME MATEMATICA III.docxDanielRamosGonzales
ย 
Problemasalgebra20192p
Problemasalgebra20192pProblemasalgebra20192p
Problemasalgebra20192pAngel Guale
ย 
Segunda tarrea tecer depto aplicaciones
Segunda tarrea tecer depto aplicacionesSegunda tarrea tecer depto aplicaciones
Segunda tarrea tecer depto aplicacionesfernando palomo
ย 
Transformada inversa de laplace
Transformada inversa de laplaceTransformada inversa de laplace
Transformada inversa de laplaceTonnynoMedina
ย 
Funciones matemรกticas
Funciones matemรกticasFunciones matemรกticas
Funciones matemรกticasFrancisco Segura
ย 
Curvas y superficies de nivel, trazado de funciones de 2 variables
Curvas y superficies de nivel, trazado de funciones de 2 variablesCurvas y superficies de nivel, trazado de funciones de 2 variables
Curvas y superficies de nivel, trazado de funciones de 2 variablesDaniel Orozco
ย 
geometrรญa 2 -espacios vectoriales.
geometrรญa 2 -espacios vectoriales.geometrรญa 2 -espacios vectoriales.
geometrรญa 2 -espacios vectoriales.borisgodunov
ย 
TRANSFORMADA DE LAPLACE (1).pptx
TRANSFORMADA DE LAPLACE (1).pptxTRANSFORMADA DE LAPLACE (1).pptx
TRANSFORMADA DE LAPLACE (1).pptxSantiagoEspinoza48
ย 
CLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptx
CLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptxCLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptx
CLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptxIvanTerrientes
ย 

Similar a Algebra lineal 2014-07-26 (20)

Algebra lineal 2014-07-19
Algebra lineal 2014-07-19Algebra lineal 2014-07-19
Algebra lineal 2014-07-19
ย 
Transformaciones lineales
Transformaciones linealesTransformaciones lineales
Transformaciones lineales
ย 
Transformaciones lineales
Transformaciones linealesTransformaciones lineales
Transformaciones lineales
ย 
Algebra lineal 2014-08-03
Algebra lineal 2014-08-03Algebra lineal 2014-08-03
Algebra lineal 2014-08-03
ย 
Espacios Vectoriales de รกlgebra lineal primero
Espacios Vectoriales de รกlgebra lineal primeroEspacios Vectoriales de รกlgebra lineal primero
Espacios Vectoriales de รกlgebra lineal primero
ย 
S1 espacios vect-transf_lineales_
S1 espacios vect-transf_lineales_S1 espacios vect-transf_lineales_
S1 espacios vect-transf_lineales_
ย 
S1 Espacios Vectoriales y Transformaciones Lineales
S1 Espacios Vectoriales y Transformaciones LinealesS1 Espacios Vectoriales y Transformaciones Lineales
S1 Espacios Vectoriales y Transformaciones Lineales
ย 
S1 espacios vect-transf_lineales_
S1 espacios vect-transf_lineales_S1 espacios vect-transf_lineales_
S1 espacios vect-transf_lineales_
ย 
S2 nucleo imagen_diagonalizacion
S2 nucleo imagen_diagonalizacionS2 nucleo imagen_diagonalizacion
S2 nucleo imagen_diagonalizacion
ย 
S9. transformada inversa-de_laplace
S9. transformada inversa-de_laplaceS9. transformada inversa-de_laplace
S9. transformada inversa-de_laplace
ย 
INFORME MATEMATICA III.docx
INFORME MATEMATICA III.docxINFORME MATEMATICA III.docx
INFORME MATEMATICA III.docx
ย 
Problemasalgebra20192p
Problemasalgebra20192pProblemasalgebra20192p
Problemasalgebra20192p
ย 
Segunda tarrea tecer depto aplicaciones
Segunda tarrea tecer depto aplicacionesSegunda tarrea tecer depto aplicaciones
Segunda tarrea tecer depto aplicaciones
ย 
Transformada inversa de laplace
Transformada inversa de laplaceTransformada inversa de laplace
Transformada inversa de laplace
ย 
Ecuaciones diferenciales aplicadas a la cinetica quimica
Ecuaciones diferenciales aplicadas a  la cinetica quimicaEcuaciones diferenciales aplicadas a  la cinetica quimica
Ecuaciones diferenciales aplicadas a la cinetica quimica
ย 
Funciones matemรกticas
Funciones matemรกticasFunciones matemรกticas
Funciones matemรกticas
ย 
Curvas y superficies de nivel, trazado de funciones de 2 variables
Curvas y superficies de nivel, trazado de funciones de 2 variablesCurvas y superficies de nivel, trazado de funciones de 2 variables
Curvas y superficies de nivel, trazado de funciones de 2 variables
ย 
geometrรญa 2 -espacios vectoriales.
geometrรญa 2 -espacios vectoriales.geometrรญa 2 -espacios vectoriales.
geometrรญa 2 -espacios vectoriales.
ย 
TRANSFORMADA DE LAPLACE (1).pptx
TRANSFORMADA DE LAPLACE (1).pptxTRANSFORMADA DE LAPLACE (1).pptx
TRANSFORMADA DE LAPLACE (1).pptx
ย 
CLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptx
CLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptxCLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptx
CLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptx
ย 

Mรกs de Cindy Adriana Bohรณrquez Santana

265306183 ecolog-a-impacto-de-la-problem-tica-ambiental-actual-sobre-la-salud...
265306183 ecolog-a-impacto-de-la-problem-tica-ambiental-actual-sobre-la-salud...265306183 ecolog-a-impacto-de-la-problem-tica-ambiental-actual-sobre-la-salud...
265306183 ecolog-a-impacto-de-la-problem-tica-ambiental-actual-sobre-la-salud...Cindy Adriana Bohรณrquez Santana
ย 
Unidad 4 a HERENCIA, CLASES ABSTRACTAS, INTERFACES Y POLIMORFISMO . UML
Unidad 4 a HERENCIA, CLASES ABSTRACTAS, INTERFACES Y POLIMORFISMO . UMLUnidad 4 a HERENCIA, CLASES ABSTRACTAS, INTERFACES Y POLIMORFISMO . UML
Unidad 4 a HERENCIA, CLASES ABSTRACTAS, INTERFACES Y POLIMORFISMO . UMLCindy Adriana Bohรณrquez Santana
ย 

Mรกs de Cindy Adriana Bohรณrquez Santana (20)

Proyecto parcial1t2018
Proyecto parcial1t2018Proyecto parcial1t2018
Proyecto parcial1t2018
ย 
265306183 ecolog-a-impacto-de-la-problem-tica-ambiental-actual-sobre-la-salud...
265306183 ecolog-a-impacto-de-la-problem-tica-ambiental-actual-sobre-la-salud...265306183 ecolog-a-impacto-de-la-problem-tica-ambiental-actual-sobre-la-salud...
265306183 ecolog-a-impacto-de-la-problem-tica-ambiental-actual-sobre-la-salud...
ย 
20152 sfiec030121 1
20152 sfiec030121 120152 sfiec030121 1
20152 sfiec030121 1
ย 
4 estructuras enlazadas
4 estructuras enlazadas4 estructuras enlazadas
4 estructuras enlazadas
ย 
12 conjuntos mapas1t2018
12 conjuntos mapas1t201812 conjuntos mapas1t2018
12 conjuntos mapas1t2018
ย 
11 colas prioridad1t2018
11 colas prioridad1t201811 colas prioridad1t2018
11 colas prioridad1t2018
ย 
10 colas1 t2018
10 colas1 t201810 colas1 t2018
10 colas1 t2018
ย 
09 pilas aplicaciones1t2018
09 pilas aplicaciones1t201809 pilas aplicaciones1t2018
09 pilas aplicaciones1t2018
ย 
08 pilas1 t2018
08 pilas1 t201808 pilas1 t2018
08 pilas1 t2018
ย 
06 listas1 t2018
06 listas1 t201806 listas1 t2018
06 listas1 t2018
ย 
05 listas1 t2018
05 listas1 t201805 listas1 t2018
05 listas1 t2018
ย 
04 recursividad1 t2018
04 recursividad1 t201804 recursividad1 t2018
04 recursividad1 t2018
ย 
03 tda1 t2018
03 tda1 t201803 tda1 t2018
03 tda1 t2018
ย 
02 tda1 t2018
02 tda1 t201802 tda1 t2018
02 tda1 t2018
ย 
Unidad 5 VARIABLES Y Mร‰TODOS ESTรTICOS
Unidad 5 VARIABLES Y Mร‰TODOS ESTรTICOSUnidad 5 VARIABLES Y Mร‰TODOS ESTรTICOS
Unidad 5 VARIABLES Y Mร‰TODOS ESTรTICOS
ย 
Unidad 4 a HERENCIA, CLASES ABSTRACTAS, INTERFACES Y POLIMORFISMO . UML
Unidad 4 a HERENCIA, CLASES ABSTRACTAS, INTERFACES Y POLIMORFISMO . UMLUnidad 4 a HERENCIA, CLASES ABSTRACTAS, INTERFACES Y POLIMORFISMO . UML
Unidad 4 a HERENCIA, CLASES ABSTRACTAS, INTERFACES Y POLIMORFISMO . UML
ย 
Unidad 3 CLASES, OBJETOS E INTSANCIAS
Unidad 3 CLASES, OBJETOS E INTSANCIASUnidad 3 CLASES, OBJETOS E INTSANCIAS
Unidad 3 CLASES, OBJETOS E INTSANCIAS
ย 
Unidad 2 Sintaxis en java
Unidad 2 Sintaxis en javaUnidad 2 Sintaxis en java
Unidad 2 Sintaxis en java
ย 
Unidad 1_Programacion Orientada a Objetos
Unidad 1_Programacion Orientada a ObjetosUnidad 1_Programacion Orientada a Objetos
Unidad 1_Programacion Orientada a Objetos
ย 
Teoria basica probabilidad_2015_4_ed
Teoria basica probabilidad_2015_4_edTeoria basica probabilidad_2015_4_ed
Teoria basica probabilidad_2015_4_ed
ย 

รšltimo

ATS-FORMATO cara.pdf PARA TRABAJO SEGURO
ATS-FORMATO cara.pdf  PARA TRABAJO SEGUROATS-FORMATO cara.pdf  PARA TRABAJO SEGURO
ATS-FORMATO cara.pdf PARA TRABAJO SEGUROalejandrocrisostomo2
ย 
โ€œAnรกlisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
โ€œAnรกlisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...โ€œAnรกlisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
โ€œAnรกlisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...WeslinDarguinHernand
ย 
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJODIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJOJimyAMoran
ย 
Sistemas de Ecuaciones no lineales-1.pptx
Sistemas de Ecuaciones no lineales-1.pptxSistemas de Ecuaciones no lineales-1.pptx
Sistemas de Ecuaciones no lineales-1.pptx170766
ย 
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)Ricardo705519
ย 
UC Fundamentos de tuberรญas en equipos de refrigeraciรณn m.pdf
UC Fundamentos de tuberรญas en equipos de refrigeraciรณn m.pdfUC Fundamentos de tuberรญas en equipos de refrigeraciรณn m.pdf
UC Fundamentos de tuberรญas en equipos de refrigeraciรณn m.pdfrefrielectriccarlyz
ย 
sistema de CLORACIร“N DE AGUA POTABLE gst
sistema de CLORACIร“N DE AGUA POTABLE gstsistema de CLORACIร“N DE AGUA POTABLE gst
sistema de CLORACIร“N DE AGUA POTABLE gstDavidRojas870673
ย 
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
2e38892c-fc5d-490e-b751-ce772cf4756f.pdfLuisFernandoTQ
ย 
27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.pptjacnuevarisaralda22
ย 
Presentaciรณn de Redes de alcantarillado y agua potable
Presentaciรณn de Redes de alcantarillado y agua potablePresentaciรณn de Redes de alcantarillado y agua potable
Presentaciรณn de Redes de alcantarillado y agua potableFabricioMogroMantill
ย 
Mecatronica Automotriz .pdf
Mecatronica Automotriz              .pdfMecatronica Automotriz              .pdf
Mecatronica Automotriz .pdfleonardocahua1
ย 
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNATINSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNATevercoyla
ย 
PRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTO
PRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTOPRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTO
PRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTOwillanpedrazaperez
ย 
[1LLF] UNIDADES, MAGNITUDES FรSICAS Y VECTORES.pdf
[1LLF] UNIDADES, MAGNITUDES FรSICAS Y VECTORES.pdf[1LLF] UNIDADES, MAGNITUDES FรSICAS Y VECTORES.pdf
[1LLF] UNIDADES, MAGNITUDES FรSICAS Y VECTORES.pdfsmendozap1
ย 
Sistema de lubricaciรณn para motores de combustiรณn interna
Sistema de lubricaciรณn para motores de combustiรณn internaSistema de lubricaciรณn para motores de combustiรณn interna
Sistema de lubricaciรณn para motores de combustiรณn internamengual57
ย 
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptx
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptxEFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptx
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptxfranklingerardoloma
ย 
Estadรญstica Anual y Multianual del Sector Elรฉctrico Ecuatoriano
Estadรญstica Anual y Multianual del Sector Elรฉctrico EcuatorianoEstadรญstica Anual y Multianual del Sector Elรฉctrico Ecuatoriano
Estadรญstica Anual y Multianual del Sector Elรฉctrico EcuatorianoEduardoBriones22
ย 
Anรกlisis de Costos y Presupuestos CAPECO
Anรกlisis de Costos y Presupuestos CAPECOAnรกlisis de Costos y Presupuestos CAPECO
Anรกlisis de Costos y Presupuestos CAPECOFernando Bravo
ย 
FUNCION DE ESTADO EN LA TERMODINAMICA.pdf
FUNCION DE ESTADO EN LA TERMODINAMICA.pdfFUNCION DE ESTADO EN LA TERMODINAMICA.pdf
FUNCION DE ESTADO EN LA TERMODINAMICA.pdfalfredoivan1
ย 
TAIICHI OHNO, historia, obras, reconocimientos
TAIICHI OHNO, historia, obras, reconocimientosTAIICHI OHNO, historia, obras, reconocimientos
TAIICHI OHNO, historia, obras, reconocimientoscuentaparainvestigac
ย 

รšltimo (20)

ATS-FORMATO cara.pdf PARA TRABAJO SEGURO
ATS-FORMATO cara.pdf  PARA TRABAJO SEGUROATS-FORMATO cara.pdf  PARA TRABAJO SEGURO
ATS-FORMATO cara.pdf PARA TRABAJO SEGURO
ย 
โ€œAnรกlisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
โ€œAnรกlisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...โ€œAnรกlisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
โ€œAnรกlisis comparativo de viscosidad entre los fluidos de yogurt natural, acei...
ย 
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJODIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
DIAPOSITIVAS DE SEGURIDAD Y SALUD EN EL TRABAJO
ย 
Sistemas de Ecuaciones no lineales-1.pptx
Sistemas de Ecuaciones no lineales-1.pptxSistemas de Ecuaciones no lineales-1.pptx
Sistemas de Ecuaciones no lineales-1.pptx
ย 
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
analisis tecnologico( diagnostico tecnologico, herramienta de toma de deciones)
ย 
UC Fundamentos de tuberรญas en equipos de refrigeraciรณn m.pdf
UC Fundamentos de tuberรญas en equipos de refrigeraciรณn m.pdfUC Fundamentos de tuberรญas en equipos de refrigeraciรณn m.pdf
UC Fundamentos de tuberรญas en equipos de refrigeraciรณn m.pdf
ย 
sistema de CLORACIร“N DE AGUA POTABLE gst
sistema de CLORACIร“N DE AGUA POTABLE gstsistema de CLORACIร“N DE AGUA POTABLE gst
sistema de CLORACIร“N DE AGUA POTABLE gst
ย 
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
2e38892c-fc5d-490e-b751-ce772cf4756f.pdf
ย 
27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt27311861-Cuencas-sedimentarias-en-Colombia.ppt
27311861-Cuencas-sedimentarias-en-Colombia.ppt
ย 
Presentaciรณn de Redes de alcantarillado y agua potable
Presentaciรณn de Redes de alcantarillado y agua potablePresentaciรณn de Redes de alcantarillado y agua potable
Presentaciรณn de Redes de alcantarillado y agua potable
ย 
Mecatronica Automotriz .pdf
Mecatronica Automotriz              .pdfMecatronica Automotriz              .pdf
Mecatronica Automotriz .pdf
ย 
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNATINSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
INSUMOS QUIMICOS Y BIENES FISCALIZADOS POR LA SUNAT
ย 
PRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTO
PRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTOPRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTO
PRESENTACION DE LAS PLAGAS Y ENFERMEDADES DEL PALTO
ย 
[1LLF] UNIDADES, MAGNITUDES FรSICAS Y VECTORES.pdf
[1LLF] UNIDADES, MAGNITUDES FรSICAS Y VECTORES.pdf[1LLF] UNIDADES, MAGNITUDES FรSICAS Y VECTORES.pdf
[1LLF] UNIDADES, MAGNITUDES FรSICAS Y VECTORES.pdf
ย 
Sistema de lubricaciรณn para motores de combustiรณn interna
Sistema de lubricaciรณn para motores de combustiรณn internaSistema de lubricaciรณn para motores de combustiรณn interna
Sistema de lubricaciรณn para motores de combustiรณn interna
ย 
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptx
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptxEFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptx
EFICIENCIA ENERGETICA-ISO50001_INTEC_2.pptx
ย 
Estadรญstica Anual y Multianual del Sector Elรฉctrico Ecuatoriano
Estadรญstica Anual y Multianual del Sector Elรฉctrico EcuatorianoEstadรญstica Anual y Multianual del Sector Elรฉctrico Ecuatoriano
Estadรญstica Anual y Multianual del Sector Elรฉctrico Ecuatoriano
ย 
Anรกlisis de Costos y Presupuestos CAPECO
Anรกlisis de Costos y Presupuestos CAPECOAnรกlisis de Costos y Presupuestos CAPECO
Anรกlisis de Costos y Presupuestos CAPECO
ย 
FUNCION DE ESTADO EN LA TERMODINAMICA.pdf
FUNCION DE ESTADO EN LA TERMODINAMICA.pdfFUNCION DE ESTADO EN LA TERMODINAMICA.pdf
FUNCION DE ESTADO EN LA TERMODINAMICA.pdf
ย 
TAIICHI OHNO, historia, obras, reconocimientos
TAIICHI OHNO, historia, obras, reconocimientosTAIICHI OHNO, historia, obras, reconocimientos
TAIICHI OHNO, historia, obras, reconocimientos
ย 

Algebra lineal 2014-07-26

  • 1. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal รlgebra Lineal โ€“ Parte 2 26 de julio de 2014 Conocemos transformaciones lineales del tipo ๐‘‡: โ„ ๐‘› โ†’ โ„ ๐‘š tal que ๐‘‡(๐‘‹) = ๐ด๐‘‹; ๐ด โˆˆ ๐‘€ ๐‘š๐‘ฅ๐‘›. Nรณtese que es bastante sencillo determinar el nรบcleo y el recorrido de estas transformaciones, pues tenemos: ๐‘๐‘ข(๐‘‡) = {๐‘‹ โˆˆ โ„ ๐‘› | ๐ด๐‘‹ = 0โ„ ๐‘š} = ๐‘๐‘ข(๐ด) ๐‘…๐‘’(๐‘‡) = {๐‘Œ โˆˆ โ„ ๐‘š | ๐ด๐‘‹ = ๐‘Œ ; ๐‘‹ โˆˆ โ„ ๐‘›} = ๐‘…๐‘’(๐ด) = ๐ถ๐ด Bรกsicamente, esta transformaciรณn lineal se puede definir en tรฉrminos de una regla de correspondencia, o en tรฉrminos de la matriz ๐ด. Veamos un ejemplo: Sea ๐‘‡: โ„3 โ†’ โ„3 tal que ๐‘‡(๐‘‹) = ๐ด๐‘‹; ๐ด = ( 2 1 โˆ’1 3 โˆ’1 โˆ’2 1 2 3 ). Sea ๐‘‹ = ( ๐‘ฅ ๐‘ฆ ๐‘ง ) โˆˆ โ„3 entonces ๐‘‡(๐‘‹) = ๐‘‡ ( ๐‘ฅ ๐‘ฆ ๐‘ง ) = ( 2 1 โˆ’1 3 โˆ’1 โˆ’2 1 2 3 ) ( ๐‘ฅ ๐‘ฆ ๐‘ง ) = ( 2๐‘ฅ + ๐‘ฆ โˆ’ ๐‘ง 3๐‘ฅ โˆ’ ๐‘ฆ โˆ’ 2๐‘ง ๐‘ฅ + 2๐‘ฆ + 3๐‘ง ) Tenemos entonces que la transformaciรณn lineal pudo haberse definido originalmente como ๐‘‡ ( ๐‘ฅ ๐‘ฆ ๐‘ง ) = ( 2๐‘ฅ + ๐‘ฆ โˆ’ ๐‘ง 3๐‘ฅ โˆ’ ๐‘ฆ โˆ’ 2๐‘ง ๐‘ฅ + 2๐‘ฆ + 3๐‘ง ) pero se la puede representar por medio de la matriz ( 2 1 โˆ’1 3 โˆ’1 โˆ’2 1 2 3 ). Esto aparentemente sรณlo ocurrirรญa con transformaciones ๐‘‡: โ„ ๐‘› โ†’ โ„ ๐‘š , sin embargo cuando las transformaciones son ๐‘‡: ๐‘‰ โ†’ ๐‘Š con espacios vectoriales cualesquiera ๐‘‰, ๐‘Š, se puede utilizar coordenadas respecto a bases especรญficas de estos espacios, pues los vectores de coordenadas son elementos de โ„ ๐‘› donde ๐‘› es la dimensiรณn del espacio en cuestiรณn. Bajo este punto de vista, si tenemos bases definidas de espacios vectoriales ๐‘‰, ๐‘Š podemos definir una transformaciรณn lineal en tรฉrminos de una matriz, como si fuese una transformaciรณn entre โ„ ๐‘› , โ„ ๐‘š . Representaciรณn Matricial de una Transformaciรณn Lineal Sean ๐ต1 = {๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ ๐‘›} y ๐ต2 = {๐‘ค1, ๐‘ค2, โ€ฆ , ๐‘ค ๐‘š} bases de los espacios vectoriales de dimensiรณn finita ๐‘‰ y ๐‘Š respectivamente. Sea ๐‘‡: ๐‘‰ โ†’ ๐‘Š una transformaciรณn lineal. Se dice que la representaciรณn matricial o matriz asociada a ๐‘‡, denotada ๐ด ๐‘‡, tiene por columnas a las coordenadas de las transformadas de los vectores de la base ๐ต1, respecto de la base ๐ต2. ๐ด ๐‘‡ = ([๐‘‡(๐‘ฃ1)] ๐ต2 [๐‘‡(๐‘ฃ2)] ๐ต2 โ€ฆ [๐‘‡(๐‘ฃ ๐‘›)] ๐ต2 ) โˆ€๐‘ฃ โˆˆ ๐‘‰ [๐‘‡(๐‘ฃ)] ๐ต2 = ๐ด ๐‘‡[๐‘ฃ] ๐ต1
  • 2. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal Ojo: La matriz asociada a una transformaciรณn lineal podrรญa no ser cuadrada, su nรบmero de filas es igual a la dimensiรณn del espacio de llegada, y su nรบmero de columnas es la dimensiรณn del espacio de salida. Ademรกs, si la matriz es cuadrada, podrรญa ser que su inversa no exista. La notaciรณn utilizada para la representaciรณn matricial de ๐‘‡ o matriz asociada a ๐‘‡ es el nombre de la matriz y como subรญndice el nombre de la transformaciรณn ๐ด ๐‘‡ o el nombre de la transformaciรณn entre corchetes y como subรญndice las bases de partida y llegada [๐‘‡] ๐ต1 ๐ต2 Transformaciรณn Lineal Inyectiva, Sobreyectiva e Isomorfismo Definiciรณn: Transformaciรณn Lineal Inyectiva: Se dice que la transformaciรณn lineal ๐‘‡: ๐‘‰ โ†’ ๐‘Š es inyectiva, si ocurre que: โˆ€๐‘ฃ1, ๐‘ฃ2 โˆˆ ๐‘‰ [๐‘‡(๐‘ฃ1) = ๐‘‡(๐‘ฃ2) โ‡” ๐‘ฃ1 = ๐‘ฃ2] Teorema: Una transformaciรณn lineal ๐‘‡: ๐‘‰ โ†’ ๐‘Š es inyectiva, si y sรณlo si, el รบnico vector que se encuentra en el nรบcleo de ๐‘‡ es el 0 ๐‘‰: ๐‘๐‘ข(๐‘‡) = {0 ๐‘‰} Definiciรณn: Transformaciรณn Lineal Sobreyectiva: La transformaciรณn lineal ๐‘‡: ๐‘‰ โ†’ ๐‘Š es llamada sobreyectiva si para todo vector ๐‘ค โˆˆ ๐‘Š existe al menos un vector ๐‘ฃ โˆˆ ๐‘‰, tal que ๐‘‡(๐‘ฃ) = ๐‘ค. โˆ€๐‘ค โˆˆ ๐‘Š โˆƒ๐‘ฃ โˆˆ ๐‘‰ ๐‘ค = ๐‘‡(๐‘ฃ) En otras palabras, ๐‘‡ es sobreyectiva si ๐‘…๐‘’(๐‘‡) = ๐‘Š. Ojo: Notar que ๐‘‡ es inyectiva si y sรณlo si ๐œˆ(๐‘‡) = 0 y sobreyectiva si y sรณlo si ๐œŒ(๐‘‡) = dim ๐‘Š Definiciรณn: Isomorfismo: Sea ๐‘‡: ๐‘‰ โ†’ ๐‘Š una transformaciรณn lineal. Se dice que ๐‘‡ es un isomorfismo si ๐‘‡ es inyectiva y ๐‘‡ es sobreyectiva. Es decir, ๐‘‡ es llamada un isomorfismo si ๐‘‡ es biyectiva. Definiciรณn: Espacios Vectoriales Isomorfos: Sean ๐‘‰ y ๐‘Š espacios vectoriales de dimensiรณn finita. Se dice que ๐‘‰ y ๐‘Š son espacios isomorfos, lo cual denotaremos ๐‘‰ โ‰… ๐‘Š, si existe una transformaciรณn lineal ๐‘‡: ๐‘‰ โ†’ ๐‘Š que es un isomorfismo. Teorema: Sean ๐‘‰ y ๐‘Š espacios vectoriales de dimensiรณn finita, y ๐‘‡: ๐‘‰ โ†’ ๐‘Š una transformaciรณn lineal. Entonces: i. Si dim ๐‘‰ > dim ๐‘Š, ๐‘‡ no es inyectiva. ii. Si dim ๐‘‰ < dim ๐‘Š, ๐‘‡ no es sobreyectiva. iii. Si dim ๐‘‰ = dim ๐‘Š, ๐‘‡ es inyectiva si y sรณlo si ๐‘‡ es sobreyectiva.
  • 3. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal Teorema: Sean ๐‘‰ y ๐‘Š espacios vectoriales de dimensiรณn finita. Los espacios ๐‘‰ y ๐‘Š son isomorfos (๐‘‰ โ‰… ๐‘Š) si y sรณlo si tienen la misma dimensiรณn (dim ๐‘‰ = dim ๐‘Š). Operaciones con Transformaciones Lineales Las transformaciones lineales a la larga son funciones, y asรญ como podemos realizar operaciones con funciones, tambiรฉn podemos hacerlo con las transformaciones lineales. Normalmente, nosotros definimos la suma, resta, multiplicaciรณn y divisiรณn entre funciones, el producto por constantes y la composiciรณn de funciones. Para efectos de รกlgebra lineal utilizaremos la suma entre transformaciones lineales y el producto por escalares (obviamente, esto incluirรก la resta). Entonces, tal como lo harรญamos con funciones, tenemos la siguiente definiciรณn: Definiciรณn: Transformaciones Suma y Multiplicaciรณn por Escalar: Sean ๐‘‰, ๐‘Š dos ๐พ-espacios vectoriales, sean ๐‘‡1: ๐‘‰ โ†’ ๐‘Š y ๐‘‡2: ๐‘‰ โ†’ ๐‘Š dos transformaciones lineales, y sea ๐‘˜ โˆˆ ๐พ. Se definen la suma y la multiplicaciรณn por escalar de la siguiente manera: Transformaciรณn Suma: ๐‘‡1 + ๐‘‡2: ๐‘‰ โ†’ ๐‘Š โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐‘‡1 + ๐‘‡2)(๐‘ฃ) = ๐‘‡1(๐‘ฃ) + ๐‘‡2(๐‘ฃ) Transformaciรณn Multiplicaciรณn por Escalar: ๐‘˜๐‘‡1: ๐‘‰ โ†’ ๐‘Š โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐‘˜๐‘‡1)(๐‘ฃ) = ๐‘˜๐‘‡1(๐‘ฃ) Es decir, la transformaciรณn suma, que toma un vector ๐‘ฃ โˆˆ ๐‘‰ y devuelve un vector ๐‘ค โˆˆ ๐‘Š, se define de tal manera que la transformada de ๐‘ฃ es la suma de ๐‘‡1(๐‘ฃ) y ๐‘‡2(๐‘ฃ). Asimismo la transformaciรณn multiplicaciรณn por escalar, que toma un vector ๐‘ฃ โˆˆ ๐‘‰ y devuelve un vector ๐‘ค โˆˆ ๐‘Š, se define de tal manera que la transformada de ๐‘ฃ es el producto del escalar ๐‘˜ por ๐‘‡1(๐‘ฃ). Notamos que son transformaciones puesto que toman vectores del espacio ๐‘‰ y devuelven vectores del espacio ๐‘Š, pero ยฟson transformaciones lineales? Verifiquemos que cumplan los criterios de linealidad: ยฟโˆ€๐‘ฃ1, ๐‘ฃ2 โˆˆ ๐‘‰ (๐‘‡1 + ๐‘‡2)(๐‘ฃ1 + ๐‘ฃ2) = (๐‘‡1 + ๐‘‡2)(๐‘ฃ1) + (๐‘‡1 + ๐‘‡2)(๐‘ฃ2)? (๐‘‡1 + ๐‘‡2)(๐‘ฃ1 + ๐‘ฃ2) = ๐‘‡1(๐‘ฃ1 + ๐‘ฃ2) + ๐‘‡2(๐‘ฃ1 + ๐‘ฃ2) Definiciรณn de ๐‘‡1 + ๐‘‡2 (๐‘‡1 + ๐‘‡2)(๐‘ฃ1 + ๐‘ฃ2) = ๐‘‡1(๐‘ฃ1) + ๐‘‡1(๐‘ฃ2) + ๐‘‡2(๐‘ฃ1) + ๐‘‡2(๐‘ฃ2) Linealidad de ๐‘‡1 y ๐‘‡2 (๐‘‡1 + ๐‘‡2)(๐‘ฃ1 + ๐‘ฃ2) = (๐‘‡1(๐‘ฃ1) + ๐‘‡2(๐‘ฃ1)) + (๐‘‡1(๐‘ฃ2) + ๐‘‡2(๐‘ฃ2)) Asociatividad de la suma (๐‘‡1 + ๐‘‡2)(๐‘ฃ1 + ๐‘ฃ2) = (๐‘‡1 + ๐‘‡2)(๐‘ฃ1) + (๐‘‡1 + ๐‘‡2)(๐‘ฃ2) Definiciรณn de ๐‘‡1 + ๐‘‡2 ยกSe cumple! ยฟโˆ€๐›ผ โˆˆ ๐พ โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐‘‡1 + ๐‘‡2)(๐›ผ๐‘ฃ) = ๐›ผ(๐‘‡1 + ๐‘‡2)(๐‘ฃ)? (๐‘‡1 + ๐‘‡2)(๐›ผ๐‘ฃ) = ๐‘‡1(๐›ผ๐‘ฃ) + ๐‘‡2(๐›ผ๐‘ฃ) Definiciรณn de ๐‘‡1 + ๐‘‡2 (๐‘‡1 + ๐‘‡2)(๐›ผ๐‘ฃ) = ๐›ผ๐‘‡1(๐‘ฃ) + ๐›ผ๐‘‡2(๐‘ฃ) Linealidad de ๐‘‡1 y ๐‘‡2 (๐‘‡1 + ๐‘‡2)(๐›ผ๐‘ฃ) = ๐›ผ(๐‘‡1(๐‘ฃ) + ๐‘‡2(๐‘ฃ)) Distribuciรณn de multiplicaciรณn por escalar respecto a suma
  • 4. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal (๐‘‡1 + ๐‘‡2)(๐›ผ๐‘ฃ) = ๐›ผ(๐‘‡1 + ๐‘‡2)(๐‘ฃ) Definiciรณn de ๐‘‡1 + ๐‘‡2 ยกSe cumple! โˆด ๐‘‡1 + ๐‘‡2 es una transformaciรณn lineal โˆŽ Hagamos la verificaciรณn para la transformaciรณn multiplicaciรณn por escalar: ยฟโˆ€๐‘ฃ1, ๐‘ฃ2 โˆˆ ๐‘‰ (๐‘˜๐‘‡1)(๐‘ฃ1 + ๐‘ฃ2) = (๐‘˜๐‘‡1)(๐‘ฃ1) + (๐‘˜๐‘‡1)(๐‘ฃ2)? (๐‘˜๐‘‡1)(๐‘ฃ1 + ๐‘ฃ2) = ๐‘˜๐‘‡1(๐‘ฃ1 + ๐‘ฃ2) Definiciรณn de ๐‘˜๐‘‡1 (๐‘˜๐‘‡1)(๐‘ฃ1 + ๐‘ฃ2) = ๐‘˜(๐‘‡1(๐‘ฃ1) + ๐‘‡1(๐‘ฃ2)) Linealidad de ๐‘‡1 (๐‘˜๐‘‡1)(๐‘ฃ1 + ๐‘ฃ2) = ๐‘˜๐‘‡1(๐‘ฃ1) + ๐‘˜๐‘‡1(๐‘ฃ2) Distribuciรณn de la multiplicaciรณn respecto a suma (๐‘˜๐‘‡1)(๐‘ฃ1 + ๐‘ฃ2) = (๐‘˜๐‘‡1)(๐‘ฃ1) + (๐‘˜๐‘‡1)(๐‘ฃ2) Definiciรณn de ๐‘˜๐‘‡1 ยกSe cumple! ยฟโˆ€๐›ผ โˆˆ ๐พ โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐‘˜๐‘‡1)(๐›ผ๐‘ฃ) = ๐›ผ(๐‘˜๐‘‡1)(๐‘ฃ)? (๐‘˜๐‘‡1)(๐›ผ๐‘ฃ) = ๐‘˜๐‘‡1(๐›ผ๐‘ฃ) Definiciรณn de ๐‘˜๐‘‡1 (๐‘˜๐‘‡1)(๐›ผ๐‘ฃ) = ๐‘˜๐›ผ๐‘‡1(๐‘ฃ) Linealidad de ๐‘‡1 (๐‘˜๐‘‡1)(๐›ผ๐‘ฃ) = ๐›ผ(๐‘˜๐‘‡1(๐‘ฃ)) Asociatividad de multiplicaciรณn por escalar (๐‘˜๐‘‡1)(๐›ผ๐‘ฃ) = ๐›ผ(๐‘˜๐‘‡1)(๐‘ฃ) Definiciรณn de ๐‘˜๐‘‡1 ยกSe cumple! โˆด ๐‘˜๐‘‡1 es una transformaciรณn lineal โˆŽ Con esto podemos notar que, dadas dos transformaciones lineales de un espacio vectorial ๐‘‰ a un espacio vectorial ๐‘Š, la suma entre ellas tambiรฉn es una transformaciรณn lineal de ๐‘‰ a ๐‘Š, es decir, la suma es โ€œcerradaโ€ entre transformaciones lineales de ๐‘‰ a ๐‘Š. Asimismo, la multiplicaciรณn entre una transformaciรณn lineal de ๐‘‰ a ๐‘Š y un escalar cualquiera de un campo ๐พ, da como resultado una transformaciรณn lineal de ๐‘‰ a ๐‘Š, de forma que la multiplicaciรณn por escalar tambiรฉn es โ€œcerradaโ€ en transformaciones lineales de ๐‘‰ a ๐‘Š. Consideremos todas las transformaciones lineales que van de ๐‘‰ a ๐‘Š como parte del conjunto ๐ฟ(๐‘‰, ๐‘Š). Sabemos que la suma y la multiplicaciรณn por escalar son cerradas en este conjunto. Realizaremos un anรกlisis para demostrar que en este conjunto se cumplen las 8 propiedades que definen a los espacios vectoriales: 1. ยฟโˆ€๐‘‡1, ๐‘‡2 โˆˆ ๐ฟ(๐‘‰, ๐‘Š) ๐‘‡1 + ๐‘‡2 = ๐‘‡2 + ๐‘‡1?
  • 5. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐‘‡1 + ๐‘‡2)(๐‘ฃ) = ๐‘‡1(๐‘ฃ) + ๐‘‡2(๐‘ฃ) = ๐‘‡2(๐‘ฃ) + ๐‘‡1(๐‘ฃ) = (๐‘‡2 + ๐‘‡1)(๐‘ฃ) 2. ยฟโˆ€๐‘‡1, ๐‘‡2, ๐‘‡3 โˆˆ ๐ฟ(๐‘‰, ๐‘Š) (๐‘‡1 + ๐‘‡2) + ๐‘‡3 = ๐‘‡1 + (๐‘‡2 + ๐‘‡3)? โˆ€๐‘ฃ โˆˆ ๐‘‰ ((๐‘‡1 + ๐‘‡2) + ๐‘‡3)(๐‘ฃ) = (๐‘‡1 + ๐‘‡2)(๐‘ฃ) + ๐‘‡3(๐‘ฃ) = ๐‘‡1(๐‘ฃ) + ๐‘‡2(๐‘ฃ) + ๐‘‡3(๐‘ฃ) = ๐‘‡1(๐‘ฃ) + (๐‘‡2 + ๐‘‡3)(๐‘ฃ) = (๐‘‡1 + (๐‘‡2 + ๐‘‡3))(๐‘ฃ) 3. ยฟโˆƒ0 ๐ฟ(๐‘‰,๐‘Š) โˆˆ ๐ฟ(๐‘‰, ๐‘Š) โˆ€๐‘‡ โˆˆ ๐ฟ(๐‘‰, ๐‘Š) ๐‘‡ + 0 ๐ฟ(๐‘‰,๐‘Š) = ๐‘‡? Se encuentra la regla de correspondencia de 0 ๐ฟ(๐‘‰,๐‘Š) (demostrando asรญ su existencia) โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐‘‡ + 0 ๐ฟ(๐‘‰,๐‘Š))(๐‘ฃ) = ๐‘‡(๐‘ฃ) ๐‘‡(๐‘ฃ) + 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ) = ๐‘‡(๐‘ฃ) 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ) = 0 ๐‘Š ; โˆ€๐‘ฃ โˆˆ ๐‘‰ Se verifica que 0 ๐ฟ(๐‘‰,๐‘Š) โˆˆ ๐ฟ(๐‘‰, ๐‘Š), es decir, se verifica si es una transformaciรณn lineal ยฟโˆ€๐‘ฃ1, ๐‘ฃ2 โˆˆ ๐‘‰ 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ1 + ๐‘ฃ2) = 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ1) + 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ2)? 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ1 + ๐‘ฃ2) = 0 ๐‘Š 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ1 + ๐‘ฃ2) = 0 ๐‘Š + 0 ๐‘Š 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ1 + ๐‘ฃ2) = 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ1) + 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ2) ยกSe cumple! ยฟโˆ€๐›ผ โˆˆ ๐พ โˆ€๐‘ฃ โˆˆ ๐‘‰ 0 ๐ฟ(๐‘‰,๐‘Š)(๐›ผ๐‘ฃ) = ๐›ผ0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ)? 0 ๐ฟ(๐‘‰,๐‘Š)(๐›ผ๐‘ฃ) = 0 ๐‘Š 0 ๐ฟ(๐‘‰,๐‘Š)(๐›ผ๐‘ฃ) = ๐›ผ0 ๐‘Š 0 ๐ฟ(๐‘‰,๐‘Š)(๐›ผ๐‘ฃ) = ๐›ผ0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ) ยกSe cumple! โˆด 0 ๐ฟ(๐‘‰,๐‘Š) es una transformaciรณn lineal โˆŽ Se verifica que se cumple la condiciรณn ยฟโˆ€๐‘ฃ โˆˆ ๐‘‰ ๐‘‡ + 0 ๐ฟ(๐‘‰,๐‘Š) = ๐‘‡? (๐‘‡ + 0 ๐ฟ(๐‘‰,๐‘Š))(๐‘ฃ) = ๐‘‡(๐‘ฃ) + 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ) (๐‘‡ + 0 ๐ฟ(๐‘‰,๐‘Š))(๐‘ฃ) = ๐‘‡(๐‘ฃ) + 0 ๐‘Š (๐‘‡ + 0 ๐ฟ(๐‘‰,๐‘Š))(๐‘ฃ) = ๐‘‡(๐‘ฃ) ยกSe cumple! 4. ยฟโˆ€๐‘‡ โˆˆ ๐ฟ(๐‘‰, ๐‘Š) โˆƒ๐‘‡ฬƒ โˆˆ ๐ฟ(๐‘‰, ๐‘Š) ๐‘‡ + ๐‘‡ฬƒ = 0 ๐ฟ(๐‘‰,๐‘Š)? Se encuentra la regla de correspondencia de ๐‘‡ฬƒ (demostrando asรญ su existencia) โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐‘‡ + ๐‘‡ฬƒ)(๐‘ฃ) = 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ) ๐‘‡(๐‘ฃ) + ๐‘‡ฬƒ(๐‘ฃ) = 0 ๐‘Š
  • 6. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal ๐‘‡ฬƒ(๐‘ฃ) = ๐‘‡(๐‘ฃ)ฬƒ ๐‘‡ฬƒ(๐‘ฃ) = (๐‘›โˆ™)+ โ€ฒ ๐‘‡(๐‘ฃ) ; โˆ€๐‘ฃ โˆˆ ๐‘‰ Se verifica que ๐‘‡ฬƒ โˆˆ ๐ฟ(๐‘‰, ๐‘Š), es decir, se verifica si es una transformaciรณn lineal ยฟโˆ€๐‘ฃ1, ๐‘ฃ2 โˆˆ ๐‘‰ ๐‘‡ฬƒ(๐‘ฃ1 + ๐‘ฃ2) = ๐‘‡ฬƒ(๐‘ฃ1) + ๐‘‡ฬƒ(๐‘ฃ2)? ๐‘‡ฬƒ(๐‘ฃ1 + ๐‘ฃ2) = (๐‘›โˆ™)+ โ€ฒ (๐‘‡(๐‘ฃ1 + ๐‘ฃ2)) ๐‘‡ฬƒ(๐‘ฃ1 + ๐‘ฃ2) = (๐‘›โˆ™)+ โ€ฒ (๐‘‡(๐‘ฃ1) + ๐‘‡(๐‘ฃ2)) ๐‘‡ฬƒ(๐‘ฃ1 + ๐‘ฃ2) = (๐‘›โˆ™)+ โ€ฒ ๐‘‡(๐‘ฃ1) + (๐‘›โˆ™)+ โ€ฒ ๐‘‡(๐‘ฃ2) ๐‘‡ฬƒ(๐‘ฃ1 + ๐‘ฃ2) = ๐‘‡ฬƒ(๐‘ฃ1) + ๐‘‡ฬƒ(๐‘ฃ2) ยกSe cumple! ยฟโˆ€๐›ผ โˆˆ ๐พ โˆ€๐‘ฃ โˆˆ ๐‘‰ ๐‘‡ฬƒ(๐›ผ๐‘ฃ) = ๐›ผ๐‘‡ฬƒ(๐‘ฃ)? ๐‘‡ฬƒ(๐›ผ๐‘ฃ) = (๐‘›โˆ™)+ โ€ฒ ๐‘‡(๐›ผ๐‘ฃ) ๐‘‡ฬƒ(๐›ผ๐‘ฃ) = ๐›ผ(๐‘›โˆ™)+ โ€ฒ ๐‘‡(๐‘ฃ) ๐‘‡ฬƒ(๐›ผ๐‘ฃ) = ๐›ผ๐‘‡ฬƒ(๐‘ฃ) ยกSe cumple! โˆด ๐‘‡ฬƒ es una transformaciรณn lineal โˆŽ 5. ยฟโˆ€๐›ผ, ๐›ฝ โˆˆ ๐พ โˆ€๐‘‡ โˆˆ ๐ฟ(๐‘‰, ๐‘Š) ๐›ผ(๐›ฝ๐‘‡) = (๐›ผ๐›ฝ)๐‘‡? โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐›ผ(๐›ฝ๐‘‡))(๐‘ฃ) = ๐›ผ((๐›ฝ๐‘‡)(๐‘ฃ)) = ๐›ผ (๐›ฝ(๐‘‡(๐‘ฃ))) = (๐›ผ๐›ฝ)(๐‘‡(๐‘ฃ)) = ((๐›ผ๐›ฝ)๐‘‡)(๐‘ฃ) 6. ยฟ โˆ€๐›ผ, ๐›ฝ โˆˆ ๐พ โˆ€๐‘‡ โˆˆ ๐ฟ(๐‘‰, ๐‘Š) (๐›ผ + ๐›ฝ)๐‘‡ = (๐›ผ๐‘‡) + (๐›ฝ๐‘‡)? โˆ€๐‘ฃ โˆˆ ๐‘‰ ((๐›ผ + ๐›ฝ)๐‘‡)(๐‘ฃ) = (๐›ผ + ๐›ฝ)๐‘‡(๐‘ฃ) = ๐›ผ๐‘‡(๐‘ฃ) + ๐›ฝ๐‘‡(๐‘ฃ) = (๐›ผ๐‘‡)(๐‘ฃ) + (๐›ฝ๐‘‡)(๐‘ฃ) 7. ยฟ โˆ€๐›ผ โˆˆ ๐พ โˆ€๐‘‡1, ๐‘‡2 โˆˆ ๐ฟ(๐‘‰, ๐‘Š) ๐›ผ(๐‘‡1 + ๐‘‡2) = (๐›ผ๐‘‡1) + (๐›ผ๐‘‡2)? โˆ€๐‘ฃ โˆˆ ๐‘‰ (๐›ผ(๐‘‡1 + ๐‘‡2))(๐‘ฃ) = ๐›ผ(๐‘‡1 + ๐‘‡2)(๐‘ฃ) = ๐›ผ(๐‘‡1(๐‘ฃ) + ๐‘‡2(๐‘ฃ)) = ๐›ผ๐‘‡1(๐‘ฃ) + ๐›ผ๐‘‡2(๐‘ฃ) = (๐›ผ๐‘‡1)(๐‘ฃ) + (๐›ผ๐‘‡2)(๐‘ฃ) 8. ยฟโˆ€๐‘‡ โˆˆ ๐ฟ(๐‘‰, ๐‘Š) (๐‘›โˆ™)๐‘‡ = ๐‘‡? โˆ€๐‘ฃ โˆˆ ๐‘‰ ((๐‘›โˆ™)๐‘‡)(๐‘ฃ) = (๐‘›โˆ™)๐‘‡(๐‘ฃ) = ๐‘‡(๐‘ฃ) โˆด ๐ฟ(๐‘‰, ๐‘Š) es un ๐พ-espacio vectorial โˆŽ Definiciรณn: Espacio de Transformaciones Lineales: Sean ๐‘‰ y ๐‘Š dos espacios vectoriales, se dice que ๐ฟ(๐‘‰, ๐‘Š) es el espacio vectorial de las transformaciones lineales que van de ๐‘‰ a ๐‘Š. Teorema: Sean๐‘‰ y ๐‘Š dos espacios vectoriales de dimensiรณn finita. El espacio vectorial ๐ฟ(๐‘‰, ๐‘Š) es entonces de dimensiรณn finita, tal que: dim ๐ฟ(๐‘‰, ๐‘Š) = (dim ๐‘‰)(dim ๐‘Š)
  • 7. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal Observaciรณn: Sean ๐‘‰ y ๐‘Š dos espacios vectoriales de dimensiรณn finita. Sean ๐ต ๐‘‰ = {๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ ๐‘›} y ๐ต ๐‘Š = {๐‘ค1, ๐‘ค2, โ€ฆ , ๐‘ค ๐‘š} bases de ๐‘‰ y ๐‘Š respectivamente. Diremos que la base canรณnica del espacio ๐ฟ(๐‘‰, ๐‘Š) es la siguiente: ๐ต = {๐‘‡11, ๐‘‡12, โ€ฆ , ๐‘‡1๐‘›, ๐‘‡21, ๐‘‡22, โ€ฆ , ๐‘‡2๐‘›, โ€ฆ , ๐‘‡ ๐‘š1, ๐‘‡ ๐‘š2, โ€ฆ , ๐‘‡ ๐‘š๐‘›} Donde, para cualquier vector ๐‘ฃ = ๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘› โˆˆ ๐‘‰: ๐‘‡11(๐‘ฃ) = ๐›ผ1 ๐‘ค1 , ๐‘‡12(๐‘ฃ) = ๐›ผ2 ๐‘ค1, โ€ฆ , ๐‘‡1๐‘› = (๐‘ฃ) = ๐›ผ ๐‘› ๐‘ค1 ๐‘‡21(๐‘ฃ) = ๐›ผ1 ๐‘ค2 , ๐‘‡22(๐‘ฃ) = ๐›ผ2 ๐‘ค2, โ€ฆ , ๐‘‡2๐‘› = (๐‘ฃ) = ๐›ผ ๐‘› ๐‘ค2 โ‹ฎ ๐‘‡ ๐‘š1(๐‘ฃ) = ๐›ผ1 ๐‘ค ๐‘š , ๐‘‡ ๐‘š2(๐‘ฃ) = ๐›ผ2 ๐‘ค ๐‘š, โ€ฆ , ๐‘‡ ๐‘š๐‘› = (๐‘ฃ) = ๐›ผ ๐‘› ๐‘ค ๐‘š --------------------------------------------------------------------------------------------------------------------- Demostraciones. A continuaciรณn demostrarรฉ algunos de los teoremas de la secciรณn teรณrica de este documento como refuerzo para entenderlos mejor. Teorema: Una transformaciรณn lineal ๐‘‡: ๐‘‰ โ†’ ๐‘Š es inyectiva, si y sรณlo si, el รบnico vector que se encuentra en el nรบcleo de ๐‘‡ es el 0 ๐‘‰: ๐‘๐‘ข(๐‘‡) = {0 ๐‘‰} El teorema nos indica una forma mucho mรกs fรกcil de determinar si una transformaciรณn lineal es una funciรณn inyectiva (es decir, es uno a uno). Demostraciรณn: Primero demostrarรฉ la proposiciรณn en el orden ๐‘ โ†’ ๐‘ž, es decir: Si ๐‘‡ es inyectiva, entonces ๐‘๐‘ข(๐‘‡) = {0 ๐‘‰} Sea ๐‘ฃ โˆˆ ๐‘๐‘ข(๐‘‡) un elemento cualquiera del nรบcleo de la transformaciรณn, se demostrarรก que ese elemento debe obligatoriamente ser cero. ๐‘‡(๐‘ฃ) = 0 ๐‘Š Pero conocemos que ๐‘‡(0 ๐‘‰) = 0 ๐‘Š. Por hipรณtesis, ๐‘‡ es inyectiva, por lo que tenemos que: 0 ๐‘Š = 0 ๐‘Š ๐‘‡(๐‘ฃ) = ๐‘‡(0 ๐‘‰) ๐‘ฃ = 0 ๐‘‰
  • 8. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal โˆด ๐‘๐‘ข(๐‘‡) = {0 ๐‘‰} โˆŽ Ahora demostrarรฉ la proposiciรณn en el orden ๐‘ž โ†’ ๐‘, es decir: Si ๐‘๐‘ข(๐‘‡) = {0 ๐‘‰}, entonces ๐‘‡ es inyectiva. Sean ๐‘ฃ1, ๐‘ฃ2 โˆˆ ๐‘‰ tales que ๐‘‡(๐‘ฃ1) = ๐‘‡(๐‘ฃ2), demostraremos que esto implica que los vectores ๐‘ฃ1 y ๐‘ฃ2 son iguales: ๐‘‡(๐‘ฃ1) = ๐‘‡(๐‘ฃ2) ๐‘‡(๐‘ฃ1) + ๐‘‡(๐‘ฃ2)ฬƒ = ๐‘‡(๐‘ฃ2) + ๐‘‡(๐‘ฃ2)ฬƒ ๐‘‡(๐‘ฃ1) + ๐‘‡(๐‘ฃ2ฬƒ) = 0 ๐‘Š ๐‘‡(๐‘ฃ1 + ๐‘ฃ2ฬƒ) = 0 ๐‘Š ๐‘ฃ1 + ๐‘ฃ2ฬƒ โˆˆ ๐‘๐‘ข(๐‘‡) Por hipรณtesis, ๐‘๐‘ข(๐‘‡) = {0 ๐‘‰} es decir, en el nรบcleo sรณlo hay un elemento que es el vector cero, por lo que si ๐‘ฃ1 + ๐‘ฃ2ฬƒ estรก en el nรบcleo, entonces obligatoriamente sรณlo podrรก ser cero: ๐‘ฃ1 + ๐‘ฃ2ฬƒ = 0 ๐‘‰ ๐‘ฃ1 + ๐‘ฃ2ฬƒ + ๐‘ฃ2 = 0 ๐‘‰ + ๐‘ฃ2 ๐‘ฃ1 = ๐‘ฃ2 โˆด ๐‘‡ es inyectiva โˆŽ Teorema: Sean ๐‘‰ y ๐‘Š espacios vectoriales de dimensiรณn finita, y ๐‘‡: ๐‘‰ โ†’ ๐‘Š una transformaciรณn lineal. Entonces: i. Si dim ๐‘‰ > dim ๐‘Š, ๐‘‡ no es inyectiva. ii. Si dim ๐‘‰ < dim ๐‘Š, ๐‘‡ no es sobreyectiva. iii. Si dim ๐‘‰ = dim ๐‘Š, ๐‘‡ es inyectiva si y sรณlo si ๐‘‡ es sobreyectiva. Este teorema es de gran ayuda, asรญ podemos con sรณlo observar la dimensiรณn de los espacios vectoriales de partida y llegada, saber si la transformaciรณn tiene opciรณn de ser inyectiva, sobreyectiva o un isomorfismo. Demostraciรณn: Para facilitar la escritura de esta demostraciรณn, se dirรก que dim ๐‘‰ = ๐‘› y que dim ๐‘Š = ๐‘š
  • 9. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal i. Si dim ๐‘‰ > dim ๐‘Š, ๐‘‡ no es inyectiva. Se conoce que ๐œˆ(๐‘‡) + ๐œŒ(๐‘‡) = ๐‘›. Como ๐‘…๐‘’(๐‘‡) โŠ† ๐‘Š entonces sabemos que ๐œŒ(๐‘‡) โ‰ค ๐‘š ๐œŒ(๐‘‡) โ‰ค ๐‘š ๐‘› โˆ’ ๐œˆ(๐‘‡) โ‰ค ๐‘š โˆ’๐œˆ(๐‘‡) โ‰ค ๐‘š โˆ’ ๐‘› ๐‘› โˆ’ ๐‘š โ‰ค ๐œˆ(๐‘‡) Por hipรณtesis ๐‘› > ๐‘š por lo tanto ๐‘› โˆ’ ๐‘š > 0 ๐œˆ(๐‘‡) > 0 ๐‘๐‘ข(๐‘‡) โ‰  {0 ๐‘‰} โˆด ๐‘‡ no es inyectiva โˆŽ ii. Si dim ๐‘‰ < dim ๐‘Š, ๐‘‡ no es sobreyectiva. Se conoce que ๐œˆ(๐‘‡) + ๐œŒ(๐‘‡) = ๐‘›. Como ๐‘๐‘ข(๐‘‡) โŠ† ๐‘‰ entonces sabemos que 0 โ‰ค ๐œˆ(๐‘‡) โ‰ค ๐‘› 0 โ‰ค ๐œˆ(๐‘‡) โ‰ค ๐‘› 0 โ‰ค ๐‘› โˆ’ ๐œŒ(๐‘‡) โ‰ค ๐‘› โˆ’๐‘› โ‰ค โˆ’๐œŒ(๐‘‡) โ‰ค 0 ๐œŒ(๐‘‡) โ‰ค ๐‘› Por hipรณtesis ๐‘› < ๐‘š por lo que: ๐œŒ(๐‘‡) < ๐‘š ๐œŒ(๐‘‡) < dim ๐‘Š ๐‘…๐‘’(๐‘‡) โ‰  ๐‘Š โˆด ๐‘‡ no es sobreyectiva โˆŽ iii. Si dim ๐‘‰ = dim ๐‘Š, ๐‘‡ es inyectiva si y sรณlo si ๐‘‡ es sobreyectiva. Se conoce que ๐œˆ(๐‘‡) + ๐œŒ(๐‘‡) = ๐‘›. Veamos el orden ๐‘ โ†’ ๐‘ž: Si ๐‘‡ es inyectiva, entonces ๐œˆ(๐‘‡) = 0 y por lo tanto ๐œŒ(๐‘‡) = ๐‘›. Pero por hipรณtesis ๐‘› = ๐‘š, por lo tanto ๐œŒ(๐‘‡) = ๐‘š = dim ๐‘Š. Finalmente concluimos que ๐‘…๐‘’(๐‘‡) = ๐‘Š
  • 10. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal โˆด ๐‘‡ es sobreyectiva โˆŽ Veamos ahora el orden ๐‘ž โ†’ ๐‘: Si ๐‘‡ es sobreyectiva, entonces ๐œŒ(๐‘‡) = dim ๐‘Š = ๐‘š y por lo tanto ๐œˆ(๐‘‡) + ๐‘š = ๐‘›. Pero por hipรณtesis ๐‘› = ๐‘š, por lo tanto ๐œˆ(๐‘‡) = ๐‘› โˆ’ ๐‘› = 0. Finalmente concluimos que ๐‘๐‘ข(๐‘‡) = {0 ๐‘‰} โˆด ๐‘‡ es inyectiva โˆŽ Teorema: Sean ๐‘‰ y ๐‘Š espacios vectoriales de dimensiรณn finita. Los espacios ๐‘‰ y ๐‘Š son isomorfos (๐‘‰ โ‰… ๐‘Š) si y sรณlo si tienen la misma dimensiรณn (dim ๐‘‰ = dim ๐‘Š). El teorema se puede inferir del anterior. Dice que sรณlo es posible definir un isomorfismo entre dos espacios vectoriales (es decir, estos son isomorfos) si la dimensiรณn de dichos espacios es igual. Demostraciรณn: Veamos la forma ๐‘ โ†’ ๐‘ž, es decir, Si ๐‘‰ โ‰… ๐‘Š entonces dim ๐‘‰ = dim ๐‘Š. Ya que ๐‘‰ โ‰… ๐‘Š entonces existe una transformaciรณn lineal ๐‘‡: ๐‘‰ โ†’ ๐‘Š tal que ๐‘‡ es un isomorfismo. Siendo asรญ, ๐‘‡ es inyectiva por lo que ๐œˆ(๐‘‡) = 0 y ๐‘‡ es sobreyectiva por lo que ๐œŒ(๐‘‡) = dim ๐‘Š. Con esto, el teorema de la dimensiรณn dice que: ๐œˆ(๐‘‡) + ๐œŒ(๐‘‡) = dim ๐‘‰ โˆด dim ๐‘Š = dim ๐‘‰ โˆŽ Veamos la forma ๐‘ž โ†’ ๐‘, es decir, Si dim ๐‘‰ = dim ๐‘Š entonces ๐‘‰ โ‰… ๐‘Š. Sea ๐ต ๐‘‰ = {๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ ๐‘›} una base de ๐‘‰ y sea ๐ต ๐‘Š = {๐‘ค1, ๐‘ค2, โ€ฆ , ๐‘ค ๐‘›} una base de ๐‘Š, se puede construir una transformaciรณn lineal ๐‘‡: ๐‘‰ โ†’ ๐‘Š tal que ๐‘‡(๐‘ฃ๐‘–) = ๐‘ค๐‘– ; ๐‘– = 1,2, โ€ฆ , ๐‘›. Ahora bien, veamos si ๐‘‡ es un isomorfismo. Para esto veamos si ๐‘‡ es inyectiva: ๐‘๐‘ข(๐‘‡) = {๐‘ฃ โˆˆ ๐‘‰ | ๐‘‡(๐‘ฃ) = 0 ๐‘Š} Sea ๐‘ฃ โˆˆ ๐‘๐‘ข( ๐‘‡) entonces ๐‘‡( ๐‘ฃ) = 0 ๐‘Š ๐‘‡(๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘›) = 0 ๐‘Š ๐›ผ1 ๐‘ค1 + ๐›ผ2 ๐‘ค2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ค ๐‘› = 0 ๐‘Š Ya que los vectores ๐‘ค1, ๐‘ค2, โ€ฆ , ๐‘ค ๐‘› constituyen una base de ๐‘Š, son linealmente independientes, y esto implica que: ๐›ผ1 = ๐›ผ2 = โ‹ฏ = ๐›ผ ๐‘› = 0
  • 11. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal ๐‘ฃ = 0 ๐‘‰ ๐‘๐‘ข(๐‘‡) = {0 ๐‘‰} ๐‘‡ es inyectiva Veamos ahora si ๐‘‡ es sobreyectiva: ๐‘…๐‘’(๐‘‡) = {๐‘ค โˆˆ ๐‘Š | ๐‘ค = ๐‘‡(๐‘ฃ); ๐‘ฃ โˆˆ ๐‘‰} Sea ๐‘ค โˆˆ ๐‘…๐‘’(๐‘‡) entonces ๐‘ค = ๐‘‡(๐‘ฃ) para ๐‘ฃ โˆˆ ๐‘‰ ๐‘ค = ๐‘‡(๐‘ฃ) ๐‘ค = ๐‘‡(๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘›) ๐‘ค = ๐›ผ1 ๐‘ค1 + ๐›ผ2 ๐‘ค2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ค ๐‘› ๐‘ค โˆˆ ๐‘”๐‘’๐‘›(๐ต ๐‘Š) ๐‘…๐‘’(๐‘‡) = ๐‘Š ๐‘‡ es sobreyectiva โˆด ๐‘‡ es un isomorfismo โˆŽ Teorema: Sean๐‘‰ y ๐‘Š dos espacios vectoriales de dimensiรณn finita. El espacio vectorial ๐ฟ(๐‘‰, ๐‘Š) es entonces de dimensiรณn finita, tal que: dim ๐ฟ(๐‘‰, ๐‘Š) = (dim ๐‘‰)(dim ๐‘Š) El teorema nos indica cรณmo determinar la cantidad de elementos en una base cualquiera del espacio vectorial de transformaciones lineales. Usaremos esta demostraciรณn para obtener cualquier base de este espacio. Demostraciรณn: Siendo ๐‘‰, ๐‘Š dos espacios vectoriales de dimensiรณn finita, podemos decir que dim ๐‘‰ = ๐‘› y que dim ๐‘Š = ๐‘š para evitar nomenclatura complicada. Podemos entonces saber que existen bases para cada uno de estos espacios, que respectivamente serรญan: ๐ต ๐‘‰ = {๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ ๐‘›} y ๐ต ๐‘Š = {๐‘ค1, ๐‘ค2, โ€ฆ , ๐‘ค ๐‘š} Sea ๐‘ฃ โˆˆ ๐‘‰ un elemento cualquiera de ๐‘‰ que se puede escribir como combinaciรณn lineal de la base ๐ต ๐‘‰ como:
  • 12. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal ๐‘ฃ = ๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘› Se definen las siguientes transformaciones de ๐‘‰ a ๐‘Š: ๐‘‡11(๐‘ฃ) = ๐›ผ1 ๐‘ค1 , ๐‘‡12(๐‘ฃ) = ๐›ผ2 ๐‘ค1, โ€ฆ , ๐‘‡1๐‘›(๐‘ฃ) = ๐›ผ ๐‘› ๐‘ค1 ๐‘‡21(๐‘ฃ) = ๐›ผ1 ๐‘ค2 , ๐‘‡22(๐‘ฃ) = ๐›ผ2 ๐‘ค2, โ€ฆ , ๐‘‡2๐‘›(๐‘ฃ) = ๐›ผ ๐‘› ๐‘ค2 โ‹ฎ ๐‘‡ ๐‘š1(๐‘ฃ) = ๐›ผ1 ๐‘ค ๐‘š , ๐‘‡ ๐‘š2(๐‘ฃ) = ๐›ผ2 ๐‘ค ๐‘š, โ€ฆ , ๐‘‡ ๐‘š๐‘›(๐‘ฃ) = ๐›ผ ๐‘› ๐‘ค ๐‘š Es notorio que cada una de ellas son transformaciones lineales. Sea: ๐‘‡๐‘–๐‘—(๐‘ฃ) = ๐›ผ๐‘— ๐‘ค๐‘– ; ๐‘— = 1,2, โ€ฆ , ๐‘› ; ๐‘– = 1,2, โ€ฆ , ๐‘š ยฟโˆ€๐‘Ž1, ๐‘Ž2 โˆˆ ๐‘‰ ๐‘‡๐‘–๐‘—(๐‘Ž1 + ๐‘Ž2) = ๐‘‡๐‘–๐‘—(๐‘Ž1) + ๐‘‡๐‘–๐‘—(๐‘Ž2)? Sean ๐‘Ž1 = ๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘› y ๐‘Ž2 = ๐›ฝ1 ๐‘ฃ1 + ๐›ฝ2 ๐‘ฃ2 + โ‹ฏ + ๐›ฝ ๐‘› ๐‘ฃ ๐‘›. Tenemos que: ๐‘‡๐‘–๐‘—(๐‘Ž1 + ๐‘Ž2) = ๐‘‡๐‘–๐‘—((๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘›) + (๐›ฝ1 ๐‘ฃ1 + ๐›ฝ2 ๐‘ฃ2 + โ‹ฏ + ๐›ฝ ๐‘› ๐‘ฃ ๐‘›)) = ๐‘‡๐‘–๐‘—((๐›ผ1 + ๐›ฝ1)๐‘ฃ1 + (๐›ผ2 + ๐›ฝ2)๐‘ฃ2 + โ‹ฏ + (๐›ผ ๐‘› + ๐›ฝ ๐‘›)๐‘ฃ ๐‘›) = (๐›ผ๐‘— + ๐›ฝ๐‘—)๐‘ค๐‘– = ๐›ผ๐‘— ๐‘ค๐‘– + ๐›ฝ๐‘— ๐‘ค๐‘– = ๐‘‡๐‘–๐‘—(๐‘Ž1) + ๐‘‡๐‘–๐‘—(๐‘Ž2) ยฟ โˆ€๐‘˜ โˆˆ ๐พ โˆ€๐‘Ž1 โˆˆ ๐‘‰ ๐‘‡๐‘–๐‘—(๐‘˜๐‘Ž1) = ๐‘˜๐‘‡๐‘–๐‘—(๐‘Ž1)? ๐‘‡๐‘–๐‘—(๐‘˜๐‘Ž1) = ๐‘‡๐‘–๐‘—(๐‘˜(๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘›)) = ๐‘‡๐‘–๐‘—((๐‘˜๐›ผ1)๐‘ฃ1 + (๐‘˜๐›ผ2)๐‘ฃ2 + โ‹ฏ + (๐‘˜๐›ผ ๐‘›)๐‘ฃ ๐‘›) = (๐‘˜๐›ผ๐‘—)๐‘ค๐‘– = ๐‘˜๐›ผ๐‘— ๐‘ค๐‘– = ๐‘˜๐‘‡๐‘–๐‘—(๐‘Ž1) Las transformaciones propuestas constituyen una base para el espacio vectorial ๐ฟ(๐‘‰, ๐‘Š), la cual denominaremos la base canรณnica de este espacio. Demostremos entonces que el conjunto ๐ต = {๐‘‡11, ๐‘‡12, โ€ฆ , ๐‘‡1๐‘›, ๐‘‡21, ๐‘‡22, โ€ฆ , ๐‘‡2๐‘›, โ€ฆ , ๐‘‡ ๐‘š1, ๐‘‡ ๐‘š2, โ€ฆ , ๐‘‡ ๐‘š๐‘›} es una base de ๐ฟ(๐‘‰, ๐‘Š) y, dado que ๐‘(๐ต) = ๐‘š๐‘›, esto demostrarรญa que dim ๐ฟ(๐‘‰, ๐‘Š) = (dim ๐‘‰)(dim ๐‘Š) Demostremos entonces que ๐ฟ(๐‘‰, ๐‘Š) = ๐‘”๐‘’๐‘›(๐ต): Sea ๐‘‡ โˆˆ ๐ฟ(๐‘‰, ๐‘Š), sin importar su regla de correspondencia, al transformar cualquier vector de ๐‘‰ obtenemos un vector de ๐‘Š, y dicho resultado se puede entonces expresar como combinaciรณn lineal de los elementos de la base ๐ต ๐‘Š. Entonces, una regla de correspondencia general serรญa: Sea ๐‘ฃ = ๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘› ๐‘‡(๐‘ฃ) = ๐‘‡(๐›ผ1 ๐‘ฃ1 + ๐›ผ2 ๐‘ฃ2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ฃ ๐‘›) = ๐›ผ1 ๐‘‡(๐‘ฃ1) + ๐›ผ2 ๐‘‡(๐‘ฃ2) + โ‹ฏ + ๐›ผ ๐‘› ๐‘‡(๐‘ฃ ๐‘›) Por lo explicado anteriormente, el resultado para ๐‘‡(๐‘ฃ๐‘—) ; ๐‘— = 1,2, โ€ฆ , ๐‘› serรก combinaciรณn lineal de los elementos de ๐ต ๐‘Š:
  • 13. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal ๐‘‡(๐‘ฃ) = ๐›ผ1(๐‘11 ๐‘ค1 + ๐‘21 ๐‘ค2 + โ‹ฏ + ๐‘ ๐‘š1 ๐‘ค ๐‘š) + ๐›ผ2(๐‘12 ๐‘ค1 + ๐‘22 ๐‘ค2 + โ‹ฏ + ๐‘ ๐‘š2 ๐‘ค ๐‘š) + โ‹ฏ + ๐›ผ ๐‘›(๐‘1๐‘› ๐‘ค1 + ๐‘2๐‘› ๐‘ค2 + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘ค ๐‘š) ๐‘‡(๐‘ฃ) = ๐›ผ1 ๐‘11 ๐‘ค1 + ๐›ผ1 ๐‘21 ๐‘ค2 + โ‹ฏ + ๐›ผ1 ๐‘ ๐‘š1 ๐‘ค ๐‘š + ๐›ผ2 ๐‘12 ๐‘ค1 + ๐›ผ2 ๐‘22 ๐‘ค2 + โ‹ฏ + ๐›ผ2 ๐‘ ๐‘š2 ๐‘ค ๐‘š + โ‹ฏ ๐›ผ ๐‘› ๐‘1๐‘› ๐‘ค1 + ๐›ผ ๐‘› ๐‘2๐‘› ๐‘ค2 + โ‹ฏ + ๐›ผ ๐‘› ๐‘ ๐‘š๐‘› ๐‘ค ๐‘š ๐‘‡(๐‘ฃ) = ๐‘11 ๐›ผ1 ๐‘ค1 + ๐‘12 ๐›ผ2 ๐‘ค1 + โ‹ฏ + ๐‘1๐‘› ๐›ผ ๐‘› ๐‘ค1 + ๐‘21 ๐›ผ1 ๐‘ค2 + ๐‘22 ๐›ผ2 ๐‘ค2 + โ‹ฏ + ๐‘2๐‘› ๐›ผ2 ๐‘ค2 + โ‹ฏ + ๐‘ ๐‘š1 ๐›ผ1 ๐‘ค ๐‘š + ๐‘ ๐‘š2 ๐›ผ2 ๐‘ค ๐‘š + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐›ผ ๐‘› ๐‘ค ๐‘š ๐‘‡(๐‘ฃ) = ๐‘11 ๐‘‡11(๐‘ฃ) + ๐‘12 ๐‘‡12(๐‘ฃ) + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘›(๐‘ฃ) + ๐‘21 ๐‘‡21(๐‘ฃ) + ๐‘22 ๐‘‡22(๐‘ฃ) + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘›(๐‘ฃ) + โ‹ฏ + ๐‘ ๐‘š1 ๐‘‡ ๐‘š1(๐‘ฃ) + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2(๐‘ฃ) + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›(๐‘ฃ) ๐‘‡(๐‘ฃ) = (๐‘11 ๐‘‡11 + ๐‘12 ๐‘‡12 + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘› + ๐‘21 ๐‘‡21 + ๐‘22 ๐‘‡22 + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘› + โ‹ฏ + ๐‘ ๐‘š1 ๐‘‡ ๐‘š1 + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2 + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›)(๐‘ฃ) ๐‘‡ = ๐‘11 ๐‘‡11 + ๐‘12 ๐‘‡12 + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘› + ๐‘21 ๐‘‡21 + ๐‘22 ๐‘‡22 + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘› + โ‹ฏ + ๐‘ ๐‘š1 ๐‘‡ ๐‘š1 + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2 + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘› ๐ฟ(๐‘‰, ๐‘Š) = ๐‘”๐‘’๐‘›(๐ต) Ahora verifiquemos que ๐ต es linealmente independiente en ๐ฟ(๐‘‰, ๐‘Š): ๐‘11 ๐‘‡11 + ๐‘12 ๐‘‡12 + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘› + ๐‘21 ๐‘‡21 + ๐‘22 ๐‘‡22 + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘› + โ‹ฏ + ๐‘ ๐‘š1 ๐‘‡ ๐‘š1 + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2 + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘› = 0 ๐ฟ(๐‘‰,๐‘Š) (๐‘11 ๐‘‡11 + ๐‘12 ๐‘‡12 + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘› + ๐‘21 ๐‘‡21 + ๐‘22 ๐‘‡22 + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘› + โ‹ฏ + ๐‘ ๐‘š1 ๐‘‡ ๐‘š1 + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2 + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›)(๐‘ฃ) = 0 ๐ฟ(๐‘‰,๐‘Š)(๐‘ฃ) ๐‘11 ๐‘‡11(๐‘ฃ) + ๐‘12 ๐‘‡12(๐‘ฃ) + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘›(๐‘ฃ) + ๐‘21 ๐‘‡21(๐‘ฃ) + ๐‘22 ๐‘‡22(๐‘ฃ) + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘›(๐‘ฃ) + โ‹ฏ + ๐‘ ๐‘š1 ๐‘‡ ๐‘š1(๐‘ฃ) + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2(๐‘ฃ) + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›(๐‘ฃ) = 0 ๐‘Š Asรญ, para ๐‘ฃ = ๐‘ฃ1: ๐‘11 ๐‘‡11(๐‘ฃ1) + ๐‘12 ๐‘‡12(๐‘ฃ1) + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘›(๐‘ฃ1) + ๐‘21 ๐‘‡21(๐‘ฃ1) + ๐‘22 ๐‘‡22(๐‘ฃ1) + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘›(๐‘ฃ1) + โ‹ฏ + ๐‘ ๐‘š1 ๐‘‡ ๐‘š1(๐‘ฃ1) + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2(๐‘ฃ1) + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›(๐‘ฃ1) = 0 ๐‘Š ๐‘11 ๐‘ค1 + ๐‘21 ๐‘ค2 + โ‹ฏ + ๐‘ ๐‘š1 ๐‘ค ๐‘š = 0 ๐‘Š { ๐‘11 = 0 ๐‘21 = 0 โ‹ฎ ๐‘ ๐‘š1 = 0 Asรญ, para ๐‘ฃ = ๐‘ฃ2:
  • 14. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal ๐‘11 ๐‘‡11(๐‘ฃ2) + ๐‘12 ๐‘‡12(๐‘ฃ2) + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘›(๐‘ฃ2) + ๐‘21 ๐‘‡21(๐‘ฃ2) + ๐‘22 ๐‘‡22(๐‘ฃ2) + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘›(๐‘ฃ2) + โ‹ฏ + ๐‘ ๐‘š1 ๐‘‡ ๐‘š1(๐‘ฃ2) + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2(๐‘ฃ2) + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›(๐‘ฃ2) = 0 ๐‘Š ๐‘12 ๐‘ค1 + ๐‘22 ๐‘ค2 + โ‹ฏ + ๐‘ ๐‘š2 ๐‘ค ๐‘š = 0 ๐‘Š { ๐‘12 = 0 ๐‘22 = 0 โ‹ฎ ๐‘ ๐‘š2 = 0 โ‹ฎ Asรญ, para ๐‘ฃ = ๐‘ฃ ๐‘›: ๐‘11 ๐‘‡11(๐‘ฃ ๐‘›) + ๐‘12 ๐‘‡12(๐‘ฃ ๐‘›) + โ‹ฏ + ๐‘1๐‘› ๐‘‡1๐‘›(๐‘ฃ ๐‘›) + ๐‘21 ๐‘‡21(๐‘ฃ ๐‘›) + ๐‘22 ๐‘‡22(๐‘ฃ ๐‘›) + โ‹ฏ + ๐‘2๐‘› ๐‘‡2๐‘›(๐‘ฃ ๐‘›) + โ‹ฏ + ๐‘ ๐‘š1 ๐‘‡ ๐‘š1(๐‘ฃ ๐‘›) + ๐‘ ๐‘š2 ๐‘‡ ๐‘š2(๐‘ฃ ๐‘›) + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘‡ ๐‘š๐‘›(๐‘ฃ ๐‘›) = 0 ๐‘Š ๐‘1๐‘› ๐‘ค1 + ๐‘2๐‘› ๐‘ค2 + โ‹ฏ + ๐‘ ๐‘š๐‘› ๐‘ค ๐‘š = 0 ๐‘Š { ๐‘1๐‘› = 0 ๐‘2๐‘› = 0 โ‹ฎ ๐‘ ๐‘š๐‘› = 0 Con lo que observamos que ๐ต es linealmente independiente en ๐ฟ(๐‘‰, ๐‘Š). ๐ต es una base del espacio vectorial ๐ฟ(๐‘‰, ๐‘Š) โˆด dim ๐ฟ(๐‘‰, ๐‘Š) = ๐‘(๐ต) = ๐‘š๐‘› = (dim ๐‘‰)(dim ๐‘Š) โˆŽ ------------------------------------------------------------------------------------------------------------------------------------------ Problemas. Encuentre la matriz asociada a las siguientes transformaciones lineales respecto a las bases canรณnicas de los espacios vectoriales correspondientes: a) ๐‘‡: โ„2 โ†’ โ„2 ๐‘‡ ( ๐‘ฅ ๐‘ฆ) = ( 3๐‘ฅ โˆ’ 2๐‘ฆ 5๐‘ฅ + ๐‘ฆ ) b) ๐‘‡: โ„3 โ†’ โ„2 ๐‘‡ ( ๐‘ฅ ๐‘ฆ ๐‘ง ) = ( 5๐‘ฅ + 2๐‘ฆ โˆ’ ๐‘ง 3๐‘ฅ + 4๐‘ฆ โˆ’ 2๐‘ง ) c) ๐‘‡: โ„2 โ†’ โ„4 ๐‘‡ ( ๐‘ฅ ๐‘ฆ) = (2๐‘ฅ + ๐‘ฆ , ๐‘ฅ โˆ’ 3๐‘ฆ , ๐‘ฅ , ๐‘ฆ) d) ๐‘‡: ๐‘ƒ2 โ†’ ๐‘ƒ3 ๐‘‡(๐‘) = ๐‘ฅ๐‘
  • 15. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal e) ๐‘‡: ๐‘€2๐‘ฅ2 โ†’ ๐‘€3๐‘ฅ2 ๐‘‡ ( ๐‘Ž ๐‘ ๐‘ ๐‘‘ ) = ( ๐‘Ž + ๐‘ ๐‘ ๐‘‘ ๐‘Ž + ๐‘ ๐‘ + ๐‘ ๐‘ + ๐‘‘ ) Sea ๐‘‰ un subespacio del espacio vectorial ๐ถ(โ„). Considere la transformaciรณn lineal ๐ท: ๐‘‰ โ†’ ๐‘‰ tal que ๐ท(๐‘“) = ๐‘“โ€ฒ . Obtenga la matriz de ๐ท respecto al conjunto generador que se propone para ๐‘‰ en cada caso: a) ๐‘‰ = ๐‘”๐‘’๐‘›{๐‘’ ๐‘ฅ , ๐‘’โˆ’๐‘ฅ} b) ๐‘‰ = ๐‘”๐‘’๐‘›{๐‘’ ๐‘ฅ , ๐‘ฅ๐‘’ ๐‘ฅ , ๐‘ฅ2 ๐‘’ ๐‘ฅ , ๐‘ฅ3 ๐‘’ ๐‘ฅ} c) ๐‘‰ = ๐‘”๐‘’๐‘›{sin ๐‘ฅ , cos ๐‘ฅ} d) ๐‘‰ = ๐‘”๐‘’๐‘›{๐‘’ ๐‘ฅ sin ๐‘ฅ , ๐‘’ ๐‘ฅ cos ๐‘ฅ} Sea ๐‘‰ un espacio vectorial de dimensiรณn 3 y ๐‘Š un espacio vectorial de dimensiรณn 4. Sean ๐ต ๐‘‰ = {๐‘ฃ1, ๐‘ฃ2, ๐‘ฃ3} y ๐ต ๐‘Š = {๐‘ค1, ๐‘ค2, ๐‘ค3, ๐‘ค4} bases de ๐‘‰ y ๐‘Š respectivamente. Sea ๐‘‡: ๐‘‰ โ†’ ๐‘Š una transformaciรณn lineal tal que: ๏‚ท ๐‘‡(๐‘ฃ1) = 2๐‘ค1 โˆ’ 3๐‘ค2 + ๐‘ค3 โˆ’ ๐‘ค4 ๏‚ท ๐‘‡(๐‘ฃ2) = ๐‘ค1 + ๐‘ค2 + ๐‘ค3 + ๐‘ค4 ๏‚ท ๐‘‡(๐‘ฃ3) = ๐‘ค1 โˆ’ 2๐‘ค3 a) Obtenga la matriz de ๐‘‡ respecto a las bases ๐ต ๐‘‰ y ๐ต ๐‘Š b) Obtenga la matriz de ๐‘‡ respecto a las bases ๐ต ๐‘‰ โ€ฒ = {๐‘ฃ1 + ๐‘ฃ2 + ๐‘ฃ3, 3๐‘ฃ1 โˆ’ 2๐‘ฃ2 + 2๐‘ฃ3, ๐‘ฃ3} de ๐‘‰ y ๐ต ๐‘Š โ€ฒ = {๐‘ค1 โˆ’ ๐‘ค2, ๐‘ค1 + 2๐‘ค2 + 3๐‘ค4, ๐‘ค3 โˆ’ 2๐‘ค4, ๐‘ค2 + ๐‘ค3 + ๐‘ค4} de ๐‘Š. c) Obtenga la regla de correspondencia de ๐‘‡. Verdadero o Falso: Sea ๐‘‡: ๐‘‰ โ†’ ๐‘Š una transformaciรณn lineal, sean ๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ ๐‘› โˆˆ ๐‘‰ tales que ๐‘‡(๐‘ฃ1), ๐‘‡(๐‘ฃ2), โ€ฆ , ๐‘‡(๐‘ฃ ๐‘›) โˆˆ ๐‘Š son linealmente independientes. Entonces ๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ ๐‘› son linealmente independientes. ยฟCuรกndo es la recรญproca verdadera? Para las siguientes transformaciones lineales, obtener nรบcleo, recorrido, y verificar que se cumple el teorema de la dimensiรณn: a) ๐‘‡: โ„2 โ†’ โ„ ๐‘‡(๐‘ฅ, ๐‘ฆ) = 2๐‘ฅ + ๐‘ฆ b) ๐‘‡: โ„2 โ†’ โ„2 ๐‘‡ ( ๐‘ฅ ๐‘ฆ) = ( 2๐‘ฅ โˆ’ ๐‘ฆ 3๐‘ฅ + 4๐‘ฆ ) c) ๐‘‡: โ„3 โ†’ โ„3 ๐‘‡(๐‘ฅ, ๐‘ฆ, ๐‘ง) = (2๐‘ฅ + ๐‘ฆ โˆ’ ๐‘ง , 3๐‘ฅ โˆ’ ๐‘ฆ โˆ’ 2๐‘ง , ๐‘ฅ + 2๐‘ฆ + 3๐‘ง)
  • 16. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal d) ๐‘‡: ๐‘ƒ2 โ†’ ๐‘ƒ3 ๐‘‡(๐‘Ž0 + ๐‘Ž1 ๐‘ฅ + ๐‘Ž2 ๐‘ฅ2) = (๐‘Ž0 โˆ’ ๐‘Ž1)(1 + ๐‘ฅ2) + (๐‘Ž0 โˆ’ ๐‘Ž2)(๐‘ฅ + ๐‘ฅ3) e) ๐‘‡: โ„2 โ†’ โ„4 ๐‘‡(๐‘‹) = ๐ด๐‘‹; ๐ด = ( 1 3 2 4 5 6 7 8 ) f) ๐‘‡: ๐‘ƒ2 โ†’ ๐‘ƒ3 ๐‘‡(๐‘) = ๐‘ฅ2 ๐‘โ€ฒ Indique, justificando su respuesta, si el espacio fila de una matriz es isomorfo al espacio columna de dicha matriz. De serlo, construya un isomorfismo entre ellos. Dadas las siguientes transformaciones lineales de โ„3 a โ„3 : ๐‘‡1(๐‘ฅ, ๐‘ฆ, ๐‘ง) = ( 2๐‘ฅ + ๐‘ฆ + ๐‘ง ๐‘ฅ โˆ’ ๐‘ฆ + ๐‘ง 3๐‘ฅ + 2๐‘ฆ โˆ’ 2๐‘ง ) ๐‘‡2(๐‘ฅ, ๐‘ฆ, ๐‘ง) = ( 5๐‘ฅ + ๐‘ง 2๐‘ฆ + 3๐‘ง ๐‘ฅ โˆ’ ๐‘ฆ โˆ’ ๐‘ง ) a) Obtenga (๐‘‡1 + ๐‘‡2)(2,1,3), (3๐‘‡1)(1,1,1), (โˆ’2๐‘‡2)(2,4,0) b) Encuentre la regla de correspondencia de ๐‘‡1 + ๐‘‡2, 3๐‘‡1, โˆ’2๐‘‡2 Encuentre bases para los siguientes espacios vectoriales: a) ๐‘‰ = ๐ฟ(โ„2 , โ„3) b) ๐‘‰ = ๐ฟ(๐‘ƒ2, โ„3) c) ๐‘‰ = ๐ฟ(๐‘ƒ2, ๐‘€2๐‘ฅ2) d) ๐‘‰ = ๐ฟ(๐‘€1๐‘ฅ2, ๐‘€2๐‘ฅ1) TAREA. Sea ๐‘‡: ๐‘‰ โ†’ ๐‘Š una transformaciรณn lineal. Si dim ๐‘‰ = 3 y dim ๐‘Š = ๐‘›, demuestre que: 1. Si ๐‘› = 3, ๐‘‡ es inyectiva si y solo si es sobreyectiva. 2. Si ๐‘› > 3, ๐‘‡ no es sobreyectiva. 3. Si ๐‘‡ es inyectiva, entonces ๐‘› โ‰ฅ 3
  • 17. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal Sea ๐‘‡ la transformaciรณn de โ„3 en โ„3 definida por: ๐‘‡(๐‘ฅ, ๐‘ฆ, ๐‘ง) = (๐‘ฅ + ๐‘ฆ, ๐‘ฅ โˆ’ ๐‘ง, ๐‘ฆ + ๐‘ง) Determine la representaciรณn matricial de ๐‘‡ con respecto a la base canรณnica de โ„3 . Sea ๐‘‡: โ„3 โ†’ โ„3 la transformaciรณn lineal definida por: ๐‘‡ ( ๐‘ฅ ๐‘ฆ ๐‘ง ) = ( ๐‘ฅ โˆ’ 2๐‘ฆ + ๐‘ง ๐‘ฆ + ๐‘ง ๐‘ฅ โˆ’ ๐‘ฆ + 3๐‘ง ) Determine si ๐‘‡ es un isomorfismo. Sea ๐‘‰ un espacio vectorial de dimensiรณn ๐‘› y {๐‘ฃ1, ๐‘ฃ2, โ€ฆ , ๐‘ฃ ๐‘›} una base de ๐‘‰. Se define la transformaciรณn ๐‘‡ de โ„ ๐‘› en ๐‘‰ como sigue: si ๐‘ข = (๐‘ฅ1, ๐‘ฅ2, โ€ฆ , ๐‘ฅ ๐‘›) โˆˆ โ„ ๐‘› entonces ๐‘‡(๐‘ข) = ๐‘ฅ1 ๐‘ฃ1 + ๐‘ฅ2 ๐‘ฃ2 + โ‹ฏ + ๐‘ฅ ๐‘› ๐‘ฃ ๐‘›. Demuestre que: a) ๐‘‡ es uno a uno (inyectiva) b) ๐‘‡ es sobreyectiva En el espacio vectorial ๐‘€3๐‘ฅ3 de las matrices cuadradas de orden 3, se definen las matrices ๐ผ y ๐‘€ como sigue: ๐‘€ = ( 3 2 0 2 3 0 0 0 3 ) y ๐ผ = ( 1 0 0 0 1 0 0 0 1 ) a) Determine el valor de ๐›ผ para que la matriz ( 13 12 0 12 13 0 0 0 ๐›ผ ) pertenezca al subespacio vectorial de ๐‘€3๐‘ฅ3 generado por ๐ผ y ๐‘€. b) Se define el subconjunto ๐ธ de ๐‘€3๐‘ฅ3 como ๐ธ = {๐‘Ž๐ผ + ๐‘๐‘€ + ๐‘๐‘€2 , ๐‘Ž, ๐‘, ๐‘ โˆˆ โ„}. Demuestre que ๐ธ es un subespacio vectorial. c) Determine la dimensiรณn de ๐ธ. d) Sea ๐‘‡ la transformaciรณn de ๐‘ƒ2 en ๐ธ definida por: para todo ๐‘(๐‘ฅ) = ๐‘Ž + ๐‘๐‘ฅ + ๐‘๐‘ฅ2 de ๐‘ƒ2, ๐‘‡(๐‘) = ๐‘(๐‘€) = ๐‘Ž๐ผ + ๐‘๐‘€ + ๐‘๐‘€2 . Demuestre que ๐‘‡ es una transformaciรณn lineal y que es biyectiva.
  • 18. Mario Fernando Izquierdo Chavarrรญa โ€“ Ayudante Acadรฉmico de รlgebra Lineal Sea ๐‘‡: โ„3 โ†’ โ„ una transformaciรณn lineal definida por ๐‘‡ ( ๐‘ฅ ๐‘ฆ ๐‘ง ) = 2๐‘ฅ โˆ’ 3๐‘ฆ + ๐‘ง Encontrar [๐‘‡] ๐ตโ†’๐ตโ€ฒ, donde ๐ต = {( 1 0 0 ) , ( 1 1 0 ) , ( 1 1 1 )} y ๐ตโ€ฒ = {2} Verdadero o Falso: Sea ๐‘‡: ๐‘ƒ2 โ†’ ๐‘ƒ1, entonces dim ๐‘๐‘ข(๐‘‡) > 0 Sea ๐‘‡ una funciรณn de ๐‘ƒ2 en ๐‘ƒ2 definida por: ๐‘‡(๐‘Ž + ๐‘๐‘ฅ + ๐‘๐‘ฅ2) = ๐‘ + (๐‘ โˆ’ ๐‘)๐‘ฅ + (๐‘ โˆ’ ๐‘ โˆ’ ๐‘Ž)๐‘ฅ2 Determine si dicha transformaciรณn es un isomorfismo, y encuentre su matriz asociada respecto a la base {โˆ’1 , ๐‘ฅ + 1 , ๐‘ฅ2} Sea el espacio vectorial ๐‘‰ = ๐ฟ(โ„2 , โ„2) y sean las transformaciones lineales: ๐‘‡1 ( ๐‘ฅ ๐‘ฆ) = ( ๐‘ฅ 0 ) , ๐‘‡2 ( ๐‘ฅ ๐‘ฆ) = ( ๐‘ฆ 0 ) , ๐‘‡3 ( ๐‘ฅ ๐‘ฆ) = ( 0 ๐‘ฅ ) , ๐‘‡4 ( ๐‘ฅ ๐‘ฆ) = ( 0 ๐‘ฆ ) Demuestre que {๐‘‡1, ๐‘‡2, ๐‘‡3, ๐‘‡4} es una base de ๐‘‰