Álgebra lineal y Geometrı́a II MCFF: 2-10-2019

Ejercicio 17.- Para las variedades afines que se dan, en A4 (K), se pide:
a) Hallar unas ecuaciones implı́citas independientes de sus clausuras proyectivas.
b) Hallar, para cada una, una base con el mayor número de puntos en el infinito.


 x1 + x2 − x3 − 2x4 = 1
Y1 : x1 + 3x2 + x3 − 2x4 = −1
x1 − 3x2 − 5x3 − 2x4 = 5


x1 − x2 + x3 − 3x4 = 1
Y2 :
x1 + x2 − x3 + 2x4 = −1

 x1 − x2 + x3 + 2x4 = 1
Y3 : −x1 + 2x3 + x4 = −2
5x1 − 3x2 − x3 + 4x4 = 6


Solución a Ejercicio 17:

Dada una variedad lineal afı́n Y ⊆ An no vacı́a, un sistema de ecuaciones de Y ⊆ Pn se obtiene homogeneizando
un sistema de ecuaciones de Y respecto de x0 . Por tanto, dim Y = dim Y = r y una base de Y consiste en r + 1 puntos
proyectivamente independientes de Y .
Por otro lado, Y no está contenido en el hiperplano H∞ , por lo que H∞ + Y = Pn . Ası́, por el teorema de
la dimensón de variedades lineales proyectivas, tenemos que dim(Y ∩ H∞ ) = dim Y + dim H∞ − dim(Y + H∞ ) =
dim Y + (n − 1) − n = r − 1. Por tanto, una base de Y∞ = Y ∩ H∞ tiene r puntos proyectivamente independientes,
por lo que necesitaremos otro punto, esta vez de Y ⊆ An , para obtener una base de Y .
Consideramos el sistema de ecuaciones de la variedad lineal afı́n Y1 , cuya matriz de coeficientes ampliada reducimos
a una forma escalonada mediante el método de eliminación de Gauss.
     
1 1 −1 −2 1 1 1 −1 −2 1 1 1 −1 −2 1
A= 1 3 1 −2 −1  −→  0 2 2 0 −2  −→  0 1 1 0 −1 
1 −3 −5 −2 5 0 −4 −4 0 4 0 0 0 0 0

Obtenemos, por tanto, que el sistema es compatible y equivalente al siguiente sistema de ecuaciones linealmente
independientes: 
x1 + x2 − x3 − 2x4 = 1
Y1 :
x2 + x3 = −1
Luego Y1 es un plano, ya que dim Y1 = 4 − 2 = 2. Ası́, homogeneizando este sistema obtenemos un sistema de
ecuaciones lineales homogéneas linealmente independientes de Y 1 ⊆ P4 (K):

−x0 + x1 + x2 − x3 − 2x4 = 0
Y1 :
x0 + x2 + x3 = 0

Para hallar una base de Y 1 con el mayor número de puntos posible en H∞ podemos calcular primero una base de
Y1,∞ = Y1 ∩ H∞ y luego tomar un punto cualquiera de Y1 .
 
 x1 + x2 − x3 − 2x4 = 0  x0 = 0
Y 1 ∩ H∞ : x2 + x3 = 0 ≡ x1 = 2x3 + 2x4
x0 = 0 x2 = −x3
 

Tomando (x3 : x4 ) en el conjunto {(1 : 0), (0 : 1)} obtenemos que {(0 : 2 : −1 : 1 : 0), (0 : 2 : 0 : 0 : 1)} es base de
Y1,∞ . Por otro lado, el punto P = (2, −1, 0, 0) ∈ Y1 , por lo que ϕ(P ) = (1 : 2 : −1 : 0 : 0) ∈ Y1 . Es decir, el siguiente
conjunto es una base de Y1 que cumple las condiciones exigidas:

{(0 : 2 : −1 : 1 : 0), (0 : 2 : 0 : 0 : 1), (1 : 2 : −1 : 0 : 0)}

La variedad lineal afı́n Y2 viene dada por un sistema de dos ecuaciones linealmente independientes que es compatible,
por lo que basta homogeneizarlo para obtener un sistema de ecuaciones linealmente independientes para Y2 :
 
−x0 + x1 − x2 + x3 − 3x4 = 0 x3 = x0 + 5x1 + x2
Y2 : ≡
x0 + x1 + x2 − x3 + 2x4 = 0 x4 = 2x1
Luego dim Y2 = 4 − 2 = 2. Por tanto, una base de Y2 tendrá tres puntos proyectivamente independientes, de los que a
lo más dos pueden estar en el infinito. Ası́, a partir del sistema de ecuaciones anterior encontramos la siguiente base:

{(1 : 0 : 0 : 1 : 0), (0 : 1 : 0 : 5 : 2), (0 : 0 : 1 : 1 : 0)}

 Tomemos ahora la matriz ampliada del sistema de ecuaciones de Y3 . Obtenemos de nuevo una forma escalonada
por filas:
     
1 −1 1 2 1 1 −1 1 2 1 1 −1 1 2 1
 −1 0 2 1 −2  −→  0 −1 3 3 −1  −→  0 1 −3 −3 1 
5 −3 −1 4 6 0 2 −6 −6 1 0 0 0 0 −1
Pero esta vez llegamos a que el sistema de ecuaciones lineales es incompatible, ya que el rango de la matriz ampliada
es mayor que el de la matriz de coeficientes. Esto significa que Y3 = ∅ por lo que, por defición, Y3 = ∅. Ası́, su base es
el conjunto vacı́o y un sistema de ecuaciones linealmente independientes es x0 = x1 = x2 = x3 = x4 = 0. Observemos
que, sin embargo, si hubiéramos homogeneizado el sistema de ecuaciones de Y3 directamente, habrı́amos obtenido una
variedad lineal proyectiva Z dada por tres ecuaciones linealmente independientes (una de ellas {x0 = 0}), es decir, Z
es una recta proyectiva contenida en H∞ . En particular, Z ∩ An = ∅ pero Z 6= ∅ no es la clausura proyectiva del vacı́o.
Por esta razón es necesario comprobar que una variedad lineal afı́n es no vacı́a antes de homogeneizar sus ecuaciones.