Axiomes de Hilbert

De Viquipèdia
Dreceres ràpides: navegació, cerca

Els axiomes de Hilbert són un conjunt de 20 (originalment 21) hipòtesis proposades per David Hilbert el 1899 com el fonament per a un tractament modern de la geometria euclidiana. Altres axiomatizar modernes ben conegudes de la geometria euclidiana són les degudes a Alfred Tarski ja George Birkhoff.

Els axiomes[modifica | modifica el codi]

El sistema axiomàtic de Hilbert es compon de nou nocions primitives: tres termes primitius

i sis relacions primitives:

  • Ordre, una relació ternària entre punts;
  • Pertinença, tres relacions binàries, una d'elles entre punts i rectes, una altra entre punts i plans, i una altra entre rectes i plans;
  • Congruència, dues relacions binàries, una entre segment si una altra entre angle s, denotades per  \cong .

Noteu que els segments i els angulos (així com els triangles) no són nocions primitives, sinó que es defineixen en termes de punts i rectes utilitzant les relacions d'ordre i pertinença. Tots els punts, rectes i plans en els subsecuentes axiomes són diferents llevat que s'indiqui el contrari.

I. Incidència[modifica | modifica el codi]

  1. Dos punts diferents  A i  B determinen una única recta  a . Denotem  AB = a o  BA = a . En lloc de "determinen", es pot dir: " A és a  a ", " A és un punt de  a ","  a passa per  A i  B ","  a uneix  A amb  B ", etc. Si  A és a  a i al mateix temps en una altra recta  b , es diu també "Les rectes  a i  b tenen el punt  A en comú ", etc.
  2. Dos punts qualsevol d'una recta la determinen per complet, és a dir, si  AB = a i  AC = a , on en general  \scriptstyle B \neq C , aleshores  BC = a al seu torn.
  3. Tres punts  A ,  B i  C no situats en una mateixa recta determinen un pla  \alpha . Es denota  ABC = \alpha , i es diu " A ,  B i  C jeuen en  \alpha ", etc.
  4. Tres punts qualssevol  A ,  B i  C del pla  \alpha no situats en una mateixa recta determinen per complet a  \alpha .
  5. Si dos punts  A ,  B de la recta  a jeuen en el pla  \alpha , llavors tot punt de  a rau en  \alpha . En aquest cas es diu "la recta  a rau en el pla  \alpha ", etc.
  6. Si dos plans \alpha, \beta tenen un punt  A en comú, llavors tenen almenys un altre punt  B en comú.
  7. A cada recta hi ha almenys dos punts, en cada pla hi ha almenys tres punts no situats en la mateixa recta, i hi ha almenys quatre punts no situats en un mateix pla.

II. Ordre[modifica | modifica el codi]

  1. Si un punt  B està entre els punts  A i  C , també està llavors entre  C i  A , i hi ha una recta que conté a tots tres.
  2. Si  A i  C són dos punts d'una recta, hi ha almenys un altre punt  B entre  A i  C , i almenys un punt  D de manera que  C està entre  A i  D .
  3. Donats tres punts en una recta, només un d'ells està entre els altres dos.
  4. Donada una parella de punts  A i  B , es pot parlar llavors del segment  AB . Els punts del segment  AB són tots aquells que estan entre  A i  B . Aquests dos són els extrems del segment.
  5. Axioma de Pasch: Siguin  A ,  B i  C tres punts no situats en la mateixa recta i sigui  a una recta continguda en el pla  ABC , que no passa per cap dels tres punts esmentats. Llavors, si  a passa per algun punt del segment  AB , aleshores passa també per algun punt o bé del segment  BC o bé del segment  AC .

Pot provar llavors que donades una recta  a i un punt  A en ella, pot dividir la recta en dues  semirayos , disjunts entre si, que emanen de  A , com que la seva unió constitueix tota la recta a excepció de  A . De la mateixa manera, donats un pla  \alpha i una recta  a al, poden distingir-se en ell dos parts disjuntes, els costats de  \alpha respecte a  a , on de nou la seva unió constitueix tot el pla a excepció de  a .

III. Paral·leles[modifica | modifica el codi]

  1. En un pla  \alpha es pot trobar una única recta  b que passi per un punt donat  A , el qual no pertany a una recta donada < math> a </math>, de manera que  a i  b no tinguin cap punt en comú. Està recta es diu la paral·lela a  a que passa per  A .

IV. Congruència[modifica | modifica el codi]

Es defineix un angle com una parella de semirayos  \scriptstyle \angle (h, k) jaient en un pla  \alpha que emanen del mateix punt  O . Es demostra que es pot dividir llavors el pla en dues regions: l'interior i l'exterior de  \scriptstyle \angle (h, k) , on  h i < math> k </math> són els costats de l'angle i  O seu vèrtex. El segment entre dos punts qualssevol de l'interior està contingut per complet en aquesta regió. Això no es compleix per a una parella de punts qualssevol a l'exterior.

Un triangle queda definit per tres segments de la forma  AB ,  BC i  CA . Aquests segments són els costats del triangle, i els tres punts  A ,  B i  C són el seu vèrtexs. El triangle divideix el pla definit pels seus tres vèrtexs en interior i exterior, amb les mateixes propietats que en cas dels angulos. A l'angle definit pels dos semirayos que surten de  A i que passen per  B i  C respectivament se li denota per  \scriptstyle \angle BAC , i el seu interior conté tots els punts de l'interior del triangle  ABC .

  1. Si  A ,  B són dos punts de la recta  a , i  A ' és un punt sobre la recta  a ' (sigui aquesta igual a  a o no), s'ha de, d'una banda qualsevol de  A' a la recta  a ', hi ha un únic  B' tal que el segment  AB és congruent amb el segment  A'B ', i el denotem per  \scriptstyle AB \cong A'B '. Tot segment és congruent amb si mateix.
  2. Si un segment  AB és congruent amb el segment  A'B ' i també amb el segment  A B , llavors aquests dos últims són congruents entre si (la congruència entre segments és transitiva).
  3. Siguin  AB i  BC dos segments de la mateixa recta sense punts en comú a excepció de  B , i siguin més  A'B ' i  B'C' dos segments de la recta  a ' (sigui aquesta igual o no a  a ) sense més punts en comú que  B '. Llavors, si  \scriptstyle AB \cong A'B ' i  \scriptstyle BC \cong B'C' , s'ha de  \scriptstyle AC \cong A ' C '.
  4. Sigui un angle  \scriptstyle \angle (h, k) al pla  \alpha i sigui un recta  a ' al pla  \alpha '. Suposem que en el pla  \alpha ', s'escull un dels costats respecte a  a' . Sigui un semirayo  h ' de  a' que emana d'un punt  O ' d'aquesta recta. Llavors, en el pla  \alpha ' hi ha un únic semirayo  k' que surt de  O ' de manera que  \scriptstyle \angle (h, k) és congruent amb  \scriptstyle \angle (h ', k') , i de manera que tots els punts de l'interior de  \scriptstyle \angle (h ', k') són al costat escollit de  \alpha '. Es denota per  \scriptstyle \angle (h, k) \cong \angle (h ', k') . Tot angle és congruent amb si mateix.
  5. Si l'angle  \scriptstyle \angle (h, k) és congruent amb l'angle  \scriptstyle \angle (h ', k') i amb l'angle  \scriptstyle \angle (h, k ) , llavors aquests dos són congruents entre si.
  6. Si donats dos triangles  ABC i  A'B'C ' es té  \scriptstyle AB \cong A'B' ,  \scriptstyle AC \cong A'C ',  \scriptstyle \angle BAC \cong \angle B'A'C' , aleshores es té al seu torn  \scriptstyle \angle ABC \cong \angle A'B'C ' i  \scriptstyle \angle ACB \cong \angle A'C'B' .

V. Continuïtat[modifica | modifica el codi]

  1. Axioma d'Arquimedes. Sigui  A_1 un punt qualsevol d'una recta, situat entre els punts arbitraris  A i  B d'aquesta. Prenguin els punts  A_2 ,  a_3 ,... de tal manera que  A_1 estigui entre  A i  A_2 ,  A_2 estigui entre  A_1 i  a_3 , etc. Suposem a més que els segments  AA_1 ,  A_1A_2 ,  A_2A_3 ,... són tots congruents entre si. Llavors, en aquesta sèrie hi ha sempre un cert  a_n tal que  B està entre  A i  a_n .

Axioma de completesa[modifica | modifica el codi]

Al sistema de punts, rectes i plans, no poden afegir altres elements de manera que el sistema resultant formi una geometria nova, obeint tots els axiomes dels cinc grups. En altres paraules, els elements de la geometria formen un sistema que no és susceptible d'extensió, prengué els cinc grups d'axiomes com a vàlids.

Axioma 21[modifica | modifica el codi]

Hilbert va introduir un axioma més que diu:

II.4. Teorema de Pasch. Poden escollir quatre punts qualssevol  A ,  B ,  C i  D d'una recta de manera que  B estigui entre  A i  C i entre  A i  D , i que  C estigui entre  A i  D i entre  B i  D .

Bibliografia[modifica | modifica el codi]