Sunteți pe pagina 1din 4

1

SISTEMUL AXIOMATIC AL LUI HILBERT



Sistemul axiomatic al lui Hilbert constituie o teorie semiformalizat. Sistemul axiomatic al lui
Hilbert prezint urmtoarele avantaje:
- Nu folosete elemente exterioare geometriei;
- Axiomele sunt grupate n mod natural;
- Dezvoltarea teoriei este fcut n mod gradat i sistematic;
- Surprinde partea comun a geometriilor euclidian i hiperbolic;
- Satisface problemele de metateorie:necontradicie, minimalitate, completitudine,
categoricitate.
Noiunile primare sunt: punct , dreapt, plan, iar relaiile primare sunt: incidena, a fi ntre,
congruena.
Punctele vor fi notate cu A, B, C,..., dreptele cu a, b, c,..., iar planele cu , , ,..., o | incidena
va fi semnalat prin simbolul de apartenene, relaia a fi ntre prin succesiunea de liniue - -, iar
congruena prin semnul .
Axiomele sunt n numr de 20 i sunt grupate n cinci grupe; primele trei grupe sunt
consacrate succesiv celor trei relaii fundamentale iar ultimile dou grupe impun condiii
suplimentare prin intermediul unor noiuni derivate.
Formularea dat de Hilbert axiomelor evit complet teoria mulimilor i acesta este un
avantaj de natur stiinific a sistemului deoarece deoarece analiza sa metateoretic nu este
influenat de existena sau de neexistena unei teorii deductive necontradictorii pentru mulimi.
Sistemul axiomatic al geometriei nu justific nici o modalitate de ilustrare a noiunilor
geometrice.

Grupa I-a de axiome (de apartenen)
Relaia primar ce intervine n aceste axiome este incidena. Vom asimila o dreapt d prin
mulimea punctelor incidente dreptei i vom nlocui exprimarea punctul A este incident dreptei d
prin A aparine lui d. Complet analog, vom asimila un plan prin mulimea punctelor incidente lui.
Apare firesc i relaia derivat: incluziunea, ce beneficiaz de definiia: dreapta d este inclus n
planul dac orice punct incident al dreptei d este incident planului .
Cele opt axiome de apartenen sau de inciden sunt:
I1. Fiind date dou puncte exist cel puin o dreapt la care ele aparin.
I2. Pentru orice dou puncte distincte exist cel mult o dreapt incident lor.
2

I3. Fiecrei drepte i aparin cel puin dou puncte. Exist trei puncte nct nici o dreapt nu
poate fi incident tuturor acestor puncte.
I4.Fiind date trei puncte exist cel puin un plan incident incident lor. Pentru orice plan exist
mcar un punct care i aparine.
I6.Dac dou puncte distincte ale unei drepte aparin unui plan, atunci orice punct al dreptei
aparine acelui plan.
I7. Dac dou plane au un punct comun care s le aparin simultan, atunci ele mai au cel puin
nc un punct cu aceast proprietate.
I8. Exist patru puncte nct nici un plan nu este incident tuturor acestor puncte.
Aceste axiome se pot reformula folosind relaii derivate precum cele de mai jos.
Astfel dou sau mai multe puncte se numesc coliniare dac aparin unei drepte i se numesc
coplanare dac aparin unui plan. Dou drepte distincte care au un punct comun se numesc
secante.trei sau mai multe drepte se numesc concurente dac exist un punct care le aparine.
Dac punctele unei drepte aparin unui plan se spune c dreapta este coninut n acel plan.
Consecine imediate:
Propoziia 1.1. Pentru orice dreapt d, exist mcar un punct A neincident ei.
Propoziia 1.2. Pentru orice plan , exist mcar un punct A o e .
Propoziia 1.3. Oricare ar fi punctele A i B, exist o singur dreapt a, nct A a, B a.
Propoziia 1.4. Oricare ar fi punctele A , B i C necoliniare, exist un singur plan incident lor.
Propoziia 1.5. Dou drepte distincte au cel mult un punct comun.
Propoziia 1.6. Dou plane distincte care au un punct comun, au o dreapt i numai una n comun.
Propoziia 1.7. Dou plane distincte au cel mult o dreapt n comun.
Propoziia 1.8. O dreapt a i un plan pot avea urmtoarele poziii relative: a o c ; a i au un
singur punct comun; a i nu au nici un punct comun.
Propoziia 1.9.Date fiind o edreapt a i un punct A care nu-i aparine, exist un singur plan cu
proprietile a o c i A o e .
Propoziia 1.10. Pentru orice plan exist mcar trei puncte necoliniare care i aparin.

Grupa a II-a de axiome (de ordine)
Aceast grup este intitulat grupa axiomelor de ordonare i cuprinde patru axiome. Se
consider aici o nou relaie primar care se refer la calitatea unui punct de a fi ntre alte dou
puncte.
3

II
1
. Dac punctul B este ntre punctele A i C, atunci punctele A, B, C sunt coliniare distincte i punctul
B este i ntre punctele C i A.
II
2
. Pentru orice dou puncte distincte A i B exist mcar un punct C coliniar cu A i B nct punctul B
este ntre punctele A i C.
II
3
. Dintre trei puncte, distincte dou cte, cel mult unul este ntre celelalte dou.
II
4
.(Axioma lui Pasch) Pentru trei puncte necoliniare A,B,C i orice dreapt a din planul lor, la care nu
aparine nici unul dintre punctele A, B, C, dac pe a exist un punct care se afl ntre dou dintre
punctele A, B, C, atunci pe a exist cel puin nc un punct care se afl ntre alte dou dintre punctele
A, B, C.
Pentru situaia c B este ntre A i C folosim notaia A-B-C sau B AC e . Numim segment o pereche
neordonat de puncte {A, B}. Numim triunghi o tern neordonat de puncte necoliniare A,B,C.
Consecine imediate:
C
1
. Orice segment AB cu AB are puncte interioare.
C
2
. Pentru orice puncte A,B,C coliniare i distincte dou cte dou unul i numai unul se afl ntre
celelalte dou.
C
3
. Fie ABC un triunghi i a o dreapt din planul su neincident cu nici un vrf. Dac a taie n interior
una dintre laturile triunghiului atunci ea mai taie n interior una i numai una dintre celelalte dou
laturi.

Grupa a III-a de axiome (de congruen)
Cele cinci axiome ale acestei grupe se refer la relaia primar de congruen.
III
1
. Pentru orice segment nenul AB i orice semidreapt h cu originea un punct oarecare A, exist cel
puin un punct B pe h aa ca ABAB.
III
2
. Dac ABCD, ABCD, atunci AB AB.
III
3
. Dac A-B-C, A-B-C, AB AB, BCBC, atunci ACAC.
III
4
. Pentru orice unghi nealungit orice semiplan determinat de o dreapt a ntr-un plan i orice
semidreapt h a dreptei a exist o singur semidreapt k n , (cu aceiai origine ca h) nct
( , ) ( ' ') h k h k s s . Orice unghi este congruent cu el nsui.
III
5
. Dac ABC, ABC sunt dou triunghiuri pentru care AB AB, ACAC, ' ' ' BAC B A C s s
atunci ' ' ' ABC A B C s s .


4

Grupa a IV-a de axiome.
Cuprinde dou axiome numite de continuitate.
Axioma IV
1
(Axioma lui Arhimede) Oricare ar fi segmental nenul AB i segmental CD, exist
*
n N e i
punctele C
0
=C,C
i-1
-C
i
-C
i+1
,C
i
C
i+1
AB(i=1,2,,n-1) i D=C
n-1
sau C
n-1
-D- C
n
.
Axioma IV
2
(Axioma lui Cantor)Pentru orice ir infinit de segmente

{ }
n n
n N
A B
e
ale unei drepte a, cu
proprietatea c
i i
AB este inclus n interiorul segmentului
1 1 i i
A B

pentru toi i=1,2,... i nu exist nici
un segment care s se gseasc n interiorul tuturor segmentelor din irul considerat, exist pe a un
punct M care aparine interiorului fiecrui segment din ir.
Propoziie. Punctul M care figureaz n axioma lui Cantor este unic.

Grupa a V-a de axiome
Aceast grup cuprinde o singur axiom, numit axioma paralelelor.
Definiie. Dou drepte se numesc paralele dac ele aparin aceluiai plan i nu au nici un punct
comun sau coincid.
Axioma V. Printr-un punct A exterior unei drepte a (n planul determinat de A, a) exist cel mult o
paralel la dreapta a.


Bibliografie
Miron,R.,Brnzei,D.,1983,Fundamentele aritmeticii i geometriei, Editura Academiei, Bucureti
Brnzei,D.,Onofra, E.,Ania,S., Isvoranu,Ghe.,1983, Bazele raionamentului geometric, Editura
Academiei, Bucureti