Sei sulla pagina 1di 2

Geometria 2

Prof. Antonio Lanteri


Anno accademico 2013-2014, secondo semestre
Obiettivo del corso completare il backro!nd di alebra lineare presentando alc!ni concetti fondamentali di
"!esta teoria, nonc#$ introd!rre alla eometria deli spa%i proiettivi da !n lato e "!ella deli spa%i affini
e!clidei dall&altro, svil!ppando la capacit' di trattare problemi eometrici nel contesto pi( ade!ato.
)l corso consiste di d!e parti. *ella prima si contin!er' lo st!dio dell&alebra lineare, ini%iato nel corso di
+eometria 1, svil!ppando diversi aromenti c#e, nella seconda parte, verranno !tili%%ati per fondare la teoria
deli spa%i affini e!clidei e deli spa%i proiettivi, in oni dimensione, e per st!diare la eometria deli enti
lineari e "!adratici nei vari ambienti.
Programma in italiano
1. Endomorfismi di spazi vettoriali e loro forme canoniche
A!tospa%i e sottospa%i invarianti di !n endomorfismo ,o di !na matrice "!adrata-. .aratteri%%a%ione deli
endomorfismi diaonali%%abili e di "!elli trianolari%%abili. /orma canonica di 0ordan. Polinomi e
a!tovalori. 1eorema di .a2le2-3amilton. Polinomio minimo.
2. Spazi vettoriali euclidei
Prodotti interni in spa%i vettoriali reali e complessi. *orma4 anoli4 ortoonalit'4 basi ortonormali4
procedimento di +ram-5c#midt. )sometrie e r!ppo ortoonale. 6ndomorfismi simmetrici e loro
ortodiaonali%%a%ione ,teorema spettrale reale-. .enno al caso complesso.
3. Forme bilineari e quadratiche
/orme m!ltilineari. /orme bilineari4 matrici conr!enti. /orma "!adratica associata ad !na forma bilineare
simmetrica. 7asi coni!ate4 rid!%ione a forma canonica di !na forma "!adratica. /orme "!adratic#e reali.
1eorema di 52lvester. /orme definite, semidefinite, indefinite. 5pa%i vettoriali pse!doe!clidei. /orme
"!adratic#e complesse.
. Geometria in spazi n!dimensionali su un campo arbitrario
5pa%i affini e!clidei. 8iferimenti ortonormali. 5ottospa%i lineari e loro rappresenta%ioni. 9istan%e, anoli,
ipervol!mi. .ambiamenti di coordinate e trasforma%ioni. 1eorema di 6!lero e forma canonica delle
rota%ioni.
5pa%i proiettivi. :otiva%ioni. .oordinate proiettive omoenee. 5ottospa%i lineari proiettivi e loro
rappresenta%ioni. /orm!la di +rassmann. 1eorema fondamentale della eometria proiettiva. Lo spa%io affine
complementare di !n iperpiano. Proiettivit' e affinit'.
". #uadriche e coniche
Le conic#e nel piano e!clideo, affine e proiettivo. ;!adric#e e iper"!adric#e dal p!nto di vista proiettivo
reale<complesso= polarit'4 p!nti sinolari4 rid!cibilit'4 spa%i lineari4 nat!ra dei p!nti di !na s!perficie
"!adrica4 classifica%ioni. )per"!adric#e nello spa%io affine. .#i!s!ra proiettiva. .omportamento rispetto
all>iperpiano improprio. .lassifica%ione affine reale e complessa. )per"!adric#e nello spa%io e!clideo.
)nvarianti ortoonali. .lassifica%ione e!clidea-metrica delle conic#e e delle "!adric#e.
$. %a dualit&
9!ale di !no spa%io vettoriale. 7ase d!ale. Omomorfismo trasposto. 5ottospa%i ann!llatori e loro propriet'.
Principio di d!alit' in eometria proiettiva e s!a ill!stra%ione attraverso esempi elementari. )nvil!ppi
aderenti.
Programma in inglese
1. 'ector space endomorphisms and canonical forms
6ienspaces and invariant s!bspaces of an endomorp#ism ,of a s"!are matri?-. .#aracteri%ation of
diaonali%able and trian!lable endomorp#isms. 0ordan>s canonical form. Pol2nomials and eienval!es.
.a2le2-3amilton>s t#eorem. :inimal polinomial.
2. Euclidean vector spaces
)nner prod!cts in real and comple? vector spaces. *orm4 anles4 ort#oonalit24 ort#onormal bases4 +ram-
5c#midt process. )sometries and t#e ort#oonal ro!p. 52mmetric endomorp#isms and t#eir properties ,t#e
real spectral t#eorem-. A look at t#e comple? case.
3. (ilinear and quadratic forms
:!ltilinear forms. 7ilinear forms4 conr!ent matrices. 1#e "!adratic form associated to a s2mmetric bilinear
form. .on@!ate bases4 red!cin a "!adratic form to canonical form. 8eal "!adratic forms. 52lvester>s
t#eorem. 9efinite, semi-definite, indefinite real "!adratic forms. Pse!do-e!clidean vector spaces. .omple?
"!adratic forms.
. Geometr) in n!dimensional spaces over an arbitrar) field
6!clidean affine spaces. Ort#onormal frames. Linear varieties and t#eir anal2tic representations. 9istances,
anles, #2pervol!mes. .#anes of coordinates and transformations. 6!ler>s t#eorem and canonical form of
rotations.
Pro@ective spaces. :otivations. 3omoeneo!s pro@ective coordinates. Pro@ective linear varieties and t#eir
representations. +rassmann>s form!la. 1#e main t#eorem of pro@ective eometr2. 1#e affine space
complementin a #2perplane. Pro@ective transformations and affine transformations.
". #uadrics e conics
.onics in t#e 6!clidean, affine, and pro@ective planes. ;!adric #2pers!rfaces from t#e real<comple?
pro@ective point of vieA= polarit24 sin!lar points4 red!cibilit24 linear spaces4 t#e nat!re of points of a real
"!adric s!rface4 classifications. ;!adric #2pers!rfaces in affine space. Pro@ective clos!re. 7e#avio!r Ait#
respect to t#e #2perplane at infinit2. Affine classification from t#e real and comple? point of vieA. ;!adric
#2pers!rfaces in 6!clidean space. Ort#oonal invariants. .lassification of conics and "!adric s!rfaces from
t#e e!clidean-metric point of vieA.
$. *ualit)
9!al of a vector space. 9!al basis. 1ranspose of a linear map. Anni#ilators and t#eir properties. 1#e d!alit2
principle in pro@ective eometr2 ill!strated tro!# elementar2 e?amples. 6nvelopes.
Propedeuticit& consigliate
+eometria 1
+ateriale di riferimento
6. 5ernesi, +eometria ), 7ollati 7orin#ieri, 1orino, 1BCB.
:.). 5toka, .orso di +eometria ,1er%a 6di%.-, .edam, Padova, 1BBD.
Prerequisiti
+li aromenti di :atematica presentati nel precorso e nei corsi del primo semestre