Apuntes Espacio Afín 1
Apuntes Espacio Afín 1
Apuntes Espacio Afín 1
Tema 6
Espacio afn
Algebra
Lineal y Geometra, Curso 2010-2011
Indice
1. Primeras definiciones
3. Subespacios afines
4. Paralelismo
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,
~ 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.
~ 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.
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
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)
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
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
5.
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,
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
|a1 1 + . . . + an n + b|
p
.
a21 + . . . + a2n
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