Sistemas Axiomaticos - Clase 1-3 Geometria III

GEOMETRIA III PROFESORADO DE EDUCACION SECUANDARIA EN MATEMATICA – AÑO 2018
Sistemas axiomaticos - un poco de historia

Elementos de Euclides (365 – 275 ac) Primer intento por sistematizar
axiomaticamente la matematica
Euclides fue un matemático y geómetra griego Se le conoce como "El Padre de la Geometría".
Su vida es poco conocida, salvo que vivió en Alejandría (ciudad situada al norte de Egipto) durante
el reinado de Ptolomeo I. Ciertos autores árabes afirman que Euclides nació en Tiro y vivió
en Damasco. Era hijo de Naucrates y se barajan tres hipótesis:
1. Euclides fue un matemático histórico que escribió los Elementos y otras obras atribuidas a él.
2. Euclides fue el líder de un equipo de matemáticos que trabajaba en Alejandría. Todos ellos
contribuyeron a escribir las obras completas de Euclides, incluso firmando los libros con el
nombre de Euclides después de su muerte.
3. Las obras completas de Euclides fueron escritas por un equipo de matemáticos de Alejandría
quienes tomaron el nombre Euclides del personaje histórico Euclides de Mégara, que había
vivido unos cien años antes.
Su obra Elementos, es una de las producciones científicas más conocidas del mundo y era una
recopilación del conocimiento impartido en el ámbito académico de entonces. En ella se presenta de
manera formal, partiendo únicamente de cinco postulados, el estudio de las propiedades de
líneas y planos, círculos y esferas, triángulos y conos, etc.; es decir, de las formas regulares.
Probablemente ninguno de los resultados de Los elementos haya sido demostrado por primera vez
por Euclides pero la organización del material y su exposición, sin duda alguna se deben a él. De
hecho hay mucha evidencia de que Euclides usó libros de texto anteriores cuando escribía Los
elementos ya que presenta un gran número de definiciones que no son usadas.
Los Elementos de Euclides es un tratado matemático y geométrico que se compone de trece

libros, escrito por el matemático y geómetra griego Euclides cerca del 300 a. C. en Alejandría.
(Geometría Euclidiana)
El contenido de los libros es el siguiente:
 Libros 1 al 4 tratan sobre geometría plana.

 Libros 5 al 10 tratan sobre razones y proporciones.
 Libros 11 al 13 tratan sobre geometría de los cuerpos sólidos.
En el primer libro, Euclides desarrolla 48 proposiciones a partir de 23 definiciones
(como punto, línea y superficie), 5 postulados y 5 nociones comunes (axiomas). Entre estas
proposiciones se encuentra la primera demostración general conocida 1 del teorema de Pitágoras.
Las nociones comunes de Los Elementos son:
1. Cosas iguales a una misma cosa son iguales entre sí.

2. Si se añaden iguales a iguales, los todos son iguales.
3. Si se sustraen iguales a iguales, los restos son iguales.
4. Las cosas que coinciden una con otra son iguales entre sí.
5. El todo es mayor que la parte.
Los postulados de Los Elementos son:
1. Una línea recta puede ser dibujada uniendo dos puntos cualesquiera.
2. Un segmento de línea recta se puede extender indefinidamente en una línea recta.
Apuntes elaborado por el Prof. Ferreyra Víctor Hugo y los estudiantes de 3º año del ciclo lectivo 2018 Página 1
3. Dado un segmento de línea recta, puede dibujarse un círculo con cualquier centro y distancia.
4. Todos los ángulos rectos son iguales entre sí.
5. Postulado de las paralelas. Si una línea recta corta a otras dos, de tal manera que la suma de
los dos ángulos interiores del mismo lado sea menor que dos rectos, las otras dos rectas se
cortan, al prolongarlas, por el lado en el que están los ángulos menores que dos rectos.
Este último postulado tiene un equivalente, que es el más usado en los libros de geometría:
 Por un punto exterior a una recta, se puede trazar una única paralela
Cabe señalar que este es el postulado que hace que la geometría sea
euclidiana. Negándolo se obtienen las geometrías no-euclidianas.
Estos principios básicos reflejan el interés de Euclides por la geometría constructiva, al igual que
los matemáticos griegos y helenísticos contemporáneos.
Mas sobre los postulados - Otra forma de enunciarlos

Los postulados de Euclides hacen referencia al tratado denominado Los Elementos , escrito
por Euclides hacia el año 300 a. C., exponiendo los conocimientos geométricos de la Grecia clásica
deduciéndolos a partir de cinco postulados, considerados los más evidentes y sencillos.1
Los postulados de Los Elementos son:
1. Dos puntos cualesquiera determinan un segmento de recta.

2. Un segmento de recta se puede extender indefinidamente en una línea recta.
3. Se puede trazar una circunferencia dados un centro y un radio cualquiera.
4. Todos los ángulos rectos son iguales entre sí.
5. Postulado de las paralelas. Si una línea recta corta a otras dos, de tal manera que la suma de
los dos ángulos interiores del mismo lado sea menor que dos rectos, las otras dos rectas se
cortan, al prolongarlas, por el lado en el que están los ángulos menores que dos rectos.
Este último postulado tiene un equivalente, que es el más usado en los libros de geometría:
 Por un punto exterior a una recta, se puede trazar una única paralela.
Posteriormente Arquímedes (287 – 212 a.c) y Galileo (renacimiento 1564 – 1642)

utilizaron el método axiomático.
Arquímedes de Siracusa
Fue un físico, ingeniero, inventor, astrónomo y matemático griego. Aunque se conocen pocos
detalles de su vida se considera que Arquímedes fue uno de los matemáticos más grandes de la
antigüedad y, en general, de toda la historia.
Arquímedes murió durante el sitio de Siracusa (214-212 a. C.), cuando fue asesinado por un
soldado romano, a pesar de que existían órdenes de que no se le hiciese ningún daño.
Posteriormente declina la utilización del método axiomático hasta que el siglo

XIX y como consecuencia de demostrar la falsedad del V postulado de Euclides,
se retoman las proposiciones de los antiguos griegos.
Moritz Pasch (Nueva geometría 1882)

En geometría, el axioma de Pasch es un resultado de la geometría plana usada por Euclides,
aunque no puede derivarse de sus postulados.
El axioma enuncia que, en el plano:

Una línea que se interseca con una arista de un triángulo y evita los tres vértices debe
intersecarse con una de las otras dos aristas.
Pasch publicó este axioma en 1882 y mostró que los axiomas de Euclides eran incompletos.
David Hilbert (Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943)

fue un matemático alemán, reconocido como uno de los más influyentes del siglo XIX y principios del
XX.
El texto Grundlagen der Geometrie (Fundamentos de la geometría), que Hilbert publicó en 1899,
sustituye los tradicionales axiomas de Euclides por sistema formal de 21 axiomas. Evitan las
debilidades identificadas en los de Euclides, cuya obra clásica Elementos seguía siendo usada como
libro de texto en aquel momento.
El enfoque de Hilbert marcó el cambio al sistema axiomático moderno. Los axiomas no se toman
como verdades evidentes. La geometría puede tratar de cosas, sobre las que tenemos intuiciones
poderosas, pero no es necesario asignar un significado explícito a los conceptos indefinidos. Como
dice Hilbert, los elementos tales como el punto, la recta, el plano y otros, se pueden sustituir con
mesas, sillas, jarras de cerveza y otros objetos. Lo que se discute y se desarrolla son sus relaciones
definidas.
Hilbert comienza enumerando los conceptos sin definición: punto, recta, plano, incidencia (una
relación entre puntos y planos), estar entre, congruencia de pares de puntos
y congruencia de ángulos. Los axiomas unifican la geometría plana y la sólida de Euclides en un
único sistema.
Axiomas de Hilbert
Los axiomas de Hilbert son un conjunto de 20 (originalmente 21) hipótesis propuestas por David
Hilbert en 1899 como el fundamento para un tratamiento moderno de la geometría euclídea. Otras
axiomatizaciones modernas bien conocidas de la geometría euclídea son las debidas a Alfred
Tarski y a George Birkhoff.
Los axiomas
El sistema axiomático de Hilbert se compone de nueve nociones primitivas: Tres términos primitivos:
punto, línea recta, plano, y seis relaciones primitivas:
 Orden, una relación ternaria entre puntos;

 Pertenencia, tres relaciones binarias, una de ellas entre puntos y rectas, otra entre puntos y
planos, y otra entre rectas y planos;
 Congruencia, dos relaciones binarias, una entre segmentos y otra entre ángulos, denotadas
por ≅
Nótese que los segmentos y los ángulos (así como también los triángulos) no son nociones
primitivas, sino que se definen en términos de puntos y rectas utilizando las relaciones de orden
y pertenencia. Todos los puntos, rectas y planos en los subsecuentes axiomas son distintos
salvo que se indique lo contrario.
El método axiomático - Sistemas axiomáticos – Desarrollo
El método axiomático
Son expresiones primeras que
no se demuestran. Es un
enunciado de donde tenemos
que partir.
No es una proposición (no es

Axiomas o postulados evidente) se convierten en
proposiciones cuando
particularizamos
Se deducen usando
ciertas reglas
Teoremas
A través de sus
propiedades alimentan a
los teoremas
Elementos.
Relaciones u
Términos primitivos u objetos indefinidos Operaciones sin
definir
Se desprenden
Definiciones (todos los términos no primitivos

se deben definir)
Una disciplina matemática se estructura en un conjunto de proposiciones llamadas TEOREMAS

cada uno de los cuales se deduce de otros anteriores, utilizando ciertas reglas, por ello debemos
partir de enunciados primeros que se aceptan sin demostración.
Un sistema axiomático consiste en:
 Términos primitivos u objetos indefinidos (base del vocabulario técnico necesario)

 Definiciones de términos no primitivos
 Axiomas o postulados (enunciados primeros relativos a los términos primitivos)
 Teoremas (enuncian propiedades de los objetos y utilizan las leyes de la lógica)
 Leyes o reglas (usamos la lógica bivalente: V o F )
Ejemplo de definición:
“Diremos que los puntos A, B y C están alineados sii (si y solo si) existe una recta a la cual
pertenecen todos ellos”
Notemos que esta expresión no se demuestra ni tiene sentido hacerlo, pues no expresa hechos ni
contiene nada que demostrar, simplemente asigna un significado a las palabras “puntos alineados”
por lo cual es una definición.
Ejemplo de sistema axiomático deductivo
a) Conceptos primitivos: punto, recta, incidencia (palabras vacías de significado)

Entre los objetos primitivos introducimos una relación primitiva:
El punto P es incidente con la recta r es equivalente a que la recta r es incidente con el punto P,
es decir es una relación simétrica.
Lo único que interesa es que se cumplan las dos condiciones siguientes:
b) Axiomas
Ax1: dado 2 puntos distintos existe y es única la recta incidente con ambos
Ax2: dadas 2 rectas diferentes existe al menos un punto incidente con ambas
c) Teorema: dadas 2 rectas distintas, no existe más de un punto incidente con ambas.
Demostración por el absurdo
Suponemos que dadas dos rectas distintas existe más de un punto incidente con ambas.
Como existe más de un punto incidente con ambas, podríamos elegir dos distintos. Luego por
axioma 1 hay solo una recta incidente con esos dos puntos, es decir las rectas deben coincidir o ser
la misma, contra lo afirmado en la hipótesis.
Luego la suposición que hemos hecho es falsa, es decir no hay más de un punto incidente con
ambas rectas y el teorema queda demostrado.
Nota: reducción al absurdo
La Reducción al Absurdo es uno de los métodos más usados para hacer demostraciones
matemáticas. La idea es suponer que la proposición que queremos demostrar es falsa, y a partir de
esta suposición, usando deducciones matemáticas, llegar a una contradicción o algo absurdo, lo cual
implica que nuestra proposición es necesariamente cierta. Veamos un ejemplo de una demostración
por reducción al absurdo:
P1. Demuestre que si m y n son enteros tales que n + n 2 + n 3 = m + m2, entonces n es par
Solución. Supongamos que n es impar. A partir de esto debemos conseguir una contradicción. Como
n es impar, entonces n 2 y n 3 son ambos impares, de donde n + n 2 + n 3 es impar (ya que es la
suma de tres impares). Entonces, como m + m2 = n + n 2 + n 3 , se tiene que m + m2 es impar. Sin
embargo m + m2 es siempre par (ya que m + m2 = m(m + 1) y necesariamente alguno de los
números m ´o m+1 es par). Hemos llegado
Interpretación y modelo de un sistema axiomático

Cuando se sustituyen los conceptos primitivos por significados concretos se tiene una interpretación
del sistema axiomático.
Cuando esa interpretación es tal que los axiomas se convierten en proposiciones verdaderas,
entonces, se tiene un modelo del sistema axiomático. En este caso todo lo demostrado en abstracto
en el sistema es válido para el modelo y no hay que probar nada en particular.
Modelo 1: punto, recta e incidencia tienen el significado habitual de la geometría euclidiana, pero
consideramos como puntos y rectas solamente los vértices y lados de un triangulo.
Verificar la verdad de los axiomas y la valides del teorema.
Modelo 2: llamamos puntos a tres objetos cualesquiera A, B y C y rectas a otros tres objetos
cualesquiera a, b y c y convenimos que un punto y una recta son incidentes sii existe una marca en
la casilla correspondiente de la matriz de incidencia (tabla de doble entrada)
a b c
A X X
B X X
C X X
Verificar la verdad de los axiomas y la valides del teorema.
Propiedades de un sistema axiomático

Consistencia, compatibilidad o no contradicción.
Los axiomas de un sistema axiomático deductivo deben cumplir la siguiente condición, llamada de
consistencia o de no contradicción:
De los axiomas no deben poder deducirse una proposición “p” y su negación “no p”
Un sistema deductivo no es consistente o, como también se dice, es contradictorio, al ser

deducibles en él una proposición “p” y también su negación “no p”.
Ahora bien, dado un sistema de axiomas ¿Cómo puede establecerse su consistencia? Por más
teoremas que hayamos demostrado o probado sin llegar a una contradicción, por este camino nunca
estaremos seguros de no tropezar con uno más adelante.
Existen dos maneras de probar la consistencia de una teoría matemática, mediante modelos.
 Modelos finitos: en algunos sistemas la consistencia puede probarse construyendo un

modelo que consiste en un numero finito de objetos, cada uno de los cuales se exibe
explícitamente y se designa por un símbolo. La comprobación de que se cumplen los axiomas
se hace por un número finito de pasos o verificaciones.
 Consistencia relativa: para probar la consistencia de una teoría abstracta puede también
darse en ella una interpretación de otra teoría abstracta.
En definitiva
Compatibilidad: cuando ningún axioma contradice a otro en un sistema axiomático no es posible

encontrar un teorema que contradiga a otro o a un axioma. Si un sistema no es compatible es
contradictorio, ya que, se deducen en él una proposición “p” y su negación “no p” por lo tanto será
teorema la proposición “p y no p” que es falsa cualquiera que sea p, entonces la implicación (p y no
p entonces q) que va a ser verdadera cualquiera sea p, pues la implicación va a ser verdadera por
tener antecedente falso sin importar quien sea “q”, o sea en un sistema contradictorio todo
proposición es teorema.
Un poco más claro.
De los axiomas no puede poder deducirse una proposición “p” y su negación “no p”. Es decir, si un
sistema axiomático es contradictorio, ocurre que coexisten “p” y “no p” tal que si “p” es V, “no p” es F
por lo tanto (p y no p entonces q) es V por tener antecedente F o sea “q” puede ser cualquier cosa V
o F y la implicación será V. En consecuencia por ser teorema (p y no p) también lo es “q”, en otras
palabras:
En un sistema contradictorio toda proposición “q” es teorema.
Se puede dar la siguiente definición:
“Un sistema axiomático es compatible si y solo si sus axiomas no implican contradicción”
Entres todas las propiedades de un sistema axiomático esta es la única imprescindible. Es decir su
ausencia indica que el sistema axiomático no tiene ningún valor lógico ni matemático. Probar la
compatibilidad de un sistema no es cosa sencilla. Si en una teoría aparecen dos axiomas o
teoremas que se contradicen, entonces queda probada de inmediato su incompatibilidad. En
cambio si la teoría no es contradictoria, es prácticamente imposible enunciar todos los teoremas y
probar así que no existe ningún par que se contradiga.
La consistencia o compatibilidad se prueba de manera indirecta por el método de modelos. La

prueba es concreta si puede exhibirse una interpretación real que satisfaga los axiomas. La
compatibilidad queda probada al asumirse que la realidad no es contradictoria.
La compatibilidad de los sistemas axiomáticos se deduce a partir de modelos.
Puede darse la siguiente definición efectiva:
“Un sistema axiomático es compatible si y solo si tiene modelo”
Independencia
Es independiente cuando ningún axioma depende de otro u otros, si uno de los axiomas depende de
otros es conveniente eliminarlo del sistema axiomático e incorporarlo como teorema, de este modo
el sistema axiomático se simplifica. Por eso es importante (aunque no es necesario desde el punto
de vista lógico) que los axiomas sean independientes, o sea que ninguno de ellos se pueda deducir
(demostrar lógicamente) a partir de los demás. La independencia de un axioma con respeto a los
demás axiomas de un sistema compatible se demuestra si se prueba que su negación es compatible
con los demás axiomas, es decir, para probar la independencia de un axioma es necesario construir
un modelo donde dicho axioma sea falso y todos los demás verdaderos. El ejemplo más importante
de independencia es el axioma de las paralelas o 5to postulado de Euclides, durante las de 20 siglos
los matemáticos sospecharon que dicho axioma dependía de los demás hasta que en el siglo XIX, K.
F. Gauss, J. Bobyai y N. I.Lobokeroski iniciaron el camino para probar su independencia con la
construcción de las geometrías no euclidianas que contienen los mismos axiomas con excepción del
axioma de las paralelas.
La demostración de la independencia del 5to postulado de Euclides fue lograda por Beltrami (1868) y
por Klein (1871), quienes usando métodos de la geometría proyectiva construyeron modelos
euclidianos de geometrías no euclidianas, probando que si estas no fueran compatibles tampoco lo

sería la Geometría Euclidiana.
En definitiva:
“un axioma es independiente si no puede demostrarse lógicamente a partir de los otros

axiomas”
Sea S un sistema axiomático, A un axioma de S, ~𝑨 su negación
A es independiente en S si y solo si S y (S – A) + ~𝑨 son ambos compatibles.
Recordar que la compatibilidad se prueba mediante modelos.
Completitud
Un sistema axiomático es completo cuando no es posible incorporar nuevos axiomas y que el

sistema siga siendo compatible.
En el sistema axiomático de los dos axiomas que hemos analizado podemos establecer una
correspondencia biunívoca entre los elementos de los dos modelos. Encontramos que esta
correspondencia es un isomorfismo, ya que es biunívoca y conserva las relaciones existentes en
cada sistema, como el isomorfismo conserva todos los detalles de la estructura, podemos decir, que
los dos sistemas isomorfos son estructuralmente idénticos y difieren solamente en el nombre dado a
sus elementos.
Categórico
Solamente si cada uno de sus modelos es isomorfo con todos los otros, en otras palabras, un
sistema axiomático es categórico solamente si todos sus modelos son estructuralmente idénticos o
si tienen una representación concreta.
Si un sistema es categórico es necesariamente completo. Si el sistema es incompleto existe al

menos una proposición que no puede ser aceptada ni rechazada.
Construyamos por lo tanto dos modelos del sistema axiomático dado, en uno de los cuales la
proposición es verdadera en la otra falsa, esto nos llevara a una contradicción porque no nos
permitirá establecer el isomorfismo entre los modelos con lo que concluiremos que el sistema es
categórico.
Nota: un isomorfismo es toda función biyectica en donde la imagen de la composición es igual a la

composición de las imágenes.
Parte Práctica
a)
Sistema O:
Conceptos Primitivos:
 Un conjunto C = a, b, c, …
 Una relación binaria R definida en C
Axiomas
A1: R es reflexiva
A2: R es antisimétrica
A3: R es transitiva
Definiciones
D1: b S a si y solo si a R b
PROBAR
T1: S es una relación reflexiva
T2: S es una relación antisimétrica
T3: S es una relación transitiva en C.
b) Comprobar que si se consideran tres matrimonios formados por tres hermanos casados con
tres hermanas, con las siguientes definiciones:
𝒑𝒖𝒏𝒕𝒐 ↔ 𝒎𝒂𝒓𝒊𝒅𝒐
𝒓𝒆𝒄𝒕𝒂 ↔ 𝒆𝒔𝒑𝒐𝒔𝒂
𝒊𝒏𝒄𝒊𝒅𝒆𝒏𝒕𝒆 𝒄𝒐𝒏 ↔ 𝒄𝒖ñ𝒂𝒅𝒐 𝒅𝒆 𝒐 𝒄𝒖ñ𝒂𝒅𝒂 𝒅𝒆
Se obtiene una interpretación del sistema axiomático:
Conceptos Primitivos
 Punto, Recta, Incidencia (palabras vacías de significado)

 El punto P es incidente con la recta r equivalente a decir la recta r es incidente con la el punto P.
Axiomas:
A1: Dado dos puntos distintos, existe y es única la recta incidente con ambos.
A2: Dadas dos rectas diferentes existe al menos un punto incidente con ambas
Teorema
T1: Dada dos rectas diferentes (o distintas), no existe más de un punto incidente con ambas.
c) Llamando “puntos” a los elementos a, b y c de un conjunto 𝑼 = 𝒂 , 𝒃 , 𝒄 de tres elementos

(es decir 𝑎 ≠ 𝑏 , 𝑎 ≠ 𝑐 𝑦 𝑏 ≠ 𝑐 ) y “rectas” a los conjuntos 𝑨 = 𝒂 , 𝒃 , 𝑩 = 𝒃 , 𝒄 𝒚 𝑪 = 𝒄 , 𝒂 y
conviniendo que un punto P y una recta r son incidentes si 𝑃 ∈ 𝑟 :
i. Verificar que se tiene un modelo del s.a dado anteriormente.
ii. Verificar que esto no ocurre si:
a. Se llaman rectas a todos los conjuntos del 𝑃(𝑈)
b. Se llaman rectas a los conjuntos unitarios del 𝑃(𝑈)
c. Si se considera el conjunto 𝑼 = 𝒂 , 𝒃 , 𝒄 , 𝒅
d) Sea el siguiente sistema axiomático:
 Conceptos primitivos: punto recta e incidencia
 Definiciones:
i. Si valen las proposiciones : P incidente con r o r incidente con P diremos
también que “el punto P y la recta r son incidentes” o “el punto P pertenece a la
recta r” o “ el punto P está en la recta r” o “la recta r contiene al punto P”
ii. Diéremos también que dos rectas r y s son paralelas si coinciden o no existe
ningún punto incidente con ambas.
 Axiomas:
i. Existe por lo menos una recta
ii. No todos los puntos están en la misma recta
iii. Dados dos puntos distintos, existe a lo más una recta que los contiene.
iv. Toda recta contiene exactamente tres puntos.
v. Dadas una recta r y un punto P, existe una y solo una recta s incidente con P y paralela
a r.
vi. Dados un punto P y una recta r no coincidentes con P, r contiene un punto P* y solo
uno, tal que ninguna recta contiene a los puntos P y P*.
MODELO 1:
Puntos 𝑃𝑖 , 𝑄𝑖 , 𝑅𝑖 𝑐𝑜𝑛 𝑖 = 1,2,3
𝑟𝑖𝑘 = 𝑃𝑖 , 𝑄𝑘 , …
Rectas: construirlas con la siguiente información y el tercer subíndice
coincide con los dos primeros si 𝑖 = 𝑘 y difiere de ambos si 𝑖 ≠ 𝑘
Nota: son nueve conjuntos de 3 elementos cada uno
Relación de incidencia: un punto es incidente con la recta 𝑟𝑖𝑘 si y solo si es un elemento del
correspondiente conjunto.
MODELO 2:
Punto: punto geométrico
Recta: línea que une tres puntos
Demuestre que el sistema axiomático es consistente usando los dos modelos
e) En el sistema axiomático del ejercicio d) , demuestre los siguientes teoremas:

i. Existe por lo menos un punto.
ii. Dadas dos rectas distintas, existe a lo sumo un punto que está en ambas.
iii. No todas las rectas son incidentes con un mismo punto.
f) Un sistema está compuesto por dos tipos de elementos x e y, y una relación “perteneciente
a” que puede o no existir entre una x y una y dados.
Los siguientes axiomas definen la estructura del sistema
i. Si 𝑥1 es una x cualquiera , hay exactamente cuatro y que pertenecen a 𝑥1
ii. Si 𝑦1 es una y cualquiera , hay exactamente dos x que pertenecen a 𝑦1
iii. Si 𝑥1 𝑦 𝑥2 son dos x, hay exactamente una y que pertenecen a 𝑥1 𝑦 𝑥2
a. Demuestre que este sistema es compatible.
b. ¿Es independiente? Justifique su respuesta.

Sistemas Axiomaticos - Clase 1-3 Geometria III

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Sistemas Axiomaticos - Clase 1-3 Geometria III

Cargado por

Copyright:

Formatos disponibles

GEOMETRIA III PROFESORADO DE EDUCACION SECUANDARIA EN MATEMATICA – AÑO 2018

Sistemas axiomaticos - un poco de historia

Los Elementos de Euclides es un tratado matemático y geométrico que se compone de trece

El contenido de los libros es el siguiente:

 Libros 1 al 4 tratan sobre geometría plana.

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

Mas sobre los postulados - Otra forma de enunciarlos

1. Dos puntos cualesquiera determinan un segmento de recta.

Posteriormente Arquímedes (287 – 212 a.c) y Galileo (renacimiento 1564 – 1642)

Posteriormente declina la utilización del método axiomático hasta que el siglo

Moritz Pasch (Nueva geometría 1882)

El axioma enuncia que, en el plano:

David Hilbert (Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943)

 Orden, una relación ternaria entre puntos;

El método axiomático - Sistemas axiomáticos – Desarrollo

No es una proposición (no es

Definiciones (todos los términos no primitivos

Una disciplina matemática se estructura en un conjunto de proposiciones llamadas TEOREMAS

Un sistema axiomático consiste en:

 Términos primitivos u objetos indefinidos (base del vocabulario técnico necesario)

Ejemplo de sistema axiomático deductivo

a) Conceptos primitivos: punto, recta, incidencia (palabras vacías de significado)

Lo único que interesa es que se cumplan las dos condiciones siguientes:

Nota: reducción al absurdo

Interpretación y modelo de un sistema axiomático

Verificar la verdad de los axiomas y la valides del teorema.

Verificar la verdad de los axiomas y la valides del teorema.

Propiedades de un sistema axiomático

Un sistema deductivo no es consistente o, como también se dice, es contradictorio, al ser

 Modelos finitos: en algunos sistemas la consistencia puede probarse construyendo un

Compatibilidad: cuando ningún axioma contradice a otro en un sistema axiomático no es posible

Un poco más claro.

En un sistema contradictorio toda proposición “q” es teorema.

Se puede dar la siguiente definición:

“Un sistema axiomático es compatible si y solo si sus axiomas no implican contradicción”

La consistencia o compatibilidad se prueba de manera indirecta por el método de modelos. La

La compatibilidad de los sistemas axiomáticos se deduce a partir de modelos.

Puede darse la siguiente definición efectiva:

“Un sistema axiomático es compatible si y solo si tiene modelo”

euclidianos de geometrías no euclidianas, probando que si estas no fueran compatibles tampoco lo

“un axioma es independiente si no puede demostrarse lógicamente a partir de los otros

Sea S un sistema axiomático, A un axioma de S, ~𝑨 su negación

A es independiente en S si y solo si S y (S – A) + ~𝑨 son ambos compatibles.

Recordar que la compatibilidad se prueba mediante modelos.

Un sistema axiomático es completo cuando no es posible incorporar nuevos axiomas y que el

Si un sistema es categórico es necesariamente completo. Si el sistema es incompleto existe al

Nota: un isomorfismo es toda función biyectica en donde la imagen de la composición es igual a la

T1: S es una relación reflexiva

T2: S es una relación antisimétrica

T3: S es una relación transitiva en C.

 Punto, Recta, Incidencia (palabras vacías de significado)

c) Llamando “puntos” a los elementos a, b y c de un conjunto 𝑼 = 𝒂 , 𝒃 , 𝒄 de tres elementos

Puntos 𝑃𝑖 , 𝑄𝑖 , 𝑅𝑖 𝑐𝑜𝑛 𝑖 = 1,2,3

coincide con los dos primeros si 𝑖 = 𝑘 y difiere de ambos si 𝑖 ≠ 𝑘

Nota: son nueve conjuntos de 3 elementos cada uno

Punto: punto geométrico

Recta: línea que une tres puntos

Demuestre que el sistema axiomático es consistente usando los dos modelos

e) En el sistema axiomático del ejercicio d) , demuestre los siguientes teoremas:

También podría gustarte