Documente Academic
Documente Profesional
Documente Cultură
Teorii axiomatice
“Orice cunoastere incepe cu intuitia, se
introduc notiuni si se incheie cu idei”
(Kant)
1. Necesitatea axiomatizării geometriei.
Motivaţii: - ştiintifice (sistem deductiv, clasificarea diferitelor
geometrii...)
- didactice (când şi cum prerdăm geometria euclidiană ?)
Definiţii ale geometriei euclidiene (Gh.Vranceanu, Rene Thom,
Eistein,R.Miron…)
Istoric: - Euclid (Scoala de la Alexandria ~323 BC, Oxford 1703)
- Lobacevski (1829) - Bolyai (1831)
- Felix Klein ( Programa de la Erlangen -1872)
- David Hilbert ( Axiomatca geom. euclidiene – 1899)
Cursul - 2
Sistemul axiomatic al lui Hilbert,
pentru Geometria euclidiana
1
Cursul – 3
Grupa a III-a (Axiome de congruenţă)
Relatii primare: ’’≡’’
lABl ≡ lCDl şi se citeşte ,, segmentul AB este congruent
cu segmentul CD .
(h,k) ≡ (h’,k’) - unghiul (h,k) este congruent cu unghiul (h’,k’)
• III3 Dacă A–B-C, A’-B’-C’, AB A' B' şi BC B 'C ' atunci AC A'C '
Cursul - 6
Sistemul axiomatic al lui Birkhoff
Avantaje:
- număr mai mic de axiome
- practic din punct de vedere didactic
Se presupun cunoscute:
- th. naivă a multimilor si logica uzuală
- th. numerelor reale
SB ={ N, R , A }
N : punct, dreaptă, plan, distantă “”, masură “m”
R : “” , ( operaţiile din R , simbolurile logice , , , , )
A: B1 – B13
Notam cu S – spaţiul pe cre il organizăm
Cursul – 7
Algebră vectorială
I. Spatiul geometric al vectorilor liberi
Fie E3 spatiul geometriei lui Euclid
M = E3xE3 ={ (A,B) = AB / A,B E3 } – multimea bipunctelor, si relatia “~”…
M/~ = { (A,B) = AB |A,B E3} =: V3 , multimea vectorilor liberi AB AB
vector nul, vector unitate
Vectori coliniari, coplanari
“ + “ : V3 V3 V3 , (u,v) u +v
: R V3 V3 , (,v) = v , (V3,+, )- sp. vectorial real
Combinatie liniara finita, liniar dependenta, liniar independeta, sistem
de generatori, baza, dimensiune
Definitia 1. Numim spatiu afin tripletul (A , V, ), in care A este o multime nevida de
puncte, V un spatiu vectorial si : A A V care satisface proprietatile :
A1) (A,B) + (B,C) = (A,C) , A,B A
A2) v V, A A, exista un punct B A, unic determinat de (A,B) = v .
Cursul 8
Transformări geometrice
Definitia 1. Se numeşte transformare pe multimea M , o corespondenţă
bijectivă T : M → M.
(M , .) – grup , (T1T2 )(x) = (T1 o T2 )(x)
F M se numeste element fix al transformarii T , dacă T(F) = F
Dacă M este inzestrată cu o anume structură geometrică, atunci T va fi numită
transformare geometrică .
Daca G M este un subgrup, atunci (M, G) va fi numit spatiu geometric sau spatiu cu
grup fundamental.
M – spatiu fundamental , elementele se vor numi puncte
G – grup fundamental , elementele se vornumi transformari geometrice
Simetria centrală :
Fie Po(xo,yo) – centrul de simetrie, M(x,y) PE un punct
oarecare şi M’(x’,y’) simetricul punctului M faţă de Po
1
OP (OM
0 OM ')
2
x x' y y'
x
0 , y
0 ecuatiile simetriei centrale
2 2
x' 2 x x
1
0
' 2 y
y 0 y
x' x x
Translaţia :
2
0
y' y y 0
Observatii:
1o Relatia (1) O – M - M’ , (O,M’)=k (O,M)
2o h(O) = O, O este punct fix
3o Pentru k > 0 avem omotetia directă, k = 1 h=id
k< 0 avem omotetia indirectă, k = -1 h=s0
Proprietati:
1) Orice omotetie este o aplicatie bijectivă cu h-1O,k-1
2) h: d d’// d, O d
3) h: /AB/ /A’B’/ // /AB/ si /A’B’/ =k /AB/
4) C(C,r) C(C’,kr) , O C
Cursul 12
Invesiuni in planul euclidian
Fie un punct fix P PE si numarul pozitiv k R.
Definitia 1. Se numeste inversiune de pol P si putere k aplicatia
I kP :PE \ {P} PE \ {P} cu proprietatile
1) daca M’ = I(M), punctele P, M, M’ sunt coliniare si P [MM’]
2) PM ·PM’ = k .
Observatie.
Se poate defini si inversiunea de putere nagativa k < 0, caz in care
avem M – P – M’ si PM ·PM’ = - k ( IP-k = sP·IPk)
Vom considera k > 0.
Submultimi invariante:
PM
I(M) = M PM PM = k PM = k ° ° ° M’
C(P, k) - cercul de inversiune
Determinarea geometrica a inversului unui punct
Cursul 13
Spatii Klein
Consideram mulţimea de puncte M şi un grup de transformari G pe
multimea M .
Definitia 1. Se numeste spaţiu Klein sau spaţiu geometric cu grup fundanental
perechea ( M, G ).
M – spaţiu fundamental (puncte), G – grup fundamental (miscări)
F F’ tG asa incat t ( F ) = F’
F- figură, [F] - figură concretă sau configuraţie
Cursul 14
Planul lui Lobacevski
Fie in planul proiectiv P2 , conica ovala ( ): x1 x 2 x 3 0 si PL=int( ).
2 2 2
MQ MR
( M , N ; Q, R ) : ln(M,N;Q,R)
NQ NR > 0 are sens
(1) L ( M , N ) c ln M , N ; Q, R
C – constanta pentru orice dreapta (QR) .