Documentos de Académico
Documentos de Profesional
Documentos de Cultura
* **
Rafael F. Isaa
s G. Sonia M. Sabogal P.
Rafael Isaacs
Sonia Sabogal
Contenido
Presenta ión v
1.1. Campos . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2.2. Rn : el espa io donde viven las solu iones a sistemas de e ua iones on n variables 38
Revisión: 4.1
Date: 31-01-2005
iv Contenido
Presenta
ión
Por sus múltiples apli
a
iones, el estudio del álgebra lineal en los pro-
gramas universitarios
obra
ada día más importan
ia. Esta rama de
las matemáti
as se o
upa de
iertas estru
turas llamadas espa
ios li-
neales o ve
toriales, e investiga de qué manera ellos se interrela
ionan
mediante las llamadas transforma
iones lineales;
omprende además
el estudio de los sistemas de e
ua
iones lineales y de las matri
es. Los
espa
ios ve
toriales y las transforma
iones lineales se pueden ubi
ar
omo temas
apitales del álgebra moderna, y su teoría es extensamente
usada en el análisis fun
ional, en el análisis ve
torial y en las e
ua
iones
diferen
iales, entre otros; por ejemplo, en el
ál
ulo es importante para
las derivadas de orden superior. Sus numerosas apli
a
iones no se res-
tringen al
ampo de las matemáti
as, sino que se extienden también
al
ampo de las
ien
ias naturales y de las
ien
ias so
iales. La his-
toria del álgebra lineal moderna se remonta a mediados del siglo XIX
on los trabajos de William Hamilton, de quien proviene el uso del
término ve
tor. Sin embargo, solamente en la segunda mitad del si-
glo XX el álgebra lineal se institu
ionalizó
omo una materia bási
a e
introdu
toria en las matemáti
as universitarias.
En el segundo
apítulo ( R
n
omo espa
io ve
torial) se ha
e una in-
En el
uarto
apítulo ( R
n
omo espa
io ve
torial eu
lídeo) se in-
n
trodu
e una nueva opera
ión en R : el produ
to interno o produ
to
n
es
alar, el
ual permite ha
er más geometría en nuestro espa
io R ,
por ejemplo
al
ular longitudes, ángulos, distan
ias, proye
iones, de-
terminar ve
tores perpendi
ulares, et
. Además, se dene la opera
ión
produ
to
ruz o produ
to ve
torial (opera
ión ex
lusiva de R3 ), que
3
tiene importantes apli
a
iones geométri
as en R y servirá, al
ombi-
narla
on el produ
to interno (
ombina
ión llamada produ
to mixto),
omo fuente de inspira
ión para la deni
ión de la fun
ión determinan-
te que se estudia en el siguiente
apítulo. El
apítulo
uarto termina
on las no
iones de similitud e isometría, usando las similitudes para
viii Presenta
ión
*
APÓSTOL Tom, Cal
ulus, Vol. I y Vol. II. Reverté-Bar
elona, 2a. ed., 1974.
**
Cole
ión de sosti
ados ma
ros TEX, basados en el lenguaje de programa
ión
PostS
ript, diseñados para la
rea
ión y manipula
ión de objetos grá
os.
Presenta
ión ix
Los autores
Bu
aramanga, 31 de enero de 2005
x Presenta
ión
Capítulo 1
1.1. Campos
El le
tor debe tener familiaridad
on los
ampos en espe
ial
on los
ra
ionales Q y los reales R. Los
ampos son una estru
tura
on dos
opera
iones en donde todas las e
ua
iones de la forma ax + b = 0
tienen úni
a solu
ión. En esta se
ión estudiaremos algo sobre
ampos
nitos y el
ampo de los números
omplejos C.
1. CLAUSURA: a = c y b = d impli
a (a + b) = (c + d) y a · b = c · d
2. ASOCIATIVIDAD: (a + b) + c = a + (b + c) y (a · b) · c =
a · (b · c)
3. CONMUTATIVA: a+b=b+a y a·b =b·a
2 1. Indu
ión matemáti
a y
omplejos
Nota
ión:
En
uanto nota
ión debemos de
ir que el punto de produ
to en general
se omite. Por otra parte, se notará a−b al elemento a + (−b). El
grasmo − se usará en dos sentidos:
omo símbolo de dos argumentos
que representa la resta y
omo símbolo de un sólo argumento que
representa el inverso aditivo.
+ 0 1 · 0 1
0 0 1 0 0 0
1 1 0 1 0 1
+ a b c d · a b c d
a a b c d a a a a a
b b c d a b a b c d
c c d a b c a c a c
d d a b c d a d c b
+ 0 1 2 3 4 5 6 · 0 1 2 3 4 5 6
0 0 1 2 3 4 5 6 0 0 0 0 0 0 0 0
1 1 2 3 4 5 6 0 1 0 1 2 3 4 5 6
2 2 3 4 5 6 0 1 2 0 2 4 6 1 3 5
3 3 4 5 6 0 1 2 3 0 3 6 2 5 1 4
4 4 5 6 0 1 2 3 4 0 4 1 5 2 6 3
5 5 6 0 1 2 3 4 5 0 5 3 1 6 4 2
6 6 0 1 2 3 4 5 6 0 6 5 4 3 2 1
un enfoque geométri
o℄
4 1. Indu
ión matemáti
a y
omplejos
+ 0 1 u u+1
0 0 1 u u+1
1 1 0 u+1 u
u u u+1 0 1
u+1 u+1 u 1 0
· 0 1 u u+1
0 0 0 0 0
1 0 1 u u+1
u 0 u u+1 1
u+1 0 u+1 1 u
[Aproxima
ión al álgebra lineal:
1.1. Campos 5
Ejer i ios
+ 0 1 2 3 4 · 0 1 2 3 4
0 0 1 2 3 4 0 0 0 0 0 0
1 1 2 4 0 3 1 0
2 2 4 3 1 0 2 0
3 3 0 1 4 2 3 0
4 4 3 0 2 1 4 0 1 2 3 4
un enfoque geométri
o℄
6 1. Indu
ión matemáti
a y
omplejos
*
SINGH Simon, El enigma de Fermat, Editorial Planeta, 1998.
un enfoque geométri
o℄
8 1. Indu
ión matemáti
a y
omplejos
Eje
Imaginario
z = (a, b)
b
Eje
a Real
Siz = a+ bi, un
omplejo aso
iado a z que resulta muy útil se llama el
onjugado de z , se nota z̄ y está dado por z̄ = a − bi. ¾Qué rela
ión
geométri
a hay entre z y z̄ ?.
z1 + z2 =: (a + c) + (b + d)i ,
se puede apre
iar a simple vista que la suma se dene de manera na-
tural, lo que no está
laro es el
aso del produ
to, aunque es fá
il
veri
ar que éste se obtiene multipli
ando
omún y
orriente los bi-
nomios a + bi y c + di y re
ordando que i2 = −1. Teniendo denidas
un enfoque geométri o℄
1
10 1. Indu
ión matemáti
a y
omplejos
1. z1 + z2 ∈ C y z1 z2 ∈ C;
3. z1 + z2 = z2 + z1 y z1 z2 = z2 z1 ;
6. z1 (z2 + z3 ) = z1 z2 + z1 z3 .
i0 = 1 i4 = (i2 )2 = (−1)2 = 1
i1 = i i5 = (i4 )i = 1i = i
i2 = −1 i6 = (i2 )3 = (−1)3 = −1
i3 = (i2 )i = (−1)i = −i i7 = (i6 )i = (−1)i = −i
et .
1 i 1
i−1 = i = i2
= −i i−4 = i4
=1
1 1 1
i−2 = i2
= −1 i−5 = i5
= i6
= −i
1 i 1
i−3 = i3
= i4
=i i−6 = i6
= −1
et .
De esta manera las poten
ias enteras de i pueden tomar solo uno de
los
uatro valores: 1,−1,i,−i.
Co
ientes de
omplejos: Usando el
onjugado z̄ se pueden ha
er
al
ulos
omo el siguiente:
3+i (3 + i)(1 + i) 3 + 3i + i + i2 2 + 4i
= = = = 2 + 2i
1−i (1 − i)(1 + i) 1 − i2 2
un enfoque geométri
o℄
12 1. Indu
ión matemáti
a y
omplejos
Eje
Imaginario
P
r sen θ z = r eiθ
r
θ Eje
O r cos θ Real
Figura 1.3: Representa
ión polar de un
omplejo.
o 1 i 38o
Ejemplo 1.2.1. Sean z1 = 3 ei 45 y z2 = e . Enton
es:
2
3 i 83o z1 o o
z1 z2 = e , = 6 ei 7 , y z14 = 81 ei 180 .
2 z2
*
Abraham De Moivre, matemáti
o fran
és, 1667-1754.
un enfoque geométri
o℄
14 1. Indu
ión matemáti
a y
omplejos
π/2+0
1
∗
uando k = 0, z1 = 2 ei 3 = 1
2 ei π/6 ;
π/2+2π
1
∗
uando k = 1, z2 = 2 ei 3 = 1
2 ei 5π/6 ;
π/2+4π
1
∗
uando k = 2, z3 = 2 ei 3 = 1
2 ei 3π/2 .
z2 = 1
2
ei 5π/6 z1 = 1
2
ei π/6
1
z= 8
i
z3 = 1
2
ei 3π/2
1
Figura 1.4: Raí
es
úbi
as de z= 8 i.
√
a ) −1
2 +
3
2 i
b ) −1
) 1
√
d) 1
2 + 3
2 i
e) Ninguna de las anteriores
√ √ 9
a) 2+ 2i
2
b ) (3i − 1)−1
) 1−3i
i−1
d ) |2eiπ3 − 1|
π
e ) 1 − i + ei 3
√ 6
f) 1+ 3i
2
g) 1−3i
i−1 + i−1
2−i
un enfoque geométri
o℄
16 1. Indu
ión matemáti
a y
omplejos
√ 9
h) 3+i
2
i ) 1−3i
1−i
π
5. Si z1 = ei 2 y z2 = 2 en
uentre z1 z2 y gra
arlo.
a) −3π
4
b) 3π
4
) π
4
d) 5π
4
e) 3π
2
1
7. Resuelva la e
ua
ión: x3 − i 2 = 0
8. Si el
omplejo representado por la e
hita es z, señale en la
grá
a dónde queda, aproximadamente, (i + z):
√ √
e) f
Expresar en forma polar los ) (8 − i 3)(8 + i 3);
siguientes
omplejos:
g) (i − 1)3
1) 3i; 5) cos α + h) i104 ;
2) 3i − 2;
i sen α +i) (−i)101 .
1;
3) (1 √ +
6) cos α +
i)/ 2; i sen(α+
4) 2 − 2i; π).
a ) x3 + 1 = 0;
b ) x5 − 1 − i = 0;
) x4 − x2 + 1 = 0.
un enfoque geométri
o℄
18 1. Indu
ión matemáti
a y
omplejos
z0 = i y zn+1 = zn2 + i, ∀n ≥ 1
z0 z1 z2 z3 z4
−i
−i + 1
−2 − i
−1
3+i
J =: { z ∈ C | órbita de z es a otada}
un enfoque geométri
o℄
20 1. Indu
ión matemáti
a y
omplejos
Ejer i io 1.3.2. Llene la misma tabla del Ejer i io 1.3.1 pero toman-
Otro sub
onjunto del plano
omplejo que o
upa un lugar desta
ado en
la teoría de los sistemas dinámi
os y fra
tales es el llamado
onjunto
de Mandelbrot (en honor a su des
ubridor Benoit Mandelbrot,
físi
o na
ido en Polonia en 1924, murió en 2010 y quien es
onsiderado
el padre de los fra
tales). Para
onstruir el
onjunto de Mandelbrot
se
onsidera no una sola deni
ión re
ursiva, sino toda una familia de
deni
iones re
ursivas así:
z1 = 02 − 21 i = − 21 i;
2
z2 = − 12 i − 21 i = − 41 − 12 i;
2
z3 = − 14 − 12 i − 21 i = − 16 3
− 14 i;
3
2
z4 = − 16 − 14 i − 21 i = − 256 7
− 1332 i.
un enfoque geométri
o℄
22 1. Indu
ión matemáti
a y
omplejos
Enton es:
z1 = 02 + 1 = 1;
z2 = 12 + 1 = 2;
z3 = 22 + 1 = 5;
z4 = 52 + 1 = 26;
z5 = 262 + 1 = 677.
Se observa
laramente
omo en este
aso la órbita de 0 se es
apa
rápidamente ha
ia el innito, no es a
otada y por tanto c=1∈ / M.
Además se puede apre
iar que la órbita de 0 se es
apa realizando
saltos
ada vez más grandes sobre el eje real (ver 1.7).
bc bc bc bc bc
1 2 5 26
zn+1 = zn2 + c,
M =: c ∈ C | órbita de 0 para es a
otada .
Ejer
i
io 1.3.3. Determine
uáles de los siguientes
omplejos
pertene
en al
onjunto de Mandelbrot: 0, i, 1 + i, −iy − 2i.
Ejer i io 1.3.4.
un enfoque geométri
o℄
Ejer
i
ios 1.3
a) 1
b) −1
) −i
d) i−1
5. Veri ar si:
• 0 pertene
e a J0
• 1 pertene
e a J0
• −i pertene
e a Ji
−i
• 2 pertene
e a Ji
1.3. Algo sobre dinámi
as
omplejas 25
un enfoque geométri
o℄
26 1. Indu
ión matemáti
a y
omplejos
2x + y = 3z,
2y = 5,
z − y = 2,
x + 4 = y + 3z,
2x = 0.
y = sen(x + z),
x2 + y = z 2 ,
y = 2(x+y) ,
5xy + 3z = 1.
2x + y = −4
−x − 21 y = 2
es la pareja (0, −4). Otras solu
iones son (1, −6), (−1, −2), ( 12 , −5),
(−2, 0) y (π, −4 − 2π) (½verifíquelo!). ¾Cuántas solu
iones tiene este
sistema?, ¾
uál es su
onjunto solu
ión?
La matriz del sistema está
onformada por los
oe
ientes de las
variables es
ritos ordenadamente:
2x1 + 3x2 − x3 = −3
x2 + 2x3 = 7
−x1 + x3 = 2.
2 3 −1
0 1 2 ,
−1 0 1
2 3 −1 −3
0 1 2 7 .
−1 0 1 2
un enfoque geométri
o℄
30 2. Rn
omo espa
io ve
torial
*
Karl Friedri
h Gauss (1777-1855), na
ió en Brunswi
k, Alemania, en 1777. Ha
sido llamado el más grande matemáti
o del siglo XIX y fue re
ono
ido
omo el
prín
ipe de las matemáti
as. Por fortuna, su genio fue re
ono
ido desde la es
uela
elemental. Una ané
dota
uenta que a la edad de 10 años, Gauss sorprendió a su
maestro al sumar los números del 1 hasta el 100 en forma instantánea. Gauss había
observado que los números se podían arreglar en 50 pares que sumaban
ada uno
101 (1+100, 2+99, et
.), y 50 × 101 = 5050. A los 18 años, inventó el método de
mínimos
uadrados; y antes de
umplir 19 años, resolvió un problema de dos mil
años de antigüedad: Gauss demostró
ómo
onstruir,
on sólo regla y
ompás, un
polígono regular de 17 lados. Gauss realizó trabajos importantes en astronomía y
ele
tri
idad, pero la produ
ión matemáti
a es la más asombrosa. Su tesis do
toral
de 1799 dio la primera demostra
ión del teorema fundamental del álgebra que
todo polinomio de grado n, tiene,
ontando multipli
idades, exa
tamente n raí
es
. En 1801 su obra Disquisitiones Arithmeti
ae es el libro más inuyente sobre la
teoría de números. Además, hizo
ontribu
iones al álgebra y la geometría. Gauss
fue
atedráti
o de matemáti
as en Göttingen en 1807 hasta su muerte en 1855.
**Diremos que dos sistemas de e
ua
iones son equivalentes si tienen el mismo
onjunto solu
ión.
2x1 + 3x2 − x3 = −3
x2 + 2x3 = 7
−x1 + x3 = 2.
Solu
ión. Por el método de Gauss, partiendo de la matriz ampliada,
tenemos:
2 3 −1 −3 −1 0 1 2
0 1 −−−−→ −−−−→
2 7 f1 ↔ f3 0 1 2 7 2f1 + f3
−1 0 1 2 2 3 −1 −3
−1 0 1 2 −1 0 1 2
0 −−−−−−−→
1 2 7 (−3)f2 + f3
0 1 2 7 =⇒
0 3 1 1 0 0 −5 −20
un enfoque geométri
o℄
32 2. Rn
omo espa
io ve
torial
−x1 + x3 = 2
x2 + 2x3 = 7
−5x3 = −20,
de la ter
era e
ua
ión tenemos que x3 = 4, y reemplazamos este valor
en las dos primeras e
ua
iones, de donde obtenemos, x1 = 2 y x2 = −1;
la solu
ión del sistema se puede ver
omo la tripla (2, −1, 4).
2x1 + 3x2 − x3 = −3
x2 + 2x3 = 7
2x1 + 4x2 + x3 = 2.
Solu
ión. Por el método de Gauss, partiendo de la matriz ampliada,
tenemos:
2 3 −1 −3 −−−−−−→ 2 3 −1 −3 −−−−−−→
0 1 2 7 −f1 + f3 0 1 2 7 −f2 + f3
2 4 1 2 0 1 2 5
2x1 + 3x2 − x3 = −3
2 3 −1 −3
0 1 2 7 =⇒ x2 + 2x3 = 7
0 0 0 −2 0x1 + 0x2 + 0x3 = −2,
Como la última e
ua
ión no tiene ninguna solu
ión, el sistema es in-
onsistente.
2x1 + 3x2 − x3 = −3
x2 + 2x3 = 7
2x1 + 4x2 + x3 = 4.
[Aproxima
ión al álgebra lineal:
2.1. Sistemas de e
ua
iones lineales 33
2x1 + 3x2 − x3 = −3
x2 + 2x3 = 7,
en este sistema sobra una variable que podríamos suponer toma
ual-
quier valor, por ejemplo hagamos x3 = t (hemos introdu
ido el pará-
metro t) y obtenemos:
2x1 + 3x2 = −3 + t
x2 = 7 − 2t,
al solu
ionar este nuevo sistema, obtenemos todas las solu
iones a
nuestro sistema original:x3 = t, x2 = 7 − 2t, 2x1 = −3 + t − 3x2 =
−3+t−3(7−2t) = −24+7t, es de
ir x1 = −12+ 27 t. Así las solu
iones
7
al sistema se pueden ver
omo ternas (−12 + t, 7 − 2t, t),
omo para
2
ada valor real t tenemos una solu
ión, nuestro sistema original tiene
innitas solu
iones; y el
onjunto solu
ión se puede es
ribir
omo
sigue: S = {(−12 + 72 t, 7 − 2t, t) | t ∈ R}.
un enfoque geométri
o℄
34 2. Rn
omo espa
io ve
torial
al sistema:
x1 = 0
x2 = 0
.
.
.
xn = 0,
1. Considere el sistema:
2x + by = 0
4x + cy = 0
enton
es:
2. El sistema de e ua iones
3x + by = h
cx + 2by = k
tiene solu
ión úni
a si y solo si:
a ) (3b − c)b = h
b ) b(6 − c) = h − k
) b(6 − c) 6= 0
d ) Siempre tiene solu
ión
e ) Ninguna de las anteriores
6x1 + x2 − x3 = 7
a) 4x1 − x2 + 5x3 = 4
2x1 + 2x2 − x3 = 0;
x1 + x2 − x3 = 7
b) x1 − x2 + 5x3 = 4
6x1 + x2 + 3x3 = 18;
2x2 + 5x3 = 6
) x1 − 2x3 = 4
2x1 + x2 = −2;
x1 + 2x2 − x3 = 4
d)
3x1 + 4x2 − 2x3 = 7;
x1 + x2 = 4
e) 2x1 − 3x2 = 7
3x1 + 2x2 = 8.
un enfoque geométri
o℄
36 2. Rn
omo espa
io ve
torial
a) b) z c)
739 21
439
y 8
180
20 47 w x 3
a11 x1 + a12 x2 = b1
a21 x1 + a22 x2 = b2 .
6. Considere el sistema:
2x1 + 3x2 − x3 = a
x1 − x2 + 3x3 = b
3x1 + 7x2 − 5x3 = c,
demuestre que el sistema es in
onsistente si y sólo si c 6= 2a − b.
7. ¾Qué
ondi
iones deben
umplir a, b y c para que el sistema:
x1 + x2 + 2x3 = a
x1 + x3 = b
2x1 + x2 + 3x3 = c,
sea
onsistente (tenga por lo menos una solu
ión)?
ax + by = 0
cx + dy = 0
tiene un número innito de solu
iones si y sólo si ad − bc = 0.
9. Considere el sistema:
ax + by = c
bx + ay = d.
a) En
uentre
ondi
iones sobre a y b para que el sistema tenga
una úni
a solu
ión.
un enfoque geométri
o℄
38 2. Rn
omo espa
io ve
torial
(1, 20), (π, 1/2), (0, e), et
., son parejas de números reales, mientras
que (1, 2, −1), (2, 2π, −1) son triplas de números reales. Por ejemplo,
algunas solu
iones de la e
ua
ión
2x + y = 1
son (0, 1), (1, −1), (−1, 3), (2, −3), et
.; en general, las solu
iones de
esta e
ua
ión son todas las parejas de la forma
(t, 1 − 2t),
x − y + 2z = 0
son (0, 0, 0), (1, 0, −1/2), (0, 1, 1/2), (1, 1, 0), et
. (¾Cómo es la forma
general de las solu
iones de esta e
ua
ión?).
(x1 , x2 , . . . , xn ),
(x1 , x2 , . . . , xn ) = (y1 , y2 , . . . , yn ) ⇔ x1 = y1 , x2 = y2 , . . . , xn = yn .
Las n-uplas son también llamadas ve
tores n-dimensionales. El
término ve
tor es inspirado en la interpreta
ión geométri
a del
aso
parti
ular n = 2, es de
ir en los ve
tores en el plano, seguramente
n dimensional tiene enton
es
familiares para el estudiante. Cada ve
tor
n
omponentes que se llaman también
oordenadas del ve
tor. Los
ve
tores los notaremos
on letras mayús
ulas. El
onjunto de todos los
ve
tores de dimensión n
on
omponentes reales lo notaremos Rn . Así:
R2 = {(x1 , x2 ) | x1 ∈ R, x2 ∈ R}
R3 = {(x1 , x2 , x3 ) | x1 ∈ R, x2 ∈ R, x3 ∈ R}
.
.
.
Rn = {(x1 , x2 , . . . , xn ) | xi ∈ R, i = 1, 2, . . . , n}.
R2 y R3 se pueden representar geométri
amente
omo el plano
arte-
siano y el espa
io tridimensional respe
tivamente (ver Figura 2.2). En
ambos
asos la representa
ión se puede ha
er de tres maneras, según
la
onvenien
ia:
z z
c
(a, b, c)
b
a y y
x x
a) Como un punto.
un enfoque geométri
o℄
40 2. Rn
omo espa
io ve
torial
Nota. Diremos que dos e
has tienen la misma dire
ión si están
sobre re
tas paralelas (
onsideraremos que toda re
ta es paralela a si
misma), el sentido de una e
ha se reere ha
ia donde ella apunta,
de tal manera que dos e
has pueden tener la misma dire
ión y el
mismo sentido, o la misma dire
ión pero diferente sentido (ver Figura
2.3).
a) b) )
Figura 2.3: a) Fle
has
on igual dire
ión y sentido. b) Fle
has
on
igual dire
ión y diferente sentido.
) Fle
has
on diferente dire
ión.
X + Y =: (x1 + y1 , x2 + y2 , . . . , xn + yn );
Estas dos opera
iones son muy sen
illas y naturales: para sumar ve
-
tores se suman sus
omponentes
orrespondientes, para multipli
ar un
ve
tor por un es
alar se toma
ada
omponente y se multipli
a por
el es
alar, (si pensamos en R2 o R3 , ¾
ómo se interpretan geométri-
amente las opera
iones de suma y produ
to por es
alar?). Con estas
dos opera
iones Rn forma lo que se llama un espa
io ve
torial pues
umple las siguientes propiedades:
2 2 22 8
((9, 0, −3, 1) + (2, −6, 0, 3)) = (11, −6, −3, 4) = ( , −4, −2, )
3 3 3 3
y por otra parte, efe
tuando aX + aY se tiene:
2 2 2 4
(9, 0, −3, 1) + (2, −6, 0, 3) = 6, 0, −2, + , −4, 0, 2
3 3 3 3
22 8
= , −4, −2, .
3 3
Se observa
laramente que los dos resultados son iguales. Mostrar,
omo a
abamos de ha
er, un ejemplo muy parti
ular de la propiedad
un enfoque geométri
o℄
42 2. Rn
omo espa
io ve
torial
es de
ir,
aX + aY = (ax1 + ay1 , . . . , axn + ayn ). (2.2)
2. ¾Cuáles son las
oordenadas del ve
tor que parte del punto (1, 5)
y llega a (3, 1)?
3. Sea A el ve
tor bidimensional que parte del punto (x1 , y1 ) y
llega al punto (x2 , y2 ). Halle las
oordenadas de A (es de
ir ,las
oordenadas del punto nal de A
uando se traslada al origen).
10. Sea A = (5, −2, 1, 0), B = (3, 1, 3, −1) y C = (2, −1, 0, 2). De-
mostrar que no existen α y β tales que αA + βB = C .
11. Demostrar que Rn
on la suma y el produ
to por es
alar es efe
-
tivamente un espa
io ve
torial, es de
ir,
umple las propiedades
EV0 a EV8.
un enfoque geométri
o℄
44 2. Rn
omo espa
io ve
torial
ombina
ión lineal de los ve
tores (1, 0, 0), (0, 1, 0) y (0, 0, 1). En ge-
neral,
uando todo ve
tor en un espa
io ve
torial V es
ombina
ión
lineal de un
onjunto nito de ve
tores, de
imos que di
ho
onjunto
es un sistema generador del espa
io ve
torial. Al tener un siste-
ma generador de alguna manera se tiene todo el espa
io, en el sentido
que bastaría ha
er todas las posibles
ombina
iones lineales de los ve
-
tores del sistema generador para obtener todoslos ve
tores del espa
io
(Veáse la deni
ión 2.3). Por esto
onviene bus
ar aquellos sistemas
generadores que tengan el menor número posible de ve
tores, de tal
manera que en un sistema de generadores,
ada vez que alguno de los
ve
tores del sistema sea una
ombina
ión lineal de los otros, enton
es
di
ho ve
tor se puede des
artar puesto que los ve
tores que quedán
seguirán generando al espa
io, así los sistemas de generadores
on el
menor número posible de ve
tores, son aquellos en los
uales ninguno
de los ve
tores del sistema es
ombina
ión lineal de los otros, es de-
ir,
uyos ve
tores son linealmente independientes
on
epto que se
introdu
e a
ontinua
ión, para terminar la se
ión
on los
on
eptos
formales de base y dimensión.
un enfoque geométri
o℄
46 2. Rn
omo espa
io ve
torial
X2
X1 X2 X1
Ejemplo 2.3.1. Dados los ve
tores (1, −2, 0), (0, 2, −1) y (3, −1, 1),
determinar si son ve
tores linealmente independientes o linealmente
dependientes.
α1 + 3α3 = 0
−2α1 + 2α2 − α3 = 0
−α2 + α3 = 0.
un enfoque geométri
o℄
48 2. Rn
omo espa
io ve
torial
α1 + 3α3 = a
−2α1 + 2α2 − α3 = b
−α2 + α3 = c.
Claro está que para que el
on
epto de dimensión quede bien denido
debemos garantizar que:
a ) A, B − C, B − A, 2A − C
b ) A, B, A + 3B
) A, B − C, B
un enfoque geométri
o℄
50 2. Rn
omo espa
io ve
torial
d ) A − B, B − C, B − A
e ) A, B − 2C, B − 3C
f ) A − C, B − C, A − B
2. Los ve
tores (1, −1, 0), (−1, 1, 0) y (0, 0, 1) no forman una base
de R3 porque:
b) 3
Generan R pero no son linealmente independientes
a) 1, t, t2
b) 1, sin(t), cos(t)
) 1, sin2 (t), cos2 (t)
d) et , e−t , (et − e−t )/2
un enfoque geométri
o℄
52 2. Rn
omo espa
io ve
torial
10. Los ve
tores (1, −1, 0), (−2, 2, 0) y (0, 0, 1) no forman una base
de R3 porque:
b) 3
Generan R pero no son linealmente independientes
un enfoque geométri
o℄
54 2. Rn
omo espa
io ve
torial
α1 X1 + α2 X2 + . . . + αp Xp = 0.
α1 X1 + α2 X2 + . . . + αp Xp = 0;
a ) A − B, A − C, B − C ;
b ) A + B + C, A + B, A;
) A − B, A − B − C, B − C − A.
15. Demuestre que si A, B, C son ve
tores de Rn , enton
es los si-
guientes
onjuntos de ve
tores no son linealmente independien-
tes:
a ) A − B, A − C, 2A − B − C ;
b ) A + B + C, A + B − C, A + B ;
) A − B, A − B − C, B − A.
16. ☛Demuestre la Proposi
ión 3.
{αV | α ∈ R},
x y z
= = ,
a1 a2 a3
que son e
ua
iones
artesianas (llamadas también simétri
as) de la
re
ta. (¾Qué o
urre
uando alguno de los ai es
ero?).
z
z L
L
P
•
V V
y y
x x
Re
tas en R3
Dados una re
ta L que pasa por el punto P y tiene sentido V (es de
ir
L es paralela al ve
tor V ), se tiene que un punto X pertene
e a la
re
ta L, si y sólo si:
−−→
P X = αV (1)
de donde se obtiene:
x = x0 + αa,
y = y0 + αb,
z = z0 + αc
[Aproxima
ión al álgebra lineal:
2.4. Planos y re
tas en R3 57
x = αa1 + p1 ,
y = αa2 + p2 ,
z = αa3 + p3 ,
x − p1 y − p2 z − p3
= = ,
a1 a2 a3
x = αa1 + p1
y = αa2 + p2 ,
un enfoque geométri
o℄
58 2. Rn
omo espa
io ve
torial
−−→
V = P Q = Q − P = (−1, 1, −8).
3−z
2−x=y+1= .
8
cx + dy + ez = 0,
z z •
P
V1
V1
V2 y
y
V2
x x
Figura 2.7: Plano que ontiene el origen. Figura 2.8: Plano trasladado.
x = p1 + αa1 + βb1 ,
y = p2 + αa2 + βb2 ,
z = p3 + αa3 + βb3 ,
ax + by + cz = d. 1
un enfoque geométri
o℄
60 2. Rn
omo espa
io ve
torial
x = −1 + α
y = 0
z = 5α
on el plano x − 2y + z = 1.
En
ontremos en primer lugar el punto de interse
ión de la re
ta y el
plano dados, para lo
ual reemplazamos las e
ua
iones paramétri
as
de la re
ta, en la e
ua
ión
artesiana del plano:
(1) x = − 23 + β
(2) y = −2α + 2β α, β ∈ R.
5
(3) z = 3 + α + 3β
Despejando el valor de β de la e
ua
ión (1) y reemplazándolo en las
e
ua
iones (2) y (3) se obtiene:
(4) α = x − 21 y + 2
3
11
(5) α = z − 3x − 3 .
4x − 21 y − z = − 13
3
a) α = β = 0
b) α = β = 1
2
) β = γ
d) Todas las anteriores son verdaderas
3. Sean
(d) π ′
y π se interse
tan
un enfoque geométri
o℄
62 2. Rn
omo espa
io ve
torial
13. Sea L la re
ta que
ontiene a (2, 3, 0) y
on dire
ión (1, −1, 3);
sea P el plano que
ontiene el origen y es generado por los ve
-
tores (−1, 2, −1) y (4, 2, 1). Determine los puntos
omunes de P
y L.
14. Sea L la re
ta que
ontiene a (2, 3, 0) y (1, −1, 3); sea P el plano
on e
ua
ión
artesiana 2x − y + z = 2. Determine los puntos
omunes de P y L.
un enfoque geométri
o℄
64 2. Rn
omo espa
io ve
torial
i) S no es va
ío.
ii) Si X, Y ∈ S enton
es X + Y ∈ S (es de
ir, S es
errado para la
suma).
iii) Si X ∈ S y α ∈ R enton
es αX ∈ S (es de
ir, S es
errado para
el produ
to por es
alar).
y
Ejemplo 2.5.1. Sea S = {(x, y, z) | −3x = 2 = z}, determinar si S
es un subespa
io ve
torial.
y1 y2
−3x1 = 2 = z1 y − 3x2 = 2 = z2 ,
omo
y1 y2
−3x1 − 3x2 = 2 + 2 = z1 + z2 ,
[Aproxima
ión al álgebra lineal:
2.5. Subespa
ios 65
y1 +y2
−3(x1 + x2 ) = 2 = z1 + z2 ,
Como apli
a
ión de la Proposi
ión 4 se puede demostrar que los subes-
pa
ios ve
toriales de Rn son exa
tamente aquellos sub
onjuntos que
son solu
ión de algún sistema homogéneo de e
ua
iones. Así en R3 los
subespa
ios ve
toriales son: {0}, re
tas que
ontienen el origen, planos
que
ontienen el origen y el mismo R3 . ¾Cuáles son los subespa
ios
ve
toriales de R2 ?.
Planos R3
por el origen
Planos R3
W = {P + α1 V1 + α2 V2 + . . . + αm Vm | α1 , α2 , . . . , αm ∈ R},
es un subespa io ve torial de V.
b) Demostrar que la re
ta
x z
2 = y = 3 es un subespa
io ve
to-
3
rial de R y en
uentre una base para este.
b) a
Con base en el ejer
i
io 7 ) y apli
ando el resultado del
ejer
i
io 4, dedu
ir que el
onjunto de solu
iones a
ualquier
sistema homogéneo de e
ua
iones
on n in
ógnitas es un
subespa
io ve
torial de Rn .
) Demostrar que el
onjunto de solu
iones a
ualquier sistema
onsistente de e
ua
iones
on n in
ógnitas es un subespa
io
afín de Rn .
αA + βB + ΓC = X
un enfoque geométri
o℄
68 2. Rn
omo espa
io ve
torial
Q
puntos medios de los segmentos
AB, AC, BC respe
tivamente y M
P
xn
Esto quiere de
ir que las transforma
iones lineales son aquellas fun-
iones que respetan la suma ve
torial y el produ
to por es
alar. Estas
dos
ondi
iones se pueden reemplazar por una sola. Podemos de
ir:
f (αX + Y ) = αf (X) + f (Y ),
(½demostrarlo!).
x1 y1 x1 + y 1
f (X + Y ) = f x2 + y2 = f x2 + y2
x3 y3 x3 + y 3
= (x1 + y1 ) + (x2 + y2 ) + (x3 + y3 ),
x1 y1
f (X) + f (Y ) = f x2 + f y2
x3 y3
= (x1 + x2 + x3 ) + (y1 + y2 + y3 ),
luego f (X + Y ) = f (X) + f (Y ).
[Aproxima
ión al álgebra lineal:
3.1. Transforma
iones lineales 71
V1 , V2 , . . . , Vk (ver Ejer
i
io 5a ).
Ejemplo 3.1.2. Sea f : R3 −→ R2 una transforma
ión lineal. En-
ontrar el valor de f (3, 2, 0) sabiendo que f (−1, 4, 2) = (0, −6) y
f (1, 3, 1) = (−4, 1).
Solu
ión. Debemos en
ontrar los es
alares α y β tales que el ve
-
tor(3, 2, 0) se pueda es
ribir
omo
ombina
ión lineal de los ve
tores
(−1, 4, 2) y (1, 3, 1), es de
ir:
3 −1 1
2 = α 4 + β 3 ,
0 2 1
de aquí se obtienen tres e
ua
iones
on dos in
ógnitas, resolviendo
tenemos que α = −1 y β = 2. Reemplazando y usando que f es
transforma
ión lineal, llegamos a la transforma
ión del ve
tor (3, 2, 0):
3 −1 1
f 2 = −1f 4 + 2f 3
0 2 1
0 −4 −8
= −1 +2 = .
−6 1 8
un enfoque geométri
o℄
72 3. Transforma
iones lineales y matri
es
a ) Siempre
) a2 6= 1
b ) a 6= 1 d ) a2 =6 0
a ) y = −x
b) y = x − 1
) x = −2y
d ) Ninguna de las anteriores
a) El plano x=z
b) La re
ta generada por (1, 0, 1)
) El punto (0, 0, 0)
d) Ninguna de las anteriores
a) f (x, y) = x2 + y 2 ; f) f (x, y) = x2 + 1;
b) f (x) = (0, x); g) f (x, y) = (x, 2x, y);
) f (x) = 4x; h) f (x, y, z) = (x − y, z + x);
d) f (x, y) = 2x + y2 ; i) f (x, y, z) = (1 − y, z + 1);
e) f (x, y) = 3x + 2y + 5; j) f (x, y, z) = (2z, −y, 1).
☛ a)
5.
Sea f : Rn −→ Rm una transforma
ión lineal. Demos-
trar que f (0) = 0, f (−X) = −f (X), y que si se
ono
en
f (V1 ), f (V2 ), . . . , f (Vk ), enton
es se
ono
e f (X) para todo
X que sea
ombina
ión lineal de V1 , V2 , . . . , Vk . En parti-
ular si se
ono
en las imágenes de los elementos de una
base de Rn , enton
es se
ono
e la imagen de
ualquier otro
ve
tor del dominio. ¾Por qué?
un enfoque geométri
o℄
74 3. Transforma
iones lineales y matri
es
f (X) = f (x1 E1 + x2 E2 + . . . + xn En )
está dado por:
x1
x2
X↓=
... ,
xn
un enfoque geométri
o℄
76 3. Transforma
iones lineales y matri
es
Esta aso
ia
ión (a
ada transforma
ión lineal una matriz) es biunívo
a
pues re
ípro
amente, si A es una matriz de orden m × n, digamos
fA : Rn −→ Rm denida por:
Matri
es
Mm×n
≈ Transforma
iones
Lineales Ln×m
A −−−−−−−−−−−−−→ fA
Mf ←−−−−−−−−−−−−− f
Las matri
es y las transforma
iones lineales
son esen
ialmente lo mismo
Esta aso
ia
ión nos da otra interpreta
ión al problema de hallar todas
las solu
iones a un sistema de e
ua
iones lineales. En efe
to, obsérvese
que resolver un sistema de e
ua
iones lineales de m e
ua
iones
on n
in
ógnitas es en
ontrar todos los X ∈ Rn tales que:
f (X) = B,
AX↓= B↓ .
Para el
aso parti
ular de transforma
iones del plano en el plano, o del
espa
io tridimensional en sí mismo, es posible, útil e interesante (½ade-
más de divertido!), interpretar el efe
to geométri
o de la transforma-
ión, es de
ir, des
ribir qué le ha
e la transforma
ión a determinados
sub
onjuntos del plano (o de R3 ). Así podemos hablar de transforma-
iones lineales (o equivalentemente matri
es) que ha
en un
ambio de
es
ala, giros, reexiones, et
. Para este análisis es
onveniente re
ordar
que las
olumnas de la matriz Mf son las imágenes de los ve
tores de
la base
anóni
a E1 y E2 para el
aso R2 y E1 , E2 y E3 en el
aso R3 .
Ilustremos lo anterior
on algunos ejemplos.
1/3 0
0 1/3
un enfoque geométri
o℄
78 3. Transforma
iones lineales y matri
es
µ ¶
1/3 0
¡ 0¢ 0 1/3
1
¡0¢
1/3
¡1¢ ¡1/3¢
0 0
µ ¶
−2 0
¡0¢ 0 −2
1
¡1¢ ¡−2 ¢
0 0
0
¡ ¢
−2
µ ¶
1/2 0
0 −3
¡0¢
1
¡1/2 ¢
0
¡1¢
0
0
¡ ¢
−3
un enfoque geométri
o℄
80 3. Transforma
iones lineales y matri
es
y (1, 2)
z
(0, 1, 1)
(−1, 0) (1, 0)
y x
x
(0, −1, −1)
(−1, −2)
a) det(A − λIn ) = 0
b) det(A − A−1 ) = 0
) detA =0
d) Todas las anteriores
0 −1
3. Sea A = . El efe
to geo-métri
o de la transforma
ión
1 0
representada por A es:
a ) T es inye
tiva
b ) T es sobreye
tiva
) T no es inye
tiva
d ) Todas las anteriores
e ) Ninguna de las anteriores
Enton
es
x 1 a c x
W = ,
y 2 b d y
donde a = 0, b = 1, c = 1, d = 0
1. En
ontrar las matri
es de las transforma
iones que eje
utan
ada
una de las a
iones mostradas en la gura. ¾Qué es en
ada
aso
f (x, y)?
un enfoque geométri
o℄
82 3. Transforma
iones lineales y matri
es
(1)
(2)
(3)
µ ¶
1 0
a)
0 −2 µ ¶
−1 0
b)
0 −1
1 µ ¶
1 2
c)
• µ ¶ 1 2
2 0
d)
1 0 −1
−1 1 1 1 f ) (−1 1 1).
!
d) 2 1 4
; e) 4 ;
0
a) k < −1; e ) k = 0;
b) k = −1; f ) k = 1;
) −1 < k < 0; g ) k > 1.
d) 0 < k < 1;
1 0 0 −1 0 0
! !
a) A = 0 −1 0 ; d) A = 0 −1 0 ;
0 0 1 0 0 1
1 0 0 cos θ − sen θ 0
! !
b) A = 0 1 0 ; e) A = sen θ cos θ 0 ;
0 0 0 0 0 1
−1 0 0 1 0 0
! !
c) A = 0 −1 0 ; f) A = 0 cos θ − sen θ .
0 0 −1 0 sen θ cos θ
un enfoque geométri
o℄
84 3. Transforma
iones lineales y matri
es
x1
x2
siendo X =
... ,
demuestre que fA es una transforma
ión
xn
lineal.
Nu(f ) + P,
por todos los ve
tores que son imagen por intermedio de f de algún
X ∈ Rn . Es de
ir,
Im(f ) = {f (X) ∈ Rm | X ∈ Rn },
un enfoque geométri
o℄
86 3. Transforma
iones lineales y matri
es
Nú
leo Imagen
Rn f Rm Rn f Rm
Nu(f )
X f (X) = AX
•
0
• B
X• •
Con esta nota
ión, veamos
ómo se pueden usar el nú
leo y la imagen
de una transforma
ión lineal para determinar si ésta es inye
tiva o
sobreye
tiva.
i) f es inye
tiva;
ii) Nu(f ) = {0};
iii) n(f ) = 0.
i) f es sobreye tiva;
ii) Im(f ) = Rm ;
iii) R(f ) = m.
Demostra
ión. b
Ejer
i
io 10 ).
1 1 2 0 1 1 2 0
! !
−2f1 +f2
2 0 6 0 −−−−−−→ 0 −2 2 0
−3f1 +f3
3 2 7 0 0 −1 1 0
1 1 2 0 1 0 3 0
! !
f2 ↔f3 f2 +f1
−−−−→ 0 −1 1 0 −−−−−−→ 0 −1 1 0
−2f2 +f3
0 −2 2 0 0 0 0 0
para que el sistema tenga solu
ión se debe
umplir que 4x+y −2z = 0.
Luego Im(f ) = {(x, y, z) ∈ R3 | 4x + y − 2z = 0}. ¾Geométri
amente
qué es Im(f )? Luego, ¾dim Im(f ) =? ¾Es f sobreye
tiva?
un enfoque geométri
o℄
88 3. Transforma
iones lineales y matri
es
a) dim(N u(T )) = 0
b) T es biye
ión.
) dim(Im(T )) = 2
d) T puede ser no sobreye
tiva.
a) En
uentre la matriz de T:
b) En
uentre el nú
leo de T:
) En
uentre la imagen de T:
a ) N es subespa
io ve
torial.
b ) Si N = 0 enton
es T es sobreye
tiva.
) N puede ser va
ío.
d ) Todas las anteriores
e ) Ninguna de las anteriores
f (x, y, z) = (y, x)
es la transforma
ión g(x, y) = (y, x, 0).
2. Determine si las siguientes proposi
iones son falsas o verdaderas
y justique brevemente:
un enfoque geométri
o℄
90 3. Transforma
iones lineales y matri
es
1 1 −2 x a
1 3 −1 y = b .
0 2 1 z c
1 0 −1 1 1
d) ;
a ) 3 1 ; 2 1 4
1 0
1
3 0 −1 e ) 4 ;
b) 1 −1 3
;
0
1 3 −1
) 5 1 f)
2 ; −1 1 1 .
4 0 1
un enfoque geométri
o℄
92 3. Transforma
iones lineales y matri
es
b
Re
ordemos que en el Ejer
i
io 6 ) de la se
ión 3.1 se estable
ió
que el
onjunto Lmn de las transforma
iones lineales de Rn en Rm ,
es un espa
io ve
torial
on las opera
iones de suma de fun
iones y
produ
to de un es
alar por una fun
ión. Re
ordemos también que
en el Ejer
i
io 10 de la se
ión 3.2, se estable
ió una
orresponden
ia
biunívo
a entre Lmn y Mm×n . De esta manera, las dos opera
iones que
ha
en de Lmn un espa
io ve
torial se pueden transmitir al
onjunto
de las matri
es m × n: dadas A y B dos matri
es m × n, sabemos
que ellas denen dos transforma
iones lineales fA y fB y que la suma
fA +fB es también una transforma
ión lineal, por tanto le
orresponde
su matriz aso
iada MfA +fB . Es natural pensar enton
es en esta matriz
omo la suma de las matri
es A y B , que obviamente se notará
A + B , es de
ir, sería natural denir: A + B =: MfA +fB . Veamos
omo
se
al
ularía esta suma (por se
ión 3.2):
αA =: (αaij )m×n .
Ejemplo 3.4.1.
−1 0 3 2 10 −5
2 + =
1 1/2 5 0 −1 4
−2 0 6 2 10 −5 0 10 1
= + = .
2 1 10 0 −1 4 2 0 14
Otra opera
ión importante que se puede eje
utar entre fun
iones
es la
omposi
ión. Siendo f : Rn −→ Rm y g : Rm −→ Rp
transforma
iones lineales, denimos una nueva transforma
ión lineal
gf : Rn −→ Rp así: para
ada X ∈ Rn , (gf )(X) =: g(f (X)). El le
-
tor debe
omprobar que, en efe
to, gf es una transforma
ión lineal
(Ejer
i
io 7 de la se
ión 3.1); gf se llama la
omposi
ión de f y g .
La
omposi
ión entre transforma
iones lineales nos genera una opera-
ión entre matri
es que, en prin
ipio, no pare
e natural: el produ
to
matri
ial. Siendo f : Rn −→ Rm y g : Rm −→ Rp transforma
iones
un enfoque geométri
o℄
94 3. Transforma
iones lineales y matri
es
Mg Mf =: Mgf .
f g
Rn −−→ Rm −−→ Rp .
Mf Mg
MfA fB = (fA (fB (E1 ))↓ fA (fB (E1 ))↓ . . . fA (fB (En ))↓),
m
X
AB = (cij )p×n , donde cij = Ai· B·j =: aik bkj .
k=1
Ejemplo 3.4.2.
1 3
−2 2 1 0 −3
0 =
−1 5 2 7
4 1/2
1 · 2 + 3(−1) 1·1+3·5 1·0+3·2 1(−3) + 3 · 7
= −2 · 2 + 0(−1) −2 · 1 + 0 · 5 −2 · 0 + 0 · 2 (−2)(−3) + 0 · 7
4 · 2 + 12 (−1) 4 · 1 + 21 5 4 · 0 + 12 2 4(−3) + 12 7
−1 16 6 18
= −4 −2 0 6
.
15 13 17
2 2 1 − 2
La deni
ión del produ
to matri
ial
omo la matriz aso
iada a una
omposi
ión de transforma
iones lineales, nos expli
a algunas propie-
dades de esta opera
ión que en general apare
en
omo
apri
hosas.
Entre otras:
un enfoque geométri
o℄
96 3. Transforma
iones lineales y matri
es
que es equivalente a
3a − b 2a + 2c 1 0
= ,
3d − e 2d + 2f 0 1
3a − b = 1, 2a + 2c = 0, 3d − e = 0 y 2d + 2f = 1.
A(A−1 ) = (A−1 )A = In .
−1 −1 1 0 −f1 1 1 −1 0 −f1 + f2
−−→ −−−−−−→
1 2 0 1 1 2 0 1
1 1 −1 0 −f2 + f1 1 0 −2 −1
−−−−−−→ ,
0 1 1 1 0 1 1 1
luego la inversa de A es
−1 −2 −1
A = .
1 1
Comprobamos así:
−1 −1 −2 −1 −2 −1 −1 −1 1 0
= = .
1 2 1 1 1 1 1 2 0 1
un enfoque geométri
o℄
98 3. Transforma
iones lineales y matri
es
AX↓= B↓
x + 3y = 1
−2y + 4z = 3
−x + y + z = 0.
1 3 0 1 0 0 1 3 0 1 0 0
! !
−−−−→ −−1−→
0 −2 4 0 1 0 f1 + f3 0 −2 4 0 1 0 − 2 f2
−1 1 1 0 0 1 0 4 1 1 0 1
1 3 0 1 0 0 1 0 6 1 3/2 0
! !
−3f2 + f1
0 1 −2 0 −1/2 0 −−−−−−−→ 0 1 −2 0 −1/2 0
0 4 1 1 0 1 −4f2 + f3 0 0 9 1 2 1
1 0 6 1 3/2 0
!
−→
1
f
9 3
0 1 −2 0 −1/2 0
0 0 1 1/9 2/9 1/9
1/3 1/6 −2/3 1 5/6
X = A−1 B = 2/9 −1/18 2/9 3 = 1/18 .
1/9 2/9 1/9 0 7/9
Como en este ejemplo existe A−1 podemos armar que para
uales-
quiera a, b, c ∈ R, el sistema
x + 3y = a
−2y + 4z = b
−x + y + z = c
3
− 54 − 53 4
a) 5
) 5
− 45 3
5
4
5
3
5
3
− 54 3 4
−
b) 5 d) 5 5
− 45 − 53 4
5
3
5
1 3
2. Sea M la matriz . En
uentre si existen todas las C
-1 -3
tales que:
1 -1
M C=
-1 1
1 0
3. La transforma
in lineal representada por la matriz es
0 -1
geomtri
amente:
un enfoque geométri
o℄
100 3. Transforma
iones lineales y matri
es
f (x, y, z) = (x + y, y − z, z)
y sea B la matriz aso
iada a
g(x, y, z) = (x − z, y − z, y + z),
en
uentre:
3x + 2y − z = 0
x+y+z =1
−x − y + 2z = 5,
en
uentre:
un enfoque geométri
o℄
102 3. Transforma
iones lineales y matri
es
id : Rn −→ Rn
es In .
b) Si f es una transforma
ión lineal invertible, enton
es la
matriz aso
iada a su inversa, es la inversa de la matriz de
f, es de
ir Mf −1 = (Mf )−1 .
12. Demostrar que las matri
es de la forma
a −b
b a
onmutan?
14. Las siguientes proposi
iones son todas falsas, justique
ada una
on un
ontraejemplo:
(A + B)(A − B) = A2 − B 2 .
(AB)−1 = A−1 B −1 .
un enfoque geométri
o℄
104 3. Transforma
iones lineales y matri
es
n
2 −1 n+1 −n
b) 1 0
=
n −n − 1
;
n
1 a 1 na
) 0 1
=
0 1
;
n n
a nan−1 b
a b
d) = ;
0 b 0 bn
n
−r 2 /4 (n + 1)r n −(n/2)r n+1
r 1
e) = n .
1 0 2 2nr n−1 −(n − 1)r n
g(X) = f (X) + P,
se di
e que es unatransforma
ión afín de Rn en Rm . También de-
imos que f es la transforma
ión lineal aso
iada a la transfor-
ma
ión afín g . Esta deni
ión indi
a que las transforma
iones anes
se obtienen de las lineales al
omponer éstas
on un traslado (sumar
P ); equivalentemente, una transforma
ión afín es una transforma
ión
lineal seguida de un desplazamiento.
Las transforma
iones anes son exa
tamente aquellas fun
iones
g : Rn −→ Rm que a
ada re
ta L de Rn envían, en un punto de Rm ,
m
o bien en una re
ta de R . Más generalmente, podemos asegurar que
son aquellas que respetan la estru
tura de subespa
io afín: la imagen
de un subespa
io afín de Rn es un subespa
io afín de Rm .
Ejemplo 3.5.1. La transforma
ión
x 1/2 0 x
T1 =
y 0 1/2 y
es lineal y las apli
a
iones:
x 1/2 0 x 1/2
T2 = +
y 0 1/2 y 0
y
x 1/2 0 x 1/4
T3 = +
y 0 1/2 y 1/2
son transforma
iones anes, que al apli
arlas
onjuntamente en un
triángulo equilátero de lado 1, lo transforma en un triángulo dividido
en 4 triángulos pequeños iguales, pero sustraído el triángulo medio.
Podemos representar esto grá
amente así:
T3
T1
1 T2 1
un enfoque geométri
o℄
106 3. Transforma
iones lineales y matri
es
*
Wa
law Sierpi«ski, matemáti
o na
ido en Varsovia (Polonia), 1882-1969.
paso 1 paso 2
paso 3 paso 4
···
Este ejer
i
io es análogo al Ejemplo 3.5.1; en este
aso la gura
límite de la su
esión de guras obtenida, se llama la
urva de
Ko
h* y es también un ejemplo
lási
o de un fra
tal.
a ) f (x, y) = x2 + y 2 ; d ) f (x, y) = 2x + y + 2;
b ) f (x) = (3, x + π); e ) f (x, y) = (3x, 2y + 5);
) f (x) = 4; f ) f (x, y) = x2 + 1.
*
Niels Fabian Helge Von Ko
h, matemáti
o na
ido en Esto
olmo (Sue
ia), 1870
1924.
un enfoque geométri
o℄
108 3. Transforma
iones lineales y matri
es
PI2 : X · Y = Y · X ;
PI3 : (X + Y ) · Z = X · Z + Y · Z ;
se tiene (Falso/Verdadero):
d) ||sin(πt)||2 = 2/3
e) Si f es par y g impar enton
es f ⊥g
2. Si v = (2, −1, α, β) en
uentre el valor de α, β para que
(2, 0, 1, 3), (1, 2, 1, −1), v sea ortogonal en R4
on el produ
to
interno usual.
α = 1;β = −1
3. En Rn para X = (x1 , . . . , xn ) y Y = (y1 , . . . , xn ) se forma un
espa
io ve
torial eu
lideo
uando se dene produ
to interno <
X, Y > así (Falso/Verdadero):
a ) < X, Y >=
Pn
i=1 (xi − yi )
1. Sea A = (5, −2), B = (3, 1). En
ontrar el valor de: A·B, (2A)·B
y (A + B) · B .
a) (αA + B) · C = α(A · C) + B · C ;
b) A · A > 0, si A no es nulo;
) (A + B) · (A + B) = A · A + B · B + 2A · B ;
d) (A + B) · (A − B) = A · A − B · B .
(X · Y )2 ≤ (X · X)(Y · Y ),
*
Augustin Louis Cau
hy, matemáti
o fran
és, 1789-1857.
Hermann Amandus S
hwarz, matemáti
o na
ido en Hermsdorf, Silesia (hoy Polo-
nia), 1748-1921.
un enfoque geométri
o℄
112 4. Rn
omo espa
io ve
torial eu
lídeo
X 2 X X
xi y i ≤ xi 2 yi 2 .
√
kXk =: X · X.
kX − Y k ≤ kXk + kY k.
A·B
,
kAkkBk
tiene valor absoluto menor o igual que 1. Esto nos permite denir
esta expresión
omo cos θ y de
ir que θ es el ángulo entre A y B.
Más pre
isamente denimos el ángulo entre A y B, siendo A yB
ve
tores en Rn (A 6= 0 y B 6= 0),
omo el ángulo θ, tal que 0≤θ≤π
A·B
y cos θ = kAkkBk . La motiva
ión de la deni
ión dada está en los
asos
un enfoque geométri
o℄
114 4. Rn
omo espa
io ve
torial eu
lídeo
P P−
Q
Q
√
d(P, Q) = kP − Qk = k(2, −1, −4, 3, 1)k = 31.
A A A
A B
PAB = A
A B
PAB B PAB = ~0 B PAB B PAB = A
A A
W W
PAB B PAB B
PAB + W = A; (4.2)
W · B = 0. (4.3)
De 4.2
(PAB + W ) · B =A·B
=⇒ PAB · B + W · B =A·B
=⇒ PAB · B = A · B; usando 4.3
A·B
=⇒ α= , y reemplazando en 4.1 :
kBk2
A·B
PAB = B.
kBk2
Ejemplo 4.2.1. Siendo L la re
ta que
ontiene a (1, 1, 0) y (−1, 1, 1),
en
uentre el punto de L que es más
er
ano al origen y
al
ule la
distan
ia de L al origen.
un enfoque geométri
o℄
116 4. Rn
omo espa
io ve
torial eu
lídeo
B
W
O PW V
V P
y
x
A
W ·V
Hallemos PW V = kV k2
V = 35 (2, 0, −1) = ( 56 , 0, − 53 ), sea P el punto
nal del ve
tor PW V , es de
ir, PW V = P − B , luego tenemos que:
P = PW V + B = 65 , 0, − 35 + (−1, 1, 1) = 51 , 1, 25 ,
ax + by + cz = 0,
< vi , z >
a ) αi =
||vi ||
b ) ||w|| = ||z||
) α1 = α2 = 0; α3 =< v3 , z >
< vi , z >
d ) αi =
||vi ||2
e) ninguna
a ) (1, 1, 1)
) (1, 1, 0)
b ) (0, 1, 1) d ) (0, 1, 0)
un enfoque geométri
o℄
118 4. Rn
omo espa
io ve
torial eu
lídeo
a ) (A + B) · C = A · C + B · C ;
b ) Si A es perpendi
ular a B y a C , enton
es A es perpendi-
ular a B + C;
) Si A es perpendi
ular a B , enton
es B − C es perpendi
ular
a A;
d ) A · (B · C) = (A · B) · C .
2. Sean A, B y C ve
tores
ualesquiera de R3 , determinar la vera-
idad de
ada enun
iado, justi
ando su respuesta:
8. Demuestre que:
a ) kAk = 0 si y sólo si A = 0.
b ) Al multipli
ar un ve
tor por un es
alar, la norma se multi-
pli
a por el valor absoluto de ese es
alar.
un enfoque geométri
o℄
120 4. Rn
omo espa
io ve
torial eu
lídeo
d ) kA + Bk = kA − Bk impli
a que A · B = 0.
9. a) Basándose en la desigualdad de Cau
hy-S
hwarz demostrar
la desigualdad triangular
kA + Bk ≤ kAk + kBk,
¾
uándo se tiene la igualdad?, ¾por qué se llama triangular?
A·B
= cos θ.
kAkkBk
ax + by + cz = d,
donde d = P · N.
12. Demuestre que la distan
ia del punto P = (x0 , y0 , z0 ) al plano
ax + by + cz = d está dada por
13. El ángulo entre dos planos se mide por el ángulo entre su ve
tores
normales.
|d − e|
.
k(a, b, c)k
un enfoque geométri
o℄
122 4. Rn
omo espa
io ve
torial eu
lídeo
A × B =: (a2 b3 − a3 b2 , a3 b1 − a1 b3 , a1 b2 − a2 b1 ).
PC1: A · (A × B) = 0;
PC2: B · (A × B) = 0;
PC4: A × (B + C) = (A × B) + (A × C);
PC6: A × A = 0.
A×B
B×A
Figura 4.4: Regla de la mano dere
ha.
kA × Bk
= sen θ,
kAkkBk
fórmula que nos permite dedu
ir que el área del paralelogramo deter-
minado por A y B es pre
isamente kA × Bk.
Ejemplo 4.3.1. En
uentre el área del paralelogramo
on vérti
es
on-
se
utivos en P = (1, 1, 2), O = (0, 0, 0) y Q = (−1, 4, 0).
Solu
ión. En la gura se puede observar que el área del paralelogramo
es igual a kQkkP k sen θ y además kQkkP k sen θ = kQ × P k, √
por lo
tanto el área del paralelogramo es kQ × P k = k(−8, −2, 5)k = 93.
*
Joseph-Louis Lagrange, matemáti
o na
ido en Turin, Sardinia-Piedmont (hoy
Italia), 1736-1813.
un enfoque geométri
o℄
124 4. Rn
omo espa
io ve
torial eu
lídeo
P
h = kP k sen θ
Q
θ kQk
O y
x
1 0 0 0
0 1 0 0
B=
0 0 1 0
2 0 0 1
El produ
to BA se obtiene ha
iendo úni
amente lo siguiente:
a) (A × B) · A = (A × B) · B ;
b) (A × B) · C = (C × B) · A;
) (A + B) × C = A × C + B × C ;
d) ((A × B) · (A − B)) · C = 0;
e) (A + B) × (A − B) = −2A × B ;
f) Si A es perpendi
ular a B y a C , enton
es A es perpendi-
ular a B × C .
a) A × B; e) A × B + B × C;
b) B × A; f) A × C + B × C;
) A × C; g) (A × B) × C ;
d) (A + B) × C ; h) A × (B × C).
(A × B) × C = (A · C)B − (B · C)A.
|A · (B × C)|.
un enfoque geométri
o℄
126 4. Rn
omo espa
io ve
torial eu
lídeo
f (A) · f (B) = A · B.
Es fá
il ver (Ejer
i
io 5) que para que una transforma
ión lineal sea
ortogonal es ne
esario y su
iente que
onserve distan
ias.
f (A) · f (B) = r 2 A · B.
En general las similitudes son las fun
iones del espa
io en él mis-
mo que
onservan los ángulos entre segmentos, es de
ir, si g es una
similitud enton
es ∢P QR = ∢g(P )g(Q)g(R); y las isometrías son
las fun
iones que
onservan las distan
ias. De esta manera una trans-
forma
ión afín es similitud si su transforma
ión lineal aso
iada es de
semejanza, el fa
tor de es
ala de la transforma
ión lineal aso
iada es
el fa
tor de es
ala de la similitud. Cuando además r =1 se obtiene
una isometría. Diremos que un
onjunto A es autosimilar si existen
similitudes w1 , w2 , . . . , wn tales que
a) f (x, y) = (x + y, x − y + 1);
b) f (x, y) = (2x, y);
) f (x, y) = (6x + 1, 6x − 1);
d) f (x, y) = (2x + 3y − 1, 3x − 2y + 3).
2. SiA ⊆ Rn y f : Rn −→ Rn es una fun
ión se di
e que f preserva
A si f (A) = A.
a) En
uentre todas las transforma
iones anes que son iso-
metrías y que preservan el
uadrado
on vérti
es (−1, −1),
(−1, 1), (1, 1) y (1, −1).
b) En
uentre todas las transforma
iones anes que son isome-
trías y que preservan la N de vérti
es (−1, −1), (−1, 1),
(1, −1) y (1, 1).
3. El triángulo de Sierpi«ski se forma dividiendo un triángulo de
partida en
uatro por medio de los segmentos que unen los pun-
tos medios de los lados. De estos
uatro triángulos se elimina el
del
entro. Esta opera
ión se vuelve a apli
ar a los triángulos
que quedan, y así su
esivamente. El triángulo de Sierpi«ski es el
onjunto que se obtiene
omo límite del pro
eso.
un enfoque geométri
o℄
128 4. Rn
omo espa
io ve
torial eu
lídeo
a ) f es ortogonal;
b ) f
onserva distan
ias (es de
ir, para
ualesquier X, Y ∈ Rn ,
kf (X) − f (Y )k = kX − Y k);
) f
onserva distan
ias y
onserva ángulos (que
onserva án-
gulos signi
a que si θ es el ángulo entre X e Y , enton
es
el ángulo entre f (X) y f (Y ) también es θ ).
un enfoque geométri
o℄
130 4. Rn
omo espa
io ve
torial eu
lídeo
*
Nuestro enfoque es basado en APÓSTOL Tom, Vol. II,
apítulo 3.
132 5. La fun
ión determinante
a ) V0 (A, B, C) ∈ R.
b ) Si α ∈ R enton
es
αV0 (A, B, C) = V0 (αA, B, C) = V0 (A, αB, C) = V0 (A, B, αC).
) Si A, B, C, D ∈ R3 enton es:
d ) Si A = B , o, B = C , o, A = C enton
es V0 (A, B, C) = 0.
e ) V0 (A, B, C) = −V0 (B, A, C) = V0 (B, C, A) =
−V0 (A, C, B) = V0 (C, A, B) = −V0 (C, B, A).
f ) V0 (A, B, C) = V0 (A + B, B, C) = V0 (A, B + A, C)
= V0 (A, B, C + B) = V0 (A, B + C, C)
= V0 (A + C, B, C) = V0 (A, B, C + A).
g ) V0 (E1 , E2 , E3 ) = 1.
5. Dibuje A y B, dos ve
tores de R2 .
a) Muestre grá
amente que el área del paralelogramo deter-
minado por 2A y B es el doble del área
orrespondiente al
paralelogramo determinado por A y B.
b) Muestre grá
amente que el área del paralelogramo deter-
minado por A y B + A, es la misma del paralelogramo
determinado por A y B.
un enfoque geométri
o℄
134 5. La fun
ión determinante
det : Rn × Rn × . . . × Rn −→ R
(A1↓, A2↓, . . . , An↓) det(A1↓, A2↓, . . . , An↓).
Este axioma por sí solo tiene mu
has impli
a
iones. Su signi
ado
omprende dos aspe
tos:
Demostra ión.
El siguiente axioma tiene que ver
on la orienta
ión que llevan los
e
ve
tores y está inspirado en el Ejer
i
io 4 ) de la se
ión anterior:
uando dos de los ve
tores se inter
ambian el determinante
ambia de
signo.
Proposi
ión 10. Si en una matriz, dos
olumnas tienen iguales va-
lores enton
es su determinante es nulo.
un enfoque geométri
o℄
136 5. La fun
ión determinante
Demostra
ión. Si A es una matriz que tiene las
olumnas iyj iguales
enton
es al inter
ambiar las
olumnas iyj se obtiene la misma matriz
A. Por la propiedad de alternan
ia:
det(A) = − det(A)
Proposi
ión 11. Si a una
olumna se le suma otra multipli
ada por
un es
alar el determinante no
ambia.
det(A) = det(A′ ).
enton es:
a11 0 0
A = a21 a22 0
a31 a32 a33
un enfoque geométri
o℄
138 5. La fun
ión determinante
−1 2 3 0
2 −2 1 −3
A= .
3 0 4 2
0 1 −1 1
Solu
ión. Mediante opera
iones entre las, tenemos que:
−1 2 3 0 −1 2 3 0
2 −2 1 −3 2f1 +f2 0 2 7 −3 (−1/2)f2 +f4
3
0 4 2
= 0 6 13
2
=
3f1 +f3 −3f2 +f3
0 1 −1 1 0 1 −1 1
−1 2 3 0 −1 2 3 0
0 2 7 −3 (−9/16)f3 +f4 0 2 7 −3
= − 59.
0 0 −8 11
= 0 0 −8
11
0 0 −9 5 0 0 0 − 59
2 2 16
un enfoque geométri
o℄
140 5. La fun
ión determinante
3 −2 1 1 −2 3
c1 ↔c3 2c1 +c2
−1 1 5 = 5
1 −1 =
4 −3c1 +c3
4 0 −3 −3 0
1 0 0 111 c2 1 0 0 16c +c
2 3
− 5 11 −16 = − 11 5 1 −16 =
−3 −6 13 −3 − 6 13
11
1 0 0
−11 5 1 0 = − 47.
−3 − 6 47
11 11
f : Rn × Rn × . . . × Rn −→ R
que
umple los axiomas AD1 y AD2, el valor de f en una matriz dada
puede ser
al
ulado por triangulariza
ión, una vez se
onoz
a f (In ).
Proposi
ión 16. La fun
ión determinante es la úni
a que
umple las
propiedades AD1, AD2 y AD3.
a) detA =0
b) det(A − λIn ) = 0
) det(A − A
−1 ) = 0
un enfoque geométri
o℄
142 5. La fun
ión determinante
e ) f (A) = b − cd.
2. Cal
ule por triangulariza
ión los determinantes de las siguientes
matri
es:
a c
a) A = b d
;
1 2 −1
b) A = 0 1 1 ;
−2 1 0
0 2 1 0
−2 1 −1 2
) A = .
1 1 0 −1
2 0 1 1
f : Rn × Rn × . . . × Rn −→ R
(A1↓, A2↓, . . . , An↓) f (A1↓, A2↓, . . . , An↓)
f : Rn × Rn × . . . × Rn −→ R
(A1↓, A2↓, . . . , An↓) f (A1↓, A2↓, . . . , An↓)
f : Rn × Rn × . . . × Rn −→ R
denida por
un enfoque geométri
o℄
144 5. La fun
ión determinante
det(A−1 ) = (det(A))−1 .
b) Dedu
ir que:
det(At ) = det(A);
re
uérdese que At denota la transpuesta de A, es de
ir,
la matriz que se obtiene de A inter
ambiando las por
o-
lumnas y, por tanto, todas las propiedades
on respe
to a
las
olumnas son válidas
on respe
to a las las.
AX↓= B↓
equivalente a
o abreviadamente X
xi Ai↓= B↓;
enton
es,
X
det(A1↓, . . . , B↓ , . . . , An↓) = det(A1↓, . . . , xi Ai↓, . . . , An↓)
col.j col.j
X
= xi det(A1↓, . . . , Ai↓, . . . , An↓)
col.j
= xj det(A1↓, . . . , Aj ↓, . . . , An↓)
col.j
= xj det(A).
*
Gabriel Cramer, matemáti
o suizo, 1704-1752.
un enfoque geométri
o℄
146 5. La fun
ión determinante
det(A1↓, . . . , B↓ , . . . , An↓) 6= 0
col.j
det(A1↓, . . . , B↓ , . . . , An↓) = 0
col.j
x + 3y = 1
−2y + 4z = 3
−x + y + z = 0.
1 3 0
Solu
ión. La matriz aso
iada al sistema es A = 0 −2 4 .
−1 1 1
Cal
ulemos |A|:
1 3 0 1 3 0 1 3 0
f1 +f3 2f2 +f3
|A| = 0 −2 4 0 −2 4 0 −2 4 = −18.
−1 1 1
= 0
=
4 1 0 0 9
Análogamente se obtiene
1 1 0 1 3 1
|A(2) | = 0 3 4 = −1 (3)
y |A | = 0 −2 3
= −14
−1 0 1 −1 1 0
−15 5 −1 1 −14 7
x1 = = ; x2 = = ; x3 = = .
−18 6 −18 18 −18 9
un enfoque geométri
o℄
148 5. La fun
ión determinante
a ) 3x + y = 2 b ) y − 2z + 3 = 0
x − 2y = 1; z−x−y =2
z − x = 3.
2. Apli
ando la regla de Cramer, en
ada
aso de
idir para qué va-
lores de hyk
ada uno de los siguientes sistemas tienen solu
ión
úni
a:
a ) 3x + 2y = h b ) 3x + 2hy = h
) x − y + kz = 1
x − y = k; 2x + ky = 1; hy − kz = 2
kx + 2z = 3.
a ) det(Mf ) es no nulo.
b ) El sistema Mf X↓= B↓ tiene solu
ión úni
a para todo B↓
de Rn .
) f es biye
tiva.
d ) Nu f = {O}.
4. Sea f : Rn −→ Rn una transforma
ión lineal, un ve
tor X ∈ Rn
no nulo, se di
e que es un ve
tor propio de f si existe un es
alar
α tal que f (X) = αX , es de
ir, f al a
tuar sobre X lo multipli
a
por α, es
alar que se denomina valor propio de f .
√
a ) f (x, y) =√(x + y, x − y) tiene
omo valores propios α = 2
y α = − 2, ¾
uáles son los ve
tores propios
orrespondien-
tes?
AB = I,
n sistemas
on n e
ua
iones lineales
esto signi
a que se deben resolver
y n in
ógnitas
ada sistema,
omo ya se vio en el
apítulo 3. Todos
los n sistemas tienen la misma matriz aso
iada A. Si Bj es la j -ésima
olumna de B se debe tener:
ABj ↓= Ej ↓,
donde Ej es el ve
tor j -ésimo de la base
anóni
a. La solu
ión i-ésima
a la anterior e
ua
ión, es de
ir bij , por la regla de Cramer es:
AC t = det(A).In ; (5.3)
n
X
i 6= j ⇒ aij ckj = 0.
j=1
un enfoque geométri
o℄
150 5. La fun
ión determinante
t
1 −6 −4 −2 1 6 3 −12
A−1 = −3 1 −4 = 4 −1 4 .
−18 12 −4 −2 18 2 4 2
1. Cal
ule por
ofa
tores los determinantes de las siguientes matri-
es y las respe
tivas matri
es inversas si existen:
a b
a) c d
;
1 2 −1
b) 0 1 1 ;
−2 1 0
0 2 1 0
−2 1 −1 2
) .
1 1 0 −1
2 0 1 1
2. Demuestre que
un enfoque geométri
o℄
152 5. La fun
ión determinante
Una deni
ión muy popular aunque nada formal de los números
naturales di
e que son los números que nos sirven para
ontar
(1, 2, 3, 4, . . . ).De esta manera es
ribimos:
N := {1, 2, 3, ...}
Una pregunta natural que surge es: ¾
on esta representa
ión geomé-
tri
a de Q, se llena
ompletamente la re
ta?, es de
ir, ¾todo punto
de la re
ta respresenta un número ra
ional?
√
Enton
es el punto P respresenta al número 2 que no es un número
ra
ional. Los números que se pueden respresentar
on un punto sobre
la re
ta, pero que no pertene
en a Q, se llaman números irra
ionales
y se ne
esitan por ejemplo para una e
ua
ión
omo x2 − 3 = 0, tenga
solu
ión (di
ha e
ua
ión no tiene solu
ión en Q).
3. (x + y) + z = x + (y + z) y (x · y) · z = x · (y · z)
un enfoque geométri
o℄
156 Algo sobre indu
ión matemáti
a
7. x · (y + z) = x · y + x · z (Distributiva)
Sin embargo, en matemáti
as se debe dar una deni
ión formal y una
manera (muy usual) de ha
erlo es axiomáti
amente, es de
ir, estable-
iendo una lista de reglas que se a
eptan sin demostra
ión y que de-
nen el
on
epto. Así, para el
aso de los números naturales, el
onjunto
de los axiomas universalmente a
eptado es el
onjunto de axiomas pro-
puesto por el matemáti
o italiano Giusseppe Peano (1858-1932), que
usa sólo tres términos té
ni
os:
número natural ;
primer número natural ;
la fun
ión el siguiente de.
Notas
un enfoque geométri
o℄
158 Algo sobre indu
ión matemáti
a
a ) Z
ontiene a N; d ) R
ontiene a N;
b ) Q
ontiene a N y a Z; e ) R
ontiene a I;
) I
ontiene a N; f ) R
ontiene a Q.
un enfoque geométri
o℄
160 Algo sobre indu
ión matemáti
a
Prueba. Sea P (n) la proposi
ión: la suma de los
ubos de los primeros
n2 (n+1)2
n enteros positivos es igual a
4 .
12 (1+1)2
i) P (1)
laramente es verdadera ya que 13 = 4 = 1.
Tenemos que:
k2 (k + 1)2 hipótesis de
3 3 3 3
P (k) : 1 +2 +3 +. . .+k = indu
ión
4
y P (k + 1) es la igualdad:
k2 (k + 1)2
13 + 23 + 33 + . . . + k3 + (k + 1)3 = + (k + 1)3 ;
4
sumando las fra
iones algebrai
as del lado dere
ho de la igual-
dad, se obtiene
(k + 1)2 (k + 2)2
13 + 23 + 33 + . . . + k3 + (k + 1)3 = .
4
Luego P (k + 1) (la tesis) es verdadera y por el prin
ipio de
indu
ión matemáti
a se sigue que la suma de los
ubos de los
n2 (n + 1)2
primeros n enteros positivos es igual a .
4
Ejemplo A.2.2. Si n ∈ N y a es una
onstante mayor o igual que
2
ero enton
es (1 + a)n ≥ 1 + na + n(n−1)a
2 .
1(1−1)a2
i) P (1)
laramente es verdadera ya que 1+a ≥1+a+ 2 .
Tenemos que:
k(k − 1)a2
k+1
(1 + a) ≥ 1 + ka + (1 + a),
2
realizando el produ
to, tenemos,
k(k + 1)a2
(1 + a)k+1 ≥ 1 + (k + 1)a + .
2
Luego P (k + 1) (la tesis) es verdadera y por el prin
ipio de
indu
ión matemáti
a se sigue que la desigualdad es verdadera
para todo número natural n.
un enfoque geométri
o℄
162 Algo sobre indu
ión matemáti
a
(k + 1)2 + (k + 1) = k2 + 2k + 1 + k + 1
= (k2 + k) + 2(k + 1)
= 2m + 2(k + 1); usando la hipótesis
= 2(m + k + 1)
Ejer i ios
i) 1 + 2n < 3n
on n > 1;
j) n < 2n .
5. Si b1 , b2 , b3 , · · · , bn y r son números reales demostrar por
indu
ión que:
a) P1 es laramente verdadera.
un enfoque geométri
o℄
164 Algo sobre indu
ión matemáti
a
11. El famoso rompe
abezas
ono
ido
omo las Torres de Hanoi,
onsta de un número nito de dis
os de diferentes diámetros,
insertables en tres varillas (en la Figura A.6 se muestra el
aso de
uatro dis
os). Los dis
os se en
uentran insertados en una varilla,
dispuestos de mayor a menor; el propósito del rompe
abezas es
trasladar todos los dis
os desde la varilla en que se en
uentran
hasta otra distinta, moviendo los dis
os de uno en uno de tal
manera que en ningún momento, un dis
o quede des
ansando
sobre otro de diámetro menor. Demuestre por indu
ión sobre
n, que para un rompe
abezas
on n dis
os, el menor número de
movimientos para resolverlo es 2n − 1.
a) b) c)
Cuadrado de lado 4 con Triminó Recubrimiento con
un extremo perdido triminós
Figura A.7
un enfoque geométri
o℄
166 Algo sobre indu
ión matemáti
a
su esivamente.
1, 3, 7, 15.
En realidad, podemos armar que toda deni
ión re
ursiva al n y
al
abo lo que siempre dene es una su
esión en un determinado
onjunto X, es de
ir una fun
ión f de dominio N y
odominio X ; así
por ejemplo las poten
ias de una base ja a se pueden obtener
on la
fun
ión f : N −→ R denida por f (1) =: a y f (n) =: f (n − 1)a para
n ≥ 2.
S0 = 0 Sn = Sn−1 + 2n + 1
demuestre por indu
ión que Sn = n 2
2. Se dene re
ursivamente la su
esión Sn así:
S0 = 1 Sn = Sn−1 + 2n − 1
demuestre por indu
ión que Sn = (n + 1)2
I. an = n!
II. an = n2 ;
III. an = n(n − 1)/2;
IV. an = 1 + x + x2 + . . . + xn−1 , ∀n ≥ 1;
V. an = 1 + 1!1 + 2!1 + . . . + n!
1
;
a)
, , ,
, , ···
un enfoque geométri
o℄
168 Algo sobre indu
ión matemáti
a
b)
, , ,
, , ···
5. Denir re
ursivamente la su
esión: 1, 1, 2, 3, 5, 8, . . . (su
esión
de Fibona
i).
a ) (ab)n = an bn ;
b ) an am = an+m ;
) 2n < n! para n > 3.
7. Se dene Sn re
ursivamente así:
S1 = 2; Sn+1 = Sn + n + 1,
S0 = 1; Sn+1 = xSn + 1,
demostrar que Sn = 1 + x + x2 + x3 + · · · + xn , ∀n ≥ 1.
9. Demostrar que si x0 = 0, x1 = 1 y xn+2 = xn+1 + 2xn , enton
es
para todo n se tiene:
1 n
xn = (2 − (−1)n ).
3
xn = 2n − (−1)n−1 .
1
X n+1
X n
X
ai = a1 ; ai = ai + an+1 ; ∀n ≥ 1.
i=1 i=1 i=1
Notas
4
X 4
X 4
X 3
X
i2 = p2 = k2 = (j + 1)2 = 1 + 22 + 32 + 42 = 30.
i=1 p=1 k=1 j=0
q
X
ai = ap + . . . + aq ; p ≤ q.
i=p
Por ejemplo:
10
X
iki = 3k3 + 4k4 + . . . + 10k10 .
i=3
n n n
bi ;
P P P
i. (ai + bi ) = ai +
i=1 i=1 i=1
n n
ai ;
P P
ii. kai = k
i=1 i=1
un enfoque geométri
o℄
170 Algo sobre indu
ión matemáti
a
n
k = nk ;
P
iii.
i=1
n
(Propiedad Teles
ópi
a);
P
iv. (ai − ai−1 ) = an − a0
i=1
n p n
(siempre que 1 ≤ p < n);
P P P
v. ai = ai + ai
i=1 i=1 i=p+1
!
m
n P n m
bj .
P P P
vi. a i bj = ai
i=1 j=1 i=1 j=1
n xn − y n
xn−i y i−1
P
Ejemplo A.4.1. El polinomio es igual a para
i=1 x−y
todo n ∈ N. Es de
ir:
n
X xn − y n
xn−i y i−1 = .
x−y
i=1
n xn − y n
xn−i y i−1 =
P
Prueba. Sea Pn la proposi
ión, .
i=1 x−y
1
X x1 − y 1
x1−i y i−1 = x0 y 0 = = 1.
x−y
i=1
k
X xk − y k
xk−i y i−1 = (hipótesis de indu
ión matemáti
a)
x−y
i=1
k+1
X xk+1 − y k+1
xk+1−i y i−1 = (tesis de indu
ión matemáti
a).
x−y
i=1
k
X
k+1 k
x = xy + x(x − y) xk−i y i−1 ;
i=1
k
X
xk+1 − y k+1 = xy k − y k+1 + x(x − y) xk−i y i−1 ;
i=1
fa torizando tenemos:
k
X
xk+1 − y k+1 = y k (x − y) + x(x − y) xk−i y i−1 ;
i=1
k+1
X
k+1 k+1
x −y = (x − y) xk+1−i y i−1 ;
i=1
1
multipli
ando por a ambos lados tenemos:
x−y
k+1
X xk+1 − y k+1
xk+1−i y i−1 = .
x−y
i=1
un enfoque geométri
o℄
172 Algo sobre indu
ión matemáti
a
Así
omo existe una nota
ión abreviada para sumas de varios suman-
dos, existe también una nota
ión abreviada para produ
tos de varios
Q
fa
tores usando el símbolo . De esta manera, un produ
to de la
forma: a1 a2 · · · an se simboliza por:
n
Y
ai
i=1
5
a)
P
(4j − 1)
j=0
k
3 P
b)
P
(3j − 1)
k=1 j=1
i
3 P
)
Q
2k
i=1 k=1
n
5i = 25 n(n+1)
P
2. Demuestre por indu
ión matemáti
a que
i=1
6 5 i
3 Q
i2 ;
P P P
a)
) (3i + 1); e) k;
i=1 i=2 i=1 k=1
4 4 i
3 P
(−1)i+1 i2 ;
P Q Q
b) d) (2i + 1); f) k.
i=1 i=1 i=1 k=1
n
P
2. Dado por
ono
ido el valor de i y utilizando las propiedades
i=1
de la sumatoria en
ontrar:
b) 2 + 8 + 14 + . . . + (6n − 4).
) La suma de los n primeros números de la su
esión
3, 8, 13, . . .
P
4. Demostrar por indu
ión las propiedades de .
n n n
i2 ; i3 ;
P P Q
a) b)
) i.
i=1 i=1 i=1
n
xi ;
P
a)
i=1
n
P 1
b)
i(i+1) ( Sugeren
ia: use la Propiedad Teles
ópi
a).
i=1
k n n
(1 − 1i ); 1
Q Q
b)
) (1 − ).
Q
a) i; i2
i=1 i=2 i=2
un enfoque geométri
o℄
174 Algo sobre indu
ión matemáti
a
n n!
= .
k k!(n − k)!
un enfoque geométri
o℄
176 Algo sobre indu
ión matemáti
a
4
X
4 4 4
4−k k 3 1 4 2 2 4 1 3 4 0 4
x4 y 0 +
k x y = 0 1 x y + 2 x y + 3 x y + 4 x y
k=0
= x4 + 4x3 y + 6x2 y 2 + 4xy 3 + y 4 .
7 7 k
1 X 7 7−k 1
2x + = (2x) ,
3x k 3x
k=0
a ) y k+1 + y k
b ) y k+1 + y k−1 + 1
k+1
) y 2k + y y
n
n2 (n+1)2
i3 =
P
2. Demostrar que: .
4
i=1
10 50 20
a) ; b) ;
) .
0 1 3
un enfoque geométri
o℄
178 Algo sobre indu
ión matemáti
a
4. Demostrar:
n n n n
a) = = 1; b) = .
n 0 k n−k
n
X n
5. Demuestre que: = 2n . (Sugeren
ia: expanda (1 + 1)n ).
i
i=0
n
X
i n
6. Expandiendo (1 + (−1))n , demuestre que: (−1) = 0.
i
i=0
n n n n n n
+ + + ... y + + + ...
0 2 4 1 3 5
n r n n−k
= .
r k k r−k
r r+1 n n+1
9. Pruebe que: + + ... + = .
r r r r+1
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
. . . . .
. . . . .
. . . . .
n n n+1
+ = ,
k−1 k k
*
Blaise Pas
al, lósofo, físi
o y matemáti
o fran
és, 1623-1662.
**
Matemáti
o italiano (1499-1557), su verdadero nombre era Ni
olá Fontana.
Tartaglia era un sobrenombre que signi
a tartamudo.
un enfoque geométri
o℄
180 Algo sobre indu
ión matemáti
a
1 a ) 7 − 4i; b ) 2 − 2i; d) 42
29 − 40
29 i; f ) −i.
67;
) − 25 + 25 i; e )
1 32
1;
π √
e a) 3e 2 i ; d) 2 2e 4 i ;
7π
1
√ sen α
b) 13e123,69i ; e) 2(1 + cos α)ei arctan( 1+cos α ) ;
p
π
) e 4 i ; f) e−αi .
√ √ √
2 a) 2
2
, 2
2 ;
) − 3 , −3 3 ; e) (0, −4);
√ √2 2
b) (−1, 3); d) − 3 1
2 ,2 .
4 a ) − 23 15
29 + 29 i; b ) − 45 + 4i ;
) − 43 − 4i .
5
182 Respuestas a los ejer
i
ios
i 1
i
a) b) )
2i
1 π/3
−1
2
d) e) f)
a ) z1 = e 4 i , z2 = e 4 i ;
) z1 = 2e 6 i , z2 = 2e
3π 7π 5π 11π
i
6 6 .
π
b ) z1 = 2e 6 i , z2 = 2e 6 i ;
7π
√ √
7 a ) z1 = 12 + 23 i, z2 = −1, z3 = 21 − 23 i;
b ) z1 = 0, 988 + 0, 157i, z2 = 0, 157 + 0, 988i,
z3 = −0, 89 + 0, 45i, z4 = −0, 71 − 0, 71i,
z5 = 0, 45 − 0, 89i;
√ √ √ √
) z1 = 3 1
2 + 2 i, z2 = − 3 1
2 + 2 i, z3 = 3 1
2 − 2 i, z4 = − 3 1
2 − 2 i.
1 a ) x1 = 67 41 3
50 , x2 = − 25 , x3 = − 5 ;
b ) x1 = 0, x2 = 39 11
4 , x3 = 4 ;
) x1 = 34 37 11
3 , x2 = − 6 , x3 = 3 ;
d) Tiene innitas solu
iones: S= −1, t+5
2 ,t |t∈R ;
7 a + b − c = 0.
9 a ) a2 6= b2 6= 0; b ) a 2 = b2 y bc = ad.
2 P (x) = x2 − 5x + 3.
2 (2, −6).
3 (x2 − x1 , y2 − y1 ).
32
αA − βB = − 13
4 A + B = (8, −1); αA + βB = 2 ,2 ; 2 , −4 .
A + B = (0, 1, 4); αA + βB = − 35 , 16
3 , 3 ; αA − βB =
7 20
5 3 , − 3 , −1 .
un enfoque geométri
o℄
184 Respuestas a los ejer
i
ios
1 2
7 α= 11 ; β = 11 .
13 11
8
3 , −1, 0 y 3 , 0, 1 .
1 (1, 1, 0); (1, 3, −2); (2, 2, 0); (−1, −3, 2); (4, 7, −3) (hay
innitas posibilidades de respuesta).
2 No.
10 4x − 3y − 10z = 0.
11 4x − 3y − 10z = −13.
45 70 3
13
23 , 23 , − 23 .
9 11 3
14
5, 5 , 5 .
− 51 , 35 , 1 .
15 El sentido de la re
ta es
1 a) {(x, y, z) | 2x + y − z = 0}.
b) {(x, y, z) | 2x + y − z = 5}.
un enfoque geométri
o℄
186 Respuestas a los ejer
i
ios
4 f transforma la re ta en un punto.
2 a) b)
) d)
1 -1 2
-1 -1
4
-2
x 2x + y x −x
3 a) f = ;
) f = ;
y y y −y
x 2x + 3y x 2y
b) f y = −x
; d ) f y = 2x .
8 a)
x
!
x
4 a ) f : R −→ R
2 3
denida por f = 3x + y ;
y
y
x
!
3x − z
b ) f : R3 −→ R2 denida por f y = ;
x − y + 3z
z
x x + 3y − z
! !
) f : R −→ R
3 3
denida por f y = 5x + y + 2z ;
z 4x + z
x
!
−x + y + z
d ) f : R −→ R
3 2
denida por f y = ;
2x + y + 4z
z
x
!
e ) f : R −→ R3 denida por f (x) = 4x ;
0
un enfoque geométri
o℄
188 Respuestas a los ejer
i
ios
x
!
f ) f : R −→ R
3
denida por f y = −x + y + z .
z
x y
5 a) f y
=
x
;
− 53 x + 54 y
x
b) f y
= 4 3 ;
5x + 5y
!
1−a2 2a
x x + y
) f = 1+a2 1+a2
2 .
y 2a
x + a −1
y
1+a2 1+a2
5 a − b + c = 0.
6 a ) Nu(f ) = {(0, 0)}; Im(f ) = {(x, y, z) ∈ R3 | −x + z = 0},
dim Nu(f ) = 0 y dim Im(f ) = 2.
b ) Nu(f ) = 1 10
3 t, 3 t, t | t ∈ R ; Im(f ) = R ,
2
8 {(0, t, 0) | t ∈ R}.
1 a) x = 4; y = −1.
x, y que
umplan las igualdades.
b) No existen valores
−1 −5 −4
2 a) BB − 4A + 2B = 0 −2 0
0 4 −2
0 2 3
b) 2AA − 3AB + BA = 0 3 0 .
0 −2 −1
√ √
3 {x | x < 4 − 22 o x > 4 + 22}
4 a=d y c = −b
(−5t − 2)/3 (3 − 5s)/3
!
14 Todas las matri
es de la forma (1 + t)/3 s/3 ;
t s
t, s ∈ R.
0 1 0 2
15 d) A = y B = ;
0 0 0 0
0 1 0 2 0 3
e) A = , B = y C = .
0 0 0 0 0 0
−1 0 1/2 −1 −1 1
6 A = ; B = ;
−1 1/2 −1 2
−1 0 −1/2 1
(AB)−1 = ; A−1 B −1 = .
−2 1/2 1/2 0
1 −1 1
17 a) A
−1 = −1 5/3 −4/3 ; b) {(4, −5, 2)}.
0 1/3 1/3
1 3 2
8 2 2 5/2 .
−1 −1/3 −2/3
un enfoque geométri
o℄
190 Respuestas a los ejer
i
ios
x 3/4 −1/4 x 2
1 T = +
y 1/4 1/4 y 1
x x
5 a) g(x) = −x+1; b) Una transforma
ión afín es g = ;
y 2
x 3 + 2y + 1
) g = .
y x+1
1
x 0 x
3 T1 = 3 ;
y 0 31 y
1 1
1
x 3 cos 60 − 3 sen 60
x
T2 = 1 1 + 3 ;
y 3 sen 60 3 cos 60 y 0
1 1
1
x 3 cos(−60) − 3 sen(−60)
x
T3 = 1 1 + √2
3 ;
y sen(−60) cos(−60) y
13 3 2 6
x 0 x
T4 = 3
1 + 3 .
y 0 3 y 0
√ √
3 k(1, 3)k = 10 √, k(1, −3, 0)k = √ 10,
k(1, 1, 2)k = 6, k(1, 2, 1, 2)k = 10.
√ √
2 15
4 k= 15 o k = − 2 1515 .
√
− 70
5 a) cos θ = 14 .
√
b) PAB = (−1, 2, 0), kPAB k = 5.
√
9 18 30
D = 3 29145 .
) P = − 29 , 29 , 29 ,
√
P = 52 , 1, 23 , D = 262 .
d)
√
P = 43 , 65 , 76 , D = 766.
e)
√ √ √ √
f) A△ = 3 2 5 y P△ = 14 + 5 + 29.
6 a ) cos θ = 14
15
√
b ) PAB = 28 14 14 14 14 15
15 , − 15 , 5 , 15 , kPAB k = 15 .
√
) P = 3 3 58
2 , −1, 3, 2 , D= 2 .
√
d) P = 3 5
D = 26 .
2 , −1, 2 , 2 ,
√
e) P = 18 5 19 9
D = 277.
7 , −7, 7 , 7 ,
√ √ √
f ) A△ = 29
2 y P△ = 2 15 + 2.
2 a) Verdadero, b) Verdadero,
) Falso, d) Falso.
√
13 b) {(x, y, z) | − 3y + z = 0}.
√
2
7
2 .
√
59
3 A△ = 2 y la e
ua
ión del plano 3x + y − 7z = −2.
un enfoque geométri
o℄
192 Respuestas a los ejer
i
ios
√
Ve
tores propios
orrespondientes a − 2:
n o
t, 1−t√2 | t ∈ R .
b) Valores propios: 1 y 2;
Ve
tores propios
orrespondientes a 1: {(0, t) | t ∈ R}.
Ve
tores propios
orrespondientes a 2: {(t, t) | t ∈ R}.
1 ) es falsa.
n
Q
3 n! = i.
i=1
n
Q n
Q n
Q
5 a) (ai × bi ) = ai × bi ;
i=1 i=1 i=1
n n
kai = kn
Q Q
b) ai ;
i=1 i=1
n
k = kn ;
Q
)
i=1
n
Q ai an
d)
ai−1 = a0 (propiedad teles
ópi
a);
i=1
n
Q p
Q n
Q
e) ai = ai × ai donde p ∈ Z, tal que 1 ≤ p ≤ n;
i=1 i=1 i=p+1
n
p n
api ;
Q Q
f) ai =
i=1 i=1
m
n Q n m
am bnj .
Q Q Q
g) a i bj = i ×
i=1 i=1 i=1 j=1
un enfoque geométri
o℄
194 Respuestas a los ejer
i
ios
n2 ; ab ) n(3n − 1);
)
n(5n + 1)
.
2
6 a) n(n+1)(2n+1)
6 ; b) n2 (n+1)2
4 ;
) n!.
1 − xn+1 n
7 a) ;
b) .
1−x n+1
a ) n! kn ; 1 n+1
8 b) ;
) .
n 2n
n(n2 + 1)
9 .
2
1 a) 1; b) 50; ) 1140.
[2℄ T. Apostol. Cal
ulus, Vol.I y Vol II. Reverté-Bar
elona, 2a. ed.,
1974.
[9℄ A.I. Máltsev. Fundamentos de álgebra lineal. Mos
ú, 3a. ed. 1978.
[10℄ E. Nering. Linear Algebra and Matrix Theory. John Wiley, 6th.
edition, 1970.
[13℄ S. Strang. Álgebra lineal y sus apli
a
iones. Fondo Edu
ativo
Interameri
ano, 1982.
196 Bibliografía
Rafaello Bombelli, 22
re
tas
que
ontienen el origen, 57
trasladadas, 58
regla de Cramer, 135
representa
ión de
transforma
iones, 7479
similitudes, 118
sistema
de e
ua
iones lineales, 33
generador, 50
homogéneo, 39
subespa
io
an, 64
ve
torial, 63
suma de
omplejos, 24
sumatoria y produ
toria, 13
teorema
de la dimensión, 83
del binomio, 18
transforma
ión ortogonal, 118