Unidad 7: Términos Primitivos

Resumen

Los términos o nociones primitivas son los conceptos que sirven para iniciar el desarrollo de una
teoría matemática. De un modo intuitivo, podemos pensar que se trata de las palabras con las que
se inicia una de esas teorías.

La axiomatización de una teoría requiere de un conjunto de nociones primitivas, es decir nociones

no definidas y un grupo de axiomas que describen las propiedades mínimas que deben satisfacer
las nociones primitivas. A partir de estos elementos, respetando las reglas de inferencia lógica, se
deben deducir todas las otras proposiciones que constituyen la teoría. Es deseable que los
axiomas y nociones primitivas tengan un gran contenido intuitivo.

Aquí encontrará los postulados y las definiciones básicas de la geometría clásica tal como
aparecen en el libro Elementos escrito por Euclides en el siglo III A. C. Considerando el tiempo en
que fue escrito, muchos conceptos y axiomas no fueron explicitados con la rigurosidad que exige la
lógica de hoy, y más bien respondían, en algunos casos a la intuición. Estos vacíos lógicos fueron
un motivo para que muchos matemáticos se dedicaran a elaborar una presentación axiomática
adecuada. Uno de tales intentos fue el desarrollado por David Hilbert (1862 – 1943) y del cual
también, se enuncian los elementos básicos.

Desarrollo del contenido

Los Elementos de Euclides es considerado uno de los libros más influyentes de la historia de la
ciencia.
Cuenta Mosterín [5] que desde la introducción de la imprenta se han impreso más de mil ediciones
y ha sido usado como texto hasta comienzos del siglo XX. Por otra parte, se considera el inicio de
un intento de presentación formal de una teoría. La presentación de Euclides, comienza, en el
Libro I, con cinco nociones comunes, cinco axiomas o postulados y 23 definiciones, ver [1]. A partir
de esto deduce las 48 proposiciones que componen el Libro I. Pese a esta formalidad, desde el
punto de vista lógico hay continuas mezclas entre lo estrictamente formal y lo intuitivo.

Actualmente, la axiomatización de una teoría requiere de un conjunto de nociones primitivas, es

decir nociones no definidas y un grupo de axiomas que describen las propiedades mínimas que
deben satisfacer las nociones primitivas. A partir de estos elementos, respetando las reglas de
inferencia lógica, se deben deducir todas las otras proposiciones que constituyen la teoría. Es
deseable que los axiomas y nociones primitivas tengan un gran contenido intuitivo.

Volviendo al problema de la geometría, las nociones de punto y recta son nociones primitivas, sin
embargo Euclides las “define” dando una idea intuitiva. En cambio, Hilbert [2, 3], usa como
nociones primitivas: punto, recta, plano, incidencia, estar entre y congruencia. El matemático
italiano Pieri, publicó en la misma época de Hilbert, 1899, una axiomatización que usa sólo dos
nociones primitivas: punto y movimiento, [6]. Observando la presentación de Hilbert podemos
apreciar que no era tan simple axiomatizar la geometría euclidiana.

Aprender matemática resolviendo problemas Nº 1

CONCEPTOS ELEMENTALES DE GEOMETRÍA SEGÚN LA PRESENTACIÓN DE EUCLIDES

Axiomas o Postulados

1. “Trazar una línea recta desde cualquier punto a cualquier otro punto”.
2. “Prolongar a una línea recta cualquier segmento rectilíneo”.
3. “Describir un círculo con cualquier centro y radio”.
4. “Todos los ángulos rectos son iguales entre sí”
5. “Si una línea recta que incide sobre dos líneas rectas dadas produce ángulos internos del
mismo lado menores que dos rectas, entonces esas dos líneas rectas, prolongadas
indefinidamente, se cruzarán por el lado en que los ángulos internos sean menores que
dos rectas”

El quinto postulado tiene otras formas equivalentes:

1. “Dado un punto P y una recta L, el punto fuera de la recta, existe una única paralela a la recta
dada L que pasa por P”.
2. “Por un punto exterior a una recta se puede trazar una y sólo una paralela a dicha recta”.

Nociones comunes (Axiomas de igualdad)

1. Cosas iguales a una misma cosa son iguales entre sí.

2. Si a cosas iguales se añaden otras iguales, los resultados son iguales.
3. Si de cosas iguales se extraen iguales, los resultados son iguales.
4. Cosas que coinciden una con la otra son iguales.
5. El todo es mayor que sus partes.

Definiciones básicas (Libro I)

1. Punto es lo que no tiene partes.

2. Línea es lo que tiene longitud y no ancho.
3. Los extremos de una línea son puntos.
4. Una línea recta es una línea tal que dados 2 puntos de ella, el segmento determinado por
ella está contenido en la recta.
5. Una superficie es lo que tiene ancho y largo solamente.
6. Los extremos de una superficie son líneas.
7. Una superficie plana es una superficie que contiene a todas sus rectas.
8. Un ángulo plano es la inclinación de una recta respecto a otra en un plano, las rectas se
cortan y no coinciden.
9. Cuando las rectas que forman (contienen) el ángulo son rectas, el ángulo se llama
rectilíneo.
10. Cuando una recta levantada sobre otra forma ángulos adyacentes iguales, cada ángulo es
recto, y la línea recta levantada se llama perpendicular a la recta sobre la cual se levantó.
11. Un ángulo obtuso es un ángulo mayor que un ángulo recto.
12. Un ángulo agudo es un ángulo menor que un ángulo recto.
13. Frontera es el extremo de alguna cosa.
14. Una figura es lo que está contenido por una frontera o varias.
15. Un círculo es una figura plana contenida por una línea tal que todas las rectas
(segmentos) que van desde esta línea hasta un punto dentro de la figura son iguales
entre ellas.
16. El punto en el interior se llama centro del círculo.
17. El diámetro de un círculo es cualquier segmento rectilíneo que pasa por el centro y esta
limitado por puntos de la circunferencia del círculo. Tal segmento corta al círculo en dos.

Aprender matemática resolviendo problemas Nº 2

 18. Un semicírculo es la figura comprendida por el diámetro y la circunferencia cortada por él.
19. Figuras rectilíneas son aquellas que están contenidas por líneas rectas. Triláteras se
llaman aquellas contenidas por tres líneas rectas, cuadriláteras las contenidas por cuatro y
multiláteras aquellas contenidas por más de 4 líneas rectas.
20. Entre las figuras triláteras, un triángulo equilátero es el que tiene sus tres lados iguales,
un triángulo isósceles es el que tiene solamente 2 lados iguales y triángulo escaleno es el
que tiene sus tres lados distintos.
21. Entre las figuras triláteras, un triángulo rectángulo es el que tiene un ángulo recto, un
triángulo obtusángulo es el que tiene un ángulo obtuso, y un triángulo agudángulo
(acutángulo) es el que tiene sus tres ángulos agudos.
22. Entre las figuras cuadriláteras, un cuadrado es el que tiene sus lados iguales y sus
ángulos rectos. Un rectángulo (oblongo) es el que tiene sus ángulos rectos, pero no es
equilátero. Un rombo es una figura equilátera, pero no tiene ángulos rectos y un
romboide es el que tiene sus lados y ángulos opuestos iguales, pero no es equilátero ni
rectángulo. Todos los otros cuadriláteros se llaman trapecios.
23. Son rectas paralelas las que, estando en el mismo plano y prolongadas indefinidamente en
ambas direcciones no se encuentran.

PRESENTACIÓN AXIOMÁTICA DE HILBERT

Nociones primitivas : punto, recta, plano.

Relaciones entre estos elementos: incidencia, estar entre, igual ( congruencia).
Axiomas: En esta presentación los axiomas están agrupados según su naturaleza, en cinco
grupos.
I.Axiomas de incidencia.
II.Axiomas de orden.
III.Axiomas de congruencia.
IV.Axioma de las paralelas.
V.Axiomas de continuidad.

Axiomas de incidencia

Se utilizarán como sinónimos :

1. “La recta L y el punto P son incidentes”
2. “ p ∈ L ”
3. “La recta L pasa por P ”
4. “La recta L contiene al punto P”

I1: Dos puntos pertenecen al menos a una recta.

I2: Dos puntos cualesquiera pertenecen a una línea recta.
I3: Tres puntos que no pertenecen a una misma recta pertenecen al menos a un plano.
I4: Tres puntos no colineales determinan un único plano.
I5: Si dos puntos de una recta pertenecen a un plano, todos los puntos de la recta pertenecen a un
mismo plano.
6: Si un punto pertenece a dos planos, existe al menos otro punto que pertenece a los dos planos.
7: Existen al menos cuatro puntos que no pertenecen a un mismo plano.
Nota: I1 es un axioma lineal. I2, I3 son axiomas del plano y los axiomas I4 a I7 se refieren al
espacio. En particular, I6 implica que el espacio tiene a lo más 3 dimensiones y I7 implica que el
espacio tiene al menos 3 dimensiones.

Axiomas de orden (palabra clave “entre”)

Aprender matemática resolviendo problemas Nº 3

II.1: Si A,B,C son puntos de una recta y si B está entre A y C, entonces B está entre C y A.

II.2: Si A,B,C son tres puntos diferentes de una recta, uno y sólo uno de ellos está entre los otros
dos.

Recíprocamente: Sí uno de los órdenes: ABC, BCA, CAB es válido para los puntos A, B, C en una
recta, entonces A, B, C son diferentes entre ellos.
A, B y C en una recta, entonces A, B y C son diferentes entre ellos.

II.2.a Si A, B , C y D son puntos de una recta para la cual los órdenes ABC y BCD son válidos, se
sigue que ABD es también válido.

II.2.b. Si A, B , C y D son puntos de una recta para los cuales los órdenes ABC y ABD son válidos,
entonces el orden BCD o BDC es válido.

II. 3: Si A y B son diferentes de la recta L, existe un punto D ∈ L , para el cual el orden ABD es
válido.

II. c: Si A y B son puntos diferentes de la recta L, existe un punto C ∈ L para la cual el orden ACB
es válido.

III. Axiomas de Congruencia.

Existen ciertas relaciones entre segmentos que se expresan mediante la palabra igual o
congruente y que posee las siguientes propiedades.

Axioma III-1 Igualdad de segmentos:

Todo segmento AB es igual a si mismo: AB = AB y AB = BA . Si AB es igual A' B ' , entonces

A' B' es igual a AB . Si AB es igual A' B' y A' B' es igual a A' ' B ' ' , entonces AB es igual a
A' ' B ' ' .

Axioma III-2 Si A y B son puntos en una recta L y A’ es un punto en la recta L’, entonces siempre
es posible encontrar sobre la recta L’, a uno u otro lado de A’ un único punto B’ tal que AB = A' B '

Axioma III-3 Si los segmentos AB y BC sobre la recta L no tienen puntos comunes, y si A' B' y
B 'C ' sobre la recta L’ no tienen puntos comunes, entonces se cumple que las igualdades
AB = A' B ' y BC = B 'C ' implican que AC = A'C ' .

Aprender matemática resolviendo problemas Nº 4

Definición: Sea P un plano y h,k dos semirrayos diferentes que parten de un punto O en P y que
pertenecen a rectas distintas. El sistema de estos semirrayos se llama ángulo y se designa con el
símbolo ∠ (h,k) o ∠ (k,h). Los semirrayos se llaman lados del ángulo y el punto O se llama vértice
del ángulo. Se llama interior del ángulo la región del plano tal que al unir dos puntos cualesquiera
de ella el segmento queda totalmente contenido en ella.

Axioma III-4 Dado un ∠ (h,k) en un plano P y una recta L’ en un plano P’ en el cual se fija un lado
de L’ y h’ es un semirrayo de la recta L’ que parte de un punto O’. Entonces, existe un único
semirrayo k’ de modo que el ∠ (h’k’) sea congruente con el ∠ (h,k) tal que los puntos interiores
de ∠ (h’k’) se encuentren en el lado de L’. En símbolos:

∠ (h,k) = ∠ (h’,k’).

Todo ángulo es congruente consigo mismo.

Axioma III-5 Si el ∠ (h,k) es congruente con el ∠ (h’k’) y el ∠ (h’k’) es congruente con el ∠

(h’’k’’), entonces el ∠ (h,k) es congruente con el ∠ (h’’k’’).

Axioma III-6 Si para los triángulos ABC y A’B’C’ valen las congruencias AB = A' B ' , AC = A'C '
y ∠ BAC = ∠ B’A’C’, entonces también se tienen las congruencias ∠ ABC = ∠ A’B’C’ y ∠ ACB
= ∠ A’C’B’.

IV. Axioma de paralelismo

En un plano P por un punto A fuera de una recta L se puede trazar una y sólo una recta que no
corte a la recta L. Tal recta se llama la paralela con la recta L por el punto P.

VI.Axioma de continuidad (axioma de Arquímedes)

Dados dos puntos A y B sobre una recta L, siempre es posible construir una sucesión de puntos
A1 , A2 ,... An tales que: A1 está entre A y B, A2 entre A1 y B, A3 entre A2 y B, etc, donde
Ai Ai −1 son segmentos iguales y An esta entre An −1 y B.

Textos consultados:

1. T. L. Heath: The thirteen books of Euclid’s Elements. Dover.N.Y. ,1956.

2. D. Hilbert: Grundlagen der Geometrie. Teubner Studienbücher Mathematik, Stuttgart,
1972.

Aprender matemática resolviendo problemas Nº 5

3. B. Kerékjártó: Les Fondements de la Géométrie. Tome 1. Gauthier-Villars, Paris , 1969.
4. A. M. Legendre et M .A. Blanchet : Éléments de Géométrie. Librairie des Firmin Didot
Frères. Paris, 1866.
5. J. Mosterín : Historia de la filosofía. Vol 5. Alianza Editorial, Madrid, 1985.
6. P. Suppes : Introduction to Logic. Van Nostrand Reinhold Company, 1969.

Aprender matemática resolviendo problemas Nº 6