Una posible Teoría Axiomática

para la Geometría Euclidiana.

Conceptos primitivos:

 Puntos
 Rectas
 Planos

 Axioma 1: Existe un conjunto E llamado espacio al cual pertenecen infinitos elementos que llamamos puntos.

 Axioma 2: Existen en E ciertos subconjuntos estrictos de infinitos puntos cada uno llamados planos.

 Axioma 3: En cada plano existen ciertos subconjuntos estrictos de infinitos puntos cada uno llamados rectas.

 Axioma 4

Versión 1: Dados dos puntos distintos, existe y es única la recta a la cual pertenecen.

Versión 2: Dos puntos distintos determinan una recta.

Observación: Determinan significa existe y es única

Definición de Figura: Llamaremos figura a cualquier conjunto de puntos.

Definición de alineación: Se dice que un conjunto de puntos está alineado si todos pertenecen a una misma recta

 Axioma 5

Versión 1: Dados tres puntos no alineados, existe y es único el plano al cual pertenecen

Versión 2: Tres puntos no alineados determinan un único plano al cual pertenecen.

 Axioma 6: Si dos puntos de una recta pertenecen a un plano dicha recta está incluida en ese plano.

Definición de rectas secantes Dos rectas se llaman secantes si tienen uno y solo un punto de intersección.

Definición de Figuras coplanares Se dice que un conjunto de puntos o figuras son coplanares si están incluidas en
un mismo plano.

Definición de rectas paralelas: Se dice que dos rectas son paralelas si son coplanares y no son secantes.

Otra versión: Se dice que dos rectas son paralelas si son coincidentes o si son coplanares y su intersección es
vacía.

 Axioma 7: Axioma de Euclides o de Paralelismo

Por un punto existe y es única la recta paralela a una recta dada.

 Axioma 8: Axioma de orden en la recta

 La relación “preceder” definida en el conjunto de puntos de una recta es de orden total o sea cumple con
las propiedades:
 Tricotomía: Para todo par de puntos A y B de una recta se cumple que:

A precede a B o B precede a A o A es B.

Transitiva: Si tres puntos de una recta cumplen que A precede a B, B precede a C entonces A
precede a C.
 Una recta no tiene ni primero ni último punto.
 Para todo par de puntos de una recta existe otro punto de ella entre ambos
Definición de Semirrecta: Una semirrecta es un conjunto formado por un punto de una recta y todos los puntos de
dicha recta que le siguen o que le preceden.

Definición de segmento: es el conjunto formado por dos puntos de una recta y los puntos de ella que están entre
ambos

Axioma 9: Axioma de partición del plano

Toda recta (r) de un plano α, clasifica a los puntos de α que no pertenecen a (r) en dos conjuntos β y β´ que
cumplen:

 r, β y β´ es una partición de α. Es decir los conjuntos antes mencionados : No son vacíos, son disjuntos 2
a 2 y la unión de todos es α.
 El segmento determinado por un punto de β y otro de β´ tiene un punto y solo uno en (r).
 El segmento determinado por dos puntos de β o dos puntos de β´ no tiene ningún punto en (r)

Definición de semiplano Dada una recta (r) incluida en un plano α, un semiplano de borde la recta (r) es el conjunto
formado por los puntos de la recta y todos los puntos de una de las regiones que según el axioma de partición del
plano, la recta (r) determina en α.

Los axiomas anteriores son algunos de todos los que conforman la teoría axiomática, conforme al desarrollo del
curso se irán agregando los que faltan.

Es importante considerar que son los “clásicos” de la geometría euclidiana pero hay otros que permiten la
caracterización de la misma.