You are on page 1of 3

Assiomi di Hilbert

Nel 1899, David Hilbert scrisse il suo Grundlagen der 1.3 II. Assiomi di ordinamento
Geometrie, in cui dava una sistemazione assiomatica alla
geometria euclidea. 1. Se un punto A sta tra B e C, A sta anche tra C e B,
ed i tre punti sono allineati

2. Dati due punti distinti A e B, esistono un terzo e un


1 Gli assiomi quarto punto C e D sulla retta passante per A e B tali
che A sta tra C e B e B sta tra A e D
1.1 Concetti primitivi
3. Dati tre punti distinti e allineati, ce n' esattamente
I concetti primitivi sono il punto, la retta, e il piano. Ci uno che giace tra gli altri due
sono anche tre relazioni binarie primitive: 4. Assioma di Pasch: siano dati tre punti A, B e C non
allineati, contenuti in un piano p, ed una retta d con-
Contiene: un punto pu essere contenuto in una retta tenuta in p non contenente nessuno dei tre punti A,
o in un piano, ed una retta pu essere contenuta in B, C: se d contiene un punto del segmento AB, allo-
un piano; ra contiene anche un punto di uno dei due segmenti
AC e BC.
Stare in mezzo: un punto pu stare in mezzo ad altri
due;

Congruenza, indicata con il simbolo "": angoli e


1.4 III. Assiomi di congruenza
segmenti possono essere congruenti.
1. Se A, B sono due punti di una retta a ed inoltre A'
un punto sulla stessa retta ovvero su un'altra a', si
Il segmento fra due punti A e B denito come la porzione pu sempre trovare un punto B', da una data parte
di retta compresa tra i punti A e B (inclusi A e B). della retta a' rispetto ad A', tale che il segmento AB
Diciamo che dei punti sono allineati se sono contenuti in sia congruente, ovvero uguale, al segmento A'B'. In
una retta, complanari se sono contenuti in un piano. simboli: AB A'B'.

2. La relazione di congruenza tra segmenti transitiva,


1.2 I. Assiomi di collegamento cio se AB e AB sono congruenti ad AB, allora
AB AB.
1. Due punti distinti dello spazio individuano una retta.
3. Siano AB e BC segmenti su una retta r privi di punti
2. Ogni coppia di punti di una retta individua tale retta. interni comuni, e siano AB e BC segmenti su una
retta r privi di punti interni comuni. Se AB AB
3. Tre punti non allineati dello spazio individuano un e BC BC, allora AC AC.
piano.
4. Sia ABC un angolo e B'C' una semiretta, esisto-
4. Qualsiasi terna di punti non allineati di un piano no e sono uniche due semirette B'D e B'E, tali
individua tale piano. che l'angolo DB'C' congruente all'angolo ABC et
l'angolo EB'C' congruente all'angolo ABC.
5. Se due punti di una retta giacciono su un piano tutti
i punti della retta giacciono su quel piano. 5. La relazione di congruenza tra angoli transitiva,
cio se ABC e ABC sono congruenti ad ABC,
6. Se due piani hanno un punto in comune avranno allora ABC ABC.
almeno un secondo punto in comune.
6. Se per due triangoli ABC e ABC si ha che AB
7. Ogni retta contiene almeno due punti, ogni piano AB, AC AC, e l'angolo BAC all'angolo BAC,
contiene almeno tre punti non allineati, ed esistono allora tutto il triangolo ABC al triangolo ABC.
almeno quattro punti non complanari.

8. Esistono almeno quattro punti che non giacciono Corollario del punto 1: ogni segmento congruente a s
sullo stesso piano. stesso.

1
2 3 BIBLIOGRAFIA E RIFERIMENTI

Corollario del punto 4: ogni angolo congruente a s


stesso.

1.5 IV. Assioma delle parallele


1. (Postulato di Playfair): Dati una retta r, un punto A
non in r, ed un piano p contenente entrambi, esiste
al pi una retta in p contenente A e non contenente
nessun punto di r.

L'esistenza di almeno una retta per A che non interseca r


pu essere dimostrata e quindi non necessaria in questo
sistema assiomatico, se consideriamo una geometria eu-
clidea. necessario precisare che in una geometria sferi-
ca o ellittica le rette parallele non esistono, ma il postulato
rimane corretto grazie alla sua formulazione.

1.6 V.Assiomi di continuit


1. (Assioma di Archimede). Se AB e CD sono due
segmenti qualsiasi, allora esiste sulla retta conte-
nente AB una famiglia di punti A, A, ,An tali
che i segmenti AA, AA, AA, , An-1An, sono
congruenti a CD e tali che B giace tra A e An.
2. (Assioma di completezza ). Ad un sistema di punti,
rette e piani impossibile aggiungere altri elementi
geometrici in modo che il sistema cos generalizzato
formi una nuova geometria obbediente a tutti i venti
assiomi precedenti. In altre parole gli elementi della
geometria formano un sistema che non suscettibile
di estensione, ammesso che si considerino validi i
venti assiomi del sistema assiomatico di Hilbert.

2 Voci correlate
Elementi (Euclide)
Geometria

Grundlagen der Geometrie

3 Bibliograa e Riferimenti
David Hilbert, Grundlagen der Geometrie, 7 edizio-
ne, 1930

http://www.gutenberg.org/files/17384/17384-pdf.pdf
3

4 Fonti per testo e immagini; autori; licenze


4.1 Testo
Assiomi di Hilbert Fonte: https://it.wikipedia.org/wiki/Assiomi_di_Hilbert?oldid=70822868 Contributori: Davide, Blakwolf, .mau., Win,
TierrayLibertad, Pokipsy76, ACiD.HouSe, YurikBot, Chobot, CruccoBot, Lellats, Ylebru, Roberto.zanasi, Paulatz bot, SashatoBot, Per-
sOnLine, LiljaBot, Filbot, .anacondabot, Toobazbot, TXiKiBoT, YonaBot, Phantomas, Pracchia-78, FixBot, Ido.borsini, Luckas-bot,
Amirobot, AttoBot, Xqbot, Euphydryas, Rubinbot, Giupipino, Muale, WikitanvirBot, ValterVBot e Anonimo: 13

4.2 Immagini
File:Math.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/e/eb/Math.svg Licenza: Public domain Contributori: Opera
propria Artista originale: Johannes Rssel (talk)

4.3 Licenza dell'opera


Creative Commons Attribution-Share Alike 3.0