Capı́tulo 1

Bases. Dimensión

En lo que sigue se necesitan los siguientes conceptos: combinación lineal, generadores, independencia lineal.

Definición 1.1 Base. Sean V ∈ Espacios/IR, no trivial, B un subconjunto no vacı́o de V . Se dice que
B es base de V , si y sólo si B goza, simultáneamente, de las siguientes dos propiedades:

1. B es linealmente independiente.

2. V = Gen(B).

El Teorema 1.1 proporciona las siguientes propiedades de las bases: su existencia y equicardinalidad de
dos bases cualesquiera. La demostración de la existencia de una base es consecuencia del lema de Zorn:
si F es un conjunto no vacı́o, ordenado parcialmente, en el que toda cadena en F tiene una cota superior
en F, entonces existe un elemento maximal en F. Ver el Ejercicio 1.1, principalmente los incisos 5 y 6. El
lema de Zorn es equivalente al axioma de elección y por lo tanto en esta dirección han de admitirse los
axiomas de la teorı́a de conjuntos de Zermelo-Fraenkel mas el axioma de elección, denotada ZF C. Dos
axiomas que ya se han usado son la existencia del conjunto vacı́o y el axioma del conjunto potencia. Otro
enunciado que es equivalente al axioma de elección es el siguiente: el producto cartesiano de una familia
no vacı́a de conjuntos no vacı́os, es no vacı́a.

Otro concepto importante es el de cardinalidad de un conjunto. Si X es un conjunto, su cardinali-

dad se denota por |X|. Se dirá que X es finito y se escribirá |X| < ∞, si y sólo si o bien X = Ø o bien
existe un número natural n y f : X −→ {0, 1, 2, . . . , n}, biyectiva. En el primer caso:

|Ø| = 0

En el segundo caso:
|X| = n + 1
Un conjunto infinito es aquel que no es finito. Para el caso de conjuntos infinitos, el concepto de cardi-
nalidad es más complicado. Para los propósitos de este trabajo, se escribirá |X| = ∞ para indicar que X
es infinito. Para un estudio más amplio en estos temas, ver [2].

1
2 1. BASES. DIMENSIÓN

Teorema 1.1 Existencia. Sea V ∈ Espacios/IR, no trivial. Entonces existe B base de V . Si B1 , B2 son
bases de V , se cumple
|B1 | = |B2 |.

Definición 1.2 Dimensión. Sea V un espacio vectorial sobre IR. Se define la dimensión de V , denotada

dim(V )

como sigue. Si V = {0}, entonces dim(V ) = 0. Caso contrario, dim(V ) = |B|, siendo B una base cualquiera
de V y |B| su cardinalidad. Se pondrá
FinEspacios/IR
para la subcategorı́a de Espacios/IR, cuyos elementos tienen dimensión finita (espacios vectoriales sobre
IR, de dimensión finita).

Sean V ∈ FinEspacios/IR no trivial, de dimensión n, Θ = {v1 , . . . , vn } una base de V , x ∈ V . El inciso

5 del Ejercicio 1.1 dice que existen únicos c1 , . . . , cn ∈ IR tales que

x = c1 v1 + . . . + cn vn

Más aún, si a, b ∈ IR, y = d1 v1 + . . . + dn vn , entonces se tiene la representación única

ax + by = (ac1 + bd1 )v1 + . . . + (acn + bdn )vn

Los dos ejemplos que siguen proporcionan el cálculo de la dimensión de dos espacios muy utilizados en
la práctica. Como regla mnemotécnica para ambos espacios, su dimensión aparece en su correspondiente
escritura.

Ejemplo 1.1 Para todo n ≥ 1:

dim(IRn ) = n

DEMOSTRACIÓN. Para j = 1, . . . , n, sea ej el vector cuya j-ésima coordenada es 1, y sus demás

coordenadas son 0. Entonces
 
1 0 0 ... 0

 0 1 0 ... 0 

0 0 1 ... 0
 
[e1 , . . . , en ] =  =I

.. .. .. .. 
. . . ... .
 
 
0 0 0 ... 1

con lo cual se sigue que

En = {e1 , . . . , en }
es linealmente independiente. Para verificar que este conjunto genera a IRn , sea (x1 , x2 , . . . , xn ) ∈ IRn ,
arbitrario. Entonces:
(x1 , x2 , . . . , xn ) = x1 e1 + x2 e2 + . . . + xn en
1. BASES. DIMENSIÓN 3

Se concluye que En es base de IRn . En lo sucesivo, a esta base se le llamará la base canónica de IRn .

La base canónica de IR3 :

e1 = (1, 0, 0) = i
e2 = (0, 1, 0) = j
e3 = (0, 0, 1) = k

Ejemplo 1.2 Para toda pareja de enteros positivos n y m:

dim(Mn×m (IR)) = nm

DEMOSTRACIÓN. Sean n y m enteros positivos fijos. Para (i, j) ∈ {1, . . . , n} × {1, . . . , m}, sea Eij la
matriz n × m que tiene 1 en la posición (i, j) y 00 s fuera. Entonces

B = {Eij : (i, j) ∈ {1, . . . , n} × {1, . . . , m}}

es base de Mn×m (IR).

En el caso de las matrices cuadradas 2 × 2, la base del ejemplo anterior consiste de las matrices
! ! ! !
1 0 0 1 0 0 0 0
E11 = , E12 = , E21 = , E22 =
0 0 0 0 1 0 0 1

Comentario 1.1 Sean V ∈ Espacios/IR y W < V . Entonces

dim(W ) ≤ dim(V )

Cuando dim(W ) = ∞, se sigue que dim(V ) = ∞. Si V ∈ FinEspacios/IR y W, W1 , W2 son subespacios

de V tales que dim(W ) = dim(V ) y W1 ⊆ W2 , entonces W = V y dim(W1 ) ≤ dim(W2 ).

Inmediatamente se usa el comentario anterior para exhibir un espacio vectorial de dimensión infinita.

Ejemplo 1.3
dim(IR[x]) = ∞

DEMOSTRACIÓN. Considere

B = {xn : n = 0, 1, 2, . . . } = {1, x, x2 , x3 , . . . }

Sean xn1 , . . . , xnr elementos distintos de B (r ∈ IN), a1 , a2 , . . . , ar números reales tales que para todo x ∈ IR:

a1 xn1 + . . . + ar xnr = 0

Entonces el polinomio
a1 xn1 + . . . + ar xnr
4 1. BASES. DIMENSIÓN

tiene infinidad de raı́ces1 . Esto es posible únicamente cuando

a1 = . . . = ar = 0

lo cual implica que B es linealmente independiente. Ahora, Gen(B) es subespacio de IR[x], con

dim(Gen(B)) = ∞

El resultado es ahora consecuencia del Comentario 1.1.

Para todo W < IRn , el Ejemplo 1.1 implica

0 ≤ dim(W ) ≤ n

Los casos n = 2 y n = 3 se obtienen a continuación.

Ejemplo 1.4 Describir los subespacios de IR2 .

SOLUCIÓN. Las posibles dimensiones de los subespacios de IR2 son 0, 1, 2. Hay un único subespacio
de dimensión 0: {0}. Hay un único subespacio de dimensión 2: IR2 . Resta describir los subespacios de
dimensión 1.

1. Si W es una recta que pasa por el origen, entonces W < IR2 y dim(W ) = 1. La primera afirmación
es consecuencia del Ejercicio 1.2. La segunda afirmación se sigue de las igualdades2 :

Y = Gen((0, 1))

Wm = Gen((1, m))

2. Si W < IR2 y dim(W ) = 1, entonces W es una recta que pasa por el origen. En efecto, se cumple

W = Gen((a, b))

con a y b no ambos cero. Si a = 0, entonces b 6= 0 y

W = Gen((0, b)) = Gen((0, 1)) = Y

por lo que se puede suponer a 6= 0. Entonces

W = Wb
a

de nuevo como en el Ejercicio 1.2.

1
Un polinomio constante no nulo tiene 0 raı́ces. De acuerdo con el Teorema Fundamental del Álgebra, todo polinomio
I de grado n ≥ 1, tiene exactamente n raı́ces en C,
en una variable con coeficientes en C, I contando multiplicidades. Ver [1],
páginas 113 − 116.
2
Y es el eje vertical.
1. BASES. DIMENSIÓN 5

Ejemplo 1.5 Describir los subespacios de IR3 .

SOLUCIÓN. Las posibles dimensiones de los subespacios de IR3 son 0, 1, 2, 3. Hay un único subespacio
de dimensión 0: {0}. Hay un único subespacio de dimensión 3: IR3 . Para las dimensiones 1 y 2 se tiene:

1. W < IR3 y dim(W ) = 1 si y sólo si W es una recta que pasa por el origen.

2. W < IR3 y dim(W ) = 2 si y sólo si W es un plano que pasa por el origen.

Ver el Ejercicio 1.4.

En el teorema que sigue se obtienen dos algoritmos, cada uno de los cuales tiene por salida una base
de un espacio vectorial de dimensión finita. El primero tiene por entrada un conjunto de generadores y el
segundo por entrada un conjunto linealmente independiente.

Teorema 1.2 Sea V ∈ FinEspacios/IR, no trivial.

1. Todo conjunto finito de generadores de V contiene una base.

2. Todo conjunto linealmente independiente puede extenderse a una base de V .

DEMOSTRACIÓN. Sea n = dim(V ).

1. Sea G conjunto finito de generadores de V , ordenado. Se aplica el siguiente algoritmo a G.

Inicio: B = G; s = |B|;

(α) Si s = n, regresar B y terminar.

(β) Elegir el primer elemento x de B, tomado de izquierda a derecha, que es combinación lineal de
su complemento en B. Hacer B = B − {x}, s = |B|. Ir a α.

La salida es una base de V .

2. Sea L un conjunto linealmente independiente de V . Se aplica el siguiente algoritmo a L:

Inicio: B = L; W = Gen(B); s = |B|;

(α) Si s = n, regresar B y terminar.

(β) Elegir un elemento x de V − W , hacer B = B ∪ {x}, W = Gen(B); s = |B|. Ir a α.

La salida es una base de V .

Comentario 1.2 Sea V ∈ FinEspacios/IR, no trivial, con dim(V ) = n. Si S es un conjunto de gen-

eradores de V , entonces n ≤ |S|. Para cualquier S ⊆ V , si n > |S| entonces S no puede ser base, aún
suponiendo que S sea linealmente independiente.

Ejemplo 1.6 Sean u = (1, 1, 0), v = (0, 1, 1) y L = {u, v}. Demostrar: L es linealmente independiente.
Extender L a una base de IR3 .
6 1. BASES. DIMENSIÓN

SOLUCIÓN. Considere el sistema:

(0, 0, 0) = a(1, 1, 0) + b(0, 1, 1) = (a, a, 0) + (0, b, b) = (a, a + b, b)

La matriz aumentada del sistema es:  

1 0 0
 1 1 0 
 
0 1 0
Su forma escalonada reducida por renglones:
 
1 0 0
 0 1 0 
 
0 0 0

Entonces la única solución al sistema es la solución trivial: a = b = 0. Esto dice que L es linealmente
independiente. Se aplica el algoritmo dado en el Teorema 1.2 a L. La ecuación del plano generado por L
es (Ejercicio 1.10)
x−y+z =0
El vector w = (0, 0, 1) no pertenece a tal plano, por lo que {u, v, w} es base de IR3 .

Algunos resultados importantes

Si V es un espacio vectorial de dimensión finita n > 0 y S es un subconjunto de V con n elementos, el

siguiente resultado muestra que para cotejar que S sea base de V basta con verificar únicamente una de
las dos propiedades de la Definición 1.1.

Teorema 1.3 Sea V ∈ FinEspacios/IR con dim(V ) = n > 0. Sea S ⊆ V tal que |S| = n. Los siguientes
enunciados son equivalentes:
1. S es base de V .

2. V = Gen(S).

3. S es linealmente independiente.

Como aplicación rápida del teorema anterior, considere los siguientes dos vectores en IR2 :
!
1
v1 =
1
!
−1
v2 =
1
Entonces !
1 −1
[v1 , v2 ] =
1 1
1. BASES. DIMENSIÓN 7

y el determinante de esta matriz es 2, por lo que estos dos vectores son linealmente independientes. En
consecuencia, S = {v1 , v2 } es base de IR2 (1 ⇔ 3 del teorema).

A continuación se estudian los subespacios núcleo e imagen de una transformación lineal.

Definición 1.3 Nulidad y rango. Sea T ∈ Hom(V, W ). Se definen la nulidad de T y el rango de T por:

nulidad(T ) = dim(Ker(T ))

rango(T ) = dim(Im(T )).

En general, si T : V −→ W es lineal, entonces T es inyectiva si y sólo si Ker(T ) = {0}. Ver el Ejercicio

1.19. En el caso de que el dominio V de T sea de dimensión finita se obtiene una relación importante entre
nulidad y rango (en particular, ambos subespacios resultan ser también de dimensión finita).

Teorema 1.4 Teorema de la dimensión. Sea T ∈ Hom(V, W ), con V ∈ FinEspacios/IR tal que
dim(V ) = n > 0. Entonces
n = nulidad(T ) + rango(T ).

En el siguiente ejemplo se estudia el caso V = W = IRn (recordar que si T : V −→ W es lineal, entonces

T es suprayectiva si y sólo si Im(T ) = W ).

Ejemplo 1.7 Sea T : IRn −→ IRn lineal. Son equivalentes los siguientes enunciados:

1. T es inyectiva.

2. T es suprayectiva.

3. T es biyectiva.

DEMOSTRACIÓN. Ejercicio 1.24.

Como aplicación directa del ejemplo anterior, considere T : IR2 −→ IR2 dada por:
!
x+y
T (x, y) =
x−y

Para verificar que T es inyectiva y por lo tanto biyectiva, se verifica la condición Ker(T ) = {0}. Esto se
hace a partir de T (x, y) = 0: ! !
x+y 0
=
x−y 0
que equivale al sistema homogéneo 2 × 2
x+y =0
x−y =0
8 1. BASES. DIMENSIÓN

el cual tiene la solución única x = y = 0. Esto prueba Ker(T ) = {0}.

Otra manera de llegar a la conclusión anterior es como sigue. Los vectores

!
1
w1 = T (1, 0) =
1
!
1
w2 = T (0, 1) =
−1
pertenecen a Im(T ), por lo que
Gen(w1 , w2 ) ⊆ Im(T ) ⊆ IR2
Ya que w1 , w2 son linealmente independientes, se concluye que

IR2 = Gen(w1 , w2 )

y por lo tanto Im(T ) = IR2 , esto es, T es suprayectiva.

Sea T : IR3 −→ IR3 dada por:  

x+y+z
T (x, y, z) =  x − y − 2z 
 
0
A continuación se usa el teorema de la dimensión (Teorema 1.4) para describir a los subespacios Ker(T )
e Im(T ). Para el primero se considera la condición:
   
x+y+z 0
x − y − 2z   0 
=
   

0 0

Lo anterior proporciona el sistema homogéneo 2 × 3:

x+y+z =0

x − y − 2z = 0
Para resolver el sistema anterior se usa el algoritmo de Gauss-Jordan:
! ! ! !
1 1 1 0 X21 (−1) 1 1 1 0 D2 (− 12 ) 1 1 1 0 X12 (−1) 1 0 − 12 0
−→ −→ 3 −→ 3
1 −1 −2 0 0 −2 −3 0 0 1 2 0 0 1 2 0

Entonces (x, y, z) ∈ Ker(T ) si y sólo si

1 3 1 3
   
(x, y, z) = z, − z, z = z ,− ,1
2 2 2 2
1. BASES. DIMENSIÓN 9

con z ∈ IR. Se concluye que Ker(T ) corresponde a una recta que pasa por el origen. En particular,
nulidad(T ) = 1. Ahora, la aplicación del teorema de la dimensión es:

3 = 1 + rango(T )

Por lo tanto:
rango(T ) = 2
Ası́, Im(T ) es un plano que pasa por el origen. Se deja como ejercicio describir este plano por medio de
su ecuación (Ejercicio 1.29). Para ello, determine dos vectores linealmente independientes en la imagen de
T . Nótese:  
1
T (1, 0, 0) =  1 
 
0
 
1
T (0, 1, 0) =  −1 
 
0
10 1. BASES. DIMENSIÓN

EJERCICIOS

Ejercicio 1.1 Sea V ∈ Espacios/IR, no trivial. Defı́nase

F = {L ⊂ V : L es linealmente independiente }

Probar lo siguiente:

1. 3 F es no vacı́o.

2. La relación en F dada por

L1 ≤ L2 ⇔ L1 ⊆ L2
es orden parcial.

3. 4 Toda cadena en F tiene una cota superior en F.

4. 5 Sea B un elemento maximal de F. Entonces B es base de V .

5. 6 Sean V ∈ FinEspacios/IR no trivial, B = {u1 , u2 , . . . , un } base de V , x ∈ V . Entonces existen

únicos c1 , . . . , cn ∈ IR tales que
x = c1 u1 + . . . + cn un

6. 7 Sean B1 , B2 bases de V . Entonces

|B1 | = |B2 |
3
V no trivial implica que existe x ∈ V tal que x 6= 0. Considere L = {x}.
4
Una cadena en F es todo T ⊆ F, no vacio, tal que si L1 , L1 ∈ T , entonces

(L1 ≤ L2 ) ∨ (L2 ≤ L1 )

Una cota superior para T , es un elemento H de F, tal que

L≤H

para toda L ∈ T .
5
B es maximal si cumple:
B ≤ B0 ⇒ B = B0
Tal elemento maximal está garantizado por el Lema de Zorn: si F es un conjunto no vacı́o, ordenado parcialmente, en el
que toda cadena en F tiene una cota superior en F, entonces existe un elemento maximal en F. Lo que se pide probar es:
todo maximal linealmente independiente, es base. Resta pues, probar que V = Gen(B). Sea x ∈ V − B y D = B ∪ {x}. La
maximalidad de B implica que D es linealmente dependiente.
6
La existencia de tales coeficientes se sigue de que B genera a V . Suponga

x = c1 u1 + . . . + cn un

x = d1 u1 + . . . + dn un
Entonces
0 = (c1 − d1 )u1 + . . . + (cn − dn )un

7
Si B1 es finita, entonces B2 es finita y |B1 | = |B2 |. Caso contrario, ambas son infinitas.
1. BASES. DIMENSIÓN 11

Ejercicio 1.2 8 En IR2 , toda recta que pasa por el origen es subespacio.

Ejercicio 1.3 9 En IR3 , son subespacios:

1. 10 Toda recta que pasa por el origen.

2. 11 Todo plano que pasa por el origen.

Ejercicio 1.4 12

1. W < IR3 y dim(W ) = 1 si y sólo si W es una recta que pasa por el origen;

2. W < IR3 y dim(W ) = 2 si y sólo si W es un plano que pasa por el origen.

Ejercicio 1.5 13 Sea V = IR2 . Probar lo siguiente. Sean u, v vectores en V , ambos no nulos, no colineales.
Entonces
B = {u, v}
es base de V .

Ejercicio 1.6 14 En V = IR3 , los siguientes vectores son base de V :

     
1 1 0
X1 =  1  , X2 =  0  , X3 =  1 
     
0 1 1

Ejercicio 1.7 Sea X = (1, 2, 3). Obtenga la cobinación lineal de X en la base del Ejercicio 1.6.
8
Considere primero el eje Y :
Y = {(0, y) ∈ IR2 : y ∈ IR}
Al tomar y = 0 se tiene que 0 = (0, 0) ∈ Y . Sean r ∈ IR y

x = (0, y1 ) ∈ Y

y = (0, y2 ) ∈ Y
Entonces:
x + y = (0, y1 + y2 ) ∈ Y
rx = r(0, y1 ) = (0, ry1 ) ∈ Y
Esto prueba que Y < R2 . Considere ahora m ∈ IR fijo y

Wm = {(x, y) ∈ IR2 : y = mx}

Note que cuando m = 0 se obtiene el eje X. La conclusión Wm < IR2 se sigue de imitar lo que se hizo para el eje Y .
9
Ver el Ejercicio 1.4.
10
Para determinar una recta, se necesitan dos puntos distintos. Uno de ellos es el origen (0, 0, 0).
11
La ecuación de tal plano es ax + by + cz = 0, con a, b, c ∈ IR, no todos cero.
12
Ver el Ejercicio 1.3.
13
Sólo falta probar que son linealmente independientes.
14
Sólo falta verificar que generan a V .
12 1. BASES. DIMENSIÓN

Ejercicio 1.8 Obtenga la cobinación lineal de i, j, k en la base del Ejercicio 1.6.

Ejercicio 1.9 Sean a = (1, 1, 1, 0), b = (0, 0, 1, 1), c = (0, 2, 0, −1), d = (3, 1, 1, −1), e = (−1, 3, −1, −2)
elementos de IR4 . Probar: e ∈ Gen(a, b, c, d).

Ejercicio 1.10 15 Determinar el plano generado por los vectores u = (1, 1, 0), v = (0, 1, 1).

Ejercicio 1.11 Sean u = (1, 1, 1), v = (1, 1, 0) y L = {u, v}. Demostrar: L es linealmente independiente.
Extender L a una base de IR3 .

Ejercicio 1.12 Sean u = (1, 1, 1, 1), v = (1, 1, 1, 0) y L = {u, v}. Demostrar: L es linealmente indepen-
diente. Extender L a una base de IR4 .

Ejercicio 1.13 Sean a, b, c, d como en el Ejercicio 1.9. ¿Pueden estos 4 vectores ser base de IR4 ? Justificar
su respuesta.

Ejercicio 1.14 Sean V = Mn (IR) el espacio de las matrices cuadradas n × n. Calcular la dimensión de
sus siguientes subespacios:

1. Las matrices triangulares superiores n × n.

2. Las matrices diagonales n × n.

Ejercicio 1.15 Sea W el conjunto de matrices 2 × 2 de la forma

!
a b
b c

Verificar que W es subespacio del espacio de las matrices cuadradas 2 × 2. Exhibir una base de W y
calcular su dimensión.

Ejercicio 1.16 Sea V = IR[x]. El grado de p ∈ V , denotado deg(p), se define como sigue. El grado del
polinomio cero es −∞. Si p es polinomio constante no cero, deg(p) = 0. En los demás casos:

deg(p) = Máx{i : ai 6= 0}

Por ejemplo:
deg(x5 + x2 + x − 1) = 5
15
La ecuación de tal plano es de la forma
ax + by + cz = 0
Como u = (1, 1, 0) pertenece al plano:
a+b=0
Como v = (0, 1, 1) pertenece al plano:
b+c=0
1. BASES. DIMENSIÓN 13

deg(x20 + x + 100) = 20
Sea
Pn = {p(x) ∈ IR[x] : deg(p) ≤ n}
Demostrar:
Pn < IR[x]
Exhibir una base de Pn y determinar su dimensión.

Ejercicio 1.17 16 Sean  

1 1 1
A =  1 −1 −2 
 
0 0 0
y TA : IR3 −→ IR3 la transformación lineal asociada a la matriz A. Describir Ker(TA ), proporcionar una
base de este subespacio de IR3 y determinar su dimensión.

Ejercicio 1.18 Sean !

1 1
A=
1 −1
y TA : IR2 −→ IR2 la transformación lineal asociada a la matriz A. Describir Ker(TA ) y proporcionar su
dimensión.

Ejercicio 1.19 17 Sean V, W espacios vectoriales sobre IR y T : V −→ W lineal. Entonces T es inyectiva

si y sólo si Ker(T ) = {0}.

Ejercicio 1.20 Describir los subespacios Im(TA ) en los Ejercicios 1.17 y 1.18.

Ejercicio 1.21 Sea T : IR3 −→ IR3 dada por:

 
x+y+z
T (x, y, z) =  0
 

x + y + 2z
16
Nótese:
1 1 1 x x+y+z
! ! !
TA (x, y, z) = 1 −1 −2 y = x − y − 2z
0 0 0 z 0
17
Suponga primero T inyectiva y x ∈ Ker(T ). Entonces
T (x) = 0 = T (0)
La inyectividad implica x = 0. Para el recı́proco suponga
T (x) = T (y)
Por probar:
x=y
14 1. BASES. DIMENSIÓN

Describir Ker(T ) e Im(T ).

Ejercicio 1.22 Sea T : IR3 −→ IR3 dada por:

 
x+y+z
T (x, y, z) =  0
 

0

Describir Ker(T ) e Im(T ).

Ejercicio 1.23 Sea T : IR3 −→ IR3 dada por:

 
x+y+z
T (x, y, z) =  0
 

x − y − 2z

Describir Ker(T ) e Im(T ).

Ejercicio 1.24 18 Probar el resultado del Ejemplo 1.7.

Ejercicio 1.25 19 Sean V, W espacios vectoriales sobre IR, T : V −→ W lineal, inyectiva. Si v1 , v2 , . . . , vn

son linealmente independientes, entonces T (v1 ), T (v2 ), . . . , T (vn ) son linealmente independientes.

Ejercicio 1.26 20 Verificar que las siguientes T son biyectivas. Describir geométricamente la acción de
cada una de ellas:
1. !
−y
T (x, y) =
x
18
Por el teorema de la dimensión:
n = nulidad(T ) + rango(T )
1 ⇒ 2: T inyectiva implica Ker(T ) = {0} y por lo tanto

(nulidad(T ) = 0) ⇒ (rango(T ) = n) ⇒ (Im(T ) = IRn ) ⇒ (T suprayectiva)

19
Se proporciona la combinación lineal

a1 T (v1 ) + a2 T (v2 ) + . . . + an T (vn ) = 0

Por probar:
a1 = a2 = . . . = an = 0
Por linealidad:
0 = a1 T (v1 ) + a2 T (v2 ) + . . . + an T (vn ) = T (a1 v1 + a2 v2 + . . . + an vn )
La inyectividad de T implica:
a1 v1 + a2 v2 + . . . + an vn = 0

20
Todas son de la forma T : IR2 −→ IR2 . Es fácil verificar inyectividad. El inciso 1 corresponde a una rotación del plano
un ángulo de π2 , como puede apreciarse calculando T (1, 0) y T (0, 1).
1. BASES. DIMENSIÓN 15

2. !
5x
T (x, y) =
5y

3. !
1
T (x, y) = 5x
1
5y

4. !
− 15 y
T (x, y) = 1
5x

5. !
y
T (x, y) =
x

Ejercicio 1.27 21 Sean V ∈ FinEspacios/IR de dimensión n > 0, W ∈ Espacios/IR, β = {v1 , . . . , vn }

base de V , {w1 , . . . , wn } ⊂ W . Entonces existe una única T ∈ Hom(V, W ) tal que T (vi ) = wi .

Ejercicio 1.28 22 Determinar explı́citamente la única T : IR2 −→ IR2 tal que:

1. !
0
T (1, 0) =
1
!
−1
T (0, 1) =
0

2. !
0
T (1, 0) = 1
5
!
− 15
T (0, 1) =
0
21
Se extiende T (vi ) = wi a todo V de manera lineal: si x = a1 v1 + . . . + an vn , entonces

T (x) = a1 T (v1 ) + . . . + an T (vn ) = a1 w1 + . . . + an wn

22
Para el inciso 1, la extensión a todo IR2 es como sigue:

(x, y) = x(1, 0) + y(0, 1)

Entonces          
0 −1 0 −y −y
T (x, y) = xT (1, 0) + yT (0, 1) = x +y = + =
1 0 x 0 x
 
−y
T (x, y) =
x
16 1. BASES. DIMENSIÓN

3. !
1
T (1, 0) =
1
!
1
T (0, 1) =
1

Ejercicio 1.29 23 Sea T : IR3 −→ IR3 dada por:

 
x+y+z
T (x, y, z) =  x − y − 2z 
 
0
Describir Im(T ) por medio de su ecuación como plano.

Ejercicio 1.30 Determinar explı́citamente la única T : IR2 −→ IR3 tal que:

1.  
0
T (1, 0) =  1 
 
0
 
−1
T (0, 1) =  0 
 
0
2.  
1
T (1, 0) =  1 
 
1
 
1
T (0, 1) =  1 
 
1

Ejercicio 1.31 24 Sean V, W ∈ Espacios/IR con dim(V ) = n > 0, W no trivial, β = {v1 , . . . , vn } base de
V , {w1 , . . . , wn } ⊂ W , T : V −→ W la única transformación lineal tal que T (vi ) = wi . Si {w1 , . . . , wn }
es linealmente independiente, entonces T es inyectiva.
23
Los vectores
1
!
w1 = T (1, 0, 0) = 1
0
1
!
w2 = T (0, 1, 0) = −1
0
son linealmente independientes.
24
Para todo x ∈ V , existen únicos r1 , . . . , rn ∈ IR tales que
x = r1 v1 + . . . rn vn
1. BASES. DIMENSIÓN 17

Ejercicio 1.32 Sean V, W ∈ Espacios/IR no triviales, T ∈ Hom(V, W ). Son equivalentes los siguientes
enunciados:

1.
Ker(T ) = {0}

2. Para toda B base de V :

T (B) = {T (v) : v ∈ B}
es linealmente independiente en W .

Nota: en el inciso 2 se permiten repeticiones de elementos en T (B), en cuyo caso T no es inyectiva.

Ejercicio 1.33 25 Sea T la única T : IR2 −→ IR3 tal que

 
1
T (1, 0) =  1 
 
1
 
1
T (0, 1) =  1 
 
1
Aplicar el Ejercicio 1.32 a esta T para describir Ker(T ) e Im(T ).

por lo que
T (x) = r1 T (v1 ) + . . . rn T (vn ) = r1 w1 + . . . rn wn ∈ Gen(w1 , . . . , wn )
Esto prueba: Im(T ) ⊆ Gen(w1 , . . . , wn ). Recı́procamente, para todo y ∈ Gen(w1 , . . . , wn ) existen r1 , . . . , rn ∈ IR tales que

r1 w1 + . . . rn wn = r1 T (v1 ) + . . . rn T (vn ) = T (r1 v1 + . . . rn vn ) ∈ Im(T )

Se concluye:
Im(T ) = Gen(w1 , . . . , wn )
Por otro lado, dim(Gen(w1 , . . . , wn )) = n (¿porqué?). Por el teorema de la dimensión:

n = nulidad(T ) + rango(T )

1 1
( ! !)
25
T (B) = {T (1, 0), T (0, 1)} = 1 , 1 .
1 1
18 1. BASES. DIMENSIÓN
Referencias

[1] Birkhoff, G. & Mac Lane, S.

1977. A survey of modern algebra. Fourth edition. Macmillan Publishing Co., Inc.

[2] Dı́az Leal Guzmán, Héctor.

s.f. Teorı́a de modelos. México. Universidad Autónoma Metropolitana.

19