Axiomas de Birkhoff
Taller de Geometrı́a y Topologı́a
Miguel Ortega Titos
Curso 2016-2017
Elementos y relaciones indefinidos:
1. Puntos A, B , ...
2. Conjuntos de puntos llamados rectas, m, n, ...
3. Distancia entre dos puntos d(A, B), que es un número real no negativo tal que d(A, B) =
d(B, A).
4. ángulo formado por tres puntos distintos y ordenados O , A, B ; la cantidad ∠AOB es un
número real (módulo 2π ). El punto O es el vértice del ángulo.
Postulado I: Dada una recta m, existe una biyección χm : m −→ R tal que para cualesquiera
dos puntos A y B de m, |χm (A) − χm (B)| = d(A, B).
Definiciones:
1. Un punto B está entre A y C (A 6= C ) si d(A, B) + d(B, C) = d(A, B).
2. Los puntos A y C , junto con todos los puntos que están entre A y C forman el segmento
AC .
3. Si A, B y C son tres puntos distintos, los tres segmentos AB , AC y BC forman el triángulo
∆ABC de lados los segmentos anteriores y vértices los puntos. Si A, B y C están en la
misma recta, se dice ∆ABC es degenerado.
Postulado II: Por dos puntos distintos pasa una única recta.
Definiciones:
1. Dos rectas distintas se dicen paralelas si no se cortan en ningún punto.
2. Una recta es paralela a sı́ misma.
Postulado III: El conjunto de las semirrectas de origen O se puede poner en correspondencia
biyectiva con el conjunto de los números reales (mod 2π ),
a : {Semirrectas de origen O } −→ R mod 2π,
1
Axiomas de Birkhoff 2
de manera que si A y B (distintos de O ) son puntos de las semirrectas m y n de origen O ,
respectivamente, entonces la cantidad an − am (mod2π) = ∠AOB . Además, si el punto B (de la
semirrecta n) varı́a en una recta r que no pasa por O , el número an también varı́a continuamente.
Definiciones:
1. Se dice que dos semirrectas m y n de origen O forman un ángulo llano si ∠mOn ≡ π .
2. Se dice que dos semirrectas m y n de origen O forman un ángulo recto si ∠mOn ≡ ±π/2,
en cuyo caso también se dice que m y n son perpendiculares.
Postulado IV: Dados dos triángulos ∆ABC y ∆A0 B 0 C 0 y una constante k > 0, si se cumple
d(A0 , B 0 ) = kd(A, B), d(A0 , C 0 ) = kd(A, C) y ∠B 0 A0 C 0 = ±∠BAC , entonces también se cumple
d(B 0 , C 0 ) = kd(B, C), ∠C 0 B 0 A0 = ±∠CBA y ∠A0 B 0 C 0 = ±∠ABC .
Definiciones:
1. Dos figuras geométricas se dicen semejantes si existe una biyección entre los puntos de
ambas tal que todas las correspondientes distancias están en la misma proporción k > 0 y
los correspondientes ángulos son iguales en valor absoluto.
2. Dos figuras geométricas se dicen iguales o congruentes si son semejantes para k = 1.
Miguel Ortega Titos Dept. Geometrı́a y Topologı́a