UNIVERSIDAD NACIONAL DEL CALLAO

FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICA

ESCUELA PROFESIONAL DE MATEMÁTICA

CONSTRUCCION DE NUMEROS NATURALES, ENTEROS Y

RACIONALES

PRESENTADO POR

Gaspar Bujaico, Ronald Edward

LIMA- PERÚ

2018

1
 CAPITULO I

CONSTRUCCION DE NUMEROS NATURALES, ENTEROS

Y RACIONALES

1.1. NÚMEROS NATURALES

El objetivo de esta sección es definir un conjunto para representar los números 0,

1, 2, ... Para completar, también debemos mostrar cómo sumar y multiplicar estos

números y probar todas las leyes habituales: conmutativa, asociativa, etc. La idea más

importante contenida en nuestra construcción es la de la inducción matemática.

Para empezar, necesitamos un axioma que nos dé un conjunto lo suficientemente

grande como para construir los números naturales.

Definición Para cualquier conjunto x, sea S(x) = x ∪{x}.

Axioma del infinito: Hay un conjunto X tal que

(1) ø ∈ X.

(2) si y ∈ X entonces S(y) ∈ X.

2
(3) si y ∈ X y y ≠ ø, entonces y= S (z) para algún z ∈ X.

Cualquier conjunto que cumpla con estas condiciones debe contener al menos ø, S

(ø), S (S (ø)), S(S(S(ø))), etc. Intuitivamente un conjunto infinito.

Teorema. Si x es un conjunto, entonces S(x) es un conjunto.

Teorema. Las condiciones (1), (2) y (3) pueden ser ciertas para un solo conjunto.

Definición. Sea ℕ (los números naturales) el único conjunto que satisface (1), (2) y (3).

Definición.

0=ø

1 = S (0)

2 = S (1)

3 = S (2)

4 = S (3).

Teorema. ℕ satisface los axiomas de Peano:

(a) 0 ∈ ℕ.

(b) Para todo k ∈ ℕ S(k) ∈ ℕ.

(c) S(k) ≠ 0 para todos los k ∈ ℕ.

(d) Para todo j, k ∈ ℕ S(j) = S(k) si y solo si j = k.

(e) Si X ⊂ ℕ y 0 ∈ X, y si para todo k ∈ ℕ k ∈ X implica S(k) ∈ X, entonces X = ℕ.

Teorema (Principio de Inducción). Si una propiedad p(x) es:

(1) verdad para x = 0, y

3
(2) siempre que sea cierto sobre un número k, k ∈ ℕ, entonces será cierto para S(k),

luego p(x) es verdadero para todo x ∈ ℕ.

Definiendo la adición. Podemos describir la suma como una función A de ℕ × ℕ a ℕ.

Pensemos en 2 + 3 = 5, por ejemplo, como A (2,3) = 5. Como mínimo, esta función A

debe satisfacer dos propiedades:

(1) A (n, 0) = n, y

(2) A (n, S(k)) = S(A (n, k)).

Consideremos S(k) como k + 1. Estas leyes dicen que n + 0 = n y n + S(k) = S(n + k)

Notación. Escribiremos a +ℕ b = c en lugar de A(a, b) = c.

Teorema. S(n) = n +ℕ 1 para todos los n ∈ ℕ.

Teorema. 0 +ℕ n = n para todos los n ∈ ℕ.

Teorema. +ℕ es conmutativo.

Teorema. +ℕ es asociativo.

Definiendo la multiplicación. Una función de multiplicación M de ℕ × ℕ a ℕ debería

satisfacer:

(1) M (n, 0) = 0, y

(2) M (n, S(k)) = M (n, k) +ℕ n.

Notación. Escribiremos a ·ℕ b = c para M (a, b) = c.

Teorema. n ·ℕ 1 = n para todo n ∈ ℕ.

Teorema. n ·ℕ (m +ℕ p) = (n ·ℕ m) +ℕ (n ·ℕ p) para todos n, m, p ∈ ℕ.

4
Teorema. (n +ℕ m) ·ℕ p = (n ·ℕ p) +ℕ (m ·ℕ p) para todos n, m, p ∈ ℕ.

Teorema. ·ℕ es conmutativo.

Teorema. ·ℕ es asociativo.

Definición. Una relación R en A es irreflexiva si y solo si ¬xRx para todas las x ∈ A. R

satisface la tricotomía si y solo si siempre x, y ∈ A, entonces una y solo una de las

siguientes afirmaciones son verdaderas: xRy, yRx o x = y. R se llama orden parcial si es

irreflexivo y transitivo. Una ordenación parcial se llama ordenación lineal si satisface la

tricotomía.

Definición. Para todas las x, y ∈ ℕ, diremos x <ℕ y si y solo si x +ℕ S(k) = y para algún

k ∈ ℕ.

Teorema. Si x <ℕ y, entonces x ∈ y para todo x, y ∈ ℕ.

Teorema. <ℕ define un ordenamiento lineal en ℕ.

1.2. NUMEROS ENTEROS

En esta sección construiremos un conjunto para representar los enteros positivos y

negativos. Como antes, definiremos la suma y la multiplicación. Además de las

propiedades probadas para ℕ, ahora tendremos inversos aditivos. La idea clave en

nuestra construcción es el uso de clases de equivalencia.

Comenzamos por definir una relación ~ en ℕ × ℕ:

Definición. (a, b) ~ (c, d) si y solo si a +ℕ d = b +ℕ c.

Teorema. ~ define una relación de equivalencia en ℕ × ℕ.

Notación. Escribiremos [(a, b)]~ para representar una clase de equivalencia de ~.

5
Definición. ℤ (los enteros) = la colección de todas las clases de equivalencia de ~.

Definición. ℤ = {x ⊂ ℕ × ℕ: x = [(a, b)]~ }.

Teorema. ℤ es un conjunto.

Definición. [(a, b)]~ +ℤ [(c, d)]~ = [(a +ℕ c, b +ℕ d)]~ .

Teorema. +ℤ es conmutativo y asociativo.

Definición. 0ℤ = [(0, 0)]~

Teorema. 0ℤ +ℤ a = a para todo a ∈ ℤ.

Teorema. 0ℤ es la identidad aditiva para +ℤ .

Definición. Para [(c, d)]~ ∈ ℤ , − ([(c, d)]~ )= [(d, c)]~ .

Teorema. a +ℤ (− a) = 0ℤ para todos a ∈ ℤ.

Teorema. Sea − a ∈ ℤ, − a es el inverso aditivo para +ℤ .

Definición. [(a, b)]~ ·ℤ [(c, d)]~= [((a ·ℕ c) +ℕ ( b ·ℕ d), (b ·ℕ c) +ℕ ( a ·ℕ d))]~ .

Teorema. ·ℤ es conmutativa, asociativa y distributiva sobre +ℤ .

Definición. 1ℤ = [(1, 0)]~ .

Teorema. 1ℤ es la identidad para ·ℤ .

Teorema. <ℤ es un ordenamiento lineal.

1.3. NÚMEROS RACIONALES

Nuestro próximo objetivo es construir los números racionales. El método es muy

parecido la sección anterior.

6
 Cuando nos expandimos de ℕ a ℤ, adquirimos la subtracción (pensemos en a − b

como

a +ℤ (−b)). Hicimos esto (más o menos) formando ℤ como la colección de todos los

problemas de resta: cada (a, b) representa a − b. Así es como llegamos a la relación ~.

(a, b) y (c, d) debe representar el mismo número si a − b = c − d. Ya que no podemos

restar en ℕ, reescribimos esto como a +ℕ d = b +ℕ c.

Ahora para expandir ℤ a ℚ deseamos adquirir la división. Podemos pensar en ℚ

como pares ordenados (a, b), tal que a, b ∈ ℤ que representarán problemas de división, a

/ b. Por supuesto que b no puede ser 0. Nuevamente, (a, b) y (c, d) deben representar el

mismo número si y solo si a / b = c / d. Ya que no podemos dividir en ℤ, tenemos que

reescribir esto.

Definición. Definimos una relación ≈ en ℤ × (ℤ \ {0ℤ }) por:

(a, b) ≈ (c, d) si y solo si a ·ℤ d = b ·ℤ c.

Definición. ℚ (los racionales) = la colección de todas las clases de equivalencia de ≈.

Definición. ℚ = {x ⊂ ℤ × ℤ : x = [(a, b)]≈ para algún b ≠ 0ℤ }.

Definición. [(a, b)]≈ +ℚ [(c, d)]≈ . = [((a ·ℤ d)+ℤ ( b ·ℤ c), b ·ℤ d)]≈.

Teorema. +ℚ es conmutativo y asociativo.

Teorema. 0ℚ es la identidad aditiva para +ℚ , y para cada x ∈ ℚ , −𝑥ℚ es su inverso

aditivo.

Definición. [(a, b)]≈ ·ℚ [(c, d)]≈ = [(a ·ℤ c, b ·ℤ d)]≈ .

Teorema. ·ℚ es conmutativo, asociativo y distributivo sobre +ℚ .

7
Definición. 1ℚ = [(1ℤ , 1ℤ )]≈ ; (1/[(a, b)]≈ )ℚ = [(b, a)]≈ .

Teorema. 1ℚ es la identidad multiplicativa para ·ℚ , y para cada x ∈ ℚ, x ≠ 0ℚ ,

(1/𝑥)ℚ es su inverso multiplicativo.

Definición. [(a, b)]≈ es positivo si 0ℤ <ℤ a ·ℤ b, y negativo si a ·ℤ b <ℤ 0ℤ .

Definición. Para r, s ∈ ℚ, r <ℚ s si y solo si s +ℚ (−𝑟ℚ ) es positivo.

Definición. Para r, s ∈ ℚ, s <ℚ r si y solo si r +ℚ (−𝑠ℚ ) es positivo.

Teorema. <ℚ es un ordenamiento lineal.

Definición. 0ℚ = [(0ℤ , 1ℤ )]≈ cuando 1ℤ = [(1, 0)]~ .

Definición. −([(𝑝, 𝑞)]≈ ) ℚ = ([(− 𝑝ℤ , 𝑞)]≈.