Está en la página 1de 5

Dpto. Ciencias Exactas. Facultad de Educación Media.

UCLV
Disciplina: Geometría Asignatura: Geometría III Curso 2015– 2016 Primer Semestre
Actvidad docente # : 1 Conferencia 1
Título: El método axiomático, su esencia y características. Elementos constituyentes.
Objetivos: Que los estudiantes sean capaces de comprender la esencia del método axiomático y las
características de un sistema de axiomas para que sea válido para el trabajo
Introducción:
Se realizará como inicio un diagnóstico acerca de los conocimientos que tienen los alumnos sobre la
construcción axiomática.
Las respuestas a estas y otras muchas preguntas las encontraremos en el transcurso de esta
asignatura, donde se utilizará el método axiomático para construir, descriptivamente, la geometría,
hoy comenzaremos por definir algunos elementos que te permitirán entender mejor lo siguiente: El
método axiomático y sus características.
Desarrollo
¿Cómo se construye un sistema de axiomas?
¿Qué características tiene un sistema de axiomas?
Def 1.1: Una estructura es un n-uplo ordenado (n objetos dados en un orden fijo) (C 1, …, Cm, R1, …, Rn-
m ), cuyos primeros m elementos (mn), son conjuntos no vacíos, llamados conjuntos base de la
estructura y los restantes n – m elementos son relaciones o conjuntos de relaciones entre elementos
de los conjuntos bases de la estructura
Como ejemplo elemental que nos ocupa está la Geometría euclidiana la cual será el objeto de estudio
de esta asignatura, por eso una explicación inicial de la definición de estructura la realizaremos a
partir de esta:
Los primeros elementos que generalmente no se definen son denominados conceptos básicos, estos
son los casos de punto y recta; en el caso de las relaciones que se mencionan es necesario establecer
las propiedades de las mismas y estas son precisamente los axiomas.
Importante establecer una definición que ayuda a comprender procesos que suceden en la
asignatura, tal es el caso de a definición siguiente
Def 1.2: Un modelo es una estructura que sirve para representar a otra.
El ejemplo más sencillo es la propia Geometría analítica que se conoce de la carrera y la cual se
estudia parcialmente en el grado 11, la cual es un modelo de la estructura de espacio euclídeo. En este
modelo del plano Euclídeo donde los puntos son pares ordenados de puntos (x;y) y las rectas se

1
estudian como el conjunto de puntos que satisfacen una ecuación lineal de la forma ax + by + c = 0 con
(a;b)  (0;0), a, b .
En esta estructura analítica se hacen explícitos los elementos de los conjuntos base de la estructura,
en el caso ilustrado los puntos y rectas y se comprueba que se satisfacen los axiomas de la misma
como propiedades de las relaciones establecidas.
Es importante establecer con claridad que los axiomas no son algo inventado, sino que son el
resultado del desarrollo histórico de la rama del conocimiento de que se trate, una axiomatización de
la Geometría data del siglo III antes de nuestra era, hecha por Euclides, más no fue hasta finales del
siglo XIX que se elaboró por David Hilbert la primera “buena estructuración” de dicha Geometría
Es esencial establecer algunas características que deben tener los sistemas de axiomas para que sean
realmente exactos y valiosos, esencialmente son 3
1ro. Compatibilidad, libertad de contradicción o consistencia.
Se pretende la exigencia de coherencia, es decir, que en un sistema axiomático no puede inferirse dos
teoremas contradictorios a partir de los axiomas. Partiendo de los axiomas no debe ser posible
deducir o demostrar un teorema y su negación. Es decir, el sistema no debe suponer contradicciones.
Ejemplo: Si se deduce el teorema T en el sistema axiomático S, no puede inferirse también el teorema
no-T en el mismo sistema.
Este requisito de consistencia es el más importante en lo que debe satisfacer un sistema axiomático.
Para casos elementales de sistemas de axiomas la vía de comprobar esta propiedad es la construcción
de un modelo donde se puedan comprobar los axiomas del sistema, en este caso se trata de
interpretar los conceptos básicos y comprobar los axiomas.
Ejemplo de Modelo.
Sean P y R dos conjuntos no vacíos, a los elementos de P los llamaremos puntos y a los de R los
llamaremos rectas y sea la relación entre puntos y rectas llamada incidencia y denotada por I: I  PXR
Se define:
 Si (P,r)I se dice que el punto P incide en la recta r, PIr
 r y s se llaman paralelas si r = s o si no existe un punto que incida a la vez con r y s.
La terna ordenada (P, R, I) se llama plano afín cuando se cumplen los siguientes axiomas:
A1: Para dos puntos diferentes P y Q existe exactamente una recta con la cual inciden P y Q.
A2: Existen tres puntos que no inciden en una misma recta.

2
A3: Para cada punto P y cada recta r existe exactamente una recta con la cual incide P y que es paralela
a r.
A partir de aquí se puede construir un modelo de tal plano y comprobar la consistencia:
Sean P = A, B, C, D y R = (A; B),(A; C), (A; D), (B; C), (B; D), (C, D) y se define que PIr si y solo si Pr
En este modelo es fácil de comprobar los axiomas enunciados y darse cuenta de que no es posible
encontrar propiedades contradictorias, por eso se puede considerar consistente el sistema enunciado.
Ejercicio propuesto: Comprobar el cumplimiento de los axiomas en el modelo propuesto.
2do. Completitud.
Que puedan deducirse del sistema de axiomas todos los teoremas válidos en el sistema.
También significa que no es posible añadir al sistema un teorema que niegue alguno de los
demostrados en el sistema, sin que el sistema se vuelva inconsistente. Esto quiere decir que solo es
válido en el sistema un teorema o su negación.
Todo enunciado bien formulado que no sea deducible de sus axiomas tiene que estar en contradicción
con una tesis del sistema.
3ro. Independencia.
Los axiomas o fórmulas iniciales del sistema son independientes cuando ninguno de ellos pueden ser
teoremas en el mismo sistema, es decir, ninguno de los axiomas puede ser deducido, demostrado a
partir de los demás, cada axioma debe ser independiente de los otros. Un sistema de axiomas donde
todos los axiomas son independientes se dice MINIMAL, esta característica es deseable en cualquier
sistema de axiomas, pero no es una limitante la falta de independencia para la validez de un sistema
de axiomas.
Esta propiedad puede ser comprobada si se construye un modelo donde se sustituye un axioma por su
negación y se obtenga una teoría libre de contradicción.
Este fue el método que siguieron los descubridores de teorías no Euclidianas, pues sustituyeron el
axioma d e las paralelas por su negación obteniendo teorías nuevas no contradictorias, pero esto será
objeto de estudio en la próxima conferencia
Es importante después de teorizar un poco sobre la teoría axiomática establecer algunas definiciones
que aunque no son utilizadas en su totalidad en esta asignatura, si aparecen en varios textos y son
útiles para comprender cuando se estudia, o cuando se escucha a un profesor.
Conceptos Fundamentales del Sistema Axiomático
Proposición.

3
Es un enunciado o juicio el cual solo puede originar uno y solo uno de los términos verdadero o falso.
Las proposiciones más comunes que se utilizan son: axiomas, postulados, teoremas y corolarios.
Axiomas.
Es una verdad que no requiere demostración y se la cumple en todas las ciencias del conocimiento.
Baldor, define Axiomas como una proposición tan sencilla y evidente que se admite sin
demostraciones. Ya en su momento se dijo que se admite sin demostración porque la práctica
científica a través de los tiempos ha hecho que se confíe en su veracidad.
Postulados.
Es una proposición aceptada como verdadera. A diferencia de los axiomas, estos se los emplea
generalmente en geometría, los mismos que no se han constituido al azar, sino que han sido escogidos
cuidadosamente para desarrollar la geometría. Según Baldor Un postulado es una proposición no tan
evidente como un axioma pero que también se admite sin demostración.
Teorema.
Es la proposición cuya verdad necesita ser demostrada: una vez que el teorema se ha probado se lo
puede utilizar para la demostración de otros teoremas, junto con axiomas y postulados. Es una
proposición que puede ser demostrada. La demostración consta de conjunto de razonamientos que
conducen a la evidencia de la verdad de la proposición, así lo define Baldor. Un teorema consta de:
hipótesis (condiciones o datos del problema) y tesis (propiedad a demostrarse).
Corolario.
Es la consecuencia de un teorema demostrado.
Baldor dice que es una proposición que se deduce de un teorema como consecuencia del mismo.
Teorema Recíproco.
Baldor establece que todo teorema tiene su recíproco, siendo su hipótesis y tesis la tesis y la hipótesis
respectivamente del otro teorema, que se llamaría teorema directo. Lo que no dice nadie, pues no es
cierto es que el recíproco de un teorema tiene que se también un teorema, pues los recíprocos no
siempre se cumplen.
Lema.
Baldor dice que una proposición que sirve de base a la demostración de un teorema, es decir, que es
como un teorema preliminar a otro que se considera más importante.
Escolio.
Es una observación que se hace sobre un teorema previamente demostrado.

4
Problema.
Es una proposición en la que se pide construir una figura que reúna ciertas condiciones o bien calcular
el valor de alguna magnitud geométrica.
Razonamiento Lógico.
Cuando una persona se empeña en una "reflexión clara" o en una reflexión rigurosa, está empleando
la disciplina del razonamiento lógico.
Demostraciones.
Es un conjunto de razonamientos que demuestra la verdad de la proposición junto con axiomas y
postulados. Una demostración bien elaborada solo puede basarse en proposiciones antes
demostradas, la demostración también es necesaria para fundamentar la generalidad de la
proposición que se demuestra. Por medio de las proposiciones, las verdades geométricas se reducen a
un sistema armonioso de conocimientos científicos.
Conclusiones:
Hacer un resumen de los principales elementos tratados en la conferencia, para ello nos basaremos en
las siguientes preguntas:
- ¿Qué es una estructura en general?
- ¿Ponga ejemplos de conjuntos base de una estructura analizados en Geometría?
- ¿Qué son axiomas?
- ¿Qué es una demostración?
Proponer los ejercicios que aparecen en el cuerpo de la clase
Solo tiene un corto tiempo de estudio hasta la próxima conferencia, pero trate de buscar información
sobre Euclides, pues su obra servirá de base para el ejemplo de desarrollo axiomático de la Geometría.