Temas para unidad 2: Nociones sobre Sistemas Axiomticos.

Repartido 1

En lgica y matemticas, un sistema axiomtico consiste en un conjunto de axiomas que se utilizan, mediante
deducciones, para demostrar teoremas.
Los axiomas han de ser compatibles; ninguno de ellos debe estar en contradiccin con los dems o sus consecuencias.
Los axiomas deben ser independientes: es decir, ninguno de ellos o parte de ellos debe poder demostrarse como
consecuencia de los dems.
Grupos de axiomas:
Axiomas I:
De enlace o incidencia.
Axiomas II:
De ordenacin.
Axiomas III:
De congruencia o movimiento.
Axioma IV:
De paralelismo.
Axioma V:
De continuidad.
Axiomas de existencia y enlace.
Ax 1.1 Reconocemos la existencia de infinitos entes llamados puntos, cuyo conjunto llamaremos espacio.
Ax 1.2 Los puntos del espacio se consideran agrupados en ciertos conjuntos parciales de infinitos puntos llamados
planos y los de cada plano en otros conjuntos parciales de infinitos puntos llamados rectas.
Ax 1.3 Por dos puntos distintos pasa una recta y slo una.
Ax 1.4 Por tres puntos no alineados pasa un plano y slo uno.
De otro modo: Tres puntos no alineados determinan un plano que las contiene.
Ax 1.5 Si dos puntos de una recta estn en un plano, todos los dems puntos de la recta lo estn tambin.
Primeros teoremas que se deducen de ellos.
Una recta y un punto exterior determinan un plano que pasa por ellos.
Dos rectas distintas que tienen un punto comn determinan un plano que las contiene.
Contenido:

Axioma de Euclides.

Euclides construye su argumentacin basndose en un conjunto de axiomas al cual llam postulados.

Los cinco famosos postulados son los siguientes:
1. Dados dos puntos se pueden trazar una recta que los une.
2. Cualquier segmento puede ser prolongado de forma continua en una recta ilimitada, en la misma direccin.
3. Se puede trazar una circunferencia de centro en cualquier punto y radio.
4. Todos los ngulos rectos son iguales.
5. Si una recta, al cortar a otras dos forma los ngulos internos de un mismo lado menor que dos rectos, esas
dos rectas prolongadas indefinidamente se curtan del lado en el que estn los ngulos menores que dos
rectos.
Este axioma es conocido con el nombre de axioma de las paralelas y tambin se anunci ms tarde as:
5. Por un punto exterior a una recta se puede trazar una nica paralela a dicha recta.
Axiomas de movimiento en el plano.
Axioma 3.1
Los movimientos del plano son transformaciones puntuales biunvocas del mismo.
Axioma 3.2
Todo movimiento conserva las relaciones de incidencia y ordenacin de puntos.
Axioma 3.3.
Ningn movimiento puede transformar un segmento o ngulo en una parte del mismo.
Axioma 3.4
Axioma 3.5
Axioma 3.6

La transformacin resultante de aplicar dos movimientos sucesivos es otro movimiento. Se llama

producto de aquellos dos.
La transformacin inversa de todo movimiento es otro movimiento.
Existe un movimiento y slo uno que transforma una semirrecta en otra, y un determinado semiplano
limitado por la recta primera en un determinado semiplano limitado por la segunda.

Si los dos semiplanos que definen el movimiento caen a un mismo lado de las semirrectas respectivas, el movimiento
se llama directo, y en caso contrario inverso.
Fuente:
Puig Adam, Pedro. Curso de geometra Mtrica Tomo I Fundamentos 11 edicin 1973 Ed Biblioteca Matemtica S.L. Madrid Espaa.

Diseo: Prof. Richard Prez