Tema6 EspaciosAfines
Tema6 EspaciosAfines
Tema6 EspaciosAfines
Introducción
La noción de espacio afı́n formaliza las ideas geométricas intuitivas que permiten trabajar a la
vez con puntos y vectores. Aparecerán dos operaciones básicas (e interrelacionadas), que son:
“Sumar un vector a un punto” ( o “trasladar un punto por un vector”) para obtener un punto
(dibujo de la izquierda).
En el plano y el espacio afı́n tridimensional “usuales” (que denotaremos por E 2 (R) y E 3 (R), véanse
los Ejemplos 6.5) la intuición geométrica tendrá un papel fundamental para interpretar las definiciones
y para sugerir demostraciones. En ellos habrá que interpretar los dibujos de estas notas.
Sin embargo, la noción de espacio afı́n tiene otras muchas aplicaciones no-geométricas (o geométri-
cas sobre cuerpos distintos de R) que por lo general no exploraremos en estas notas.
Las variedades afines serán las “subestructuras” de un espacio afı́n. En el plano usual se corres-
ponderán con los puntos, las rectas y el propio plano, mientras que en el espacio tridimensional usual
se corresponderán con los puntos, las rectas, los planos y el propio espacio.
El concepto de sistema de referencia tiene un papel análogo al de las bases en los espacios
vectoriales y permite tomar coordenadas y describir las variedades mediante ecuaciones. En muchas
ocasiones la elección de un sistema de referencia adecuado será la clave para resolver un problema.
En el estudio de los espacios afines no intervienen las nociones de distancia y perpendicularidad
entre puntos o entre variedades, que entrarán en juego en un capı́tulo posterior.
169
CAPÍTULO 6. ESPACIOS AFINES Y VARIEDADES AFINES 170
Definición 6.1 Un espacio afı́n sobre un cuerpo K es una terna (E, V, ϕ) formada por:
A1) Dados P ∈ E y ~v , w
~ ∈ V se tiene ϕ(ϕ(P, ~v ), w)
~ = ϕ(P, ~v + w);
~ o sea (P + ~v ) + w
~ = P + (~v + w)
~
Cabe destacar que no se define una “suma de puntos”, y de hecho tal cosa no tiene sentido
−−→ −−→
geométrico. Por otra parte, la igualdad P + P Q = Q “invita” a escribir P Q como Q − P , expresión
que es razonable en varios sentidos (por ejemplo, es cierta “en coordenadas”), pero que evitaremos
usar porque puede hacer pensar que existe la suma de puntos.
Ası́ pues, hay dos construcciones básicas en los espacios afines1 : sumar un punto y un vector para
obtener un punto (definición) y unir dos puntos para obtener un vector (condición A3).
Vamos a ver que, fijado cualquier punto O ∈ E (que consideraremos como “origen de vectores”),
existen biyecciones inversas entre V y E en las que O se identifica con el vector nulo. De alguna forma,
E es una “copia democrática” de V en la que cualquier punto puede hacer el “papel destacado” del ~0:
1
De hecho, se puede dar una definición alternativa de espacio afı́n partiendo de la segunda construcción. En este caso
se consideran ternas (E , V, ψ) en las que ψ : E × E → V satisface:
Para cada P ∈ E la aplicación ψP : E → V dada por ψP (Q) = ψ(P, Q) es biyectiva.
Para todo P, Q, R ∈ E se tiene que ψ(P, Q) + ψ(Q, R) = ψ(P, R) (relación de Chasles).
Las definiciones son equivalentes: si ψ : E × E → V satisface estas condiciones entonces ϕ(P, ~u) = ψP−1 (~u) satisface las
−−
→
de la Definición 6.1, mientras que si ϕ : E × V → E es como en la definición entonces ψ(P, Q) = P Q satiface estas
condiciones.
CAPÍTULO 6. ESPACIOS AFINES Y VARIEDADES AFINES 171
Definición 6.4 Esta biyección permite dotar a E de una estructura de espacio vectorial inducida por
la de V , definiendo la suma y el producto por escalares como sigue (P, Q ∈ E, λ ∈ K):
−−→ −−→ −−→
P +̂Q = O + (OP + OQ) λ · P = O + λ(OP )
Espacio afı́n trivial: Un espacio afı́n de dimensión 0 (o sea, con espacio vectorial asociado
−
−→
trivial) consiste en un único punto, pues dados puntos P y Q se tiene Q = P + P Q = P + ~0 = P .
Espacio afı́n producto: Si (E, V, ϕ) y (E ′ , V ′ , ϕ′ ) son dos K-espacios afines, entonces su “pro-
ducto” (E × E ′ , V × V ′ , ϕ × ϕ′ ) queda dotado de estructura de espacio afı́n definiendo
−−−−−−−−−−−→ −−→
5. (P + ~v )(Q + w) ~ − ~v . En particular:
~ = PQ + w
−−−−−−→ −−→ −−−−−−→ −−→ −−−−−−→ −−−−−−→
P (Q + w)~ = PQ + w~ (P + ~v )Q = P Q − ~v Q(Q + w)
~ =w
~ (P + ~v )P = −~v .
−−→
~ ⇔ P Q = ~v − w.
6. P + ~v = Q + w ~
−−→ −−→ −−→ −−→
7. P Q = P ′ Q′ ⇔ P P ′ = QQ′ (regla del paralelogramo).
En particular se tiene:
Cambios de coordenadas
En este apartado escribiremos las coordenadas en columnas.
Es una situación en la que claramente NO se deben hacer las simplificaciones en la notación que se
acaban de comentar, pues hay dos sistemas de referencia involucrados y es por tanto esencial indicar
en cuál se toman coordenadas en cada momento.
Primero recordemos lo que sucede en el contexto vectorial: Si tenemos dos bases B y B ′ de V , para
“pasar” de coordenadas en B a coordenadas en B ′ basta con conocer las coordenadas en B ′ de los
vectores de B = {~v1 , . . . , ~vn }, pues éstas forman las columnas de la “matriz de cambio” de B a B ′ y
para pasar coordenadas basta con multiplicar por esa matriz:
En el contexo afı́n, para cambiar coordenadas entre dos referenciales ℜ = (O, B) y ℜ′ = (O′ , B ′ )
de E sólo necesitamos conocer, además de la matriz MB′ ,B , cuáles son las coordenadas de O en ℜ′ :
−−→
X0 = [O]ℜ′ = [O′ O]B′
(o sea, las coordenadas en el referencial de llegada del “otro objeto” del referencial de partida).
En efecto, dado un punto arbitrario P , la relación entre sus coordenadas en ℜ y en ℜ′ viene dada
por:
−−→
X = [P ]ℜ = [OP ]B −−→ −−→ −−→ −−→
−−→ ⇒ X ′ = [O′ P ]B′ = [O′ O]B′ + [OP ]B′ = X0 + M · [OP ]B = X0 + M X
X ′ = [P ]ℜ′ = [O′ P ]B′
lo que se resume en
X ′ = X0 + M X
CAPÍTULO 6. ESPACIOS AFINES Y VARIEDADES AFINES 174
En esta igualdad, la información que aporta la primera entrada es trivial (1 = 1) y la que aportan las
siguientes es exactamente la misma que la que aporta X ′ = X0 + M X. Es una notación “peor” por
cuanto las matrices y vectores tienen tamaño n + 1, pero es “mejor” pues la fórmula se reduce a un
producto, en lugar de un producto y una suma.
Definición 6.8 Dados P ∈ E y ~0 6= ~v ∈ V , la recta que pasa por P con dirección < ~v > (o con
vector director ~v ) es el conjunto
~v
P + <~v > = {P + λ~v }λ∈K P
Se dice que dos rectas ℓ y ℓ′ son paralelas (notación ℓkℓ′ ) si sus vectores directores son proporcionales.
Las siguientes propiedades tienen una interpretación geométrica evidente y una demostración sen-
cilla que se deja como ejercicio (cada apartado se puede apoyar en los anteriores):
Proposición 6.9 Dada una recta ℓ = P + <~v > (con ~v 6= 0) en un espacio afı́n E, se verifican:
−−→
1. Un punto X está en ℓ si y sólo si P X es proporcional a ~v .
2. ℓ = P + < r~v > para cualquier r 6= 0 (el vector director se puede cambiar por uno proporcional).
3. ℓ = P ′ + <~v > para cualquier P ′ ∈ ℓ (el punto se puede cambiar por otro de la recta).
4. Dado un punto Q ∈ E, existe una única recta que pasa por Q y es paralela a ℓ. Viene dada
explı́citamente por Q+ <~v >.
Además, Dados dos puntos A 6= B en E, existe una única recta que los contiene. Se denota por AB,
−
−→
viene dada explı́citamente por AB = A+ < AB > y se llama la recta que pasa por A y B.
Definición 6.10 Se dice que una serie de puntos de un espacio afı́n E están alineados si existe una
recta que los contiene a todos.
A+B −
−→ B
:= A + 12 AB
2 A M
1 −
−→
CUIDADO: 1) Hay que exigir 2 6= 0 (donde 2 = 1 + 1) para que tenga sentido 2 AB. En particular,
la noción de punto medio no está definida cuando el cuerpo es K = Z2 .
2) La notación (A + B)/2 no es más que eso, una notación (que funciona bien en coordenadas),
pero no supone que se hayan definido sumas de puntos ni productos de puntos por escalares.
1 −−−−−−−−−−−→
1 −−→ 1−−→ 1
A + ~v + (A + ~v )(B + w)
~ = A + ~v + AB + w ~ − ~v = A + AB + (~v + w) ~
2 2 2 2
Definición 6.13 Dados tres puntos alineados A, B, C con A 6= B, el punto C está en la recta AB.
−→ −−
→ −→ −−
→
Por tanto AC es proporcional a AB 6= 0, o sea existe un único escalar λ con AC = λ AB.
Este escalar se llama la razón simple de A, B, C (en ese orden) y se denota por λ = (A, B, C).
λ
−→ −−
→ C
λ = (A, B, C) :⇔ AC = λ AB A
B
1
Nótese que (A, B, C) = 0 equivale a C = A, mientras que (A, B, C) = 1 equivale a C = B.
CAPÍTULO 6. ESPACIOS AFINES Y VARIEDADES AFINES 176
6.1.6. Ejercicios
COORDENADAS
5. (Cambio de coordenadas).
En E 3 (R) se considera el referencial cartesiano ℜ = (O; B), donde O = (1, 1, 1) y B = {e1 , e2 , e3 }
es la base canónica de R3 , y se definen
Comprueba que ℜ′ = (O′ ; {e′1 , e′2 , e′3 }) es un referencial cartesiano y encuentra las fórmulas
matriciales para el cambio de coordenadas de ℜ a ℜ′ y para el cambio inverso.
Si las coordenadas de un punto P respecto a ℜ son (0, −1, 3), encuentra sus coordenadas en ℜ′ .
Si las coordenadas de un punto Q respecto a ℜ′ son (2, 4, 1), encuentra sus coordenadas en ℜ.
CAPÍTULO 6. ESPACIOS AFINES Y VARIEDADES AFINES 177
• Un triángulo es un conjunto de 3 puntos no alineados ABC. Los puntos se llaman vértices del
triángulo y las rectas AB, BC y CA son los lados del triángulo; en particular AB es el lado
opuesto al vértice C, etcétera.
Pondremos A′ = (B + C)/2 (punto medio del lado opuesto a A), etcétera. Las medianas del
triángulo son las rectas AA′ , BB ′ y CC ′ que unen cada vértice con el punto medio del lado
opuesto.
−−→ −−→
6. Demuestra que, con la notación anterior, se tiene C ′ B ′ = 12 BC.
~ = ~0
~u + ~v + w y A + (~u − w)
~ = B + (~v − ~u) = C + (w
~ − ~v )
−−→ −−→ −−→
Si M es ese punto común (el baricentro del triángulo ABC) , demuestra que M A+ M B+ M C =
~0 y que A, A′ , M están alineados (y del mismo modo lo están B, B ′ , M y C, C ′ , M ).
Interprétalo como el hecho de que las tres medianas de un triángulo se cortan en un punto
(baricentro) que ”divide a las medianas a 2/3 del vértice y a 1/3 del punto medio del lado
opuesto”.
C
w
~ C
−w
~ B′ A′
~v
A B
~u A B
C C
A B A B
Dibujando “sin prolongar” los lados (sólidos) y las diagonales (punteadas) se tiene, por ejemplo
C B
D D
A B A C
c) AB k A′ B ′ y AA′ k BB ′ .
B
A+ B′ A′ +B A
d) = .
2 2
−−→
Indicación: (a)⇔(b) por la regla del paralelogramo. Para (c)⇒(a,b), escribe AB ′ de dos maneras
distintas y usa la independencia lineal que se deduce del hecho de que A, B y A′ no estén
alineados.
10. En un plano afı́n se considera un cuadrilátero ABCD. Demuestra que, si P , Q, R y S son
−−→ −→
los puntos medios de AB, BC, CD y DA, respectivamente, entonces P Q = SR. Por tanto, o
bien esos cuatro puntos medios están alineados o bien forman un paralelogramo.
(Se puede hacer una demostración directa, o también una muy sencilla usando el Problema 6).
11. (La media de las bases en un trapecio).
Si un cuadrilátero ABB ′ A′ tiene dos lados opuestos paralelos (por ejemplo, AA′ k BB ′ ) se dice
que es un trapecio y que AA′ y BB ′ son sus bases.
Demuestra que, en este caso, si M y M ′ son los puntos medios de los otros lados (AB y A′ B ′ ),
entonces también M M ′ es paralela a las bases; de hecho
−−−→′ 1 −−→′ −−→′
MM = AA + BB
2
BARICENTROS
13. Con la definición anterior, demuestra los siguientes enunciados para puntos de un plano afı́n real:
14. Sea E = E 2 (Z2 ) el plano afı́n sobre el cuerpo Z2 , que se puede representar como
b b
b b b
15. Sea E = E 2 (Z3 ) el plano afı́n sobre el cuerpo Z3 , que se puede representar como b b b
b b b
a) ¿Cuántos puntos tiene E? ¿Cuántos puntos contiene cada recta de E?
b) ¿Cuántas rectas pasan por cada punto de E? ¿Cuántas rectas hay en E?
b’) ¿Puedes responder las preguntas anteriores cambiando el 3 por un primo arbitrario p?
c) Observa que el punto medio de A 6= B es “el otro punto” de la recta AB.
d) Comprueba que las tres medianas del triángulo de vértices (0, 0), (1, 0) y (2, 2) son paralelas,
luego no se cortan en el baricentro (que no existe pues 3 = 0).
¿Son también paralelas las medianas del triángulo de vértices (0, 0), (2, 0) y (0, 2)?
RAZÓN SIMPLE
TEOREMAS CLÁSICOS
′ ′ ′ ′ ′ ′
A′ ℓ′
AA k BB k CC ⇒ (A, B, C) = (A , B , C ) B′
C′
AB k A′ B ′ y AC k A′ C ′ ⇒ BC k B ′ C ′
AB k A′ B ′ y AC k A′ C ′ ⇒ BC k B ′ C ′
AB ′ k A′ B y AC ′ k A′ C ⇒ BC ′ k B ′ C
AB ′ k A′ B y AC ′ k A′ C ⇒ BC ′ k B ′ C
24. Dados en el plano afı́n tres puntos alineados y distintos A, B, C, y dos puntos A′ 6= B ′ , ¿cómo
construirı́as “con escuadra y cartabón” un punto C ′ tal que (A, B, C) = (A′ , B ′ , C ′ )?
L = P + W := {P + w}
~ w∈W
~
Se dice entonces que la variedad L pasa por el punto P , aunque el punto no está determinado
unı́vocamente por L (de hecho veremos que P se puede sustituir por cualquier otro punto de L, como
ya vimos para las rectas).
Lo que sı́ está unı́vocamente determinado por L, como vamos a ver enseguida, es el subespacio
W . A este subespacio se le llama la dirección de L, y a la dimensión que tenga este subespacio se le
llama también la dimensión de L:
Una variedad de dimensión 0 es, claramente, un conjunto formados por un único punto.
Una variedad de dimensión 1 es, claramente, una recta (afı́n) como las descritas anteriormente.
Una recta afı́n L está determinada por cualquier punto de L y cualquier vector no nulo de dir(L), al
que llamaremos vector director de la recta.
Una variedad de dimensión 2 se llama un plano afı́n, que queda determinado por cualquier punto
de L y cualquier par de vectores linealmente independientes de dir(L).
Una variedad de dimensión n − 1 (donde n = dim(E)) se llama un hiperplano afı́n.
Para cualquier P se tiene P + V = E; o sea, la única variedad afı́n con dirección V es el propio E.
Las siguientes propiedades básicas las usaremos a menudo sin decirlo expresamente:
−−→
3. Llamemos L′ = P ′ + W y veamos que L′ = L. Como P ′ ∈ L, se tiene P P ′ ∈ W y ası́, usando 1:
−−′→ −−→ −−→′ −−′→
Q ∈ L′ ⇔ P Q∈W ⇔ PQ = PP + P Q ∈ W ⇔ Q∈L
Si sólo se tiene un contenido dir(L) ⊆ dir(L′ ) entre los subespacios se dice que L es débilmente
paralela a L′ (notación L << L′ ), aunque a veces se olvida el “débilmente” cuando es muy evidente:
por ejemplo, se puede decir sin riesgo de confusión que una recta es paralela a un plano.
Es obvio que “ser paralelas” establece una relación de equivalencia en el conjunto de las variedades
afines de E, cuyas clases de equivalencia están en biyección con los subespacios vectoriales de V .
Por otra parte, “ser débilmente paralelas” es casi una relación de orden2 : Es reflexiva y transitiva
pero no antisimétrica, pues L << L′ y L′ << L implica LkL′ , pero no necesariamente L = L′ .
Construir variedades paralelas a otras es sencillo, como muestra la siguiente afirmación evidente
que generaliza el conocido postulado de las paralelas de Euclides (“por un punto exterior a una
recta pasa una y sólo una paralela a dicha recta”):
Dados en E un punto P y una variedad afı́n L, existe una única variedad afı́n de E que
pasa por P y es paralela a L; dicha variedad es P + dir(L).
Otras propiedades sencillas del paralelismo son las siguientes (la segunda es una generalización del
clásico “dos rectas paralelas y distintas no se cortan”):
2
Compárese con lo que le pasa a la divisibilidad en Z: es reflexiva y simétrica, pero si a y b se dividen mutuamente
no podemos deducir que a = b, sólo a = ±b.
CAPÍTULO 6. ESPACIOS AFINES Y VARIEDADES AFINES 183
1. L << L′ ⇒ [L ⊆ L′ ó L ∩ L′ = ∅].
2. LkL′ ⇒ [L = L′ ó L ∩ L′ = ∅].
Proposición 6.21 Sea {Li }i∈I una familia de variedades afines de E con direcciones respectivas Wi .
Si la intersección ∩I Li no es vacı́a entonces es una variedad afı́n de E con dirección ∩I Wi .
Demostración: Por hipótesis existe P ∈ ∩I Li . Por tanto P está en Li (para cada i ∈ I) y sabemos
pues que Li = P + Wi . Entonces se tiene ∩I Li = P + ∩I Wi (lo que prueba el enunciado), pues:
−−→ −−→
Q ∈ P + ∩I Wi ⇔ P Q ∈ ∩I Wi ⇔ P Q ∈ Wi (∀i ∈ I) ⇔ Q ∈ P + Wi = Li (∀i ∈ I) ⇔ Q ∈ ∩I Li
En un plano afı́n dos rectas no paralelas son complementarias, luego su intersección es un punto.
En un espacio afı́n tridimensional un plano P y una recta L que no sea débilmente paralela al
plano (dir(L) 6⊆ dir(P)) son variedades complementarias y su intersección es un punto.
Más generalmente:
Proposición 6.28 Dados puntos P1 , P2 , . . . , Pn de E se tiene3
−−−→ −−−→ −−−→
V(P1 , P2 , . . . , Pn ) = P1 + < P1 P2 , P1 P3 , . . . , P1 Pn >
−−−
→
Demostración: V(P1 , P2 , . . . , Pn ) pasa por P1 (¿por qué?) y su dirección contiene a los P1 Pj (¿por
qué?), lo que demuestra el contenido ⊇ (¿por qué?).
−−−→
El otro contenido se tiene porque la variedad P1 + < {P1 Pj }j6=1 > contiene a P1 y también a todos
−−−→
los Pj = P1 + P1 Pj , luego es una de las que se intersecan en la definición de V(P1 , P2 , . . . , Pn ).
Suma de variedades
La unión de variedades afines no es en general una variedad afı́n. Por ejemplo, no lo es la unión
de dos rectas que se cortan en un punto: en caso de serlo su dirección contendrı́a dos vectores no
colineales y tendrı́a dimensión 2, luego la unión de esas dos rectas habrı́a de ser todo el plano. (Véase
también el Problema 10 en este apartado).
P
Definición 6.29 La suma de una familia {Li }I de variedades (denotada por I LI o por L1 +· · ·+Ln
si la familia es finita) es la variedad engendrada por su unión ∪I Li . Por tanto es la menor variedad
que contiene a la unión o, lo que es lo mismo, la menor variedad que contiene a cada Li .
Por ejemplo, si una de las variedades que se suman (digamos Lj ) contiene al resto, entonces la
suma es la propia Lj .
3 −−−→ −−−→ −−−→
Como el orden es irrelevante, se tiene también por ejemplo V(P1 , P2 , . . . , Pn ) = P2 + < P2 P1 , P2 P3 , . . . , P2 Pn >
CAPÍTULO 6. ESPACIOS AFINES Y VARIEDADES AFINES 185
Si una variedad es una recta L = P + < ~v > con ~v 6= ~0, y la otra es un punto L′ = {P ′ } con
−−→
P ′ 6∈ L, la suma es el plano P + <~v , P P ′ >.
Si L = P + < ~v > y L′ = P ′ + < ~v > son rectas paralelas distintas, su suma es el plano
−−→
P + <~v , P P ′ >.
6.2.5. Ejercicios
1. (Posición relativa de variedades afines).
Determinar, en función de los elementos que las definen, las posibles posiciones relativas de las
siguientes variedades:
6. En un plano afı́n se consideran dos rectas L1 y L2 que se cortan en un punto. Demuestra que L1
corta a todas las rectas paralelas a L2 . ¿Es cierto este resultado en un espacio afı́n tridimensional?
8. En un espacio afı́n tridimensional, demuestra que dos rectas P1 + <~v1 > y P2 + <~v2 > se cruzan
−−−→
si y sólo si el conjunto de vectores {~v1 , ~v2 , P1 P2 } es linealmente independiente.
Ecuaciones paramétricas
Sea L = P + W una variedad cuya dirección W viene dada por un sistema generador {~v1 , . . . , ~vm }.
Entonces los puntos X que están en L quedan descritos por la expresión
Es decir, X ∈ L si y sólo si existen escalares que encajan en esa expresión. Esto permite “fabricar”
puntos de L sin más que tomar escalares λi arbitarios.
En coordenadas, si [X]ℜ = (x1 , x2 , . . . , xn )t , [P ]ℜ = (p1 , p2 , . . . , pn )t y [~vi ]B = (v1i , v2i , . . . , vni )t
(puestas como vectores-fila traspuestos, o sea como vectores-columna) la expresión se traduce en
x1 p1 v11 v1m
x1 = p1 + λ1 v11 + · · · + λm v1m
x2 p 2 v21 v2m x2 = p2 + λ1 v21 + · · · + λm v2m
.. = .. + λ1 .. + · · · + λm .. ó ..
. . . .
.
xn pn vn1 vnm xn = pn + λ1 vn1 + · · · + λm vnm
Éstas son unas (no son únicas) ecuaciones paramétricas de la variedad L en el referencial ℜ.
Si los vectores ~v1 , , . . . , ~vm son linealmente independientes entonces m (el número de parámetros)
es la dimensión de W y, por definición, es también la dimensión de la variedad.
Si no lo son, conviene cambiarlos por un conjunto linealmente independiente que genere el mismo
subespacio. Ası́ no nos engañamos sobre la dimensión de la variedad y trabajamos con el menor número
posible de parámetros.
CAPÍTULO 6. ESPACIOS AFINES Y VARIEDADES AFINES 188
Rectas: La que pasa por un punto P y tiene como vector director ~v viene dada por4
X = P + λ~v (λ ∈ K)
−−→
La que pasa por los puntos P 6= Q se obtiene tomando ~v = P Q (con coordenadas “Q − P ”).
Planos: El que pasa por P con dirección generada por los vectores (linealmente independientes)
~v y w
~ viene dado por
X = P + λ~v + µw ~ (λ, µ ∈ K)
−−→ −→
El que pasa por los puntos no alineados P , Q y R se obtiene tomando ~v = P Q y w
~ = P R.
Por tanto los puntos de L (sus coordenadas) son las soluciones del sistema de ecuaciones con matriz
(A | B) (donde B es la columna AP )
Éstas son unas (no son únicas) ecuaciones cartesianas o implı́citas de la variedad L en ℜ.
a1 x1 + · · · + an xn = a1 p1 + · · · + an pn
4
Mostramos expresiones X = P + λ1~v1 + · · · de las que se obtienen las ecuaciones paramétricas poniendo las coorde-
nadas de P y los ~vi .
CAPÍTULO 6. ESPACIOS AFINES Y VARIEDADES AFINES 189
También es trivial obtener las ecuaciones de la variedad paralela a L que pasa por un punto P .
Esta variedad no es más que L′ = P ′ + W (con la misma dirección) y en consecuencia:
Si tenemos unas ecuaciones paramétricas de L, las de L′ se obtienen cambiando el punto P por
P ′.
Si tenemos unas ecuaciones implı́citas (A | B) de L, las implı́citas de L′ son (A | AP ′ ).
Tenemos pues un sistema en cuya matriz aparecen unos parámetros (los xi ), y se trata sólo de
discutir ese sistema, o sea de decir qué condiciones han de cumplir los parámetros xi para que sea
compatible. Estas condiciones serán las ecuaciones (lineales) en los xi que buscamos.
La discusión se puede hacer al menos de dos formas: Usando el método de Gauss o “por menores”.
Si se usa el método de Gauss, una vez puestos todos los pivotes posibles en la matriz de coefi-
cientes, el sistema será compatible cuando no aumente el rango de la matriz ampliada, o sea cuando
se anulen las expresiones de la última columna “que de no ser nulas harı́an aparecer pivotes”.
CAPÍTULO 6. ESPACIOS AFINES Y VARIEDADES AFINES 190
El trabajo con menores funciona bien5 cuando los m vectores iniciales (los de las ecuaciones
paramétricas) son linealmente independientes, porque entonces el rango de la matriz de coeficientes
es m y el sistema es compatible cuando no aumenta el rango en la matriz ampliada, o sea cuando
v11 v12 · · · v1m x1 − p1
v21 v22 · · · v2m x2 − p2
rg
··· ··· ··· ···
= m
···
vn1 vn2 · · · vnm xn − pn
Por tanto, seleccionando m filas de la matriz de coeficientes con determinante no nulo, basta con
imponer la condición de que se anulen los n − m determinantes que resultan de orlar aquél con el resto
de filas.
Para hiperplanos (m = n − 1) el único determinante que hay que considerar es el “total”.
Para calcular las ecuaciones implı́citas del plano de E 4 (R) que pasa por el punto P = (1, −2, 2, −1) y
tiene dirección marcada por los vectores ~v = (1, 2, 1, 3) y w
~ = (2, 4, 3, 1), hay que discutir el sistema
cuya matriz es la primera de las que siguen. Para ello podemos usar el método de Gauss
1 2 x−1 1 2 x−1 1 2 x−1
2 4 y+2 0 0 y − 2x + 4 → 0 0
y − 2x + 4 ←
1 3 z−2 → 0
1 z−x−1 0 1 z−x−1
3 1 t+1 0 −5 t − 3x + 4 0 0 t − 8x + 5z − 1 ←
−2x + y + 4 = 0
y anular los “candidatos a pivotes en la última columna”, obteniendo .
t − 8x + 5z − 1 = 0
Alternativamente, podemos buscar en la primera matriz un determinante 2×2 no nulo (por ejemplo,
las filas 3ª y 4ª) e imponer que se anulen los determinantes que se obtienen orlando aquél:
1 2 x−1 2 4 y+2
0 = 1 3 z−2 = −8x + 5z + t − 1 0 = 1 3 z−2 = − 8y + 10z + 2t − 34
3 1 t+1 3 1 t+1
Las ecuaciones son distintas a las anteriores pero ambas describen la variedad pedida, como se com-
prueba en ambos casos viendo que el punto P las satisface y que los vectores ~v y w ~ satisfacen las
homogéneas.
Si juntamos los sistemas (A′ |B ′ ) y (A′′ |B ′′ ) obteniendo uno nuevo (A|B), sus soluciones son las
coordenadas de los puntos que están a la vez en ambas variedades. Si es incompatible las variedades
no se cortan, y en caso contrario el sistema nos da unas ecuaciones implı́citas de L′ ∩ L′′ .
5
Si los vectores iniciales no son linealmente independientes basta con cambiarlos por un conjunto linealmente inde-
pendiente que genere el mismo subespacio.
CAPÍTULO 6. ESPACIOS AFINES Y VARIEDADES AFINES 191
Como una sola ecuación representa un hiperplano, lo anterior nos dice que toda variedad puede
verse como una intersección de hiperplanos.
En E 3 (R), dada la recta que pasa por P = (1, −2, 0) con vector director ~v = (2, 1, −2) y dado el
(hiper)plano 3x − 2y + 5z = 4, sustituyendo un punto genérico de la recta (x, y, z) = (1 + 2λ , λ −
2 , −2λ) en la ecuación implı́cita del plano se obtiene la ecuación
El punto de intersección es el que se obtiene para ese valor de λ, o sea P = (2, −3/2, −1).
¿Qué pasa si cambiamos el hiperplano por x + 6y + 4z = 2?
¿Qué pasa si cambiamos el hiperplano por 2x + 2y + 3z = −2?
1. Dados una recta ℓ y un punto exterior Q visto como una variedad de dimensión 0, la suma
de esas variedades (la menor variedad que las contiene) tiene dimensión 2 (por las fórmulas de
Grassmann) y es por tanto “el plano que contiene a ℓ y pasa por Q”.
Si ℓ tiene ecuación paramétrica X = P + λ~v entonces la ecuación de ese plano es
−−→
X = P + λ~v + µ P Q
2. Dadas dos rectas paralelas distintas, su suma también tiene dimensión 2 y es por tanto “el plano
que contiene a ambas rectas”.
Si las rectas son ℓi (i = 1, 2) con ecuaciones paramétricas X = Pi + λ~v (al ser paralelas vale el
mismo vector en ambas) entonces la ecuación de ese plano es
−−−→
X = P1 + λ~v + µ P1 P2
3. Dadas dos rectas que se cruzan, su suma tiene dimensión 3 y es por tanto “la variedad tridimen-
sional que contiene a ambas rectas” (que será todo el espacio ambiente si éste es tridimensional).
Si las rectas son ℓi (i = 1, 2) con ecuaciones paramétricas X = Pi + λ~vi , entonces la ecuación de
ese espacio es
−−−→
X = P1 + λ~v1 + µ~v2 + η P1 P2
Los vectores directores ~v1 y ~v2 son linealmente independientes porque las rectas no son paralelas,
−−−→ −−−→
y como además no se cortan se tiene (6.22) P1 P2 6∈<~v1 , ~v2 >, por lo que el conjunto {~v1 , ~v2 , P1 P2 }
sigue siendo linealmente independiente.
Recı́procamente, una ecuación ası́ (con (a, b) 6= (0, 0)) es la ecuación de una recta con dirección
~v = (b, −a).
Si P 6= Q son puntos de coordenadas (p1 , p2 ) y (q1 , q2 ), la recta que los une tiene vector director
−−→
P Q con coordenadas (q1 − p1 , q2 − p2 ), luego su ecuación es
1 1 1
q 1 − p 1 x1 − p 1
0= = p 1 q 1 x1
q 2 − p 2 x2 − p 2
p 2 q 2 x2
Dado un tercer punto R con coordenadas (r1 , r2 ), los tres puntos P, Q, R están alineados si y sólo
si
1 1 1
p1 q1 r1 =0
p2 q2 r2
CAPÍTULO 6. ESPACIOS AFINES Y VARIEDADES AFINES 193
Como en el caso de las rectas en el plano, la ecuación del plano determinado por tres puntos no
alineados P, Q, R y la condición para que P, Q, R, S sean coplanarios son respectivamente:
1 1 1 1 1 1 1 1
q1 − p1 r1 − p1 x1 − p1
p1 q1 r1 x1 p1 q1 r1 s1
0= q2 − p2 r2 − p2 x2 − p2 = =0
p2 q2 r2 x2 p2 q2 r2 s2
q3 − p3 r3 − p3 x3 − p3
p3 q3 r3 x3 p3 q3 r3 s3
En cualquier caso se obtienen dos ecuaciones del tipo ax1 + bx2 + cx3 = d (con algunos coeficientes
nulos) que permiten interpretar la recta como intersección de dos planos.
El haz de planos que contienen a una recta ℓ es simplemente el conjunto de todos los planos que
la contienen. Si ℓ tiene ecuaciones implı́citas
ax + by + cz − d = 0
a′ x + b′ y + c′ z − d′ = 0
entonces los planos que contienen a esa recta son el propio a′ x + b′ y + c′ z − d′ = 0 y los de la forma
(ax + by + cz − d) + µ (a′ x + b′ y + c′ z − d′ ) = 0 (con µ ∈ K)
En efecto, estas ecuaciones son las que se obtienen como combinación lineal de las de la recta (sin
repetir las que sean proporcionales), y por tanto describen justo los planos cuya intersección con ℓ es
la propia ℓ (al juntar ecuaciones, la del plano desaparece por ser combinación lineal de las otras), o
sea los planos que contienen a ℓ.
CAPÍTULO 6. ESPACIOS AFINES Y VARIEDADES AFINES 194
6.3.6. Ejercicios
1. En el espacio afı́n E3 (R) se considera la recta ℓ de ecuaciones implı́citas en el referencial canónico
2x + y − z = 1
ℓ1 ≡ ,
x−y+z = 2
x = 0
determinar, indicando sus elementos, un referencial ℜ en el que las ecuaciones de ℓ sean .
z = 0
6. En un espacio afı́n de dimensión 3 con un referencial dado, encuentra unas ecuaciones implı́citas
para la variedad de dimensión 0 cuyo único elemento es el punto de coordenadas (6, 2, 3).
8. En un espacio afı́n tridimensional con referencial ℜ = (O; {~v1 , ~v2 , ~v3 }) se pide calcular, dados el
punto P de coordenadas (1, 1, 2) y el subespacio W engendrado por
~ 1 = 2~v1 − ~v3 ,
w w
~ 2 = ~v1 + ~v2 + ~v3 ~ 3 = −2~v2 − 3~v3
w
9. En un espacio afı́n de dimensión 4 y respecto a un referencial cartesiano R = (O; {~v1 , ~v2 , ~v3 , ~v4 })
se considera la variedad L que pasa por el punto P de coordenadas (1, 0, −1, 1) y cuya dirección
es el subespacio W engendrado por los vectores
~e1 = ~v1 − ~v2 + ~v3 + ~v4 ~e2 = ~v1 + ~v2 + ~v3 ~e3 = 3~v1 + ~v2 + 3~v3 + ~v4
10. En el E 4 (R) con el referencial canónico se pide, dada la variedad afı́n de ecuaciones implı́citas
x1 + 2x2 − x3 + x4 = 0
L≡ 2x1 − 2x2 + x3 = 3
4x1 + 2x2 − x3 + 2x4 = 3
a) Calcula las ecuaciones paramétricas y cartesianas de la recta L que pasa por los puntos de
coordenadas (1, 0, −1) y (0, 0, 2).
x1 + x2 − x3 − 1 = 0
b) Estudia la posición relativa de L y la recta L′ de ecuaciones .
2x2 + x3 + 2 = 0
12. En un espacio afı́n real de dimensión 3, y respecto a un referencial cartesiano, encuentra la
ecuación del plano que pasa por los puntos de coordenadas (2, 5, 1) y (−3, 1, 4) y es paralelo a
la recta
x1 − 2x3 + 10 = 0
L≡
x2 − 7x3 + 5 = 0
13. En E 3 (R), determina en cada uno de los apartados el valor del parámetro a (o de los parámetros
a y b) para el que se cumple la afirmación:
x − 2y = 1 x+y+z = 1
a) Las rectas y son coplanarias.
y−z =2 x − 2y − z = a
x−1 z+2 x+y+z =0
b) Las rectas =y= y se cortan.
2 2 ax − y − z = 0
c) Los planos x + y + z = 2, 2x + 3y + z = 3 y ax + 10y + 4z = b tienen una recta en común.
y−3 z
d) La recta x + a = = está contenida en el plano x + y + z = b.
b 3
14. En E 3 (R), estudia la posición relativa de las rectas:
x1 + 2x2 + x3 = 1 x1 + x2 + x3 = 2 2x1 + 2x2 − x3 = 3
ℓ1 ≡ ℓ2 ≡ ℓ3 ≡
2x1 − x2 − x3 = −2 x1 − x2 − x3 = −2 3x1 − x2 + 2x3 = 0
21. En E 3 (R) estudia la posición relativa de las siguientes rectas y contesta las preguntas:
x1 − x3 + 1 = 0 x1 − 3x3 − 2 = 0
L1 ≡ L2 ≡
x2 + 2x3 − 2 = 0 x2 − 2x3 + 3 = 0
a) ¿Existe una recta que pase por el punto Q de coordenadas (5, −8, 0) y corte a L1 y a L2 ?
En caso afirmativo, da puntos de L1 y L2 que estén alineados con Q.
b) Lo mismo cambiando Q por el punto de coordenadas (2, 4, 1).
c) Lo mismo cambiando Q por el punto de coordenadas (4, 1, 0).