Geometría Lineal

Geometra Lineal
Gerald Welters Dyhdalewicz

ndice general
Preludio 5
Qu es esto? 5
Lista de cosas pendientes (SOS) 7
Contacto 8
Parte 1. Espacios y aplicaciones anes 9
Captulo 1. Espacios anes 11
1.1. Espacios anes 11
1.2. Subespacios anes (o variedades lineales) 14
1.3. Coordenadas anes 19
1.4. Baricentros 26
Captulo 2. Aplicaciones anes 31
2.1. Aplicaciones anes y anidades 31
2.2. Ejemplos 34
2.3. Revisitando 1.3 & 1.4 38
2.4. Transporte de s-ea, puntos jos y s-ea invariantes 41
Parte 2. Espacios eucldeos 45
Captulo 3. Espacios vectoriales eucldeos 47
3.1. Producto escalar eucldeo 47
3.2. Normas 50
3.3. Ortogonalidad 51
Bibliografa 53
3
Preludio
Nada de lo aqu expuesto es necesario para iniciar el primer capitulo. Mihi ipsi
scripsi.
Qu es esto?
Dime y lo olvido,
ensame y lo recuerdo,
involcrame y lo aprendo.
Benjamin Franklin
Siguiendo el acertado consejo de Franklin, y dado que deseaba aprender a
manejar L
Y
X (interesante y muy recomendable editor WYSIWYM de T
E
X-L
A
T
E
X, a
pesar de ciertas molestias), as como estudiar Geometra Lineal (puesto que la haba
suspendido con un 48, siendo este mi primer y nico suspenso hasta la fecha;
podra estar bien que fuera adems el ltimo), decid matar dos pjaros de un
tiro transcribiendo los apuntes de la asignatura a partir de mis manuscritos y los
de Arnau Moro Lozano (cursos 2011-12 y 2010-11 respectivamente; los primeros
impartidos para esta materia [en la UB] en el nuevo marco educativo dado por el
EEES y su Proceso Bolonia, tengo entendido).
As pues, si este texto contuviere errores o erratas (tipogrcas, ortogrcas,
conceptuales o de cualquier otro tipo), imprecisiones varias o redaccin confusa,
edicin pedestre o desordenada, etc., y se hubiere de culpar, en consecuencia, a
alguien, ese seria yo: Marcos Salgado Corbilln. Yo asumo, digo, toda la responsa-
bilidad a este respecto, en tanto en cuanto lo he redactado por gusto (y a mi gusto)
e iniciativa propia lo mejor que he sabido, y, a la postre, en calidad de estudian-
te/principiante, tanto en lo que se reere a L
Y
X (y L
A
T
E
X y/o edicin [matemti-
ca] en general), como en lo referente a la materia que nos ocupa (de otro modo
no la hubiese suspendido). Si lo difundo, por tanto, es simplemente porque creo
que puede ser de utilidad a otras personas, si bien este socorro debe interpretarse
siempre como un dao colateral, ya que no era mi intencin (no la primigenia, al
menos).
Dicho esto, y si alguien creyese que puede hacerlo mejor (lo que no debera
ser difcil, pereza aparte) o, simplemente, tiene inters en ver las entraas de este
monstruo, cedo al dominio publico (siempre y cuando me lo permita Welters, el
dueo legitimo de estas notas) el archivo original en formato .lyx (fcil y elmente
exportable a .tex y .pdf)
1
; gesto que, considero, debera volverse costumbre, entre
esta clase de documentos (como viene promoviendo el movimiento OpenCour-
seWare): querer proteger la autora de este tipo de informacin (y el cmo se ha
procesado, que no siempre es sencillo en L
A
T
E
X) me parece absurdo, sin necesidad
de entrar en diatribas del estilo el conocimiento (y la matemtica en particular)
se crea/inventa/construye o se adquiere/descubre (y se redescubre [independien-
temente] una y otra vez)? y, por ende, preguntarse si tiene sentido hablar de la
1
Preferira esperar a completarlos, pero si a alguien le urge y me lo pide puedo adelantarselo.
5
6 PRELUDIO
autora del mismo
2
. Me parece absurdo, digo, ya que se trata de un conocimiento
que en ocasiones viene perdurando y repitindose, casi literalmente, desde muy
antiguo
3
, si bien, al menos en matemticas y de un tiempo a esta parte, los concep-
tos se reformulan en contextos ms amplios a medida que los avances lo permiten.
Teniendo todo esto presente, me da la impresin, seguramente ingenua, de
que lo nico? que se consigue con ese recelo y respeto hacia la nocin de autor
es que los mismos resultados y temarios se deban reescribir desde cero una y otra
vez por diferentes autores para elaborar sus propios (aunque esencialmente los
mismos) cursos (en lugar de, ms rpido y simple, ensamblar bloques de resulta-
dos
4
y cambiar la nomenclatura con ctrl+F & remplazar para luego empezar una
revisin/personalizacin/aclimatacin al contexto que se desee), malgastando?
su tiempo; un tiempo que podra invertirse mejor en investigacin, por ejemplo.
No estoy diciendo, pese a todo, que esto, por s mismo, sea algo negativo, ya
que esta experiencia me ha permitido profundizar en lo que quera, interiorizarlo,
as como valorar en la justa medida el gesto de Hunter S. Thompson, quien meca-
nografo palabra por palabra El Gran Gatsby y Adis a las armas para aprender de
los estilos de sus autores, los cuales admiraba, por lo cual lo hizo con gusto. Es el
abuso de esta actitud lo que me preocupa.
Pero sera mejor que deje estas cogitaciones para mis escritos personales y, co-
mo es rigor en estos casos, insista en un punto anterior: aunque no podre pagar
los incentivadores 2,56$ por cada correccin, error encontrado o sugerencia til
remitida, como hace el bueno de Knuth (y ciertamente lo hara con gusto si pudie-
ra), agradecera mucho que, de hallarlos, me los comunicaran. Todo sea por lograr
su (de Knuth, aunque no restrictivamente) ensoado paraso, en el cual los pro-
gramas deberan poder leerse junto a la chimenea, como las buenas novelas [...]
Me emociona expresar un software de tal forma que pueda gustarle a una perso-
na.(fuente), si bien no tengo muy claro si es del todo legitimo llamar programa a
un documento L
Y
X(L
A
T
E
X)
5
. Despus de todo, no solo de literatura vive el hombre.
A todo esto, aprovecho la ocasin para ofrecerme (esta vez cobrando, eso s)
como ghostwriter, si alguien pudiese estar interesado. De hecho, podra decirse en
2
Si alguien tuviese inters en que yo entrase en esta clase de diatribas y diese mi opinin y argu-
mentos al respecto, bastara redirigirle a: [en construccin, prximamente en mi blog: Sobre la bruma...]
3
Pongamos un ejemplo clsico: si dejamos a un lado las traducciones y las extravagancias, no creo
que este justicada la existencia de ms de mil ediciones diferentes de los Elementos de Euclides,
debidas ms bien, creo, a las limitaciones de los medios de difusin y divulgacin del conocimiento y
a una tradicin escolstica que forzaba a la exgesis en lugar de a la elaboracin de nuevos manuales
con diferentes estilos explicativos, preponderando as el signicante sobre el signicado (de ah la
queja de Hilbert, entre muchos otros coetneos suyos: uno debera ser capaz de decir siempre, en
lugar de puntos, lneas, rectas y planos; mesas, sillas y jarras de cerveza); por no hablar de quienes
se aprovechaban de la popularidad del magister para aadir material propio bajo su nombre, como
ocurra con los libros XIV y XV, por ejemplo; supongo que era una manera practica de dar a conocer
sus ideas.
Parafraseando al califa Omar, Si no contienen ms (ni mejor) que lo que hay en los Elementos,
son intiles, y no es necesario publicarlas; si algo ms contienen, son maliciosas (pues suplantan la
identidad de Euclides o tergiversan el original), y es necesario publicarlas bajo otro nombre.
Lo que no signica que el remake, el remix o el apropiacionismo en general, per se, deba ser necesa-
riamente ftil. Como suele decirse, con estas u otras palabras: se debe ser inel al original si se le quiere
ser el (a su signicado) y hacer as una buena adaptacin (desde Lutero hasta Marianne Lederer pa-
sando por Walter Benjamin, Octavio Paz, Foucault, Panero,... defendieron esta idea, cada uno con sus
respectivos argumentos)
4
Seria genial que existiese una tal base de resultados, cada uno de ellos con una lista de demos-
traciones asociadas, clasicadas segn el contexto y las herramientas utilizadas. Sera ese el futuro de
iniciativas como Principia Mathematica de Russell & Whitehead o Elementos de matemtica de
Bourbaki?
5
A las malas, sustityase software por teorema.
LISTA DE COSAS PENDIENTES (SOS) 7
cierto sentido que una n-sima razn (no podra [ni merecera la pena] revelarlas
todas) por la cual me he tomado la molestia de escribirlo era para engrosar mi
currculum, por ridiculo que parezca. La redaccin no sera (como tampoco lo es
esta) perfecta, obvio, pero puede servirle como base, al posible interesado. Ah lo
dejo.
PS: Es posible que, debido a la frustracin que me supuso suspender, haya
alargado en ciertas ocasiones (tal vez innecesariamente) las explicaciones (a me-
nudo mediante mltiples notas al pie y referencias cruzadas) en pos de esclarecer
cualquier duda o detalle a MI mente, puesto que deseaba que hasta una idiota co-
mo esa pudiese entenderlo incluso en la ms ofuscada de sus noches. As pues,
disculpen si est demasiado masticado; creo que es parte de mi estilo, de todos
modos.
Lo importante es entenderlo;
aprobar es un corolario
Jos Luis Palacios
Lista de cosas pendientes (SOS)
Que Welters, el autor original e indiscutible de lo que son esencialmente
estos apuntes, le d el visto bueno.
Aunque no me preocupa especialmente, al ceder el archivo original .lyx
este documento es vulnerable a posibles vandalismos y similares. Por su-
puesto que yo lo alojare en mi cuenta de Scribd, donde permanecer in-
corruptible, pero cualquiera podra descargarlo y boicotearlo (de manera
menos o ms evidente) y difundir as una versin corrupta. Si alguien cree
tener alguna solucin a este respecto, soy todo odos.
Solucionar los problemas con las referencias cruzadas: sobre ordenador no
hay demasiados problemas, dado que clicando sobre ellas te llevan al lu-
gar referenciado. Sin embargo, sobre papel, la lectura puede ser harto con-
fusa, dado que el numero se corresponde con la numeracin del entorno,
sin distinguirlos. Adems, aunque en la salida funcionan, en el documen-
to L
Y
X, dentro de las ecuaciones (que se correspondera con el texto escrito
entre dolares en L
A
T
E
X) aparece ??.
Otro inconveniente para una lectura sobre papel, si la impresin es en
blanco y negro, es que pueden confundirse las marcas rojas de nota al
pie con nmeros inherentes a la ecuacin.
etc.
Si se busca SOS (ctrl+F: SOS; distinguir maysculas, coincidir solo palabras com-
pletas), otros problemas menores sern explicados como comentarios L
Y
X o T
E
X
donde correspondan.
Anlogamente, indicare con INFO a los comentarios que crea convenientes
sobre cmo se ha redactado con L
A
T
E
X, DUDA a las tribulaciones sobre la materia
(que debern tender a 0 gracias a las consultas que pueda hacerle a Welters), PEN-
DIENTE a tareas inconclusas o que no s si merece la pena hacer (como podra ser
la homogeneizacin de la nomenclatura). Por otra parte, la mayora de las notas
L
Y
X que no tienen ninguna de esas etiquetas o ttulos son formulaciones al-
ternativas de lo mismo, sinnimos, reexpresiones equivalentes, explicitaciones,...;
basura que prefer conservar momicada, esencialmente.
8 PRELUDIO
Contacto
msalgaco9@alumnes.ub.edu
6
no s si por vicio o por virtud, estoy dotado de un espritu que
no me permite aprovechar felizmente en disciplina alguna si ca-
da precepto no se apoya en los antecedentes, siguiendo un orden
perpetuo y una cierta razn Dedekind
6
Los mensajes, por defecto, puede que vayan a correo no deseado (me pasaba con hotmail; vere-
mos que ocurre con el e-mail de la UB). Si no respondiese, puede probarse suerte tambin en mi blog,
Sobre la bruma..., o mi cuenta de Scribd, ambas bajo el alias Sekioz (de Niafre).
Parte 1
Espacios y aplicaciones anes
7
7
Se corresponde con el primer parcial.
Captulo 1
Espacios anes
1.1. Espacios anes
1
Denicin 1. Un espacio afn(ea) A de espacio director(ed) E sobre un cuerpo K
est formado por:
Un conjunto A ,= , cuyos elementos son los puntos del ea.
Un espacio vectorial(ev) E sobre un cuerpo K (o, abreviadamente, un K-
ev), cuyos elementos son los vectores del ed de A.
Una aplicacin
A A

E
(p, q)

pq
p
q
p
q
tal que
1. p A, la aplicacin
p
: A E, con
p
(x) =

px, es biyectiva.
2. p, q, r A,

pq +
qr =

pr (regla del paralelogramo).
Resumidamente, un K-ea o ea/K viene dado por la cuaterna (A, K, E, ), o, equi-
valentemente, por la terna (A, K, E) en (o con) la aplicacin .
De esta denicin se extraen fcilmente dos propiedades elementales:
Observacin 1. p, q A,

pq = 0 p = q
DEMOSTRACIN.
[]

pq =
hi p.
pp =
2
pp +
pp

pp = 0
[]
Supongamos que
pq = 0
Sabemos ya que
pp = 0
_

pq =

pp
1
p = q
2
Observacin 2. p, q A,

qp =
pq
DEMOSTRACIN.

pq +
qp =
2
pp =
1
0
Ejemplo 1. En R
2
consideramos los subconjuntos:
E = (x, y) R
2
[x + y = 0 = (1, 1), A = (x, y) R
2
[x + y = 2.
3
1
Cf.:
[R], 1.11.5 (pg. 2126)
[CL], IX.1IX.2 (pg. 168171)
2
En realidad nos basta con la inyectividad de
p
:
p
(q) =
p
(p) q = p
3
Quiero enfatizar que utilizare constantemente como abreviacin la barra vertical, |, como sinni-
mo de tal que, y no slo para este contexto, entre llaves.
11
12 1. ESPACIOS AFINES
E
A
Observamos que E es un R-ev, mientras que A es un R-ea de ed E en la apli-
cacin:
A A

E
_
(x
1
, y
1
) , (x
2
, y
2
)
_
(x
2
x
1
, y
2
y
1
)
En efecto, la imagen cae en E, (x
2
x
1
) + (y
2
y
1
) = (x
2
+ y
2
) (x
1
+ y
1
)
hi p.
=
2 2 = 0, y, adems, cumple las dos propiedades exigidas para que A sea un ea:
Dado p = (x
0
, y
0
) A, la aplicacin
A

p
E
q = (x, y)

pq = (x x
0
, y y
0
)
es biyectiva. Su inversa viene dada por: (z + x
0
, t + y
0
) (u, v)
Dados p = (x
1
, y
1
), q = (x
2
, y
2
), r = (x
3
, y
3
) A,
pq +
qr = (x
2
x
1
, y
2
y
1
) + (x
3
x
2
, y
3
y
2
) = (x
3
x
1
, y
3
y
1
) =

pr
Por un razonamiento anlogo, es fcil ver que:
Ejercicio. (GENERALIZACIN) Sea K un cuerpo, n Z
1
En K
n
= (x
1
, . . . , x
n
)[x
i
K, el conjunto A de las soluciones de un sistema
COMPATIBLE de ecuaciones lineales en x = (x
1
, . . . , x
n
) K
n
:
A = (x
1
, . . . , x
n
)[
n
i=1
a
j
i
x
i
= b
j
, j 1, . . . , m
es un K-ea de ed el conjunto E de las soluciones del sistema homogneo asociado:
E = (x
1
, . . . , x
n
)[
n
i=1
a
j
i
x
i
= 0, j 1, . . . , m
con la aplicacin:
A A

E
(x
/
, x
//
) x
//
x
/
Nota. En el caso particular en el que, i, j, a
j
i
= 0, b
j
= 0, tenemos que A =
K
n
, E = K
n
. Generalicemos ahora esta coincidencia:
Ejemplo 2. Sea E un K-ev. El conjunto A = E es un ea de ed E en la aplicacin
A A
(EE)
E
(u, v)

uv := v u
1.1. ESPACIOS AFINES 13
Nota. Se pone de maniesto la relevancia de este ejemplo, donde la nocin de ea
queda en cierto modo desactivada por la presencia de un punto distinguido (el
origen), y sobre el riesgo que encierra la coincidencia aqu del conjunto A de los
puntos con el conjunto E de los vectores.
Denicin 2. dim A := dim
K
E
Recta afn: ea de dimensin 1.
Plano afn: ea de dimensin 2.
Punto: ea de dimensin 0.
4
Denicin 3. El ea ordinario de dimn sobre un cuerpo K, A
n
K
, es el ea (A =
K
n
, K, E = K
n
, ), con (u, v) =

uv := v u. As
A
1
K
es la recta afn ordinaria sobre K
A
2
K
es el plano afn ordinario sobre K
Ejemplo 3.
5
Sean x, y, z, t A ea. Se tiene la equivalencia de las siguientes condi-
ciones:
1.

xy =

zt
2.

xz =

yt
3.

xt =

xy +
xz
DEMOSTRACIN. [1 2]
xz =

xy +
yz
hi p.
=

zt +
yz =

yz +
zt =

yt
[2 1] Anlogo.
[1, 2 3]
xt =

xy +
yt
hi p.
=

xy +
xz
[3 1]
xy =

xt
xz =

zx +
xt =

zt
Denicin 4. Cuando se dan estas igualdades, decimos que x, y, t, z son los vrti-
ces de un paralelogramo (de diagonales xt, yz).
Ejemplo 4.
6
Sean p
1
, . . . , p
n
; q
1
, . . . , q
n
dos sistemas de puntos del ea A. Se tiene:
n
i=1
p
i
q
i
=
n
i=1
p
i
q
f (i)
con f : 1, . . . , n 1, . . . , n una permutacin cualquiera del conjunto de ndi-
ces.
DEMOSTRACIN. Sea O A un punto arbitrario del ea. Tenemos:
_
_
n
i=1
p
i
q
i
=
n
i=1
_
p
i
O +
Oq
i
_
=
n
i=1
p
i
O +
n
i=1
Oq
i
n
i=1
p
i
q
f (i)
=
n
i=1
_
p
i
O +
Oq
f (i)
_
=
n
i=1
p
i
O +
n
i=1
Oq
f (i)
que, por la conmutatividad de la suma, coinciden.
7
4
Si bien es verdad que se gasta esta nomenclatura, hay un abuso de notacin implcito en este
ltimo caso, ya que:
dim A = 0 dim
K
E = 0 E = 0 E tiene un solo vector
1
A tiene un solo punto
Pero A = p ,= p, ie, A es un ea con un nico punto, pero no es, estrictamente hablando, un punto.
5
Cf. Ejercicio 1.5 de la lista de problemas.
6
Cf. Ejercicio 1.6 & 1.30 de la lista de problemas.
7
Se hace notar que en el asunto interviene algo ms que una simple cuestin de notacin. A saber,
que la suma de estos vectores no depende de qu punto p
i
se empareje con qu punto q
j
.
Denicin 5. (SUMA PUNTO+VECTOR)
La aplicacin inversa de (1) es: p + u u. As, x = p + u u =

px
8
Observamos que esto nos permite ahora redenir equivalentemente ea:
Denicin 6. (REVISITADA)
Un K-ea de ed E es un conjunto A y un K-ev E con una aplicacin
A E

/
A
(p, u) p + u
cumpliendo:
1. p A, la aplicacin
1
p
: E A, con
1
p
(u) = p + u, es biyectiva, pues
es la inversa de (1), que era biyectiva.
2. p A, u, v E, (p + u) + v = p + (u + v)
Hemos visto que la propiedad (1) resulta de la (1) original. Veamos que ocurre
lo mismo con (2):
DEMOSTRACIN. Sean dados p A, u, v E. Entonces:
x := p + u
5
u =

px
y := (p + u) + v = x + v v =

xy
_
u+v =

px +
xy =
2
py
5
y = p + (u+v)
Observacin 3. p A, p +0 = p, pues
pp = 0
COMENTARIO. En este momento Welters suele introducir la nocin de bari-
centro (Prop.16), en parte, entiendo, por las demandas propias de las clases de
laboratorio. Sin embargo, por cuestiones de orden y claridad, y dado que esta slo
aparecer incidentalmente (como ejemplo) en Def.13 antes de llegar a la seccin
que le correspondera, section 1.4, he decidido trasladarla all sin mayores repa-
ros.
1.2. Subespacios anes (o variedades lineales)
9
Denicin 7. Sea A un K-ea de ed E. Un subespacio afn (s-ea) de A es un sub-
conjunto de A de la forma B = p + F, donde p A, F E s-ev de E.
Nota. p + F := p + u : u F A
Proposicin 1. Con las notaciones anteriores:
1. B = p + F p B, luego el p de la denicin es intercambiable por cualquier
otro punto de B.
2. F =
xy : x, y, B, luego F est determinado unvocamente por B.

3. B es un ea de ed F con la aplicacin inducida =
[B
:
B B
A A

E
(x, y)

xy
8
Esto justica (o es coherente con) la denicin u =

px := x p
9
Cf.:
[R], 1.61.9 (pg. 2736)
[CL], IX.3IX.4 (pg. 171175)
[QR], 3.13 (pg. 108119)
1.2. SUBESPACIOS AFINES 15
DEMOSTRACIN.
1. [] A p = (p +0) (p + F) = B, ya que 0 F por ser F un s-ev.
[] p
/
B p
/
= p + u, con u F
Entonces: p
/
+ F = (p + u) + F = p + (u + F) = p + F = B
10
2. [] u F, u =

pq, con p B, q := (p + u) (p + F) = B
[] x, y B,
_
x := p + u, u F u =

px
y := p + v, v F v =

py
,

xy =

xp +
py =
px +
py = (u+v) F
Ejemplo 5. Para R, el conjunto B
=
_
(x, y) R
2
[x + y =
_
es un s-ea del
plano afn real ordinario A
2
R
, B
= (, 0) + F, con F = B
0
Ejercicio. (GENERALIZACIN) En K
n
, el conjunto B de las soluciones de un sistema
compatible de ecuaciones lineales es un s-ea de A
n
K
de ed el conjunto F de las
soluciones del sistema homogneo asociado.
11
Observacin 4. dimB dim A
DEMOSTRACIN. dimB = dim
k
F
A.L.
dim
k
E = dim A
Observacin 5. dim A < [dimB = dim A B = A]
DEMOSTRACIN. [] Trivial
[]
dim
k
E = dim A < por hipotesis
F E s-ev
dimB = dim A dim
k
F = dim
k
E
_
_
_
F = E B = p + F = p + E = A
Observacin 6. Los s-ea de dim0 de A son los simpletes p, con p A

12
DEMOSTRACIN. Si p A, p = p +0, con 0 E s-ev de dim0
Posicin relativa de dos s-ea (de un ea).
Notacin. Sea A un K-ea de ed E, B
i
= p
i
+ F
i
s-ea de A, i 1, 2
Proposicin 2. (INCLUSIN)
B
1
B
2
(a)
_
p
1
B
2
F
1
F
2
(b)
_

p
2
p
1
F
2
F
1
F
2
DEMOSTRACIN.
b)[] p
1
hi p.
B
2

p
2
..
(p
1
+ u) B
2
, con u F
2
5
F
2
(u) =

p
2
p
1
[] p
1
=
5
(p
2
+
p
2
p
1
)
p
2
p
1
F
2
(p
2
+ F
2
) = B
2
a)[] p
1
B
1
hip.
B
2

F
1
..
xy : x, y B
1

F
2
..
xy : x, y B
2
[] p
1
B
2
B
2
= p
1
+ F
2

F
2
F
1
p
1
+ F
1
= B
1

10
Si se quiere ser ms explicito:
p
/
+ F = p
/
+ v[v F = (p + u) + v[v F = p + (u + v)[v F = p + F = B
11
Cf. Ejem.1 y su generalizacin; son completamente anlogos.
12
Cf. footnote (4)
Proposicin 3. (CRITERIO DE INTERSECCIN NO VACA)
B
1
B
2
,=

p
1
p
2
(F
1
+ F
2
)
Nota. F
1
+ F
2
= u + v : u F
1
, v F
2
E s-ev.
Ntese tambin que
p
1
p
2
(F
1
+ F
2
)
p
1
p
2
(F
1
+ F
2
)
DEMOSTRACIN.
[] Sea x B
1
B
2
, de modo que x = p
i
+ u
i
, u
i
F
i
u
i
=

p
i
x, con
i 1, 2. Entonces:
p
1
p
2
=

p
1
x +
xp
2
=

p
1
x
p
2
x = (u
1
u
2
) (F
1
+ F
2
)
[] Por hiptesis, u
i
F
i
[
p
1
p
2
= u
1
+ u
2

p
2
= p
1
+
p
1
p
2
= p
1
+ (u
1
+ u
2
) = (p
1
+ u
1
) + u
2

B
2
[p
2
+ (u
2
)] = (p
1
+ u
1
) B
1
B
1
B
2
,=
Paralelismo.
Denicin 8. B
1
, B
2
son s-ea paralelos (B
1
| B
2
) ssi
13
F
1
F
2
o bien
14
F
2
F
1
15
Proposicin 4. B
1
| B
2
& B
1
B
2
,= B
1
B
2
o bien B
2
B
1
16
DEMOSTRACIN. [] Trivial
[] Por hiptesis, p B
1
B
2
B
i
= p + F
i
Tambin por hiptesis, F
i
F
j
, para algn i, j 1, 2, i ,= j
Por tanto, B
i
B
j

Observacin 7. B
1
B
2
= , B
1
| B
2
17
DEMOSTRACIN. (Por contraejemplo)
Sean p, q A, p ,= q, y B
1
= p, B
2
= q s-ea de A.
Entonces, en efecto, tenemos que B
1
B
2
= & F
1
= 0 = F
2

Sin embargo, existe un caso particular en el que sto s ocurre:
Denicin 9. Sea dim A = n N (nita). Un hiperplano de A es un s-ea H A
de dim(n 1). As, un hiperplano de...
...una recta afn es un punto.
...un plano afn es una recta.
...un ea de dim3 es un plano.
Proposicin 5. Sea H un hiperplano de un K-ea A de dimensin nita, y B A un s-ea.
Entonces: B H = B | H
DEMOSTRACIN. (Por contrareciproco)
Sea E el ed de A, dimE = n; F
H
el ed de H, dimF
H
= n 1; F
B
el ed de B.
Entonces: B H F
B
,
n1
F
H

n
E F
B
+ F
H
= E
As, por Prop.3, B H ,= , ya que cualquier vector formado por puntos de A
(y por ende, de sus s-ea) pertenece a E = F
B
+ F
H
18
, cf. Def.1
13
ssi=si y slo si
14
Disyuncin lgica: P Q = 0 P = 0 Q = 0, ie, admitimos el caso F
1
= F
2
15
Abreviada (o alternativamente), B
1
| B
2
F
i
F
j
, para algn i, j 1, 2, i ,= j
Tambin: B
1
| B
2
i, j 1, 2, i ,= j, tales que F
i
F
j
16
Tambin podra formularse como: Sean B
1
| B
2
. Entonces: B
1
B
2
,= B
1
B
2
o bien
B
2
B
1
, ie, dos s-ea paralelos se cortaran ssi uno de ellos est incluido en el otro.
Esto equivaldra a aadir, respecto de la versin demostrada, la hiptesis B
1
| B
2
en []. Pero dado
que esta hiptesis se obtiene trivialmente de Prop.2 y Def.8, uno puede juzgar que ambas son igual de
generales, dejndose al gusto del consumidor su formulacin.
17
ie, si B
1
B
2
= , no necesariamente(,) B
1
| B
2
18
Ntese que no es necesario exigir E ,= por ser E ev
1.2. SUBESPACIOS AFINES 17
Interseccin de s-ea.
Proposicin 6. Sea A un K-ea de ed E, B
i
iI
una familia de s-ea de A. Entonces:
B =
iI
B
i
,= B es un s-ea de A de ed F =
iI
F
i
, siendo F
i
el ed de B
i
i I
DEMOSTRACIN. Sea p B p B
i
, i I B
i
= p + F
i
, i I
Tenemos, x A,
x B i I, x B
i
i I,

px F
i

px F x (p + F)
Por tanto, B = p + F
De este modo, se reduce el calculo del s-ea interseccin al calculo del s-ev
interseccin.
Suma de dos s-ea.
Observacin 8. B
1
, B
2
A s-ea , B
1
B
2
A s-ea
DEMOSTRACIN. (Por contraejemplo y absurdo)
x
xR
es un s-ea de A
1
R
, pero x y = x, y R no es un s-ea de A
1
R
,
ya que entonces debera tenerse B = x, y = x + F = y + F F = 0,
xy,
yx,
pero
_
y +
xy
_
,
_
x +
yx
_
/ B
Por tanto, se ha de denir adecuadamente que entendemos por suma:
Proposicin 7. (DEFINICIN)
19
Sea A un K-ea de ed E, B
i
= p
i
+ F
i
s-ea de A, con p
i
A, F
i
E s-ev.
Entonces existe un (nico) s-ea B
0
de A mnimo entre todos los s-ea de A que con-
tienen a B
1
, B
2
(ie, B
0
contiene a B
1
, B
2
, y est contenido en cualquier s-ea B de A que
contenga a B
1
, B
2
; abreviadamente, B
1
, B
2
B
0
B A s-ea, B[B
1
, B
2
B).
Denotamos a este s-ea B
0
por B
1
B
2
, que denominaremos s-ea suma de B
1
, B
2
.
Se tiene, adems, que: B
1
B
2
= p
1
+
_
p
1
p
2
_
+ F
1
+ F
2
_
De este modo, se reduce el calculo del s-ea suma al calculo del s-ev suma.
DEMOSTRACIN. [] Escribamos B
0
:= p
1
+
_
p
1
p
2
_
+ F
1
+ F
2
_
, y veamos
que cumple las propiedades requeridas.
Sea B A s-ea, B = p + F, F E s-ev. Se tiene, por Prop.2:
B
1
B
B
2
B
_

_
p
1
B, F
1
F
p
2
B, F
2
F
p
1
B,

p
1
p
2
F, F
1
, F
2
F p
1

B,

p
1
p
2
_
, F
1
, F
2
F
A.L.
p
1
B,

p
1
p
2
_
+F
1
+F
2
F p
1
+
_
p
1
p
2
_
+ F
1
+ F
2
_
. .
B
0
B
[!] Obvio, por estar cada uno incluido en el otro, si B
/
0
, B
//
0
cumplen las propie-
dades requeridas.
Ejemplo 6. x y = x +
_
xy
_
+0 +0
_
= A
1
R
Nota. El abuso de notacin x y x y sera frecuente.
20
19
Para ser el a los apuntes originales habra que crear un nuevo entorno Prop/Def, pero por
cuestiones de claridad y sencillez he preferido denotarlo as. Digo tambin de claridad porque Welters
coment que algunos estudiantes invirtieron el orden de los trminos en los exmenes, ie, escribieron
Def/Prop. Sin embargo, basta concienciarse con el signicado de esta nomenclatura para apreciar la
incongruencia que ello conlleva, la importancia del orden: proposicin que nos conduce de manera
natural a una denicin. Es por ello que creo que el parntesis, como anidacin o matrioska, es ms
claro en esta idea.
Sea como fuere, esta notacin tampoco se gasta demasiado, creo: aparte de con Welters, slo la he
vuelto a encontrar aqu (ctrl+F:Proposicin-Denicin)
20
Cf. footnote (4)
Formulas de Grassman.
Proposicin 8. Si B
1
, B
2
son s-ea de un K-ea de dimensin nita, F
1
, F
2
sus ed respecti-
vos:
1. B
1
B
2
,= dim(B
1
B
2
) +dim(B
1
B
2
) = dimB
1
+dimB
2
2. B
1
B
2
= dim(B
1
B
2
) +dim(F
1
F
2
) = dimB
1
+dimB
2
+1
DEMOSTRACIN. Por Prop.3:
1.

p
1
p
2
_
+ F
1
+ F
2
= F
1
+ F
2
dim(B
1
B
2
) = dim(F
1
+ F
2
) =
=
A.L.
dimF
1
+dimF
2
dim(F
1
F
2
) = dimB
1
+dimB
2
dim(B
1
B
2
)
21
2.

p
1
p
2
_
+ F
1
+ F
2
=
p
1
p
2
_
(F
1
+ F
2
) dim(B
1
B
2
) = dim
_
p
1
p
2
__
+
dim(F
1
+ F
2
) =
A.L.
1 + dimF
1
+ dimF
2
dim(F
1
F
2
) = 1 + dimB
1
+
dimB
2
dim(F
1
F
2
)
22
Corolario 1. B A s-ea, dim A = n < , x A B B x =

dim(B x) = dimB+
$
$
$
$$X
0
dimx
$
$
$
$
$
$
$X
0
dim(F 0) +1 = dimB+1, con B = p + F,
x = x +0, cf. Obs.6.
Corolario 2. B A s-ea, dim A = n < , H A hiperplano tal que B H
5
B
H ,= dim(B H) = dimB +dimH dim(H B) =
5
dimB + (n 1) n =
dimB 1.
23
Generalizacin de la suma de dos s-ea.
Proposicin 9. (DEFINICIN) Sea (A, K, E) ea, ,= X A subsconjunto. Entonces
existe un (nico) mnimo s-ea de A que contiene a X: el s-ea generado por (o engendrado
en) el subconjunto no vaco X,
B
0
:=
BA s-ea
BX
B
DEMOSTRACIN. ,= X B
0
B
0
,=
6
B
0
es un s-ea. El ser el mnimo y
el nico es inherente a la denicin.
Ejemplo 7. Sea B
i
iI
una familia de s-ea de A, I = 1, . . . , r. Entonces:
X = B
1
B
2
B
0
= B
1
B
2
(visto en Prop.7)
24
21
Una demostracin alternativa se tendra de calcular explcitamente, por las dos propiedades an-
teriores, los s-ea suma e interseccin, tomando p
1
= p
2
= p B
1
B
2
. Pero dado que la dimensin
depende nicamente del ed, esto no es necesario.
22
Ntese que la interseccin de s-ev nunca esta vaca, ya que todos ellos contienen al vector 0. No
ocurre as, sin embargo, con la interseccin de s-ea, ya que no tenemos un tal punto distinguido.
Recordamos tambin que una suma entre K-ev es directa ssi su interseccin es 0, denotndola
por . En este sentido, alguien podra quejarse diciendo que la Prop.3 slo nos garantiza

p
1
p
2
_

(F
1
+ F
2
), y no necesariamente

p
1
p
2
_
(F
1
+ F
2
) = 0, dado que podra darse

p
1
p
2
_
(F
1
+ F
2
).
No obstante, en este caso la dim(F
1
+ F
2
) = 0 F
1
+ F
2
= 0
p
1
p
2
_
(F
1
+ F
2
) = 0
23
En Prop.5 ya vimos que, con estas condiciones, F
B
+ F
H
= E, por lo que directamente dim(H
B) := dim
_
p
1
p
2
_
+ F
B
+ F
H
_
= dimE =: dim A = n.
Sin embargo, tambin podemos optar por la siguiente va alternativa, que viene a repetir los argu-
mentos de Prop.5:
n1
H (B H)
n
A B H = H B H = A
Pero B H B H B H ,= H
Pese a todo, prefer la primera opcin por lo ya comentado en footnote (21)
24
Contener B
1
B
2
equivale a contener B
1
& B
2
.
1.3. COORDENADAS AFINES 19
Caso particular del anterior, iterando:
X =
_
iI
B
i
B
0
=
iI
B
i
= (. . . ((B
1
B
2
) B
3
) . . . ) B
r
En particular, tomando B
i
= p
i
:
p
1
, . . . , p
r
A p
1
p
r
= p
1
+
p
1
p
2
, . . . ,
p
1
p
r
_
25
1.3. Coordenadas anes
26
Denicin 10. Una referencia (afn), en adelante ref, de un ea (A, K, E) de dimn
est formada por:
Un punto O A (origen de la ref).
Una base e
1
, . . . , e
n
del ed E (base de la ref).
Denicin 11. Dado x A, llamamos coordenadas (anes), en adelante coord,
de x respecto de una referencia O; e
1
, . . . , e
n
del K-ea A, a los nicos x
i
K[
Ox =
n
i=1
x
i
e
i
, ie, a las componentes del vector
Ox E en la base e
1
, . . . , e
n
.
Observacin 9. Dada una ref O; e
1
, . . . , e
n
de A, tenemos una biyeccin
A
biy.
K
n
x
sus coord
(x
1
, . . . , x
n
)
O +
n
i=1
x
i
e
i
(x
1
, . . . , x
n
)
DEMOSTRACIN. La inversa se obtiene, por Def.5, as:
K
n
E
biy.
A
(x
1
, . . . , x
n
)
n
i=1
x
i
e
i
=

Ox O +
Ox = x
Nota. Amparados en esta ultima observacin, a menudo (siempre y cuando no

haya peligro de confusin) cometeremos el abuso de notacin consistente en iden-
ticar un punto con sus coord y un vector por sus componentes. As, por ejemplo,
si (x
1
, x
2
) son las coord de x, diremos que x = (x
1
, x
2
), como puede apreciarse en
el ejemplo siguiente:
25
Si bien es verdad que denimos B
1
B
2
= p
1
+
_
p
1
p
2
_
+ F
1
+ F
2
_
, hubiese sido igualmen-
te valido decir B
1
B
2
= p
2
+
_
p
1
p
2
_
+ F
1
+ F
2
_
. Bajo esta denicin alternativa, tendramos
ahora que: (. . . ((p
1
p
2
) p
3
) . . . ) p
r
=
_
. . .
__
p
2
+
_
p
1
p
2
_
+0 +0
__
p
3
_
. . .
_
p
r
=
_
. . .
__
p
3
+
_
p
1
p
2
_
+
p
2
p
3
___
p
4
_
. . .
_
p
r
= = p
r
+
p
1
p
2
, . . . ,
p
r1
p
r
_
De hecho, en cada paso podramos haber escogido un punto u otro sin mayores reparos, o tomar en
ltima instancia un punto cualquiera de ellos, dado que, como vimos en Prop.1, B = p + F p B.
26
Cf.:
[R], 1.101.11 (pg. 3748) & 1.131.14 (pg. 4957)
[CL], IX.5 (pg. 175177) & IX.8IX.10 (pg. 183-191)
[X], 4.34.7
Ejemplo 8. Con n = 2
O
O + x
1
e
1 O +
Ox = x = (x
1
, x
2
)
O + x
2
e
2
x
1
e
1
x
2
e
2
n
i=
1
xi
ei
=
O
x
e
1
e
2
n
i=
1
ei
Problema. Sea (A, K, E, ) un ea. Dados x, y en coord, cmo se describir (x, y)
en coord?
Proposicin 10. (RESPUESTA)
1. Para la primera denicin de ea, Def.1: Sean x, y A de coord respectivas
(x
1
, . . . , x
n
), (y
1
, . . . , y
n
) en la ref de A.
27
Entonces el vector (x, y) =

xy E
tiene por componentes (y
1
x
1
, . . . , y
n
x
n
).
28
2. Para la segunda denicin de ea, Def.6: Sea x como antes, uE de componentes
(u
1
, . . . , u
n
) en la base e
1
, . . . , e
n
de la ref. Entonces el punto (x, u) = x + u
A tiene por coord (x
1
+ u
1
, . . . , x
n
+ u
n
).
DEMOSTRACIN.
1.
Ox =
n
i=1
x
i
e
i
Oy =
n
i=1
y
i
e
i
_

xy =

xO +
Oy =
Ox +
Oy =
n
i=1
(y
i
x
i
)e
i
2.
Ox =
n
i=1
x
i
e
i
u =
n
i=1
u
i
e
i
_
x + u =
_
O +
Ox
_
+ u = O +
n
i=1
(x
i
+ u
i
)e
i
Descripcin de los puntos de un s-ea mediante coord.

1.Forma parametrica (o explicita).
Suposicin. Sea (A, K, E) ea de dimn, O; e
1
, . . . , e
n
ref de A, B = p + F s-ea de A,
(b
1
, . . . , b
n
) coord de p. Si dimB = r, F = v
1
, . . . , v
r
s-ev de E generado por r Vectores
Linealmente Independientes(VLI)
29
v
i
de E dados por sus componentes (a
1
i
, . . . , a
n
i
) en la
base e
1
, . . . , e
n
, ie, v
i
=
n
j=1
a
j
i
e
j
. Por tanto, cualquier vector de F sera una combinacin
lineal de v
1
, . . . , v
r
.
Conclusin. x B x = p +
r
i=1
i
v
i
, con
i
K, i 1, . . . , r.
As, x
j
= (p +
r
i=1
i
v
i
)
j
= b
j
+
r
i=1
i
a
j
i
, con j 1, . . . , n.
Resumida/esquemticamente: (x
1
, . . . , x
n
) = (b
1
, . . . , b
n
) +
r
i=1
i
(a
1
i
, . . . , a
n
i
).
30
27
O simplemente, por la nota anterior, x = (x
1
, . . . , x
n
), y = (y
1
, . . . , y
n
) A
28
O simplemente, por la nota anterior,
xy = y x. Esto pone de maniesto lo natural que resulta el

susodicho abuso de notacin.
29
Por analoga usare tambin las abreviaciones VLD, PLI, PLD, donde D=dependientes, P=puntos.
30
Para no redundar con tantas letras, y si no hay peligro de confusin, podra haberse denotado,
quiz ms cmoda o naturalmente, como (x
1
, . . . , x
n
) = (p
1
, . . . , p
n
) +
r
i=1

i
(v
1
i
, . . . , v
n
i
).
Ejemplo 9. Sea B = p q = p +
pq
_
, con p = (1, 1, 1), q = (2, 1, 3)

pq =
(1, 0, 4). Entonces B x = (1, 1, 1) +(1, 0, 4) = (1 +, 1, 1 +4) es el punto
genrico de la recta p q.
2.Forma implcita (o mediante [sistemas de] ecuaciones)
31
.
Proposicin 11. Sea (A, K, E) un ea, O; e
1
, . . . , e
n
una ref de A. Sea (1) =
_
n
i=1
a
j
i
x
i
= b
j
, j 1, . . . , m
_
un sistema compatible en x K
n
, (2) su sistema homogneo
32
. Entonces, en la referen-
cia/base dada:
B = x A[sus coord son solucin de (1)
F = v E[sus componentes son solucin de (2)
_
B s-ea de A de ed F
(motivo por el cual los s-ea se llaman tambin variedades lineales)
Se tiene, adems, que dimB := dimF = dim(n rg (2)) = dim(n rg (1)).
DEMOSTRACIN. [] Por A.L. sabemos que F es un s-ev de E de dim(n rg (2)).
33
Por otra parte, si p = (p
1
, . . . , p
n
) B, x = (x
1
, . . . , x
n
) A, se tiene:
x B (x
1
, . . . , x
n
) es solucion de (1) (x
1
p
1
, . . . , x
n
p
n
) es solucion de (2)
px F x p + F
Por tanto, B = p + F, con p B A, F E s-ev; ie, B es un s-ea de A de ed F
de dim(n rg (1)).
[] Sea B = p + F un s-ea de A, con p = (p
1
, . . . , p
n
) B, F E s-ev.
Por A.L. podemos hallar un sistema (2) cuyas soluciones sean las componentes
de los vectores del s-ev F, describindolo como queramos.
Queremos hallar ahora un sistema (1) tal que sus soluciones sean las coord
de los puntos de B; el sistema
_
b
j
=
n
i=1
a
j
i
p
i
, j 1, . . . , m
_
cumple esto trivial-
mente.
Ejemplo 10. Caracterizacin analtica del alineamiento de tres puntos en un plano
afn: dim(A B C) 1 A, B, C alineados
DEMOSTRACIN. dim(A B C) = dim
K
_
AB,
AC
_
1

AB,
AC VLD
AB

AC
b
1
a
1
c
1
a
1
b
2
a
2
c
2
a
2
= 0
a
1
b
1
a
1
c
1
a
1
a
2
b
2
a
2
c
2
a
2
1 0 0
=
a
1
b
1
c
1
a
2
b
2
c
2
1 1 1
= 0
34
lo que nos da una ecuacin con la que describir la recta A B C.
Este ltimo ejemplo nos conduce de manera natural al siguiente apartado, que
aclarara y generalizara estas nociones:
Independencia lineal de puntos.
Observacin 10. Sean q
o
, . . . , q
r
un sistema de puntos (no necesariamente distin-
tos) de un ea (A, K, E). Se tiene: dim(q
0
q
r
) = dim
K
q
0
q
1
, . . . ,
q
0
q
r
_
r
(por A.L., la igualdad se tiene ssi
q
0
q
1
, . . . ,
q
0
q
r
VLI).
Por otra parte, entindase bien lo que esto signica, ie, aprciese que se est haciendo uso del si-
guiente abuso de notacin:
r
i=1

i
(a
1
i
, . . . , a
n
i
) := (
r
i=1

i
a
1
i
, . . . ,
r
i=1

i
a
n
i
)
31
Tambin conocido como mtodo eucldeo.
32
Cf. Generalizacin Ejem.1.1
33
dimE = dim(ker A) + rg A, donde ker A = F & A = (a
j
i
) /
mn
(K) la matriz asociada (no
ampliada) al sistema (1). De ah el abuso de notacin rg(1) := rg A =: rg(2).
34
Ntese que
b
1
a
1
c
1
a
1
b
2
a
2
c
2
a
2
x
1
b
1
a
1
c
1
a
1
x
2
b
2
a
2
c
2
a
2
1 0 0
para cualquier par x

1
, x
2
K, ie,
no necesariamente x
i
= a
i
, si bien tomar las coord del punto A es, como acabamos de ver, lo ms
practico/cmodo/natural.
Por tanto, parece legitimo decir que:
Denicin 12. El sistema de puntos q
o
, . . . , q
r
es un sistema de PLI ssi dim(q
0
q
r
) =
r, ie, ssi los

q
0
q
1
, . . . ,
q
0
q
r
VLI. As, q
o
, . . . , q
r
son PLI ssi no se hallan sobre ningn
s-ea de dim < r. En caso contrario, diremos que se trata de un sistema de PLD.
Ejemplo 11.
En r = 0, q
0
es un sistema de PLI.
En r = 1, q
0
, q
1
es un sistema de PLI ssi
q
0
q
1
,= 0, ie, ssi q
0
,= q
1
.
En r = 2, q
0
, q
1
, q
2
es un sistema de PLD ssi q
0
, q
1
, q
2
estn alineados.
En r = 3, q
0
, q
1
, q
2
, q
3
es un sistema de PLD q
0
, q
1
, q
2
, q
3
son coplanarios.
Observacin 11. El nmero mximo de puntos de un sistema de PLI, con dim A =
n, es (n +1), y es un sistema formado por (n +1) PLI de A, q
o
, . . . , q
n
, que equiva-
len a dar una ref de A: O = q
0
; e
1
=

q
0
q
1
, . . . , e
n
=

q
0
q
n
.
Ejemplo 12. Para n = 2,
q
0
= O
q
2
= O + e
2
e
2
q
1
= O + e
1
e
1
Proposicin 12. Sean q
o
, . . . , q
n
A ea de dimn, q
i
= (q
1
i
, . . . , q
n
i
). Entonces:
q
o
, . . . , q
n
PLI
q
1
0
q
1
1
. . . q
1
n
.
.
.
.
.
.
.
.
.
q
n
0
q
n
1
q
n
n
1 1 . . . 1
,= 0
DEMOSTRACIN.
q
1
0
q
1
1
. . . q
1
n
.
.
.
.
.
.
.
.
.
q
n
0
q
n
1
q
n
n
1 1 . . . 1
q
1
0
q
1
1
q
1
0
. . . q
1
n
q
1
0
.
.
.
.
.
.
.
.
.
q
n
0
q
n
1
q
n
0
q
n
n
q
n
0
1 0 . . . 0
q
1
1
q
1
0
. . . q
1
n
q
1
0
.
.
.
.
.
.
q
n
1
q
n
0
q
n
n
q
n
0
,=
0

q
0
q
1
, . . . ,
q
0
q
n
VLI q
o
, . . . , q
n
PLI.
35
Corolario 3. (APLICACIN) Sea el sistema de PLI q

o
, . . . , q
n1
A ea de dimn, q
i
=
(q
1
i
, . . . , q
n
i
) en una ref dada, H = q
o
q
n1
hiperplano de A. El hiperplano H tiene
por ecuacin, en la ref dada:
q
1
0
q
1
1
. . . q
1
n1
x
1
.
.
.
.
.
.
.
.
.
.
.
.
q
n
0
q
n
1
q
n
n1
x
n
1 1 . . . 1 1
= 0
DEMOSTRACIN. Un punto x A de coord (x
1
, . . . , x
n
) pertenece a H ssi
q
o
, . . . , q
n1
, x PLD.
36
Aplicando ahora la proposicin anterior, ya habremos ter-
minado.
35
Cf. Ejem.10 (caso n = 2).
36
Si se quiere ser ms explcito, basta observar que q
o
, . . . , q
n1
. .
PLI
, x PLD

q
o
q
1
, . . . ,
q
0
q
n1
. .
VLI
,
q
0
x VLD

q
0
x
q
0
q
1
, . . . ,
q
0
q
n1
_
x q
0
+
q
0
q
1
, . . . ,
q
0
q
n1
_
= q
0
q
n1
= H. En particular,
deducimos que x H H x = H (la otra implicacin es trivial), ya que
q
0
x
q
0
q
1
, . . . ,
q
0
q
n1
_
.
Problema. Sea Aun K-ea, B un s-ea de Adado por (1) =
_
n
i=1
a
j
i
x
i
= b
j
, j 1, . . . , m
_
.
Cual es la expresin general de la ecuacin de los hiperplanos H de A que con-
tienen a B?
Proposicin 13. (RESPUESTA) La ecuacin de H es una combinacin lineal de (1), ie, es
una ecuacin de la forma:
m
j=1
j
_
n
i=1
a
j
i
x
i
b
j
_
= 0
DEMOSTRACIN. Sea (2) =
n
i=1
a
i
x
i
= b[a
i
, b K la ecuacin de un hi-
perplano H de A. Se tiene: B H H B = B
_
_
_
(H B) ,=
dim(H B) = dimB
(H B) B
el sistema
_
(1)
(2)
que describe H B es compatible (ya que es no vaco, ie, tiene
soluciones) y estas son las de B, ie, las de (1). Es decir, (2) es una combinacin
lineal de (1).
Ejemplo 13. En un R-ea de dim3 se da, en cierta ref, la recta L de ecuaciones:
L
_
x y + z = 1
x +2y = 0
Queremos hallar la ecuacin del plano = L p, con p = (1, 1, 0) en la ref dada.
Para ello, como acabamos de ver, tomamos una combinacin lineal de L,
,
:
(x y + z 1) + (x + 2y) = 0, con , R. Imponiendo ahora p
,
:
(1 1 + 0 1) + (1 + 2) + 3 = 0 = 3. Por tanto, como ,= 0
(de otro modo, : 0 = 0 no seria un plano), podemos simplicar, quedando
: 3(x y + z 1) + (x +2y) = 0 : 4x y +3z = 3
Razn simple (de una terna ordenada de puntos alineados en un ea).
Denicin 13. Sea (A, K, E) un ea, P, Q, R A (puntos) alineados, Q ,= R. Enton-
ces: ! K[
PR =
QR en el ed E de A al que llamamos la razn simple de la

terna ordenada (P, Q, R) y denotamos por (P, Q, R).
P R Q

QR
PR
En particular,
P = R (P, Q, R) = 0
P = Q (P, Q, R) = 1
bar(P, Q) = R (P, Q, R) = 1
37
P Q R
v v
Problema. Supongamos que P, Q, R son 2 a 2 distintos, de modo que (P, Q, R) :=
/ 0, 1, ie, ( 1), (1 ), K 0, ie, son invertibles. Cmo variara
entonces la razn simple al permutar sus puntos?
Proposicin 14. (RESPUESTA) Hay 3! = 6 permutaciones:
1. (P, Q, R) =

1
, la identidad.
2. (Q, P, R) =
1
3. (P, R, Q) =
1
1
4. (Q, R, P) =
1
5. (R, P, Q) =
1
1
37
Cf. Obs.12
6. (R, Q, P) =

1
38
DEMOSTRACIN.
1. (P, Q, R) =

PR =
QR por denicin.
2. (Q, P, R) =

QR =
PR
1
QR =
1
PR

PR =
1
QR
(P, Q, R) := =
1
=
1
3.
PR =
QR
PR =

PQ +
QR
_

PQ +
QR =
QR

PQ = ( 1)
QR = (1
)
RQ (P, R, Q) = (1 )
Llamemos a la transposicin
39
que permuta las posiciones 1 y 2, ie, (P, Q, R) =
(Q, P, R) =
1
, a la transposicin que permuta las posiciones 2 y 3, ie, (P, Q, R) =

(P, R, Q) = 1 . Entonces:
4. ( (P, Q, R)) = (Q, P, R) = (Q, R, P), con ( ()) =
_
1
_
= 1
1
=
1
5. ( (P, Q, R)) = (P, R, Q) = (R, P, Q), con ( ()) = (1 ) =

1
1
6. ( ( (P, Q, R))) = (Q, R, P) = (R, Q, P), con ( ( ())) =
_
1
_
=
Nota. En la bibliografa referenciada pueden encontrarse diferentes acepciones

para el termino razn simple segn que permutacin se tome como la inicial.
As,
/
= (P, Q, R)
CL
=

1
= (R, Q, P) en [CL, X].
//
= (P, Q, R)
R
=
1
/
=
1
= (Q, R, P) en [R].
Por otra parte, tambin podemos encontrarnos con el abuso de notacin o hereja
practica: =
PR
QR
Proposicin 15. (TEOREMA DE THALES) En un plano afn con r, s, t rectas paralelas

cortando a l, l
/
en los puntos R, S, T & R
/
, S
/
, T
/
respectivamente, se tiene:
(R, S, T) =
_
R
/
, S
/
, T
/
_
38
Curiosidad: 2, 4, 6 se obtienen intercambiando 1
por
en, respectivamente, 1, 3, 5. Se hace saber
tambin que estos seis elementos reaparecern en un estudio anlogo a este pero respecto de la razn
doble en el curso de geometra proyectiva y, posteriormente, respecto del j-invariante de Klein para
curvas elpticas en el curso de geometra algebraica (cf. class 47 de Foundations of algebraic geometry
2007-08 de Ravi Vakil), con la consecuente importancia en aritmtica.
39
Ciclo de longitud 2, ie, permutacin que intercambia dos elementos y ja los restantes. Estas
nociones se estudian en la asignatura de Estructuras Algebraicas (grupos).
R
/
r s t
R
l
l
/
S
S
/
T
T
/
u
v
DEMOSTRACIN. Sea
_
= (R, S, T)

RT =
ST
/
= (R
/
, S
/
, T
/
)
R
/
T
/
=
/
S
/
T
/
Queremos ver que =
/
.
Sea u el vector director de l, ie, u ed de la recta l.
Sea v el vector director comn de r, s, t, ie, v ed comn de r, s, t.
Tenemos que u, v son VLI, ie, u ,= v.
Por tanto, u, v son base del ed E del plano, ie, E = u v.
Por otra parte:
_
R
/
T
/
=
R
/
R +
RT
/
=
R
/
R +
RT +
TT
/
=
ST
..
u
+
_
R
/
R +
TT
/
_
. .
v
R
/
T
/
=
/
S
/
T
/
=
/
_
S
/
S +
ST +
TT
/
_
=
..
ST +
..
_
S
/
S +
TT
/
_
/
Como u, v son VLI, necesariamente
_

ST =
/
ST (
/
)
ST = 0
R
/
R +
TT
/
=
/
_
S
/
S +
TT
/
_
De la primera ecuacin deducimos el Teorema de Thales propiamente dicho:
como por hiptesis S ,= T (por ser s ,= t), ie,

ST ,= 0, podemos concluir que
(
/
) = 0, ie, =
/
.
De la segunda ecuacin obtenemos el siguiente corolario:
Corolario 4. En el caso particular T = T
/
, ie,
TT
/
= 0 , tenemos que
R
/
R =
/
S
/
S
40
R
/
r s
R
l
l
/
S
S
/
T = T
/
Juntando ambos resultados, podemos escribir ahora, a modo meramente in-
tuitivo:
40
Una demostracin alternativa, que no requiere del resultado anterior, seria, con las mismas nota-
ciones:
RR
/
=

RT +
TR
/
=

RT
R
/
T
/
=
_
ST +
S
/
T
/
_
=
_
ST +
TS
/
_
=
SS
/

RR
/
SS
/
=
RT
ST
=
R
/
T
/
S
/
T
/
Ejercicio. Escribir los teoremas de Menelao y Ceva.

41
1.4. Baricentros
42
Nota. Para evitar car K = 0
43
, impondremos que Z K
44
o, si se preere y para
concretar, K = R.
Proposicin 16. (DEFINICIN) Sea p
1
, . . . , p
n
un sistema de puntos de un ea (A, K, E).
Entonces: !p A[
n
i=1
pp
i
= 0, al que llamamos baricentro del sistema y denotamos
bar(p
1
, . . . , p
n
) .
DEMOSTRACIN. [] (Calculo explicito) Tomemos q A punto auxiliar, p
A[0 =
n
i=1
pp
i
=
n
i=1
_
pq +
qp
i
_
=
n
i=1
pq +
n
i=1
qp
i
= n
pq +
n
i=1
qp
i

n
pq =
n
i=1
qp
i
n
qp =
n
i=1
qp
i

qp = n
1
n
i=1
qp
i
p = q +
n
i=1
n
1
qp
i
[!] Por analoga, sea p
/
A[0 =
n
i=1
p
/
p
i
= n
p
/
p +
n
i=1
pp
i
. .
0
n
p
/
p = 0
p
/
p = 0 p
/
= p
Observacin 12. El punto medio de dos puntos P, Q puede escribirse como
1
2
P +
1
2
Q := bar(P, Q)
Observacin 13. Se puede dar un signicado coherente a expresiones como
n
i=1
i
p
i
, p
i

A,
i
K:
n
i=1
i
,= 0 el resultado es un punto.
n
i=1
i
= 0 el resultado es un vector.
45
Proposicin 17. (DEFINICIN) Sea p
1
, . . . , p
n
un sistema de puntos de un ea (A, K, E),
1
, . . . ,
n
K[
n
i=1
i
= 1 . Entonces: q A, el punto q +
n
i=1
qp
i
es siempre el
mismo (ie, no depende de q): es el baricentro de p
1
, . . . , p
n
con pesos respecto
1
, . . . ,
n
,
denotado
n
i=1
i
p
i
.
DEMOSTRACIN. Si q, q
/
A,
41
Cf.:
[R], pg 5455
[CL], pg 188199
42
Cf.:
[R], 1.12 (pg. 4851)
[CL], IX.6 (pg. 177182)
[QR], 3.11 (pg. 9598)
43
La caracterstica de un cuerpo K (o, ms en general, un anillo A), se dene como el menor numero
n para el cual se cumple que 1 +
n
. . . +1 = 0 . Decimos que la caracteristica de K es cero si no existe tal

n.
Estas nociones se estudian en la asignatura de Estructuras Algebraicas (anillos).
44
De hecho, esto ocurrir ssi Q K.
45
Posible justicacin:
n
i=1

i
= 0
n
=
n1
i=1

i

n
i=1

i
p
i
=
n1
i=1

i
p
i

n1
i=1

i
p
n
=
n1
i=1

i
(p
i
p
n
) =
n
i=1

i
p
n
p
i
De todos modos esto es meramente un adelanto. Ambas implicaciones quedaran completamente
consolidadas al terminar la seccin, con las proposiciones 20 y 21.
1.4. BARICENTROS 27
q +
n
i=1
qp
i
= q +
n
i=1
i
_
qq
/
+
q
/
p
i
_
= q +
qq
/
n
i=1
i
. .
1
. .
q
/
+
n
i=1
q
/
p
i

Observacin 14. La unicidad de Prop.16 puede deducirse de Prop.17 tomando
i
=
1
n
, i 1, . . . , n, pesos (en efecto,
n
i=1
1
n
= 1). En este caso particular,
el baricentro de p
1
, . . . , p
n
con pesos respecto
1
, . . . ,
n
se corresponde con el
baricentro (ordinario) de p
1
, . . . , p
n
.
Proposicin 18. Sean p
0
, . . . , p
r
A ea. Se tiene:
p
0
p
r
=
_
r
i=0
i
p
i
[
i
K,
r
i=0
i
= 1
_
DEMOSTRACIN. []
r
i=0
i
p
i
= p
0
+
r
i=0
p
0
p
i
=
1
p
0
+
r
i=1
p
0
p
i

_
p
0
+
p
0
p
1
, . . . ,
p
0
p
r
__
= p
0
p
r
[] Sea p p
0
p
r
p = p
0
+
r
i=1
p
0
p
i
.
Sea
0
[
0
+
r
i=1
i
= 1, ie,
0
= 1
r
i=1
i
.
Entonces p = p
0
+
r
i=0
p
0
p
i
=
r
i=0
i
p
i
baricentro de p
0
, . . . , p
r
con pesos
respecto
0
, . . . ,
r
.
Observacin 15. (DEFINICIN) En particular, p
0
, . . . , p
r
PLI x p
0

p
r
, x =
r
i=0
i
p
i
[
i
K,
i
= 1 se escribe de manera nica, puesto que
q
0
q
1
, . . . ,
q
0
q
r
son VLI. Si adems r = n = dim A & p
0
, . . . , p
n
es una ref de A
46
, entonces todo
punto de A = p
0
p
n
se escribe de forma nica as. Llamamos a (
0
, . . . ,
n
)
coordenadas baricentricas del punto
n
i=0
i
p
i
de A en la ref dada.
Proposicin 19. (DISTRIBUTIVA) Sean
__
x
i
j
_
iI
_
jJ
, con I = 1, . . . , m, J = 1, . . . , n
i
,
m sistemas de, respectivamente, n
i
puntos de A ea
47
, y pesos
__
i
j
_
iI
_
jJ
. Sean tam-
bin
0
, . . . ,
m
pesos, p
0
, . . . , p
m
puntos de A, con p
i
=
n
i
j=1
i
j
x
i
j
, i I. Entonces:
iI
i
p
i
:=
iI
i
_
jJ
i
j
x
i
j
_
=
iI
jJ
(
i
i
j
)x
i
j
DEMOSTRACIN. Si tenemos en cuenta que el producto es distributivo res-
pecto de la suma, basta demostrar que
__
i
j
_
iI
_
jJ
son sistemas de pesos, ie,
46
Recurdese Obs.11
47
Es decir, x
1
1
, . . . , x
1n
1
, que podramos denotar ms comodamente por a
1
, . . . , a
a
/ , con a
/
= n
1
,
seria un sistema de puntos; x
2
1
, . . . , x
2n
2
, que podramos denotar ms comodamente por b
1
, . . . , b
b
/ , con
b
/
= n
2
, seria otro sistema de puntos; etc.
Aunque pueda parecer obvio, lo comento porque es algo que a mi siempre me haba confundido
terriblemente; y en verdad me resulta una notacin un tanto engorrosa y sobrecargada, si bien escrita
de manera compacta (como queda expresada en la proposicin) parece algo ms intuitiva.
Aun as, si no hubiese consenso sobre la misma y no hubiese peligro de confusin con la utilizada en,
por ejemplo, footnote (30), la denotara quiz de esa manera, o buscara alguna otra de ms apropiada,
aunque admito que es cuestin de acostumbrarse.
que
i,j

i
i
j
=
iI

i
_
jJ
i
j
_
. .
1
= 1 por ser ambos sistemas de pesos. As, queda
demostrada la propiedad distributiva para los baricentros con pesos.
Ejemplo 14. Las medianas
48
de un triangulo coinciden (se cruzan) en el baricentro
de los vrtices.
p
0
p
1
p
2
bar(p
1
, p
2
)
bar(p
0
, p
1
)
bar(p
0
, p
2
)
G
DEMOSTRACIN.
bar(p
0
, p
1
, p
2
) =
3
i=1
1
3
p
i
=
1
3
p
0
+
2
3
_
1
2
p
1
+
1
2
p
2
_
=
1
3
p
1
+
2
3
_
1
2
p
0
+
1
2
p
2
_
=
1
3
p
2
+
2
3
_
1
2
p
0
+
1
2
p
1
_
Es decir, bar(p
0
, p
1
, p
2
) =
1
3
p
i
+
2
3
bar(p
j
, p
k
)
18
_
p
i
bar(p
j
, p
k
)
_
mediana,
con i, j, k 1, 2, 3 dos a dos distintos.
Nota. De los cuatro teoremas clsicos de la geometra elemental sobre concurren-
cia de rectas distinguidas asociadas a un triangulo (medianas, mediatrices, alturas
y bisectrices) ste es el nico que es puramente afn; los otros tres son eucldeos.
Observacin 16. (APLICACIN) Sean p
1
, . . . , p
n
; q
1
, . . . , q
m
dos sistemas de puntos
del ea A. Se tiene:
bar(p
1
, . . . , p
n
, q
1
, . . . , q
m
) PQ, con P = bar(p
1
, . . . , p
n
), Q = bar(q
1
, . . . , q
m
)
DEMOSTRACIN. bar(p
1
, . . . , p
n
, q
1
, . . . , q
m
) =
n
i=1
1
n+m
p
i
+
m
i=1
1
n+m
q
i
=
19
n
n+m
_
n
i=1
1
n
p
i
_
. .
P
+
m
n+m
_
m
i=1
1
m
q
i
_
. .
Q
Problema. Dados dos puntos, cmo se calcula el punto medio? Es decir, cmo
se construye grcamente en el plano afn real (regla y escuadra o cartabn)?
Conclusin. Trazar dos rectas por P, diferentes de la recta P Q. Trazar las para-
lelas a estas dos rectas por el punto Q. Unir los dos vrtices restantes del paralelo-
gramo as obtenido, y cortar la recta resultante con la recta P Q.
Ejercicio. Obtencin grca de:
Multiplicacin del vector determinado por dos puntos dados por un nu-
mero entero.
48
Rectas que unen cada vrtice del tringulo con el centro del lado opuesto.
1.4. BARICENTROS 29
Divisin del vector determinado por dos puntos dados por un numero
entero no nulo.
49
El baricentro de un sistema nito de puntos.
50
Calculo de baricentros con coord.
1
, . . . , p
n
A ea de dimn, con p
i
= (p
1
i
, . . . , p
n
i
) en una ref da-
da, y
1
, . . . ,
n
pesos. Entonces las coord de p =
n
i=1
i
p
i
sern
n
i=1
i
(p
1
i
, . . . , p
n
i
) :=
(
n
i=1
i
p
1
i
, . . . ,
n
i=1
i
p
n
i
).
51
DEMOSTRACIN. Sea O; e
1
, . . . , e
n
la ref jada de A, de modo que

Op
i
=
n
j=1
p
j
i
e
j
. Entonces: p :=
n
i=1
i
p
i
=
17
O+
n
i=1
Op
i

_
n
i=1
Op
i
_
j
=
n
i=1
i
_
n
j=1
p
j
i
e
j
_
es la coord j-sima de p.
Por otra parte, si p
1
, . . . , p
n
A, y
1
, . . . ,
n
son tales que
n
i=1
i
= 0, en-
tonces
n
i=1
i
p
i
se puede denir de manera natural como un vector de E ed de
A:
1
, . . . , p
n
A, y
1
, . . . ,
n
tales que
n
i=1
i
= 0. Se tiene:
p A, el vector
n
i=1
pp
i
E no depende del punto p enunciado. Lo denotamos
n
i=1
i
p
i
E.
DEMOSTRACIN. Sea p
/
Aotro punto. Tenemos:
n
i=1
pp
i
=
n
i=1
i
_
pp
/
+
p
/
p
i
_
=
pp
/
n
i=1
i
+
n
i=1
p
/
p
i
=
hi p.
n
i=1
p
/
p
i
.
Ejemplo 15. q p =

pq, con p, q A, 1, 1 K[(1) +1 = 0.
DEMOSTRACIN.
q p = 1q + (1)p =
21
1
pq + (1)
pp =

pq
= 1
qq + (1)
qp =

pq

Ejemplo 16.

(p + u)(q + v) = q + v p u = (q p) + v u =

pq + v u, con
p, q A, u, v E.
Ejemplo 17. Sean A, B, C, D vrtices de un paralelogramo de diagonales AD,BC:
A
B
D C
G
Entonces:
AB =

CD bar(B, C) = bar(A, D).
DEMOSTRACIN.
1
2
B +
1
2
C =
1
2
A +
1
2
D
1
2
B
1
2
A =
1
2
D
1
2
C B A =
DC

AB =

CD.
49
Pista: podemos copiar vectores uno detrs de otro, a pesar de que nuestra regla (afn) no est
numerada.
50
Pista: expresar el baricentro de n puntos en funcin del baricentro de n 1, y aplicar entonces la
Prop/Def.17
51
Ms generalmente, algunos autores denen:
n
i=1

i
p
i
=
n
i=1
_

i
n
j=1

j
_
p
i
en la ref dada. En
efecto, como
n
j=1

j
= 1,
_

i
n
j=1

j
_
iI
es un sistema de pesos por serlo
i
iI
, con I = 1, . . . , n, y
obviamente

i
n
j=1

j
=
i
Captulo 2
Aplicaciones anes
COMENTARIO. A lo largo de este capitulo veremos cuatro ejemplos basicos
de aplicaciones anes, a saber: traslaciones, homotecias, simetras y proyecciones.
Sin embargo, por cuestiones de orden y claridad, se agruparan en una seccin
independiente, section 2.2, a modo de anexo, haciendo referencia a ellos cuando
se crea conveniente.
2.1. Aplicaciones anes y anidades
1
ADVERTENCIA. Algunos autores de la bibliografa toman aplicacin afn=anidad.
En este curso NO.
Denicin 14. Sean A
1
, A
2
K-ea de ed E
1
, E
2
respectivos. Un aplicacin afn de
A
1
en A
2
, f : A
1
A
2
, es una aplicacin entre conjuntos tal que : E
1
E
2
morsmo de ev
2
tal que x, y A
1
,

f (x) f (y) = (
xy).
Nota. La condicin se expresa equivalentemente: x, y A
1
, f (y) = f (x) +(
xy)
Otambin, poniendo y = x +u
5
u =

xy, con u E
1
: f (x +u) = f (x) +(u)
Observacin 17. (DEFINICIN) Si existe un tal morsmo , es nico. Por tanto,
resulta legitimo llamar a el morsmo director de la aplicacin f , denotado
f
.
DEMOSTRACIN. x A
1
, resulta que u E
1
, (u) =
f (x) f (x + u).
3
Ejemplo 18. Vase section 2.2.1.

Aspectos elementales.
Proposicin 22. Sea f : A
1
A
2
una aplicacin an de morsmo director
f
: E
1

E
2
. Entonces: f
inyectiva monomorsmo de ev
exhaustiva ssi
f
epimorsmo de ev
biyectiva isomorsmo de ev
respectivamente.
DEMOSTRACIN. Sea p A
1
. Entonces el siguiente diagrama es conmutati-
vo:
A
1
f
//
A
2
E
1
1
p
OO
f
//
E
2
1
f (p)
OO
1
Cf.:
[R], 2.12.4 (pg. 7178)
[CL], X.1 (pg. 197200) & X.5 (pg. 211213)
[QR], 2.10 (pg. 9395) & 3.153.19 (pg.128142)
2
La coletilla de ev indica que es una aplicacin lineal, ie, que (
i
v
i
) =
i
(v
i
), con
i
K, v
i
E
1
.
3
As, queda completamente determinado, dado que lo est x, y A
1
, con y = x + u, de modo
que si invocsemos a un segundo morsmo,
/
, cumpliendo lo exigido, necesariamente coincidiran.
31
32 2. APLICACIONES AFINES
con
1
p
(u) = p +u biyectiva
4
. En efecto:
_
_
_
f
_
1
p
(u)
_
= f (p + u) = f (p) +
f
(u)
1
f (p)
_
f
(u)
_
= f (p) +
f
(u)
Por tanto, f ,
f
son conjugadas y, por ende, sus propiedades coinciden.
Proposicin 23. La composicin de aplicaciones anes es una aplicacin afn con mors-
mo director la composicin de los morsmos directores de estas.
DEMOSTRACIN. Sea
A
1
h:=gf
%%
f
//
A
2
g
//
A
3
E
1
f
//
E
2
g
//
E
3
con f , g aplicaciones anes. Entonces, x, y A
1
,
h(x)h(y) =
g ( f (x)) g ( f (y)) =
g
_
f (x) f (y)
_
=
g
_
f
_
xy
_
_
=
_
g

f
_
_
xy
_

h
=
g

f
es el mors-
mo director de h, luego es afn.
Proposicin 24. f = 1
A
identidad de un ea A f es una aplicacin afn con
f
= 1
E
.
DEMOSTRACIN. Caso particular de Prop.27: 1
A
=
0
.
Anidades.
Denicin 15. Una anidad (o isomorsmo de ea) es una aplicacin afn f : A
1

A
2
tal que g : A
2
A
1
aplicacin afn cumpliendo g f = 1
A
1
, f g = 1
A
2
.
Nota. En consecuencia, g tambin es una anidad.
Observacin 18. Toda aplicacin afn que tenga una inversa afn es una anidad.
Proposicin 25. Una aplicacin afn f : A
1
A
2
es una anidad ssi es biyectiva, ie, ssi
f
es un isomorsmo de ev.
5
DEMOSTRACIN. [] f : A
1
A
2
anidad g : A
2
A
1
aplicacin afn
cumpliendo:
g f = 1
A
1
f inyectiva
f g = 1
A
2
f exhaustiva
_
f biyectiva.
[] Sea f : A
1
A
2
aplicacin afn biyectiva, de modo que g := f
1
: A
2

A
1
aplicacin inversa (como aplicacin de conjuntos, ie, no sabemos si es afn, ie,
si tiene morsmo director).
Sean x
/
, y
/
A
2
tales que
_
x
/
= f (x)
y
/
= f (y)
biy.
_
g(x
/
) = x
g(y
/
) = y
Entonces:
x
/
y
/
=
f (x) f (y) =
f
_
xy
_
iso
22

1
f
_
x
/
y
/
_
=

xy
Como adems

xy =
g (x
/
) g (y
/
), nos queda

g (x
/
) g (y
/
) =
1
f
_
x
/
y
/
_
, siendo
as g una aplicacin afn de morsmo director
g
=
1
f
.
Por ltimo, f es una anidad por Obs.18.
4
Cf. Def.6.
5
De aqu que llamemos tambin isomorsmos de ea a las anidades.
Por otra parte, conviene recordar, en la practica, que
f
sera un isomorsmo ssi det
f
,= 0.
2.1. APLICACIONES AFINES Y AFINIDADES 33
Construccin de aplicaciones anes (1/2).
Proposicin 26. Sean (A
1
, K, E
1
), (A
2
, K, E
2
) ea, p A
1
, q A
2
, : E
1
E
2
un
morsmo de K-ev. Entonces: ! f : A
1
A
2
aplicacin afn tal que:
1. f (p) = q
2.
f
=
DEMOSTRACIN. [!] Supongamos que tenemos una tal f . Entonces, x A
1
,
f (x)
14
= f (p) +
f
(
px)
hi p.
= q + (
px), luego f queda completamente determinada

por las hiptesis.
[] Consideremos, por denicin ahora, la aplicacin de conjuntos f : A
1

A
2
, con f (x) := q + (
px).
6
Veamos que esta f cumple (1)&(2) y, por ende, es afn:
1. f (p) = q + (
pp) = q +0 = q.
2.

f (x) f (y) =
f (x)q +
q f (y)
6
= (
px) + (
py) = (
xp +
py) = (
xy)
17
=
f
.
7
Aplicacin (teora de grupos)

8
.
Lema 1. Sea (A, K, E) ea. El conjunto Af (A) := f : A A anidad es un grupo
con la composicin (no conmutativo si dim A 1)
9
.
DEMOSTRACIN.
1. g f Af (A), con g, f Af (A), por Prop.23 y la biyectividad de la
composicin de aplicaciones biyectivas.
2. h (g f ) = (h g) f por la asociatividad de las aplicaciones con la com-
posicin.
3. Por Prop.24, la identidad es una anidad.
4. En Prop.25 construimos explcitamente la inversa afn de una anidad,
que obviamente es tambin una anidad, luego existe.
Observacin 19. Tenemos una aplicacin natural entre los automorsmos del K-
ea, Af (A), y los automorsmos del K-ev, GL(E)
10
, que enva cada anidad a su
morsmo director,
Af (A)

GL(E)
f
f
, cumplindose que ( f g) :=
gf
23
=
g

f
, de modo que resulta ser un morsmo de grupos.
Observacin 20. Por la Prop.26, es exhaustiva, puesto que GL(E), f
Af (A)[( f ) :=
f
= . De hecho, dado que no hemos especicado el valor de
f (p), la f no es necesariamente nica.
6
De ello se deduce que: (
px) = f (x) q =
q f (x) (
px) =
f (x)q.
7
Desarrollo alternativo, sin footnote (6):

f (x) f (y) =
_
q +
_
px
__ _
q +
_
py
__
=
_
q +
_
py
__
_
q +
_
px
__
= (
py) (
px).
8
Si existiese alguien a estas alturas que todava se preguntase Qu inters puede tener la geo-
metra en la teora de grupos?, le redirigira encarecidamente hacia el Programa de Erlangen, sobre
el cual no nos pronunciaremos en esta asignatura; de hecho, las demostraciones de esta y la siguiente
subseccin no son examinables: esto no es un curso sobre teora de grupos.
9
dim A = 0 Af (A) = 1
A
.
En cuanto a su conmutatividad para dimensiones mayores, en las homotecias encontraremos un
contraejemplo.
10
Tambin conocido como grupo Lineal General.
Lema 2. T(A) := traslaciones de A es un subgrupo normal de Af (A), ie, T(A)
Af (A).
DEMOSTRACIN.
1.
v

1
u
=
vu
T(A), luego T(A) Af (A) subgrupo.
2.
f
1
E

f
1 =
f

f
1 = (1
A
) = 1
E
, luego por Prop.27, f Af (A),
f T(A) f
1
T(A), ie, T(A) Af (A).
Observacin 21. ker = f Af (A)[

f
= 1
E
27
= T(A), de modo que, por el
primer teorema de isomora (de grupos), Af (A)/T(A)

= GL(E).
Teorema afn.
Nota. Vase section 2.2.2 antes.
Lema 3. La composicin de homotecias es una homotecia o una traslacin. Por tanto,
HT(A) := T(A) H(A) =
_
f Af (A)[
f
= 1
E
, K
_
es cerrado por la com-
posicin. De hecho, es un subgrupo de Af (A).
DEMOSTRACIN. Sea f una homotecia de centro p y razn / 0, 1, g una
homotecia de centro q y razn / 0, 1. Entonces, la inversa de g, g
1
, es una
homotecia de centro q y razn
1
, y su composicin con f , f g
1
, es una ho-
motecia de centro p +
pq y razn
1
, ya que f
_
g
1
(x)
_
= f
_
q +
1
qx
_
=
f (q) +
f
(
1
qx) =
_
p +
pq
_
+
1
qx , bajo la salvedad
1
= 1, en cuyo
caso estaremos hablando de una traslacin;
0
, de hecho.
Observacin 22. 1
E
[ K

= K
, que es obviamente un subgrupo, pues es el

subconjunto de K formado por sus elementos invertibles. As, podemos considerar
el siguiente morsmo de anillos inducido por :
HT(A)
[HT(A)
K
Af (A)

GL(E)
f
f
Observacin 23. dim A = dim
K
E = 1 HT(A) = Af (A), pues GL(E) =
1
E
[ K cuando dim
K
E = 1.
Por lo tanto, tenemos en particular una clasicacin de las anidades de una
recta afn.
2.2. Ejemplos
11
2.2.1. Traslaciones.
Denicin 16. Sea (A, K, E) ea, v E jado. La traslacin de A de vector v es la
aplicacin:
11
Cf.:
[R], 2.8 (pg. 8996)
[CL], X.2 (pg. 200204)
[QR], 3.203.23 (pg.143149)
El titulo original de la subseccin era algunos tipos: traslaciones, homotecias, siemetrias y proyeccio-
nes
2.2. EJEMPLOS 35
v
: A A
x x + v
x
x + v
v
Proposicin 27. Sea (A, K, E) ea. Entonces: f es una traslacin ssi f es una aplica-
cin afn de morsmo director la identidad de E,
f
= 1
E
, de modo que x, y A,
v
(x)
v
(y) = 1
E
(
xy).
DEMOSTRACIN. [] x, y A,

v
(x)
v
(y) =
v
(x)x +
xy +
y
v
(y) = v +
xy + v =

xy = 1
E
(
xy).
12
x y
y + v x + v
xy
v
xy
v
[] (Constructiva) Sea p A. Entonces, x A, f (x) = f (p) +
f
(
px) =
hip.
f (p) +
px = f (p) +
_
p f (p) +
f (p)x
_
=
_
f (p) +
f (p)x
_
. .
x
+
p f (p)
. .
v
f =
v

2.2.2. Homotecias.
Denicin 17. Sea (A, K, E) ea, f : A A una aplicacin afn. Decimos que x A
es un punto jo de f ssi f (x) = x.
Nota. Si p = (x, y) A
1
plano afn, denotaremos usualmente f (p) A
2
como
(x
, y
). As, p sera un punto jo de f ssi (x, y) = (x
, y
).
13
Proposicin 28. Sea (A, K, E) ea, f : A A una aplicacin afn tal que
f
= 1
E
,
K 1. Entonces f tiene un nico punto jo, ie, !x A[ f (x) = x.
DEMOSTRACIN. x, q A, f (x) = f (q) +
f
(
qx)
hi p.
= f (q) +
qx =
_
q +
q f (q)
_
+
qx. Por lo tanto,

f (x) = x
x=q+
qx

q f (q) +
qx =

qx

q f (q) = (1 )
qx
,=1

qx =
1
1
q f (q)
x = q +
1
1
q f (q)
As pues, existe, es nico
14
y calculable.
Denicin 18. Sean K 1, p A. La homotecia de A de centro p y razn

es la nica
15
aplicacin afn f : A A tal que
1. f (p) = p
2.
f
= 1
E
As, x A, f (x) = f (p) +
f
(
px) = p +
px
12
Tambin podramos haber hecho directamente:
v
(x)
v
(y) :=
(x + v)(y + v) = y + v (x + v) =
xy
13
Profundizaremos sobre estas cuestiones con dos proposiciones en section 2.4.2.
14
Ntese que habamos tomado q arbitrario, por lo que no depender de q.
15
Por Prop.26
p
f (y)
py
f (x)
px
Nota.
1. = 0 x A, f (x) = p, ie, f =cte. Por tanto, si la dim A 1, f no es
una anidad.
2. ,= 0
f
= 1
E
es un isomorsmo y, por Prop.22, f es una anidad.
3. = 1 f (x) = p +
px = x, x A f = 1
A
=
0
, ie, f es una
traslacin.
Por convenio
16
, diremos que 1
A
es una homotecia de razn 1 y centro cual-
quier punto de A, o, anlogamente, que f tiene todos los puntos de A jos.
4. ,= 1
28
!x A[ f (x) = x x = p
5. Para el caso particular = 1, supondremos siempre que la car(K) ,= 2.
17
Resumidamente, con H(A) := homotecias de A de razn no nula =
=
_
f Af (A)[
f
= 1
E
, K 1
_
18
,
tipo de anidad f : A A con
f
= 1
E
puntos jos
1
1
A
todos
T(A) 1
A
ninguno
K 0, 1 H(A) 1
A
uno
2.2.3. Simetras.
Denicin 19. Sea (A, K, E) ea con car K ,= 2, f : A A aplicacin afn. Entonces:
f es una simetra ssi f
2
:= f f = 1
A
.
Nota. En particular, f es una anidad.
Observacin 24. f simetra f tiene puntos jos.
DEMOSTRACIN. Sea x A. Entonces y :=
1
2
x +
1
2
f (x) = bar (x, f (x)) es
un punto jo. En efecto: f (y) = f
_
1
2
x +
1
2
f (x)
_
31
=
1
2
f (x) +
1
2
f
2
(x) =
1
2
f (x) +
1
2
1
A
(x) =
1
2
f (x) +
1
2
x = y.
Observacin 25. f
2
= 1
A

2
f
= 1
E

2
f
1
E
= 0 E = ker
_
2
f
1
_
=
ker
_
f
1
_
ker
_
f
+1
_
=: E
1
+ E
1
puesto que P(T) = T
2
1 = (T
1)(T + 1) K[T] anula el endomorsmo
f
: E E, P(
f
) = 0, y, por tanto,
es el polinomio mnimo de
f
(ya que no puede ser ms mnimo dado que es-
t factorizado en polinomios de grado 1), pudindose aplicar as el teorema de
descomposicin primaria de una transformacin lineal en suma directa de subes-
pacios invariantes (o simplemente teorema de la descomposicin prima).
19
Veamos, pues, que ocurre en los casos extremos, ie, cuando alguno de los dos
subespacios invariantes es 0:
Caso 1. E
1
= 0 E = E
1

f
= 1
E
f es una homotecia de razn -1
(decimos que f es una simetra central de centro su nico punto jo)
16
Recurdese que habamos denido hometecia para ,= 1.
17
De otro modo, 1 = 0 no seria invertible.
18
No es necesario imponer ,= 0 porque en ese caso f / Af (A).
19
La implicacin f
2
= 1
A

2
f
= 1
E
es rutinaria y se deja como ejercicio.
2.2. EJEMPLOS 37
Caso 2. E
1
= 0 E = E
1

f
= 1
E
f = 1
A
En el caso general, E
1
, E
1
,= 0, E = E
1
E
1
:
Sea B = x A[ f (x) = x ,= , de modo que p B. Entonces, por Prop.35,
B = p + E
1
.
As, x A, tenemos que f (x) = f (p) +
f
_
px
_
= p +
f
(u
+
+ u
) =
p +
f
(u
+
) +
f
(u
) = p + u
+
u
, con u
+
E
1
, u
E
1
.
20
Por tanto, para obtener la imagen de x tomamos primero x
0
=
_
x + E
1
_
_
p + E
1
_
= p + u
+
, que es un punto jo de f , y luego tomamos la imagen de x en
x + E
1
respecto x
0
, f (x) = f (x
0
) +
f
(
x
0
x) = x
0
x
0
x = x
0
u
p
u
x
0 u
+
x + E
1
x
f (x)
p + E
1
p + E
1
dim A = 2
Decimos que f es la simetra de centro B y direccin E
1
. Para dar una tal
simetra necesitaremos, pues, un s-ea B y un s-ev suplementario
21
de su ed.
Observacin 26. Si dimB = 0, B = p, entonces f sera una homotecia de razn
-1 y centro p (o lo que es lo mismo, una simetra central de centro p).
2.2.4. Proyecciones.
Denicin 20. Sea (A, K, E) ea, f : A A aplicacin afn. Entonces: f proyeccin
ssi f
2
= f .
Observacin 27. f proyeccin f tiene puntos jos. En concreto, B = x A[ f (x) = x =
Im( f ).
DEMOSTRACIN. [] Sea x Im( f ), ie, x := f (y) para algn y A. Enton-
ces: f (x) = f
2
(y)
hi p
= f (y) =: x, ie, x B.
[] x B x = f (x) x Im( f ).
Observacin 28. f
2
= f
2
f
=
f

2
f

f
= 0 E = ker
_
2
f

f
_
=
ker
_
f
_
ker
_
f
1
_
=: E
0
+E
1
puesto que P(T) = T
2
T = T(T 1) K[T]
anula el endomorsmo
f
: E E, P(
f
) = 0, y, por tanto, es el polinomio
mnimo de
f
(ya que no puede ser ms mnimo dado que est factorizado en
polinomios de grado 1), pudindose aplicar as el teorema de descomposicin
prima.
Casos extremos:
Caso 1. E
0
= 0 E = E
1

f
= 1
E
f es una traslacin con puntos jos,
ie, f = 1
A
.
Caso 2. E
1
= 0 E = E
0

f
= 0 f = cte, puesto que, x A, f (x) =
f (p) +
f
(
px) = f (p) +0(
px) = f (p). En particular, dim(Im( f )) = 0,

Im( f ) = p.
20
Recordamos que podemos operar de este modo por ser E = E
1
E
1
.
21
F, G E s-ev son suplementarios ssi F G = E
Caso general:
Sea B = x A[ f (x) = x ,= , de modo que p B. Entonces, por Prop.35,
B = p + E
1
.
As, x A, tenemos que f (x) = f (p) +
f
_
px
_
= p +
f
(u
1
+ u
0
) = p +u
1
,
con u
1
E
1
, u
0
E
0
.
Adems, si x
0
=
_
x + E
0
_
_
p + E
1
_
, entonces: f (x) = f (x
0
) +
f
(
x
0
x) =
x
0
.
Por tanto, dado x A[f (x) =
_
x + E
0
_
_
p + E
1
_
, diremos que f es la
proyeccin sobre el s-ea B en la direccin E
0
(suplementario del ed de B).
p
u
0
x
0 u
1
x + E
0
x
p + E
0
p + E
1
= B = Im( f )
Ejemplo 19. (REVISITADo)
22
Sean r, s, t rectas paralelas cortando a l, l
/
en los pun-
tos R, S, T & R
/
, S
/
, T
/
en un plano afn y F el ev comn de estas tres rectas.
Sea tambin f : r
/
r la proyeccin del plano afn sobre la recta r en la di-
reccin F. Entonces f (R
/
) = R, f (S
/
) = S, f (T
/
) = T y, por ende, (R
/
, S
/
, T
/
)
30
=
( f (R
/
), f (S
/
), f (T
/
)) = (R, S, T
/
).
2.3. Revisitando 1.3 & 1.4
23
2.3.1. Expresin de una aplicacin afn en coord.
Notacin. Sean (A
1
, K, E
1
) , (A
2
, K, E
2
) ea de dimensin nita con ref respectivas
p; e
1
, . . . , e
n
& q; u
1
, . . . , u
m
. Sea f : A
1
A
2
una aplicacin afn de morsmo
director
f
: E
1
E
2
. Sean (b
1
, . . . , b
m
) las coord del punto f (p) A
2
en la ref
de A
2
,
_
a
j
i
_
iI
jJ
la matriz de
f
en las bases e
1
, . . . , e
n
de E
1
& u
1
, . . . , u
m
de E
2
, con
I = 1, . . . , m, J = 1, . . . , n.
Proposicin 29. Si x A
1
tiene coord (x
1
, . . . , x
n
)
24
, el punto y = f (x) A
2
de coord
(y
1
, . . . , y
m
) se obtiene as:
_
_
_
y
1
.
.
.
y
m
_
_
_ =
_
_
_
a
1
1
a
1
n
.
.
.
.
.
.
a
m
1
a
m
n
_
_
_
_
_
_
x
1
.
.
.
x
n
_
_
_+
_
_
_
b
1
.
.
.
b
m
_
_
_
DEMOSTRACIN. Tenemos que f (x) = f (p) +
f
(
px), con
f
(
px) =
f
(
n
i=1
x
i
e
i
) =
n
i=1
x
i
f
(e
i
) =
n
i=1
x
i
_
m
j=1
a
j
i
u
j
_
.
25
As, j J, y
j
= ( f (x))
j
= ( f (p))
j
+
_
f
_
px
_
_
j
= b
j
+
n
i=1
a
j
i
x
i

22
Cf. Prop.15, Teorema de Thales.
23
Cf.:
[R], 2.6 (pg. 8085)
[CL], X.3X.5 (pg. 204211)
El titulo original de la subseccin era Relacin con ref, coord, razn simple y (calculo de) baricentros.
24
Recordamos que esto signica que
px =
n
i=1
x
i
e
i
, cf. Def.11
25
Sirva esto de repaso al cambio de base de las coord de un vector.
2.3. REVISITANDO 1.3 & 1.4 39
Nota. Esta formula tambin puede encontrarse escrita, de manera ms compacta,
como:
_
_
_
_
_
y
1
.
.
.
y
m
1
_
_
_
_
_
=
_
_
_
_
_
_
a
1
1
a
1
n
b
1
.
.
.
.
.
.
.
.
.
a
m
1
a
m
n
b
m
0 0 1
_
_
_
_
_
_
_
_
_
_
_
x
1
.
.
.
x
n
1
_
_
_
_
_
En funcin de esto se encontrara escrita, de hecho, la matriz reducida en la
tabla de desplazamientos.
Observacin 29. Si f es una anidad, podemos obtener su inversa a partir de
esta formula, aislando x en funcin de y. Adems, imponiendo y = x, tambin
podremos encontrar un punto jo de f .
26
2.3.2. Aplicaciones anes y razn simple.
1
A
2
una aplicacin afn, P, Q, R A
1
puntos alineados.
Entonces:
1. f (P), f (Q), f (R) A
2
estn alineados.
2. f (Q) ,= f (R) & Q ,= R (P, Q, R) = ( f (P) , f (Q) , f (R)).
DEMOSTRACIN.
1. P, Q, R alineados L P, Q, R recta f (L) f (P) , f (Q) , f (R).
Como dim f (L) dimL = 1
27
, necesariamente f (P) , f (Q) , f (R) estn
alineados.
2. Por hiptesis, = (P, Q, R) [
PR =
QR
f
_
PR
_
=
f
_
QR
_

f (P) f (R) =
f (Q) f (R) ( f (P) , f (Q) , f (R)) = .

28
Nota. Una continuacin natural a esto se encuentra en section 2.2.4. En concreto,

en la Ejem.19.
2.3.3. Aplicaciones anes y baricentros.
1
A
2
una aplicacin afn sobre K de morsmo director
f
: E
1
E
2
. Sean p
1
, . . . , p
n
A
1
,
1
, . . . ,
n
K. Entonces:
1.
n
i=1
i
= 1 f (
n
i=1
i
p
i
) =
n
i=1
i
f (p
i
) A
2
2.
n
i=1
i
= 0
f
(
n
i=1
i
p
i
) =
n
i=1
i
f (p
i
) E
2
DEMOSTRACIN. Sea q A
1
,
1. f (
n
i=1
i
p
i
)
17
= f
_
q +
n
i=1
qp
i
_
= f (q) +
f
_
n
i=1
qp
i
_
= f (q) +
n
i=1
f
_
qp
i
_
= f (q) +
n
i=1
f (q) f (p
i
) =
n
i=1
i
f (p
i
) A
2
2.
f
(
n
i=1
i
p
i
)
21
=
f
_
n
i=1
qp
i
_
=
n
i=1
f
_
qp
i
_
=
n
i=1
f (q) f (p
i
) =
n
i=1
i
f (p
i
) E
2
26
El resto los obtendremos resolviendo ker
_
f
1
_
, cf. Prop.35.
27
Cf. Obs.30. Dado el carcter anacrnico de esta referencia (debido a la omisin o reorganizacin,
por cuestiones de orden y claridad, de los adelantos que iba dando Welters para las clases de laborato-
rio), la sugerencia hecha en footnote (28) de obviar esta demostracin en favor de la siguiente (que la
engloba) resulta harto interesante.
28
Ntese que esto implica 1 (pues
f (P) f (R) =
f (Q) f (R) f (P) , f (Q) , f (R) alineados) salvo

en el caso Q = R, ie, f (Q) = f (R), en el que trivialmente f (P) , f (Q) , f (R) estn alineados. Por tanto,
la demostracin de 1 puede obviarse en favor de la 2 siempre y cuando se haga notar este detalle
distinguiendo casos.
Corolario 5. En particular, la imagen por f de un baricentro es baricentro, ie, f

_
n
i=1
n
1
p
i
_
=
n
i=1
n
1
f (p
i
), con K = R.
29
2.3.4. Aplicaciones anes y ref.
Proposicin 32. Sean (A
1
, K, E
1
) , (A
2
, K, E
2
) ea, dim A
1
= n, p
0
, . . . , p
n
una ref de
A
1
30
. Sean tambin q
0
, . . . , q
n
A
2
. Entonces:
1. ! f : A
1
A
2
aplicacin afn tal que f (p
i
) = q
i
, i I, con I = 0, . . . , n.
2. f
inyectiva son PLI de A
2
exhaustiva ssi q
0
, . . . , q
n
generan A
2
biyectiva ref de A
2
respectivamente.
DEMOSTRACIN.
1. Si existiese una tal f , podramos caracterizarla equivalentemente as:
a) f (p
0
) = q
0
.
b)
f
(e
i
) =
f
_
p
0
p
i
_
=
f (p
0
) f (p
i
) =

q
0
q
i
.
31
Dado que e
1
, . . . , e
n
es una base de E
1
, tenemos que, v = (
1
, . . . ,
n
) E
1
,
f
(v) =
n
i=1
q
0
q
i
, luego
f
queda completamente determinada
32
y, por Prop.26,
f existe y es nica.
33
2.
a) f inyectiva
22

f
monomorsmo
f
(e
1
), . . . ,
f
(e
n
) VLI de E
2

q
0
, . . . , q
n
PLI de A
2
.
34
b) f exhaustiva
22

f
epimorsmo
f
(e
1
), . . . ,
f
(e
n
) generan E
2

q
0
q
1
, . . . ,
q
0
q
n
_
= E
2
=
f
(E
1
) f (A
1
) = f (p
0
) +
f
(E
1
) = q
0
+
q
0
q
1
, . . . ,
q
0
q
n
_
= q
0
q
n
= A
2
.
c) f biyectiva ssi f exhaustiva & inyectiva ssi q
0
, . . . , q
n
ref de A
2
.
Ejemplo 20. Tomemos una ref de plano afn, p

0
, p
1
, p
2
p
0
; e
1
=

p
0
p
1
, e
2
=
p
0
p
2
. Entonces, los puntos q
0
= p
1
, q
1
= p
2
, q
2
= p
0
son tambin una ref de .
Adems, por Prop.32, existe una y solo una anidad f de cumpliendo:
29
Despus de todo, recordamos que el baricentro ordinario es un caso particular del baricentro con
pesos, cf. Obs.14.
30
Recurdese Obs.11
31
La vuelta se obtiene as: f (p
i
) = f (p
0
) + (
p
0
p
i
) = q
0
+ (e
i
) = q
0
+
q
0
q
i
= q
i
.
32
Este ultimo comentario es un tanto superuo (aunque me lo permito para claricar ideas): al haber
determinado las imgenes de los vectores de la base, no puede existir otro morsmo cumpliendo (b)
que no sea el dado.
33
Formulacin alternativa:
Por Prop.26, ! f : A
1
A
2
tal que
1. f (p
0
) = q
0
2.
f
=
Tomemos : E
1
E
2
determinada por (e
i
) =

q
0
q
i
y veamos que entonces la f
resultante es la deseada, ie, que i I, f (p
i
) = f (p
0
) + (
p
0
p
i
) = q
0
+ (e
i
) =
q
0
+
q
0
q
i
= q
i
Otra posible formulacin vendra de distinguir la demostracin de la unicidad de la de existencia (que
es esencialmente la que se acaba de ofrecer), lo que seguramente hara la asuncin (e
i
) =

q
0
q
i
ms
natural.
34
Porque (e
i
) =

q
0
q
i
2.4. TRANSPORTE DE S-EA, PUNTOS FIJOS Y S-EA INVARIANTES 41
(0,0)
p
0
_
f
q
0
(1,0)
(1,0)
p
1
_
q
1
(0,1)
(0,1)
p
2
f
_
q
2
(0,0)
Hallmosla! Por section 2.3.1, si (x, y) es un punto genrico de A
1
, su imagen
se obtiene como sigue:
_
x
_
=
_

f
(e
1
)
f
(e
2
)

__
x
y
_
+
_
f (p
0
)
_
Averigemos, pues, los valores que nos faltan:
f (p
0
) = q
0
= p
1
= (1, 0)
f
(e
1
) =
f
_
p
0
p
1
_
=
f (p
0
) f (p
1
) =

q
0
q
1
=

p
1
p
2
= p
2
p
1
= (0, 1)
(1, 0) = (1, 1)
f
(e
2
) =
f
_
p
0
p
2
_
=

p
1
p
0
= (1, 0)
Por tanto, las ecuaciones de la anidad f en las ref dadas son:
_
x
_
=
_

f
(e
1
)
f
(e
2
)
1 1
1 0
__
x
y
_
+
_
f (p
0
)
1
0
_
Ejercicio. Si una aplicacin afn f : A A de un espacio afn A en s mismo
cumple que existe un subconjunto nito X A tal que f (X) X, entonces f
tiene algn punto jo.
2.4. Transporte de s-ea, puntos jos y s-ea invariantes
35
2.4.1. Transporte de s-ea.
1
A
2
una aplicacin afn de morsmo director
f
: E
1

E
2
. Entonces: B
1
= p
1
+ F
1
s-ea de A
1
f (B
1
) = f (p
1
) +
f
(F
1
) es un s-ea de A
2
.
DEMOSTRACIN. B
1
= p
1
+ u[u F
1
, f (B
1
) = f (p
1
) +
f
(u)[u F
1
=
f (p
1
) +
f
(F
1
).
Observacin 30. dim f (B
1
) := dim
f
(F
1
) dimF
1
=: dimB
1
.
36
En particular,
f anidad
f
isomorsmo dim f (B
1
) = dimB
1
.
Observacin 31. Sean B, B
/
s-ea de A de ed respectivos F, F
/
, p B B
/
. Entonces:
f anidad f
_
B B
/
_
= f (B) f
_
B
/
_
35
Cf.:
[R], 2.5 (pg. 7879) & 2.7 (pg. 8688)
[CL], X.6 (pg. 214216)
36
Recordamos que
E
1
f
E
2
F
1

f
(F
1
)
es exhaustiva por construccin (mientras la dimensin sea
nita) y, por tanto, dim
f
(F
1
) dimF
1
.
DEMOSTRACIN. F F
/
F, F
/

f
_
F F
/
_

f
(F) ,
f
_
F
/
_

f
_
F F
/
_

f
(F)
f
_
F
/
_
f
_
B B
/
_
= f (p) +
f
_
F F
/
_
f (p) +
f
(F)
f
_
F
/
_
=
f (B) f
_
B
/
_
. Como adems, por Obs.30, tienen la misma dimensin, ya est.
Observacin 32. Sean B, B
/
s-ea de A de ed respectivos F, F
/
, p B, p
/
B
/
.
Entonces: con f aplicacin afn, f (B B
/
) = f (B) f (B
/
).
DEMOSTRACIN. Inmediata: basta escribir que es cada cosa.
Proposicin 34. B
2
= p
2
+ F
2
s-ea de A
2
f
1
(B
2
) = o bien f
1
(B
2
) es un s-ea
de A
1
de ed
f
1 (F
2
) E
1
, con f aplicacin afn.
DEMOSTRACIN. Observamos que f
1
(B
2
) = se da, en efecto, en algn
caso, pues si A
1
A
2
s-ea, b
2
A
2
A
1
de modo que 1
1
A
(b
2
) = .
37
Supongamos ahora que f
1
(B
2
) ,= , de modo que b
1
f
1
(B
2
) A
1
.
Entonces f (b
1
) B
2
y, por ende, B
2
= f (b
1
) + F
2
.
Tenemos, adems, que, x A
1
,
x f
1
(B
2
) f (x) B
2

f (b
1
) f (x) F
2

f
(
b
1
x) F
2

b
1
x
f
1 (F
2
) E
1
x b
1
+
f
1 (F
2
)
Por tanto, f
1
(B
2
) = b
1
+
f
1 (F
2
) s-ea.
2.4.2. Puntos jos.
Proposicin 35. Sea (A, K, E) ea, f : A A una aplicacin afn de morsmo director
f
: E E . El conjunto B = x A[ f (x) = x de los puntos jos de f o est vaco
38
o es un s-ea de A de ed E
1
:= ker(
f
1) = s-ev de los VEP de VAP 1 de
f
E,
con E
:= ker(
f
) = e E[
f
(e) = e.
39
DEMOSTRACIN. Supongamos que B ,= y, por ende, p B. Tenemos,
x A, que f (x) = f (p) +
f
(
px) = p +
f
(
px) & x = p +
px. Entonces:
x B f (x) = x
f
(
px) =

px
f
(
px) 1
E
(
px) = 0
_
f
1
_
_
px
_
=
0

px ker
_
f
1
_
= E
1
x p + E
1
Por tanto, B = p + E
1
.
Ejemplo 21. (REVISITADO)
40
Por la Prop.35, las traslaciones de vector u E,
u
,
o bien no tienen puntos jos, o bien todos sus puntos son jos, pues, como
f
=
37
Cf. Prop.24.
38
Recordamos que T(A) 1
A
no tienen puntos jos, por ejemplo.
39
En los apuntes originales esto se denota E
. Sin embargo, para evitar posibles confusiones (y

permitir, si fuera necesario, ciertas combinaciones, como E
i
:= ker(
f
1) del endomorsmo
f
:
E
i
E
i
), reservare los subindices para la numeracin de los ev, como se ha venido haciendo hasta
ahora.
No obstante, mantendr el frecuente abuso de notacin consistente en obviar la identidad. As, por
ejemplo, donde he escrito ker(
f
), una mente ms estricta hubiese puesto ker(
f
1
E
) = e
E[
_
f
1
E
_
(e) = 0, si bien debera poderse omitir por contexto, dado que no tiene sentido operar
morsmos con escalares.
Por ultimo, recuerdo que los vectores propios (VEP) de valores propios (VAP) de una aplicacin
F : E E son aquellos que cumplen: F(v) = v (F ) (v) = 0, con v E 0; los VAPs, a su
vez, son las races del polinomio caracterstico de F,P
F
(t) = det (F t). Esto viene a justicar de nuevo
lo cmodo del susodicho abuso de notacin.
40
Cf. Def.18
2.4. TRANSPORTE DE S-EA, PUNTOS FIJOS Y S-EA INVARIANTES 43
1
E
41
, E
1
:= ker(
f
1) = ker (0) = e E[0 (e) = 0 = E, de modo que si
p A B, A = B
42
. En efecto:
_
u ,= 0
u
no tiene puntos jos.
u = 0
u
= 1
A
p[1
A
(p) = p todos sus puntos son jos.
Proposicin 36. Sea (A, K, E) ea de dimensin nita
43
, f : A A una aplicacin afn.
Entonces: f tiene un nico punto jo ssi 1 K no es VAP de
f
, ie, ssi E
1
= 0.
DEMOSTRACIN. [] B = x A[ f (x) = x
hi p.
= p
35
= p + E
1
E
1
= 0.
[] Por hiptesis, E
1
= 0, ie,
f
1 : E E es un monomorsmo y, como
dimE < , por la formula de las dimensiones
44
, es de hecho un isomorsmo,
luego tiene inverso (
f
1)
1
: E E.
Por otra parte, x, q A, f (x) = f (q) +
f
(
qx) =
_
q +
q f (q)
_
+
f
(
qx). Por
lo tanto,
f (x) = x
x=q+
qx

q f (q) +
f
(
qx) =

qx

q f (q) = (1
f
)
_
qx
_

q f (q) =
(
f
1)
_
qx
_
iso

qx =
_
f
1
_
1
_
q f (q)
_
x = q
_
f
1
_
1
_
q f (q)
_
.
Ejemplo 22. (REVISITADO)

45
Sea f : A A una homotecia de razn K 1.
Tenemos que
f
= 1
E
, ie, E
1
= ker ( 1) = 0
36
!x A[ f (x) = x.
2.4.3. S-ea invariantes.
Denicin 21. Sea (A, K, E) ea, f : A A una aplicacin afn. Diremos que un s-
ea B = p + F de A es estable o invariante por f ssi el s-ea f (p) +
f
(F) =: f (B)
B.
Nota. Si f es una anidad, f (B) B f (B) = B.
Proposicin 37. Con las notaciones anteriores:
f (B) B
2
_
f (p) B
f
(F) F

_

p f (p) F
f
(F) F
Ejemplo 23. Caso particular: dimB := dimF = 1 B es una recta y F = e, con
e E 0. Por tanto,
f
(F) F
f
(e) =
_
f
(e)
_
e e VEP de
f
.
Hecho. Sea (A, K, E) ea, f : A A una anidad que en una ref dada tiene matriz:
_
_
_
_
_
y
1
.
.
.
y
m
1
_
_
_
_
_
=
_
_
_
_
_
_
a
1
1
a
1
n
b
1
.
.
.
.
.
.
.
.
.
a
m
1
a
m
n
b
m
0 0 1
_
_
_
_
_
_
_
_
_
_
_
x
1
.
.
.
x
n
1
_
_
_
_
_
41
Cf. Prop.27.
42
A, B como antes.
43
La condicin sobre la dimensin nita de A no puede obviarse, en general.
44
dimE = dim
_
ker
_
f
1
__
+dim
_
Im
_
f
1
__
, corolario del primer teorema de isomora (para
ev).
45
Cf. Prop.28, corolario de Prop.36, tomando
_
f
1
_
1
=
1
1
1
E

f
= 1
E
, con ,= 1.
No en vano, hay paralelismos evidentes entre las demostraciones de ambas proposiciones.
Entonces, el hiperplano
n
i=1
c
i
x
i
+ c = 0 de A es invariante por f ssi
_
_
_
_
_
c
1
.
.
.
c
n
c
_
_
_
_
_
es un VEP de
_
_
_
_
_
_
a
1
1
a
1
n
b
1
.
.
.
.
.
.
.
.
.
a
m
1
a
m
n
b
m
0 0 1
_
_
_
_
_
_
t
Nota. Welters, as como otros autores, denota la transpuesta a la izquierda de la
matriz para evitar posibles confusiones con la exponenciacin. Yo, al menos en
estos apuntes, no; no me ha parecido necesario.
Parte 2
Espacios eucldeos
46
46
Se corresponde con el segundo parcial.
Captulo 3
Espacios vectoriales eucldeos
AVISO. An en construccin.
Nota. K = R
3.1. Producto escalar eucldeo
1
Denicin 22. Sea K un cuerpo, E un K-ev. Una forma bilineal de E es una aplica-
cin : E E K tal que, u, u
/
, u
//
, v, v
/
, v
//
E, c K,
Es lineal por la izquierda
2
:
(u
/
+ u
//
, v) = (u
/
, v) + (u
//
, v)
(cu, v) = c (u, v)
Es lineal por la derecha:
(u, v
/
+ v
//
) = (u, v
/
) + (u, v
//
)
(u, cv) = c (u, v)
Nota. Una forma lineal de E es una aplicacin lineal E K.
Denicin 23. (MATRIZ DE UNA FORMA BILINEAL EN UNA BASE DADA)
Sea : E E K una forma bilineal, e
1
, . . . , e
n
una base de E (dimE = n).
Entonces, la matriz G = (g
j
i
) /
nn
(K) de en esta base viene denida por
g
j
i
= (e
j
, e
i
). Ms explcitamente:
G =
_
_
_
(e
1
, e
1
) (e
1
, e
n
)
.
.
.
.
.
.
(e
n
, e
i
) (e
n
, e
n
)
_
_
_
Proposicin 38. Con las notaciones anteriores: Sean u, v E, de modo que los podemos
escribir como combinacin lineal de los vectores de la base de E: u =
n
j=1
x
j
e
j
, v =
n
i=1
y
i
e
i
, con x
j
, y
i
K. Entonces: (u, v) = x
t
Gy, con x =
_
_
_
x
1
.
.
.
x
n
_
_
_, y =
_
_
_
y
1
.
.
.
y
n
_
_
_.
DEMOSTRACIN. (u, v) =
_
n
j=1
x
j
e
j
,
n
i=1
y
i
e
i
_
=
i,j
x
j
y
i
_
e
j
, e
i
_
=
i,j
x
j
y
i
g
j
i
=
i,j
x
j
g
j
i
y
i
=
j
x
j
_
i
g
j
i
y
i
_
=
_
x
1
x
n
_
G
_
_
_
y
1
.
.
.
y
n
_
_
_ = x
t
Gy
1
Cf.:
[R], A.1A.3 (pg. 349356)
[CL], XI.1XI.2 (pg. 225231)
2
ie, ms formalmente, que (, v) : E K es lineal.
47
48 3. ESPACIOS VECTORIALES EUCLDEOS
Observacin 33. El reciproco tambin es cierto. Es decir, (u, v) := x
t
Gy es nece-
sariamente bilineal. Por tanto: bilineal (u, v) = x
t
Gy. De ah que llamemos
a G matriz de una forma bilineal, y no simplemente matriz asociada a una aplica-
cin : E E K.
DEMOSTRACIN. Inmediata: basta comprobar las cuatro condiciones exigi-
das en Def.22. Hagamos la primera como ejemplo: (u
/
+ u
//
, v) = (u
/
+ u
//
)
t
Gv =
(u
/
)
t
Gv + (u
//
)
t
Gv = (u
/
, v) + (u
//
, v).
Ejemplo 24. Sea K cuerpo, E = K
2
. Entonces
K
2
K
2

K
((x
1
, x
2
) , (y
1
, y
2
)) x
1
y
2
+ x
2
y
1
es bilineal, pues es lineal jando tanto x como y.
Tomemos ahora la base cannica de K
2
: e
1
= (1, 0) , e
2
= (0, 1). Entonces:
(e
1
, e
1
) = 1 0 +0 1 = 0
(e
1
, e
2
) = 1 1 +0 0 = 1
(e
2
, e
1
) = 1
(e
2
, e
2
) = 0
Por tanto: G =
_
0 1
1 0
_
En efecto, comprobamos que (u, v) = x
t
Gy =
_
x
1
x
2
_
_
0 1
1 0
__
y
1
y
2
_
=
_
x
1
x
2
_
_
y
2
y
1
_
= x
1
y
2
+ x
2
y
1
Proposicin 39. (CAMBIO DE BASE)
Sea : E E K bilineal, e
1
, . . . , e
n
& e
/
1
, . . . , e
/
n
bases de E (dimE = n). Si
G =
_
g
j
i
_
es la matriz de en la base e
1
, . . . , e
n
, G
/
=
_
g
/j
i
_
la matriz de en la base
e
/
1
, . . . , e
/
n
, M =
_
m
j
i
_
3
la matriz de paso (de la base e
1
, . . . , e
n
a la e
/
1
, . . . , e
/
n
), se tiene:
G
/
= M
t
GM.
4
DEMOSTRACIN. g
/j
i
=
_
e
/
j
, e
/
i
_
=
_
n
k=1
m
k
j
e
k
,
n
l=1
m
l
i
e
l
_
=
k,l
m
k
j
m
l
i
(e
k
, e
l
) =
k,l
m
k
j
m
l
i
g
k
l
=
k,l
m
j
k
g
k
l
m
l
i
=
_
M
t
GM
_
j
i

Denicin 24. Una forma bilineal : E E K se llama simtrica ssi u, v E,
(u, v) = (v, u).
Observacin 34. Si G es la matriz de en una base e
1
, . . . , e
n
de E, es simtrica
ssi G es simtrica, ie, ssi G
t
= G.
DEMOSTRACIN. [] g
j
i
=
_
e
j
, e
i
_
hi p.
=
_
e
i
, e
j
_
= g
i
j
[] (u, v) = x
t
Gy =
_
x
t
Gy
_
t
= y
t
G
t
x
tt
= y
t
G
t
x
hi p.
= y
t
Gx = (v, u), con u, v
como en Prop.38.
5
3
Por tanto, denotaremos M
t
=
_
m
i
j
_
a su transpuesta. Dicho esto, recordamos lo ventajo-
so/intuitivo de esta notacin: el producto de matrices AB = C = (c
i
k
) est denido si el numero
de columnas de A = (a
i
j
) coincide con el numero de las de B = (b
l
k
), ie, si l = j (o, ms formalmen-
te, si ambos recorren el mismo conjunto de ndices), de modo que
n
j=1
a
i
j
b
j
k
= c
i
k
, lo que sugiere un
tentador se tachan las j.
4
Cf. cambio de bases en la matriz de una aplicacin lineal del A.L.: A
/
= M
1
AM
5
Ntese que x
t
Gy /
11
, luego coincide con su transpuesta.
3.1. PRODUCTO ESCALAR EUCLDEO 49
Denicin 25. Una forma bilineal : E E K es denida positiva ssi u
E 0, (u, u) > 0.
Nota. Por analoga, diremos que la matriz G asociada a es denida positiva ssi
u E 0, (u, u) > 0, ie, ssi u E 0, x
t
Gx > 0, con u como en Prop.38.
Observacin 35. v E, (v, 0) = 0 = (0, v) por la bilinealidad (sacando el
escalar 0). En particular, (0, 0) = 0.
Denicin 26. Sea E un R-ev de dimensin nita. Un producto escalar en E es
una forma bilineal simtrica (fbs, en adelante) : E E K denida positiva.
Notacin. Si es un producto escalar, (u, v) se escribe u v.
Denicin 27. Un ev eucldeo (eve, en adelante) es un R-ev E de dimensin nita
6
con un producto escalar jado. Lo denotamos por (E, )
Ejemplo 25. Eve estndar de dimn, (R
n
, ):
R
n
R
n

R
((x
1
, . . . , x
n
) , (y
1
, . . . , y
n
))
n
i=1
x
i
y
i
es una forma bilineal (inmediato).
es simtrica (por la conmutativa del producto).
es denida positiva: (x
1
, . . . , x
n
) ,= (0, . . . , 0) i[x
i
,= 0, luego (x, x) =
n
i=1
x
2
i
> 0, puesto que, i, x
2
i
0.
Denicin 28. Sea (E, ) un eve. La matriz asociada al producto escalar en una
base de E
7
se conoce como matriz de Gram.
Proposicin 40. (CRITERIO DE SYLVESTER) Sea E un R-ev de dimn, e
1
, . . . , e
n
una
base de E. Sea G /
nn
(R) simtrica, : E E R la forma bilineal de E denida
por esta matriz (en la base dada). Entonces: es producto escalar ssi todos los menores
principales de G son positivos, ie, ssi i 1, . . . , n, det G
i
> 0, siendo G
i
la matriz
deducida de G por interseccin de las primeras i las y las primeras i columnas.
DEMOSTRACIN. No la veremos. Quien tenga curiosidad, que acuda al nal
de XI.2 en [CL].
Ejemplo 26. La matriz 2 2 real
_
1 2
2 1
_
no dene un producto escalar, pues,
por ejemplo, para el vector de componentes
_
1 1
_
se tiene:
_
1 1
_
_
1 2
2 1
__
1
1
_
=
_
1 1
_
_
1
1
_
= 2 < 0, luego no es denida positiva.
Ejemplo 27. La matriz 2 2 real
_
2 1
1 2
_
s dene un producto escalar, pues,
v = (x, y) E 0,
_
x y
_
_
2 1
1 2
__
x
y
_
=
_
x y
_
_
2x + y
x +2y
_
=
2x
2
+2xy +2y
2
= x
2
+ (x + y)
2
+ y
2
= 0 (x, y) = (0, 0) v = 0
6
En el caso innito esto se conoce como espacio prehilbert.
7
Cf. Prop.38.
3.2. Normas
8
Denicin 29. Sea (E, ) un eve. u E, |u| :=

u u R es la norma de u.
Ejemplo 28. En el eve estandar, |(x
1
, . . . , x
n
)| =
_
n
i=1
x
2
i
Denicin 30. Un vector u E se llama unitario ssi |u| = 1.
Ejemplo 29. Si e E 0, el vector u :=
1
|e|
e es unitario: |u| =
1
|e|
|e| =
1
|e|
|e| = 1. De hecho, hay exactamente dos vectores unitarios en el s-ev e de E:
1
|e|
Propiedades.
Proposicin 41. u E, |u| 0, |u| = 0 u = 0.
DEMOSTRACIN. u ,= 0 u u
25
> 0 |u| > 0.
u = 0 u u = 0 |u| = 0.
Proposicin 42. u E, a R, |au| = [a[ |u|
DEMOSTRACIN. |au| =
_
(au) (au)
22
=
_
a
2
(u u) =
a
2
u u = [a[ |u|.
9
Proposicin 43. (DESIGUALDAD DE CAUCHY-SCHWARZ). Las siguientes formulacio-

nes son equivalentes: u, v E,
1. u v |u| |v|.
2. [u v[ |u| |v|.
10
3. (u v)
2
(u u)(v v).
11
4. Si G es la matriz de Gram, det G 0.
12
DEMOSTRACIN. Veamos que u, v E, (u v)
2
(u u)(v v):
Caso 1. v = 0 0 0
Caso 2. v ,= 0 v v ,= 0 0
_
_
u
uv
vv
v
_
_
2
=
_
u
uv
vv
v
_
_
u
uv
vv
v
_
=
(u u) +
(uv)
2
(vv)
2
$
$
$
(v v) 2
uv
vv
(u v) = (u u)
(uv)
2
vv
Como (v v) > 0, la desigualdad se conservara al multiplicar por l,
obteniendo: 0 (u u) (v v) (u v)
2
(u v)
2
(u u)(v v).
Corolario 6. u, v E, (u v)
2
= (u u)(v v) u, v son VLD
8
Cf.:
[R], A.3 (pg. 355357)
[CL], XI.3(pg. 231233)
9
Cuando se trabaja con la norma de un eve es habitual no operar directamente con ella sino ms
bien con su cuadrado para evitar cargar con las races. As, una posible va alternativa sera:
|au|
2
= (au) (au)
22
= a
2
|u|
2
([a[ |u|)
2
= [a[
2
|u|
2
= a
2
|u|
2
_
|au| = [a[ |u|
10
A priori uno podra pensar que esta es ms fuerte que la anterior, pues la vuelta es trivial: u v
[u v[ |u| |v|. Sin embargo, como [u v[ = m axu v, (u) v, distinguiendo casos podremos
obtener fcilmente la ida:
Caso 1. Si [u v[ = u v, por hiptesis, u v |u| |v|.
Caso 2. Si [u v[ = (u) v, por hiptesis, (u) v |u| |v| = [1[ |u| |v| = |u| |v|.
11
Se obtiene de elevar al cuadrado la anterior, proceso que es reversible.
12
Operando, se comprueba que (4) es equivalente a (3).
3.3. ORTOGONALIDAD 51
DEMOSTRACIN. [] Supongamos v ,= 0 (en caso contrario, el resultado es
trivial). Entonces, por la demostracin de la Prop.43,
_
_
u
uv
vv
v
_
_
= 0, luego (por
Prop.41) u =
uv
vv
v.
[] Sean u, v E, u = v con R, G la matriz de Gram. Entonces:
_
(u u)(v v) =
_
u
t
Gu
_ _
v
t
Gv
_
= u
t
G (v) v
t
Gv = u
t
Gvv
t
Gv
(u v)
2
=
_
u
t
Gv
_ _
u
t
Gv
_
= u
t
Gv (v)
t
Gv = u
t
Gvv
t
Gv

Proposicin 44. (DESIGUALDAD TRIANGULAR) u, v E, |u + v| |u| +|v|.
DEMOSTRACIN. |u + v| |u| + |v| |u + v|
2
= (u + v) (u + v)
(|u| +|v|)
2
|u|
2
+ |v|
2
+ 2u v |u|
2
+ |v|
2
+ 2 |u| |v| u v
|u| |v|, lo que es cierto por Prop.43.
Corolario 7. |u + v| = |u| +|v| u = v v = u, con R
>0
DEMOSTRACIN. Por la demostracin de la Prop.44, |u + v| = |u| +|v|
u v = |u| |v|, lo que por el Cor.6 equivale a decir que u, v son VLD.
3.3. Ortogonalidad
13
3.3.1. Subespacio ortogonal.
Denicin 31. Sea E un eve. Dados u, v E, decimos que u, v son (mutuamente)
ortogonales (u v) ssi u v = 0.
Observacin 36. u = 0 u v, v E.
DEMOSTRACIN. [] 0 E es ortogonal a todo vector v E pues 0 v = 0
[] Si u E es ortogonal a todo vector v E, en particular lo es para v = u,
luego u u = 0 u = 0
Proposicin 45. (DEFINICIN) Sea E un eve, F E un s-ev. Entonces el conjunto
F
:= u E[u F es un s-ev de E, que llamamos s-ev ortogonal de F.

14
Nota. u F ssi u v, v F.
DEMOSTRACIN.
0 F
, pues 0 v = 0, v F.
u F
, a R au F
, pues v F, (au) v = a(u v)

hi p
= 0.
u
/
, u
//
F
u
/
+ u
//
F
, pues v F, (u
/
+ u
//
) v = u
/
v + u
//
v
hi p
=
0.
Proposicin 46. E = F F
, F s-ev de E.
15
En particular, dimF +dimF
= dimE.
DEMOSTRACIN.
1. F F
= 0, pues u F F
, como u F & u F
, u u = 0, luego
u = 0.
13
Cf.:
[R], A.3 (pg. 357359) & A.5 (pg. 361362)
[CL], XI.2(228231) & XI.4XI.5 (pg. 233234)
14
No confundir con F
, F
= w E
[w(x) = 0, x E.
15
As, e E, e = e
F
+ e
F
, con e
F
F, e
F
F
.
2. F, F
E s-ev F + F
E s-ev dim
_
F F
_
= dimF +dimF

dimE. Por tanto, para tener la igualdad, bastara ver que dimF +dimF

dimE. Consideremos, pues, la aplicacin
E

F
u F R
v u v
Como es lineal
16
, tenemos, por la formula del rango de A.L., que dimE =
dim(ker ) + dim(Im). Por tanto, dado que ker = dimF
,
17
Im
F
, dimF
= dimF, nos queda que dimE dimF
+dimF.
Observacin 37. dimE = dimF
+dimF
Im = F
es un epimorsmo.
Por otra parte, si F = E obtenemos que es un isomorsmo cannico, pues
dim(ker ) = dimF
= 0.
Proposicin 47. Si F, F
1
, F
2
son s-ev del eve E, entonces:
1. F = F
:=
_
F
= u E[u F
2. (F
1
+ F
2
)
= F
1
F
2
3. (F
1
F
2
)
= F
1
+ F
2
DEMOSTRACIN.
1. F F
pues u F E, v F
, u v = 0. Por otra parte, dimF =

dimF
, pues dimF +dimF
= dimE = dimF
+dimF
.
2. Ejercicio para el lector.
3. (F
1
F
2
)
=
_
F
1
F
2
_
=
_
_
F
1
+ F
2
_
= F
1
+ F
16
Recordamos que el espacio dual de F, F
, es el espacio vectorial de todas las formas lineales de

F, /(F, R). As, tenemos que la aplicacin
(u + w) :F R
v (u + w) v
es igual a la suma de las
aplicaciones (u), (w), pues, v E, (u + w)(v) = (u + w) v = u v + w v = (u)(v) +(w)(v)
por la bilinealidad del producto escalar. Anlogamente, si a R, (au)(v) = (au) v = a(u v) =
a(u)v, v E.
17
u ker() u v = 0, v F u F
Bibliografa
[CL] Castellet, M. ; Llerena, I. lgebra lineal y geometra. 2 ed., Bellaterra: Publicacions UAB, 1994.
[R] REVENTS, A. ; Anitats, moviments i qudriques. Bellaterra : Universitat Autnoma de Barce-
lona. Servei de Publicacions, 2008.
[QR] Queysanne, M. ; Revuz , A. Geometra . Barcelona : Compaa Editorial Continental, 1976.
[X] Xamb, S. lgebra lineal y geometras lineales. 2 vols. Barcelona: Eunibar 1977.
53

Geometría Lineal

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Geometría Lineal

Caricato da

Copyright:

Formati disponibili

Geometra Lineal

Gerald Welters Dyhdalewicz

xy : x, y, B, luego F est determinado unvocamente por B.

Ejemplo 5. Para R, el conjunto B

Observacin 6. Los s-ea de dim0 de A son los simpletes p, con p A

Corolario 1. B A s-ea, dim A = n < , x A B B x =

Nota. Amparados en esta ultima observacin, a menudo (siempre y cuando no

Descripcin de los puntos de un s-ea mediante coord.

xy = y x. Esto pone de maniesto lo natural que resulta el

para cualquier par x

Corolario 3. (APLICACIN) Sea el sistema de PLI q

QR en el ed E de A al que llamamos la razn simple de la

, a la transposicin que permuta las posiciones 2 y 3, ie, (P, Q, R) =

5. ( (P, Q, R)) = (P, R, Q) = (R, P, Q), con ( ()) = (1 ) =

Nota. En la bibliografa referenciada pueden encontrarse diferentes acepciones

Proposicin 15. (TEOREMA DE THALES) En un plano afn con r, s, t rectas paralelas

Ejercicio. Escribir los teoremas de Menelao y Ceva.

. . . +1 = 0 . Decimos que la caracteristica de K es cero si no existe tal

Ejemplo 18. Vase section 2.2.1.

px), luego f queda completamente determinada

Aplicacin (teora de grupos)

Observacin 21. ker = f Af (A)[

, que es obviamente un subgrupo, pues es el

). As, p sera un punto jo de f ssi (x, y) = (x

qx. Por lo tanto,

Denicin 18. Sean K 1, p A. La homotecia de A de centro p y razn

px) = f (p) +0(

px) = f (p). En particular, dim(Im( f )) = 0,

f (Q) f (R) ( f (P) , f (Q) , f (R)) = .

Nota. Una continuacin natural a esto se encuentra en section 2.2.4. En concreto,

f (Q) f (R) f (P) , f (Q) , f (R) alineados) salvo

Corolario 5. En particular, la imagen por f de un baricentro es baricentro, ie, f

Ejemplo 20. Tomemos una ref de plano afn, p

. Sin embargo, para evitar posibles confusiones (y

Ejemplo 22. (REVISITADO)

Proposicin 43. (DESIGUALDAD DE CAUCHY-SCHWARZ). Las siguientes formulacio-

:= u E[u F es un s-ev de E, que llamamos s-ev ortogonal de F.

, pues v F, (au) v = a(u v)

= dimF, nos queda que dimE dimF

Observacin 37. dimE = dimF

, u v = 0. Por otra parte, dimF =

, pues dimF +dimF

, es el espacio vectorial de todas las formas lineales de

Potrebbero piacerti anche