Professional Documents
Culture Documents
Universita
Corso di laurea in Matematica
e in Matematica per le applicazioni
Geometria II
secondo la lezione di A. Lanteri
Questi appunti riportano lo schema delle lezioni del Corso di Geometria II per
i Corsi di laurea in Matematica e in Matematica per le applicazioni.
Lo studente pu`
o essere guidato da essi nella lettura di testi di Geometria in cui
gli stessi argomenti sono trattati in modo pi`
u approfondito.
Questo lavoro presuppone la conoscenza degli argomenti trattati nel Corso di
Geometria I, per il quale esiste (sebbene non ne si possa garantire lunicit`
a)
una dispensa analoga alla presente.
Si noti infine che svariate premesse sia negli enunciati sia negli esempi sono qui
costantemente sottintese e rimandate alla buonanima del lettore.
Indice
I
Algebra lineare
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6
6
11
14
15
17
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
21
22
24
26
29
29
33
36
II
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Geometria analitica
38
3 Spazi affini
3.1 Sistemi di riferimento . . . . . . . . . . . . . . .
3.2 Sottospazi lineari affini . . . . . . . . . . . . . . .
3.3 Rappresentazioni analitiche dei sottospazi lineari
3.4 Parallelismo di sottospazi lineari . . . . . . . . .
3.5 Cambiamenti di coordinate e trasformazioni . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
39
40
40
41
44
45
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
49
49
50
50
51
52
54
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5 Spazi proiettivi
56
5.1 Sottospazi lineari proiettivi . . . . . . . . . . . . . . . . . . . . . 56
5.2 Punti linearmente indipendenti . . . . . . . . . . . . . . . . . . . 57
INDICE
5.3
5.4
5.5
5.6
5.7
5.8
5.9
6 Ipersuperfici quadriche
6.1 Punti singolari . . . . . . . . . . . . . . .
6.2 Riducibilit`
a . . . . . . . . . . . . . . . . .
6.3 Classificazione ed equazioni canoniche . .
6.4 Rette e iperpiani tangenti . . . . . . . . .
6.5 Polarit`a . . . . . . . . . . . . . . . . . . .
6.6 Natura dei punti di una quadrica . . . . .
6.7 Iperquadriche in An . . . . . . . . . . . .
6.8 Iperquadriche in En . . . . . . . . . . . .
6.9 Classificazione euclidea metrica di Q E3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
58
60
61
63
64
64
66
68
70
71
73
76
77
78
81
83
84
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
92
. 92
. 94
. 97
. 100
. 101
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
105
105
106
107
108
109
114
117
119
122
123
A Esercitazioni
A.1 Spazi affini . . . . . .
A.2 Spazi affini euclidei . .
A.3 Spazi proiettivi . . . .
A.4 Ipersuperfici quadriche
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
126
126
130
133
134
7 Dualit`
a
7.1 Algebra lineare . . . .
7.2 Annullatori . . . . . .
7.3 Ritorno alla geometria
7.4 Polarit`a . . . . . . . .
7.5 Inviluppi . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Parte I
Algebra lineare
Capitolo 1
Autovalori e autovettori
[ij
].
f = g A = CA C1 ,
dove C = [ij ] = A (h), h Aut(V) : h(ai ) = ai i = 1, . . . , n.
Dimostrazione
f(ak )
n
X
= f(h(ak )) = f
j=1
n
X
jk
j=1
g(ak )
n
X
n
X
ij ai
j=1
n
X
i=1
n
X
jk
j=1
n
X
n
X
ij jk =
j=1
AC = CA
n
X
j=1
n
X
jk f(aj ) =
!
ij jk
ai .
j=1
ij ai
i=1
f = g f(ak ) = g(ak ) k = 1, . . . , n
n
X
j=1
i=1
jk
aj
jk aj
n
X
i=1
n
X
ij jk
ai .
j=1
ij jk
i, k = 1, . . . , n
A = CA C1 .
dove
(ci`
o d`
a senso a det f);
(dim Im f).
Ir
0
0
0
Ci poniamo ora questo problema: tra tutte le matrici che rappresentano una
f End(V) secondo una sola base, trovare quella pi`
u semplice.
Esempi Siano V = VectO (E2 ), l la retta per O con m = tg 8 , f End(V ) indotta
dalla simmetria rispetto a l. Chiamiamo i, j i versori, u un vettore unitario su l, v un
vettore unitario perpendicolare a l.
"
{i,j} (f) =
f(u) = u,
2
2
2
2
f(v) = v,
#
2
2
;
22
{u,v} =
1
0
0
.
1
Esempi
(mod 2)
f0 = 1V
V1 = V,
(mod 2)
f = 1V
V1 = V.
2 3
x
x
x
f 4y5A = 4y5 = 4y5
z
0
z
2 3
0
= 0 x = y = 0, V0 = 405 = Ker f,
z
2 3
x
z = 0 = 1, V1 = 4y5 = Im f.
V = Ker(f 1V ) 6= {0}
det(A I) = 0.
A (f 1V ) = A I
((A I)x = 0 ha soluzioni non banali det(A I) = 0.)
`e autovalore di f
()
Osservazione Sia A = CA C1 .
det(A I) = det(CA C1 CIC1 ) =
= det C det(A I) det C1 = det(A I).
Pertanto matrici simili hanno gli stessi autovalori.
a1n
a21
a22
a2n
= (1)n n + ( )n1 + .
..
..
..
.
..
.
.
.
an1
an2
ann
n
X
(1)i ni ti ,
i=0
2
dove 0 = 1, ni = somma dei minori
Pn principali di ordine n i della matrice
A; e.g. n = det A, 1 = Tr A = i=1 aii .
Esempi
Per n = 2:
a11 t
A (t) =
a21
a12
= t2 (a11 + a22 )t + (a11 a22 a12 a21 ).
| {z }
{z
}
|
a22 t
Tr A
Per n = 3:
det A
A (t) = t3 + Tr A t2 2 t + det A,
a11
2 =
a21
a12 a11
+
a22 a31
a13 a22
+
a33 a32
a23
.
a33
n
Y
i=1
1 Chiamiamo
Tr A =
n
X
i .
i=1
10
Dimostrazione
A (t) = (1)n (t 1 )(t 2 ) (t n ).
det A = n = termine noto = (1)n (1)n
n
Y
i =
n
Y
i .
i=1
i=1
con () 6= 0.
6
6
6
6
6
f(ai ) = ai i = 1, . . . , s A (f) = A = 6
6
6
6
4
t
0
..
.
f (t) = det(A tI) =
0
..
.
0
t
..
..
.
.
0
..
..
.
.
0
0
0
..
.
t
..
.
0
0
..
.
0
..
.
0
..
.
0
..
.
0
..
.
..
.
0
0
..
.
..
.
0
3
7
7
B 7
7
7
7.
7
7
7
C 5
B
s
= ( t) det(C tI)
C tI
m() s.
Proposizione 1.5 Siano v1 , . . . , vr autovettori di f relativi a 1 , . . . , r rispettivamente, con i 6= j se i 6= j. Allora v1 , . . . , vr sono l.i.
Dimostrazione Per induzione su r.
r) 1 v1 + + r vr = 0
f(1 v1 + + r vr ) = 1 f(v1 ) + + r f(vr ) = 0
1 1 v1 + + r r vr = 0.
Moltiplicando lequazione iniziale per 1 si ha anche
1 1 v1 + + 1 r vr = 0, pertanto
(2 1 )2 v2 + + (r 1 )r vr = 0.
i 6= 1 per i 2 per linduzione, 2 = = r = 0;
sostituendo nell equazione iniziale, 1 v1 = 0 1 = 0.
`
1.2. Diagonalizzabilita
1.2
11
Diagonalizzabilit`
a
0
.
.
..
..
Osservazione
= (d11 t) (dnn t). Gli
dnn t
autovalori di D sono gli elementi della diagonale principale.
Definizione 1.9
f End(V) `e diagonalizzabile se A base di V : A (f) `e diagonale;
A Mat(n; K) `e diagonalizzabile se `e la matrice rappresentativa di un
endomorfismo diagonalizzabile; i.e. se `e simile a una matrice diagonale;
i.e. se A = CDC1 con C invertibile, D diagonale.
Teorema 1.3 [D1] f `e diagonalizzabile V ammette una base formata da
autovettori di f.
o `e
Dimostrazione Sia C = {c1 , . . . , cn } base di V . f(ci ) = i ci i = 1, . . . , n. Ci`
equivalente a chiedere
2
..
.
6
C (f) = 4 ...
0
.. 7 , che `e diagonale.
. 5
n
f(ci ) = i ci
A = {c1 , . . . , cn } base di V
xi1
..
n
n
A = A (f) : K K . = xi
Axi = i xi i = 1, . . . , n.
xin
AX = A
=
x1
x1
xn
xn
= 1 x1
1
.
..
..
.
0
n x n
0
.. = XD.
.
1 0
.. X1 = XDX1 A simile a D.
..
A = X ...
.
.
0
12
2
1
Esempi Sia A =
1
, cerchiamone gli autovalori.
2
t2 4t + 3 = 0 t = 1 t = 3
V1 : (A I)
V3 : (A 3I)
(semplici).
(A I)x = 0
x
0
=
x + y = 0 V1 =
y
0
1
1
x
0
=
x + y = 0 V3 =
y
0
1
1
A = XDX1 =
1
1
1
0
0
3
1
1
1
1
1
1
1
A=
A (t) non ha radici in
2) f :
R ,f
x
y
cos
sin
sin
.
cos
x+y
1
=
y
0
1 t
f (t) =
0
1
1
x
x
=A
.
y
y
1
= (1 t)2 = 0
1 t
x
x
0
x
1
=
=
V1 =
: (A I)
=
.
y
y
1
0
0
dim V1 = 1 < m(1) = 2.
`
1.2. Diagonalizzabilita
13
6
6
6
6
6
6
A (f) = 6
6
6
6
6
6
4
..
7
7
7
7
7
7
7
7
7
7
7
7
5
.
1
..
.
r
..
i 6= j se i 6= j;
i i compaiono mi volte
per i = 1, . . . , r;
m1 + + mr = n.
r
f (t) = (1 t)
2
dim V 1
m1
V 1 = Ker(f 1 1V )
0
6
6
6
6
= n car 6
6
6
6
4
..
7
7
7
7
7 = n (n m1 ) = m1 .
7
7
7
5
.
0
2 1
..
.
r 1
1 w1
1 w 1 + + r w r = 0
1 = = r = 0.
v + + 1m 1 v1m 1 = 0
11 11
..
ij = 0 i, j.
.
r1 vr1 + + rm r vrm r = 0
Corollario Sia K algebricamente chiuso. f `e diagonalizzabile vale la condizione ii) per tutti gli autovalori di molteplicit`
a 2.
3 In
14
1.3
Triangolarizzabilit`
a
11 12 1n
0 22 2n
T = .
.. .
..
..
..
.
.
.
0
nn
11
6 0
6
A (f) = 6 .
4 ..
0
U1 = ha1 i,
U2 = ha1 , a2 i,
Ui = ha1 , . . . , ai i,
..
.
1n
2n 7
7
.. 7 .
. 5
nn
f(a1 ) = 11 a1 U1 U1 `e f-invariante;
f(a2 ) = 12 a1 + 22 a2 U2 U2 `e f-invariante;
...
) {0} U1 U2 Un1 V .
0 6= a1 U1 = ha1 i
U1 6 a2 U2 = ha1 , a2 i
...
12
22
..
.
0
U1 f(a1 ) = 11 a1
U2 f(a2 ) = 12 a1 + 22 a2
...
1.4. Bilancio
15
11
6 0
6
A (f) = 6 .
4 ..
0
..
.
12
22
..
.
0
1n
2n 7
7
.. 7 , che `e triangolare.
. 5
nn
(n 1
n) Sia f (t) totalmente riducibile su K, sia K una sua radice.
`e autovalore, quindi a1 V, a1 6= 0 : f(a1 ) = a1 . Sia per Steinitz
{a1 , a2 , . . . , an } = A base di V .
2
6
A (f) = A = 6
4
3
7
7
5
6
6
4 0
2
6
=6
4
0
C
bC
CT
32
76
76
54 0
32
76
76
54 0
bC
T
0
C
32
76
76
54 0
3
7
7=
5
C1
2
6
7 6
7=6
5 6 0
4
3
7
7
1 7
=A
|CTC
{z } 7
5
=B
1.4
Bilancio
Chiamiamo
E := {f End(V) : f `e totalmente riducibile su K}.
Diagonalizzabilit`
a
Triangolarizzabilit`a
+
forma unica
vale f E
non vale f E
forma non unica
16
Ci poniamo questo problema: tra le varie forme triangolari cercarne una canonica, i.e. (essenzialmente) unica, che coincida con la forma diagonale per gli f
diagonalizzanti.
Teorema 1.8 [forma canonica di Jordan] f E A base di V t.c. A (f) =
J, matrice ottenuta per accostamento lungo la diagonale di blocchi della forma
1 0
.
0 . . . ..
,
oppure
. . .
. . 1
.. ..
0 0
detti blocchi elementari di Jordan. Tale forma `e unica a meno di scambi dei
blocchi.
2
Esempi
6
6
6
J=6
6
6
4
1
0
1
0
0
2
7
7
7
7.
7
7
1 5
2
Osservazione
1) Gli autovalori sono gli elementi della diagonale di J;
2) gli 1 sulla sopradiagonale rappresentano ostruzioni alla diagonalizzabilit`
a;
3) J = + N con diagonale e N nilpotente: Nr = 0 per un certo r > 0.
2
0
60
6
N=4
0
0
1
0
0
0
0
1
0
0
0
07
7
15
0
0
60
2
6
N =4
0
0
0
0
0
0
1
0
0
0
0
17
7
05
0
0
60
3
6
N =4
0
0
0
0
0
0
0
0
0
0
1
07
7
05
0
N4 = 0.
A.
40
0
doppia, semplice.
dim V = 2, 40
0
tripla.
dim V = 3, 40
0
0
05 ;
0
05 ;
17
0
05 .
dim V = 1, 40
0
dim V = 1, 40
0
dim V = 2, 40
0
1
0
05 .
0
05 ;
0
15 .
1.5
Consideriamo
Q(t) K[t],
Q(t) = 0 tn + 1 tn1 + + n .
Sia A una K-algebra (e.g. End(V), Mat(n; K), K stesso). Q definisce unapplicazione:
f End(V)
A Mat(n; K)
Q:AA
T 7 Q(T )
Q(f) = 0 fn + + n 1V End(V)
f(v) = v
2
18
Esempi
1) f nilpotente, fr = 0.
autovalore di f r = Q() = 0 = 0.
2) f idempotente, f2 = f.
Q(t) = t2 t, Q(f) = 0.
autovalore di f 2 = Q() = 0 = 0, = 1.
{autovalori di f} {0, 1}.
I, A, A2 , . . . , An Mat(n; K)
sono n2 + 1.
0 An + 1 An
+ + n 2 I = 0
2
+ + n 2 .
In realt`
a basta un polinomio di grado n.
Proposizione 1.7 Siano A Mat(n; K), Q(t) Mat(n; K)[t]. Sia P(t) = Q(t)
(A tI). Allora4 P(A) = 0.
Dimostrazione
Q(t) = C0 tm + C1 tm1 + + Cm
P(t) = C0 t
m+1
+ (C0 A C1 )t
Ci Mat(n; K).
+ (C1 A C2 )tm1 + .
Esempi
t2 + 1
t+1
1
t2 t
=
0
2t
1 2
0
t +
0
1
1
1
t+
2
1
0
.
0
Osservazione Pu`
o capitare che f(A) soddisfi anche unequazione di grado < n.
Esempi A =
I
0
0
0
19
Fatti
I polinomi di K[t] che sono soddisfatti da f (da A) formano un ideale.
Gli ideali in K[t] sono principali ogni polinomio P(t) K[t] soddisfatto
da f (da A) `e della forma P(t) = Q(t) Mf (t), con Q(t) K[t].
Mf divide f , i.e. le radici di Mf sono radici di f .
R = C.
o
A meno di sostituire K con K possiamo supporre K algebricamente chiuso. Ci`
significa:
autovalore di f (di A) = radice di f (di A ).
Osservazione
f (t) = (1 t)m 1 (r t)m r
con i 6= j se i 6= j,
m1 + + mr = n.
Mf (t) = (t 1 ) 1 (t r ) r ,
e sappiamo i mi i.
Esempi
2
6
1) A = 4
..
7
5 = I.
A (t) = ( t)n
radice , molteplicit`
a m = n.
A I = 0
MA (t) = t
2
6
6
2) B = 6
6
4
radice , molteplicit`
a = 1.
..
..
7
7
7.
7
15
B (t) = ( t)n
radice , molteplicit`
a m = n.
n
(B I) = Nn = 0, N nilpotente
MB (t) = (t )n
radice , molteplicit`
a = n.
20
1
0
J1 = 6
4
7
7
1 5
J2 = 6
4
1
0
3
7
7
5
1
0
Non distinguiamo J1 e J2 :
J i (t) = t4
dim V0 = 4 car Ji = 4 2 = 2.
Siano A = {a1 , . . . , an } base di V , f, g End(V ), A (f) = J1 , A (g) = J2 .
f(a1 ) = 0
g(a1 ) = 0
f(a2 ) = a1
g(a1 ) = a1
g2 (a2 ) = g(a1 ) = 0
f2 (a2 ) = f(a1 ) = 0
f(a3 ) = 0
g(a3 ) = a2
g2 (a3 ) = g(a2 ) = a1
f(a4 ) = a3
g3 (a3 ) = g(a1 ) = 0
f2 (a4 ) = f(a3 ) = 0
g(a4 ) = 0
2
f 6= 0, f = 0 Mf (t) = t
2
2
62
6
Esercizio 1.5.1 Sia A = 4
0
0
2
2
0
0
0
0
1
1
g 6= 0, g2 6= 0, g3 = 0 Mg (t) = t3 .
0
07
7.
15
1
Capitolo 2
tale che u, v, w V e
u, v 7 (u, v)
R valgano
(simmetria);
1) (u, v) = (v, u)
(positivit`a).
Osservazione
w V ;
R.
2) V =
con (u, v) = u1
v1
n
6 7 X
un 4 ... 5 =
u i vi .
i=1
vn
Teorema 2.1 [disuguaglianza di CauchySchwarz] Sia V uno spazio vettoriale euclideo. u, v V vale
(u, v)2 (u, u)(v, v);
1 La
terminologia `
e pessima, perch
e tale prodotto `
e tutto meno che interno.
22
Dimostrazione
Se u = 0 la disuguaglianza `e ovvia e vale luguaglianza.
Siano u, v 6= 0, ,
= (v, v)2 (u, u) (v, v)(u, v)2 = (v, v) (v, v)(u, u) (u, v)2 ,
e siccome (v, v) > 0, il secondo termine deve risultare 0. Dimostriamo la coda:
(u v, u v) = 0 u v = 0, i.e. u, v l.d.
|| || : W
||u|| = 0 u = 0;
b) ||u|| = || ||u||;
(disuguaglianza triangolare).
a), b) Ovvie.
c) ||u + v||2 = (u + v, u + v) = ||u||2 + 2(u, v) + ||v||2 .
Per il teorema questo `e ||u||2 + 2 ||u|| ||v|| + ||v||2 = (||u|| + ||v||)2 .
2.1
Angoli
(u,v)
||u||||v|| ;
Osservazione (u, v) = ||u|| ||v|| cos . Questa `e usata in VectO (E3 ) per definire il
prodotto scalare. Qui `e usata per definire .
radicale `
e inteso in senso aritmetico.
2.1. Angoli
23
60 7 61 7
60 7
6 7 6 7
6 7
n
, 6 . 7 , 6 . 7 , . . . , 6 . 7 `e base ortonormale di n .
2) In V =
4 .. 5 4 .. 5
4 .. 5
0
0
1
n
X
v=
ui ai ,
i=1
n
X
vj a j .
j=1
A ortonormale (u, v) =
n
X
u i vi .
i=1
as+1
= vs+1
s
X
(vs+1 , aj )aj
j=1
(as+1
, ai ) = (vs+1 , ai )
s
X
j=1
(vs+1 , aj ) (aj , ai ) =
| {z }
= ij
a1 , . . . , as .
= (vs+1 , ai ) (vs+1 , ai ) 1 = 0 as+1
as+1 =
1
a
a1 , . . . , as , as+1 ortonormali.
|| s+1
||as+1
Se n = s + 1, ho finito. Se n > s + 1,
24
Esercizio 2.1.3 Dimostrare che {a1 , . . . , as , as+1 , vs+2 . . . , vn } sono ancora l.i.
Teorema 2.2 Ogni spazio vettoriale euclideo V 6= {0} ammette (almeno) una
base ortonormale.
Dimostrazione (per dim V = n < )
La proposizione precedente implica il teorema. Sia v V , v 6= 0. Sia a =
Applicando la proposizione per s = 1 deve esistere una base ortonormale.
1
v.
||v||
2.2
1
a.
||a||
Isometrie
Siano V uno spazio vettoriale euclideo, A = {a1 , . . . , an } una sua base ortonormale.
Teorema 2.3 Sia g Aut(V). Sono equivalenti:
1) ||g(u)|| = ||u||
u V;
n
X
hi ah ,
h=1
n
X
ki kj ;
k=1
4)1) u =
n
X
n
X
kj ak
||u||2 = (u, u) = u1
i=1
4 A = (g)
A
hi (ah , ak )kj =
h,k=1
k=1
ui ai ,
n
X
u1
u1
6 7
6 7
un 4 ... 5 ; g(u) = A 4 ... 5 ;
un
un
2 3
u1
6 7
un AT A 4 ... 5 = ||u||2 .
un
GL(n; ) perch
e g Aut(V).
2.2. Isometrie
25
Aut(V)
Aut(V)
GL(n;
R)
O(n)
O(V)
O(n)
R) : AT A = I}
Osservazione Sia A = a1
R).
an .
J=
I
0
0
1
J = JT ,
J2 = JT J =
I
0
0
1
=I
J O(n)
det J = 1.
A SO(n) oppure
B = AJ SO(n).
a c
a
c
O(2) A =
, con
,
basi ortonormali di 2 .
b d
b
d
a
cos
c
sin
c
sin
=
=
oppure
=
.
b
sin
d
cos
d
cos
26
sin
= R SO(2);
cos
nel II caso,
cos
sin
1 0
A=
=R
,
sin cos
0 1
che, essendo la composizione di una rotazione e di una riflessione rispetto
allasse x, `e in definitiva
una riflessione rispetto alla retta per lorigine di
equazione y = tg 2 x.
SO(2) {rotazioni di E2 di centro O},
le cui colonne sono terne di coseni direttori di assi a due a due ortogonali;
formano dunque una base ortogonale di 3 , e R O(3). Assumendo nuovi
assi coerentemente orientati rispetto ai vecchi,
Viceversa:
R SO(3) oppure
1
O(3) A =
.
1
2.3
Endomorfismi simmetrici
27
(f(ai ), aj ) = 0
i, j.
2 3
6 .. 7
6.7
6 7
7
0 AT 6
617 = ji ;
6.7
4 .. 5
0
0
6 .. 7
6 7
6.7
7
0 A6
617 = ij .
6.7
4 .. 5
0
2 3
(ai , f(aj )) = 0
) (f(u), v) = u1
un
v1
6 . 7
AT 4 .. 5 = u1
vn
un
v1
6 . 7
A 4 .. 5 = (u, f(v)).
vn
, x 6= 0 : Ax = x
(1)
Ax = x Ax = x Ax = x
(1)
(2)
(2)
xT x = xT AT x = xT Ax = xT x
( )xT x = 0
2 3
x1
6 . 7
=
2
2
x1 xn 4 .. 5 = |x1 | + + |xn | 6= 0
xn
R.
(n = 1) V = hui, u 6= 0, f(u) = u.
1
Sia u1 = ||u||
u f(u1 ) = u1 , {u1 } `e base ortonormale di V .
28
(n 1
n) radice di f .
autovalore di f u V, u 6= 0 : f(u) = u.
1
u1 = ||u||
u ||u1 || = 1, f(u1 ) = u1 .
Posto S = {v V : (v, u1 ) = 0}, deduciamo quanto segue.
a) S `e uno spazio vettoriale euclideo, dim S = n 1;
b) f(S) S, cio`e S `e f-invariante.
Dimostrazione
R), A = AT . Allora
R), A = AT
A `e detta ortodiagonalizzabile.
Corollario [3] Sia A Mat(n;
A = YY 1 ,
Dimostrazione ((2) (3))
A = XX1 , X O(n)
JJ
R), A = AT . Allora
con diagonale, Y SO(n).
X SO(n) oppure
"
= JJ = A = YJJ
= YY
2.4
29
Variante complessa
tale che u, v, w V e
1) (u, v) = (v, u);
(,) : W W
u, v 7 (u, v)
C valgano
Osservazione Lunica differenza sostanziale rispetto alla controparte reale `e laggiunta del coniugio al punto 1).
R: A = AT , A simmetrica;
in C: A = AT , A autoaggiunta.
in
Definizione 2.12 A = AT = (AT ) viene detta aggiunta di A.
A viene detta normale se
AA = A A.
(Risulta cos` definito anche f End(W) normale.)
Teorema 2.5 [spettrale complesso] f End(W) `e normale W ammette
una base ortonormale di autovettori di f.
2.5
forme lineari.
F : V1 V2 Vn U
30
A descrive :
u, v V
(u, v) =
=
n
X
n
X
i=1
i,j=1
ui ai ,
n
X
j=1
vj aj =
ui aij vj = u1
n
X
ui (ai , aj )vj =
i,j=1
v1
un A ... .
vn
g Aut(V),
A = {a1 , . . . , an }
A = [aij
]
g(ai ) = ai
aij
= (ai , aj ) =
n
X
h=1
i = 1, . . . , n;
C = [ij ] = A (g).
!
n
n
X
X
kj ak =
hi (ah , ak )kj .
hi ah ,
k=1
h,k=1
()
Ns ()
Kn
X
X
2 3
2 3
2 3
v1
v1
u1
6 7
6 7
6 7
X = 4 ... 5 Kn : u1 un A 4 ... 5 = 0 4 ... 5 Kn =
un
vn
vn
2 3
u1
6 7
.
= 4 ... 5 Kn : u1 un A = 0 0
un
31
: V K,
Osservazione
1) Si noti:
V
u
operazione
diagonale
V V
(u, u)
2) `e omogenea di grado 2:
(u) = 2 (u)
(u, u).
u V, K.
Trasferiamo la terminologia da a .
Definizione 2.19
Matrice di : quella di (quindi A = AT ).
(u) =
n
X
i=1
ui ai
= u1
a11 u21
u1
un A ... =
un
=
+ 2a12 u1 u2 +
polinomio omogeneo di II grado nelle u1 , . . . , un .
Nucleo di : quello di : N().
5 Un
Se 2(u, v) 6= 0 (u, v) =
1
[(u + v) (u) (v)] .
2
32
a11
u1
u1
.
..
.
.
.
u
u
u
u
(u) = 1
. ,
1
n
n A . =
.
un
un
ann
i.e. A `e diagonale.
Teorema 2.6 [Lagrange] Se Char K 6= 2 e V 6= {0}, allora V ammette (almeno) una base -coniugata.
Dimostrazione
Se = 0 (i.e. (u, v) = 0 u, v V ), `e ovvio. Sia 6= 0. Per induzione su n.
(n = 1) Ovvio.
(n 1
n) Notiamo che u V : (u) 6= 0. In caso contrario (i.e. = 0), siccome
Char K 6= 2, avremmo (u, v) = 12 [(u + v) (u) (v)] = 0 u, v V ,
assurdo.
(u) 6= 0 u 6= 0. Sia per Steinitz {u, a2 , . . . , an } base di V .
uj = aj
(u, aj )
u
(u)
Deduciamo:
a) {u, u2 , . . . , un } `e base di V ;
j = 2, . . . , n.
33
b) (u, uj ) = 0 j = 2, . . . , n.
Dimostrazione
a) Mostriamone la linear indipendenza.
0 = u +
n
X
j uj = u +
j=2
n
X
aj
j=2
(u, aj )
u
(u)
n
X
(u, aj )
j
=
u + 2 a2 + + n an
(u)
j=2
2 = = n = 0
P
(u,a j )
= 0.
n
j=2 j (u)
b) (u, uj ) = (u, aj )
(u,a j )
(u, u)
(u)
= 0 j = 2, . . . , n.
Corollario
1) pu`o essere ridotta a forma canonica;
2) Se A Mat(n; K), A = AT , allora
A = CT C,
2.6
R.
Nel caso reale, i corollari 1) e 2) non dicono niente di nuovo; vediamo ad esempio
il 2).
Dimostrazione
A Mat(n; ), A = AT . Sappiamo che6 R SO(n) : A = R1 R, con diagonale.
X
ui ai
= u1
un
u1
A ... .
()
un
u1
1
X
..
..
ui ai = u1 un
(u) =
. .
.
n
un
con 1 , . . . , n gli autovalori di A.
6 Basterebbe
34
Definizione 2.23
`e semidefinita positiva se (u) 0 u V;
`e semidefinita negativa se (u) 0 u V;
`e definita positiva se (u) 0 u V e (u) = 0 u = 0;
) 0 < (ai ) = i .
+
i > 0 i = 1, . . . , p
A=
, i.e. j < 0 j = p + 1, . . . , p + q
0
h = 0 h = p + q + 1, . . . , n.
i = 1, . . . , p
j = p + 1, . . . , p + q
h = p + q + 1, . . . , n.
Nella base A si ha
X
2
2
2
2
(u) =
ui ai = u1 + + up up+1
up+q
.
1
(a1 )
a
=
= 1.
=
(a1 ) = 1
1
1
i
()
35
Definizione 2.24 Per forme quadratiche reali `e la () che viene detta forma
canonica.
Osservazione Ci sono vari modi per ridurre a forma canonica una forma quadratica
reale:
Lagrange + normalizzazione;
ortonormalizzazione + normalizzazione;
metodo di Gauss.
b
ax + y
a
2
ad es. a > 0.
2
b
a
x
2
(u) = x + y 2
2
2
x y
y2 = x + y
se = 0
se > 0
se < 0.
Nonostante esistano diversi modi per ricavarla, la forma canonica `e una sola,
come emerge dal teorema di Sylvester che siamo prossimi a presentare.
Definizione 2.25 rango di = rk = car A = car A = car A = r, con
A, A , A congruenti, A diagonale, A forma particolare:
Ip
.
Iq
A =
0
Segnatura di = Sgn = (p, q), dove vale r = p + q e p, q sono detti
rispettivamente indice di positivit`
a e di negativit`
a.
Ip
Ip
,
Iq
Iq
A=
A =
0
0
Dimostrazione
Siano A = {a1 , . . . , an }, A = {a1 , . . . , an }. Siano S = ha1 , . . . , ap i, T = hap +1 , . . . , an i.
Su S, `e definita positiva: u S (u) 0, (u) = 0 u = 0
S T = {0}.
Su T , `e semidefinita negativa: u T (u) 0
Per Grassmann si ha:
dim S + dim T = dim(S + T ) dim V = n
p + (n p ) n p p .
36
Osservazione Con questo possiamo dire che Sgn = (p, q) `e ben definita. Ricordiamo che alcuni chiamano segnatura la differenza p q; ci`
o `e indifferente in quanto,
essendo p + q = rk , il sistema di somma e differenza determina p e q.
Corollario
1) A, B Mat(n;
2) A Mat(n;
R) simmetriche.
A, B congruenti Sgn A = Sgn B.
R) simmetrica.
R).
m
con forma quadratica definita positiva.
2.7
(spazio di Minkowski).
..
r
i 6= 0 per i = 1, . . . , r = car A = rk
A=
j = 0 per j = r + 1, . . . , n.
.
..
2
1
6
7 Per n = 4, 6
4
C, i 6= 0
1
1
t.c.
2i = i
i = 1, . . . , r.
3
7
7
5 corrisponde allo spazio della relativit`a ristretta; il gruppo
1
analogo a quello ortogonale `
e quello delle trasformazioni di Lorentz.
37
ai =
i = 1, . . . , r
j = r + 1, . . . , n
siano
X
2
2
ui ai = u1 + + ur
1
1
1
(a1 ) =
a1 = 2 (a1 ) = 2 1 = 1.
1
1
1
(u) =
()
Definizione 2.27 Nel caso complesso `e la () che viene detta forma canonica.
Osservazione `e determinata dal rango rk (non c`e bisogno di un teorema tipo
Sylvester).
Corollario
1) A, B Mat(n; ) simmetriche.
2) A Mat(n; ) simmetrica.
Parte II
Geometria analitica
Capitolo 3
Spazi affini
Definizione 3.1 S `e uno spazio affine se esiste unazione di V su S, i.e.
t.c. valgano
SV S
(P, v) 7 Q = P + v
1) P, Q S !v V t.c. P + v = Q;
2) se P + v = Q e Q + w = R, allora P + (v + w) = R.
n
Se dim V = n, S = An (An
e detto spazio affine di dimensione n.
K , A (K)) `
Ogni P S viene detto punto, ogni v V viene detto vettore.
Osservazione
i) Significato di 1) e 2):
1) indica un vettore da P a Q, talvolta denotato v = Q P;
2) scimmiotta la regola del parallelogramma.
ii) Propriet`
a immediate da 1) e 2):
P+0=P
p S;
P + v = Q Q + (v) = P.
SS V
(P, Q) 7 v = Q P,
40
Spazi affini
3.1
Sistemi di riferimento
Osservazione
1) Ra induce una biiezione
An Kn
P 7 (x1 , . . . , xn ),
2) !v V t.c. O + v = P.
v=
n
X
i=1
xi ai in modo unico x1 , . . . , xn .
n
X
yi ai
i=1
3.2
n
X
xi ai =
i=1
n
X
(yi xi )ai .
i=1
P, u 7Q = P + u = P0 + (u1 + u)
ponendo P = P0 + u1 per u1 U.
ii) L(P0 , U) = L(P1 , U) P1 L(P0 , U), i.e. L `e determinato da uno qualunque dei
suoi punti e dal sottospazio direzione.
) P1 = P0 + u1 P0 = P1 + (u1 ) P0 + u = P1 + (u1 + u).
) P1 + u = P0 + (u1 + u).
Definizione 3.4
3.3
41
uj =
n
X
j = 1, . . . , r
uij ai
i=1
r
X
j=1
j u j =
r
X
n
X
uij ai
i=1
j=1
xi x0i =
r
X
uij j
j=1
n
X
i=1
r
X
uij j ai
j=1
i = 1, . . . , n.
x1
x1
1
.. 0 ..
..
Ponendo x = . , x = . , = . , questo si scrive:
xn
x0n
x x0 = U.
(1)
Definizione 3.5 Quelle della (1) sono dette equazioni parametriche di L(P0 , U).
Esempi
(r = 1) Lasciando perdere il fatto che siamo su un campo generico, abbiamo una retta
in forma parametrica:
x1 = x01 + u11
x2 = x02 + u21
..
xn = x0n + un1 .
42
Spazi affini
x1 x01
..
B
x
r
r
M=
xr+1 x0
r+1
..
...
xn x0n
car M = r.
11 x1 + + 1r xr (det B)xr+1 1 = 0
21 x1 + + 2r xr (det B)xr+2 2 = 0
..
Ax = ,
2
3
1 0
61 1 7
6
7
U=4
5
0 1
1 2
(0, 1, 2, 3).
x = 0+1+0
y = 1+1+1
z = 2+0+1
w = 3 + 1 + 2,
x0
6
6 y1
1
1
0
7
1 7
4 z2
0
1
1 5
2
M=6
w3
Per la (2), `e car M = 2.
x
0 = y 1
z 2
x
1
0 = y 1 1
w 3 1
1
1
0
43
0
1 = x + z 2 y + 1
1
0
1 = 2x + w 3 x 2y + 2
2
xy+z1=0
x 2y + w 1 = 0
E se andiamo a guardare la matrice del sistema, notiamo che essa contiene I42 = I2
moltiplicata per il determinante della matrice che realizzava la caratteristica:
"
1
1
1 1
2 0
0
1
1
1
2 3 2 3 2
3
x=t
x
0
1 0
6 y 7 62 7 61 1 7 t
y=2+t+s
7 6 7 6
7
6
4 z 5 = 41 5 + 41 1 5 s .
z
=
1
+
t
+
s
w=s
w
0
0 1
isomorfismo
An Kn V
indotta da Ra
indotto da A
soluzioni di Ax = 0 Dir L
L(P0 , U) soluzioni di (2) .
Algebricamente, in Kn risulta:
44
Spazi affini
3.4
L1 k L2 Dir L1 = Dir L2 .
Kr
L 2 : x = x 2 + U2
Ks ,
e abbiamo
hcolonne di U1 i = Dir L1 Dir L2 = hcolonne di U2 i
L1 k L2 car U1 | U2 = car U2 .
L = L1 : 1 x1 + + n xn = 0
L = L2 : 1 x1 + + n xn = 0,
notiamo che vale
L1 = L2 K r {0} t.c.
1 x1 + + n xn = (1 x1 + + n xn ).
Teorema 3.1 Se L 6= L allora sono equivalenti:
1) L k L ;
2) K (= K r {0}) t.c. i = i i = 1, . . . , n, ma 6= ;
3) L L = .
Dimostrazione
1)2)
U1
i = (1)i1 con la i-esima
riga soppressa
U2 = U1 C,
U2
i = (1)i1 con la i-esima
riga soppressa
U2
con la i-esima =
riga soppressa
U1
con la i-esima C
riga soppressa
i = 1, . . . , n
(Binet) i = i det
| {zC} .
=K
L 6= L 6= .
45
2)3)
1 x1 + + n xn = 0
1 x1 + + n xn = 0
1
1
n
n
()
1
1
n
= 1, i.e.
n
n = 1 n
K
Dir L soluzioni di 1 x1 + + n xn = 0
Dir L soluzioni di 1 x1 + + n xn = 0 .
{z
}
|
1
( 1 x 1 ++ n x n )
ii) L P1 ;
iii) L k L0 .
3.5
l k H l H = .
n
X
(xi ci )ai ;
i=1
PO=
n
X
j=1
xj aj =
n
X
xj
j=1
n
X
ij ai
i=1
xi =
n
X
n
X
i=1
n
X
j=1
ij xj + ci ,
j=1
i.e. x = Ax + c,
ij xj ai .
46
Spazi affini
A GL(n; K)
c Kn .
()
=A
x
1
=
|
B
0
{z
d
1
=B
x
1
allora : An An ha equazione
x
1
= AB
x
1
dove A B =
B GL(n; K)
d Kn ,
AB
0
Ad + c
1
GL(n + 1; K),
ed `e pertanto unaffinit`
a.
Lapplicazione
GA G
7 A.
: GA GL(n; K)
7 A
47
B=
A B 1 =
A
0
c
1
B
0
d
1
B 1 =
B1
0
B1 d
1
B1
0
B1 d
1
AB1
0
AB1 d + c
1
G.
(P + v) = (P) + f(v).
2 cf.
A
0
c
1
"
I
"
c
1
#"
#"
A1 c
= 0
#
= 0 .
Algebra I: G `
e sottogruppo se A, B G si ha A B1 G
48
Spazi affini
Definizione 3.10 Geometria affine di An : lo studio delle propriet`a delle figure 3 di An (i.e. sottoinsiemi) invarianti per affinit`
a.
Esempi
1) L = L(P0 , U), GA, f Aut(V ) indotto da . Cos`e (L)?
L P = P0 + u,
con u U.
f(u) f(U)
se
C A = t(C B).
3 Questa
Capitolo 4
R t.c.
En V En ,
4.1
Sistemi di riferimento
Rn
x1
P
7 x = ...
xn
PO=
n
X
xi ai .
i=1
propriet`
a discendono direttamente dalla definizione di norma.
R t.c.
50
Definizione 4.3 Con tale operazione d, detta distanza euclidea, (En ; d) `e uno
spazio metrico.
Se P (x), Q (y),
QP =
n
X
(yi xi )ai
i=1
v
u n
uX
d(P, Q) = ||Q P|| = t (yi xi )2 .
i=1
4.2
Angoli
xi =
x0i
+ tui
i = 1, . . . , n.
n
n
X
X
(u, ai )
= (u, ai ) =
uj ij = ui .
uj aj , ai =
cos i =
||u|| ||ai ||
j=1
j=1
4.3
Ortogonalit`
a
Dati
L1 = L(P1 , U1 )
L2 = L(P2 , U2 ),
4.4. Iperpiani
4.4
51
Iperpiani
Consideriamo un iperpiano
L : 1 x1 + + n xn = 0.
(1)
dim U = n 1
U = hui hui = U
L = L(P0 , hui ) = {P En : (P P0 , u) = 0}
n
X
P (x), P0 (x0 )
u=
ui ai
i=1
0 = (P P0 , u) =
n
X
i=1
ui (xi x0i ) = u1 x1 + + un xn c.
c=
n
X
(2)
ui x0i .
i=1
1 x1 + + n xn
qP
= 0.
n
2
i=1 i
L2 = L(P2 , hu2 i ).
2) Distanza punto-iperpiano.
6
u
P0
2 La
P1
>6
52
P1 (x) a pera.
p
dist(P1 , L) := ||P1 H|| = (tu, tu) = |t|.
P1 H = tu se ||u|| = 1.
t = (tu, u) = (P1 H, u) = ((P1 P0 ) (H P0 ), u) =
= (P1 P0 , u) (H P0 , u) = (P1 P0 , u) =
| {z }
hui
= u1 x11 + + un x1n c
dist(P1 , L) =
|u1 x11
+ +
un x1n
(3)
c|.
|1 x11 + + n x1n |
qP
.
n
2
i=1 i
P1
6
u
P2
L = L(P0 , hui )
Definizione 4.6 : En En `e una riflessione se
(P1 ) = P2
t.c.
P2 P1 = 2(H P1 ) = 2tu = ()
4.5
Trasformazioni in En
Ro = {O , A }
(x) P (x )
x = Ax + c
4.5. Trasformazioni in En
53
R
R
Dimostrazione La stessa data per GA; basta notare che quelli a destra sono sottogruppi di GL(n + 1, ).
Definizione 4.8
: En En `e detta similitudine se ha equazione
x = Ax + c,
Rn;
>0
A c
{similitudini}
, A O(n)
.
0 1
c n
54
Definizione 4.9 Geometria euclidea. . . : lo studio delle propriet`a dei sottoinsiemi (figure) di En invarianti per
. . . metrica: congruenze (rototraslazioni);
. . . simile: similitudini (similitudini dirette).
Esempi Sono invarianti lortogonalit`
a di sottospazi, le distanze, le aree, i volumi, ec.
Valgono i risultati su strutture analoghe a quelle viste per GA, i.e. prodotti
semidiretti di T con un opportuno gruppo (O(n), SO(n), . . . ).
4.6
Ulteriori propriet`
a
||2 xT x = xT Ax = xT AT Ax = xT x
(||2 1)xT x = 0
|| = 1.
2
2
xT x = |x1 | + + |xn | 6= 0
cos sin 0
A (R) = sin cos 0 0 < 2
0
0
1
)t2 (
)t + det R
R SO(3) det R = 1.
Siano , , le radici di R .
, , = 1 e , = 1 o 1
= det R = 1 ,
/ , = 1 = = ||2 = 1.
|{z}
=1
Quindi:
R , u 6= 0 : Ru = u
3
`
4.6. Ulteriori proprieta
55
1
u.
||u||
(Ra3 = a3 )
(Gram-Schmidt).
j = 1, 2
Ra3 = a3
2
a
A (R) = 4 b
0
R SO(3)
c
d
0
a
b
0
0 5 = R
1
c
SO(2)
d
1 = det R = ad bc
c
cos
=
d
sin
sin
.
cos
` possibile generalizzare:
E
Teorema 4.3 [Forma canonica delle rotazioni di En di centro O] Se R
SO(n), allora Ro = {O, A} t.c.
A1
cos i sin i
Ai =
..
sin i
cos i
.
A (R) =
<
2
i
Ar
i = 1, . . . , r.
In2r
Capitolo 5
Spazi proiettivi
Abbiamo gi`a incontrato
P1 = {rette di A2 per O} = fascio di rette;
P2 = {rette di A3 per O} = stella di rette.
In generale:
Pn = {sottospazi vettoriali 1-dimensionali di un V t.c. dim V = n + 1}.
Sia V uno spazio vettoriale su K, dim V = n + 1. x, y V r {0} poniamo
x y K (= K r {0}) t.c. x = y,
5.1
57
= P(U)
iperpiano
piano
retta
punto
dim U
n
3
2
1
Esempi
5.2
Siano
A1 , . . . , Ar P(V) = Pn ,
a1 , . . . , ar V r {0}
t.c. (ai ) = Ai .
r
X
i (i ai ) =
i=1
i i = 0
|{z}
i = 1, . . . , r
6= 0
r
X
(i i )ai
i=1
i = 0
i = 1, . . . , r.
58
Spazi proiettivi
6
A1 , A2 ? A1 = (a1 ), A2 = (a2 ), a1 , a2 l.i. Per K , a1 6= a2 ha1 i =
ha2 i. Quindi A1 , A2 l.i. A1 6= A2 .
Pi`
u in generale:
A1 , . . . , Ar l.i.
Ai = (ai )
a1 , . . . , ar l.i.
dimha1 , . . . , ar i = r
dim P(ha1 , . . . , ar i) = r 1.
5.3
V r {0}
P(V) = Pn
Pn X = (x)
x=
n+1
X
xi ai
i=1
Ci`
o vale indifferentemente anche per x K :
X = (x)
x =
n+1
X
xi ai
(xi , . . . , xn+1 )
i=1
59
X = (x) = (x)
x=
n+1
X
x =
xi ai
i=1
n+1
X
xi ai =
i=1
n+1
X
xi (ai )
i=1
P1 A 1 , A 2
dim V = 2
A1 6= A2
A = {a1 , a2 } base di V
A1 = (a1 ) = (3a1 )
A2 = (a2 ) =
1
a
2 2
X = (x) (x1 : x2 )
x = x1 a1 + x2 a2 .
1
A = 3a1 , a2 altra base di V
2
x = x1 a1 + x2 a2 =
1
x1
3
X = (x)
1
3a1 + (2x2 ) a2
2
1
x1 : 2x2
3
Ai = (
ai )
U = (u)
n+1 } base di V
A = {
a1 , . . . , a
i = 1, . . . , n + 1
1 + + n+1 a
n+1 .
u = 1 a
i.e.
Allora
1 , . . . , an+1 = n+1 a
n+1 }
A = {a1 = 1 a
`e una base di V , privilegiata dal fatto che
u = a1 + + an+1
con coefficienti tutti uguali. A determina un sistema di coordinate proiettive
omogenee su Pn ; gli
Ai = (ai ) (0 : : 1 : : 0)
si dicono vertici del riferimento, mentre
U = (u) (1 : 1 : : 1)
si dice punto unit`
a.
60
Spazi proiettivi
5.4
x=
r+1
X
Bi = (bi )
(x) = (x) = X
j bj
j=1
j=1
Bi = (i bi )
i K .
r+1
X
= X Pn : X =
j Bj , j non tutti nulli = hB1 , . . . , Br+1 i.
j=1
X = (x)
! n+1 r+1
n+1
r+1
n+1
r+1
X
X
X
X
X X
xi ai = x =
j bj =
bij ai =
bij j ai .
j
i=1
j=1
j=1
i=1
i=1
j=1
xi =
r+1
X
bij j
j=1
i = 1, . . . , n + 1;
in forma pi`
u compatta:
x = B
Kr+1 r {0},
()
B (b1 : : bn+1 )
xi = ai + bi
(, ) 6= (0, 0)
i = 1, . . . , n + 1.
x1
() car ...
B = car B = r + 1.
xn+1
()
61
x1
6 x2
car 6
4 x3
x4
a1
a2
a3
a4
b1
b2 7
7 = 2.
b3 5
b4
Supponiamo a1 b2 a2 b1 = 6= 0.
x1
0 = x2
x3
x1
0 = x2
x4
a1
a2
a3
b1
b2 = 1 x1 + 2 x2 + x3 = 0
b3
piano 1
a1
a2
a4
b1
b2 = 1 x1 + 2 x2 + x4 = 0
b4
piano 2
= 1 2 .
`e descritto come intersezione di n r iperpiani.
Esercizio 5.4.1 In P4 sono dati i sottospazi lineari
2 :
1 : x1 = x2 = x3 = x4 x5 = 0
x1 x2 = 0
2x2 x4 + x5 = 0
x1 + x3 x4 = 0
3 :
x1 x4 = 0
x1 2x3 + x5 = 0
1) Determinare dim i .
5.5
Consideriamo
: V r {0} P(V) = Pn
x 7 (x) = X.
62
Spazi proiettivi
Punto di vista passivo. Sia A = {a1 , . . . , an+1 } una base di V, e sia A =
} unaltra base di V.
{a1 , . . . , an+1
xi ai = x
x=
i=1
n+1
X
xj aj .
j=1
x1
K
..
.
C GL(n + 1; K).
xn+1
x1
... = C
xn+1
()
X (x1 : : xn+1 )
a (n + 1) a (n + 1) l.i.
B1 , . . . , Bn+2
a (n + 1) a (n + 1) l.i..
:P P
U|f = U
1 La prima dicitura `
e utilizzata pi`
u frequentemente per trasformazioni di Pn in se stesso,
la seconda per trasformazioni in un altro Pn .
2 I due insiemi a quoziente sono rispettivamente il centro di GL e il centro di Aut.
63
propriet`
a di incidenze;
1 2
1 + 2 .
il birapporto di 4 punti.
retta = hA, Bi
A1 , . . . , An
(i : i ) 6= (0, 0)
A i = i A + i B
1 3 3 1
(A1 A2 A3 )
=
(A1 A2 A3 A4 ) =
(A1 A2 A4 )
2 3 2 2
5.6
1 4 4 1
.
2 4 4 2
V r {0}
V r {0}
P(V) P(V)
((x)) := (f(x))
vettoriale
x autovettore di f
f(x) = x
( K f Aut(V))
proiettivo
(X) = X
X punto unito
U sottospazio di V t.c.
x U r {0}
f(x) = x
= P(U)
X (X) = X
sottospazio lineare di punti uniti
U sottospazio f-invariante
f(U) = U
( f Aut(V))
= P(U)
X (X)
sottospazio unito
A = (a)
f Aut(V )
A = {a, b, c}
B = (b)
2
A (f) = 40
0
C = (c)
3
0
5
, 6= 0
(A) = A
f(b) = b
(B) = B
f(c) = b + c
Per passare dalla forma canonica di Jordan degli f Aut(V) alla forma
canonica per le omografie, bisogna cercare un riferimento proiettivo in cui siano
privilegiati gli elementi uniti dellomografia.
64
Spazi proiettivi
Relazioni tra An e Pn
5.7
(U + x) = U + x
Inoltre:
V
= dim V dim U
U
Pn = P(V) P(U) iperpiano di Pn
dim
dim U = n = dim V 1.
Fatto Lo spazio
A := P(V) r P(U)
`e uno spazio affine n-dimensionale.
Ponendo
W := Hom
V
,U ,
U
V
vale dim W = dim U
dim U = dim U = n. W ha unazione su A data da
X = (x), x V r U
AW A
(X, f) 7 X + f =
x + f(U + x)
|{z} | {z }
VrU
{z
VrU
(x + f(U + x)) = (x + f(U + x)) = ((x + f(U + x))) = ((x + f(U + x))).
Ancora su An e Pn
5.8
: :
:1
n+1
n+1
con n+1 6= 0
(x1 , . . . , xn ) Kn .
3 Chi
4 cf.
5.8. Ancora su An e Pn
65
Quindi Pn r (= Kn ) = An .
Sia ora 6= un iperpiano di Pn di equazione
: 1 1 + + n n + n+1 n+1 = 0.
Qualche i 6= 0.
r X (x1 : : xn : 1)
1 x1 + + n xn + n+1 = 0,
che rappresenta un iperpiano di An . In generale: sia Pn un sottospazio
lineare proiettivo, dim = r e t.c. 6 . Allora
L := r
`e un sottospazio lineare affine di An , e dim L = r.
Viceversa: An si pu`o immergere in Pn .
An Pn = An {punti impropri (direzioni delle rette di An )} = An
spazio affine esteso con gli elementi impropri.
An X = (x1 , . . . , xn )
= (x1 : : xn : 1)
= (1 : : n : n+1 )
L ha equazioni parametriche
= +
con K
n+1 = + .
1
: 0),
66
Spazi proiettivi
dim = dim L.
A sostegno della generalit`a: dato un iperpiano Pn ,
: Pn Pn
( ) = .
t.c.
5.9
L1 k L2 Dir L1 Dir L2 L1 L2 .
Trasformazioni
c1
..
A
.
=
con det A 6= 0.
,
cn
0 0
Dimostrazione Partendo da
2
6
6
4
= 6
d1
dn
c1
..
.
cn
3
7
7
7 ,
5
X (1 : : n : 0) voglio
(X) (1 : : n : n+1
) .
0 = n+1
= d1 1 + + dn n d1 = = dn = 0.
5.9. Trasformazioni
67
(Pn r ) = Pn r
| {z }
| {z }
An
An
n
x1
..
.
xn
1
|An : A A
c1
x1
.. ..
.
.
cn xn
0 1
1
det A 6= 0
i.e. A GL(n; K).
: An An
=
^ : Pn Pn
( ) = .
Corollario Le affinit`
a di An sono le restrizioni ad An delle omografie di Pn
che hanno come iperpiano unito.
4
2
{A, B} k {C, D}
Dir L =
{A, D} k {B, C}
Dir L =
P2 (
0
1
{A, C} k {B, D}
Pertanto
1
0
Dir L =
1
1
F ) = A (F ) {3 punti impropri}.
2
Tale spazio viene detto piano di Fano, e viene rappresentato come in figura:
q)
e P2 (
q ).
Capitolo 6
Ipersuperfici quadriche
Sia V uno spazio vettoriale, dim V = n + 1, Pn = P(V),
: V r {0} P(V)
v 7 (v) = X.
con K
(v) = 2 (v)
(v) = 0 (v) = 0.
Sia Char K 6= 2. Allora determina univocamente la forma bilineare simmetrica a cui `e associata. Sia A = {a1 , . . . , an+1 } una base di V; `e univocamente
determinata A Mat(n + 1; K), A = AT , A 6= 0 t.c.
(v) = xT Ax
x1
xi ai e x = ... Kn+1 .
dove v =
i=1
xn+1
n+1
X
X (x1 : : xn+1 ).
Per brevit`
a, poniamo X (x). La definizione di iperquadrica si pu`o riformulare
cos`:
69
Definizione 6.2 Definiamo iperquadrica di Pn un insieme
Z(f) = {X Pn : X (x), xT Ax = 0},
| {z }
f(x)
f(x) = 0 `e l equazione di Q;
A `e la matrice di Q.
t.c.
(Q) = Q .
Concretamente: supponiamo
Q : xT Ax = 0,
e 1 abbia equazione1
x = Cx
Dunque:
0 = xT Ax = xT CT AC x = 0,
| {z }
A
xT A x = 0
70
Ipersuperfici quadriche
6.1
perche congruenti.
Punti singolari
l : x = y + z
(, ) 6= (0, 0).
yT Ay + (yT Az + zT Ay) + 2 zT Az = 0.
Notiamo che yT Az = zT Ay:
K yT Az = (yT Az)T = zT AT y = zT Ay.
Giungiamo quindi a
2 (yT Ay) + 2(zT Ay) + 2 (zT Az) = 0,
()
unequazione di II grado in
(o
) in K
Q l consiste al pi`
u di 2 punti.
()
`
6.2. Riducibilita
71
Esempi Si pu`
o immaginare in P2R una conica degenere formata da due rette intersecantisi in un solo punto: tale punto `e singolare.
Dimostrazione
Y `e singolare
z K
n+1
nella () si ha zT Ay = 0
6 7
Ay = 4 ... 5 .
dim(Sing Q) = n rk Q.
Dimostrazione
Le soluzioni di Ay = 0 definiscono il sottospazio lineare proiettivo di Kn+1 che
corrisponde a N() Sing Q = P(N()).
dim(Sing Q) = dim N() 1 = (nullit`
a+rango)
= (n + 1 car A) 1 = n car A = n rk Q.
Osservazione Si noti:
6.2
se car A = n,
Sing Q = 1 punto;
se car A = n 1,
Sing Q = 1 retta;
se car A = n 2,
Sing Q = 1 piano.
Riducibilit`
a
dim(Sing Q) = n r.
Cosa succede a Q se r `e molto piccolo?
72
Ipersuperfici quadriche
Sappiamo da Lagrange che C GL(n + 1; K) t.c.
..
i K
CT AC =
i = 1, . . . , r = car A.
0
.
..
Dimostrazione
) Se rk Q = 1 allora Q pr
Q : 1 x21 = 0 riducibile.
Se rk Q = 2 allora Q pr
Q : 1 x21 + 2 x22 = 0. Dividendo per 1 otteniamo
2
(ponendo = 1 )
0 = x21 + x22 = (x1 x2 )(x1 + x2 )
60
6
A = 6.
4 ..
0
0
0
..
.
0
(Q) : x21 = 0
..
.
0
07
7
.. 7
.5
0
rk Q = 1.
0
61
6
A = 6.
4 ..
0
1
0
..
.
0
(Q) : 2x1 x2 = 0
..
.
0
07
7
.. 7
.5
0
rk Q = 2.
73
K ,
i2 = 1.
R ...
60
6
A = 6.
4 ..
0
..
.
0
..
.
0
07
7
.. 7
.5
0
rk Q = 2.
Q riducibile rk Q 2.
Si tratta della stessa condizione solo per n = 2, i.e. solo per le coniche.
Esempi In P3 A3 consideriamo il cono di equazione z2 = x2 + y2 .
x21 + x22 x23 = 0
2
6
A=6
4
7
7
5
1
1
rk Q = 3.
0
Quindi tale quadrica `e singolare ma irriducibile.
6.3
r = rk Q.
74
Ipersuperfici quadriche
3
Esempi [Classificazione delle Q PC
]
rk
eq. canonica
propriet`
a
Q non singolare
Sing Q = {(0 : 0 : 0 : 1)},
ovvero solo il vertice;
Q `e detto cono quadratico
x21 + x22 = 0
x21 = 0
2
Esercizio 6.3.1 Classificazione delle coniche in PC
.
x22
+
= (x23 + x24 )
(x1 ix2 )(x1 + ix2 ) = (x3 ix4 )(x3 + ix4 ).
x1 ix2 = (x3 ix4 )
x1 + ix2 = (x3 + ix4 )
definisce una retta Q. Prendiamo due parametri (h, k) 6= (0, 0) e consideriamo
h(x1 ix2 ) = k(x3 ix4 )
k(x1 + ix2 ) = h(x3 + ix4 ).
Al variare di (h : k) si ottiene una famiglia F di rette Q. Analogamente
x1 ix2 = (x3 + ix4 )
x1 + ix2 = (x3 ix4 )
definisce una retta Q; presi (h , k ) 6= (0, 0) otteniamo
h (x1 ix2 ) = k (x3 + ix4 )
k (x1 + ix2 ) = h (x3 ix4 ).
Al variare di (h : k ) si ottiene una seconda famiglia F di rette Q.
Individuiamo le seguenti propriet`a:
1) Per l1 , l2 F (oppure F ) succede che l1 l2 = , ovvero sono sghembe;
2) l1 F e l2 F si ha l1 l2 = {punto};
3) Y Q l1 F , l2 F t.c. l1 l2 = {Y}.
Ip
Iq
CT AC =
75
R) t.c.
Sgn A = (p, q)
p + q = car A.
in modo che p q .
Geometricamente, data Q con Sgn Q = (p, q), : Pn Pn omografia t.c.
(Q) : x21 + + x2p x2p+1 x2p+q = 0.
Corollario Sia K =
R. Allora
Q pr
Q Sgn Q = Sgn Q ,
Sgn Q
eq. canonica
(4, 0)
(3, 1)
(2, 2)
(3, 0)
(2, 1)
(2, 0)
x21 + x22 = 0
(1, 1)
x21 x22 = 0
(1, 0)
x21 = 0
propriet`
a
immaginaria
reale non rigata
reale rigata
cono immaginario
cono reale
riducibile in 2 fattori
complessi coniugati distinti
riducibile in 2 piani
riducibile in 2 piani coincidenti
3
.
Continuano a valere per rango le propriet`
a valide in PC
2
Esercizio 6.3.2 Classificazione delle coniche in PR
.
3 Si pu`
o visitare in proposito il sito Internet http://www.math.umn.edu/ roberts/java.
dir/JGV/, dove sono reperibili rappresentazioni interattive delle quadric ruled surfaces.
76
Ipersuperfici quadriche
Osserviamo ora una propriet`a delle quadriche con Sgn Q = (2, 2).
x21 x23 = x24 x22
(x1 x3 )(x1 + x3 ) = (x4 x2 )(x4 + x2 ).
x1 x3 = x4 x2
x1 + x3 = x4 + x2
: x4 = 0.
x1
,
x4
y=
x2
,
x4
z=
x3
x4
ha equazione
x2 + y2 + z2 1 = 0.
Per assurdo sia una retta l su Q.
x = x0 + mt
y = y0 + nt
l:
z = z0 + pt
t (m + n + p ) + t(
)+(
) = 0.
6.4
Consideriamo:
Q Pn
Y (y) Q r Sing Q
Q : xT Ax = 0
yT Ay = 0 ma Ay 6= 0.
l = hY, Zi.
`
6.5. Polarita
77
(, ) 6= (0, 0)
6= 0
()
x = y + z
zT Ay = 0.
Allora
x1
0
.. ..
Ay = . =
6 .
0
xn+1
xT Ay = 0
i.e.
xT u = 0
che `e un iperpiano.
Definizione 6.10 Le rette tangenti a Q in Y generano un iperpiano detto
iperpiano tangente a Q in Y e denotato con TY (Q).
Se
Q : xT Ax = 0
allora
TY (Q) : xT Ay = 0.
6.5
Polarit`
a
Ay 6= 0
xT Ay = 0
definisce un iperpiano.
Definizione 6.11 Diciamo iperpiano polare di Y rispetto a Q liperpiano PY (Q)
di equazione
xT Ay = 0.
78
Ipersuperfici quadriche
Propriet`a:
1) Se Y Q, PY (Q) = TY (Q) (ovvio).
2) Legge di reciprocit`
a:
Z PY (Q) Y PZ (Q).
Dimostrazione Abbiamo:
PY (Q) : xT Ay = 0
zT Ay = 0
zT Ay = yT AT z = 0
A = AT
yT Az = 0
PZ (Q) : xT Az = 0.
Esempi Sia n = 3. Il piano polare contiene tutti i punti di tangenza alla quadrica,
come nellillustrazione `e delineato dalla superficie apparente:
6.6
` una quadrica in Pr .
Chi `e Q ? E
Q
Q |U
In coordinate:
Q : xT Ax = 0
: x = U
U Mat(n + 1, r + 1; K)
79
iperbolico
parabolico
ellittico
Y = (Y)
TY (Q ) = (TY (Q)).
b) Abbiamo:
A = (CT AC)
A Mat(4;
R)
Cosa ci`
o comporta per Q?
Q:
x1
x1
6 7
x4 A 4 ... 5 = 0
x4
2 3
TY (Q) :
x1
x4
60 7
7
A6
40 5 = 0
1
(c`e una strage)
a14 x1 + a24 x2 + a34 x3 + a44 x4 = 0
Voglio che questo sia il piano di equazione x3 = 0, perci`
o
(a34 6= 0)
Q:
Q TY (Q) :
4 Le
x1
a11
6a12
x4 6
4a13
0
|
xT Ax = 0
x3 = 0
a12
a22
a23
0
{z
A
a13
a23
a33
a34
0 2x 1 3
0 7
.7
76
4 . 5=0
a34 5 .
x4
0
}
ipotesi restringono il campo alle quadriche con Sgn(Q) = (3, 1), (2, 2), (2, 1).
80
Ipersuperfici quadriche
a12
a22
a23
Corollario Tutti i punti reali non singolari di Q hanno la stessa natura, i.e.
sono tutti iperbolici/parabolici/ellittici.
Esempi
2
Sgn Q = (3, 1)
Sgn Q = (2, 2)
6
A=6
4
2
Sgn Q = (2, 1)
6
A=6
4
7
7
5
A=6
4
2
1
1
1
det A < 0
quadrica a punti ellittici
3
7
7
5
1
1
det A > 0
quadrica a punti iperbolici
1
3
7
7
5
1
1
det A = 0
quadrica a punti parabolici
0
Esercizio 6.6.2 Con la stessa tecnica usata nella dimostrazione del teorema provare:
3
non singolare e sia P3 un piano. La conica Q ha un punto
Sia Q PR
singolare Y = TY (Q). ( gi`
a visto.)
3
Sia Q PR
irriducibile e sia P3 un piano. La conica Q ha un punto
singolare Y se e solo se
= TY (Q)
oppure
Y Sing Q.
R e per P
in luogo di P3 con
3
Esercizio 6.6.3 Sia Q PR
irriducibile e sia Y l retta Q con Y non singolare
per Q. Allora TY (Q) l.
Manifestiamo ora limportanza del corollario, che discende dal fatto che tale
propriet`a non `e valida per qualunque superficie.
La natura dei punti `e una propriet`a locale di tipo geometrico differenziale.
3
Definizione 6.12 S AR
`e una superficie regolare se Y S le rette tangenti
a S in Y formano un piano TY (S).
Esercizio 6.6.4 Cercare una superficie regolare S A3 in cui ci siano punti di natura
iperbolica, parabolica ed ellittica.
6.7. Iperquadriche in An
6.7
81
Iperquadriche in An
Consideriamo:
x1
x = ... Kn
An X (x),
xn
Sia
f(x) =
xT A0 x
| {z }
2a x
| {zT }
a
|{z}
termine noto
0 6= A0 = A0T Mat(n; K)
A0 a
x
x
1
x
=
.
T
1
aT a
1
|
{z
}
AMat(n+1;K)
A=AT
(Q) = Q .
t.c.
(Q) = Q
n
n
Q Q : P P :
(Q ) = Q
In An
C,
In An
R,
Q Q rk Q = rk Q ,
rk Q = rk Q
Q Q Sgn Q = Sgn Q ,
rk Q
Sgn Q = Sgn Q
.
conica
2
1
2
2
2
1
3
3
82
Ipersuperfici quadriche
(3, 0) immaginaria
irriducibile
(2, 1) reale
riducibile
(1, 1) 2 rette distinte incidenti
punti ellittici
punti iperbolici
punti parabolici
immag.
non degen.
ellissoide
(reale)
x2 + y2 + z2 = 1
reale
non degen.
iperboloide
ellittico
(a due falde)
x2 y2 z2 = 1
iperboloide
iperbolico
(a una falda)
x2 + y2 z2 = 1
cono
(reale)
x2 + y2 z2 = 0
paraboloide
ellittico
x2 + y2 2z = 0
paraboloide
iperbolico
(a sella)
x2 y2 2z = 0
cilindri
x2 y2 = 1
x2 2y = 0
degenere
Osservazione
Le quadriche a punti iperbolici o parabolici non possono tagliare il piano
allinfinito in punti immaginari.
I cilindri sono di tre specie:
ellittici, x2 + y2 = 1;
iperbolici, x2 y2 = 1;
parabolici, x2 2y = 0.
ellissoide (immaginario)
cono (immaginario)
cilindro (immaginario)
c) Q riducibile.
x2 y2 = 0
x2 1 = 0
x2 = 0
6.8. Iperquadriche in En
83
xT A0 x + 2aT x + a = 0
xT A0 x 2aT x + a = 0
4aT x = 0.
1 : x = x c
xT
a
a
A0
aT
x
1
=0
: A0 c + a = 0
il sistema A0 c = a `e crameriano
6.8
det A0 6= 0.
Iperquadriche in En
Sia En X (x).
Q: f
x
1
xT
x
A0 a
= 0.
aT a
1
{z
}
|
A=AT 6=0
: En En
x
1
t.c.
(Q) = Q .
x
R c
0T 1
1
| {z }
R SO(n)
(R O(n))
Q = (Q) :
xT
RT 0
A0 a
R c
x
=0
cT 1
aT a
0T 1
1
{z
} | {z }
| {z } |
CT
det C = det R = 1
A = CT AC
A0 = RT A0 R.
84
Ipersuperfici quadriche
Osservazione
det A = (det C)2 det A = det A;
n
X
(1)i ni ti .
i=0
In+1 = det A.
6.9
85
0 0 0
I1 = + +
0 0 0
I
2 = + +
A=
0 0 0
I3 = 6= 0
I4 = = I3
0 0 0
2
I4 = 0 = 0
x + y2 + z2 + = 0.
I4 = 0. x2 + y2 + z2 = 0.
Analizziamo i segni:
I] + + + a meno di moltiplicare per 1;
II] + + a meno di moltiplicare per 1
e a meno
di una
Q cono immaginario;
Q cono reale.
0 < I1 I3 = ( + ( + ))
> 0 oppure
< ( + ).
0 < I2 = ( + ) + <
< ( + )2 + = (2 + + 2 ) < 0
assurdo > 0.
II] altrimenti.
86
Ipersuperfici quadriche
Nel caso II] abbiamo:
P0 (x0 , y0 , z0 ) Q hO, P0 i Q
x = tx0
y = ty0
t2 (p2 x20 + q2 y20 z20 ) = 0 t
z = tz0
R.
Osservazione
I4 6= 0. x2 + y2 + z2 = 1 (dividendo per ).
Analizzando i segni otteniamo, a meno di una rotazione che permuta
gli assi, quattro casi:
+
+
I4 < 0
x2
y2
z2
+
+
=1
a2
b2
c2
ellissoide reale
I2 > 0
I4 > 0
x2
y2
z2
+ 2 + 2 = 1
2
a
b
c
ellissoide immaginario
altrimenti
I4 > 0
y2
z2
x2
+
=1
a2
b2
c2
iperboloide iperbolico
o a una falda (rigato)
I4 < 0
y2
z2
x2
2 2 =1
2
a
b
c
iperboloide ellittico
o a due falde
Analizziamo i seguenti:
I]
II]
III]
x2
a2
x2
a2
x2
a2
+
+
y2
b2
y2
b2
y2
b2
z2
c2
z2
c2
z2
c2
= 1;
= 1;
= 1.
z=k
2
x2
+y
=1
a2
b2
87
k2
c2
II] Affettando:
`e unellisse reale k
z=k
2
x2
+y
=1+
a2
b2
R.
k2
c2
Osservazione
a = b A0 ha due autovalori uguali Q `e di rotazione e
lasse di rotazione ha la direzione degli autovettori relativi allaltro
autovalore.
Q `e (doppiamente) rigata:
h
k
x
a
x
a
x2
z2
y2
2 =1 2
2
a c
b
x
h a cz = k 1 +
cz = k 1 yb
k ax + cz = h 1
+ cz = h 1 + yb
y
b
y
b
III] Affettando:
z=k
2
x2
y
=1+
a2
b2
k2
c2
88
Ipersuperfici quadriche
Osservazione
b = c A0 ha due autovalori uguali Q di rotazione attorno
allasse x lasse di rotazione ha la direzione degli autovettori
relativi al terzo autovalore.
Caso I3 = 0.
Considero Q irriducibile.
0 0
A0 = 0 0
0 0
I3 = = 0, e.g. = 0
f(x, y, z) = x2 + y2 + 2 a14
0
A=
0
a14
0
a24
I4 = 0.
0
0
0
a34
a14
a24
a34
a44
a24
x
a34 y + a44 = 0
z
i) a34 = 0. Affettando:
z=0
> 0 ellisse
I2 (Q) = = I2 ( ) = 0 parabola
< 0 iperbole
2
a24
x =x
y = y +
z = z +
a24
a44
2a34
y 2 = 2a14 x 2a34 z
y2 = px + qz
q 6= 0.
89
(a34 6= 0, I2 = 6= 0)
x2 + 2a14 x + y2 + 2a24 y = 2a34 z a44
x = x + h
y = y + k
z = z
lequazione diventa
x 2 + y 2 = 2a34 z a44
e con lulteriore traslazione
x =x
y = y
z = z +
a44
2a34
abbiamo
x 2 + y 2 = 2a34 z .
Dividendo per |a34 |,
x2 + y2 = 2pz
p = 1.
Analizziamo i segni:
I] + + a meno di moltiplicare per 1;
II] + a meno di moltiplicare per 1.
Si vengono a determinare due casi:
I]
II]
x2
a2
x2
a2
y2
b2
y2
b2
= 2pz
I4 < 0
paraboloide ellittico;
= 2pz
I4 > 0
paraboloide iperbolico.
a2
0
A=
0
0
0
b12
0
0
0
0
0
0
0 p
p 0
p = 1
90
Ipersuperfici quadriche
z=k
2
x2
+y
= 2k
a2
b2
k>1
`e unellisse k > 1.
Osservazione
a = b Q `e di rotazione intorno allasse z.
A0 ha due autovalori uguali (il terzo `e 0) lasse di rotazione ha
la direzione degli autovalori relativi al terzo autovalore di A0 .
II] p = 1. Affettando:
z=k
2
x2
y
= 2k
a2
b2
h
k
x
a
x
a
yb = k
+ yb = 2h z
I3 = 0
I4 > 0
I2 > 0, I1 I3 > 0
ellissoide immaginario
altrimenti
iperboloide iperbolico
I4 < 0
I2 > 0, I1 I3 > 0
ellissoide reale
altrimenti
iperboloide ellittico
I4 = 0
I2 > 0, I1 I3 > 0
altrimenti
I4 < 0
I4 > 0
I4 = 0
I2 > 0
cilindro ellittico
I2 < 0
cilindro iperbolico
I2 = 0
cilindro parabolico
91
Capitolo 7
Dualit`
a
In P2 prendiamo una retta
l : a1 x1 + a2 x2 + a3 x3 = 0.
(a1 , a2 , a3 ) 6= (0, 0, 0)
l : (a1 x1 + a2 x2 + a3 x3 ) = 0
l (a1 , a2 , a3 )
dette coordinate pl
uckeriane omogenee. Possiamo pensare che in P2 , piano dua2
le di P , ad ogni punto corrisponda una retta e ad ogni retta corrisponda un
punto:
P2 l X (x1 : x2 : x3 ) a1 x1 + a2 x2 + a3 x3 = 0,
che descrive una retta in P2 . Questo processo viene detto traduzione per dualit`
a.
Esempi
Retta passante per un punto punto giacente su una retta.
Esempi Si considerino:
P2 a, b, c rette in un fascio
A, A a
hABi hA B i = M
B, B b
C, C c
hACi hA C i = N
hBCi hB C i = P.
Il teorema di Desargues (che affronteremo in seguito) afferma che M, N, P sono allineati. Ci si accorge che linverso di tale teorema `e la traduzione per dualit`
a dellenunciato.
7.1
Algebra lineare
93
0 = 0(aj ) =
n
X
i i = 0 V
i i
(aj ) =
i=1
n
X
i=1
i K
i i (aj ) = j
| {z }
j = 1, . . . , n.
ij
n
X
xj aj
j=1
allora
i (x) = i
n
X
xj aj
n
X
xj i (aj ) = xi
j=1
j=1
Si consideri:
W
V W K
fV
V K.
cos` definita:
T
W
V
fT () := f V
W .
Osservazione fT `e lineare:
, K
1 , 2 W
fT (1 + 2 ) = (1 + 2 ) f = (1 f) + (2 f) = fT (1 ) + fT (2 ).
Definizione 7.2 Sia V uno spazio vettoriale e sia V il suo duale. Diciamo
(V ) = V spazio vettoriale biduale di V.
`
Dualita
94
V
Vx
x
: V K
x
() := (x) V .
x
`e lineare:
Osservazione x
1 , 2 V
, K
1)
x^
+ y () = (x + y) = (x) + (y) =
x() +
y() = (
x+
y)() V .
x^
+ y =
x +
y.
A = {1 , . . . , n } base di V .
V
() = 0
x
e in particolare
(i ) = i (x) = xi
0=x
i = 1, . . . , n
x = 0a1 + + 0an = 0.
V W
f
V T W
(fT )T
V = V W = W
f = (fT )T .
7.2
A Mat(m, n; K).
Annullatori
7.2. Annullatori
95
ii) S hSi. Se annulla gli elementi di hSi, a fortiori annulla anche quelli di S.
Quindi AnnhSi Ann S. Ma vale anche Ann S AnnhSi:
Ann S
x hSi
(x) =
x=
m
X
xi S
i xi
i=1
m
X
i xi
m
X
i (xi ) = 0
i=1
i=1
AnnhSi.
n
X
i i
i=1
Verifichiamolo:
Ann U = Ann{a1 , . . . , ar }
Ann U (aj ) = 0
(aj ) =
n
X
i i
(aj ) =
i=1
j = 1, . . . , r
n
X
i=1
i i (aj ) = j .
| {z }
ij
`
Dualita
96
3) Ann(U1 U2 ) = Ann U1 + Ann U2 ;
4) Ann(Ann U) = U nellidentificazione naturale V = V.
Dimostrazione
1) Ovvio.
2) Poiche una Ann(U1 U2 ) annulla i vettori di U1 e di U2 , vale
ii)
3) Ui V , Ann Ui = Ti V
4)
Ann Ti = Ann(Ann Ui ) = Ui
2)
= T1 + T2 = Ann U1 + Ann U2 .
V T W .
Teorema 7.2
i) Ann(Im f) = Ker fT ;
ii) Ann(Ker f) = Im fT .
Dimostrazione
i)
ii)
x V
4)
Ann(Ker f) = Ann(Ann(Im fT )) = Im fT .
97
(x, ) 7 (x)
(x) =
n
X
i i
i=1
x V
x=
n
X
= 1
7.3
n
X
i i .
i=1
xj aj
n
X
i xj i (aj ) =
i,j=1
xj aj
j=1
j=1
n
X
n 4
n
X
i ij xj =
i,j=1
3 2x 3
1
. 7
56
4 .. 5 .
xn
Pn = P(V)
Pn = P(V )
Osservazione
V = V
Pn = Pn
a) V r {0}
dim(Ker ) = n + 1 1 = n,
quindi P(Ker ) Pn `e un iperpiano.
1 In
`
Dualita
98
b) Se , V r {0} con = k, k K ,
Ker = {x V : (x) = 0} = Ker ,
| {z }
=k(x)
Ker = Ann V
4)
Ker = Ann = Annhi
hi = Ann(Annhi) = Ann(Annhi) = hi
Ker = Ann = Annhi
i.e. = k, k K .
dove V r {0}
()
Ann U
In coordinate: in P abbiamo
uckeriane omog. di 1 ;
u1 = (u11 : : u1n+1 ) coord. pl
uckeriane omog. di 2 ;
u2 = (u21 : : u2n+1 ) coord. pl
(, ) 6= (0, 0)
hi = Ann(Ker ) Ann U
P(hi) P(Ann U).
99
Inoltre valgono le propriet`a (traduzione di quelle gi`a viste per gli annullatori):
1) 1 2 1 2 ;
2) (1 + 2 ) = 1 2 ;
3) (1 2 ) = 1 + 2 ;
4) ( ) = nellidentificazione (Pn ) = Pn .
Metateorema 7.1 [Principio di dualit`
a] Sia T un teorema il cui enunciato
coinvolge sottospazi lineari di Pn , loro dimensioni r, , , +, (proposizioni di incidenza); allora anche lenunciato T (enunciato duale) ottenuto
rimpiazzando con , r con n 1 r, scambiando con e + con `e un
teorema.
Un esempio significativo `e il
Teorema 7.3 [di Desargues in P2 o dei triangoli omologici]
Siano P2 a, b, c rette in un fascio, e i punti
A, A a
M = hABi hA B i
B, B b
C, C c
N = hACi hA C i
P = hBCi hB C i.
C
B
N
M
A
c
a
`
Dualita
100
7.4
Polarit`
a
Pn = {iperpiani di Pn }.
Q : Pn Pn
Y 7 PY .
det A 6= 0
Q : xT Ax = 0
Y (y)
PY (Q) : xT Ay = 0.
|{z}
u
K , A GL(n + 1; K), A = AT .
Ci`
o dice che Q `e la proiettivit`a di equazione
u = Ay.
In particolare Q manda sottospazi lineari Pn di dim = r in sottospazi
lineari = Q () Pn di dim = r.
7.5. Inviluppi
101
Esempi Sia r = 1.
PY (Q)
Q
PY = Q (Y)
= Q ()
Pn
Pn
Y
l
Il punto evidenziato `e il polo di l rispetto alla conica C.
a quadratica
La proiettivit`a Q : Pn Pn definita da Q si dice reciprocit`
(tiene conto del fatto che A = AT ).
7.5
Inviluppi
`
Dualita
102
Osservazione In generale C ha dei punti singolari.
Esempi Sia d 4.
C
l
l
P
P2
l
l
P2
P2
in P2 .
y2 = (x )(x )(x ).
deg C = 6.
Una possibile applicazione della teoria appena vista `e la ricerca delle rette
tangenti comuni a due curve.
2 Quella
7.5. Inviluppi
103
C2
C1
C1
C2
P2
P2
Cos`e Q ?
YQ
TY (Q) = PY (Q)
A GL(n + 1; K)
yT Ay = 0
TY (Q) : xT Ay = 0
|{z}
u
Q = {U (u) : u = Ay, yT Ay = 0}
A1 u = y
Quindi in realt`
a abbiamo
Q : uT A1 u = 0.
`
Dualita
104
a11 a22
a212
Capitolo 8
8.1
a
b c
a2 + b2 4c = 0
1 0 0
0
a
b
0 1 0
0
1
0 0 0 2 c = 0
0 0 2 0
1
106
Y
-
N : X2 + Y 2 4Z = 0.
Si verifica dunque:
8.1.1
reale
di raggio zero
immaginario
Fasci di cerchi
esterno a N
P su N
interno a N
Un fascio di cerchi F si genera con una circonferenza e lasse radicale del fascio
l:
l
: x2 + y2 + ax + by + c = 0
l : mx + ny + p = 0
(m, n) 6= (0, 0)
2
F t : + tl
X = a + tm
Y = b + tn
LF :
t
Z = c + tp
x=a
y=b
retta verticale F fascio di cerchi concentrici.
z = c + tp
Analizziamo lincidenza di LF con N .
107
LF N = F ellittico.
LF tangente a N F parabolico.
8.1.2
Circonferenze ortogonali
(x0 , y0 )
(x0 , y0 )
2 + = (x0 x0 )2 + (y0 y0 )2
2
2 aa
4
2 bb
4
aa + bb 2c 2c = 0
1 0 0
0
a
b
0 1 0
0
a b c 1
0 0 0 2 c = 0
0 0 2 0
1
108
P PP (N )
P , P coniugati rispetto a N .
= (x0 , y0 )
P N
PP (N ) = TP (N ).
Quindi il piano tangente rappresenta la rete di circonferenze per (x0 , y0 ).
8.1.3
Punti impropri
: x2 + y2 + ax + by + c = 0
(x2 + y2 ) + x + y + = 0
se 6= 0
a= , b= , c=
E3 P ( : : : )
P punto improprio ( = 0)
se (, ) 6= (0, 0)
se = = 0
x + y + = 0
retta di E
retta l di E2
( : : : 0)
(0 : 0 : 1 : 0)
Esempi
1) Cosa significa in termini di fasci di circonferenze che due rette esterne al paraboloide N sono incidenti?
109
Ovviamente, questo significa che i due fasci hanno una circonferenza in comune.
Pertanto, significa che i quattro punti base di F , F sono conciclici.
a2
b2
+
4
4
a2 + b2 = 4
1 = 2 = x20 + y20 =
Y
-
8.2
a2 + b2 = 4
c = 0.
Sia
L = G(1, 3) = {rette di P3 }.
110
Poniamo
pik
a
= i
bi
ak
= ai bk ak bi
bk
1 i < k 4.
= p .
pik =
bi bk |{z} ik
b1 b2 b3 b4
6=0
2)
hA, Bi = l = hC, Di
ik
c
= i
di
A + B = C l D = A + B
6= 0
C 6= D
c1 c2 c3 c4
d1 d2 d3 d4
ck ai + bi ak + bk Binet ai ak
.
=
=
bi bk
dk ai + bi ak + bk
| {z } | {z }
6=0
pik
l = hA, Bi,
pik
a
= i
bi
ak
.
bk
111
x1
car 4a1
b1
x1
a1
b 1
x1
a1
b 1
x2
a2
b2
x2
a2
b2
x2
a2
b2
x3
a3
b3
x4
a4 5 = 2,
b4
x3
a3 = p23 x1 p13 x2 + p12 x3 = 0
b3
x4
a4 = p24 x1 p14 x2 + p12 x4 = 0
b4
a 6= 0,
b 6= 0,
ha, bi K4
1
e.g. a1 6= 0
a = a = [1, a2 , a3 , a4 ]
a
b = b b1 a = [0, b2 , b3 , b4 ]
1
e.g. b2 6= 0
b = b = [0, 1, b3 , b4 ]
b2
a = a a2 b = [1, 0, a3 , a4 ]
ha, bi = ha , b i
1 0 a3
e posso lavorare con solo 4 parametri:
0 1 b3
a4
.
b4
112
a2
b2
a2
b2
a4
b4
= 2(p12 p34 p13 p24 + p14 p23 ).
a4
b4
a3
b3
a3
b3
x1
x1 x5 x2 x5 + x3 x4 = 0
x2
x3
x4
x5
1
x1
x2
1
x3
1
= 0
x6
x4
1
1
x5
1
x6
: L P5
x1 = p12
x2 = p13
.
..
x6 = p34
(L) K.
In effetti:
Proposizione 8.3 (L) = K.
Dimostrazione Abbiamo:
X hA, Bi
2
x1
car 4a1
b1
p23 x1
p24 x1
p34 x1
p34 x2
x2
a2
b2
x3
a3
b3
p12 x2
p14 x2
p14 x3
p24 x3
x4
a4 5 = 2
b4
+ p12 x3
+ p12 x4
+ p13 x4
+ p23 x4
=
=
=
=
0
0
0
0
113
p13
p14
0
p34
p23
6p24
car 6
4p34
0
p12
0
p14
p24
0
p12 7
7=2
p13 5
p23
Tutti i minori 3 3 sono di questa forma, con (p12 , . . . , p34 ) 6= (0, . . . , 0) e pik in luogo
di p14 . Quindi:
car = 2 vale la relazione di Pl
ucker.
: L K P5 .
1
x1
x2
x3
1
= 0.
y1 : y2 : y3 : y4 : y5 : y6
x4
1
1
x5
1
x6
: x = Cx
l = hA, Bi
2
a1
6a2
6
4a3
a4
pik
= i
bi
(l) = l
K , C GL(4; K)
l = (l) = hA , B i
b1
a1
6a 2
b2 7
7 = C6
4a 3
b3 5
b4
a4
b1
b2 7
7
b3 5
b4
ak
= ai bk ak bi =
bk
3
p12
p12
6
7
6
7
4 ... 5 = C 4 ... 5
p34
p34
ik,12
p 12
114
y1
y1
6 . 7
6 . 7
4 .. 5 = C 4 .. 5
y6
y6
`e lequazione della omografia cercata.
8.2.1
Consideriamo
punto A P3
piano P
LA = {rette l P3 : l A}
3
L = {rette l P : l A}
stella di rette
piano rigato
pik
1
b4
A0 : y1 = y2 = y4 = 0
Prendiamo un altro punto
A1 (0 : 0 : 1 : 0).
(LA1 ) = A1 : y1 = y3 = y5 = 0
0
0
1
0
hA1 , Bi = l (LA1 )
b1 b2 b3 b4
pik
t.c.
Considerando lintersezione,
A0 A1 = {(0 : 0 : 0 : 0 : 0 : 1)}
`e un punto che rappresenta lunica retta hA0 , A1 i = LA0 LA1 .
115
A, B
a1 a2 a3
b1 b2 b3
0
0
(L ) `e il piano di equazione
L : y3 = y5 = y6 = 0
contenuto in K. Applicando la proposizione, K contiene una seconda famiglia 3 di piani
F = {L }P3 .
Supponiamo ora
: x3 = 0.
a1 a2
l = hA, Bi
b1 b2
0 a4
0 b4
Considerando lintersezione,
L L = {(1 : 0 : 0 : 0 : 0 : 0)}
`e un punto che rappresenta la retta L L .
Consideriamo le intersezioni miste:
A0 L = (LA0 L ) =
infatti risulterebbe (0 : 0 : 0 : 0 : 0 : 0), che non `e un punto.
A1 L = {(0 : : 0 : : 0 : 0)}
`e una retta di P5 : rappresenta il fascio di rette di centro A1 dentro a .
Teorema 8.1 K contiene due famiglie 3 di piani
F = {A }AP3 ,
F = {L }P3 .
Due piani della stessa famiglia si tagliano in un punto. Due piani A , o sono
sghembi o si tagliano lungo una retta, a seconda che A
/ oppure A .
Corollario Le stesse famiglie di piani con le stesse propriet`a di incidenza si
hanno per una qualunque iperquadrica Q P5 proiettivamente equivalente a
K.
Cio`e:
Se K = K (e.g. K =
116
infatti
t
1
t
1
1
t 1
t
1
t 1
=
1 t
1 t
1 t
1
1
t
1
t
t 1 t 1 t 1
= (t2 1)3 .
=
1 t 1 t 1 t
1
=
t
Esempi
: x1 = x2
l = hA, Bi
p12 = 0
p13 = p23
p14 = p24
a
b
a
b
a3
b3
a4
b4
y1 = 0
y2 y4 = 0
y3 y5 = 0.
A3 P3 = A3 = A3
A r 7 l = r = r p (r) L
l P3 `e della forma l = r l 6 .
A L K
biunivoca
A L r L L K
biunivoca
biunivoca
A L r L K r L K
biunivoca
A K r L K.
2
3
2
0
0
1
x1 = a
x1 x3 x22 = 0
40 2 05
x2 = ab
x4 = 0
1
0
0
x3 = b2
117
Chiamiamo
G = {generatrici del cono}.
G l = hO, Bi
0
a2
0
ab
0
b2
1
0
p24 = ab
p34 = b2
8.2.2
y1 = y2 = y4 = 0
y3 y6 y25 = 0.
Abbiamo:
C (c1 : c2 : c3 : c4 ), D (d1 : d2 : d3 : d4 )
c ck
.
coord. pl
uckeriane omog. di l0 : qik = i
di dk
L K
118
Vale1 :
a
pik = i
bi
A (a1 : a2 : a3 : a4 ), B (b1 : b2 : b3 : b4 )
a1
b
hA, Bi = l C(l0 ) A, B, C, D complanari 1
c1
d1
p12
|
a2
b2
c2
d2
a3
b3
c3
d3
ak
bk
a4
b4
= 0.
c4
d4
p12 q34 p13 q24 + p14 q23 + p23 q14 p24 q13 + p34 q12 = 0
1 q12
1
q13
1
q14 = 0
p13 p14 p23 p24 p34
1
{z
}
q23
(l)
q24
1
q34
1
l C(l0 ) (l) K T(l0 ) (K).
Quindi (C(l0 )) `e la sezione di K colliperpiano tangente in (l0 ); `e una quadrica di P4 (T(L) (K)) di che tipo? A meno di unomografia di P3 (che induce
una di P5 t.c. (K) = K), posso supporre che l0 abbia equazioni
x1 = x2 = 0.
0 0 c3
l0 = hC, Di
0 0 d3
c4
d4
T(l0 ) (K) :
(l0 ) = (0 : 0 : 0 : 0 : 0 : 1)
y1
y2
y3
y4
y5
y6
1
1
y1 = 0
(C(l0 )) = {y1 = 0} K
1 0
1
0
0
1
= 0
0
1
0
1
y1 = 0
y1 y6 y2 y5 + y3 y4 = 0
y1 = 0
Q:
y2 y5 y3 y4 = 0
1E
` possibile applicare unestensione del teorema di Laplace per il calcolo del determinante,
che rende il procedimento assai pi`
u veloce.
119
0 0
0 1 0 y2
0 0 1 0 0 y3
y2 y3 y4 y5 y6 0 1 0 0 0
y4 = 0
1 0
0 0 0 y5
Q:
0 0
0 0 0 y6
{z
}
|
y1 = 0
car B = 4 Sing Q
0 0
0
0 0 1
0 1 0
1 0
0
0 0
0
con un iperpiano di P5 ;
C complesso lineare speciale (C) sezione di K
Esercizio 8.2.1 Rappresentare in P5 la famiglia delle rette che incidono sulle rette
sghembe date l0 , l1 .
8.2.3
Geometria numerativa
120
#=8
#=0
soluzioni degeneri
Chiamiamo i tre cerchi dati i , di centro (i , i ) e raggio i per i = 1, 2, 3. Consideriamo il cerchio generico.
(a, b, c)
centro
a
b
,
2
2
r
(i + r) = i +
r
2i
+ 2i
x2 + y2 + ax + by + c = 0
r
, raggio r =
a2
b2
+
c
4
4
2
a 2
b
a2 + b2
c = i +
+ i +
4
2
2
a2 + b2
a2 + b2
a2
b2
c+
c = 2i + 2i + ai + bi +
+
4
4
4
4
r
2i
a2 + b2
c = ai + bi + c + 2i + 2i 2i .
4
Quadrando abbiamo
Fi (a, b, c) = 0 Fi polinomio di II grado
F1 (a, b, c) = 0
F2 (a, b, c) = 0
F3 (a, b, c) = 0
3) Consideriamo lopportunit`
a di lavorare in ambito proiettivo: nel punto precedente pu`
o capitare 1 k 2 , s` da perdere una soluzione, o addirittura l3 k l4 ,
nel qual caso non ci sono soluzioni.
121
4
\
C(li )
i=1
L
C(li )
K P5
sezione di K con liperpiano di P5
che ha equazione Li (p12 , . . . , p34 ) = 0
y1 y6 y2 y5 + y3 y4 = 0
L1 (y1 , . . . , y6 ) = 0
L2 (y1 , . . . , y6 ) = 0
3 (y1 , . . . , y6 ) = 0
L4 (y1 , . . . , y6 ) = 0
Abbiamo 4 iperpiani. Se sono l.i. (come punti di P5 ), la loro intersezione `e una retta
di P5 . Essa taglia K in 2 punti distinti o coincidenti.
1
l1
l2
l3
l1
A
l3
l2
l4
B
l4
(Osservazione 2)
1 2 = hABi
(Osservazione 4)
l4 tangente a Q l1 , l2 , l3
In realt`
a lenunciato originale del teorema di Schubert `e ben pi`
u generale:
Teorema 8.3 Siano C1 , . . . , C4 curve algebriche in P3 di gradi d1 , . . . , d4 . Il
numero di rette di P3 incidenti C1 , . . . , C4 `e
#=2
4
Y
di .
i=1
2 Volendo,
122
8.3
conica P2 : xT Ax
7 (a11
a11
A = a12
a13
A = A K .
: a12 : a13 : a22 : a23 : a33 ) A
a13
a23
a33
{coniche di P2 } P5 .
{quadriche di P3 } P9 .
A P5
1 : xT Ax = 0
B P5
2 : xT Bx = 0
(, ) 6= (0, 0)
pertanto abbiamo:
fascio di coniche retta di P5 .
2 3
0
0 A 415 = 0.
0
8.3.1
123
Luoghi speciali di P5
= a11 a22 a33 + 2a12 a23 a13 a213 a22 a212 a33 a11 a223 .
a11
a12
a13
a
22
a
23
a33
= aa1
b
= ab +a
2
ac +a c
=
2
= bb
c
= bc +b
2
= cc
P2 P2 P5
(l, l ) 7 = l l
quozientando
P2 P2
.
(l, l ) (l , l).
P2 P2
l0 P2 ,
P P2 .
contiene una famiglia 4 di rette che rappresenta fasci del tipo a).
124
P2 P2
l1 P2 ,
l2 P 2 .
V = {coniche di rango 1} P5
V `e descritta parametricamente da
a11
12
a13
a22
23
a33
= a2
= ab
= ac
= b2
= bc
= c2
P2 V P5
l 7 2l.
(V) = V.
A,BV hABi
l2 : x2 = 0.
car 4
5 = 2,
0
da cui A + B .
4x1 x2 = 0.
125
Esercizio 8.3.3 Descrivere in P5 la famiglia delle coniche tangenti ad una data retta
l0 P2 . In particolare:
` una iperquadrica Q0 P5 .
1) E
2) Q0 V .
3) Descrivere Sing Q0 .
a11
a12
a13
a22
a23
0
60
6
60
a33 6
61
6
40
0
|
0
2
0
0
0
0
0
0
0
0
0
0
{z
1
0
0
0
0
0
0
0
0
0
0
0
car A = 3 dim(Sing Q0 ) = 5 3 = 2
2
a11
2 3
32
0
a11
6
7
07
7 6a12 7
6a13 7
07
76
7=0
6
7
07
7 6a22 7
5
4
0
a23 5
a33
0
}
6a12 7 607
6
7 6 7
6a13 7 607
7 6 7
A6
6a22 7 = 607
6
7 6 7
4a23 5 405
a33
Sing Q0
ha l0 come componente
2a13 x1 x3 + 2a23 x2 x3 + a33 x23 = x3 (
) = 0.
Appendice A
Esercitazioni
A.1
Spazi affini
0
1
1
1
BA=
0 , C A = 0 , e Dir r.
1
1
x=t
* 1 +
0
y=2
r:
Dir r =
1
w
=
t
1
z=1+t
0
1 +
0
1 +
* 1
* 1
1 1 0
1 1 0
Dir L
0 , 0 , 1 Dir L = 0 , 0 , 1
1
1
1
1
1
1
{z
}
|
car=3
x=+
x
0
1
0
1
y 0
1
1
0
y
=+
= + + +
z 1
0
0
1
z
=
1+
w=2++
w
2
1
1
1
=z1
=xz+1
w=2x+z1+yx+z1+z1
=yx+z1
2x y 3z + 1 = 0.
127
In A4R si considerino:
r1 : x + z = y = w 2 = 0
r2 : x + 1 = z + W = y 1 = 0
: x + y w 5 = y z w + 5 = 0.
Si determini la retta l che incide le rette r1 , r2 ed `e parallela al piano .
x=5+
x = 1
x=t
y=
y=1
y=0
:
r2 :
r1 :
z=5+
z=s
z = t
w=
w = s
w=2
1 +
* 1
1 0
Dir =
1 , 1 .
0
1
x = t (1 + t)
* 1 t +
1
y=
Dir l =
s+t .
z
=
t
+
(s
+
t)
w = 2 (s + 2)
s 2
1 1 1 t
1
0
1
x = 3 4
y=
l:
z = 3 + 6
w = 2 3
In forma cartesiana:
x + 4y 3 = 4y z 3 = 3y + w 2 = 0.
In A4R , dati
P (0, 0, 0, 2)
l : x1 = x2 = x3 = x4
: x2 = 2x4 = 2,
128
Esercitazioni
si determini lequazione cartesiana delliperpiano H t.c. H P, l k H,
k H.
H = L(P, Dir L)
x1 =
x2 = 2
:
x3 =
x4 = 1
* 1 +
1
Dir l = hui =
1
1
0 +
* 1
0 0
Dir = hv, wi =
0 , 1
0
0
x1 = +
x2 =
ovvero H : x2 x4 + 2 = 0.
H:
x3 = +
x4 = 2 +
x=1+t
y = t
2x + y + z 2w = 0
:
r:
z=2
x + 3y + 3z 6w = 0.
w=2
H = L(A, Dir L)
x=0
y = + 2
:
z
=
w=
0 +
* 1 +
* 0
1
1 2
Dir = hv, wi =
Dir r = hui =
0
1 , 0
1
0
0
x=
y = + 2
H:
z=1+
w=
H : x + y + z 2w 1 = 0.
129
x1 = 2 + +
x2 =
x3 =
L1 :
x4 =
x5 = + +
x1 = t
x2 = t
x3 = 2t
l:
x4 = t
x5 = 1 + t
1 1
1 0
car
0 1
0 0
1 1
P L1
1
0
0
1
1
1
1
1
* +
1
0
0
Dir L1 =
0 , 1 , 0
0 0 1
1
1
1
1
*1+
Dir l =
2 .
1
1
1
1
2
= 4 l.i.
1
1
L1 P0 (2, 0, 0, 0, 0)
P = P0 + u u Dir L1 P H
H = L(P0 , hDir L1 , Dir li)
x1 = 2 a + b + c + d
x2 = a d
x3 = b + 2d
H:
x4 = c d
x5 = a + b + c + d
lkH
(x1 + x2 x3 x4 + 2) + (x2 + x3 + x4 x5 ) = 0 ( : ) P1 .
LH cercato `e quello per cui il sistema tra questultima combinazione e le
equazioni della retta l non ammette soluzione.
(t t 2t + t + 2) + (t + 2t t 1 t) = 0
t( ) + (2 ) = 0
non ha soluzione = .
L: x+y4=z+1=w=0
L : x = z 2w 3 = w + 2 = 0.
Si determini il luogo dei punti medi dei segmenti da L a L .
Prendiamo i punti generici delle due rette.
x=4
y=
PL:
Q L
z
=
1
w=0
x=0
y =
:
z = 1
w=2
130
Esercitazioni
Detto M il punto medio, vogliamo il rapporto semplice (PQM) = 1.
x = 4 + (4 0)t
x = 4 + (4 )t
y = + ( )t
y = + ( )t
hPQi :
z = 1 + (1 + 1)t
z = 1
w = 0 + (0 + 2)t
w = 2t
Su questa retta abbiamo le coordinate interne P (0), Q (1).
PM
0 tM
1
=
= 1 tM =
QM
1 tM
2
1
1
1
M 4 + (4 )
, + ( )
, 1, 2
2
2
2
(PQM) =
A.2
x = 3 + 4
x = 5 + 3t
y = 6 7
y = 6 2t
s2 :
s1 :
z = 1 .
z = 11 4t
I punti di incidenza di r con s1 e s2 sono rispettivamente della forma
A (5 + 3t, 6 2t, 11 4t)
B (3 + 4, 6 7, 1 ),
a = 5 + 3t (3 + 4) = 3t 4 8
b = 6 2t (6 7) = 2t + 7 + 12
c = 11 4t (1 ) = 4t + + 10.
4a 7b c = 0
5t 11 = 21
= 1
A (1, 2, 3),
B (1, 1, 2).
x = 1 + 2t
y=2+t
z = 3 + t.
131
x = 1 + 2t
y = 2 2t
r:
z=2t
1
(yQ 2) = 0,
2
1
(zQ + 2) = 3,
2
: x + y + z 3 = 0.
x = 2 + 3t
y = 2 2t
hPQi :
z=3+t
hPQi = H
1 Se
0 1 0
R = 0 0 1 .
1 0 0
132
Esercitazioni
Interpretata R come una rotazione di E3 con centro nellorigine O, se ne
determini lasse l e si dica la misura in radianti dellangolo della rotazione
indotta da R sul piano ortogonale a l passante per O. Infine, si scrivano
le equazioni della riflessione : E3 E3 rispetto al piano .
Notiamo innanzitutto che (come deve essere) R SO(3). Individuiamo
lasse l, luogo dei punti uniti:
*1+
x
0 1 0
x
y = 0 0 1 y l : x = y = z
Dir l = 1 .
1
z
1 0 0
z
Il piano `e ortogonale a l, quindi la sua equazione cartesiana ha per coefficienti i parametri direttori di questa; siccome poi passa per O, abbiamo:
* +
1
0
x=
y=
Dir = 0 , 1 .
: x+y+z=0
1
1
z =
0
1
1
0 1 0
0 0 1 0 = 1 = v
u = 0 , (u)
1
1
1 0 0 1
cos =
1
1
2
(u, v)
= = = .
||u|| ||v||
2
3
2 2
Sia u il vettore normalizzato ortogonale al piano (che sar`a quindi direzione di l). Applichiamo la riflessione rispetto a al generico punto x di
E3 .
1
13
u = 3
x = x 2 (u, x) c u
1
3
1
2
2
13
x
x
3x 3y 3z
1
y = y 2 x + y + z 0
3 = 32 x + 13 y 32 z .
3
3
3
z
z
1
2x 2y + 1z
3
x = 3t
x = 2a + b
y=6
y = b
l:
:
z=1
z=0
w=3+t
w=a
Notiamo innanzitutto che i due sottospazi sono sghembi, perche non sono
incidenti e hanno direzioni linearmente indipendenti. Troviamo la retta
133
x = 3t + (2a + b 3t)u
y = 6 + (b 6)u
r:
z = 1 + (0 1)u
w = 3 + t + (a 3 t)u
2a + b 3t = 0
a=3
a3t=0
b = 6
b+6=0
t=0
x=0
y=6
r:
z=1u
w=3
Si calcola infine la distanza tra i punti di intersezione di r con l e :
r l (0, 6, 1, 3)
r (0, 6, 0, 3)
dist(l, ) = 1.
A.3
Spazi proiettivi
Date tre rette in P3 , `e possibile ridursi ad uno spazio affine in cui esse
appartengano ad uno stesso fascio (i.e. abbiano un punto in comune e
siano complanari)? La risposta `e no, a meno che esse non soddisfino gi`a
tali condizioni.
Osservazione La complanarit`
a e la mutua appartenenza sono propriet`
a che
non cambiano passando dallambito proiettivo a quello affine.
In P2 consideriamo le rette
r : x1 + 2x2 + 3x3 = 0
s : 2x1 x3 = 0.
Come individuare una retta r in modo che r e s siano incidenti in P2 r
r = A2 ?
7
x3 = 2x1
rs:
P : : 2 .
x1 + 2x2 + 6x1 = 0
2
` quindi necessario e sufficiente richiedere P
E
/ r .
: x1 x2 x3 = 0
: x2 x3 x4 = 0.
Individuare una retta r in modo che in P3 r r risulti k .
Lunica scelta possibile `e la retta .
134
Esercitazioni
A.4
Ipersuperfici quadriche
135
termine in x44 .
Q : a11 x21 + a22 x22 + a33 x23 + 2a12 x1 x2 + 2a13 x1 x3 + 2a23 x2 x3 +
+2a14 x1 x4 + 2a24 x2 x4 + 2a34 x3 x4 = 0
x = 0 +
y = 0 +
z = 0 +
u = 1 +
Resta quindi
F : x2 zu + (x2 + y2 z2 u2 ) = 0.
Vogliamo la classificazione proiettiva di tali quadriche.
Le quadriche base del fascio sono:
` un cilindro, ovvero un cono con punto
= 0, Q0 : x2 zu = 0. E
singolare allinfinito, rk = 3, Sgn = (2, 1).
= , Q : x2 + y2 z2 u2 = 0. Ha rk = 4, Sgn = (2, 2), `e liscia2 ,
irriducibile, rigata, quindi ha punti iperbolici.
1+
0
A=
0
0
0 0
0
0
0 21
0
0
21
1
det A = (1 + )
4
2
8 2 0
2
2 0
0 1
A=
0
0 9 0
2 1 0
1
det A = 36.
136
Esercitazioni
Osservazione Q passa per xj infinito se e solo se ha equazione con il coefficiente di x2j nullo.
xT A
: 2x1 + x4 = 0.
0 = 0
0
Intersecando questo con la quadrica si ottiene una conica, la quale si spezzer`a in due rette. Ognuna di esse determiner`a un fascio di piani; le intersezioni di tali fasci con la quadrica sono le due famiglie di rette che rigano
la quadrica.
x = 7 + ( 7)t
y = 14 + ( 14)t
z = 21 + ( 21)t
z=0
Un punto siffatto `e
7+
21( 14)
21( 7)
, 14 +
,0 ,
21
21
137
7+
21( 7)
21
2
x=+
y = + 2
z = + 3
z=0
2
21( 14)
+ 14 +
= 1.
21
2
,
,0 ,
3
3
e il nostro cilindro `e
2
2
2
= 1.
+
3
3
In E3 si consideri la curva:
x=t
y = t2
q:
z = t3
()
da cui si deduce che q `e una curva del terzo ordine nello spazio.
x=0
y=0
l:
z=k
3 Ovvero
`
e interamente contenuta in un piano.
138
Esercitazioni
Poiche z, il piano ha i medesimi parametri direttori dellasse, ossia
= = 0,
= 1,
2
2
2
2
2 2
3 2
x + y + z = t + (t ) + (t )
x2 + y2 + z2 = t2 + t4 + t6
t
R.
2
1
A=
1
0
1 1 0
det A = 0
2 1 0
det A0 = 0
1 2 0
car A = 2 dim(Sing Q) = 3 2 = 1
0
0 0
x1
0
x2 0
3
=
Sing Q = X (x1 : x2 : x3 : x4 ) P : A
x3 0
x4
0
0
0
2x1 x2 x3 = 0
1
1
1
0
139
x1
x2
x3
x4
=
=
=
=
i.e.
x1 x2 = x1 x3 = 0.
3
Data Q PR
,
Q : x1 x3 x2 x4 x2 x3 = 0,
riconoscere Q e determinare un iperpiano t.c.
Q = Q r (Q ) A = P3R r
sia un paraboloide.
0
0
A=
1
0
0
1
0
0 1 1
1 0
0
1 0
0
x1
x2
x3
0 0
0 0
x4
1 1
0 1
0
1
0
0
1 1
= 0
0
0 0
1
0
0
i.e.
x2 = 0.
0
2 + k (1 + k)
2+k
0
1
A=
(1 + k)
1
0
0
2
0
0
2
0
0
140
Esercitazioni
` un paraboloide se det A 6= 0 e det A0 = 0.
E
det A0 = 2(k + 1)(k + 2)
0 1 0 0
1 0 1 2
= 0 Q1 non `e singolare;
k = 1 :
0 1 0 0
0 2 0 0
0 0 1 0
0 0 1 2
= 4 > 0 Q2 `e paraboloide iperbolico.
k = 2 :
1 1 0 0
0 2 0 0
Q2 : 2xz + 2yz 4y = 0
(x + y)z = 2y.
(h : k)
(h : k )
0 a
a 0
A=
b c
0 0
b 0
c 0
d e
e 0
0 1
0
0
1 0
1
0
A=
0 1 2 2e e .
0 0
e
0
Per avere un paraboloide deve essere det A0 = 0:
det A0 = 2 2e = 0 e = 1.
141
1 0
0 1
x y z 1
0 0
0 0
Con tale piano contato due volte e la sfera generiamo la famiglia delle
quadriche passanti per la circonferenza loro intersezione. In tale famiglia
andiamo a cercare la quadrica passante per il nostro vertice.
2
1
1
2
2
2
F : x + y + z + x + 3z
=0
8
8
2
1
8
1
1+9 + 1+9
=0= .
8
8
79
Lellissoide S appartiene invece al fascio generato dalla sfera e dal paraboloide dati,
1
+ (z xy) = 0.
8
Dobbiamo semplicemente imporre il passaggio per (7, 14, 21).
F : x2 + y2 + z2
1
5487
+ (21 7 14) = 0 =
8
616
2
2
2
S : 616x + 616y + 616z 5487xy + 5487z 77.
72 + 142 + 212
In P3 sono dati
: 2x1 x3 + 2x1 x4 2x2 x4 = 0
: x1 x2 = 0.
Si descriva la quadrica in P3 r = A3 .
0 0 1 1
0 0 0 1
A=
1 0 0 0
1 1 0 0
det A = 1
non si spezza, `e reale (passa per lorigine), ha punti iperbolici (det A >
0). Determiniamo la conica allinfinito.
x1 = x2
:
x1 x3 = 0
142
Esercitazioni
In E3 sia Q la superficie ottenuta facendo ruotare r : x y = z 1 = 0
intorno ad a : x = z 2 = 0. Riconoscere Q, trovarne il centro, la chiusura
proiettiva ed un piano tale che la traccia affine sia un paraboloide.
Esprimiamo le rette in forma parametrica.
x=0
x =
y=
y =
a
r
z=2
z=1
polare di y :
polare di z :
f
x
f
y
f
z
= 2x = 0
= 2y = 0
x=0
y=0
= 2z 4u = 0 z = 2
1 0
0
0
0
0
0 1 0
0
= u z = 0
T(0:0:1:1) (Q) : x y z u
0 0
1 2 1
0 0 2 3
1
4 Per lutilizzo delle derivate parziali nella determinazione degli iperpiani tangenti, cf. E.
Marchionna, U. Gasapina, Appunti ed esercizi di Geometria 2, Masson, Milano 1988.