CONSTRUCCIÓN DE LOS
NÚMEROS NATURALES
Integrantes:
• Rony Flores Muñoz
• Juan Aquino Mamani
• María Calatayud Torvisco
• Raúl Bejar Bellido
Docente: Hernán José, Espinoza Rojas
AXIOMAS.
Construcción de los naturales N.
Relación de equipotencia.
Dados dos conjuntos A y B, decimos que son
equipotentes, y escribimos A∼B, si existe una
bijección f:A→B
Esta es una relación de equivalencia, ya que es:
Reflexiva (la identidad es una biyección),
Simétrica (la inversa de una biyección es
biyección),
Transitiva (composición de biyecciones es
biyección).
Definición de cardinal.
El cardinal de un conjunto A finito se define como
su clase de equivalencia bajo la relación ∼
Esto se escribe:
Cada número natural es una clase de conjuntos
que son mutuamente equipotentes.
Proceso.
Definimos:
0:=
1:={A∣A∼{a}}
2:={A∣A∼ {a,b},}
3:={A∣A∼ {a,b,c}a,b,c, diferentes}
Y así sucesivamente..
N:={[A]∣A es finito} donde [A] es la clase de
equivalencia de A bajo la relación de equipotencia.
NOTA:El sucesor de un número natural n,
representado por la clase [A∪{x}], donde .
importancia.
Esta formulación permite hablar de cardinalidad
sin depender de una codificación particular
(como la de von Neumann).
Es útil en contextos donde los elementos no
están construidos jerárquicamente, sino a través
de relaciones de cantidad.
Operaciones Básicas en N.
Operaciones Básicas en N.
En esta parte veremos las operaciones básicas en los números naturales,
incluyendo la adición, multiplicación, sustracción, división y potencia. Se
presentan axiomas, teoremas y ejemplos para ilustrar la ley de composición
interna y sus propiedades fundamentales.
Adición
La adición de a y b, denotada como (a + b), se refiere a la clase de
equivalencia [A U B].
[A U B] = |a| + |b| es la suma de valores absolutos independientes de cada
elemento.
Adiciones y características
Si m y n ∈ ℕ, se cumple la ley de composición interna.
• ℕ×ℕ→ℕ
• (m, n) ⟶ + (m, n) = m + n.
A continuación se presentan los axiomas de la suma y en los teoremas de
la cancelación y de la igualdad de la suma.
Axiomas de la Suma
Axioma Descripción
Axioma de cerradura ∀m, n ∈ ℕ, m + n ∈ ℕ
Axioma de conmutatividad ∀m, n ∈ ℕ ⟹ m + n = n + m
Axioma de asociatividad ∀m, n, p ∈ ℕ ⟹ (m + n) + p = m + (n +
p)
Axioma de identidad aditiva ∀m ∈ ℕ, ∃ 0 ∈ ℕ, m + 0 = 0 + m = m
Teoremas de la cancelación y de la igualdad de la suma
Teorema de la cancelación de la suma:
Si n, m, p ∈ ℕ, m + n = m + p ⇒ n = p.
Teorema de la igualdad:
Si n = p ⇒ m + n = m + p.
Multiplicación
La multiplicación de a y b, denotada como (a, b), se llama a la clase
de equivalencia [A × B].
Entonces, [A × B] = |A| × |B| usando el valor absoluto.
Producto y características
Si m y n ∈ ℕ, se cumple la ley de composición interna.
• ℕ×ℕ→ℕ
• (m, n) → (m, n) = m × n.
Axiomas del producto
Teorema de la cancelación:
Si n, m, p ∈ ℕ, m × n = m × p ⇒ n = p.
Teoremas de igualdad:
Si n = p ⇒ m × n = m × p.
Características distributivas del producto
∀ m, n, p ∈ ℕ ⟹ m(n + p) = mn + mp.
Se presenta la demostración de esta propiedad utilizando axiomas de
suma y multiplicación.
m (n + p) = [M]. ([N] + [P]) …Por notación. (Carranza y Kong,1970,
p.172)
= [M] x ([N] U [P]) …Por demostración de adición y producto.
= [(M x N) U (M x P)]……. Por A x (B𝖬 𝐶) = (𝐴 𝑥 𝐵) 𝖬 (𝐴 𝑥 𝐶)
= [M] [N] + [M] [P] ……. Por demostración de adición y multiplicación
= m. n + m. p ……. Por notación matemática. (Carranza y Kong, 1970,
P172).
Diferencia
“Dados los números naturales a y b se llama diferencia de a y b y se
denota con a-b tal que a >b. al número natural c,
si existe, tal que
a= b + c.” (Carranza y Kong.1970, 188)
O sea,
a-b =c sí solo. si a =b +c.
De la propiedad
a+0 =0 para todo a ε N. (Carranza y Kong.1970,188)
Cociente
Se tienen dos números naturales a y b, donde b ≠0; entonces, se
denomina división a / b al número natural c tal que a= b. c
(Carranza,1970, p.192)
División y la ley de la composición interna
Dados los números naturales a y b≠0, se llama cociente de a y b y se
denota con a/b al número natural c
si existe, tal que a=b c., De forma simbólica, se representa de la
siguiente manera.
• ℕxℕ→ℕ
• (m, n) → (m, n) =m/n =p; ⇔ n≠ 0 Carranza,1970. p.192)
Potencia
Dado un conjunto E existe un conjunto y solamente uno cuyos elementos
son precisamente todos los subconjuntos o partes de E, tal conjunto lo
denotaremos con P(E) y lo llamaremos conjunto potencia de conjunto de
partes de E, Simbólicamente.
P (E) = {A/A⊏E} (Carranza,1970. p.12)
• Pot. ℕ x ℕ → ℕ
• (m, n) ⟶. (𝑚, 𝑛) = m n → Ley exponencial
Igualmente, es posible definirla aplicando inducción matemática.
1. a0 = 1
2. an+1 = a n a…… (Aplicando las leyes de potencia del algebra suma
de exponentes.)
Postulado de orden
Los postulados son verdades que sirven para comparar dos o más números
mediante los símbolos:
“menor que”
“mayor que”
“igual que”
Postulado de tricotomía
Si comparamos dos números a y b , sólo puede haber una relación entre
ellos y sólo una.
a b
a b
a b
El orden parcial en
Sea un conjunto y una relación R, decimos que R es orden parcial en
si:
1. Reflexiva (R , )
2. Transitiva (si R R R , )
3. Antisimétrica (si R R , )
Ejemplo
Sea R una relación en definida por R es par
Entonces R es un orden parcial
Principio del buen orden
Sea M un subconjunto de números naturales no vacío. Entonces M tiene
un elemento menor que todos los demás.
Principio de inducción matemática
Sea M un subconjunto de los números naturales que cumple:
1. M
2. Si M, entonces M.
Entonces M =
Proposición
El principio del buen orden (PBO) implica el principio de inducción
matemática (PIM)
Prueba
Sea , que cumple:
1. Si , entonces .
PD:
Sabemos que
Si
Sea
Afirmación
Supongamos que
Por ser , con
Entonces aplicando PBO a , tenemos:
, tal que , y es menor que todos los elementos de
Además,
Entonces
Luego , por el punto (2) del PIM
()
Por lo tanto
, queda probado que el PBO implica PIM
Proposición
El principio de inducción matemática (PIM) implica el principio del buen
orden (PBO)
Prueba
Sea
PD: , tal que es menor que todos los demás elementos de .
Supongamos que no tiene un elemento que sea menor que todos los
demás.
Por lo que
Sea
Como ,
Sea
Como ,
Sea , tal que , entonces
Por otro lado:
, y , pues entonces sería el elemento en menor que todos los
demás.
En consecuencia
Como cumple (1) y (2) del PIM, podemos concluir que
Pero además , entonces
Por lo tanto (), puesto que
tiene un elemento menor que todos los demás, es decir cumple
PBO
GRACIAS