Tema 6

Espacio afn


Algebra
Lineal y Geometra, Curso 2010-2011

Indice
1. Primeras definiciones

2. Independencia afn y sistemas de referencia

3. Subespacios afines

4. Paralelismo

5. Espacio afn eucldeo

1.

Primeras definiciones

~
Definici
on 1 Un espacio afn es un conjunto A junto con un espacio vectorial V = A
~
sobre el cuerpo K = R
o C (llamado espacio director) y una aplicacion A A A,

(P, Q) 7 P Q que cumpla:

~ Q 7
1. Para cada P A, la aplicaci
on A A,
P Q, es biyectiva.

2. Para cada P, Q, R A, P Q + QR = P R.
~
La dimensi
on n de A se define como la dimension de A.

A menudo se le llama al par (P, Q) A A vector ligado de origen P y extremo Q y a P Q

su correspondiente vector libre. Cuando no haya posibilidad de confusion, abusaremos de
~ y la
la nomenclatura llamando espacio afn a A (en lugar de a la tripleta formada por A, A
~
aplicacion A A A).
Proposici
on 1 Sea A un espacio afn.

~ existe un u
~ tal que
1. Fijado un punto O A, para cada v A,
nico P A
OP = v. Esto
se suele escribir: P = O + v.

2. P Q = 0 si, y s
olo si, P = Q.

3. P Q = QP .


4. Identidad afn del paralelogramo: Si P Q = RS, entonces P R = QS.
1

2.

Tema 6: Espacio afn

Independencia afn y sistemas de referencia

Lema 1 Sea A un espacio afn, y sean {P1 , . . . , Pk } puntos de A. Si {P1 Pi : i = 2, . . . , k}

es linealmente independiente, entonces, para cada j {1, . . . , k}, el conjunto {Pj Pi /i

{1, . . . , k}\{j}} es linealmente independiente.
Definici
on 2 Sea A un espacio afn. Dados k puntos de A, {P1 , . . . , Pk }, se dice que son

afnmente independientes si los vectores {P1 Pi : i = 2, . . . , k} son linealmente independientes.

Nota: El lema 1 asegura la consistencia de esta definicion, al ser independiente del punto
escogido como P1 .
En particular, si n < y se tienen n + 1 puntos independientes fijado uno de ellos se genera
una base del espacio vectorial director, lo que motiva la siguiente definicion.
Definici
on 3 Sea A un espacio afn con dim A = n(< ). Llamaremos sistema de referencia afn R a un conjunto ordenado (O, P1 , . . . , Pn ) de n + 1 puntos afnmente independientes o, equivalentemente, al par (O, B) formado por el primer punto O (llamado origen
~ relacionados por la igualdad Pi = O + vi ,
de coordenadas) y la base B = (v1 , . . . , vn ) de A,
i = 1, . . . , n.

cada punto Q A, los u

nicos escalares PR = (1 , . . . , n ) Rn tales que OQ =
PnPara

i=1 i OPi son las coordenadas afines de Q respecto del sistema de referencia R.

3.

Subespacios afines

Definici
on 4 Sea A un espacio afn. Un subespacio afn S es un subconjunto de A tal

~ el
que fijado P S, el conjunto S~ = {P Q : Q S} es un subespacio vectorial de A,
cual se denomina subespacio director de S. Si dim S = 1, lo llamaremos recta afn.
Si dim S = 2, lo llamaremos plano afn. Si dim S = n 1 (y n < ), lo llamaremos
hiperplano afn.
Nota: Es f
acil comprobar que la eleccion del punto P S no es relevante, en el sentido de

que si se escoge otro punto R S del subespacio afn, entonces el conjunto {RQ : Q S}
~
coincide con S.
~
Proposici
on 2 Sea A un espacio afn. Dados P A y un subespacio vectorial W de A,
existe un u
nico subespacio afn S de A tal que P S cuyo subespacio director es W .
En tal caso, escribiremos S = P + W = {P + w : w W }.
Proposici
on 3 Sea {S : I} un conjunto arbitrario de subespacios afines de A tal que
~ .
I S 6= . Entonces I S es un subespacio afn de subespacio director I S

Proposici
on 4 Dos subespacios afines P1 + S~1 , P2 + S~2 se intersecan si y s
olo si P1 P2
S~1 + S~2 .
En este caso, si P pertenece a la intersecci
on (P1 + S~1 ) (P2 + S~2 ) = P + (S~1 S~2 ).
Departamento de Geometra y Topologa

Tema 6: Espacio afn

Definici
on 5 Dado cualquier subconjunto no vaco C A el subespacio afn generado por C, que se denotar
a hCi, es el menor subespacio afn que contiene a C, esto es, la
interseccion de todos los subespacios afines de A que contienen C.
En particular, si S y S 0 son dos subespacios afines, su suma S + S 0 se define como el
subespacio afn generado por S S 0 .
Nota: La proposici
on 3 hace que la anterior definicion tenga sentido (observese que siempre
hay al menos un subespacio afn, el propio A, que contiene a C).
Denotaremos por hSiK , o, simplemente, hSi el subespacio (afn o vectorial, seg
un el caso)

generado por un subconjunto S. As, hP1 P2 iK = {P1 P2 : K}.

Lema 2 Dados dos subespacios afines P1 + S~1 , P2 + S~2 , su suma tiene por subespacio director

hP1 P2 iK + S~1 + S~2 .

Proposici
on 5 Dados dos subespacios afines S1 = P1 + S~1 , S2 = P2 + S~2 (de dimensiones
finitas):

dimS1 + dimS2 dim(S1 S2 )
si S1 S2 6=
dim(S1 + S2 ) =
(1)
~
~
dimS1 + dimS2 dim(S1 S2 ) + 1 si S1 S2 =
Proposici
on 6 Sea A un espacio afn. Dado un conjunto {P1 , . . . , Pk+1 } de k + 1 puntos
afnmente independientes, el subespacio afn S = hP1 , . . . , Pk+1 i es el u
nico subespacio que
los contiene y tiene dimensi
on k.
Proposici
on 7 Ecuaciones de un subespacio afn. Sea A un espacio afn. Se considera
un sistema de referencia afn R = (O, P1 , . . . , Pn ) de A.
1. Dada una matriz M Mmn (R) con m < n y rango(M ) = m, y un vector b Rm .
t = bt }, con dimensi
on
Entonces, existe un u
nico subespacio afn S = {P A : M PR
dim S = n m.
2. Dado un subespacio afn S de A, con dim S = k, existen una matriz M Mmn (R) con
m = nk < n y rango(M ) = m, y un vector b Rn tales que S = {P A : M PR = b}.
3. En cualquiera de los dos casos anteriores, las ecuaciones del subespacio director, respecto

de la base (OP 1 , . . . , OP n ) son M PR = 0.

4.

Paralelismo

Definici
on 6 Sea A un espacio afn. Sean S y S 0 dos subespacios afines de A. Se dice que S
es paralelo a S 0 si el subespacio director de S esta incluido en el subespacio director de S 0 . Si
los subespacios directores son iguales, se dice que S y S 0 son paralelos y se escribe SkS 0 .
Si ni S es paralelo a S 0 ni S 0 es paralelo a S, diremos que los subespacios son secantes
(o se cortan) si S S 0 6= y que se cruzan en caso contrario.
Proposici
on 8 Sea A un espacio afn. Sean S y S 0 dos subespacios afines de A.
1. Si S es paralelo a S 0 , entonces o bien S S 0 o bien S S 0 = .
2. Si SkS 0 , entonces o bien S = S 0 o bien S S 0 = .
Departamento de Geometra y Topologa

Tema 6: Espacio afn

3. Sea P A\S. Entonces, existe un u

nico subespacio afn S 0 que pasa por P tal que SkS 0 .
Cuando no exista posibilidad de confusion, se abusara de la nomenclatura diciendo que
S y S 0 son paralelos aun cuando s
olo se verifique una de las inclusiones de los subespacios
directores.
Definici
on 7 Sean A1 , A2 , A3 A tres puntos que caen sobre una misma recta afn tales
n simple (A1 A2 A3 ) K se define como el u
que A1 6= A2 . La razo
nico escalar tal que

A1 A3 = (A1 A2 A3 )A1 A2 .
Lema 3 En un espacio afn de dimensi
on n(< ), todo hiperplano (de dimensi
on n 1) y
toda recta no paralela al hiperplano se cortan exactamente en un punto.
Teorema 1 (de Thales de las paralelas). Sea A un espacio afn de dimensi
on finita, y
sean H1 , H2 y H3 tres hiperplanos distintos y paralelos. Sean r1 y r2 dos rectas no paralelas
a H1 con los puntos de intersecci
on {Ai } = r1 Hi , Bi = r2 Hi , i = 1, 2, 3. Entonces,
(A1 A2 A3 ) = (B1 B2 B3 )
Nota: en el ambiente algebraico introducido, la demostracion de este teorema clasico (uno de

los dos tradicionalmente atribuidos a Thales) se reduce a probar B1 + (A1 A2 A3 )B1 B2 H3 .

5.

Espacio afn eucldeo

Definici
on 8 Un espacio afn eucldeo es un espacio afn A, dotado de una metrica
~ Denotaremos a un tal espacio (A, A,
~ g) (sobreentendiendo
eucldea g en su espacio director A.
~
la aplicaci
on A A A) o, simplemente A, si se sobreentiende tambien el producto escalar
eucldeo.
~ g), un sistema de referencia cartesiano
Definici
on 9 En un espacio afn eucldeo, (A, A,
(u ortonormal) R = {O, P1 , . . . , Pn } es un sistema de referencia afn tal que la base

(OP 1 , . . . , OP n ) es una base ortonormal. Las rectas hO, Pi i se denominan ejes cartesianos.
Las coordenadas afines respecto de un sistema de referencia cartesiano se denominan coordenadas cartesianas.
~ g) un espacio afn eucldeo. Sean S y S 0 dos subespacios afines.
Definici
on 10 Sea (A, A,
0
Se dice que S y S son ortogonales o perpendiculares si S~ S~0 . Esta propiedad se
denotara S S 0 .
~ g) un espacio afn eucldeo. Dado un subespacio afn S y P A,
Proposici
on 9 Sea (A, A,
existe un u
nico subespacio afn S 0 tal que P S 0 , S S 0 y dim S + dim S 0 = dim A.
Definici
on 11 Dado el subespacio afn S, al subespacio afn S 0 proporcionado por la proposicion anterior se le llama suplemento ortogonal de S que pasa por P .
~ g), se definen:
Definici
on 12 En un espacio afn eucldeo (A, A,

1. La distancia en A como la aplicacion d : A A R dada por d(P, Q) = kP Qk.

Departamento de Geometra y Topologa

Tema 6: Espacio afn

2. El angulo que forman dos rectas l, r que se cortan en O como el angulo que forman un
vector director de l y un vector director de r.
Notas. (1) La aplicaci
on d satisface todas las propiedades que definen una distancia abstracta. (2) De la definici
on es inmediato que, en un plano afn eucldeo, si r y s son dos rectas
distintas paralelas y t es otra recta secante a las anteriores, entonces, los angulos (rt) y (st)
son iguales. M
as a
un, esta propiedad se mantiene para angulos orientados (en el orden en que
se han escrito las rectas) una vez se escoja una orientacion del espacio director del plano1 .
goras). Sean tres puntos P, Q, R de un espacio afn
Proposici
on 10 (Teorema de Pita

~ g) tales que g(
eucldeo (A, A,
P Q, QR) = 0. Entonces:
d(P, Q)2 + d(Q, R)2 = d(P, R)2 .
~ g), se define su distancia d(S, S 0 ) como el nfimo
Dados dos subespacios afines S, S 0 de (A, A,
de las distancias entre puntos de uno y otro, esto es, Inf{d(P, P 0 ) : P S, p0 S}. De
la continuidad de la distancia como funcion se demuestra que este nfimo es, realmente, un
mnimo, esto es, existen P0 S, P00 S 0 tales que d(P0 , P00 ) = d(S, S 0 ). Mas a
un, del Teorema
de Pitagoras se deduce que tales P0 , P00 deben caer en una recta ortogonal a ambos subespacios.
Proposici
on 11 Se consideran un punto P y un hiperplano H de un un espacio afn eucldeo
~
~ es un vector unitario ortogonal a H:
~
(A, A, g). Si X H es un punto cualquiera y u A

d(P, H) = |g(P X, u)|.

M
as a
un, si en un sistema de referencia cartesiano las coordenadas de P son (1 , . . . , q
n ) y la
P
~ de coordenadas (a1 , . . . , an )/ P a2
ecuaci
on de H es i ai xi +b = 0 entonces el vector u H
i i
~
es unitario y ortogonal a H y se verifica:
d(P, H) =

|a1 1 + . . . + an n + b|
p
.
a21 + . . . + a2n

Nota. (1) Observese que, en particular, si P H se obtiene de la u

ltima igualdad d(P, H) =
0. (2). Los vectores ortogonales a hiperplanos afines sirven tambien para definir y calcular el
angulo entro los dos hiperplanos, de manera obvia.
Nos restringimos a continuaci
on a espacios que modelan nuestra intuicion sobre el espacio
fsico tridimensional.
~ g) un espacio afn eucldeo real de dimensi
Proposici
on 12 Sea (A3 , A,
on 3. Se considera
~
el tensor determinante det fijado por g y una de las orientaciones de A, y el correspondiente
producto vectorial . Sea un punto P0 A3 y sean r1 = P1 + hv1 iR , r2 = P2 + hv2 iR dos rectas
de A3 que se cruzan. Entonces:

k P0 P1 v1 k
d(P0 , r1 ) =
k v1 k

|det(v1 , v2 , P1 P2 )|
d(r1 , r2 ) =
k v1 v2 k
Nota. La primera de estas dos expresiones es tambien u
til para calcular la distancia entre
dos rectas paralelas.
1

Esta propiedad suele usarse en la geometra habitual (ense

nada en formaci
on elemental) para demostrar
que, en un plano afn eucldeo los a
ngulos de un tri
angulo suman . A su vez, esta u
ltima propiedad puede
redemostrarse usando la geometra lineal aqu desarrollada de diversas maneras.

Departamento de Geometra y Topologa