El Conjunto de los Nmeros Reales es Numerable

E n s a y o:
Rodolfo A. Nieves Rivas
Tinaquillo / Cojedes / Venezuela
fesol7luzley@gmail.com

30 de junio de 2016

1. ndice:
Pag.
Resumen: ......................................................................................................................3
Introduccin: ................................................................................................................4 a 7
Funcin biyectiva por acoplamiento complementario
de los subconjuntos de un conjunto dado....................................................................8 a 11
Planteamiento del Problema:.....................................................................................12 a 15
Bases Tericas: ..........................................................................................................16 a 29
Mtodo o algoritmo para la obtencin de un buen orden
de los elementos del conjunto de los nmeros Reales: ............................................30 a 34
Interpolacin, Extrapolacin e Inmersin
Con el mtodo o Algoritmo: Para la obtencin de un Buen orden de los elementos
del conjunto de los Nmeros Reales.
Y su aplicacin en la funcin Biyectiva.........................................................................35
Caracterizacin aplicacin de la funcin Biyectiva: ....................................................36
Caracterizacin de la funcin por parte de la funcin parte decimal
y aplicacin de la funcin Biyectiva...............................................................................37
El conjunto de los Nmeros Reales es Numerable: ......................................................38
Conclusin: .....................................................................................................................39
Referencias: ....................................................................................................................40

2. Resumen:
En este breve ensayo se demostrar que el conjunto de los nmeros reales es numerable;
Para el logro del objetivo planteado se establece una relacin biunvoca entre los elementos
del conjunto de los nmeros Reales y los elementos del conjunto de los nmeros Naturales
o enteros a travs de una Funcin por parte de la funcin parte entera, pero con un
parmetro natural o entero y un argumento Real. Concluyndose de esta forma con la
Demostracin de manera negativa de la Famosa Hiptesis de Cantor.
Cabe destacar que en este ensayo se presenta una nueva funcin a la cual hemos
denominado: Funcin por parte de la funcin restringida de la nueva funcin parte decimal
y su opuesta.
Las cuales tienen las siguientes caractersticas.
1) Sobreyectividad en la restriccin:
Para todo nmero Natural o Racional existe uno y solo un nmero Real. Comprendido
entre Dos nmeros enteros consecutivos; Que contiene a este nmero natural como su parte
decimal intrnseco.
2) Inyectividad en la restriccin:
Para todo nmero Real Comprendido entre Dos nmeros enteros consecutivos, Existe uno
y solo un nmero Natural o Racional que es parte decimal intrnseco de este Nmero Real.
3) Funcin restriccin.
a) Su grafico es un segmento semi-abierto de la funcin identidad con vrtice en el
menor entero de su intervalo de restriccin.
b) Su dominio son los nmeros reales.
c) Su imagen son los nmeros naturales o racionales.
d) Corta nicamente al eje: x en el origen.
Cuando su dominio es un intervalo de restriccin positivo o negativo.
e) Es estrictamente positiva o negativa.
f) Tiene simetra respecto al origen, es impar.
g) Es estrictamente creciente en su dominio cuando el intervalo de restriccin es
positivo.
h) Y estrictamente creciente en su dominio cuando el intervalo de restriccin es
negativo
i) Es biyectiva.

3. Introduccin
Desde que el matemtico: Georg Ferdinand Ludwig Philipp Cantor planteo la existencia
de un infinito al que denomino Aleph cero y adems infinitos superiores a este, han sido en
vano los intentos de demostrar lo que es conocida como la hiptesis del continuo. En este
breve ensayo se proponen algunos conceptos que despejaran todas las dudas en lo referente
a la teora de conjuntos, tales definiciones presentan ciertas caractersticas que encajan
perfectamente preservando la consistencia lgica, la completitud y la no contradiccin y
esto nos conduce hacia una demostracin, lo cual nos permite asegurar que realmente dicha
hiptesis es falsa.
El problema principal en el cual gira todo el desarrollo temtico de este ensayo es el
Propuesto por Cantor dado que fue el quien aseguro que el conjunto de los nmeros Reales
no es numerable y todo experto en este tema sabe muy bien que la funcin identidad es
biyectiva y que si adems tomamos en consideracin la existencia de una funcin parte
decimal, si lo repito para que no quede duda, si existe una funcin denominada parte
decimal, as como existe una funcin parte entera, la cual cualquier experto puede
demostrar que esta funcin parte decimal es sobreyectiva mas no es inyectiva, pero que si
se replantea con una funcin por parte de una funcin restringida a cada intervalo motivado
al principio de unicidad y adems excluyendo todos los nmeros enteros de su dominio,
entonces s se puede lograr una funcin biyectiva.
Pero antes tenemos que despejar otras dudas que se mantienen como verdades hasta la
fecha y las cuales se demostraran que no lo son.
Cabe destacar que la demostracin que Cantor realiz con el esquema de la Diagonal
carece de sentido y aqu les doy un contraejemplo con el cual queda refutada dicha
demostracin.
Ejemplo:
Ningn conjunto tiene Siete (7) Subconjuntos.
Demostracin:
Trate de trazar una diagonal en el siguiente esquema, donde estn todos los subconjuntos
de un conjunto de cuatro elementos. Les garantizo que es imposible, motivado a que para
cualquier cantidad: (n) de elementos del conjunto inicial es bien conocido que los
subconjuntos estn determinados por:
2n
Y el esquema que genera la formacin de todos los subconjuntos de un conjunto dado,
siempre tiene las mismas caractersticas de un rectngulo determinado por la siguiente
formula:
n.2n

Esquema: Determinado por: n.2n Y las Diagonales construibles estn a color.

n

2n

1
1
1
1
1
0
1
1
0
0
1
0
0
0
0
0

1
1
1
0
1
1
0
0
1
1
0
0
1
0
0
0

1
1
0
1
0
1
1
0
1
0
0
1
0
1
0
0

1
0
1
1
0
1
0
1
0
1
0
1
0
0
1
0

Observacin: El uno: (1) indica la existencia del elemento en el subconjunto

Y el Cero (0) indica la no existencia del elemento en el subconjunto.
Todas las diagonales a color que son
construibles determinan siempre subconjuntos del conjunto.

Y sobre lo referente a la potencia del Continuo, he aqu un Contraejemplo.

Teorema:
El Conjunto de los subconjuntos de un Conjunto infinito Bien Ordenado es Numerable y
Ordenado.
Ejemplo:
Sean los elementos del Conjunto infinito.
5; 4; 3; 2; 1; 0
Entonces los Subconjuntos son:
{5; 4; 3; 2; 1; 0}
{5; 4; 3; 2; 0}
{5; 4; 3; 1; 0}
{5; 4; 2; 1; 0}
{5; 3; 2; 1; 0}
{5; 4; 3; 0}
{5; 4; 2; 0}
{5; 4; 1; 0}
{5; 3; 2; 0}
{5; 3; 1; 0}
{5; 2; 1; 0}
{5; 4; 0}
{5; 3; 0}
{5; 2; 0}
{5; 1; 0}
{5; 0}
Observacin:
Todos estos subconjuntos contienen el primer y ltimo elemento del Conjunto y estn
ordenados de mayor a menor como nmeros naturales que tienen sus dgitos separados por
punto y coma.

Y en sistema Binario.
Ejemplo:
Sea los elementos del Conjunto.
{5; 4; 3; 2; 1; 0} = 15
Entonces los Subconjuntos son:
111111 = 15
111101 = 14
111011 = 13
110111 = 12
111001 = 12
101111 = 11
110101 = 11
110011 = 10
101101 = 10
101011 = 9
110001 = 9
100111 = 8
101001 = 8
100101 = 7
100011 = 6
100001 = 5
Observacin:
Todos estos subconjuntos contienen el primer y ltimo elemento del Conjunto y estn
ordenados de mayor a menor como nmeros naturales que tienen sus dgitos separados por
punto y coma pero expresados en el sistema binario y el orden se obtiene al sumar sus
dgitos.

3.1 Funcin biyectiva: Por acoplamiento complementario

de los subconjuntos de un conjunto dado.
Sean los elementos del conjunto dado:
{1; 2; 3; 4}
Entonces los subconjuntos son:
{1; 1; 1; 1} El conjunto dado
{1; 1; 1; 0}
{1; 1; 0; 1}
{1; 0; 1; 1}
{1; 1; 0; 0}
{0; 1; 1; 1}
{1; 0; 1; 0}
{1; 0; 0; 1}
{0; 1; 1; 0}
{0; 1; 0; 1}
{1; 0; 0; 0}
{0; 0; 1; 1}
{0; 1; 0; 0}
{0; 0; 1; 0}
{0; 0; 0; 1}
{0; 0; 0; 0} El conjunto vacio

Observacin: El uno: (1) indica la existencia del elemento en el subconjunto.

Y el Cero (0) indica la no existencia del elemento en el subconjunto.

Entonces los conjuntos complementarios de los Subconjuntos del conjunto dado son:

{0; 0; 0; 0} Complemento del conjunto dado

{0; 0; 0; 1}
{0; 0; 1; 0}
{0; 1; 0; 0}
{0; 0; 1; 1}
{1; 0; 0; 0}
{0; 1; 0; 1}
{0; 1; 1; 0}
{1; 0; 0; 1}
{1; 0; 1; 0}
{0; 1; 1; 1}
{1; 1; 0; 0}
{1; 0; 1; 1}
{1; 1; 0; 1}
{1; 1; 1; 0}
{1; 1; 1; 1} Complemento del conjunto vacio

Todos y cada uno de los subconjuntos de un conjunto finito o infinito, Tienen uno y solo un
subconjunto complementario que permite un acoplamiento entre ambos subconjuntos.
Demostracin:
{1; 1; 1; 1}{0; 0; 0; 0}
{1; 1; 1; 0}{0; 0; 0; 1}
{1; 1; 0; 1}{0; 0; 1; 0}
{1; 0; 1; 1}{0; 1; 0; 0}
{1; 1; 0; 0}{0; 0; 1; 1}
{0; 1; 1; 1}{1; 0; 0; 0}
{1; 0; 1; 0}{0; 1; 0; 1}
{1; 0; 0; 1}{0; 1; 1; 0}
{0; 1; 1; 0}{1; 0; 0; 1}
{0; 1; 0; 1}{1; 0; 1; 0}
{1; 0; 0; 0}{0; 1; 1; 1}
{0; 0; 1; 1}{1; 1; 0; 0}
{0; 1; 0; 0}{1; 0; 1; 1}
{0; 0; 1; 0}{1; 1; 0; 1}
{0; 0; 0; 1}{1; 1; 1; 0}
{0; 0; 0; 0}{1; 1; 1; 1}

10

Funcin biyectiva por acoplamiento.

Acoplamientos de conjuntos, es cuando la Unin de Dos subconjuntos de cualquier
conjunto finito o infinito dado, es igual a el conjunto dado.
Demostracin:
{1; 1; 1; 1}
{1; 1; 1; 0}
{1; 1; 0; 1}
{1; 0; 1; 1}
{1; 1; 0; 0}
{0; 1; 1; 1}
{1; 0; 1; 0}
{1; 0; 0; 1}
{0; 1; 1; 0}
{0; 1; 0; 1}
{1; 0; 0; 0}
{0; 0; 1; 1}
{0; 1; 0; 0}
{0; 0; 1; 0}
{0; 0; 0; 1}
{0; 0; 0; 0}

U
U
U
U
U
U
U
U
U
U
U
U
U
U
U
U

{0; 0; 0; 0} = {1; 1; 1; 1}
{0; 0; 0; 1} = {1; 1; 1; 1}
{0; 0; 1; 0} = {1; 1; 1; 1}
{0; 1; 0; 0} = {1; 1; 1; 1}
{0; 0; 1; 1} = {1; 1; 1; 1}
{1; 0; 0; 0} = {1; 1; 1; 1}
{0; 1; 0; 1} = {1; 1; 1; 1}
{0; 1; 1; 0} = {1; 1; 1; 1}
{1; 0; 0; 1} = {1; 1; 1; 1}
{1; 0; 1; 0} = {1; 1; 1; 1}
{0; 1; 1; 1} = {1; 1; 1; 1}
{1; 1; 0; 0} = {1; 1; 1; 1}
{1; 0; 1; 1} = {1; 1; 1; 1}
{1; 1; 0; 1} = {1; 1; 1; 1}
{1; 1; 1; 0} = {1; 1; 1; 1}
{1; 1; 1; 1} = {1; 1; 1; 1}

11

4. Planteamiento del Problema

El problema presentado en este ensayo, es un problema por demostrar y el mismo
consiste que una vez demostrado el siguiente teorema quedara demostrada la relacin
biyectiva entre los elementos del conjunto de los nmeros reales y los elementos del
conjunto de los nmeros naturales. Quedando demostrado de esta forma, que la Hiptesis
del continuo es falsa y por tanto El conjunto de los nmeros Reales es Numerable.
4.1. Teorema de Nieves:
Si: Dos o infinitos nmeros Reales distintos, Tienen igual parte entera;
Entonces: Las partes decimales de todos y cada uno, Son distintas.
4.2. Demostracin:
Para que existan Dos o ms nmeros Reales distintos, Que tengan igual parte decimal, los
mismos tienen que pertenecer a intervalos abiertos y distintos, que estn adems
comprendidos entre: Dos nmeros Enteros consecutivos distintos. Y por tanto estos
tendran que tener distinta parte entera. Lo que demuestra que el teorema es cierto.
0bservacin: Esta demostracin est fundamentada es los siguientes Lemas o deducciones.
Lema: 1
Para toda: n 0
Cuando: n
Existe uno y solo un nmero Real: x1
Para todo Nmero Real: x2 ( con igual orden que: x1 )
Ambos comprendidos entre: n y (n+1)
Cuando: n x1 x2 < (n+1)
Tal que: x1 + x2 = 2.n + 1

12

Ejemplos:

n
0
1
2
3
4
5
6
7
8

x1

x2
< (n+1)

0,36

0,64
<
1

1,333

1,667
<
2
2,41421 2,58579 <
3
3,1415926 3,8584074 <
4

4,0001

4,9999
<
5

5,5

5,5
<
6

6.1839

6,8161
<
7
7,0629947 7,9370053 <
8

8,093

8,907
<
9

x1
0,36
1,333
2,41421
3,1415926
4,0001
5,5
6.1839
7,0629947
8,093

+
x2
= 2.n + 1
+
0,64
=
1
+
1,667
=
3
+ 2,58579 =
5
+ 3,8584074 =
7
+
4,9999
=
9
+
5,5
=
11
+
6,8161
=
13
+ 7,9370053 =
15
+
8,907
=
17

Observacin: Cabe destacar que, tanto: x1

As como: x2 Siempre estn equidistantes a: [n + ( n + 1 )]/2

Lema: 2
Para todo Nmero Real: x
Comprendido entre: 0 y 1
Tal que: 0 x < 1
Existe uno y solo un nmero Real: y ( Con igual orden que: x )
Comprendido entre: n y (n+1)
Tal que: n y < (n+1)
Para toda: n 1
Si y solo si: n
Para que: x + y = m
Si y solo si: m
Para toda: m 1
13

Ejemplos:

0
0
0
0
0
0
0
0
0
0

x
0,81
0,81
0,81
0,81
0,81
0,81
0,81
0,81
0,81

<
<
<
<
<
<
<
<
<
<

1
1
1
1
1
1
1
1
1
1

n
0
1
2
3
4
5
6
7
8

y
0,19
1,19
2,19
3,19
4,19
5,19
6,19
7,19
8,19

< (n+1)
<
1
<
2
<
3
<
4
<
5
<
6
<
7
<
8
<
9

x
0,81
0,81
0,81
0,81
0,81
0,81
0,81
0,81
0,81

+
+
+
+
+
+
+
+
+
+

Observacin: Cabe destacar que, tanto: x

As como: y Siempre estn equidistantes a: ( n + 1 )/2

Lema: 3

Para todo Numero Natural: m 1

Existe uno y solo un nmero Real: x
Comprendido entre: 0 y 1
Tal que: 0 x < 1
Para que: y = m x
Cuando: y
Tal que: n y < (n+1) ( Con igual orden que: x )
Cuando: n
Para todo Numero Natural: n 1

14

y
0,19
1,19
2,19
3,19
4,19
5,19
6,19
7,19
8,19

= m
= 1
= 2
= 3
= 4
= 5
= 6
= 7
= 8
= 9

Ejemplos:

0
0
0
0
0
0
0
0
0
0

x
0,81
0,81
0,81
0,81
0,81
0,81
0,81
0,81
0,81

<
<
<
<
<
<
<
<
<
<

1
1
1
1
1
1
1
1
1
1

n
0
1
2
3
4
5
6
7
8

y
0,19
1,19
2,19
3,19
4,19
5,19
6,19
7,19
8,19

< (n+1)
<
1
<
2
<
3
<
4
<
5
<
6
<
7
<
8
<
9

15

m
1
2
3
4
5
6
7
8
9

x
0,81
0,81
0,81
0,81
0,81
0,81
0,81
0,81
0,81

=
=
=
=
=
=
=
=
=
=

y
0,19
1,19
2,19
3,19
4,19
5,19
6,19
7,19
8,19

5. Bases tericas:
5.1. Definicin: 1
Existen distintos rdenes.
5.1.1. Ejemplos:
Orden Tres de parte entera y Orden Dos de parte decimal:
348; 05
Orden Dos de parte entera y Orden Cuatro de parte decimal:
38; 0511
Orden Uno de parte entera y Orden Diez de parte decimal:
3; 1415926357
5.2. Definicin: 2
Orden es igual a la cantidad de dgitos de la parte entera ms la cantidad de dgitos de la
parte decimal de cualquier nmero real.
5.2.1. Ejemplo de Orden:11
3; 1415926357
5.3. Definicin: 3
Existen rdenes de parte entera y orden de parte decimal.
5.4. Definicin: 4
Todos los conjuntos de los infinitos rdenes contienen finitos elementos y tienen un primer
elemento y un ltimo elemento.
5.4.1. Ejemplo: el -9 es el menor elemento del conjunto de orden: 1
Y el 9 es el mayor elemento del conjunto de orden: 1
5.5. Definicin: 5
Los rdenes de parte entera son la cantidad de dgitos que esta posee.

16

5.6. Definicin: 6
Los rdenes de parte decimal son la cantidad de dgitos que esta posee.
5.7. Definicin: 7
Existen distintos grados o niveles de rdenes.
5.8. Definicin: 8
El grado o niveles de rdenes estn determinados por la cantidad de dgitos que dicho
nmero real posea.
5.9. Definicin: 9
Todo nmero real: RS se puede expresar de forma nica de la siguiente manera.
an; yyyyyyyyyi/bn; yyyyyyyyyi = RS

(1)

Para: an es cualquier nmero entero de cualquier orden.

Donde: bn es un nmero entero del mismo orden que: an
Y que adems depende de: an.
Cuando cada:( y ) tiene o toma cualquier valor de estos: {0; 1; 2; 3; 4; 5; 6; 7; 8; 9}
Donde: i indica el orden de la parte decimal.
Cuando: n indica el orden de la parte entera.
Donde: S indica el orden del Nmero Real: RS.
5.9.1. Ejemplos
an; yyyyyyyyyi/bn; yyyyyyyyyi = RS =
11; 466942207910 / 01,466942207910 = 31; 141592654910

(2)

5.9.2. Otro ejemplo

an; yyyyyyyyyi / bn; yyyyyyyyyi = RS =
01; 052631579910 / -11; 052631579910 = 01; 052

(3)

Observacin:
Cabe destacar que toda representacin de cualquier nmero Real en esta forma, tiene la
caracterstica especial que tanto el numerador, as como el denominador de dicha fraccin
generatriz difieren es en la parte entera nicamente y en la parte decimal ambos son iguales.
17

5.10. Definicin: 10
Todo nmero real tiene un nmero siguiente inmediato Superior del mismo orden.
Excepto el mayor elemento del conjunto de este mismo orden.
Esto nos indica que dichos nmeros reales se comportan como elementos de un conjunto
discreto.
5.10.1. Ejemplos
Nmero Real < nmero siguiente inmediato del mismo orden
0; 5 < 0; 6
9; 75 < 9; 76
3;1415 < 3;1416
100; 003 < 100; 004
5.10.2. Ejemplo de excepcin: El: 9 no tiene superior inmediato del mismo orden.
5.11. Definicin: 11
Todo nmero real tiene un nmero anterior inmediato inferior del mismo orden.
Excepto el menor elemento del conjunto de este mismo orden.
Esto nos indica que dichos nmeros reales se comportan como elementos de un conjunto
discreto.
5.11.1. Ejemplos
Nmero Real < nmero siguiente inmediato del mismo orden
0; 5 > 0; 4
9; 75 > 9; 74
3;1415 >3;1414
100; 003 > 100; 002
5.11.2. Ejemplo de excepcin: El: -9 no tiene anterior inmediato del mismo orden.

18

5.12. Definicin: 12
Todo nmero real tiene un nmero siguiente inmediato igual a l, de orden superior.
Esto nos indica que dichos nmeros reales se comportan como elementos de un conjunto
Continuo.
5.12.1. Ejemplos:
Nmero Real = nmero siguiente inmediato de orden superior e igual a l.
0; 5 = 0; 50
9; 75 = 9; 750
3;1415 = 3;14150
100; 003 = 100; 0030
5.13. Definicin: 13
El siguiente inmediato del mismo orden del siguiente orden superior inmediato de cualquier
Nmero Real, es el siguiente superior inmediato de orden superior inmediato de cualquier
nmero Real. Esto nos indica que dichos nmeros reales se comportan como elementos de
un conjunto Continuo; discreto y denso.
5.13.1. Ejemplos:
Nmero Real = nmero siguiente inmediato de orden superior e igual a l y siguiente
inmediato de este del mismo orden, el cual es el siguiente de orden superior inmediato del
nmero Real , > que l.
0; 5 = 0; 50 < 0; 51
9; 75 = 9; 750 < 9; 751
3;1415 = 3;14150 < 3; 14151
100; 003 = 100; 0030 < 100; 0031

19

5.14. Definicin: 14
El anterior inmediato del mismo orden del siguiente orden superior inmediato de cualquier
Nmero Real, es el anterior inferior inmediato de orden superior inmediato de cualquier
nmero Real.
Esto nos indica que dichos nmeros reales se comportan como elementos de un conjunto
Continuo; discreto y denso.
5.14.1. Ejemplos
Nmero Real = nmero siguiente inmediato de orden superior e igual a l y anterior
inmediato de este de superior orden, el cual es el anterior de orden superior inmediato del
nmero Real , < que l.
0; 5 = 0; 50 > 0; 49
9; 75 = 9; 750 > 9; 749
3;1415 = 3;14150 > 3; 14149
3;3333 = 3;33330 > 3; 33329
5.15. Definicin: 15
Existen rdenes mixtos.
5.16. Definicin: 16
Ordenes mixtos es cuando un Nmero Real tiene Orden Entero y adems orden decimal.
5.16.1. Ejemplo:
26031964; 9534540
5.17. Definicin: 17
El menor Orden mixto es de Dos dgitos.
5.17.1. Ejemplo:
-0;3 , -0;2 ,-0;1 , 0;0 , 0;1 , 0;2 , 0;3

Observacin:
Este conjunto de orden: 2 Tiene solamente: 398 elementos y nada ms que: 398 elementos.

20

5.18. Definicin: 18
El menor Orden entero es de Un dgito.
5.18.1. Ejemplo:
-9 ; -8 ; -7 ; -6 ; -5 ; -4; -3; -2; -1; 0; 1; 2 ; 3 ; 4 ; 5 ; 6 ; 7 ; 8 ; 9
Observacin:
Este conjunto de orden: 1 Tiene solamente: 19 elementos y nada ms que: 19 elementos.
5.19. Definicin: 19
Existe una Razn o incremento entre Dos Nmeros consecutivos con igual orden.

5.20. Definicin: 20
Razn o incremento es igual a la diferencia de Dos Nmeros consecutivos con igual orden.
5.20.1. Ejemplo:
0; 5 - 0; 4 = 0; 1 = Razn o incremento:
5.21. Definicin: 21
Para todo Orden: n la razn o incremento intrnseco correspondiente a la parte decimal es
igual a:
1/10n

21

5.22. Definicin: 22
Se puede establecer una relacin Biunvoca entre los Nmeros Reales comprendidos entre
Dos nmeros enteros consecutivos y el conjunto de los Nmeros Racionales Utilizando la
siguiente funcin Biyectiva:
F(x) = z.10n-1 + N.10m-1/10n-1 = N.10m-1/10n-1 + z
F(x) = -z.10n-1 - N.10m-1/10n-1 = N.10m-1/10n-1 - z

Con los Parmetros: n ; m ; N ; z

Y el argumento: x
Para: n = Orden de: x
Donde: m = Orden entero de: x
Cuando: N es el natural que comienza con el primer digito significativo distinto a Cero en
la parte decimal de: x
Donde: x representa al nmero Real comprendido entre: z y z+1
Cuando: z es la parte entera de: x
5.22.1. Ejemplo:
Para:
x = 1; 5
N=5
z=1
n=2
m=1
Entonces:
El nmero Real x = 1.102-1 + 5.101-1/102-1 = 5.101-1/102-1 + 1 = 1; 5
F(x) = z.10n-1 + N.10m-1/10n-1 = N.10m-1/10n-1 + z
F(x) = -z.10n-1 - N.10m-1/10n-1 = N.10m-1/10n-1 - z

22

Con los Parmetros: n ; m ; N ; z

Y el argumento: x
Para: n = Orden de: x
Donde: m = Orden entero de: x
Cuando: N es el natural que comienza con el primer digito significativo distinto a cero en la
parte decimal de: x
Donde: x representa al nmero Real comprendido entre: z y z+1
Cuando: z es la parte entera de: x
5.22.2. Otro ejemplo:
Para:
x = 0; 013201
N = 13201
z=0
n=7
m=1
Entonces:
El nmero Real x = 0.107-1 + 13201.101-1 /107-1 = 13201.101-1/107-1 + 0 = 0; 013201
5.23. Definicin: 23
Para cada ensimo Orden , Existen: (n) Ordenes Distintos, de los cuales solo uno es de
Orden entero y los dems mixtos.
5.23.1. Ejemplo:
Tabla general:
-9 ; -8 ;-7;-6;-5;-4;-3;-2;-1; 0; 1; 2; 3; 4; 5; 6; 7; 8; 9
-0; 3;-0; 2;-0; 1; 0; 0; 0; 1; 0; 2; 0; 3; 0; 4; 0; 5; 0; 6
-10;-20;-30;-20;-10; 00; 10; 20; 30; 40; 50; 60 ; 70
-0; 03;-0; 02;-0; 01; 0; 00; 0; 01; 0; 02; 0; 03; 0; 04
-00; 3;-00; 2;-00; 1; 00; 0; 00; 1; 00; 2; 00; 3; 00; 4;
-300;-200;-100; 000; 100; 200; 300; 400; 500; 600
-0; 003;-0; 002;-0; 001; 0; 000; 0; 001; 0; 002; 0; 003
-000; 3;-000; 2;-000; 1; 000; 0; 000; 1; 000; 2; 000; 3
-00; 03;-00; 02;-00; 01; 00; 00; 00; 01; 00; 02; 00; 03
-4000;-3000;-2000;-1000; 0000; 1000; 2000; 3000

23

Orden entero : 1
Orden mixto : 2
Orden entero : 2
Orden mixto : 3
Orden mixto : 3
Orden entero : 3
Orden mixto : 4
Orden mixto : 4
Orden mixto : 4
Orden entero : 4

5.24. Definicin: 24
Todos los rdenes son Numerables.
5.24.1. Ejemplos:
-9 ; -8 ;-7;-6;-5;-4;-3;-2;-1; 0; 1; 2; 3; 4; 5; 6; 7; 8; 9

Orden entero : 1

-10;-20;-30;-20;-10; 00; 10; 20; 30; 40; 50; 60 ; 70

Orden entero : 2

-300;-200;-100; 000; 100; 200; 300; 400; 500; 600

Orden entero : 3

5.24.2. Corolario: 1 Como todos los rdenes son numerables; Entonces la suma de todos
los rdenes es numerable y por tanto el conjunto de los nmeros Reales es numerable.
5.25. Definicin: 25
Para cada Orden de: n dgitos,
Existen: 2.[n.10n n.100] + n Nmeros reales o hash expresables en orden: n
Ejemplos: Para: n = 1
Existen:

2.[n.10n n.100] + n = 19

Nmeros reales expresables en orden: 1

Para: n = 2
Existen:

2.[n.10n n.100] + n = 398

Nmeros reales expresables en orden: 2

Para: n = 3
Existen:

2.[n.10n n.100] + n = 5997

Nmeros reales expresables en orden: 3

Para: n = 4
Existen:

2.[n.10n n.100] + n = 79996

Nmeros reales expresables en orden: 4

24

5.26. Definicin: 26
Todo Orden mixto de: n dgitos, Se puede transformar en orden entero de: n dgitos.
5.26.1. Ejemplo:
9; 000

90; 00

900; 0

9000

5.27. Definicin: 27
Todo orden entero de: n dgitos se puede transformar en (n-1) Ordenes mixtos distintos de:
n dgitos.
5.27.1. Ejemplo:
9000

900; 0

90; 00

9; 000

5.28. Definicin: 28
Todo Nmero Real de: n dgitos, Se puede expresar de forma nica en cada orden: n.
5.28.1. Ejemplo:
77; 5
5.29. Definicin: 29
Todo Nmero Real de orden: n , Se puede expresar de forma nica en este orden.
5.29.1. Ejemplo:
77; 5
5.30. Definicin: 30
Todo Nmero Real de orden: n,
Se puede expresar de infinitas formas en ordenes mayores que: n.
5.30.1. Ejemplo:
77; 5 , 77; 50 , 77; 500 , 77; 5000 , 77; 50000 ,

25

5.31. Definicin: 31
Existe infinitos ordenes con igual parte decimal y distinto orden entero.
5.31.1. Ejemplo:
0;5 , 1;5 , 2;5 , 3;5 , 4;5 ,

5.32. Definicin: 32
Existen infinitos nmeros Reales iguales con distintos rdenes decimales.
5.32.1. Ejemplo:
5 , 5;0 , 5;00 , 5;000 , 5;0000 ,
5.33. Definicin: 33
Todo o cada nmero Real perteneciente a un intervalo abierto, comprendido entre dos
nmeros enteros consecutivos; Tiene Una y solo una parte decimal de orden: n
5.33.1. Ejemplo: Funcin Parte decimal. (Por el axioma de Unicidad.)
f(x) = x
5.34. Definicin: 34
Existen al menos Dos nmeros Reales distintos que tienen igual parte decimal.
Si y solo si pertenecen a intervalos abiertos distintos comprendidos entre Dos Nmeros
enteros consecutivos.
5.34.1. Ejemplo:
1;5 y 2;5 Los Dos Nmeros Reales.
; 5 Parte decimal.
5.35. Definicin: 35
No existen Nmeros Reales que no tengan Parte decimal o hash.
Si y solo si: pertenecen a intervalos abiertos comprendidos entre Dos Nmeros enteros
consecutivos. Excepto los Nmeros enteros.

26

5.36. Definicin: 36
Existen al menos Dos nmeros Reales con igual parte entera.
5.36.1. Ejemplo:
2; 5 y 2; 6 Los Dos Nmeros Reales.
2 Parte entera:
5.37. Definicin: 37
No existen Dos nmeros Reales distintos y con igual orden, que tengan igual parte decimal
o hash, Y Que adems estn comprendidos ambos entre Dos enteros consecutivos.
5.37.1. Ejemplo:
0; 5 y 0; 6 Los Nmeros Reales con igual parte entera.
; 5 y ; 6 Partes decimales distintas.
5.38. Definicin: 38
Todo nmero Real comprendido entre Dos enteros consecutivos, Tiene una y solo una parte
decimal o hash intrnseca.
Para cada parte decimal o hash distinta, Existe uno y solo un nmero Real que la contenga,
Si y solo si: este nmero real est comprendido Entre Dos nmeros enteros consecutivos.
5.39. Definicin: 39
No existen Dos nmeros Reales, Comprendidos entre Dos nmeros Enteros consecutivos
que tenga igual parte decimal o hash.
Por tal sentido la funcin parte decimal es Biyectiva.
Cuando se dominio son los nmeros reales sin los enteros.
5.40. Definicin: 40
La parte decimal o hash de cualquier nmero Real comprendido entre Dos nmeros enteros
consecutivos; Siempre es positiva.

27

5.41. Definicin: 41
Todo nmero Natural o racional se puede expresar de forma nica con la parte decimal o
hash de los Nmeros Reales comprendidos entre Dos nmeros enteros consecutivos.
5.41.1. Ejemplo:
Si: n x < n + 1

(4)

Entonces: f(x) = x

(5)

Si y solo si: x es Natural:

(6)

5.41.2 Ejemplo Visualizacin.

Si : n x < n + 1
Si : 3 3; 0 < 4
Si : 3 3; 1 < 4
Si : 3 3; 2 < 4
Si : 3 3; 3 < 4
Si : 3 3; 4 < 4
Si : 3 3; 5 < 4
Si : 3 3; 6 < 4
Si : 3 3; 7 < 4
Si : 3 3; 8 < 4
Si : 3 3; n < 4
Entonces : f(x) = x
Entonces : 3 ; 0 < 4
Entonces : 3 ; 1 < 4
Entonces : 3 ; 2 < 4
Entonces : 3 ; 3 < 4
Entonces : 3 ; 4 < 4
Entonces : 3 ; 5 < 4
Entonces : 3 ; 6 < 4
Entonces : 3 ; 7 < 4
Entonces : 3 ; 8 < 4
Entonces : 3 ; n < 4
Si y solo si: x = n = Natural:

28

(7)
(8)
(9)
(10)
(11)
(12)
(13)
(14)
(15)
(16)
(17)
(18)
(19)
(20)
(21)
(22)
(23)
(24)
(25)
(26)
(27)
(28)
(29)

5.42. Definicin: 42
Ningn entero comienza con cero.
5.42.1. Ejemplo:
020440660009 no es un nmero
5.43. Definicin: 43
Ningn decimal comienza con cero, si tiene dos o ms dgitos antes de la coma.
5.43.1. Ejemplo:
078,7 no es un nmero
5.44. Definicin: 44
Existen nmeros reales comprendidos entre dos enteros consecutivos cuya parte
decimal no es un nmero.
5.44.1. Ejemplo:
0;077 es un nmero real.
;077 su parte decimal no es un nmero.
5.45. Definicin: 45
Toda expresin con igual cantidad de dgitos es un hash
y adems pertenecen al mismo conjunto de orden: n.
5.45.1. Ejemplo:
0;77 es un hash.
077 es un hash.
07;7 es un hash.

29

5.46. Definicin: 46
Todos los elementos o entes pertenecientes a un conjunto de cualquier orden son hash,
dado que tienen igual cantidad de dgitos y adems son numerables.
5.46.1. Ejemplo:
0;77 es un nmero real y es un hash.
077 no es un nmero es un hash.
07;7 no es un nmero y es un hash.

5.46.2. Ejemplo: Las siguientes tablas contienen Todos los 398 elementos o entes y hash
pertenecientes al conjunto de orden: 2.
-99
-98
-97
-96
-95
-94
-93
-92
-91
-90
-89
-88
-87
-86
-85
-84
-83
-82
-81
-80
-79
-78
-77
-76
-75

-74
-73
-72
-71
-70
-69
-68
-67
-66
-65
-64
-63
-62
-61
-60
-59
-58
-57
-56
-55
-54
-53
-52
-51
-50

-49
-48
-47
-46
-45
-44
-43
-42
-41
-40
-39
-38
-37
-36
-35
-34
-33
-32
-31
-30
-29
-28
-27
-26
-25

-24
-23
-22
-21
-20
-19
-18
-17
-16
-15
-14
-13
-12
-11
-10
-09
-08
-07
-06
-05
-04
-03
-02
-01
00

01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75

76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99

Nota: Los que estn contenidos en columnas a color no representan ningn nmero
30

-9,9
-9,8
-9,7
-9,6
-9,5
-9,4
-9,3
-9,2
-9,1
-9,0
-8,9
-8,8
-8,7
-8,6
-8,5
-8,4
-8,3
-8,2
-8,1
-8,0
-7,9
-7,8
-7,7
-7,6
-7,5

-7,4
-7,3
-7,2
-7,1
-7,0
-6,9
-6,8
-6,7
-6,6
-6,5
-6,4
-6,3
-6,2
-6,1
-6,0
-5,9
-5,8
-5,7
-5,6
-5,5
-5,4
-5,3
-5,2
-5,1
-5,0

-4,9
-4,8
-4,7
-4,6
-4,5
-4,4
-4,3
-4,2
-4,1
-4,0
-3,9
-3,8
-3,7
-3,6
-3,5
-3,4
-3,3
-3,2
-3,1
-3,0
-2,9
-2,8
-2,7
-2,6
-2,5

-2,4
-2,3
-2,2
-2,1
-2,0
-1,9
-1,8
-1,7
-1,6
-1,5
-1,4
-1,3
-1,2
-1,1
-1,0
-0,9
-0,8
-0,7
-0,6
-0,5
-0,4
-0,3
-0,2
-0,1
0,0

0,1
0,2
0,3
0,4
0,5
0,6
0,7
0,8
0,9
1,0
1,1
1,2
1,3
1,4
1,5
1,6
1,7
1,8
1,9
2,0
2,1
2,2
2,3
2,4
2,5

2,6
2,7
2,8
2,9
3,0
3,1
3,2
3,3
3,4
3,5
36
3,7
3,8
3,9
4,0
4,1
4,2
4,3
4,4
4,5
4,6
4,7
4,8
4,9
5,0

5,1
5,2
5,3
5,4
5,5
5,6
5,7
5,8
5,9
6,0
6,1
6,2
6,3
6,4
6,5
6,6
6,7
6,8
6,9
7,0
7,1
7,2
7,3
7,4
7,5

7,6
7,7
7,8
7,9
8,0
8,1
8,2
8,3
8,4
8,5
8,6
8,7
8,8
8,9
9,0
9,1
9,2
9,3
9,4
9,5
9,6
9,7
9,8
9,9

Nota: Los que estn en casillas a color son redundantes de orden inferior inmediato.

31

6. Mtodo o Algoritmo: Para la obtencin de un Buen orden

de los elementos del conjunto de los Nmeros Reales.
El siguiente mtodo o Algoritmo es recurrente y secuencial y permite ordenar por
extrapolacin todos los resultados que se obtengan por iteracin quedando de esta forma
demostrado que todos los infinitos elementos pertenecientes al conjunto de los nmeros
Reales tienen la caracterstica de Buen orden. Y esto nos conduce hacia la demostracin
que el conjunto de los nmeros Reales es Numerable.
Primer paso: Elija cualquier nmero Real de cualquier orden.
Ejemplo:
3;14
Segundo paso: Agrguele Uno o ms Ceros a la derecha al nmero anterior.
Ejemplo:
3; 140
Tercer paso: Rstele y smele, Uno sobre Diez elevado a la cantidad de dgitos de la parte
decimal, al resultado anterior.
Ejemplo:
3;140 - 1/103
3;140 + 1/103
Obtenindose los siguientes resultados:
3;139
3;141
Cuarto paso: Repita todo el proceso desde: el Segundo paso. Hasta: el Tercer paso.
Ejemplo:
3;1390 1/104
3;1410 + 1/104

32

Obtenindose los siguientes resultados:

3;1389
3;1411

Quinto paso: Repita todo el proceso desde: el Segundo paso. Hasta: el Tercer paso.
Ejemplo:
3; 13890 1/10n
3; 14110 + 1/10n
Obtenindose los siguientes resultados:
3;13889
3;14111
Y as sucesivamente.
Ultimo paso: Extrapole los resultados y obtenga una secuencia bien ordenada de nmeros
Reales.
Ejemplo:
x

3; 13889
3; 1389
3; 139
3; 14

3; 141
3; 1411
3; 14111
x

33

-n
-3
-2
-1
0
1
2
3
n

Y as sucesivamente.
Ultimo paso: Extrapole y realice una inmersin con los resultados anteriores y obtenga una
secuencia bien ordenada de nmeros Reales:
Ejemplo:
x
-n
3;13989899 -3
3;139899 -2
3;1399
-1
3;14
0
3;1401
1
3;140101
2
3;14010101 3
xn

34

7. Interpolacin, Extrapolacin e Inmersin; Con el Mtodo o Algoritmo:

Para la obtencin de un Buen orden de los elementos del conjunto de los
Nmeros Reales y su aplicacin en la funcin Biyectiva.
x -n
2; 889 2; 8890 -9
2; 89 2; 890 -8
2; 9 2; 90
-7
2; 989899 2; 98989900 -6
2; 9899 2; 989900
-5
2; 99 2; 9900
-4
2; 998998999 2; 99899899900 -3
2; 998999 2; 998999000
-2
2; 999 2; 999000
-1
3; 3; 0 3; 00 3; 000 3; 0000 0
3; 001 3; 001000
1
3; 001001 3; 001001000
2
3; 001001001 3; 001001001000 3
3; 01 3; 0100
4
3; 0101 3; 010100
5
3; 010101 3; 01010100
6
3; 1 3; 10
7
3; 11 3; 110
8
3; 111 3; 1110
9
xn

35

8. Caracterizacin y aplicacin de la funcin Biyectiva.

Caracterstica de la funcin parte entera restringida a intervalos : y = x
f(n; x) = x
Dom(f) = Reales
Im(f) = Naturales (Enteros)
Es simtrica respecto al origen, es decir impar.
Es estrictamente creciente en su dominio.
Corta al eje: x en el punto: (0 , 0 )
Es biyectiva.
Cuando: n es Natural o entero y adems parmetro de la funcin
Y: x es Real y adems argumento de la funcin
Entonces:
Para toda: x
Tal que : n x < n + 1
Y adems que : -n x > -(n + 1)
Cuando : n Pertenece a los Nmeros Naturales o Enteros:
Y : x Pertenece a los Nmeros Reales:
Para que : f(n; x) = x

36

9. Caracterizacin de la funcin por parte de la funcin parte decimal y

funcin parte decimal opuesta y aplicacin de la funcin Biyectiva.
Caracterstica de la funcin parte decimal y su opuesta: y = x
f(n; x) = x y - f(n; x) = -[x]
Restringida a la forma o intervalos:
Tal que : n x < n + 1
Y adems que : -n x > - (n + 1)
Cuando:
Dom(f) = Reales
Im(f) = Naturales o Racionales.
Cuando su dominio es un intervalo de restriccin es positivo o negativo.
Es estrictamente positiva y negativa.
Tiene simetra respecto al origen, es impar.
Es estrictamente creciente en su dominio cuando el intervalo de restriccin es positivo.
Y estrictamente creciente en su dominio cuando el intervalo de restriccin es negativo
Corta nicamente al eje: x en el origen.
Es biyectiva.
Cuando: n es Natural o entero y adems parmetro de la funcin
Y: x es Real y adems argumento de la funcin
Entonces:
Para toda: x
Tal que: n x < n + 1
Y adems que: -n x > -(n + 1)
Cuando: n Pertenece a los Nmeros Naturales o Enteros:
Y: x Pertenece a los Nmeros Reales:
Para que: f(n; x) = x es Natural:
Y de esta forma queda demostrado a travs de esta funcin Biyectiva, Que:
El Conjunto de los Nmeros Reales es Numerable.

37

10. El conjunto de los Nmeros Reales es Numerable.

Desarrollo y anlisis de resultados:
En el siguiente desarrollo se presenta la relacin biyectiva entre el conjunto de los nmeros
Naturales y el conjunto de los Nmeros Reales.
10.1. Demostracin:
Aqu se demuestra que Los Nmeros Naturales o los Nmeros Enteros y los Nmeros
Reales son Coordinables y en tal sentido el conjunto de los nmeros Reales es Numerable,
debido a que todo nmero real comienza o tiene como parte entera un nmero entero y este
conjunto es numerable lo que nos permite establecer una relacin biunvoca entre ambos
conjuntos.
10.2. Funcin por parte de la funcin parte entera:
Los Nmeros Reales: x que comienzan en: Cero o menos Cero son:
0 x<0+1

(42)

-0 x > (0 + 1)

(43)

Los Nmeros Reales: x que comienzan en: Uno o menos Uno son:
1x<1+1

(44)

-1 x > (1 + 1)

(45)

Los Nmeros Reales: x que comienzan en: Dos o menos Dos son:
2x<2+1

(46)

-2 x > (2 + 1)

(47)

Los Nmeros Reales: x que comienzan en: Tres o menos Tres son:
3 x<3+1

(48)

-3 x > (3 + 1)

(49)

38

11. Conclusin:
Los Nmeros Reales: x que comienzan en: n o menos n son:
nx<n+1

(50)

-n x > -(n + 1)

(51)

El Conjunto de los Nmeros Reales: x es Numerable. (Ver grficos)

39

Referencias:
[1] Brito wilman, Estudio de las funciones, Tercera escuela venezolana para la enseanza
de la matemtica/Universidad de los andes, facultad de ciencias, departamento de
matemticas, Mrida, Venezuela, septiembre (1999)
[2] Gardner martin, Miscelnea matemtica, Capitulo: 5 (Aleph cero , Aleph uno)
/Biblioteca cientfica Salvat, (1986)Espana,Pag.65-80
[3] Obregn ivan, Magia y belleza de las matemticas y algo de su historia,Capitulo:14
magia y belleza de los nmeros Transfnitos, Crculo de lectores/Editorial Intermedio,
Colombia, (2007) pag.355-368

40

Rodolfo. A Nieves Rivas, nace en la ciudad de Tinaquillo, estado Cojedes, Venezuela, en el

ao 1964. Es un Matemtico Autodidacta que ha publicado diferentes artculos, todos con
las caractersticas de originalidad y es creador de varios mtodos dinmicos-geomtricos
con los que asegura poder desarrollar cualquier operacin fundamental. Adems ha
diseado algunos algoritmos que tienen aplicacin en gentica; problemas NP-completos y
test de primalidad.

Lo Logr