Geometría proyectiva - Cónicas y Cuádricas - Ciencia Matemática
Geometría proyectiva - Cónicas y Cuádricas - Ciencia Matemática
Geometría proyectiva - Cónicas y Cuádricas - Ciencia Matemática
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
16 Espacios proyectivos<br />
Caso particular:<br />
Si P (E) tiene dimesión tres se tiene el siguiente enunciado:<br />
“La intersección de dos planos proyectivos distintos es una recta <strong>proyectiva</strong>”.<br />
1.31. Nota.- Al contrario que ocurre con la intersección de subespacios vectoriales,<br />
la intersección de subespacios proyectivos puede ser vacía. Por<br />
ejemplo, en el espacio proyectivo P3(IR), las rectas<br />
L1 = X ∈ P3(IR) X = (a, b, 0, 0), a, b ∈ IR <br />
tienen intersección vacía.<br />
1.5. Proyectividades<br />
L2 = X ∈ P3(IR) X = (0, 0, c, d), c, d ∈ IR ,<br />
Introduciremos el concepto de proyectividad según el criterio adoptado<br />
desde el principio; es decir, a partir de un concepto conocido de álgebra lineal.<br />
En este caso el concepto del que partimos es el de aplicación lineal. Al<br />
final del párrafo y en posteriores temas, comentaremos una forma de introducir<br />
las proyectividades de una manera más geométrica.<br />
Definición de proyectividad<br />
Consideremos dos espacios vectoriales E y F sobre un mismo cuerpo K<br />
(conmutativo), L(E, F ) el conjunto de las aplicaciones lineales de E en F ,<br />
ϕ: E − {0} → P (E) y ψ: F − {0} → P (F ) las aplicaciones canónicas.<br />
Tratamos de construir a partir de una aplicación lineal f ∈ L(E, F ), una<br />
aplicación f del espacio proyectivo P (E) en el espacio proyectivo P (F ). Con<br />
tal objetivo hagamos las siguientes observaciones:<br />
a) Si x ∈ Ker(f), es decir, si f(x) = 0, f(x) no define ningún punto de<br />
P (F ). Así la aplicación f no puede estar definida en los puntos de ϕ(Ker(f) −<br />
{0}) = P (Ker(f)).<br />
b) Si X ∈ P (E) − P (Ker(f)) y si x y x ′ son dos vectores de E − {0} que<br />
determinan el punto X, se tiene x ′ = λx (λ = 0), de donde, f(x ′ ) = f(λx) =<br />
λf(x). Luego, f(x ′ ) y f(x) definen el mismo punto Y en P (F ), por lo que su<br />
definición, a partir de X, es independiente del representante de X tomado.<br />
1.32. Definición.- Dada una aplicación lineal f ∈ L(E, F ) se le puede asociar<br />
una aplicación f llamada proyectividad asociada a f, como sigue<br />
f: P (E) − P (Ker(f)) → P (F )<br />
X ∈ P (E) − P (Ker(f)) ↦→ f(X) = ψ (f(x)) (x ∈ ϕ −1 (X)).<br />
1.33. Nota.- Tenemos así definida una proyectividad, asociada a una aplicación<br />
lineal f ∈ L(E, F ), como la aplicación f que hace al diagrama<br />
siguiente conmutativo:<br />
www.cienciamatematica.com<br />
E − Ker(f) ⏐<br />
ϕ ⏐<br />
|E−Ker(f) ⏐<br />
<br />
P (E) − P (Ker(f))<br />
f<br />
−−−−−−→ F − ⏐{0}<br />
⏐<br />
ψ<br />
f<br />
−−−−−−→ P (F ).<br />
<strong>Geometría</strong> Proyectiva. Angel Montesdeoca. 2004