Dualidad y razón doble

Antonio F. Costa
UNED

1 Dualidad
1.1 Dualidad en álgebra lineal
Sea E un espacio vectorial sobre un cuerpo K, denotamos por E ∗ el
espacio dual de E, es decir el espacio vectorial de las formas lineales
α : E → K.
Si S es un subconjunto de E, el anulador de S es un subespacio
vectorial de E ∗ definido por:

S 0 = {α ∈ E ∗ : α(v) = 0 para todo v ∈ S}

Si R es un subconjunto de E ∗ , se define el anulador de S como:

0
R = {v ∈ E : α(v) = 0 para todo α ∈ R}

1.2 Propiedades de la dualidad vectorial

Si S1 ⊂ S2 entonces S10 ⊃ S20 . Además S 0 = ⟨S⟩0
Si L es un subespacio vectorial de E, entonces:

dim L0 = dim E − dim L

Si L y N son subespacios vectoriales de E y E ∗ respectivamente,

entonces:
0
(L0 ) = L y (0 N )0 = N
Sean L1 y L2 subespacios de E, entonces

(L1 + L2 )0 = L01 ∩ L01

(L1 ∩ L2 )0 = L01 + L01

1
1.3 Dualidad proyectiva
Sea E un espacio vectorial y E ∗ el espacio dual de E. A P(E ∗ ) se le
denomina el espacio proyectivo dual de P(E).
Sea L(P(E)) y L(P(E ∗ )) los conjuntos de subespacios proyectivos de
P(E) y P(E ∗ ) respectivamente.
Se denomina dualidad a ∆ : L(P(E)) → L(P(E ∗ )) definida por
∆(P(L)) = P(L0 ), donde L es subespacio vectorial de E.
Obsérvese que ∆ es biyectiva, pues ∆−1 (P(N )) = P(0 N ), donde N
es subespacio vectorial de E ∗ .

1.4 Propiedades de la dualidad

Si P(L1 ) ⊂ P(L2 ) entonces ∆(P(L1 )) ⊃ ∆(P(L2 )). Análogamente para
∆−1 .
dim ∆(P(L)) = dim P(E) − dim P(L) − 1.
En particular ∆ lleva puntos a hiperplanos e hiperplanos a puntos.
Análogamente para ∆−1 .

∆(P(L1 ) + P(L2 )) = ∆(P(L1 )) ∩ ∆(P(L2 ))

y
∆(P(L1 ) ∩ P(L2 )) = ∆(P(L1 )) + ∆(P(L2 ))

1.5 Espacio proyectivo de hiperplanos

Sea H conjunto de hiperplanos de P(E). ∆ define una biyección entre
los puntos de P(E ∗ ) y H.
De este modo se identifican P(E ∗ ) y H.

Los hiperplanos que pasan por un punto. Dualidad →. Los puntos

de un hiperplano

1.6 Conceptos y propiedades duales

Conceptos duales: aquellos que se corresponden por ∆.
Ejemplos: hiperplanos - puntos. Suma de subespacios - intersección
de subespacios. ⊂ - ⊃.
Cada propiedad proyectiva P tiene una dual P∗ sustituyendo cada
concepto por su dual.
Ejemplo:
Por dos puntos del plano proyectivo pasa una única recta proyectiva.
Dual: Dos rectas proyectivas del plano se cortan en un único punto.

2
 Figure 1: Dual del Teorema de Papo

Si se verifica P entonces se verifica P∗

Teoremas duales, se demuestran por dualidad.

1.7 Ejemplo
Teorema de Papo
Dadas dos rectas r y r′ distintas del plano proyectivo P , y seis puntos
a, b, c, a′ , b′ , c′ , de modo que

a, b, c ∈ r y a′ , b′ , c′ ∈ r′

Los puntos a∗ = ⟨b, c′ ⟩ ∩ ⟨b′ , c⟩, b∗ = ⟨a, c′ ⟩ ∩ ⟨a′ , c⟩ y c∗ = ⟨a, b′ ⟩ ∩ ⟨a′ , b⟩

están alineados.
Dual del teorema de Papo:
Sean dos puntos p y p′ del plano proyectivo, y seis rectas r, s, t, r′ , s′ , t′ ,
de modo que:
p ∈ r, s, t y p′ ∈ r′ , s′ , t′
Sea r∗ la recta que pasa por los puntos s ∩ t′ y s′ ∩ t, s∗ la recta que pasa
por los puntos r ∩ t′ y r′ ∩ t y t∗ la recta que pasa por los puntos r ∩ s′
y r′ ∩ s. Las tres rectas r∗ , s∗ y t∗ se cortan en un punto.

1.8 Dualidad en coordenadas

Referecias duales: las bases asociadas son duales:

3
 u∗i (uj ) = δij

Proposición.
Sean P(E) y P(E ∗ ) dotados de sendas referencias duales.
Entonces ∆ transforma el punto con coordenadas (a0 : ... : an ) en el
hiperplano a0 x0 + ... + an xn = 0.

2 Razón doble
2.1 Razón doble
Sean a, b, c, d cuatro puntos distintos de una recta proyectiva. La razón
doble de dichos puntos [a, b, c, d] es el número dd10 donde (d0 : d1 ) son las
coordenadas de d en la referencia proyectiva {a, b; c}.

La razón doble es un número distinto de 0 y 1.

2.2 Razón doble y homografías

Teorema
Sean P y P ′ dos rectas proyectivas sobre K. Sean a, b, c, d y a′ , b′ , c′ , d′
cuatro puntos distintos de P y P ′ , respectivamente. Entonces existe una
homografía de P en P ′ que transforma a, b, c, d en a′ , b′ , c′ , d′ si y sólo si
[a, b, c, d] = [a′ , b′ , c′ , d′ ].

Teorema
Sean P y P ′ dos rectas proyectivas sobre K. Las homografías de P
en P ′ son las aplicaciones biyectivas que conservan la razón doble.

2.3 Cálculo de la razón doble

Sean a, b, c, d puntos distintos de una recta proyectiva P , cuyas coor-

denadas respecto a una referencia proyectiva son (a0 : a1 ), (b0 : b1 ),
(c0 : c1 ), (d0 : d1 ), respectivamente. Entonces:
   
a0 d 0 b0 d 0
det det
a1 d 1 b1 d 1
[a, b, c, d] =   :  
a0 c 0 b0 c 0
det det
a1 c 1 b 1 c1

4
2.4 Relación con la razón simple

Sean a, b, c, d cuatro puntos distintos de un recta afín X, entonces:

[a, c, d]
[a, b, c, d] =
[b, c, d]

donde [−, −, −] es la razón simple en X y [−, −, −, −] es la razón doble

e
en X.
Si a, c, d son tres puntos distintos de X, entonces [a, c, d] = [a, p∞ , c, d],
donde p∞ es el punto del infinito de X en X. e

2.5 Cuaternas armónicas

Sean a, b, c, d cuatro puntos distintos de una recta proyectiva. Los cua-

terna de puntos (a, b, c, d) forman una cuaterna armónica si [a, b, c, d] =
−1.

Ejemplo.
Si d = p∞ y (a, b, c, d) forman una cuaterna armónica entonces c es
el punto medio de [a, b].

Teorema de von Staudt

Las homografías entre rectas proyectivas sobre el cuerpo R son las
aplicaciones biyectivas que conservan las cuaternas armónicas.