Professional Documents
Culture Documents
Ζώης, Εισαγωγή στην προβολική Γεωμετρία PDF
Ζώης, Εισαγωγή στην προβολική Γεωμετρία PDF
PROBOLIKH GEWMETRIA
Iwnnhc P. Z¸hc
E-mail: i.zois@exeter.oxon.org
10 DekembrÐou 2006
1
Perieqìmena
1 Prìlogoc 8
2 Eisagwg 9
3 ProbolikoÐ Q¸roi 12
4 ProbolikoÐ MetasqhmatismoÐ 29
5 Duðsmìc 38
9 To Exwterikì Ginìmeno 67
mènou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2
9.2 DeÔterh exwterik dÔnamh enìc dianusmatikoÔ q¸rou kai to
sfhnoeidèc ginìmeno . . . . . . . . . . . . . . . . . . . . . . . . 69
10 H Exwterik 'Algebra 74
10.2 ParadeÐgmata . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
11 H Tetragwnik Klein 80
12.2 Sqìlia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
metrÐa 89
OmoparallhlikoÐ MetasqhmatismoÐ . . . . . . . . . . . . . . . 95
17 Parrthma 116
3
SÔntomo biografikì shmeÐwma tou suggrafèa:
pèrac twn proptuqiak¸n tou spoud¸n sto Tm ma Fusik c tou Panepisth-
tou spoudèc sthn AgglÐa: Mster ( Part III of the Mathematical Tripos)
sto Panepist mio tou Kèimpritz (Kollègio Emmanou l) kai Didaktorikì sto
Simon K. Donald-
daktorik c tou diatrib c apartizìtan apì touc kajhghtèc
son FRS (Fields Medal 1986, Crafoord Prize 1996), Roger Penrose FRS kai
Sheung-Tsoun Tsou. 'Htan upìtrofoc, metaxÔ llwn, thc Eurwpaðk c 'Enw-
shc, thc Brettanik c Kubèrnhshc, tou IKU ('Idruma Kratik¸n Upotrofi¸n),
kìc dskaloc sta Panepist mia thc Oxfìrdhc kai tou Kèimpritz thc AgglÐac,
sto Institut des Hautes Études Scientifiques (IHES) (wc mèloc thc ereunhti-
k c omdac tou kajhght Alain Connes–Fields Medal 1982, Crafoord Prize
2002–) kai sthn École Normale Superieure (ENS) sto ParÐsi thc GallÐac
kai alloÔ. Ta ereunhtik tou endiafèronta empÐptoun sta gnwstik anti-
morf ).
4
♠ in girum imus nocte et consumimur igni
5
AntÐ BibliografÐac:
Aj nac (EMP).
H Ôlh tou maj matoc basÐsthke en polloÐc sto mjhma tou 3ou trim nou
pwc sthn pio ègkurh prìsfath diejn lÐsta me ta 200 korufaÐa panepist -
mia tou kìsmou twn efhmerÐdwn Times LondÐnou kai N. Uìrkhc kaj¸c kai
sthn epÐ mèrouc kattaxh pou afor ta majhmatik kai tic jetikèc epist mec).
To prwtogenèc ulikì twn shmei¸sewn aut¸n (kai thc Ôlhc kat' epèkta-
sh) proèrqetai apì tic exairetikèc shmei¸seic tou kajhght Nigel J. Hitchin
FRS, s mera sto Panepist mio thc Oxfìrdhc all palaiìtera sto Panepi-
Pèra apì th metfrash twn shmei¸sewn sta ellhnik ègine kai mia pro-
orismoÐ apì llouc kldouc twn majhmatik¸n (kurÐwc apì thn 'Algebra all
kai apì thn TopologÐa, th GewmetrÐa k..) ¸ste na gÐnoun oi shmei¸seic autèc
kat to dunatì autodÔnamec sthn melèth touc. H prìjesh tan af' enìc na
teqnologik kateÔjunsh.
Megalooikonìmou gia thn polÔtimh bo jei tou sthn exeÔresh kai qr sh el-
proc touc foithtèc gia ton enjousiasmì touc, thn dijesh gia melèth, thn
6
nai amfÐdromh diadikasÐa kai qwrÐc th dik touc sumbol eÐnai amfÐbolo an
I.P.Z.
7
1 Prìlogoc
tou ìrou grammik katalabaÐnei eÔkola kpoioc ìti h grammik lgebra paÐzei
shmantikì rìlo. Gi' autì xekinme me tic paragrfouc 3-8 ìpou anafèroume
me kpoiec efarmogèc apì th fusik . (To prìgramma autì rqise apì ton
F. Klein to 1872 ìtan ègine kajhght c sto panepist mio thc pìlhc Erlangen
pou brÐsketai kont sth Nurembèrgh). Tèloc h pargrafoc 16 exetzei to
orismoÐ.
krimèno arijmì thc prìtashc mèsa sthn en lìgw pargrafo. Gia pardeigma
h prìtash 4.1.2 anafèretai sthn prìtash 2 thc paragrfou 4.1, en¸ to tèloc
8
2 Eisagwg
llh gewmetrÐa ektìc apì thn EukleÐdeia gewmetrÐa stic 3 diastseic, pou
anaparist to fusikì mac kìsmo mèsa ston opoÐo zoÔme kai h opoÐa peri-
exwterikì ginìmeno aut¸n. Gia na d¸soume mia peistik apnthsh sto para-
pnw er¸thma, h opoÐa tautìqrona ja mac d¸sei kai kÐnhtra gia th melèth
A. Probolèc
tan na jewr soun to mti tou kallitèqnh wc èna shmeÐo, èstw P, sto q¸ro.
mia difanh ojình metaxÔ tou matioÔ kai tou antikeimènou, aut tèmnei thn
sunistoÔn thn probol tou fusikoÔ antikeimènou pnw sth dosmènh ojình.
èna 3-distato antikeÐmeno sto epÐpedo apì diaforetikèc ìyeic. Autì akri-
Sthn Eidik JewrÐa Sqetikìthtac, (A. Einstein 1905), basikì rìlo paÐzei h
omda Lorentz twn legìmenwn yeudo-orjog¸niwn metasqhmatism¸n (me orÐ-
zousa Ðsh me +1) ston epÐpedo qwrìqrono 4-diastsewn (strofèc pou diath-
roÔn analloÐwth th metrik Minkowski). Gia na broÔme ìmwc thn pl rh omda
9
strof Wick, dhlad jewr¸ntac to qrìno fantastikì, h metrik Minkowski
apokt EukleÐdeia upograf (se 4 diastseic) kai h omda Lorentz gÐnetai
h omda twn eidik¸n orjog¸niwn metasqhmatism¸n (orjog¸nioi metasqhma-
G. TomografÐa
Mia diaforetik pleur thc gewmetrÐac eÐnai h melèth ìqi twn shmeÐwn all
twn eujei¸n twn epipèdwn sto q¸ro. Gia pardeigma mporeÐ kaneÐc na rwt -
sei poia eÐnai h gewmetrÐa tou q¸rou twn eujei¸n tou EukleÐdeiou 3-distatou
q¸rou. Mia eujeÐa mporeÐ epÐshc na orisjeÐ apì ta shmeÐa tom c thc me dÔo
epÐpeda sto q¸ro, opìte mporeÐ na kajorisjeÐ mèsw dÔo paramètrwn. Sune-
p¸c o q¸roc twn eujei¸n tou EukleÐdeiou 3-distatou q¸rou apoteleÐ q¸ro
distashc 2, all ìqi EukleÐdeio q¸ro. 'Eqei th dik tou gewmetrÐa, ìpwc ja
doÔme.
eujeÐec eÐnai pio shmantikèc apì ta shmeÐa. Gia pardeigma, peript¸seic pou
q¸ro. 'Otan mÐa apì autèc dièrqetai mèsa apì to s¸ma enìc asjenoÔc (
th mèsh puknìthta Ôlhc kat m koc thc dierqìmenhc aktÐnac. Me autì ton
trìpo paÐrnoume mia sunrthsh me pedÐo orismoÔ to q¸ro twn eujei¸n tou
ec pou dièrqontai apì dosmèno shmeÐo, diagrfoun èna epÐpedo sto q¸ro twn
eujei¸n. Aut h gewmetrÐa, pou den eÐnai EukleÐdeia, lègetai gewmetrÐa Klein
(proc tim n tou GermanoÔ majhmatikoÔ Felix Klein, pou èzhse sto deÔtero mi-
sì tou 19ou èwc tic arqèc tou 20ou ai¸na), kai thn opoÐa ja melet soume se
10
D. Gewmetrik Optik
O q¸roc twn eujei¸n tou R3 emfanÐzetai sth fusik kai me kpoio diaforeti-
Se aut thn perÐptwsh oi fwteinèc aktÐnec diajètoun kai for didoshc, opìte
klp. kai sthn èxodo thc optik c ditaxhc ja proume mia llh fwtein aktÐna
Uprqoun kai polloÐ lloi tomeÐc ìpou eÐnai qr simh h probolik gewme-
trÐa: gia pardeigma, an antÐ tou s¸matoc twn pragmatik¸n arijm¸n R epilè-
xoume èna llo peperasmèno s¸ma, h probolik gewmetrÐa qrhsimopoieÐtai sth
mata sqedÐashc se H/U all kai sth jewrÐa arijm¸n. GenÐkeush thc pro-
11
3 ProbolikoÐ Q¸roi
sto s¸ma antÐstoiqa) kai V èna mh-kenì sÔnolo efodiasmèno me mia eswterik
epÐ dinusma.
roume to s¸ma ìtan eÐnai safèc gia poio s¸ma milme (sun jwc ja eÐnai oi
pragmatikoÐ arijmoÐ).
12
λ ∈ F kai na paÐrnoume to stoiqeÐo λv ∈ V . Autèc oi dÔo prxeic ikanopoioÔn
k kai antimetajetik ).
U tou V, to opoÐo eÐnai kleistì wc proc thn prìsjesh kai to bajmwtì pol-
u1 ∈ U1 kai u2 ∈ U2 antÐstoiqa.
wc to sÔnolo twn stoiqeÐwn tou V pou perièqontai tìso ston U1 ìso kai
ston U2 .
smatikoÔc upoq¸rouc (den sumbaÐnei bèbaia to Ðdio kai me thn ènwsh dianu-
smatik¸n upoq¸rwn).
{v0 , v1 , ..., vn } tou V ta opoÐa eÐnai metaxÔ touc grammik anexrthta (dhlad
kai ta opoÐa pargoun ton V, dhlad kje stoiqeÐo v∈V mporeÐ na grafeÐ
n
X
v= λi v i (1)
i=0
distashc èqei toulqiston mia bsh. To pl joc twn dianusmtwn twn b-
sewn enìc dianusmatikoÔ q¸rou eÐnai stajerì kai onomzetai distash tou
ma, dimF V = n + 1.
13
An epilèxoume mia bsh {vi }(i=0,1,...,n) ston V, tìte kje dinusma v∈V
grfetai me monadikì trìpo wc
n
X
v= λi v i (2)
i=0
3
Anloga gia to dianusmatikì q¸ro R distashc 3, ta dianÔsmata (1, 0, 0),
3
(0, 1, 0) kai (0, 0, 1) apoteloÔn th legìmenh tou R . H genÐkeush
sun jh bsh
n
eÐnai profan c ìqi mìno gia to dianusmatikì q¸ro R me opoiad pote pepe-
distas touc:
to Ðdio s¸ma) eÐnai isìmorfoi en kai mìno en èqoun thn Ðdia distash .
14
Prìtash 1. An U1 kai U2 eÐnai dÔo dianusmatikoÐ upìqwroi tou idÐou
bolikìc q¸roc apoteleÐ q¸ro pou mìno topik moizei (dhlad eÐnai omoiomor-
15
bsh, qreiazìmaste n + 1 paramètrouc (suntetagmènec) gia na perigryoume
ta dianÔsmata tou V , tìte qreiazìmaste mia suntetagmènh ligìterh gia na
perigryoume ta shmeÐa x tou probolikoÔ q¸rou P (V ) exaitÐac thc eleuje-
stoiqeÐ sto eleÔjero dinusma pou èqei arq thn arq twn axìnwn kai pèrac
to en lìgw shmeÐo. Me autìn ton trìpo apoktme mia antistoiqÐa 1-1 kai
epÐ metaxÔ tou sunìlou twn shmeÐwn tou gewmetrikoÔ epipèdou ( tou q¸-
R2 . Gewmetrik, autì antistoiqeÐ sto sÔnolo twn eujei¸n pou dièrqontai apì
thn arq twn axìnwn O. 'Omwc gia na perigryoume mia eujeÐa sto epÐpedo,
lìgw eujeÐa me ton xona twn tetmhmènwn, sunep¸c dimP (R2 ) = 1. Shmei¸-
noume pwc mia eujeÐa tou epipèdou apoteleÐtai apì peira (uperarijm sima)
16
shmeÐa tou epipèdou all ston probolikì q¸ro olìklhrh h eujeÐa antistoiqeÐ
jeÐec pou dièrqontai apì thn arq twn axìnwn O apoteloÔn dianusmatikoÔc
sto q¸ro antÐstoiqa) all den pernoÔn apì thn arq twn axìnwn O den apo-
(pou eÐnai to oudètero stoiqeÐo thc prìsjeshc metaxÔ twn dianusmtwn) kai
pou tautÐzetai me thn arq twn axìnwn O. To parapnw eÐnai mia shmantik
leptomèreia diìti to men sÔnolo twn dierqìmenwn apì thn arq twn axìnwn
eujei¸n tou epipèdou, kai pou ex orismoÔ apoteleÐ ton probolikì q¸ro P (R2 ),
ja doÔme pwc apoteleÐ pollaplìthta distashc 1 pou eÐnai omoiomorfik me
ton kÔklo S 1 , en¸ to sÔnolo genik ìlwn twn eujei¸n tou epipèdou, ìpwc ja
doÔme sthn topologÐa twn epifanei¸n sto mjhma thc Diaforik c GewmetrÐ-
pou orÐzetai apì thn parallhlÐa metaxÔ twn eujei¸n tou epipèdou, dhlad o
smoÔ eÐnai mÐa apì tic basikèc sqèseic isodunamÐac: dÔo (topologikoÐ) q¸roi
lègontai omoiomorfikoÐ en uprqei mataxÔ touc mia apeikìnish pou na eÐnai
1-1, epÐ, suneq c kai h antÐstrof thc (pou uprqei afoÔ h arqik eÐnai 1-1
17
3.4 Basikèc Idiìthtec Probolik¸n Q¸rwn
mac, ìpwc aut pou perigrfei h paraktw prìtash (h opoÐa isqÔei kai sthn
EukleÐdeia gewmetrÐa):
'Estw t¸ra P (U 0 ) mÐa llh probolik eujeÐa pou pern apì ta shmeÐa
0
x, y ∈ P (U ). Tìte afoÔdimP (U 0 ) = 1 èpetai ìti dimU 0 = 2 kai o dianu-
0
smatikìc upìqwroc U ≤ V epÐshc perièqei ta antiproswpeutik dianÔsmata
tèmnetai , dhlad den uprqei h ènnoia thc parallhlÐac sthn probolik gew-
metrÐa.
likèc eujeÐec tou P (V ). 'Eqoume dhlad dimP (U1 ) = dimP (U2 ) = 1 opìte
18
'Estw ìti isqÔei isìthta, dhlad dimU1 = dim(U1 + U2 ). Tìte ìmwc
U1 = U1 + U2 opìte kje dinusma tou U2 ja an kei kai ston U1 (h u1 su-
nist¸sa mhdenÐzetai), opìte U2 ⊆ U1 . AfoÔ dimU1 = dimU2 = 2, autì ja
shmaÐnei ìti U1 = U2 opìte kai P (U1 ) = P (U2 ), topo, diìti upojèsame dia-
opoÐoc perièqetai ston U1 kai ston U2 . Dhlad uprqei monadikì shmeÐo pou
an kei sthn probolik eujeÐa P (U1 ) all kai sthn probolik eujeÐa P (U2 )
kai to shmeÐo autì eÐnai o probolikìc q¸roc P (U1 ∩ U2 ) pou èqei distash 0
afoÔ dim(U1 ∩ U2 ) = 1, ar prìkeitai gia èna kai mìno shmeÐo. Sunep¸c oi
ra th sqèsh metaxÔ eujei¸n kai epipèdwn ston probolikì q¸ro me tic gnw-
stèc mac eujeÐec kai ta epÐpeda sto fusikì 3-distato q¸ro. Ja exetsoume
Epilègoume mia bsh {v0 , v1 , v2 , ..., vn } tou V. Kje dinusma v∈V èqei
i=0
19
Epeid o probolikìc q¸roc P (V ) me dimP (V ) = n apoteleÐ pollaplìthta,
nwn (pou den eÐnai ìlec mhdèn), èqontac up' ìyin ìti an λ 6= 0, tìte kje sÔnolo
suntetagmènwn thc morf c (λλ0 , λλ1 , λλ2 , ..., λλn ) anaparist to Ðdio shmeÐo
λi
xi := .
λ0
Oi suntetagmènec autèc onomzontai anomogeneÐc suntetagmènec tou proboli-
koÔ q¸rou P (V ).
λi
xi =
λ0
kai
µi
yi = ,
µ0
ìpou i = 1, 2, 3, opìte h probolik eujeÐa eÐnai to sÔnolo twn mh-mhdenik¸n
a b b
( )~x + ( )~y = ~x + (~y − ~x).
a+b a+b a+b
H parapnw sqèsh gia a, b ∈ R dÐdei thn exÐswsh eujeÐac metaxÔ twn shmeÐwn
me dianÔsmata jèshc ~x = (x1 , x2 , x3 ) kai ~y = (y1 , y2 , y3 ).
20
'Ena (probolikì) epÐpedo ston P (R4 ) λ0 6= 0 se èna
tèmnei ta shmeÐa me
1. dimR V = 1
'Estw ìti o pragmatikìc dianusmatikìc q¸roc V èqei distash 1. Tìte o
∼
V eÐnai isìmorfoc me to R, dhlad V = R. Autì shmaÐnei pwc o antÐstoi-
qoc probolikìc q¸roc ja èqei dimP (R) = 0. Gia na doÔme ti shmaÐnei autì:
dianusmatikì upìqwro, ton eautì tou. 'Ara to P (R) ' ∗, dhlad o proboli-
kìc q¸roc P (R) apoteleÐtai apì èna kai monadikì shmeÐo pou to sumbolÐzoume
V ∼
= R, qrhsimopoioÔme th gewmetrik anaparstash tou
R wc mia eujeÐa,
lìgou qrin ton xona twn tetmhmènwn x0 x tou epipèdou ( tou q¸rou), pnw
sthn opoÐa èqoume orÐsei èna tuqaÐo shmeÐo wc arq O . O probolikìc q¸roc
orÐzetai wc to sÔnolo twn eujei¸n pou dièrqontai apì thn arq O all pou
eÐnai tautìqrona kai upìqwroi tou en lìgw dianusmatikoÔ q¸rou, dhlad thc
Ðdiac thc eujeÐac. Profan¸c mìno mia eujeÐa uprqei me autèc tic idiìthtec, o
xonac x0 x o Ðdioc, sunep¸c o probolikìc q¸roc apoteleÐtai apì èna kai mìno
shmeÐo.
2. dimR V = 2
Kje pragmatikìc dianusmatikìc q¸roc distashc dÔo eÐnai isìmorfoc me to
21
me to epÐpedo me èna Kartesianì SÔsthma Suntetagmènwn me arq to shmeÐo
pou dièrqontai apì thn arq twn axìnwn O , ìso kai me to q¸ro twn dieujÔn-
sewn sto epÐpedo. Wc gnwstìn, kje eujeÐa tou epipèdou pou dièrqetai apì
trme tic gwnÐec se aktÐnia, h gwnÐa ja paÐrnei tic timèc sto kleistì disthma
[0, π]. 'Omwc h eujeÐa pou sqhmatÐzei me ton xona x0 x gwnÐa 0, pou eÐnai o
0
Ðdioc o xonac x x, tautÐzetai x0 x
me thn eujeÐa pou sqhmatÐzei me ton xona
0
gwnÐa π , pou eÐnai kai pli o xonac x x. An sto kleistì disthma [0, π],
q¸ro ja d¸sei èna kai mìno shmeÐo, autì me omogeneÐc suntetagmènec (0, y),
2
diìti ìpwc eÐdame P (R) ' ∗. Sunep¸c o probolikìc q¸roc P (R ) ja eÐnai:
a a
P (R2 ) ' R P (R) ' R {∗} ' S 1 .
H teleutaÐa sqèsh prokÔptei diìti apì thn topologÐa gnwrÐzoume pwc o
roc trìpoc gia na to dei autì kpoioc pou den eÐnai exoikeiwmènoc me thn
topologÐa eÐnai na skefjeÐ wc ex c: JewroÔme mia eujeÐa kai pnw se aut n
22
kai kèntrou èstw K pou na efptetai sthn eujeÐa sto shmeÐo O. 'Estw O0
to antidiametrikì shmeÐo tou O ston kÔklo. MporoÔme na orÐsoume mia apei-
kìnish 1-1 kai epÐ metaxÔ twn sunìlwn S 1 − {O0 } → R wc ex c: èstw tuqaÐo
0 0
shmeÐo S tou kÔklou (diaforetikì apì to O ). Fèroume th qord O S tou
0
kÔklou kai thn proekteÐnoume ¸spou na tm sei thn eujeÐa. H O S ja tm sei
thn eujeÐa se èna kai mìno shmeÐo, èstw E . AntÐstrofa, an E èna tuqaÐo sh-
0
meÐo thc eujeÐac, tìte to eujÔgrammo tm ma O E ja tm sei ton kÔklo se èna
kai mìno shmeÐo, èstw S . KatalabaÐnei kaneÐc pwc to mìno shmeÐo tou kÔklou
pou den èqei eikìna sthn eujeÐa kat thn parapnw apeikìnish eÐnai to Ðdio
to O0 diìti h eujeÐa pou efptetai ston kÔklo sto shmeÐo O0 eÐnai parllhlh
me thn eujeÐa pou efptetai ston kÔklo sto shmeÐo O afoÔ ta shmeÐa O kai
apeikìnish eÐnai to Ðdio to shmeÐo O miac kai to O an kei kai ston kÔklo kai
sthn eujeÐa). Sunep¸c lème pwc o kÔkloc prokÔptei apì thn eujeÐa me thn
prosj kh enìc ep' peiron shmeÐou, pou eÐnai to shmeÐo O0 , isodÔnama sthn
topologÐa lème ìti o kÔkloc eÐnai h sumpagopoÐhsh enìc shmeÐou thc eujeÐac.
tou epipèdou kai thc 2-distathc sfaÐrac, mìno pou ed¸ èqoume mia distash
ligìterh.
pardeigma to bajÔ topologikì nìhma thc algebrik c prìtashc 3.4.2 perÐ thc
3. dimR V = 3
Kje pragmatikìc dianusmatikìc q¸roc distashc trÐa eÐnai isìmorfoc me to
me to q¸ro twn eujei¸n tou fusikoÔ 3-distatou q¸rou pou dièrqontai apì
thn arq twn axìnwn O, o opoÐoc epÐshc tautÐzetai me to q¸ro twn dieujÔn-
sewn sto q¸ro. Wc gnwstìn, kje eujeÐa tou q¸rou pou dièrqetai apì to
tic gwnÐec pou aut sqhmatÐzei me opoiousd pote dÔo apì touc treic xonec
nia, h kje gwnÐa ja paÐrnei tic timèc sto kleistì disthma [0, π], sunep¸c
23
o q¸roc twn dieujÔnsewn ja proèljei apì to q¸ro twn paramètrwn pou dÐ-
detai apì to kartesianì ginìmeno [0, π] × [0, π]. O q¸roc twn paramètrwn
tou tetrag¸nou tautÐzontai (kat' analogÐa me autì pou sunèbh sthn perÐptw-
shmeÐa 0 kai π tou kleistoÔ diast matoc [0, π]). Ed¸ ìmwc ta prgmata me tic
tautÐseic twn dieujÔnsewn ston 3-distato fusikì q¸ro eÐnai pio polÔploka:
ìti oi korufèc tou tetrag¸nou èqoun suntetagmènec (0, 0), (π, 0), (π, π) kai
(0, π). Katìpin ja prèpei na tautistoÔn ta shmeÐa twn dÔo orizìntiwn pleu-
r¸n tou tetrag¸nou metaxÔ touc wc ex c: (x, 0) ∼ (π − x, π), me x ∈ [0, π].
Tautìqrona ìmwc ja prèpei na tautistoÔn kai ta shmeÐa twn kjetwn pleu-
r¸n tou tetrag¸nou metaxÔ touc wc ex c: (0, y) ∼ (π, π − y), me y ∈ [0, π].
Dhlad tautÐzoume tic apènanti pleurèc tou tetrag¸nou an dÔo knontac
tautìqrona kje for gia kje zeugri kai mia topologik strof ( topological
twist).
sto Parrthma, sthn pargrafo 17 sto tèloc). 'Opwc ja doÔme sto mjhma
topologÐa twn epifanei¸n, h parapnw perigraf mèsw tou q¸rou twn para-
mètrwn mac dÐdei èna epÐpedo montèlo gia thn perigraf thc epifneiac Boy
pou apoteleÐ mh-prosanatolÐsimh epifneia me k = 1 (mh-prosanatolÐsimh epi-
fneia me èna cross cap, staurwtì skoÔfo).
sfairikèc suntetagmènec kai qwrÐc blbh thc genikìthtac, afoÔ autì den eph-
rezei thn topologÐa, gia na broÔme to q¸ro twn dieujÔnsewn tou 3-distatou
q¸rou pou dièrqontai apì thn arq twn axìnwn O, jewroÔme to q¸ro twn
eujÔgrammwn tmhmtwn m kouc 2 (wc proc kpoia monda mètrhshc) pou dièr-
24
qontai apì thn arq twn axìnwn O, ìpou to shmeÐo O eÐnai sto mèson ìlwn
aut¸n twn eujÔgrammwn tmhmtwn. Faner, ta kra ìlwn aut¸n twn eu-
diìti kje dieÔjunsh (dhlad kje eujÔgrammo tm ma) suneisfèrei dÔo shmeÐa
(ta dÔo kra tou) sto sqhmatismì aut c thc sfaÐrac en¸ emeÐc jèloume èna
shmeÐo apì kje dieÔjunsh. 'Ara ja prèpei na diairèsoume aut thn 2-distath
sfaÐra dia dÔo, dhlad prèpei na proume mìno to èna hmisfaÐrio mazÐ me ton
ishmerinì kÔklo pou ja eÐnai to sÔnorì thc. Kai pli ìmwc den telei¸sa-
tm mata pou pernoÔn apì to kèntro O kai brÐskontai pnw sto epÐpedo tou
tm ma tou ishmerinoÔ dÐskou suneisfèrei dÔo shmeÐa (pou eÐnai ta kra tou)
ston ishmerinì kÔklo. Aut h diaÐresh ìmwc t¸ra prèpei na gÐnei tautÐzon-
tac ta antidiametrik shmeÐa tou ishmerinoÔ kÔklou. Apì aut n akrib¸c thn
epifneia Boy.
jètoume:
3 z(1 − z 4 )
g1 = − Im[ √ ],
2 z 6 + 5z 3 − 1
3 z(1 + z 4 )
g2 = − Re[ √ ],
2 z 6 + 5z 3 − 1
1 + z6 1
g3 = Im( √ )− ,
6 3
z + 5z − 1 2
g = g12 + g22 + g32 ,
(ìpou Im kai Re sumbolÐzoun to fantastikì kai to pragmatikì mèroc antÐ-
g1
x= ,
g
g2
y= ,
g
g3
z= ,
g
25
na eÐnai oi Kartesianèc Suntetagmènec enìc tuqaÐou shmeÐou thc epifneiac
frasmènh embptish thc epifneiac Boy ston q¸ro R3 , mèsw thc apeikìni-
3
shc ~r : D → R , pou orÐsame parapnw, ìpou D eÐnai o monadiaÐoc dÐskoc
D := {z ∈ C : |z| ≤ 1} tou epipèdou Argand. Shmei¸noume pwc se sumfwnÐa
me ìsa eÐpame pio pnw, aut h apeikìnish den apoteleÐ emfÔteush diìti apo-
4. dimC V = 1
Sthn perÐptwsh enìc migadikoÔ dianusmatikoÔ q¸rou distashc 1, prokÔptei
5. dimC V = 2
Sthn perÐptwsh enìc migadikoÔ dianusmatikoÔ q¸rou distashc 2, (migadikì
Grassmann kai apoteloÔn kai pli pollaplìthtec distashc k(n − k). Pro-
fan¸c an k = 1 paÐrnoume ton probolikì q¸ro.
a
P (Rn+1 ) ' Rn P (Rn )
Iatrik c eÐnai anamfÐbola autèc tou axonikoÔ kai tou magnhtikoÔ tomogr-
26
kìc metasqhmatismìc enìc (oloklhrwtikoÔ) pur na sto q¸ro twn eujei¸n tou
epipèdou. Gia pardeigma, en mia eujeÐa anaparÐstatai wc x cos θ+y sin θ = s,
ìpou s h apìstash thc eujeÐac apì thn arq twn axìnwn kai θ h gwnÐa pou
Z ∞ Z ∞
R[f ](θ, s) = f (x, y)δ(x cos θ + y sin θ − s)dxdy.
−∞ −∞
nhc sunrthshc (oloklhrwtikìc pur nac) sto q¸ro twn eujei¸n tou q¸rou,
Radon phgzei akrib¸c apì to gegonìc ìti h epifneia Boy, lìgw thc topo-
reografik c probol c tou Riemann metaxÔ thc 2-distathc sfaÐrac kai tou
epipedou Argand.
ton xona twn tetagmènwn me touc fantastikoÔc arijmoÔc, tìte kje shmeÐo
eÐnai 1-1, epÐ kai suneq c, sunep¸c to sÔnolo twn migadik¸n arijm¸n eÐnai
2
dik¸n arijm¸n C ìpwc parapnw (kai ìqi me to dianusmatikì q¸ro R pou
JewroÔme t¸ra mia monadiaÐa sfaÐra dÔo diastsewn S2 kai pnw se aut
jewroÔme ta shmeÐa B kai N pou antistoiqoÔn sto 'Bìreio' kai sto 'Nìtio' Pì-
27
lo thc sfaÐrac antÐstoiqa. MporoÔme na orÐsoume ènan omoiomorfismì metaxÔ
tou sunìlou S 2 − {B} kai tou epipèdou Argand, pou lègetai stereografik
probol tou Riemann wc ex c: jewroÔme ìti h sfaÐra efptetai sto epÐpedo
sto shmeÐo N , opìte apeikonÐzoume to shmeÐo N thc sfaÐrac sto shmeÐo tou
epipèdou ìpou aut efptetai. Katìpin, èstw A tuqaÐo shmeÐo thc sfaÐrac
(diaforetikì apì to B pou èqei exairejeÐ kai diaforetikì kai apì to N gia
ìti h arq twn axìnwn O tautÐzetai me to kèntro thc monadiaÐac sfaÐrac opìte
p : S 2 − {B} → C me tÔpo:
x + iy
p(x, y, z) :=
1−z
ApodeiknÔetai ìti h p apoteleÐ ènan omoiomorfismì (dhlad eÐnai 1-1, epÐ,
−1 ζ + iζ ζ −ζ |ζ|2 − 1
p (ζ) := ( , , )
1 + |ζ|2 i(1 + |ζ|2 ) 1 + |ζ|2
ìpou ζ o suzug c migadikìc tou ζ kai |ζ| to mètro tou migadikoÔ arijmoÔ ζ,
dhlad an ζ = x + iy , tìte ζ = x − iy kai |ζ|2 = ζζ = x2 + y 2 .
th morf
θ
ζ = eiφ cot( )
2
iφ
ìpou wc gnwstìn e = cosφ + isinφ.
28
4 ProbolikoÐ MetasqhmatismoÐ
peperasmènhc distashc:
tikoÔc upìqwrouc tou V pou pargontai apì ta dianÔsmata tou V pou den
τ : P (V ) − P (KerT ) → P (W )
29
An h T eÐnai antistrèyimh , tìte KerT = 0 opìte h τ orÐzetai se olìklhro
ton probolikì q¸ro P (V ) kai dÐdei mia amfeikìnish (dhlad mia apeikìnish
τ : P (V ) → P (W )
SÔmfwna me ta parapnw loipìn èqoume ton akìloujo orismì:
orÐzetai ìpwc perigryame pio pnw mèsw enìc antistrèyimou grammikoÔ me-
tasqhmatismoÔ T : V → W.
ParadeÐgmata:
bsh tou R2 èqei tÔpo: T (λ0 , λ1 ) = (aλ0 + bλ1 , cλ0 + dλ1 ), (λ0 , λ1 ) h
ìpou
2
anaparstash wc proc th sun jh bsh enìc tuqaÐou dianÔsmatoc tou R ,
a + bx
τ (x) =
c + dx
pou onomzetai grammikìc klasmatikìc metasqhmatismìc metasqhmatismìc
strèyimou pÐnaka:
a0 a1 a2
T = b0 b1 b2
c0 c1 c2
me mh-mhdenik orÐzousa detT 6= 0. 'Estw (λ0 , λ1 , λ2 ) kpoio sÔsthma omo-
3
gen¸n suntetagmènwn tou probolikoÔ epipèdou P (R ). Qrhsimopoi¸ntac tic
30
anomogeneÐc suntetagmènec x1 := λλ10 kai x2 := λλ20 paÐrnoume ton antÐstoiqo
b0 + b1 x 1 + b2 x 2 c 0 + c1 x 1 + c 2 x 2
τ (x1 , x2 ) = ( , ).
a0 + a1 x 1 + a2 x 2 a0 + a1 x 1 + a2 x 2
matism¸n:
(ra dimV = n + 1). 'Ena sÔnolo apì kpoia (n + 2)-wc proc to pl joc
shmeÐa tou P (V ) ja lème ìti brÐskontai se genik jèsh an kje uposÔnolo
ParadeÐgmata:
'Estw ìti isqÔei to antÐjeto, dhlad èstw (x1 , x2 , x3 ) mia trida diaforeti-
k¸n metaxÔ touc shmeÐwn thc probolik c eujeÐac pou de brÐskontai se genik
pollaplsio tou llou, èstw v1 = λv2 gia kpoio λ ∈ R. Tìte ìmwc ta v1 kai
v2 ja brÐskontai ston Ðdio monodistato dianusmatikì upìqwro tou R2 opìte
2
ston probolikì q¸ro P (R ) ja prèpei na anaparistoÔn to Ðdio shmeÐo, topo,
diìti ex arq c upojèsame ìti ta trÐa shmeÐa eÐnai metaxÔ touc ìla diaforetik.
pèdou P (R3 ) brÐskontai se genik jèsh an kami trida ex aut¸n den eÐnai
deigma).
Je¸rhma 1. 'Estw x0 , x1 , ..., xn+1 èna sÔnolo apì (n+2)-wc proc to pl -
joc shmeÐa enìc pragmatikoÔ probolikoÔ q¸rou P (V ) me dimP (V ) = n (kai
31
ra dimV = n+1) pou brÐskontai se genik jèsh. 'Estw epÐshc y0 , y1 , ..., yn+1
èna sÔnolo apì(n + 2)-wc proc to pl joc shmeÐa enìc llou pragmatikoÔ
probolikoÔ q¸rou P (W ) me dimP (W ) = n (kai ra dimW = n + 1) pou
sqhmatismìc τ : P (V ) → P (W ) me
τ (xi ) = yi
gia ìla ta i = 0, 1, ..., n + 1.
apì ton orismì èpetai ìti opoiad pote (n + 1)-wc proc to pl joc shmeÐa ex
V diìti af' enìc eÐnai grammik anexrthta, af' etèrou eÐnai se pl joc tì-
sa ìsa kai h distash tou V . 'Ara kje dinusma tou V , sunep¸c kai to
antiproswpeutikì dinusma vn+1 , ja grfetai wc grammikìc sunduasmìc twn
dianusmtwn thc bshc, dhlad ja èqoume
n
X
vn+1 = λi v i
i=0
pou eÐnai topo lìgw thc genik c jèshc twn arqik¸n shmeÐwn. Sunep¸c kje
¸ste
n
X
vn+1 = vi
i=0
dhlad me λi = 1, ∀i = 0, 1, ..., n. Aut h antipros¸peush eÐnai monadik diìti
an Ðsque
n
X
vn+1 = µi v i
i=0
32
gia kpoia µi ∈ R me i = 0, 1, ..., n, tìte afair¸ntac tic dÔo autèc parapnw
n
X
0= (µi − 1)vi
i=0
n
X
vn+1 = vi
i=0
n
X
wn+1 = wi .
i=0
Xn n
X
T( λi vi ) := λi wi
i=0 i=0
i = 0, 1, ..., n en¸
Xn n
X
T vn+1 = T( vi ) = wi = wn+1
i=0 i=0
v0 ,v1 ,...,vn tou dianusmatikoÔ q¸rou V sta dianÔsmata thc bshc w0 ,w1 ,...,wn
tou dianusmatikoÔ q¸rou W shmaÐnei pwc h T eÐnai ènac isomorfismìc me-
taxÔ twn dianusmatik¸n q¸rwn V kai W (apeikìnish 1-1 kai epÐ), opìte eÐ-
33
yi ∈ P (W ), i = 0, 1, ..., n + 1, dhlad isqÔei τ (xi ) = yi gia i = 0, 1, ..., n + 1
ikanopoi¸ntac tic sunj kec tou jewr matoc.
thc èkfrashc
n
X
wn+1 = wi
i=0
0
èpetai ìti µn+1 = µi = µ ∈ R. 'Ara T = µT opìte oi T kai T0 orÐzoun ton
π ∈ R3 me x∈
/ π (profan¸c to mti tou zwgrfou de brÐsketai pnw ston
pou jèlei na zwgrafÐsei all kai o kambc) brÐskontai mèsa ston probolikì
q¸ro P (R4 ).`Autì eÐnai efiktì giatÐ apì to Sqìlio 3.6.2 gnwrÐzoume pwc
34
Vπ ≤ R4 me dimVπ = 3 (ètsi ¸ste o probolikìc q¸roc P (R4 ) ⊃ P (Vπ ) = π
kai dimP (Vπ ) = 2). AfoÔ x ∈
/ π , tìte Vx ∩Vπ = {0}, opìte dim(Vx ∩Vπ ) = 0.
R4 ∼
= Vx + Vπ
v = vx + vπ me vx ∈ Vx kai vπ ∈ Vπ antÐstoiqa.
pou èpetai apì ton orismì thc grammik c apeikìnishc pπ pou pargei ton pro-
shmeÐo pou zwgrafÐzei o zwgrfoc ston kamb tou, pou apeikonÐzei to shmeÐo
y tou q¸rou.
35
Sth sunèqeia kratme stajer th jèsh x tou zwgrfou kai allzoume
Anloga ja èqoume
R4 ∼
= Vx + Vπ ∼
= Vx + Vπ0
JewroÔme t¸ra th grammik apeikìnish pπ0 : R4 → Vπ0 me tÔpo pπ0 (v) =
vπ0 . Profan¸c t¸ra kai pli Ker(pπ0 ) = Vx . JewroÔme sth sunèqeia ton
4
periorismì pπ 0 |Vπ thc pπ me pedÐo orismoÔ ìqi olìklhro to R all mìno to Vπ ,
$ : P (Vπ ) → P (Vπ0 )
koÔ epipèdou, mac lèei pwc mia tetrda shmeÐwn se genik jèsh antistoiqeÐ
kje tetrda shmeÐwn sto probolikì epÐpedo sthn opoÐa den uprqei kamÐa
d pote tetrda shmeÐwn pou den èqei suneujeiak trida se mia opoiad pote
llh tetrda shmeÐwn pou den perièqei suneujeiak trida. Me apl lìgia
autì shmaÐnei pwc ìla ta tetrpleura sq mata sto probolikì epÐpedo eÐnai
'Otan ìmwc anaparistme ènan kÔbo sto epÐpedo, dhlad ìtan sqedizoume
mia ktoyh autoÔ sto epÐpedo, kpoiec èdrec anaparÐstantai wc plgia pa-
36
(gi' autì lègontai kai isometrÐec). Kat' epèktash diathroÔn analloÐwtec kai
tic gwnÐec (jumhjeÐte ton orismì tou sunhmitìnou thc gwnÐac dÔo dianusmtwn
wc to phlÐko tou eswterikoÔ ginomènou aut¸n dia tou ginomènou twn mètrwn
m kh. Gia pardeigma jumhjeÐte thn omoiìthta twn sqhmtwn, lìgou qrin
de diathroÔn analloÐwta oÔte ta m kh oÔte tic gwnÐec. Ja doÔme sth sunèqeia
apoteloÔn omda. Mia isometrÐa tou epipèdou gia pardeigma apeikonÐzei èna
tismìc tou epipèdou apeikonÐzei èna trÐgwno se èna llo trÐgwno ìmoio me to
37
5 Duðsmìc
Orismìc 2. 'Estw {v0 , v1 , ..., vn } mia bsh tou V . Tìte orÐzetai h duðk
bsh {f0 , f1 , ..., fn } thc {v0 , v1 , ..., vn } tou V ∗ apì th sqèsh fi (vj ) = δij , ìpou
δij to gnwstì dèlta tou Kronecker, dhlad
1, gia i = j,
fi (vj ) = δij = ìpou i, j = 0, 1, ..., n.
0, gia i 6= j,
Orismìc 3. 'Estw V pragmatikìc dianusmatikìc q¸roc me dimV = n + 1
∗
kai èstw P (V ) o antÐstoiqoc probolikìc q¸roc. O probolikìc q¸roc P (V )
upìqwroc Ker(f ) tou V eÐnai anexrthtoc apì thn epilog tou antiprosw-
∗
λ ∈ R kai f ∈ V ), anaparist èna V
dianusmatikì upìqwro tou distashc
∗
(me antiproswpeutikì dinusma thc morf c λf λ∈R f ∈V me kai ), anapa-
P (Ker(f ))).
38
{w0 , w1 , ..., wn−1 } tou W kai thn epekteÐnoume sthn {w0 , w1 , ..., wn−1 , wn } pou
∗
apoteleÐ mia bsh tou V . An {f0 , f1 , ..., fn } eÐnai h duðk thc bsh tou V ,
tìte apì ton orismì thc duðk c bshc èpetai ìti W = Ker(fn ).
twn shmeÐwn tou P (V ∗ ) kai tou sunìlou twn grammik¸n upoq¸rwn tou P (V )
me distash dimP (V ) − 1.
uperepÐpeda.
Dhlad h arq tou duðsmoÔ mac lèei pwc uprqei antistoiqÐa 1-1 kai epÐ
ParadeÐgmata.
τ : P (V ∗ ) → P (V )
h opoÐa ousiastik apoteleÐ ènan probolikì metasqhmatismì. An epilèxoume
mia bsh {v0 , v1 } tou V kai th duðk thc bsh {f0 , f1 } tou V ∗ , tìte an V ∗ 3
f = a0 f0 + a1 f1 kai V 3 v = λ0 v0 + λ1 v1 tuqaÐa dianÔsmata, ja èqoume
apì th grammikìthta thc f kai ton orismì thc duðk c bshc fi (vj ) = δij ìti
f (v) = 0 ⇔ λ0 a0 + λ1 a1 = 0 diìti:
f (v) = 0 ⇔ (a0 f0 + a1 f1 )(v) = 0 ⇔ a0 f0 (v) + a1 f1 (v) = 0
⇔ a0 f0 (λ0 v0 + λ1 v1 ) + a1 f1 (λ0 v0 + λ1 v1 ) = 0
⇔ a0 λ0 f0 (v0 ) + a0 λ1 f0 (v1 ) + a1 λ0 f1 (v0 ) + a1 λ1 f1 (v1 ) = 0
⇔ a0 λ0 1 + a0 λ1 0 + a1 λ0 0 + a1 λ1 1 = 0 ⇔ λ0 a0 + λ1 a1 = 0.
Sunep¸c to dinusma v = a1 v0 − a0 v1 eÐnai èna antiproswpeutikì dinusma
39
= a1 (a0 f0 + a1 f1 )(v0 ) − a0 (a0 f0 + a1 f1 )(v1 )
= a1 a0 f0 (v0 ) + a1 a1 f1 (v0 ) − a0 a0 f0 (v1 ) − a0 a1 f1 (v1 )
= a1 a0 1 + a1 a1 0 − a0 a0 0 − a0 a1 1 = a1 a0 − a0 a1 = 0
Sunep¸c se omogeneÐc suntetagmènec
T v(f ) = f (v)
q¸rwn P (V ) ' P (V ∗∗ ).
40
parapnw protseic parathroÔme pwc h arq duðsmoÔ sumplhr¸netai kai mac
lèei to ex c:
isqÔoun ta ex c:
arqikoÔ q¸rou).
arq c tou duðsmoÔ, all to pio shmantikì eÐnai ìti mporoÔn na genikeÔsoun
41
thn arq duðsmoÔ metaxÔ upìqwrwn opoiasd pote distashc. Autì epitugq-
netai wc ex c:
P (U 0 ) ⊆ P (V ∗ ). AfoÔ
èpetai ìti
V ←→ V ∗
dimV = dimV ∗ = n + 1
P (V ) ←→ P (V ∗ )
dimP (V ) = dimP (V ∗ ) = n
U ≤ V, dimU = k, (0 < k < n + 1) ←→ U 0 ≤ V ∗ , dimU 0 = n + 1 − k
Arq DuðsmoÔ: antistoiqÐa 1-1 kai epÐ metaxÔ P (U ) ←→ P (U 0 )
dimP (U ) = k − 1 ←→ dimP (U 0 ) = n − k
Apì ton parapnw genikì pÐnaka duðsmoÔ, blèpoume gia pardeigma pwc
ta shmeÐa tou P (V ∗ ) P (U 0 ) ⊆ P (V ∗ )
(ta opoÐa antistoiqoÔn se upoq¸rouc
0
tou duðkoÔ probolikoÔ q¸rou distashc mhdèn, dhlad dimP (U ) = 0 ⇔
42
dimP (U ) = k − 1 = n − 1, dhlad se uperepÐpeda tou P (V ), kti pou sum-
fwneÐ me ta parapnw.
ma Pppou
doÔme pwc gia kje je¸rhma apoktme automtwc kai th duðk morf tou.
mhdèn opìte ja apoteleÐ shmeÐo. Apì thn Prìtash 5.2.1. ii èpetai ìti an
( )
eÐnai suneujeiak.
43
V gia ta shmeÐa P, A, A0 , B, B 0 , C, C 0 ∈ P (V ) antÐstoiqa. Apì to Pardeigma
4.2.1 gnwrÐzoume pwc mia trida diaforetik¸n shmeÐwn se mia eujeÐa brÐskon-
dianÔsmata ìpwc sthn apìdeixh tou Jewr matoc 4.2.1 entìc twn tri¸n disdi-
p = a + a0
p = b + b0
p = c + c0
Afair¸ntac tic dÔo pr¸tec exis¸seic kat mèlh paÐrnoume 0 = a+a0 −b−b0 ⇔
b 0 − a0 = a − b = r , ìpou r kpoio dinusma. AfoÔ to dinusma r brÐsketai
Entel¸c anloga afair¸ntac tic dÔo teleutaÐec exis¸seic kat mèlh pro-
t kpoio dinusma pou anaparist thn tom twn eujei¸n CA kai C 0 A0 . 'Omwc
r +s+t = a−b+b−c+c−a = 0 opìte to r brÐsketai sto dianusmatikì q¸ro
pou pargoun ta dianÔsmata s, t (diìti ta r, s, t eÐnai grammik exarthmèna),
suneujeiak.
44
β∩γ kai β 0 ∩γ 0 , γ∩α kai γ 0 ∩α0 eÐnai sundierqìmenec (tèmnontai se èna shmeÐo).
Gia to parapnw Je¸rhma 1' den apaiteÐtai apìdeixh kaj¸c prokÔptei apì
pou:
ShmeÐwsh 1: Apì thn arq duðsmoÔ prokÔptei mesa ìti isqÔei kai to
45
6 KampÔlec b' bajmoÔ ( Quadrics )
trik )
B(v, w) = 0 ∀w ∈ V ⇒ v = 0.
B(→
−
x ,−
→
y)=−
→
x ·−
→
y. An epilèxoume èna Kartesianì SÔsthma Suntetagmènwn
tagmènec
−
→
x = (x1 , x2 , x3 ) kai −
→
y = (y1 , y2 , y3 ), tìte −
→
x ·−
→
y = x1 y1 +x2 y2 +x3 y3 .
Mèsw tou eswterikoÔ ginomènou orÐzontai sth sunèqeia ta m kh
√
|−
→
x | := −
→
x ·−
→
x
→
−x ·−→y
cos(−
→
x ,−
→
y ) := −→ −
→
| x || y |
46
morf
n
X
B(v, v) = Bij λi λj
i,j=0
i
( ) An F = C, tìte uprqei mia bsh tou V wc proc thn opoÐa h tetragwnik
morf ) eÐnai mh-ekfulismènh en kai mìno en r = dimC V (migadik perÐptw-
λ2 B(v, v), èpetai ìti to sÔnolo twn shmeÐwn thc tetragwnik c kampÔlhc eÐnai
47
anexrthto apì thn epilog antiproswpeutik¸n dianusmtwn.
−1
B(v, v) = B(T −1 T v, T −1 T v) = B T (T v, T v)
−1
miac kai B T (T v, T v) = 0 en B(v, v) = 0.
ShmeÐwsh 3. i
Apì to Je¸rhma 6.1.1.( ) prokÔptei ìti kje migadik te-
2 parapnw:
kpoio λ ∈ C.
Apìdeixh: An F = C, i
tìte apì to Je¸rhma 6.1.1.( ) mporoÔme na upojè-
soume ìti gia kpoia bsh èstw {v0 , v1 , ..., vn } tou V isqÔei
n
X
0 = B(v, v) = Bij λi λj (5)
i,j=0
48
en metatÐjentai , dhlad en AB = BA. En oi pÐnakec diagwniopoioÔntai
pÐnakec apoktoÔn diag¸nia morf wc proc thn Ðdia bsh pou apoteleÐtai apì
ta koin idiodianÔsmata].
sqèsh 5 ja proume:
paÐrnoume dianÔsmata me suntetagmènec (0, 0, ..., λr+1 , λr+2 , ..., λn ) opìte apo-
me na eÐnai kai jetik (hmi-)orismènec gia na eÐnai ta m kh pou metrme jetikoÐ
pardeigma oi strofèc sto epÐpedo kai sto q¸ro apoteloÔn klasik paradeÐg-
apì to Je¸rhma Adrneiac tou Sylvester, pou ousiastik eÐnai Pìrisma tou
ii
Jewr matoc 6.1.1.( ), gnwrÐzoume pwc h kathgoriopoÐhsh twn mh-ekfulismènwn
gÐnetai mèsw thc analloÐwthc posìthtac thc upograf c (sth genik perÐptw-
49
apaiteÐtai tìso h txh ìso kai h upograf ).
thc migadik c probolik c eujeÐac eÐnai isodÔnamh mèsw enìc probolikoÔ meta-
λ20 + λ21 = 0
dhlad
λ0 = ±iλ1
ApoteleÐtai sunep¸c apì 2 mìlic shmeÐa, aut me anomogeneÐc suntetagmènec
λ20 + λ21 = 0
ìpou λ0 , λ1 , λ2 ∈ R omogeneÐc suntetagmènec sthn pragmatik probolik eu-
Ac doÔme th deÔterh perÐptwsh, thn kampÔlh pou prokÔptei apì thn prag-
λ20 − λ21 = 0
ìpou λ0 , λ1 ∈ R omogeneÐc suntetagmènec. An epilèxoume λ0 6= 0 kai pme se
λ1
anomogeneÐc suntetagmènec x1 := λ0
, tìte h exÐswsh
λ20 − λ21 = 0
50
gÐnetai
x21 = 1
pou èqei lÔsh dÔo shmeÐa me anomogeneÐc suntetagmènec ±1.
rÐzec, sunep¸c h en lìgw kwnik den uprqei sto pragmatikì probolikì epÐ-
pedo.
Ac doÔme th deÔterh perÐptwsh, thn kwnik pou prokÔptei apì thn pragma-
tik summetrik digrammik morf me upograf èstw −1, h opoÐa èqei exÐswsh
λ1
x1 :=
λ0
51
kai
λ2
x2 := ,
λ0
tìte h exÐswsh
x21 + x22 = 1
pou wc gnwstìn apoteleÐ thn exÐswsh (monadiaÐou) kÔklou sto pragmatikì
probolikì epÐpedo.
EÐdame sto Pardeigma 3.6.2 ìti P (R2 ) ' S 1 , pou shmaÐnei pwc uprqei
mia apeikìnish pou eÐnai 1-1 kai epÐ (toulqiston) metaxÔ twn shmeÐwn thc
probolik c eujeÐac kai tou kÔklou. To parapnw genikeÔetai: ìpwc mac lèei
to Je¸rhma 6.3.1, ja doÔme pwc kje mh-ekfulismènh kwnik (kai ìqi mìno o
kÔkloc), eÐnai se antistoiqÐa 1-1 kai epÐ me thn probolik eujeÐa gia opoiod -
pote s¸ma F:
P (U ).
52
dianÔsmata {v0 , u} apoteloÔn kai mia bsh tou dianusmatikoÔ upìqwrou Vu ≤
V . SumbolÐzoume me B|Vu ton periorismì thc B sto dianusmatikì upìqwro
Vu ≤ V kai epekteÐnoume th bsh {v0 , u} tou Vu se mia bsh {v0 , u, u0 } tou
V (ìpou u0 kpoio dinusma tou V pou na eÐnai grammik anexrthto me ta
antiproswpeutik dianÔsmata v0 kai u). En h B|Vu tan tautotik mhdèn,
0
tìte wc proc th bsh {v0 , u, u } tou V , eÔkola diapist¸nei kpoioc ektel¸ntac
merikèc aplèc prxeic [qrhsimopoi¸ntac ton orismì thc kwnik c kai th sqèsh
pÐnaka me thn epilog miac bshc Bij = B(vi , vj )], ìti h B|Vu ja anaparÐstato
0 0 ∗
0 0 ∗
∗ ∗ ∗
∗
(ìpou me ` ` sumbolÐzoume tuqaÐa stoiqeÐa tou s¸matoc F), o opoÐoc pÐnakac
ja eÐqe mhdenik orÐzousa, kti pou eÐnai topo, diìti upojèsame ìti h B eÐnai
B(λ0 v0 + λ1 u, λ0 v0 + λ1 u) = (6)
mènec tou shmeÐou α(y) prokÔptoun apì thn amèswc prohgoÔmenh pargrafo.
53
Ta shmeÐa aut eÐnai kal orismèna diìti èqoun mh-mhdenikèc suntetagmè-
nec. Gia ta shmeÐa x kai y autì eÐnai profanèc. Gia to shmeÐo α(y) èqoume
(γ, 0) diafèroun kat bajmwtì pollaplsio, ra ston probolikì q¸ro ana-
èna shmeÐo y . AfoÔ autì to shmeÐo eÐnai monadikì, h apeikìnish α eÐnai 1-1
reiouc ArijmoÔc.
rht¸n arijm¸n, isqÔei ì,ti kai gia touc pragmatikoÔc arijmoÔc (bl Pardeig-
ma 6.2.2'). Sunep¸c h mình kwnik pou uprqei sto rhtì probolikì epÐpedo
54
λ0 = 0), tìte apì thn exÐswsh thc kwnik c prokÔptei ìti B(u, u) = −µ21 − µ22
kai B(u, v0 ) = −µ1 . To shmeÐo α(y) ja orÐzetai apì th sqèsh 8:
γv0 −βu = B(u, u)v0 −2B(u, v0 )u = −(µ21 +µ22 )(1, 1, 0)+2µ1 (0, µ1 , µ2 ) = (λ0 , λ1 , λ2 )
λ0 = −(µ21 + µ22 )
λ1 = µ21 − µ22
kai
λ2 = 2µ1 µ2
se anomogeneÐc suntetagmènec, an jèsoume
µ1
t := ,
µ2
ja proume
λ1 1 − t2
x1 = =
λ0 1 + t2
kai
λ2 −2t
x2 = = .
λ0 1 + t2
BrÐskoume loipìn pwc kje rht lÔsh thc exÐswshc x21 + x22 = 1 apokttai
suntetagmènec paÐrnoume
q 2 − p2
x1 =
q 2 + p2
kai
2qp
x2 =
q2 + p2
opìte h sqèsh
(q 2 − p2 )2 + (2qp)2 = (q 2 + p2 )2
dÐdei th genik lÔsh stouc akèraiouc thc exÐswshc x2 + y 2 = z 2 .
55
7 GrafÐdec Tetragwnik¸n ( Pencils of Qua-
drics )
mia bsh (ja th lème bsh (0)) wc proc thn opoÐa h B0 grfetai wc
twn idiodianusmtwn tou B apoteloÔn mia bsh tou V pou ja th lème bsh (1).
'Estw vl kai vm dÔo idiodianÔsmata tou B (dhlad dÔo dianÔsmata thc b-
shc (1)), ta opoÐa wc proc th bsh (0) èqoun suntetagmènec vl = (x0 , x1 , ..., xn )
kai vm = (y0 , y1 , ..., yn ). Tìte ja èqoume:
n
X n
X n
X
µl xk yk = Bkj xj yk = Bjk xj yk =
k=0 j,k=0 j,k=0
n
X n
X
xj Bjk yk = µl xj yj
j,k=0 j=0
n
X
xj yj = 0.
j=0
B0 (vl , vl ) 6= 0.
56
'Ara an jèsoume
vl
vl0 := p
B0 (vl , vl )
0
ja proume mia bsh (1 ) (kanonikopoihmènwn) idiodianusmtwn tou B pou
0 0
epÐshc ikanopoioÔn th B0 (vl , vm ) = δlm ìpou δlm to dèlta tou Kronecker. O
'Eqoume sunep¸c brei mia bsh, thn (kanonikopoihmènh) bsh (10 ), wc proc
thn opoÐa isqÔoun
B1 .
tetragwnik¸n kampul¸n pou orÐzetai apì tic tetragwnikèc morfèc λB0 +µB1 ,
thn Prìtash 6.1.1 gnwrÐzoume ìti mia tetragwnik kampÔlh kajorÐzetai apì
57
ton orismì thc grafÐdac prokÔptei mesa pwc mia grafÐda tetragwnik¸n eÐnai
det(λB0 + µB1 ) = 0
ìpou paÐrnoume thn orÐzousa enìc antiproswpeutikoÔ pÐnaka (me thn epilog
miac bshc). Sthn perÐptwsh pou perigryame sthn arq , ìpou h B0 eÐnai
λ
= −µi
µ
ìpou i = 0, 1, ..., n. Oi idiotimèc µi kajorÐzontai pl rwc apì th grafÐda twn
tetragwnik¸n kai den apaiteÐtai epilog bsewn gia ton orismì touc.
diaforetikèc metaxÔ touc. Apì thn prohgoÔmenh pargrafo èpetai pwc upr-
sto migadikì probolikì epÐpedo pou orÐzontai apì tic summetrikèc digrammi-
kèc morfèc B0 kai B1 antÐstoiqa kai èstw ìti h grafÐda diamèsou twn C0 kai
i
( ) H grafÐda apoteleÐtai apì ìlec tic kwnikèc pou dièrqontai apì tèssera
(ii ) Oi ekfulismènec kwnikèc thc grafÐdac apoteloÔntai apì trÐa zeÔgh eu-
jei¸n pou prokÔptoun en¸nontac xèna zeÔgh aut¸n twn tessrwn shmeÐwn.
58
vi , opìte apoktme mia bsh wc proc thn opoÐa oi B0 kai B1 diagwniopoioÔntai
tautìqrona.
Apìdeixh:
i
( ) QrhsimopoioÔme ta ìsa anafèrjhkan sthn pargrafo 7.1 gia na bloume
roume
√ √ √
u = ( µ1 − µ2 , ± µ2 − µ0 , ± µ0 − µ1 )
AfoÔ B0 (u, u) = 0 = B1 (u, u), èpetai pwc (λB0 + µB1 )(u, u) = 0 ∀λ, µ ∈
C, opìte kje kwnik thc grafÐdac pern apì aut ta tèssera shmeÐa.
suntetagmènec eÐnai (1, 0, 0),(0, 1, 0),(0, 0, 1) kai (1, 1, 1). O pÐnakac thc te-
B(u, u) = 0 ja prèpei na èqei B00 = B11 = B22 = 0 kai B12 = B23 = B32 = 0.
Oi parapnw eÐnai tèssereic grammik anexrthtec exis¸seic sto dianusmati-
tikì upìqwro distashc 2. Aut eÐnai mia eujeÐa ston probolikì q¸ro twn
kwnik¸n. Sunep¸c kje kwnik pou dièrqetai apì ta tèssera aut shmeÐa
(B1 − µi B0 )(v, v) = 0
59
pou apoteloÔn zeÔgoc eujei¸n
√ √
λ 1 µ0 − µ1 + λ 2 µ2 − µ0 = 0
kai
√ √
λ 1 µ0 − µ1 − λ2 µ2 − µ0 = 0
H pr¸th dièrqetai apì ta shmeÐa
√ √ √
( µ1 − µ2 , µ2 − µ0 , − µ0 − µ1 )
kai
√ √ √
( µ1 − µ2 , − µ2 − µ0 , µ0 − µ1 )
en¸ h deÔterh dièrqetai apì ta upìloipa dÔo shmeÐa.
dinusma bshc v0 .
tautìqrona :
sthn Kbantik Mhqanik . H pio gnwst morf thc perÐfhmhc arq c thc
60
aprosdioristÐac tou Heisenberg ( arq thc abebaiìthtac), ousiastik lèei
pwc den eÐnai dunatìn na metrhjoÔn me apìluth akrÐbeia h orm kai h jèsh
enìc swmatidÐou. Sto bjoc, autì ofeÐletai sto gegonìc ìti h orm kai h jè-
thc stajerc tou Planck eÐnai pwc ekfrzei posotik thn asumbatìthta au-
t . Shmei¸noume de pwc h arq thc abebaiìthtac isqÔei genikìtera gia kje
zeÔgoc fusik¸n megej¸n pou anaparÐstantai mèsw telest¸n pou den metatÐ-
llo zeÔgoc asumbÐbastwn fusik¸n megej¸n (ektìc thc jèshc kai thc orm c)
61
8 GrammikoÐ Q¸roi Tetragwnik¸n
U⊥ ≤ V wc to sÔnolo
U ⊥ := {v ∈ V |B(u, v) = 0, ∀u ∈ U }
βv (w) := B(v, w)
B(v, u) = 0, ∀u ∈ U ⇔ βv (u) = 0, ∀u ∈ U
dhlad an βv ∈ U 0 . Sunep¸c
β(U ⊥ ) = U 0 .
62
(iv (U1 ∩ U2 )⊥ = U1⊥ + U2⊥ .
)
P (U ⊥ ) distashc
eujeÐa pou en¸nei ta dÔo shmeÐa thc C twn opoÐwn oi efaptomènec tèmnontai
sto x (efaptomènh miac kwnik c kaleÐtai mia eujeÐa pou tèmnei thn kwnik se
kai v2 . T¸ra
opìte to λv0 + µv1 anaparist èna shmeÐo thc C en kai mìno en λ = 0.
Me lla lìgia h eujeÐa pou en¸nei ta shmeÐa x kai x1 tèmnei thn C mìno sto
63
8.2 ParadeÐgmata Tetragwnik¸n Kampul¸n kai Epi-
fanei¸n
opìte
1
dimU ≤ dimV.
2
Me gewmetrikoÔc ìrouc, an o grammikìc upìqwroc P (U ) brÐsketai se mia
1
dimP (U ) ≤ [dimP (V ) − 1].
2
An dimP (V ) = 2, tìte dimP (U ) = 0 opìte uprqoun mìno shmeÐa se mia
z0 z3 = λ0 µ0 λ1 µ1 = z1 z2
64
Aut eÐnai mia mh-ekfulismènh tetragwnik epifneia. AntÐstrofa, jewroÔ-
i = 0, 1, 2, 3.
µ1 µ0
= 10
µ0 µ0
kai
λ1 λ0
= 10
λ0 λ0
opìte h α eÐnai amfeikìnish.
probolik eujeÐa kai h eikìna autoÔ tou uposunìlou mèsw thc α eÐnai h eujeÐa
λ1 z0 − λ0 z2 = 0
λ1 z1 − λ0 z3 = 0.
Anloga, kajorÐzontac to (µ0 , µ1 ), h eikìna eÐnai h eujeÐa
µ1 z0 − µ0 z1 = 0
µ1 z2 − µ0 z3 = 0.
Sunep¸c h tetragwnik (epifneia) èqei 2 mono-parametrikèc oikogèneiec eu-
tetragwnik
z0 z3 = z1 z2
ston pragmatikì probolikì q¸ro P (R4 ) pou eÐnai isodÔnamh me thn
65
ktw apì ènan probolikì metasqhmatismì. Se anomogeneÐc suntetagmènec
zi
xi := ,
z0
to tm ma thc tetragwnik c gia to opoÐo z0 6= 0, eÐnai to
pou eÐnai mia epifneia ek peristrof c pou pargetai apì thn uperbol
x21 − x23 = 1
Aut perièqei tic dÔo oikogèneiec eujei¸n kai mporeÐ na paraqjeÐ apì qordèc
idÐou m kouc se dÔo daktulÐouc peristrèfontac ton èna se sqèsh me ton llo.
1
dimU ≤ dimV.
2
An th jèsoume sth morf tou Jewr matoc 6.1.1, ja èqoume
kai
µ1 z0 − µ0 z2 = 0
µ1 z1 − µ0 z3 = 0
ν1 z4 − ν0 z6 = 0
ν1 z5 − ν0 z7 = 0
.
.
.
66
9 To Exwterikì Ginìmeno
terikoÔ ginomènou
soume èna gewmetrikì prìblhma, thn perigraf twn probolik¸n eujei¸n mèsa
kai èqei pmpollec llec efarmogèc sth gewmetrÐa (perigraf qwrÐc qr sh
f : V → R kai profan¸c v ∈ V .
67
o opoÐoc gewmetrik antistoiqeÐ se èna epÐpedo, orÐzetai apì thn exÐswsh
−
→
r ·−
→
a = 0,
ìpou
−
→
a to kjeto dinusma sto epÐpedo U. An epilèxoume èna sÔsthma sun-
ìti
−
→
r = (x1 , x2 , x3 ) kai −
→
a = (a1 , a2 , a3 ), ètsi ¸ste f (v) = x1 a1 +x2 a2 +x3 a3 .
To kjeto dinusma
−
→
a tou epipèdou U mporeÐ na orisjeÐ jewr¸ntac 2
grammik anexrthta dianÔsmata
−
→
u kai
−
→
v tou U kai sqhmatÐzontac to exw-
terikì ginìmeno
−
→
a =−
→
u ×−
→
v
To exwterikì ginìmeno èqei tic ex c idiìthtec:
i
( ) grammikìthta:
(λ1 −
→
u 1 + λ2 −
→
u2 ) × −
→
v = λ1 (−
→
u1 × −
→
v ) + λ2 (−
→
u2 × −
→
v)
(ii ) antimetajetikìthta me allag pros mou:
−
→
u ×−
→
v = −−
→
v ×−
→
u
Prosoq ! UpenjumÐzoume ìti den isqÔei h prosetairistik idiìthta sto exw-
terikì ginìmeno.
−0
→ −0
→
Apì tic dÔo parapnw idiìthtec prokÔptei ìti an u kai v eÐnai dÔo lla
−0
→
u = a−
→
u + b−
→
v
kai
−0
→
v = c−
→
u + d−
→
v
ìpou a, b, c, d ∈ R, opìte
−0 −
→ →
u × v 0 = (a−
→
u + b→
−
v ) × (c−
→
u + d−
→
v ) = (ad − bc)−
→
u ×−
→
v
−0 −
→ →
dhlad to dinusma u × v0 eÐnai èna mh-mhdenikì bajmwtì pollaplsio tou
dianÔsmatoc
−
→
u ×−
→
v opìte orÐzei to Ðdio shmeÐo ston probolikì q¸ro P (R3 ).
68
−
→a =−→u ×− →
v pou eÐnai to exwterikì ginìmeno dÔo grammik anexrthtwn dia-
→
− →
−
nusmtwn u kai v tou V , perigrfei èna 2-distato dianusmatikì upìqwro
( )'i grammikìthta:
u ∧ v = −v ∧ u
ìpou λ1 , λ2 ∈ R kai u1 , u2 , u, v ∈ V en¸ u∧v ∈ W . 'Opwc kai sthn perÐptwsh
B(u, v) := β(u ∧ v)
69
opìte h B eÐnai mia apeikìnish B : V ×V → F pou ikanopoieÐ tic ex c idiìth-
tec:
i
( ')' grammikìthta:
B(u, v) = −B(v, u)
Dhlad h B eÐnai mia antisummetrik digrammik morf tou V . To sÔnolo twn
èna nèo dianusmatikì q¸ro me Ðdio s¸ma ìpwc o V ton opoÐo ja sumbolÐzoume
B(V ) := W ∗
V2
B(V ) = W ∗ ⇒ [B(V )]∗ = W ∗∗ = W = V.
V2
Orismìc 2. To exwterikì ginìmeno
V2 u∧v ∈ V dÔo dianusmtwn
kai ( ii)'
u ∧ v = −v ∧ u
èpontai mesa apì ton orismì.
70
'Estw {vi }(i=0,1,...,n) mia bsh tou dianusmatikoÔ q¸rou V . Tìte o dianu-
smatikìc q¸roc twn antisummetrik¸n digrammik¸n morf¸n B(V ) tou V eÐnai
isìmorfoc me to dianusmatikì q¸ro twn antisummetrik¸n (n + 1) × (n + 1)
pinkwn me stoiqeÐa apì to s¸ma F mèsw thc apeikìnishc (isomorfismìc)
Bij ↔ B(vi , vj ).
GnwrÐzoume apì th grammik lgebra ìti o dianusmatikìc q¸roc twn anti-
n(n+1)
summetrik¸n tetragwnik¸n (n + 1) × (n + 1) pinkwn èqei distash 2
.
(kl) (kl)
Mia bsh tou W prokÔptei apì touc pÐnakec Bij me k < l, ìpou Bkl =
(kl)
1 = Blk kai eÐnai mhdèn gia tic upìloipec timèc twn i, j (profan¸c i, j, k, l =
0, 1, ..., dimV ).
V2
JewroÔme ta dianÔsmata
V2 vi ∧ vj ∈ V gia i < j. Aut sqhmatÐzoun
th duðk bsh tou V pou ex orismoÔ eÐnai o duðkìc q¸roc tou q¸rou twn
mh-mhdenikì (antijetoantistrof ).
v0 ∧v1 +v2 ∧v3 = v ∧v 0 = (a0 v0 +a1 v1 +a2 v2 +a3 v3 )∧(b0 v0 +b1 v1 +b2 v2 +b3 v3 )
V2
JewroÔme touc suntelestèc twn dianusmtwn thc bshc vi ∧ vj tou V , me
i < j , kai èqoume:
a0 b 1 − a1 b 0 = 1
71
opìte sugkekrimèna to dinusma (a0 , b0 ) eÐnai mh-mhdenikì ston R2 (suntetag-
mènec wc proc th sun jh bsh). 'Omwc a0 b2 − a2 b0 = 0 kai a0 b3 − a3 b0 = 0,
opìte ta dianÔsmata (a2 , b2 ) kai (a3 , b3 ) eÐnai bajmwt pollaplsia tou (a0 , b0 )
a2 b 3 − a3 b 2 = 1
V2
Den eÐnai ìmwc kje shmeÐo
V2 P (
tou V) V2 aut c . Prgmati,
thc morf c
3 gnwrÐzoume pwc mia eujeÐa se èna q¸ro n diastewn kajorÐzetai apì n−1
paramètrouc, sunep¸c mia eujeÐa ston probolikì q¸ro pou mac endiafèrei,
sto epÐpedo
−
→
a ⊥U −
→a = (a1 , a2 , a3 ) ∈ R3 (oi suntetagmènec èstw ìti
ìpou
3
eÐnai wc proc th sun jh bsh tou R ). Sunep¸c gia na orisjeÐ èna epÐpe-
4 4
do ston R , dhlad gia na orisjeÐ ènac dianusmatikìc upìqwroc U ≤ R me
72
na orÐsoume mia probolik eujeÐa P (U ) ston trisdistato probolikì q¸ro
Mia eujeÐa tou V orÐzei èna shmeÐo ston probolikì q¸ro P (V ). Jèloume
apì ton V ), ètsi ¸ste na èqoume kat' antistoiqÐa ìti oi eujeÐec touP (VV) ja
73
10 H Exwterik 'Algebra
koÔ q¸rou
M : |V × V × {z
V × ... × V} → F
p παρáγoντ ες (9)
i
( ) antisummetrikìthta:
Vp
Orismìc 2. H p-exwterik dÔnamh V enìc dianusmatikoÔ q¸rou V
eÐnai o duðkìc q¸roc tou dianusmatikoÔ q¸rou twn antisummetrik¸n polu-
74
V0
H mhdenik exwterik dÔnamh V enìc dianusmatikoÔ q¸rou V eÐnai o
i1 < i2 < ... < ip , diìti apì th grammikìthta h tim thc M se mia tuqaÐa p-da
dianusmtwn eÐnai ènac grammikìc sunduasmìc twn tim¸n thc sta dianÔsmata
Vp
bshc tou V en¸ h antisummetrikìthta apokleÐei thn perÐptwsh vm = vn
kai mèsw anadiatxewn me antÐstoiqec allagèc pros mou (kai lÐgh skèyh!)
tou V.
75
Prìtash 2. 'Estw u1 ,u2 ,...,up ∈ V . Ta dianÔsmata aut eÐnai grammik
u1 ∧ u2 ∧ ... ∧ up (∈ V p ) 6= 0.
V
anexrthta en kai mìno en
Apìdeixh: An
p
X
λi u i = 0
i=1
kai ta λi ∈ F, me i = 0, 1, ..., p, den eÐnai ìla mhdèn (dhlad ta u1 , u2 ,...,
up ∈ V eÐnai grammik exarthmèna), tìte gia kpoio j ja isqÔei
p
X
uj = µi u i
i=1,i6=j
opìte
p
X
u1 ∧ u2 ∧ ... ∧ uj ∧ ... ∧ up = µi (u1 ∧ u2 ∧ ... ∧ ui ∧ ... ∧ up ) =
i=1,i6=j
antisummetrikìthtac).
v2 ∧ ... ∧ vq ∈ p+q V.
V
dinusma a∧b∈ V.
Vp
'Ena tuqaÐo stoiqeÐo a∈ V grfetai wc grammikìc sunduasmìc
X
a= λ i ai
i
76
Vp
aposunjèsimwn ( decomposable ) dianusmtwn ai ∈ V , ìpou λi ∈ F kai
i = 1, 2, ..., dim p V . 'Ena stoiqeÐo ai ∈ p V lègetai aposunjèsimo an
V V
1 2 p 1
mporeÐ na grafeÐ sth morf ai = ui ∧ ui ∧ ... ∧ ui , gia kpoia dianÔsmata ui ,
2 p V q
ui ,..., ui ∈ V . An to b ∈ V antÐstoiqa grfetai wc grammikìc sunduasmìc
X
b= µj b j
j
zoume pwc mia enallag dÔo ìrwn sto ginìmeno v1 ∧ v2 ∧ ... ∧ vq allzei to
prìshmo, sunep¸c
Vp Vq
Prìtash 3. 'An a∈ V kai b∈ V, tìte
a ∧ b = (−1)qp b ∧ a
77
10.2 ParadeÐgmata
a = u ∧ v ∈ 2 V , ìpou u, v ∈ V , tìte a ∧ a = u ∧ v ∧ u ∧ v = 0
V
1. An
diìti h enallag twn u, v sto dexÐ mèloc allzei prìshmo en¸ sto aristerì
2. An a = v0 ∧ v1 + v2 ∧ v3 , me v0 , v1 , v2 , v3 ∈ V grammik anexrthta
dianÔsmata, tìte
a ∧ a = (v0 ∧ v1 + v2 ∧ v3 ) ∧ (v0 ∧ v1 + v2 ∧ v3 ).
a ∧ a = v0 ∧ v1 ∧ v0 ∧ v1 + v0 ∧ v1 ∧ v2 ∧ v3 + v2 ∧ v3 ∧ v0 ∧ v1 + v2 ∧ v3 ∧ v2 ∧ v3 =
= v0 ∧ v1 ∧ v2 ∧ v3 + v2 ∧ v3 ∧ v0 ∧ v1 = 2v0 ∧ v1 ∧ v2 ∧ v3
Apì thn Prìtash 10.1.2 èpetai pwc to v0 ∧ v1 ∧ v2 ∧ v3 eÐnai mh-mhdenikì, pou
apodeiknÔei ìti to dinusma a = v0 ∧ v1 + v2 ∧ v3 , den mporeÐ na grafeÐ sthn
morf a = u ∧ v, gia kpoia dianÔsmata u, v ∈ V (o pargontac 2 mac to
apagoreÔei).
3.'Estw {v0 , v1 , ..., v2n , v2n+1 }, mia bsh enìc dianusmatikoÔ q¸rou V me
an+1 := a
| ∧ a ∧ {z
a ∧ ... ∧ a}
(n + 1) παρáγoντ ες (10)
a∧a=0
Sqìlia:
dimV q
[ ^
V
q=0
78
apoteleÐ mia (grammik ) lgebra me s¸ma Ðdio me to s¸ma tou V, kai prxeic
2. To sÔmbolo ∧ wedge),
lègetai sf na ( exoÔ kai h onomasÐa sfhnoei-
dèc ginìmeno.
79
11 H Tetragwnik Klein
11.1 H sunj kh aposÔnjeshc
P ( 2 V ) me antiproswpeutikì dinusma a = u1 ∧ u2 .
V
V2
Je¸rhma 1. 'Estw a ∈ V kpoio mh-mhdenikì stoiqeÐo. Tìte to a
eÐnai aposunjèsimo en kai mìno en a ∧ a = 0.
a ∧ a = u1 ∧ u 2 ∧ u 1 ∧ u2 = 0
80
dimV V= 3. 'Estw a ∈ 2 V (ìpou dim[ V
V V2
V ] = 3), tuqaÐo 2-dinusma.
4
AfoÔ dim[ V ] = 0,Vfaner a ∧ a = 0, ∀a ∈ 2 V . JewroÔme th grammik
3
apeikìnish A : V → V , pou orÐzetai apì th sqèsh A(v) = a ∧ v . AfoÔ
V3
dim[ V ] = 1, tìte dim[Ker(A)] ≥ 2 kai èstw u1 , u2 dÔo grammik anexr-
thta dianÔsmata tou Ker(A). Ta epekteÐnoume se mia bsh {u1 , u2 , u3 } tou
a = λ1 u 2 ∧ u3 + λ2 u 3 ∧ u 1 + λ3 u1 ∧ u2
T¸ra upojètoume ìti h prìtash isqÔei gia thn perÐptwsh enìc dianusma-
n−1
X X n−1
X
a= aij vi ∧ vj = aij vi ∧ vj + ain vi ∧ vn = a0 + u ∧ vn
i<j i<j≤n−1 i=0
V2
gia a0 ∈ V0 kai u ∈ V 0.
AfoÔ a ∧ a = 0, èqoume
0 = (a0 + u ∧ vn ) ∧ (a0 + u ∧ vn ) = a0 ∧ a0 + 2u ∧ vn ∧ a0
u ∧ vn ∧ u01 ∧ u02 = 0.
'Etsi, apì thn Prìtash 10.1.2 prokÔptei ìti aut ta 4 dianÔsmata eÐnai gram-
81
W o 3-distatoc dianusmatikìc upìqwroc pou pargetai apì ta dianÔsmata
vn , u01 kai u02 . Tìte u ∈ W afoÔ eÐnai grammikìc sunduasmìc twn u01 kai u02 .
a = x1 v0 ∧ v1 + x2 v0 ∧ v2 + x3 v0 ∧ v3 + y1 v2 ∧ v3 + y2 v3 ∧ v1 + y3 v1 ∧ v2
opìte tìte
= 2(x1 y1 + x2 y2 + x3 y3 )v0 ∧ v1 ∧ v2 ∧ v3
opìte h exÐswsh a∧a=0 dÐdetai apì th sqèsh
x1 y1 + x2 y2 + x3 y3 = 0
P ( 2 V ).
V
pentadistatou probolikoÔ q¸rou
thn Prìtash 11.1.1 autì dÐdei mia antistoiqÐa 1-1 metaxÔ tou dianusmatikoÔ
P( 2 V )
V
upoq¸rou U kai tou shmeÐou tou pou anaparÐstatai apì to a. Apì
th sqèsh a∧a = 0 kai uprqei mia bsh wc proc thn opoÐa aut h exÐswsh
èqei th morf
x1 y1 + x2 y2 + x3 y3 = 0
isodÔnama
82
h opoÐa eÐnai mia mh-ekfulismènh kampÔlh b' bajmoÔ.
sumbolÐzoume me Q(V ).
n
An dimV = n > 4, tìte uprqoun exis¸seic pou perilambnontai
4
sthn exÐswsh a ∧ a = 0, all uprqoun pollèc ex aut¸n pou eÐnai anexr-
P ( 2 V ),
V
pou orÐzoun ta aposunjèsima dianÔsmata tou h gewmetrik fÔsh
tou q¸rou twn eujei¸n se aut thn perÐptwsh eÐnai arket pio polÔplokh.
Vn−1
ShmeÐwsh 1: En dimV = n, tìte kje a∈ V eÐnai aposunjèsimo.
83
12 GrammikoÐ Upìqwroi thc Tetragwnik c Klein
12.1 Gewmetrik ermhneÐa twn upoq¸rwn thc Tetragw-
nik c Klein
'Otan melet same tic tetragwnikèc sthn pargrafo 8 eÐdame ìti mia te-
tragwnik se ènan probolikì q¸ro distashc 5 èqei epÐpeda (ra kai eujeÐec)
Ja doÔme epÐshc pwc tìso oi eujeÐec ìso kai ta epÐpeda thc tetragwnik c epi-
Prìtash 1. DÔo eujeÐec ston P (V ) tèmnontai en kai mìno en h eujeÐa
pou en¸nei ta antÐstoiqa shmeÐa p kai q sthn tetragwnik Klein Q(V ) brÐ-
P( 2 V )
V
H eujeÐa tou pou en¸nei aut ta dÔo shmeÐa eÐnai o 2-distatoc
V2
dianusmatikìc upìqwroc tou V pou apoteleÐtai apì ta 2-dianÔsmata thc
morf c a = λ1 a1 + λ2 a2 = u ∧ (λ1 u1 + λ2 u2 ). AfoÔ eÐnai aposunjèsima, tìte
a ∧ a = 0, sunep¸c olìklhrh h eujeÐa brÐsketai entìc thc tetragwnik c.
q¸roi eÐnai isìmorfoi) kai mia bsh {u0 , u1 } tou U1 kai {u2 , u3 } tou U2 dÐdei
a = λ1 u 0 ∧ u 1 + λ 2 u 2 ∧ u 3 ,
tìte
a ∧ a = 2λ1 λ2 u0 ∧ u1 ∧2 ∧u3
84
to opoÐo mhdenÐzetai en kai mìno enλ1 = 0 λ2 = 0. Sunep¸c h eujeÐa pou
en¸nei ta shmeÐa p kai q Q(V ) mìno sto shmeÐo p me
sunant thn tetragwnik
gwnik Q(V ).
v0 ∧ (λ0 v0 + λ1 v1 + λ2 v2 + λ3 v3 ) = λ1 v0 ∧ v1 + λ2 v0 ∧ v2 + λ3 v0 ∧ v3
Den eÐnai ìmwc ìla ta epÐpeda thc tetragwnik c thc parapnw morf c.
apì tic eujeÐec pou dièrqontai apì èna stajerì shmeÐo tou P (V ) eÐte apì tic
a pou en¸nei ta p kai q brÐsketai sto π kai to π brÐsketai sthn Q(V ), tìte
apì thn Prìtash 12.1.1, oi eujeÐec tou P (V ) pou antistoiqoÔn sta shmeÐa
i
( ) H eujeÐa r tèmnei tic eujeÐec p kai q sto Ðdio shmeÐo x.
85
(ii ) H eujeÐa r tèmnei tic eujeÐec p kai q se diaforetik shmeÐa.
sma tou shmeÐou x kai èstw ìti o 2-distatoc dianusmatikìc upìqwroc pou
pargetai apì ta dianÔsmata v0 kai v1 orÐzei thn eujeÐa p. 'Estw akìmh ìti o
v0 ∧ (λ1 v1 + λ2 v2 + λ3 v3 )
thc morf c
λ1 v 0 ∧ v 1 + λ 2 v 0 ∧ v 2 + λ 3 v 1 ∧ v 2
En sumbolÐsoume me W VV pou pa-
ton 3-distato dianusmatikì upìqwro tou
Uprqei mia kal ex ghsh giatÐ uprqoun dÔo oikogèneiec epipèdwn sthn
twn eujei¸n miac tetragwnik c se ènan 3-distato probolikì q¸ro (bl. thn
tou P (V )) kai β -epÐpeda (aut pou antistoiqoÔn sta epÐpeda tou P (V )). H
tom dÔo α-epipèdwn eÐnai to sÔnolo twn eujei¸n tou P (V ) pou dièrqontai
86
apì dÔo shmeÐa x kai y. An ta x kai y eÐnai diaforetik, tìte uprqei mìno
mia tètoia eujeÐa, opìte ta dÔo α-epÐpeda tèmnontai se èna shmeÐo. Anloga,
dÔo β -epÐpeda tèmnontai se èna shmeÐo.
eujei¸n pou dièrqontai apì èna shmeÐo x ∈ P (V ) kai brÐskontai se èna epÐ-
v0 ∧ (λ0 v0 + λ1 v1 + λ2 v2 ) = λ1 v0 ∧ v1 + λ2 v0 ∧ v2
12.2 Sqìlia
epÐpeda aut na paÐzoun ousiastikì rìlo stic paraktw dÔo peript¸seic sth
Donaldson pou apnthse jetik sthn eikasÐa Poincaré gia thn perÐptwsh twn
pollaplot twn distashc 4 kai kathgoriopoÐhse pl rwc tic apl sunektikèc
epÐshc bajei sqèsh kai me thn jewrhtik fusik (idiaÐtera de me thn kosmo-
logÐa), lìgw tou ìti ìpwc mac edÐdaxe o A. Einstein, o qwrìqronoc pou zoÔme
kai brÐsketai to sÔmpan, apoteleÐ pollaplìthta akrib¸c distashc 4. EpÐshc
87
apì th doulei tou Simon K. Donaldson, pro ljan oi legìmenec topologikèc
kbantikèc jewrÐec twn S.K. Donaldson, A. Floer, M. Gromov, M. Kontsevich
kaiE. Witten, pou apoteloÔn mèqri s mera, (mazÐ me thn kbantomhqanik twn
melan¸n op¸n tou S. Hawking merik qrìnia nwrÐtera), to shmantikìtero b -
tai sthn asumbatìthta thc Genik c JewrÐac thc Sqetikìthtac tou A. Einstein
pou perigrfei th barutik allhlepÐdrash, me tic kbantikèc jewrÐec twn hle-
tìthta perÐpou kat to misi diìti eÐnai ta monadik mèqri stigm c gnwst
paradeÐgmata kbantik¸n jewri¸n stic opoÐec isqÔei h arq tou genikoÔ su-
t sqetÐzei thn adraneiak me th barutik mza twn swmtwn kai eÐnai h arq
aut pou den èqei enswmatwjeÐ akìmh stic kbantikèc jewrÐec kai dhmiourgeÐ
megla probl mata sthn katanìhsh thc mzac kai kat' epèktash sthn kosmo-
logÐa (jèmata pou aforoÔn thn legìmenh skotein enèrgeia ( dark energy) kai
thn tim thc kosmologik c stajerc).
88
13 Prosèggish Klein thc GewmetrÐac kai Omo-
parallhlik GewmetrÐa
H suneisfor tou Felix Klein sth GewmetrÐa den periorÐzetai mìno sthn
ìnom tou, oÔte mìno sth mh-prosanatolÐsimh epifneia pou epÐshc fèrei to
onom tou, th gnwst filh Klein (Klein bottle). Eis gage èna nèo trì-
KatalabaÐnei eÔkola kpoioc akìmh kai apì thn etumologÐa thc lèxhc,
b¸c, ìpwc eÐdame sthn pargrafo 4, oi ènnoiec thc apìstashc kai thc gwnÐac
gia tic diaforetikèc katìyeic enìc antikeimènou, dhmiourgeÐ gia pr¸th for
EÐdame kat th dirkeia tou maj matoc ìti dÔo diaforetikèc katìyeic enìc
89
13.2 H Omda GLn twn Genik¸n Grammik¸n Metasqh-
matism¸n
orÐzetai wc
L(V ) ∼
= L(Rn ) ∼
= Mn (R).
90
isomorfismìc }. ApodeiknÔetai eÔkola pwc to sÔnolo LI (V ) apoteleÐ (mh-
nÐsewn (isomorfism¸n).
idiìthtec twn orizous¸n, eÔkola diapist¸nei kpoioc pwc to sÔnolo GLn (R)
apoteleÐ (mh-Abelian ) omda me prxh ton pollaplasiamì twn pinkwn.
LI (V ) ' GLn (R) (dimV = n). H ènnoia tou isomorfismoÔ metaxÔ twn om-
dwn eÐnai kpwc diaforetik apì thn ènnoia tou isomorfismoÔ metaxÔ dianu-
smatik¸n q¸rwn. UpenjumÐzoume pwc an (G, ◦) kai (H, •) eÐnai dÔo omdec me
eswterikèc prxeic ◦ kai •, mia apeikìnish f : G → H lègetai omomorfismìc
en h f diathreÐ tic prxeic twn omdwn, dhlad en isqÔei to ex c:
lgebra.
91
Ac epanalboume ton skopì mac: jèloume na orÐsoume to sÔnolo twn
omda h opoÐa prokÔptei apì thn omda GLn (R). Prin ìmwc apì autì, qreia-
fou). 'Ena uposÔnolo N ⊂ G lègetai upoomda en apoteleÐ to Ðdio mia omda
me thn Ðdia prxh ∗ ìpwc aut thc G. Ousiastik autì shmaÐnei pwc to N
eÐnai kleistì wc proc thn prxh aut , dhlad n1 ∗n2 ∈ N gia kje n1 , n2 ∈ N .
kai ta summetrik ìlwn twn stoiqeÐwn tou, dhlad en e = 1 ∈ N kai en
∀n ∈ N , to sumetrikì n−1 ∈ N .
Sthn omda (G, ∗) orÐzoume mia sqèsh isodunamÐac ∼ pou lègetai suzugÐa,
wc ex c:
g ∗ n ∗ g −1 = g ∗ g −1 ∗ n = 1 ∗ n = n ∈ N .
N × G → G, (n, g) 7→ n ∗ g
pou lègetai pollaplasiasmìc apì arister me thn N. (Epeid genik oi omdec
den eÐnai Abelianèc, èqei shmasÐa apì poi meri, dexi arister, pollapla-
sizoume).
92
Gia kje stoiqeÐo g ∈ G, orÐzoume to uposÔnolo Gg := {x ∈ G|x =
En N mia upoomda thcG, tìte oi troqièc twn stoiqeÐwn thc N lè-
gontai (arister) sunsÔnola ( cosets) thc N sthn G. Sunep¸c dÔo stoiqeÐa
g1 , g2 ∈ G ja an koun sto Ðdio (aristerì) sunsÔnolo thc N sthn G en kai
mìno en g2 = n ∗ g1 gia kpoio stoiqeÐo n ∈ N , dhlad isodÔnama en to
pio pnw) pou lègetai aristerì sunsÔnolo Gthc apì thn N : dÔo
upoomda
IsqÔei to paraktw basikì je¸rhma sth jewrÐa omdwn (to dÐdoume qw-
rÐc apìdeixh, o anagn¸sthc mporeÐ na koitxei gia thn apìdeixh se èna kalì
biblÐo lgebrac, lìgou qrin ston pr¸to tìmo thc 'Algebrac twn Bourbaki
sto biblÐo 'Algebrac twn MacLane-Birkhoff ):
Je¸rhma 1. To sÔnolo phlÐko G/N apoteleÐ nèa omda en kai mìno en
monadiaÐoc n × n pÐnakac (dhlad Iij = δij , ìpou δij to gnwstì dèlta tou
GLn (R), (diìti to ginìmeno diag¸niwn pinkwn eÐnai epÐshc diag¸nioc pÐnakac,
93
dhlad to sÔnolo λI eÐnai kleistì wc proc thn prxh tou gnwstoÔ pollapla-
siasmoÔ twn pinkwn), kai mlista kanonik upoomda, dhlad λI C GLn (R).
ShmeÐwsh 4.1.1 pou lèei ìti dÔo antistrèyimoi grammikoÐ metasqhmatismoÐ pou
o ènac eÐnai to bajmwtì pollaplsio tou llou orÐzoun ton Ðdio probolikì
apoteleÐ nèa omda diìti λI C GLn (R). 'Eqoume loipìn ton ex c orismì:
GLn (R)
P GLn (R) = .
λI
Orismìc 2. 'Estw Ω kpoio mh-kenì sÔnolo. SumbolÐzoume me Sym(Ω)
to sÔnolo ìlwn twn apeikonÐsewn 1-1 kai epÐ apì to Ω ston eautì tou, dhlad
Sym(Ω) := {ω : Ω → Ω|ω apeikìnish 1-1 kai epÐ }.
qeÐ ston eautì tou) en¸ to summetrikì kje stoiqeÐou eÐnai h antÐstrofh
Orismìc 3. Mia drsh miac omdac G se èna sÔnolo Ω eÐnai ènac omo-
H probolik grammik omda P GLn (R) dra tìso ston probolikì q¸ro
n
P (R ) ìso kai sto q¸ro twn (probolik¸n) eujei¸n tou P (Rn ) klp. SÔmfw-
twn pou paramènoun analloÐwtec ktw apì th drsh thc omdac P GLn (R).
94
13.5 H omda twn probolik¸n metasqhmatism¸n thc
eujeÐacP (R2 ) kai th drsh pnw se aut n thc omdac twn probolik¸n meta-
a c
(λ0 , λ1 ) 7→ (λ0 , λ1 ) = (aλ0 + bλ1 , cλ0 + dλ1 ).
b d
Apì to je¸rhma 4.2.1 gnwrÐzoume pwc kje trida diaforetik¸n shmeÐwn
(x0 y2 − x2 y0 )(x1 y3 − x3 y1 )
(r0 r1 ; r2 r3 ) := .
(x0 y3 − x3 y0 )(x1 y2 − x2 y1 )
ShmeÐwsh 1: Allag tou antiproswpeutikoÔ dianÔsmatoc af nei thn pa-
metasqhmatismoÔc.
probolikì metasqhmatismì
a c
(xi , y1 ) 7→ (x0i , yi0 ) = (xi , yi ) = (axi + byi , cxi + dyi ).
b d
Apì kje parènjesh tou orismoÔ tou staurwtoÔ phlÐkou prokÔptei ènac
pargontac (ad − bc) (pou eÐnai h orÐzousa tou pÐnaka metasqhmatismoÔ), gia
95
pardeigma upologÐzoume ton pargonta
x00 y20 −x02 y00 = (ax0 +by0 )(cx2 +dy2 )−(ax2 +by2 )(cx0 +dy0 ) = (ad−bc)(x0 y2 −x2 y0 )
∗ ∗
A=
0 ∗
ja èqoume
a c
(0, 1) = (0, d)
0 d
pou sthn probolik eujeÐa antistoiqeÐ sto Ðdio shmeÐo diìti oi omogeneÐc sun-
tetagmènec diafèroun kat èna bajmwtì pollaplsio (0, 1) ∼ (0, d) = d(0, 1).
0 0 a c
(x, y) 7→ (x , y ) = (x, y)
0 d
dhlad analutik
x 7→ x0 = ax
kai
y 7→ y 0 = cx + dy
An exairèsoume to shmeÐo r0 = (0, 1), mporoÔme na metaboÔme se anomogeneÐc
cx + dy c d
q 0 = x0 /y 0 = = + q = C + Dq
ax a a
96
ìpou jèsame C := c/a kai D := d/a. Me th qr sh loipìn anomogen¸n sun-
omdac metasqhmatism¸n
q 7→ q 0 = Dq + C
q3 − q1
(r0 r1 ; r2 r3 ) :=
q2 − q1
ìpou jèsame qi := xi /yi , me i = 1, 2, 3, oi antÐstoiqec anomogeneÐc suntetag-
grammo tm ma x2 x3 .
apìstashc metaxÔ dÔo shmeÐwn all mporoÔme na poÔme gia pardeigma poio
(x0 x1 ; x2 x3 ) = −1
Sthn probolik eujeÐa, h parapnw eÐnai mia idiaÐterh ditaxh shmeÐwn pou
eujeÐac lègetai armonikì sÔnolo en to staurwtì touc phlÐko eÐnai Ðso me −1.
Je¸rhma 1. 'Estw τ : P (R2 ) → P (R2 ) mia apeikìnish 1-1 kai epÐ (amfei-
kìnish) pou apeikonÐzei ta armonik sÔnola se epÐshc armonik sÔnola. Tìte
97
h τ eÐnai probolikìc metasqhmatismìc.
nÔsmata (0, 1), (1, 0) kai (1, 1) antÐstoiqa. Apì to je¸rhma 4.2.1 gnwrÐzou-
soume ìti o τ af nei aut ta shmeÐa ametblhta opìte tìte arkeÐ na deÐxoume
1
(x0 x1 ; x2 x3 ) = −1 ⇔ x1 = (x2 + x3 )
2
Sunep¸c
1
(x0 x; x 0) = −1
2
opìte afoÔ o τ apeikonÐzei armonik sÔnola se epÐshc armonik sÔnola ja
èqoume
1
(x τ ( x); τ (x) 0) = −1
2
kai sunep¸c
1 1
τ ( x) = τ (x)
2 2
Anloga ja èqoume
1
(x0 (x + y); x y) = −1
2
opìte
1
(x0 τ ( (x + y)); τ (x) τ (y)) = −1.
2
1 1
Sunep¸c τ ( 2 (x + y)) = 2 (τ (x) + τ (y)) opìte apì thn parapnw sqèsh ja
proume
τ (x + y) = τ (x) + τ (y).
'Epetai eÔkola ìti τ (x) = xτ (1) = x1 = x gia kje rhtì arijmì x.
(1 − x)(x2 + x)
(x − x; 1 x2 ) = = −1
(x2 − x)(1 + x)
98
AfoÔ apì thn parapnw sqèsh prokÔptei ìti τ (−x) = −τ (x) kai o τ diathreÐ
moÔc se jetikoÔc kai afoÔ epÐshc isqÔei ìti τ (x − y) = τ (x) − τ (y), tìte o τ
diathreÐ kai th ditaxh twn pragmatik¸n arijm¸n.
Tìte ìmwc upojètoume ìti x kpoioc rrhtoc arijmìc kai τ (x) > x. Upr-
qei rhtìc q metaxÔ touc. 'Omwc tìte q > x opìte q = τ (q) > τ (x) pou eÐnai
arijmoÔc.
h ènnoia tou armonikoÔ sunìlou eÐnai to mìno pou apaiteÐtai gia na orisjeÐ h
jeÐac.
phlÐko GLn (R)/λI . Mia deÔterh perigraf loipìn thc omdac twn probo-
eÐnai pwc aut apoteleÐtai apì thn omda twn omoparallhlik¸n metasqhmati-
sm¸n h opoÐa, genikeÔontac aut pou eÐdame sthn perÐptwsh thc probolik c
GLn−1 (R) mazÐ me tic metatopÐseic pou eÐnai èna epiplèon antÐgrafo tou Rn−1 .
99
14 Optik kai Eidik JewrÐa Sqetikìthtac
sÔsthma apeikonÐzei aktÐnec fwtìc tou epipèdou xy se aktÐnec fwtìc sto Ðdio
epÐpedo.
sm¸n T : F → Fn
n
me det(T ) = +1 apoteleÐ omda pou sumbolÐzetai SLn (F)
kai lègetai eidik grammik omda ( special linear group).
H optik tou Gauss eÐnai h melèth twn analloÐwtwn posot twn ktw apì
th drsh thc omdacSL2 (R) sto pragmatikì probolikì epÐpedo P (R3 ) pou
a b
T =
c d
ìpou det(T ) = ad − bc = 1. H omda SL2 (R) eÐnai upoomda thc omdac
P GL3 (R) (omda twn probolik¸n metasqhmatism¸n tou probolikoÔ epipèdou
P (R3 )). Ta stoiqeÐa (pÐnakec) thc omdac SL2 (R) metatÐjentai me tic anakl-
0
seic ston x x xona, kti pou eÐnai aparaÐthto gia na anaparistoÔn sust mata
0
(optikèc diatxeic) gia ta opoÐa o xonac x x eÐnai xonac summetrÐac miac kai
peristrof kat gwnÐa π (se aktÐnia) gÔrw apì autìn ton xona dÐdei thn
100
H omda SL2 (R) dra sta shmeÐa tou probolikoÔ epipèdou P (R3 ) kaj¸c
kai sto duðkì epÐpedo twn eujei¸n. 'Ena optikì sÔsthma (optik ditaxh)
antistoiqeÐ se ènan pÐnaka T ∈ SL2 (R). H drsh tou stic eujeÐec antistoiqeÐ
ston xona x0 x. Autèc tèmnontai sto probolikì epÐpedo sto shmeÐo (0, 1, 0). H
eikìna touc ktw apì th drsh tou T sunÐstatai apì tic aktÐnec pou dièrqon-
tai apì to shmeÐoT (0, 1, 0) = (b, d, 0) me qr sh anomogen¸n suntetagmènwn
x = d/b kai y = 0. H apìstash x = d/b eÐnai h estiak apìstash thc optik c
ditaxhc.
me autì twn eikìnwn touc ktw apì thn epÐdrash thc optik c ditaxhc.
kpoio shmeÐo se apìstash v sta dexi tou fakoÔ, tìte T (u) = v . T¸ra apì
−u + f 0−f
= ,
f v−f
dhlad
1 1 1
+ = ,
u v f
pou den eÐnai llh apì th gnwst sqèsh thc optik c.
101
14.2 Eidik JewrÐa Sqetikìthtac
pou eÐnai gnwst sth fusik wc metrik Minkowski (h stajer c eÐnai h ta-
En exeidikeÔsoume th melèth mac sthn upoomda thc omdac Lorentz pou
diathreÐ analloÐwto to epÐpedo x 2 = x 3 = 0, paÐrnoume touc metasqhmati-
smoÔc
(x, t) 7→ (x + βt + b1 , γx + δt + b2 )
kai
a β cosh u c sinh u
=
γ δ c−1 sinh u cosh u
kai
102
ìpou sinh u kai cosh u oi gnwstèc uperbolikèc trigwnometrikèc sunart seic.
zoun tic apìyeic tou kìsmou (metr seic fusik¸n megej¸n) dÔo parathrht¸n
x0 = c(sinh u)t + b1
kai
t0 = (cosh u)t + b2
dhlad parathreÐ èna antikeÐmeno pou kineÐtai me omal taqÔthta
dx0
= c tanh u = v,
dt0
prgma pou prosdÐdei stouc parapnw metasqhmatismoÔc thn gnwst apì th
fusik morf
1
x0 = q (x + vt) + b1
v2
1− c2
kai
1 vx
t0 = q ( + t) + b2
1− v2 c2
c2
Ðdia taqÔthta kai se kje llo sÔsthma anaforc. Gia tic llec taqÔthtec
ìmwc uprqei mia analogik diaforopoÐhsh. Den eÐnai to katllhlo mèroc gia
ktw apì thn omda Lorentz pou apoteleÐ thn omda summetrÐac thc eidik c
epìmenou kefalaÐou.
103
15 Upoomdec thc Probolik c Omdac tou
autìc prokÔptei me thn prosj kh enìc ep' peiron shmeÐou stouc migadikoÔc
amfeikìnish
z0 z 0 − z1 z 1 z1 z 0 + z0 z 1 z1 z 0 − z0 z 1
(z0 , z1 ) 7→ ( , ,i )
z0 z 0 + z1 z 1 z0 z 0 + z1 z 1 z0 z 0 + z1 z 1
H parapnw amfeikìnish apeikonÐzei èna shmeÐo thc migadik c probolik c eu-
JewroÔme thn upoomda thc omdac GL2 (C) pou apoteleÐtai apì ta stoiqeÐa
(i)S(z0 , z1 ) = (0, z 0 ), S 2 = 0
(ii)S(z0 , z1 ) = (z 1 , −z 0 ), S 2 = −1
(iii)S(z0 , z1 ) = (z 0 , z 1 ), S 2 = +1
Autèc oi prxeic den apoteloÔn grammikoÔc metasqhmatismoÔc sto s¸ma twn
migadik¸n arijm¸n all par' ìla aut, toulqiston stic dÔo teleutaÐec pe-
eujeÐa ston eautì thc, miac kai S(λz0 , λz1 ) = λS(z0 , z1 ), opìte h S apeikonÐ-
2
zei èna monodistato migadikì dianusmatikì upìqwro tou C ston eautì tou.
a b
T = ,
c d
ST (z0 , z1 ) = (0, az 0 + bz 1 )
104
kai
T S(z0 , z1 ) = (bz 0 , dz 0 ),
tìte parathroÔme ìti T S = ST ⇔ b = 0 kai d = a. To ep' peiron sh-
AfoÔ
trÐa. H omda aut ìmwc den sumperilambnei kai tic anaklseic pou epÐshc
loÐwth thn EukleÐdeia metrik , dhlad isqÔei ìti Q(Av) = Q(v), ∀v ∈ Rn kai
n
gia kpoio u∈R . UpenjumÐzoume pwc h EukleÐdeia metrik dÐdetai apì thn
tetragwnik morf
smì.
JewroÔme t¸ra thn S thc perÐptwshc (ii). Apì ton orismì thc amfei-
prokÔptei pwc h drsh thc S sth migadik probolik eujeÐa antistoiqeÐ kje
shmeÐo thc 2-distathc sfaÐrac sto antidiametrikì tou shmeÐo. Sthn perÐptw-
sh aut
T S(z0 , z1 ) = (az 1 − bz 0 , cz 1 − dz 0 ).
Sunep¸c T S = ST ⇔ b = −c kai a = d.
105
H omda twn metasqhmatism¸n thc migadik c probolik c eujeÐac (sfaÐra
2-diastsewn) pou orÐzetai apì aut thn S thc perÐptwshc (ii), metatÐjetai
me thn antidiametrik apeikìnish (aut n pou antistoiqeÐ kje shmeÐo sto an-
(x y; σ(y) σ(x)) = (τ (x) τ (y); τ (σ(y)) τ (σ(x))) = (τ (x) τ (y); σ(τ (y)) σ(τ (x))).
Sunep¸c aut h sunrthsh twn zeug¸n shmeÐwn eÐnai analloÐwth ktw apì
metaxÔ twn shmeÐwn pou eÐnai analloÐwta ktw apì th drsh thc omdac.
(z0 w0 + z1 w1 )(w0 z 0 + w1 z 0 )
(x y; σ(x) σ(y)) =
(z0 z 0 + z1 z 1 )(w0 w0 + w1 w1 )
−
→
x ·−
→
y :=
(z0 z 0 − z1 z 1 )(w0 w0 − w1 w1 ) + (z1 z 0 + z0 z 1 )(w1 w0 + w0 w1 )
−
(z0 z 0 + z1 z 1 )(w0 w0 + w1 w1 )
(z1 z 0 − z0 z 1 )(w1 w0 − w0 w1 )
− =
(z0 z 0 + z1 z 1 )(w0 w0 + w1 w1 )
z0 w0 + z1 w1 )(w0 z 0 + w1 z 0 )
= .
(z0 z 0 + z1 z 1 )(w0 w0 + w1 w1 )
→ −
− →
Sunep¸c (x y; σ(y) σ(x)) = x · y = cos θ , ìpou θ eÐnai h gwnÐa pou sqhma-
→
− →
−
tÐzoun ta dianÔsmata x kai y . Opìte an orÐsoume thn apìstash (metrik )
wc
106
autìc o orismìc dÐdei th suntomìterh apìstash kat m koc enìc mègistou
kÔklou pou sundèei dÔo shmeÐa pnw sth sfaÐra (migadik probolik eujeÐa).
to migadikì suzugèc enìc shmeÐou opìte h upoomda thc GL2 (C) pou metatÐ-
jetai me thn S eÐnai h omda GL2 (R) opìte dÐdei thn upoomda P GL2 (R) ⊂
P GL2 (C).
En to (z0 , z1 ) eÐnai pragmatikì, tìte ktw apì thn amfeikìnish metaxÔ
probolik eujeÐa mèsa sth migadik probolik eujeÐa apeikonÐzetai sto mègi-
eujeÐac ktw apì th drsh thc omdac P GL2 (R). 'Omwc autìc o (mègistoc)
kÔkloc tèmnei th sfaÐra se dÔo hmisfaÐria kai h omda dra se kajèna apì
aut.
JewroÔme th drsh thc P GL2 (R) sto hmisfaÐrio, èstw H, pou orÐzetai
2
apì th sqèsh x3 < 0. AfoÔ to shmeÐo (0, 1) ∈ P (C ) den brÐsketai se autì
To shmeÐo σ(x) eÐnai t¸ra to migadikì suzugèc tou shmeÐou x kai brÐsketai
sto ktw hmiepÐpedo Argand. Sunep¸c, dojèntwn dÔo shmeÐwn z, w ∈ H ,
|z − w|2
(z w; w z) =
4=(z)=(w)
p
d(z, w) := sinh−1 (z w; w z)
H gewmetrÐa pou orÐzetai apì th drsh thc omdac P GL2 (R) sto nw hmie-
JewrÐa Sqetikìthtac.
107
16 To AxÐwma thc ParallhlÐac
tou 19ou ai¸na diìti apoteleÐ èna polÔ sugkekrimèno pardeigma, to pr¸to
mata apì autapìdeiktec ènnoiec kai axi¸mata, antipros¸peue ìqi apl èna
polÔ epituqhmèno montèlo tou fusikoÔ kìsmou ston opoÐo zoÔme all kai
mia apìluth logik dom . Par taÔta, up rqe èna axÐwma to opoÐo fntaze
tou opoÐou h apìdeixh mac dièfeuge! O ìroc pou qrhsimopoi jhke gia thn
perigraf tou eÐnai axÐwma kalÔtera aÐthma thc parallhlÐac, miac kai o
ìroc aÐthma, shmaÐnei akrib¸c autì: mia prìtash pou pisteÔoume ìti isqÔei
all den mporoÔme na thn apodeÐxoume. Me ta lìgia tou Ðdiou tou EukleÐdh,
autì perigrfetai wc ex c: ...an mia eujeÐa tèmnei dÔo llec eujeÐec ètsi ¸ste
h eswterik gwnÐa thc Ðdiac pleurc na eÐnai mikrìterh apì dÔo orjèc gwnÐec,
pio gnwst diatÔpwsh eÐnai aut tou Playfair to 1795: Apì dosmèno shmeÐo
P ektìc miac eujeÐac l, uprqei monadik eujeÐa pou dièrqetai apì to shmeÐo
na katal xoun tan pwc to jroisma twn gwni¸n enìc trig¸nou tan mikrì-
tero apì dÔo orjèc, wstìso ìlec oi apodeÐxeic eÐqan ken. 'Eprepe na perimè-
noume mèqri thn emfnish twn Gauss, Bolyai, Lobatchevsky gia na apodeiqjeÐ
thc parallhlÐac. Me lla lìgia, o EukleÐdhc eÐqe knei ljoc sthn eikasÐa
tou kai fusik ìlec oi apodeÐxeic pou eÐqan parousiasteÐ tan ìntwc lanja-
Ðswc jumÐzei thn gnwst istorÐa me to axÐwma thc epilog c kai ta upìloipa 9
108
axi¸mata Zermelo-Fraenkel thc axiwmatik c jewrÐac sunìlwn).
apì tonD. Hilbert sta tèlh tou 19ou, arqèc tou 20ou ai¸na. Ta axi¸mata thc
EukleÐdeiac gewmetrÐac tou Hilbert xekinoÔn me kpoiec prwtarqikèc ènnoiec
pou den mporoÔn na oristoÔn kai prokÔptoun apì thn anjr¸pinh diaÐsjhsh.
matik¸n (pou xekÐnhse apì ton B. Russell kai èlabe thn pl rh morf thc me ta
axi¸mata Zermelo-Fraenkel me qwrÐc to axÐwma thc epilog c), onomzontai
enorseic (intuitions). Tètoiec ènnoiec eÐnai h ènnoia tou , thc , shmeÐou eujeÐac
h ènnoia tou perièqesjai (h sqèsh shmeÐou kai eujeÐac, an èna shmeÐo an kei
ìqi se kpoia eujeÐa), h ènnoia tou anmesa , h ènnoia thc sumfwnÐac ( congrue-
nce ) zeug¸n shmeÐwn kai h ènnoia thc sumfwnÐac ( congruence ) metaxÔ gwni¸n.
sh tou èrgou twn Hilbert and Cohn-Vossen: Geometry and the Imagination ):
1. Apì trÐa tuqaÐa shmeÐa pnw se mia eujeÐa, mìno èna ex aut¸n brÐsketai
2. En A kai B eÐnai dÔo tuqaÐa shmeÐa se mia eujeÐa, tìte uprqei toulqi-
ston èna shmeÐo C thc eujeÐac pou brÐsketai metaxÔ twn shmeÐwn A kai B.
3. Kje eujeÐa pou tèmnei mia pleur enìc trig¸nou, eÐte pern kai apì thn
apènanti (trÐth) koruf tou trig¸nou eÐte tèmnei kai kpoia llh pleur.
stic dÔo merièc enìc dosmènou shmeÐou. To eujÔgrammo tm ma pou kataskeu-
2. En dÔo eujÔgramma tm mata eÐnai sÔmfwna me kpoio trÐto, tìte eÐnai
3. En AB kai A0 B 0 eÐnai dÔo sÔmfwna eujÔgramma tm mata kai en ta sh-
meÐa C kai C 0 pou brÐskontai sta AB kai A0 B 0 antÐstoiqa eÐnai tètoia ¸ste
109
èna apì ta eujÔgramma tm mata sta opoÐa to AB diaireÐtai apì to C na eÐnai
apì tic dÔo merièc miac dosmènhc hmieujeÐac, opìte h gwnÐa pou kataskeuze-
5. En dÔo pleurèc enìc trig¸nou eÐnai Ðsec me tic antÐstoiqec dÔo pleurèc
enìc llou trig¸nou kai en kai oi perieqìmenec stic dÔo autèc pleurèc antÐ-
Apì kje shmeÐo ektìc eujeÐac dièrqetai monadik eujeÐa pou den tèmnei
th dosmènh eujeÐa.
brÐsketai mèsa sto llo, nested segments), èqei èna koinì shmeÐo.
pou grfei sto l mma autì, wc pr¸th ermhneÐa, ta ex c: congruence: the
fact or condition of according or agreeing. Sthn ellhnik bibliografÐa suqn
qrhsimopoieÐtai o ìroc ìmoioc gia thn apìdosh tou congruent. Den uiojet -
same aut th metfrash gia treÐc lìgouc: o pr¸toc eÐnai autì pou gryame
parapnw gia thn ermhneÐa tou ìrou sthn Agglik . O deÔteroc lìgoc eÐnai
ìti me ton ìro ìmoioc apodÐdetai sta ellhnik h agglik lèxh similar. O trÐ-
toc lìgoc eÐnai o ex c: apì to gumnsio eÐmaste sthn Ellda exoikoiwmènoi
me ton ìro ìmoioc, gia pardeigma apì ta trÐgwna: ex orismoÔ, dÔo trÐgwna
lègontai ìmoia en èqoun tic gwnÐec touc mÐa proc mÐa Ðsec. Apì to AxÐwma III
5 faÐnetai ìti h qr sh tou ìrou congruent apì ton Hilbert shmaÐnei autì pou
dÔo trÐgwna lègontai Ðsa en oi pleurèc touc eÐnai Ðsec mÐa proc mÐa. To axÐ-
wma III 5 tou Hilbert sto gumnsio sthn Ellda parousizetai wc èna apì
ta legìmena krit ria isìthtac twn trig¸nwn. H ousÐa pntwc eÐnai pwc apì
ta parapnw faÐnetai pwc o ìroc ìmoioc den eÐnai swstìc gia na apod¸sei
110
thn agglik lèxh congruent en¸ tautìqrona dhmiourgeÐ sÔgqush me aut pou
(orj¸c ìqi) gnwrÐzoume apì to gumnsio afoÔ shmaÐnei Ðsoc kai ìqi ìmoioc
(bèbaia dÔo Ðsa trÐgwna eÐnai pntote kai ìmoia all to antÐstrofo fusik
kai sth jewrÐa arijm¸n kai shmaÐnei thn idiìthta dÔo akèraiwn arijm¸n pou an
diairejoÔn kai oi dÔo me ton Ðdio trÐto akèraio arijmì af noun to Ðdio upìloipo.
kleÐdh
JewroÔme t¸ra to nw migadikì hmiepÐpedo H , th drsh thc omdac P GL2 (R)
se autì kai th metrik sunrthsh
p
d(z, w) := sinh−1 (z w; w z).
shmeÐwn (z1 , w1 ) kai (z2 , w2 ) eÐnai sÔmfwna en kai mìno en
d(z1 , w1 ) = d(z2 , w2 )
H omda P GL2 (R) emplèketai sthn ènnoia thc sumfwnÐac mèsw thc paraktw
prìtashc:
Tìte uprqei monadikì stoiqeÐo τ ∈ P GL2 (R) tètoio ¸ste z2 = τ (z1 ) kai
w2 = τ (w1 ).
Sunep¸c, apì thn analloiìthta tou staurwtoÔ phlÐkou ktw apì proboli-
az + b az + b
= .
cz + d cz + d
111
Aut eÐnai mia tetragwnik (tri¸numo wc proc z ), me fantastikoÔc suntele-
stèc:
zugeÐc rÐzec. Autì ìmwc eÐnai adÔnato diìti oi z1 kai w1 èqoun arnhtikì
az + b az + b
=
cz + d cz + d
isqÔei ek tautìthtoc, opìte o probolikìc metasqhmatismìc τ metatÐjetai me
q¸rou H (nw migadikì hmiepÐpedo): dÔo zeÔgh shmeÐwn eÐnai sÔmfwna en
uprqei èna stoiqeÐo τ ∈ P GL2 (R) pou na apeikonÐzei to èna zeugri shmeÐwn
sto llo zeugri shmeÐwn.
(z 1 w1 ; w1 z) ∈ R
Faner, apì thn analloiìthta tou staurwtoÔ phlÐkou, h omda P GL2 (R)
apeikonÐzei eujeÐec se eujeÐec.
to opoÐo eÐnai pragmatikì en kai mìno en to z eÐnai fantastikì. Sunep¸c
112
Oi upìloipec eujeÐec apokt¸ntai efarmìzontac th drsh twn stoiqeÐwn
iat + b
z=
ict + d
ìpou a, b, c, d ∈ R, perigrfei mia eujeÐa parllhlh sto fantastikì xona
(an c = 0) ènan kÔklo pou metasqhmatÐzetai ston eautì tou ktw apì th
migadik suzugÐa z 7→ z opìte tèmnei to fantastikì xona orjog¸nia.
r
−1
p −1 (a − b)2 1
d(ia, ib) = sinh [ (−ia ib; −ib ia)] = sinh [ ] = | log b − log a|
4ab 2
Sunep¸c en parametr soume to jetikì fantastikì hmixona me th sunrthsh
iex , h apìstash eÐnai apl h EukleÐdeia apìstash kat m koc miac eujeÐac.
III 1 kai III 3, kaj¸c kai ta axi¸mata II 1 kai II 2 mazÐ me ta axi¸mata I 2 kai
I 3.
To gegonìc ìti uprqei monadik gramm pou en¸nei dÔo diaforetik shmeÐ-
'Eqontac orÐsei tic eujeÐec thc gewmetrÐac mac (pou ìpwc eÐdame eÐnai eÐte
eujeÐec parllhlec sto fantastikì xona eÐte kÔkloi), seir èqoun oi gwnÐec.
Uprqei mia arijmhtik gwnÐa metaxÔ dÔo eujei¸n h opoÐa diathreÐtai analloÐ-
wth ktw apì th drsh thc omdac P GL2 (R), kai aut eÐnai h sun jhc gwnÐa
sto epÐpedo ( Argand) R2 = C. Autì sumbaÐnei diìti oi metasqhmatismoÐ
az + b
z 7→
cz + d
eÐnai olìmorfoi, sunep¸c ìpwc gnwrÐzoume apì th migadik anlush diathroÔn
tic gwnÐec. Autì arkeÐ gia na proume to axÐwma III 4. MporoÔme bèbaia na
113
Apìdeixh: Apì thn Prìtash 16.3.1 kje hmieujeÐa, mèsw thc drshc enìc
iat + b
ρ(it) = = is, ∀t ≥ 1
ict + d
apì to opoÐo èpetai ìti c=0 kai b = 0. En ρ(i) = i, tìte a/d = 1, opìte to
zontai kai oi llec dÔo hmieujeÐec apì ta jewroÔmena dÔo zeÔgh hmieujei¸n.
(sthn kajemi pleur miac dosmènhc hmieujeÐac...), pou anagrfetai sto axÐ-
wma III 4. Oi metasqhmatismoÐ thc omdac P GL2 (R) diathroÔn tic pleurèc
thn gwnÐa sthn antÐjeth pleur thc hmieujeÐac ja qreiazìmastan èna genikì-
z 7→ −z
(−z − w; −w − z) = (z w; w z)
En dÔo trÐgwna me korufèc èstw ta shmeÐa tou nw migadikoÔ hmiepipèdou
z0 , z1 , z2
w0 , w1 , w2 antÐstoiqa, èqoun d(z0 , z1 ) = d(w0 , w1 ) kai oi gwnÐec
kai
twn koruf¸n z0 kai w0 eÐnai suzugeÐc, tìte, (pijanìn met apì mia katllhlh
114
anklash), apì thn Prìtash 16.3.1 èpetai ìti uprqei monadikìc metasqhma-
apeikonÐzei thn hmieujeÐa pou dièrqetai apì ta shmeÐa z0 kai z2 sthn hmieujeÐa
fantastikì xona.
115
17 Parrthma
thc omdac, tou daktulÐou, tou s¸matoc, tou dianusmatikoÔ q¸rou, thc (gram-
Orismìc 1. 'Estw to zeÔgoc (G, ∗) pou apoteleÐtai apì èna mh-kenì sÔ-
xhc ∗), e ∗ g = g ∗ e = g , ∀g ∈ G.
gia to opoÐo isqÔei ìti
0
(g). Gia kje stoiqeÐo g ∈ G uprqei stoiqeÐo g ∈ G pou lègetai summetrikì
0 0
stoiqeÐo tou g (wc proc thn prxh ∗), tètoio ¸ste g ∗ g = g ∗ g = e.
ParadeÐgmata omdwn apoteloÔn ta zeÔgh (Z, +), (R, +), (C, +), dhlad
116
lioc lègetai antimetajetikìc daktÔlioc. En uprqei oudètero (monadiaÐo)
daktÔlioc me monda.
ParadeÐgmata daktulÐwn eÐnai ta (Z, +, ·), (R, +, ·), (C, +, ·), dhlad ta
Dhlad s¸ma eÐnai ènac metajetikìc daktÔlioc me monda tou opoÐou ìla
migadik¸n arijm¸n efodiasmèna me tic gnwstèc prxeic thc prìsjeshc kai tou
pollaplasiasmoÔ.
ìti λ, µ ∈ F kai a, b ∈ V ):
• λ · (a + b) = λ · a + λ · b
• (λ + µ) · a = λ · a + µ · a
• (λµ) · a = λ · (µ · a), ìpou sthn arister parènjesh ennoeÐtai o pollapla-
apoteloÔn ta sÔnola twn eleÔjerwn dianusmtwn tou epipèdou kai tou q¸rou.
117
Orismìc 5. Mia pentda (F, V, +, ∗, ·) apoteloÔmenh apì èna s¸ma F, èna
mh-kenì sÔnolo V, dÔo eswterikèc prxeic + kai ∗ sto V (pou ja tic lème
antÐstoiqa prìsjesh kai pollaplasiasmì qwrÐc kat' angkh na tautÐzontai me
∀f, g ∈ V .
shc) apoteloÔn ta sÔnola Mn (R), (gia n∈N me 1 < n < ∞), twn n×n
pragmatik¸n tetragwnik¸n pinkwn me prìsjesh th gnwst prìsjesh twn
Gia na d¸soume ton orismì thc emfÔteushc kai thc embptishc, prèpei na
paraktw orismì:
kje for (apì ton orismì faÐnetai kajar pwc kje sÔnolo epidèqetai pol-
118
lèc topologÐec). Ta mèlh thc T lègontai anoiqt uposÔnola tou sunìlou X.
An sto sÔnolo
R orÐsoume wc anoikt uposÔnola ta gnwst anoikt dia-
st mata (x−, x+) me kèntro kpoio tuqaÐo shmeÐo x ∈ R kai aktÐna , ìpou
aktÐna .
mporeÐ na gÐnei sunolik ( globally) all mìnon topik ( locally), tìte ja lème
3
ìti h epifneia eÐnai embaptismènh ston R .
teujoÔn ston R3 eÐnai h epifneia Boy pou eÐdame (to pragmatikì probolikì
epÐpedo) kaj¸c kai h filh Klein. To prìblhma sun jwc ofeÐletai sto ìti
aut apotugqnei na eÐnai sunolik 1-1, gia pardeigma sthn epifneia Boy
uprqei èna legìmeno triplì shmeÐo pou katastrèfei thn sunolik kataskeu
(all tautìqrona knei thn melèth thc topologÐac twn epifanei¸n polÔ pio
endiafèrousa)!
Tèloc shmei¸noume pwc uprqei kai lloc isodÔnamoc orismìc gia thn em-
seic jewrÐac pollaplot twn pou xepernoÔn ton skopì tou en lìgw maj matoc
119