Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
P = P (V ) spazio proiettivo su K
def
Pro
BBB P == ({' : P ! P | ' isomorfismo proiettivo}, a )
D T T gruppo
gruppo delle
delle proiettività
proiettività di P
Prop
Prop
Prop. : Aut V ! Pro P def. 7! ' = P ( ) omomorf. di gruppi
tale che ker = Dil0 V = {k idV : v 7! k v | k 2 K {0}}
Geometria 1 Geometria proiettiva/4
Dim
Dim
Dim. 2 Dil0 V ) '([v]) = [k v] = [v] 8 [v] 2 P ) ' = idP
' = idP ) (v) = kv v 8 v 2 V ) kv1 = kv2 8 v1 , v2 2 V
3 (v) = k v 8 v 2 V ) 2 Dil0 V
Corol
Corol.
Corol P = P (V ) spazio proiettivo ) Pro P 5 Aut V / Dil0 V
Dualità
Dualità proiettiva
proiettiva
P = P (V ) spazio proiettivo di dimensione n < 1 su K
3 P ⇤ = P (V ⇤ ) spazio
spazio proiettivo
proiettivo duale
duale
Nota dim P = n ) dim P ⇤ = n ) P ⇤ 5 P
Nota
Nota:
dualità proiettiva
dualità lineare su V 3 dualità proiettiva su P = P (V )
{sottosp. proiett. di P } $ {sottosp. proiett. di P ⇤ }
corrisp. biuniv. def. L = P (U ) ⇢ P $ L0 = P (Nil U ) ⇢ P ⇤
Pro P $ Pro P ⇤ iso. di gruppi def. ' $ '⇤ , ('⇤ )# = ('# )⇤
t.c. 1) dim L0 = n dim L 1 , 8 L ⇢ P sottospazio proiettivo
2) L1 ⇢ L2 , L02 ⇢ L01 , 8 L1 , L2 ⇢ P sottospazi proiettivi
3) L01 \ L02 = (L1 + L2 )0 , 8 L1 , L2 ⇢ P sottospazi proiettivi
4) L01 + L02 = (L1 \ L2 )0 , 8 L1 , L2 ⇢ P sottospazi proiettivi
5) '(L)0 = '⇤ (L0 ) , 8 ' 2 Pro P , 8 L ⇢ P sottosp. proiettivo
Note 1) {iperpiani di P } $ P ⇤ corrisp. biounivoca definita
Note
Note:
H ⇢ P iperpiano $ H 0 = [ ] 2 P ⇤ tale che H = P (ker )
2) L0 ⇢ P ⇤ sottosp. proiett. 2 sistema
sistema linerare
linerare di iperpiani
fascio se dim L0 = 1)
fascio
(fascio
Esempi 1) L ⇢ P sottospazio $ L0 = {[ ] 2 P ⇤ | L ⇢ P (ker )}
Esempi
Esempi:
$ < {H ⇢ P iperpiano | L ⇢ H}
ŒÕ< < D T T sistema lin. degli iperp. per L
2) dim L = n 2 ) dim L0 = 1 3 fascio degli iperp. per L
Nota E enunciato proiettivo 3 E ⇤ enunciato duale
Nota
Nota:
(E ⇤ ottenuto da E con dim $ codim 1 , ⇢ $ , \ $ +)
E vale in ogni spazio pro. , E ⇤ vale in ogni spazio pro.
Geometria 1 Geometria proiettiva/5
Spazi proiettivi
Spazi proiettivi ee spazi
spazi affini
affini
2 A↵ A 3 ⇢ 2 A↵ L 3 2 Aut V t.c. |L = ⇢ ( |U = ⇢⇤ )
3 ' = P ( ) 2 Pro P unica proiett. t.c. '|A =
A spazio affine su V spazio vett. su K
def
3A e= = P (K ⇥ V ) completamento
completamento proiettivo e = dim A)
proiettivo di A (dim A
def
A1 == P ({0} ⇥ V ) ⇢ Ae iperpiano
iperpiano all’1
all’1 (punti
punti
punti impropri
impropri di A)
A $ {1} ⇥ V $ A e A1 isom. affine (def. a meno di trasl.)
3A e = A [ A1 (identificando A con A e A1 )
p0 , p1 , . . . , pk 2 P n(K)
3 p0 = [v0 ] , . . . , pk = [vk ] con v0 , . . . , vk 2 Kn+1
p0 , p1 , . . . , pk proiettivamente indipendenti
, rg(v0 . . . vk ) = k + 1 con v0 , . . . , vk 2 Mn+1,1 K