Tarea 1, Fundamentos de la Matemática 2

Fernanda Jofré Loma-Osorio

fernanda.jofre@usach.cl

1. Escribir en el orden lógico los axiomas de cuerpo conmutativo,

ordenado y completo de R.
 Axiomas de Cuerpo (también llamados de Campo):
1. R es cerrado bajo la suma, esto es: x , y ∈ R ⇒ x + y ∈ R .
2. La suma es conmutativa: ∀ x , y ∈ R , x+ y = y + x .
3. La suma es asociativa: ∀ x , y , z ∈ R , x+ ( y+ z ) =( x+ y ) + z .
4. Existencia del elemento neutro para la suma:
∃ e ∈ R tal que x +e=e + x=x , ∀ x ∈ R ; donde e es 0.
5. Todo número real posee un inverso aditivo: ∀ x ∈ R , ∃ m∈ R tal que x +m=e.
6. R es cerrado bajo el producto: x , y ∈ R ⇒ x ∙ y ∈ R.
7. El producto es conmutativo: ∀ x , y ∈ R , x ∙ y= y ∙ x.
8. El producto es asociativo: ∀ x , y , z ∈ R , x ∙ ( y ∙ z )=( x ∙ y ) ∙ z.
9. Existencia del elemento neutro para el producto:
∃ e' ∈ R tal que x ∙ e ' =e ' ∙ x =x , ∀ x ∈ R ; donde e' es 1.
10. Existencia inverso multiplicativo:
'
, ∀ x ∈ R , si x ≠ e , entonces∃ z ∈ R tal que x ∙ z=e .
11. Distributivita: ∀ x , y , z ∈ R , x ∙ ( y + z )=x ∙ y + x ∙ z.
 Axiomas de Orden:
I. La Tricotomía:
Si x , y ∈ R, entonces se cumple una y solo una de las siguientes opciones:
x< y; x=y; x> y
II. Si x < y, y además y < z, entonces x < z.
III. Si z ∈ R y además x < y, entonces x + z< y+ z.
IV. Si x < y y z >0, entonces x ∙ z < y ∙ z.
V. Si x < y z <0, entonces x ∙ z > y ∙ z
 Axioma de Completitud o Axioma del Supremo
“Todo subconjunto no vacío S de R acotado superiormente posee extremo superior,
esto es, existe un número real b ∈ R tal que b = sup(S).”[CITATION Pér \p 2 \l 13322 ]

Bibliografía
Axiomas de los números reales. Wikipedia. La Enciclopedia libre. (2021). Retrieved 23
September 2021, from https://es.wikipedia.org/wiki/Axiomas_de_los_n
%C3%BAmeros_reales.
cimat. (2021). Los Números Reales [Ebook]. Retrieved 23 September 2021, from
https://www.cimat.mx/~jortega/MaterialDidactico/Analisis/Cap1v3.pdf.
Pérez, M. (s.f.). TEOÍA AXIOMÁTICA DE NÚMEROS REALES. Obtenido de
https://www.maperez.net/documents/CalDIV-numeros_reales.pdf

2.Escribir en el orden lógico los axiomas de la geometría euclidiana

plan de David Hilbert.
Axiomas I: Axiomas de incidencia o pertenencia.
Ax I-1: Dos puntos diferentes A; B determinan una única recta. Lo que escribiremos
(AB) = l o (BA) = l.
Ax I-2: Cualquier par de puntos de una recta la determinan completamente.
Ax I-3: Existen al menos tres puntos que no pertenecen a una misma recta. Tres
puntos que no pertenecen a una misma recta pertenecen al menos a un plano.
Ax I-4: Tres puntos no colineales determinan un único plano.
Ax I-5: Si dos puntos de una recta pertenecen a un plano, todos los puntos de la
recta pertenecen a un mismo plano. en este caso diremos que la recta pertenece al
plano.
Ax I-6: Si un punto pertenece a dos planos, existe al menos otro punto que
pertenece a los dos planos.
Ax I-7: Existen al menos cuatro puntos que no pertenecen a un mismo plano.
Axiomas O: Axiomas de orden
 Ax O-1: Si A, B, C son puntos de una recta y si B está entre A y C, entonces los tres
puntos son distintos y B está entre C y A.
 Ax O-2: Si A y C son puntos diferentes de una recta, entonces existe al menos un
punto B entre A y C y existe al menos un puntos D tal que C está entre A y D.
 Ax O-3: Si A, B, C son tres puntos diferentes de una recta, uno y solo uno de ellos
está entre los otros dos.
 Ax O-4: Dados cuatro puntos de una recta A, B, C, D de una misma recta, ellos
siempre pueden ser arreglados de modo que:
o B esté entre A y C.
o B esté entre A y D.
o C esté entre A y D.
o C esté entre B y D.
 Ax O-5: Una recta separa el plano. Sea la recta l en un plano y sean los puntos A y
B del plano que no pertenecen a l, diremos que ellos están en:
o El mismo lado con respecto a l si entre A y B no existe ningún punto de l.
o Lados diferentes si entre A y B existe al menos un punto de l.

Axiomas C: Axiomas de congruencia

 Axiomas de congruencia de segmentos
  Ax CS-1: Existe una relación entre segmentos que se expresa mediante la
palabra congruente y que posee las siguientes propiedades.
- Propiedad refleja: Todo AB ´ es congruente a sí mismo: AB ´ ≅ AB
´ y AB
´ ≅
´ .
BA
- Propiedad simétrica: Si AB´ ≅ A'´B' , entonces A'´B' ≅ AB ´ .
´ ≅ A'´B' y A'´B' ≅ A' '´B' ', entonces AB
- Propiedad transitiva: Si AB ´ ≅ A ' '´B' '
.
 Ax CS-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 cualquiera de los
´ ≅ A'´B' .
lados de A', un único punto B' tal que AB
 Ax CS-3, Axioma de suma y resta de segmentos: Si AB ´ y BC ´ sobre la recta
l no tienen puntos comunes distintos de B, y si A'´B' y B'´C ' sobre la recta l'
no tienen puntos comunes distintos de B' , entonces se cumple:
´ ≅ A´' B' y BC
1. AB ´ ≅ B'´C 'implican que AC´ ≅ A'´C ' .
´ ≅ A'´C ' y BC
2. AC ´ ≅ B'´C ' implican que AB´ ≅ A´' B' .
 Axiomas de congruencia de ángulos
 Ax CA-1: Dado un ∠( h , k) en un plano Π y una recta l' en un plano Π ' 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 ' ) es
congruente con ∠( h , k). En símbolos: ∠( h , k)≅ ∠ (h' , k ' ).
Este axioma nos permite construir o copiar un ángulo congruente con otro
dado. En particular, todo ángulo es congruente consigo mismo y todos los
ángulos extendidos son congruentes entre ellos.
 Ax CA-2: Si ∠( h , k) es congruente con∠( h' , k ' ) y ∠( h' , k ' ) es congruente
con ∠( h' ' , k ' ' ), entonces ∠( h , k) es congruente con ∠ ( h' ' , k '' ) .
 Ax CA-3 Axioma de suma y resta de ángulos: Dados los ángulos β y γ
adyacentes y α como en la figura, β ' y γ ' adyacentes y
α ' como en la figura, entonces:
1. Si β ≅ β ' , γ ≅ γ ' entonces α ≅ α ' (suma de ángulos).
2. Si α ≅ α ' , β ≅ β ' entonces γ ≅ γ ' (resta de ángulos).
3. Si α ≅ α ' , γ ≅ γ ' entonces β ≅ β ' (resta de ángulos).
 [CITATION Gla16 \p 19 \l 13322 ]

 Axioma de congruencia de triángulos: Si en los triángulos ABC y A' B' C' se

cumplen las siguientes relaciones:
´ ≅ A´' B' ; AC
AB ´ ≅ A'´C ' ; ∠ BAC ≅ ∠B' A ' C ' ,
entonces, también se cumple que
∠ ABC ≅ ∠ A ' B' C ' ; ∠ ACB ≅ ∠ A' C' B'
En palabras, el axioma nos dice que bajo las hipótesis dadas, los ángulos opuestos a
lados congruentes son congruentes.
Axiomas de Continuidad

[CITATION Gla16 \p 35 \l 13322 ]

[CITATION Gla16 \p 36 \l 13322 ]

Axioma P: Axioma de las paralelas.

 Axioma de las paralelas: A través de un punto P que no pertenece a una recta l
existe una única paralela a l que pasa por P.

Bibliografía
Bobadilla A., G. (2016). APUNTES DE GEOMETRÍA PARA ESTUDIANTES DE PEDAGOGÍA 2016.
Santiago.

3. Describir qué es una teoría axiomática.

“Una teoría axiomática es un modelo formal de una realidad que queremos estudiar. Está
compuesta por axiomas, o sea, oraciones a partir de las cuales, usando sólo reglas lógicas,
podamos obtener todas las propiedades de aquello que queremos modelar. (…) los axiomas
deben establecer las características y propiedades esenciales de los objetos que estamos
tratando de describir en nuestro modelo.”[CITATION LEW11 \p 117 \l 13322 ]

Bibliografía
LEWIN, R. (2011). LA TEORÍA DE CONJUNTOS Y LOS FUNDAMENTOS DE LA
MATEMÁTICA (Primera Edición ed.). (P. Felmer, & S. Martínez, Edits.) Chile: J.C.
Sáez Editor.

4. En el marco de una teoría axiomática, definir: Axioma, Teorema

y definición.
Axioma: “Proposición tan clara y evidente que se admite sin demostración.” (Real
Academia Española, 2014)
Teorema: “Proposición demostrable lógicamente partiendo de axiomas, postulados o de
otras proposiciones ya demostradas.” (Real Academia Española,2014)
Definición: “Proposición que expone con claridad y exactitud los caracteres genéricos y
diferenciales de algo material o inmaterial.” (Real Academia Española,2014)

Bibliografía
axioma. Real Academia Española. (2014). Retrieved 22 September 2021, from
https://dle.rae.es/axioma.
definición. Real Academia Española. (2014). Retrieved 22 September 2021, from
https://dle.rae.es/definici%C3%B3n?m=form.
teorema. Real Academia Española. (2014). Retrieved 22 September 2021, from
https://dle.rae.es/teorema?m=form.