UNIVERSIDAD NACIONAL DE EDUCACIÓN

ENRIQUE GUZMÁN Y VALLE

“Alma Máter del Magisterio Nacional”

ESCUELA DE POSGRADO
MAESTRIA EN EDUCACION CON MENSIÓN EN MATEMATICA

CURSO : TOPICOS DE ANALISIS MATEMATICO

APUNTES DE

CONSTRUCCIONES NUMÉRICAS

DOCENTE : Mg. Hernán José Espinoza Rojas

Lima – Perú
2021-I
1.2 Relaciones de Equivalencia.

Definición.-

Una relación R definida sobre un conjunto A   es de equivalencia si y solo si

R es reflexiva, simétrica y transitiva.

Ejemplo:

La igualdad (  ) de conjuntos es una relación de equivalencia.

En efecto:

i) A  A;  A (Reflexiva)

ii) A  B  B  A ;  A, B (Simétrica)

iii) A  B  B  C  A  C ; A, B, C (Transitiva)

1.2.1 Clases de Equivalencia

Sea un conjunto A   , R una relación de equivalencia definida sobre A y a  A ;

la clase de equivalencia de a , que se denota por  a  se define como:

 a   x  A / x, a  R

Ejemplo 1:

Sea: A =  1,2,3  y R = 1,1, 1,2, 2,1, 2,2, 3,3 una relación de equivalencia;

entonces tenemos las siguientes clases de equivalencia:

  1   x  A /x,1 R   1,2 
 
 2   x  A /x,2 R   1,2  
2

 3   x  A /x,3 R   3 

Se puede observar que la clase de 1 es la misma clase de 2; es decir: 1  2

 Las clases de equivalencia son: 1, 3 ó 2, 3

Ejemplo 2:

Sea el conjunto: A =  2,1, 0, 1, 2, 3 y la relación R = x, y  / x 2  y 2  

Es decir:

R =  2,2,  2,2, 1,1, 1,1, 1,1, 0,0, 3,3, 2,2, 2,2, 1,1

Entonces se determinan las siguientes clases de equivalencia:

 2   x  A / x, 2  R   2,2
 1   x  A / x, 1  R   1, 1 
 0   x  A / x, 0  R   0 
 3   x  A / x, 3  R    3 

1.2.2 Conjunto Cociente.

Sea un conjunto A   , R una relación de equivalencia definida sobre A ; entonces el

conjunto cociente de A mediante la relación R , se define como aquel conjunto que está

formado por todas las clases de equivalencia detrminadas.

 A  [ A ] / A  A
R i i

Ejemplo 1:

Sea: A =  1,2,3  y R = 1,1, 1,2, 2,1, 2,2, 3,3

Entonces, el conjunto cociente es:

A    1 ,  3 
R

Ejemplo 2:

Si A =  2,1, 0, 1, 2, 3, y, x R y  x 2  y 2

El conjunto cociente es:

A
R
  2 , 1 ,  0 ,  3 

1.2.3 Teorema de la Partición.

Toda relación de equivalencia definida sobre un conjunto A   , determina una

partición de A , en subconjuntos no vacíos, disjuntos dos a dos y cuya reunión es el conjunto

A ; es decir:

1) Ai   , i  I
2) Ai  Ai   , i  i
3)  A1  A
iI
 A
A2 R
A3
A1
A5 A4

Capítulo II: Sistemas Numéricos

En la educación básica, los sistemas numéricos constituyen uno de los componentes

fundamentales, sin embargo su estudio está basado prioritariamente en el aspecto operativo

y sus aplicaciones a la solución de situaciones problemáticas cotidianas.

No obstante, en el nivel superior, cuando abordamos la formación de los futuros

docentes de la especialidad, la orientación es distinta, no basta operar con ellos y conocer

alguna de sus aplicaciones, sino que el propósito es que el estudiante, futuro docente de

matemática, logre una cabal comprensión de la naturaleza de los sistemas numéricos, a partir

de su construcción.

2.1 El Sistema de los Números Naturales.

Uno de los conjuntos numéricos que “mejor conocemos” es obviamente el de los

números naturales, porque los usamos para contar inclusive antes de ir a la escuela; y ya en

ella, sabemos todos por experiencia propia, que casi todo el currículo de la primaria y gran

parte de la secundaria gira alrededor de ellos. Pese a nuestra vasta experiencia con los
números naturales, si en algún momento nos preguntan, ¿qué es un número natural?, o, ¿por

qué 2 + 3 = 5?, seguramente que muchos no podríamos dar una respuesta idónea pese a

nuestra gran familiaridad con ellos. Claro, quizás no haya necesidad de saberlo, pues la

orientación que tiene la educación básica es otra, pero, a nivel de formación de docentes

resulta fundamental conocer el origen y la naturaleza de cada clase de números, a partir de

su construcción. Para iniciar el proceso de construcción de los números naturales, usaremos

el concepto de CLASE, concepto este similar al de conjunto. La razón fundamental de

adoptar este término es que no podemos considerar el concepto de conjunto para referirnos a

las colecciones de objetos “excesivamente grandes”, so pena de producir contradicciones de

orden lógico.1

2.1.1 Conceptos iniciales.

a. Axioma de la unión de clases

“Dadas las clases A y B; entonces existe una clase U que los contiene”.

Es decir:

Dados A y B clases; entonces, U / A  U  B  U

b. Clase de Equivalencia

Sea una clase A no vacía ( A   ); R una relación de equivalencia definida sobre

la clase A y a  A ; la clase de equivalencia de "a" , se denota por a  y se define

como:

a  x  A /x, a  R

1
Carranza, C. (1969). Teoría de conjuntos y números naturales. P. 159.
c. La clase cociente

Sea A una clase no vacía ( A   ); R una relación de equivalencia definida en la

clase A; la clase cociente de A mediante la relación R, se denota por A , y está

R

formado por todas las clases de equivalencia determinadas en la clase A. Es decir:

A  a  /   1,2,3...
R i i

En virtud de estos conceptos, para iniciar la construcción de los números

naturales, convendremos denominar:

F la clase de todos los conjuntos finitos; y

C la clase de todos los conjuntos.

Entonces, por lógica, podemos afirmar que: F  C.

d. Equipotencia

En la clase C definimos la relación "" equipotente, como:

Si A  C y B  C; entonces decimos que A es equiponte a B si y solo si existe

una función f de A en B, biyectiva.

Es decir: A  B  f : A  B biyectiva .

Se prueba que la relación equipotente ( "" ) es de equivalencia.

En efecto:

1) Reflexiva: A  A, A, pues  f : A  A, biyectiva

2) Simétrica: Si A  B  B  A, A, B clases.

En efecto:
 AB f : A  B biyectiva
1
  f : B  A biyectiva
BA

3) Transitiva: A  B  B  C; entoncesA  C

En efecto:

A  B  f : A  B
gof : A  C biyectiva
B  C  g : B  C

 AC

Resulta que: "" es una relación de equivalencia en C y también en F y

denotamos por: C/  y yF /  las clases cocientes respectivas.

Observación:
W0 = F/ 
Llamaremos a la clase cociente de los conjuntos finitos.

e. Axioma de infinitud

La clase cociente de todas las clases de equivalencia de todos los conjuntos finitos

determinada por la relación de equipotencia "" ., denotada por W0 es un

conjunto.

Es decir: “Existe un conjunto infinito”.

Observación:

Si a  W0 , entonces existe un conjunto finito A, tal que:

a  A  B  F / A  B
 En base a los conceptos dados, podemos formular las siguientes definiciones:

1) Se llama cero y denotamos por “0” a la clase de equivalencia del conjunto

vacío.

Es decir: 0   W 0

2) Se llama uno y se denota por “1” a la clase de equivalencia de un conjunto

unitario. Es decir: 1  uW 0

Además, como:   u ; entonces    u es decir 0 1

3) Si a W0 , llamaremos sucesor de “a” y denotaremos por “ a  1 “ a la clase de

[Au] .

f. Conjunto sucesor

Un subconjunto S  W0 , se llama conjunto sucesor, si y solo si, satisface las

condiciones siguientes:

1) 0  S

2) Si a  S ; entonces a 1 S

Observación:

Si S  W0 I es una familia de todos los conjuntos sucesores entonces la

intersección  W es un conjunto sucesor.

 I

2.1.2 El Conjunto de los Números Naturales.

 Se llama conjunto de números naturales y se denota por , a la intersección de la

familia S  W I de todos los conjuntos sucesores.

Es decir:   W
I

Entonces:  {0,1,2,3,4,...}

2.1.3 Operaciones con Números Naturales.

Para realizar las operaciones de adición y multiplicación podemos incurrir en una

deducción incorrecta de que si tenemos dos conjuntos finitos A y B, también AxB y AB

son conjuntos finitos, para saber esta incongruencia, tomaremos conjuntos finitos que estén

incluidos en la subclase F Ꞌ de todos los conjuntos finitos.

a. Definición

Si a  [A] y b  [B] son números naturales, llamamos suma de a y b , y

denotamos con, a  b , a la clase de equivalencia [ AB] .

Es decir:

a  b  [ A]  [ B]  [ AB]

Como a  [A]  y b  [B]  , a  b  [ A]  [ B]  [ AB]  .

b. Definición

Si a  [A] y b  [B] son números naturales, llamamos producto de a y b , y

denotamos con a  b , a la clase de equivalencia [AxB ] .

 Es decir:

a.b  [ A].[ B]  [AxB ]

Como a  [A]  y b  [B]  , a.b  [ A].[ B]  [AxB ]  .

2.1.4 El Sistema de los Números Naturales.

El sistema de los números naturales, es el conjunto de los números naturales provisto

de las operaciones de adición   y multiplicación  , y una relación “menor que” (<) que

satisfacen los siguientes axiomas:

a) Axiomas de la adición:

A1) Clausura: a, b  , a  b  .

A2) Asociativa: a  b  c  a  b  c;a, b, c  .

A3) Existencia del neutro: 0  / 0  a  a  0  a, a  .

A4) Conmutativa: a  b  b  a; a, b  .

A5) Cancelación: a  c  b  c  ab

b) Axiomas de la multiplicación:

M1) Clausura: a, b  ; a  b  .

M2) Asociativa: a, b, c  ; a  b  c  a  b  c

M3) Existencia del neutro: 1  / 1 a  a 1  a, a  .

M4) Conmutativa: a  b  b  a; a, b  .

 M5) Distributiva: a  b  c   a  b  a  c; a, b, c  .

c) Axiomas de la relación “menor que”:

O1) Si a  b  a  c  b  c; a, b, c  .

O2) Si a  b  a  c  b  c; a, b, c  .

2.2 El Sistema de los Números Enteros.

2.2.1 Extensión de a .

En el conjunto de los números naturales, las operaciones de adición   y

multiplicación  están totalmente definidas; pero no así la sustracción; por lo que se hace

necesario realizar una extensión del conjunto de números naturales a otro conjunto donde

estén totalmente definidas la adición, la sustracción y la multiplicación.

Para realizar la construcción de este nuevo conjunto de números, partiremos del

x .
producto cartesiano

2.2.2 Construcción del Conjunto de los Números Enteros.

Dado el conjunto  0,1,2,3, el producto cartesiano x es:

x  x, y  / x  N  y  N

Es decir:

x  0,0, 0,1,, 1,0, 1,1, 1,2,, 2,0, 2,1, 2,2,

 Aquí definimos la relación "" de la siguiente manera:

a1, a2   b1, b2   a1  b2  a2  b1
Donde (a1, a2 ) y (b1, b2 ) son dos pares ordenados cualesquiera de x .

Ejemplos:

2,4  5,7  2  7  4  5
3,6  4,7  3  7  6  4

Teorema:

La relación "" definida en x es una relación de equivalencia.

Demostración:

Debemos probar que la relación "" es reflexiva, simétrica y transitiva.

1) Reflexiva: (a1 , a2 )  (a1 , a2 );  a1 , a2    x .

En efecto:

a1  a1 , a1  N
a2  a2 , a 2  N
a1  a 2  a1  a 2
 a1 , a 2   a1 , a 2 

Por lo tanto, la relación "" es reflexiva.

2) Simétrica:

(a1 , a2 )  (b1 , b2 )  (b1 , b2 )  (a1 , a2 )

 (a1 , a2 )  (b1 , b2 )  a1  b2  a2  b1 Por definición de "" .

 a2  b1  a1  b2 Por simetría de la igualdad.

 b1  a2  b2  a1 Por conmutatividad de la adición en .

 (b1 , b2 )  (a1 , a2 ) Por definición de "" .

Por lo cual la relación "" es simétrica.

3) Transitiva:

(a1 , a2 )  (b1 , b2 )  (b1 , b2 )  (c1 , c2 )  (a1 , a2 )  (c1 , c2 )

Aplicando la definición de "" se tiene:

a1 , a2   b1 , b2   a1  b2  a2  b1
b1 , b2   c1 , c2   b1  c2  b2  c1

Sumando miembro a miembro, tenemos:

a1  b2  b1  c2  a2  b1  b2  c1

Cancelando b1 y b2; y por definición de "" :

a1  c2  a2  c1
 a1 , a2   c1 , c2 

Por lo que la relación "" es transitiva.

 De 1), 2) y 3) la relación "" es de equivalencia.

Partición del conjunto x

 Se ha probado que la relación "" es de equivalencia; y como toda relación de

equivalencia determina una partición del conjunto en el cual está definida, la relación ""

determina una partición de x en subconjuntos no vacíos, disjuntos dos a dos y cuya

reunión es x . Es decir:

NN
 

a1, a2 , a1' , a2' , a1'' , a2'' ,  a1, a2   a

b1, b2 , b1' , b2' , b1'' , b2'' ,  b1, b2   b
c1, c2 , c1' , c2' , c1'' , c2'' ,  c1 , c2   c


A cada una de estas clases de equivalencia de pares ordenados

de números naturales, denominamos número entero.

Entonces, a  a1 ,a2  ; b  b1 ,b2  , c  c1 , c2  ; … son números enteros; y el

conjunto cociente de x , es el conjunto de los números enteros, al que denotamos



por .

Ejemplos:

Dado: x   0,0, 0,1, 0,2, 0,3, 1,0, 1,1, 1,2 2,1, 2,2, 2,3 
Dado el par a, b x , la clase de equivalencia de a, b  , que se denota por a, b

y se define como:

a, b   x, y   N  N /x, y   a, b 

Usando esta definición veamos algunos números enteros a manera de ejemplos:

1) Veamos la clase  0,0 :
0,0   x, y  N  N / x, y   0,0 
x0  0 y
x y

Es decir: 0  0,0   0,0, 1,1, 2,2, 3,3, 4,4,, n, n

0   0,0    1,1    2,2 ,,  n, n 

Esta es la clase del “cero entero”.

O sea: 0   n, n 

2) Veamos la clase  1,0  :

1,0   x, y  N  N / x, y   1,0 

x  0  y 1
x  y 1

1,0   1,0, 2,1, 3,2, 4,3, n  1, n 

A esta clase se le llama “uno” o “uno positivo”.

O sea: 1   n  1, n 

3) Veamos a qué número entero corresponde la siguiente clase:

0,1   x, y  N  N / x, y   0,1 

x 1  y  0
x 1  y
0,1   0,1, 1,2, 2,3, 3,4, n, n  1 

A esta clase se le llama el “uno negativo”.

O sea:  1   n, n  1 
 4) Tenemos el dos positivo:

2,0   x, y   N  N / x, y   2,0 

x0 2 y
x  2 y

2,0   2,0, 3,1, 4,2, 5,3, n  2, n 

Esta clase se le llama “dos positivo”.

O sea: 2   n  2, n 

5) ¿Cómo será el dos negativo?

0,2   x, y   N  N / x, y   0,2 

x2 y0
y x2

0,2   0,2, 1,3, 2,4, 3,5, n, n  2 

O sea:  2   n, n  2 

2.2.3 Definición de Número Entero.

Un número entero es una clase de equivalencia de pares ordenados de x

determinada por la relación a, b  c, d   a  d  b  c .

2.2.4 El Conjunto de los Números Enteros.

El conjunto de los números enteros es el conjunto cociente de todos los pares

ordenados de números naturales a través de la relación de equivalencia " " .

Es decir:

x
 (Se lee “ ” es isomorfo al producto de x mediante la relación " " ).

   0,3, 0,2, 0,1, 0,0, 1,0, 2,0, 3,0, 

    3,  2,  1, 0, 1, 2, 3,  

2.2.5 Operaciones en .

Definición:

Dados los números enteros a  a1 , a2  y b  b1 , b2  ; se llama suma de a y b y

denotamos por a  b , al número entero determinado por la clase a1  b1 , a2  b2  .

Es decir:

Si a  a1 ,a2  y b  b1 ,b2 

Entonces:

a  b  a1 , a2   b1 , b2 
a  b  a1  b1 , a2  b2 

a) Adición en

La adición en es una operación binaria "" de    en  ; donde a cada par

ordenado de números enteros a, b  , se le asigna otro número entero a  b llamado

suma.

Es decir:

 :    
a, b  a  b

Ejemplo 1:

2,3  235

Demostración:

2  2,0, 3,1, 4,2, n  2, n, 

 3  3,0, 4,1, 5,2, n  3, n, 

Entonces: 2  3  3,1  4,1  7,2  n  5, n  5

Ejemplo 2:

 2,4  24  2

 2  0,2   0,2, 1,3, 2,4, 3,5, n, n  2  

4  4,0, 5,1, 6,2, n  4, n, 

Entonces:  2  4  2  2,0, 3,1, 4,2, n  2, n, 

“La suma de números enteros es independiente de los

representantes de clase que se elijan”.

Es decir, si elegimos otros representantes en el ejemplo anterior debemos obtener el

mismo resultado. En efecto, se comprueba que: 2  3  5 eligiendo (4,2) de la clase del 2 y

(6,3) de la clase del 3:

2  2,0, 3,1, 4,2, n  2, n, 

3  3,0, 4,1, 5,2, n  3, n, 

Entonces: 2  3  4,2  6,3  10,5  n  5, n

235

Definición:

Dados dos números enteros a  a1 , a2  y b  b1 , b2  , se llama producto de a

y b ; denotado por a  b a la clase determinada por:

 a1b1  a2b2 , a1b2  a2b1 .

Es decir: Si a  a1 ,a2  y b  b1 ,b2 

Entonces:

a  b  a1 , a2   b1 , b2 
a  b  a1b1  a2b2 , a1b2  a2b1 

Ejemplo 1:

Efectuar: 2  3  ?

2  3  2,0 3,0

 6  0,0  0

 6,0

23  6

“El producto de números enteros es independiente de los

representantes de clase que se elijan”.

Es decir, si elegimos otros representantes en el ejemplo anterior debemos obtener el

mismo resultado. Veamos:

2  3  (5,3) (4,1)

 (5  4  3 1,5 1  3  4)

 (23,17)

23  6

Ejemplo 2:

Efectuar: 3  5  ?
 35  3,0  6,1
 18  0,3  0 
 18,3  15
 15
b) Multiplicación en

La multiplicación en es una operación binaria "  " de x en , donde a cada par

de números enteros a, b  , se le hace corresponder otro número entero a  b llamado

producto.

Es decir:
:    
a, b  a  b

Ejemplo 1:

3,4  3 4  12

Ejemplo 2:

 2,5   2 5  10

2.2.6 El Sistema de los Números Enteros.

El sistema de los números enteros es el conjunto de los números enteros provisto de

las operaciones de adición (+) y multiplicación () , y una relación “menor que” (<) que

satisfacen los siguientes axiomas:

a) Axiomas de la adición:

A1) Clausura: a, b  ; a  b 

A2) Asociativa: a  b  c  a  b  c ; a, b, c 

 A3) Existencia del neutro: 0  / 0  a  a  0  a, a 

A4) Conmutativa: a  b  b  a; a, b 

A5) Existencia del opuesto: para cada a  Z ,   a  Z / a  (a)  0

A6) Cancelación: a  c  b  c  a  b, a, b, c 

b) Axiomas para la multiplicación:

M1) Clausura: a, b  ; a b

M2) Asociativa: a  b  c  a  b  c , a, b, c 

M3) Existencia del neutro: 1  / 1 a  a 1  a, a 

M4) Conmutativa: a  b  b  a; a, b 

M5) Distributiva: a  b  c   ab  ac, a, b, c 

M6) Cancelación: ac  bc  c  0 implica ab

c) Axiomas de la relación “menor que”:

O1) Si a  b  c  0; ac  bc, a, b, c 

O2) Si a  b  c  0; ac  bc, a, b, c 

2.3 El Sistema de los Números Racionales.

2.3.1 Extensión de a .

Una de las razones que motivan la construcción de los números racionales es que en

el conjunto de los números enteros existen ciertas operaciones que no están totalmente

definidas, tal es el caso de la división, pues el cociente de dos números enteros no

necesariamente es otro número entero. Por esta razón se hace necesario encontrar otro

conjunto en el cual estén totalmente definidas la adición, la sustracción, la multiplicación,

además la división. Para ello, seguiremos el mismo proceso de construcción de los enteros.

2.3.2 Construcción del Conjunto de los Números racionales.

La construcción del conjunto de los números racionales, lo hacemos a partir del


producto cartesiano Z x Z donde se define una relación de equivalencia "" , y que por

el teorema de la partición determinará una familia de subconjuntos de pares ordenados de

números enteros equivalentes entre sí; las cuales serán no vacíos, disjuntos dos a dos y cuya


reunión es el conjunto Z x Z .

Cada uno de estos subconjuntos constituirá una clase de equivalencia, a las que se

denominaremos “número racional”. Es decir un número racional será una clase de

equivalencia de pares ordenados de números enteros, con segunda componente positiva.


Partiremos del producto cartesiano: Z x Z  a, b / a  Z  b  Z
 

En el cual definimos la siguiente relación:

a1 , a2   b1  b2   a1  b2  a2  b1

Así tenemos:

2,3  4,6 pues (2)  (6)  (4)  (3)

12  12

La relación "" es de equivalencia.

En efecto:
1) Es reflexiva:

a1 , a2   a1 , a2  , a1 , a2  Z  Z 

Prueba:

a1  a1 , a1  Z
a2  a2 , a2  Z 

a1  a2  a1  a2
 a1 , a2   a1 , a2 

Por lo tanto la relación "" es reflexiva.

2) Es simétrica:

Si a1 , a2   b1 , b2  debemos probar que: b1 , b2   a1 , a2 

Prueba:

a1 , a2   b1 , b2   a1  b2  b1  a2
 b1  a2  a1  b2

 b1 , b2   a1 , a2 

Por tanto, la relación " " es simétrica.

3) Transitiva

Si a1 , a2   b1 , b2   b1 , b2   c1 , c2  debemos probar que: a1 , a2   c1 , c2 

Prueba:

a1 , a2   b1 , b2   a1  b2  a2  b1 (Por definición de " " )

 b1 , b2   c1 , c2   b1  c2  b2  c1
(Por definición de " " )

 a1  b2  b1  c2  a2  b1  b2  c1

 a1  c2  a2  c1 (Por cancelación en los enteros)

 a1 , a2   c1 , c2 

Por lo cual la relación " " es transitiva.

Por 1), 2) y 3) la relación " " es de equivalencia.

Por el teorema de la partición, la relación " " determina en Z x Z  una familia de pares

ordenados de números enteros equivalentes entre sí; no vacíos, disjuntos dos a dos y cuya

reunión es Z x Z  ., el cual se ilustra en el siguiente gráfico:

Z Z
" "


a1, a2 , a1' , a2' , a1'' , a2'' ,  a1, a2   a

b1, b2 , b1' , b2' , b1'' , b2'' ,  b1, b2   b
c1, c2 , c1' , c2' , c1'' , c2'' ,  c1, c2   c

Cada una de estas clases se llama número racional.

2.3.3 Definición de Número Racional.

Un número racional es una clase de equivalencia de pares ordenados de números

enteros determinadas mediante la relación " " .

Es decir:

a  a1 , a2  es un número racional donde a1  , a2  +

.

Observación:

A los números racionales usualmente lo representamos como una fracción:

a1
a donde a1 se llama numerador y a 2 se llama denominador.
a2

2.3.4 El Conjunto de los Números Racionales.

El conjunto de los números racionales que denotamos por es el conjunto cociente

Z x Z  mediante la relación " "

Z x Z
Es decir:  (Se lee: es isomorfo a Z x Z  mediante la relación " " ).


A continuación definiremos algunos números racionales mediante clases de equivalencia.

Sea a, b  Z x Z  , entonces la clase de equivalencia de a, b  se denota por a, b y se
define como:

a, b  x, y   Z x Z  /x, y   a, b

Ejemplos:

a) 1,2  x, y   Z x Z  /x, y   1,2

2x  y

Asignando valores a “x” obtenemos valores para “y”; así la clase de:

(1,2)  1,2, (2,4), (3,6),... tiene infinitos pares ordenados equivalentes y a esta

1
clase se le denomina “número racional .
2

b)  3,5  x, y   Z x Z  /x, y    3,5

5x  3 y

Asignando valores a “x” obtenemos valores para “y”, así la clase de:

(3,5)   3,5, (6,10), (9,15),... , a esta clase se le denomina “número racional
3
 .”
5

c) 0, n  x, y   Z x Z  /x, y   0, n

nx  0
x0

A la clase de equivalencia (0, n)  0,1, (0,2), (0,3),... se le denomina número

racional cero (“ 0 “) o cero racional.

d) n, n  x, y  Z x Z  /x, y   n, n

nx  ny
x y
 A la clase de equivalencia (n, n)  1,1, (2,2), (3,3),... se le denomina número

racional uno (“ 1 “).

De esta manera podemos definir todos los números racionales.

Observación:

Al efectuar el cociente que expresa un número racional, se obtienen decimales

exactos, periódicos puros o periódicos mixtos.

Veamos algunos ejemplos:

1 1
   0,5 (decimal exacto)
2 2

10 10
   3, 3 (decimal periódico puro)
3 3

46 46
   6, 571428 (decimal periódico puro)
7 7

5 5
   0,416 (decimal periódico mixto)
12 12

2.4 El Sistema de los Números Reales

2.4.1 Extensión de a

En el conjunto de los números racionales las operaciones de adición, sustracción,

multiplicación y división (excepto entre cero) están totalmente definidas, pero existen otras

operaciones que a partir de dos números racionales, el resultado ya no es un número

racional, tal es el caso de la raíz cuadrada de dos. En otras palabras: “No existe un número
racional x tal que x 2  2 ”; es decir x  2   x   2  . Esta misma dificultad

se presenta también en el ámbito geométrico, ya que el cociente de la longitud de una

circunferencia y su respectivo diámetro no se pueden expresar mediante un número

racional, lo mismo sucede si dividimos la longitud de la diagonal de un cuadrado entre la

longitud de su lado. Entonces, ¿quiénes son estos números? Estos números no racionales

que surgen, tanto en el ámbito propiamente numérico, como también en el ámbito

geométrico, pertenecen al conjunto de los números irracionales, que denotamos con .

Una diferencia visible entre los números racionales y los números irracionales es que estos

últimos tienen una representación decimal infinita no periódica, tales como:

     3,14159265358979323845...

2   2  1,4142135...

Siendo el conjunto de los números racionales e el conjunto de los números

irracionales, se cumple que:

i)  =

i)  = ( es el conjunto de los números reales).

2.4.2 Construcción del Conjunto de los Números Reales.

Existen tres formas de construir el conjunto de los Números Reales, pero la más usual

y considerando los prerrequisitos que se conocen, se puede hacer mediante las sucesiones de

Cauchy definidas en el conjunto de los números racionales ( ).

 Para realizar la construcción del conjunto de números reales por esta vía, partimos de

los conceptos de sucesiones en , sucesiones convergentes y sucesiones de Cauchy. A

continuación definimos las sucesiones nulas y casi nulas, con las cuales realizamos

operaciones y entre las que definimos una relación “equivalente” de sucesiones (que

posteriormente se prueba que es una relación de equivalencia). Finalmente, usando el

teorema de la partición se define el concepto de número real.

La clase de equivalencia de todas las sucesiones de Cauchy que convergen hacia un

mismo número racional se llamará número real racional, y si converge hacia un número

no racional se llamará número real irracional.

a) Las sucesiones en el conjunto de los números racionales

Definición.- Se llama sucesión de números racionales a toda aplicación “s” de +

en .

Es decir:

s: + 

n  s(n)  (sn )

donde: s(n)  (sn ) y (sn )  (s1 , s2 , s3 ,...)

Ejemplos:

1) s : + 

1
n  s ( n)   
n

1  1 1 
Luego: s(n)     1; ; ;... 
n  2 3 
 2) t : + 

n  t (n)  n 2

 
Así: t (n)  n 2  1;4;9;16;...

b) Sucesiones convergentes

Definición.- Sea ( xn ) una sucesión de números racionales, decimos que dicha sucesión

es convergente a un número racional x0 , sii:

  0, N  0 / n  N  xn  x0   , (   +
, N +).

x0  , se llama el límite de la sucesión ( xn ) y se denota: lím n ( xn )  x0

Ejemplos:

1
1) La sucesión ( xn )    converge a 0.
n

1
Esto es: lím n (1/ n)  0 sii   0, N  0 / n  N   0  .
n

En efecto:

1 1 1 1
Se tiene que 0    de donde n 
n n n 

1
Así es suficiente tomar N 


1 1 1
Es decir: lím n (1/ n)  0 sii   0, N  / nN    0  .
  n
    converge a 0.
1
n

2) La sucesión constante k  converge a k .

Es decir: lím n (k )  k

En efecto:

  0, N  0 / n  N  k  k  0  

Así es suficiente tomar N  1 .

 k  converge a k .

Teorema:

Si una sucesión de números racionales xn  es convergente, su límite es único.

Prueba

Supongamos que: lím n ( xn )  x y lím n ( xn )  y

i) Si lím n ( xn )  x entonces  1  0, N1  0 / n  N1  xn  x   1

ii) Si lím n ( xn )  y entonces  2  0, N 2  0 / n  N 2  xn  y   2

Si hacemos N  N1 y N  N 2 , se tiene que n  N ; y se cumple que:

xn  x   1  xn  y   2


Luego para n  N  1   2 
2

 
Se tiene que: x  y  x  xn  xn  y  x  xn  xn  y   1   2   
2 2
 Luego por transitividad:

  0; x  y   luego, x y 0

Es decir, x  y

 El límite de xn  es único.

c) Sucesiones de Cauchy

Definición.- Una sucesión xn  es de Cauchy, si y solo si:

  0, N  0 / m  N  n  N  xn  xm   . (   +
, N +).

Ejemplo:

1
La sucesión xn     es una sucesión de Cauchy.
n

Prueba

Probaremos que:

  0, N  0 / m  N  n  N  xn  xm  

1 1 1 1
i) Si m  n ,   0,     0
n m n n

1 1 1 1 1
ii) Si m  n     
n m n m n

Como se debe cumplir que:

1 1
xn  xm      , de aquí hacemos n   N ; ( m  n  N )
n 
 1 1 1 1 1
iii) Si n  m     
m n m n m

Como se debe cumplir que:

1 1
xm  xn      , de aquí hacemos m   N ; ( n  m  N )
m 

Teorema: Toda sucesión de Cauchy, es acotada.

Es decir:

Si la sucesión xn  es una sucesión de Cauchy de números racionales entonces,

k  +
/ n se tiene xn  k .

Prueba

Como xn  es una sucesión de Cauchy

   > 0, N  0 / m  n  N  xn  xm  

Será: k1 > | x1 | , | x2 | , ... , | xN | , | xN+1 |

Si k = k + 1, tenemos que:

Si n  N + 1  | xn |  k1 < k

n > n+1  | xn | = | xn - xN+1 + xN+1 |

 |xn - x N+1| + | xN+1 |

 1 + k1 = k

 xn  k , n.

Teorema: Si xn  y  yn  son sucesiones de Cauchy:

 i) xn    yn   xn  yn  es un sucesión de Cauchy.

ii) xn   yn   xn  yn  es de Cauchy.

Demostración: Queda como ejercicio.

Definición.- Una sucesión de números racionales xn  es una sucesión nula, si y solo si es
convergente y su límite es cero.

Es decir:

xn  es nula si y solo si es convergente y lím n ( xn )  0 .

Es decir:

  0, N  0 / n  N  xn  0   (   +
, N +).

Ejemplos:

1 1
i) La sucesión   es convergente y lím n    0 .
n n

ii) La sucesión constante 0  0,0,... es convergente y su límite es cero.

Definición.- Dadas  xn  y  yn  sucesiones de Cauchy, se dice que xn  es equivalente a

 yn  y se denota por:  xn    y n  si y solo si la sucesión  xn  y n  es una

sucesión nula.

Es decir:   0, N  0 / n  N  xn  yn  

Ejemplo:
 1 1  1 1
La sucesión    0 puesto que   0     y   converge a cero.
n n  n n

Teorema: La relación xn    yn  es una relación de equivalencia.

Prueba:

i) La relación  es reflexiva.

( x n )  ( xn )  ( xn  xn )  (0)

( xn )  ( x1 , x2, x3 ,..., xn )

x1  x1,
x2  x2
...
xn  xn

( x1  x1 , x2,  x2 , x3  x3 ,..., xn  xn )  (0)

( x1  x1 , x2,  x2 , x3  x3 ,..., xn  xn )  (0)

( x1 , x2, x3 ,..., xn )  ( x1 , x2, x3 ,..., xn )

( x n )  ( xn )

Por lo que, la relación  es reflexiva.

ii) La relación  es simétrica.

Debemos probar que:

Si ( xn )  ( yn ) entonces ( yn )  ( xn )
 En efecto,

( xn )  ( yn ) si y solo si, ( xn  yn )  (0)

si y solo si ( yn  xn )  (0)

si y solo si ( y n )  ( xn )

Por lo que, la relación  es simétrica.

iii)La relación  es transitiva.

Debemos probar que:

Si ( xn )  ( yn ) y ( yn )  ( z n ) entonces ( xn )  ( z n )

Luego,

Si ( xn )  ( yn ) si y solo si, ( xn  yn )  (0)

Si ( yn )  ( z n ) si y solo si, ( yn  z n )  (0)

Sumando sucesiones, miembro a miembro, tenemos que:

( xn  z n )  (0)

Por lo tanto, ( xn )  ( z n )

Por lo que, la relación  es transitiva.

De i), ii) y iii) la relación  es de equivalencia.

2.4.3 Definición de Número Real.

Como toda relación de equivalencia definida en un conjunto no vacío arbitrario

determina una partición de la misma en clases no vacías, disjuntas dos a dos y cuya unión es
dicho conjunto, la relación de equivalencia "" definida en el conjunto de las sucesiones

( xn ) racionales de Cauchy determina una partición en clases de sucesiones no vacías,

disjuntas dos a dos, cuya unión es el conjunto de dichas sucesiones que denotamos por S.

Definición.- Llamamos número real a cada una de las clases de sucesiones de Cauchy

equivalentes de números racionales.

Las siguientes sucesiones de Cauchy son equivalentes por lo tanto pertenecen a la

misma clase, que es la clase del “cero racional”:

1  1   2 1
(0),  ,  2 ,  n  3 ,...
n n   n 

 1  1   1 
0  0;  ;  2 ;  n 2  3 ;...
 n n   n  

¿Cómo se podrán definir los demás números reales?

Así se ha determinado un conjunto cuyos elementos son números reales y se

denomina el conjunto de los números reales, y se denota por y a sus elementos lo

denotamos por:

x  xn ; y   yn ;...

Por lo tanto es el conjunto cociente de S mediante la relación de equivalencia "" ;

S
es decir:  .

Definición.- Sean los números reales x  xn  y y   yn , llamamos suma de x y y , y

denotamos x  y al número real determinado por la clases xn    yn .

Definición.- Sean los números reales x  xn  y y   yn , llamamos producto de x y y

, y denotamos x  y al número real determinado por la clases xn    yn .

Análogamente se definen las demás operaciones de números reales.

Finalmente, en se establecen las diferentes operaciones tales como la adición,

sustracción, multiplicación, división y otras; así como sus respectivas propiedades.

Nota: Por razones didácticas, la presentación del conjunto de los números reales en la

educación secundaria es como sigue:

2.4.4 El Conjunto de los Números Reales.

Se llama conjunto de números reales al conjunto que es la unión del conjunto de

los números racionales con el conjunto de los números irracionales .

Es decir:

= 

Afirmamos: x   (x  x )

 Si x  , entonces x se llama real racional.

  Si x  , entonces x se llama real irracional.

2.4.5 El Sistema de los Números Reales.

El conjunto de números reales que denotamos con , es un conjunto no vacío cuyos

elementos se denotan con a, b, c,... etc., llamados números reales, donde se establece una

relación de igualdad, dos operaciones internas denotados con   y  , además se definen
las relaciones “menor que”   y “menor o igual que”   que dan a la estructura de campo

ordenado provisto de la métrica del valor absoluto.

2.4.6 Relación de Igualdad de los Números Reales.

Si escribimos a  b en , significa que a y b son símbolos distintos que representan

a un mismo número real.

Respecto a la igualdad de números reales, se cumplen:

I1) a  , a  a (Reflexiva)

I2) a  b  b  a (Antisimétrica)

I3) a  b  b  c  a  c (Transitiva)

2.4.7 Construcción Axiomática del Sistema de los Números Reales.

A continuación se presenta la construcción del sistema de los números reales.

a) Adición de Números Reales.

Definición 1.- La adición de números reales es una operación que denotamos con   ,

que a cada par ordenado de números reales a, b  le hace corresponder el

número real " a  b" llamado suma.

Es decir:

: x 

a, b  a  b

b) Multiplicación de Números Reales.

Definición 2.- La multiplicación de números reales es una operación que denotamos

con  , que a cada par ordenado de números reales a, b  le hace

corresponder el número real a  b llamado producto.

Es decir:

: x 

a, b  a  b

c) Axiomas de la Adición y Multiplicación de Números reales.

La adición y la multiplicación de números reales satisfacen los siguientes axiomas:

A1) a  b  c  a  b  c  , a, b, c  (Asociatividad)

A2) a  b  b  a , a, b  (Commutatividad)

A3) 0  / a  0  a , a  ( neutro aditivo)

A4) a  ,  a  / a  ( a )  0 (Opuesto aditivo)

 M1) a  b c  a  b  c  , a, b, c  (Asociatividad)

M2) a  b  b  a , a, b  (Commutatividad)

M3) 1 , 1  0 / a 1  a , a  ( neutro multiplicativo)

M4) a  , a  0; a 1  / a  a 1  1 (Inverso multiplicativo)

D1) a  b  c   a  b  a  c , a, b, c  (Distributividad a izquierda)

D2) a  b c  a  c  b  c , a, b, c  (Distributividad a derecha)

Definición.- Dados los números reales a y b , la diferencia de a y b que denotamos con

a  b se define como: a  b  a  (b).

d) Teoremas Básicos de la Adición y Multiplicación en .

Teorema 1: (Monotonía)

 a  c  a  c  (i)
Dados a, b, c  , si a  b entonces: 
a  c  b  c  (ii )

Demostración:

(i) Sabemos a + c = a + c,  a + c en

Como a = b  a + c = b + c (Por el principio de sustitución)

(ii) c a = c a,  c a   ca=cb (Por el principio de sustitución)

Teorema 2: (Cancelación)

i) a+c=: b+ca=b

ii) c.a = c.b, c  0  a = b

 Demostración:

i) a + c = b + c  (a + c ) + (-c) = (b + c) + (-c) (por i) del teorema 1)

 a + (c + (-c)) = b + (c + (-c)) (por Axioma 1)

a+0=b+0 (por Axioma 4)

a=b (por Axioma 3)

ii) Como c  0 en , existe c-1 en tal que c-1.c = 1, entonces:

ca=cb  c-1 (c a) = c-1 (c b) (por ii) del Teorema 1)

(c-1.c) a = (c-1.c) b (por M1)

1a=1b (por M4)

a=b (por M3)

e) Propiedades adicionales.

1) Para cada a  y 0  , se cumple:

0 = -0

a.0 = 0

2) El neutro aditivo (0) de , es único

3) Si a  , entonces (-a)  es único:

4) Para todo a, b  , se cumple que: a(-b) = - (a b)

f) Relación “Menor que” en .

 En el conjunto de los números reales se puede establecer la relación “menor que” (<)

sujeta a los siguientes axiomas y definiciones:

1. Existen elementos positivos en .

2. Si a  , entonces se cumple uno y sólo una de las siguientes proposiciones:

a = 0, o “a es positivo”, o, “-a es positivo”.

3. Si a y b son positivos, entonces, “a + b” es positivo.

4. Si a y b son positivos, entonces “ab” es positivo.

5. Si a < b y b < c entonces a < c

6. Si a < b entonces a + c < b + c

7. Si a < b y c es positivo  ac < bc

8. Si a, b  , se cumple una y solo una de las siguientes relaciones:

a < b, o, a = b, o, b < a. (Ley de Tricotomía).

Definición 1: Dados a, b  , se dice que “a es menor que b”, si y sólo si b – a es

positivo. Simbólicamente:

a  b  b  a es positivo.

Observaciones:

1. Si “a es menor que b”, escribimos a < b, en caso contrario se escribe a > b.

2. Si a < b, escribiremos b > a para indicar también que “b es mayor que a”.

Es decir: a < b  b > a.

g) Teoremas básicos de la relación “Menor que” en .

Teorema 1: Si a es positivo, entonces a > 0.

Demostración:

Si a es positivo, entonces: a – 0 = a + (-0)

=a+0 (pues –0 = 0)

=a con a positivo

Como a – 0 es positivo, entonces 0 < a, es decir a > 0.

Teorema 2: Si a > 0, entonces a es positivo.

Demostración: Ejercicio.

h) Relación “Menor o igual que” en

Definición.- Se dice que a es menor o igual que b en , sí y sólo sí a<b o a = b.

Es decir: a  b  a < b  a = b

Nota:

1) a  b, se lee: “a es menor o igual que b”.

2) Si a  b, se escribe b  a para indicar que “b es mayor o igual que a”.

Definición.- Se dice que un número real “a” es no negativo, sí y sólo sí a  0.

Definición.- Se dice que un número real “a” es no positivo, si a  0.

Teorema 1: a  b, si y sólo si existe c  0 en , tal que a + c = b.

Demostración:

ab  a<ba=b

 b – a es positivo  a = b

 b – a = c; c > 0 en  a = b + 0, c = 0

 b = a + c, c  0 en

  c  0 en , tal que a + c = b

Teorema 2:

La relación “menor o igual que” () en , es de orden; es decir, verifica las

siguientes propiedades:

(1)  a  , a  a (Reflexiva)

(2) a  b  b  a  a = b (Antisimétrica)

(3) a  b  b  c  a  c (Transitiva)

Nota: Si a  b  b  c, entonces escribimos a  b  c.

2.4.8 Intervalos de Números Reales.

Algunos subconjuntos de , son llamados intervalos.

El siguiente subconjunto de :

[a, b] = {x  / a  x  b}

se denomina intervalo cerrado de extremos a y b.

Afirmamos:

x  [a, b]  x  axb
Ejercicio: Definir los otros tipos de intervalos en .

2.4.9 Valor Absoluto de Números Reales.

Si a  , el valor absoluto de “a” se denota con |a| y se define como:

 a, si a  0
a 
 a , si a  0

Ejemplos:

1) |5| = 5, pues 5  0

2) |-4| = - (-4) = 4, pues – 4 < 0

3) Hallar los valores de x en que satisfagan la igualdad |x – 3| = 2

Solución:

Como x – 3  x–30  x–3<0

x3 x <3

i) Si x – 3  0  |x – 3| = | x – 3| = 2

x–3=2

x=5

ii) Si x – 3 < 0  |x – 3| = -(x – 3) = 2

 - (x – 3) = 2
  x – 3 = -2

x=1

Luego, el conjunto solución es: S = {1, 5}