UNIDAD 1.

NMEROS REALES CLCULO DIFERENCIAL

SALVADOR Y. AGUILAR RAMREZ

INSTITUTO TECNOLGICO DE TEPIC. DEPARTAMENTO DE CIENCIAS BSICAS

UNIDAD 1. NMEROS REALES

1.1 LOS NMEROS REALES
Existen diversas maneras de iniciar el estudio del sistema de los nmeros reales, pero una
de las ms utilizadas considera los sistemas numricos ms sencillos, el primero de ellos es
el conjunto de los nmeros naturales.

Definicin del conjunto de los nmeros naturales

El conjunto de los nmeros naturales se denota por , y se define como

Una de las primeras aplicaciones de las matemticas en la vida real ha sido el conteo y los
nmeros naturales han sido la herramienta. Entre las propiedades ms importantes de
este conjunto podemos mencionar la existencia de un orden, la existencia del 1 como
primer elemento, que todo nmero natural tiene otro como sucesor y que todo nmero
natural, excepto el nmero 1, tiene otro nmero natural como antecesor. En trmino
formales se tiene:
Propiedades de los nmeros naturales
1.
2. Si
3. Si

para todo
se define su sucesor como
y adems
.
,
, se define su antecesor como
y adems

En
se definen dos operaciones: la suma y el producto. Se verifica que ambas
operaciones son cerradas, conmutativas y asociativas, la suma distribuye respecto al
producto. El nmero natural 1 es el neutro multiplicativo. Sin embargo, estas propiedades
no son suficientes para describir algunos fenmenos fsicos; por ejemplo, la temperatura

UNIDAD 1. NMEROS REALES CLCULO DIFERENCIAL

bajo cero, las altitudes por debajo del mar o la distancia entre dos puntos iguales. En
concreto, carecen de un elemento neutro aditivo y de inversos aditivos.
Un conjunto ms grande que resuelve este inconveniente se define como el conjunto de
los nmeros enteros (los nmeros naturales estn contenidos en los nmeros enteros
).

Definicin del conjunto de los nmeros enteros

Se define el conjunto de los nmeros enteros

(del alemn Zahlen) como

En tambin estn definidas las operaciones de suma y producto que son, de nueva
cuenta,cerradas, conmutativas y asociativas; tambin se verifica la propiedad distributiva
de la suma. Existe el elemento neutro multiplicativo, pero adems se agregan el cero
como elemento neutro aditivo y los nmeros negativos como inversos aditivos. Estas
propiedades permiten la definicin de la resta como una operacin derivada de sumar un
nmero con el inverso aditivo de otro, es decir
No obstante lo anterior, la solucin a problemas elementales como repartir una naranja
entre dos personas o describir qu parte representa un minuto de una hora, o
simplemente para dar el resultado exacto de dividir 46 dulces entre 5 nios, no pueden
resolverse en trminos de nmeros naturales ni de nmeros enteros. Se hace necesaria,
entonces, la introduccin de los nmeros fraccionarios, tambin conocidos como los
nmeros racionales que tienen otras propiedades de mayor aplicacin.

Definicin del conjunto de los nmeros racionales

Se define el conjunto de los nmeros racionales

(del ingls Quotient) como

Los nmeros racionales histricamente se definen como cocientes de nmeros enteros, la

condicin es que el denominador sea diferente de cero. Dado que todo nmero entero
puede expresarse como el cociente
, entonces se considera que todo nmero entero
es un nmero racional. Es decir
.
Todas las propiedades de los enteros siguen siendo vlidas en pero adems se verifica
la existencia de los inversos multiplicativos para cualquier nmero racional, excepto el
2

UNIDAD 1. NMEROS REALES CLCULO DIFERENCIAL

cero. Si

el inverso multiplicativo se define por

y satisface

Se

define la divisin de dos nmeros como el producto de uno por el inverso de otro distinto
de cero, esto es
Dado un nmero racional

; es decir

es posible realizar la divisin a entre b, para obtener como

resultado un nmero decimal; en otras palabras todo nmero racional puede expresarse
como una expansin decimal finita o como una expansin decimal infinita peridica.
Dados dos nmeros racionales cualesquiera, siempre es posible determinar un nuevo
nmero racional comprendido entre ellos, esto puede realizarse tantas veces como se
desee; por ejemplo, entre los racionales
y
se encuentra el nmero racional
. Sin embargo, los nmeros racionales no llenan toda la recta numrica.
Al intentar responder preguntas como: cul es la longitud de la arista de un cuadrado
que tiene rea 2? o cul es la razn entre el permetro de una circunferencia y su radio?,
encontramos que las respuestas
y , respectivamente, no pueden expresarse como un
nmero racional. Nmeros de este tipo se conocen como irracionales y grficamente se
intercalan en toda la recta numrica en los huecos que existen entre los elementos
del conjunto .
La necesidad de utilizar nmeros irracionales se present en algunos problemas de
geometra en la Grecia antigua; sin embargo, fue hasta el siglo XIX que se obtuvieron
avances significativos gracias a los estudios de Karl Weierstrass, George Cantor y Richard
Dedekin. La construccin total se dio a partir de los axiomas que establecin Giuseppe
Peano en 1889.
Los nmeros irracionales son todos aquellos que no pueden expresarse como el cociente
de dos nmeros, o bien como aquellos nmeros que tienen una expansin decimal infinita
no peridica. En ocasiones basta entender que los irracionales son un conjunto disjunto de
los racionales.

Definicin del conjunto de los nmeros irracionales

Se define el conjunto de los nmeros irracionales

como el conjunto de todos los

nmeros que no son racionales. El uso de para identificar este conjunto no es una
notacin perfectamente definida, aunque es generalmente aceptada, ya que puede usarse
tambin para definir al conjunto de los nmeros imaginarios puros. Matemticamente se
expresa como
3

UNIDAD 1. NMEROS REALES CLCULO DIFERENCIAL

Algunos nmeros irracionales son:

1.
2.
3.
4.
5.

Los nmeros irracionales se clasifican en dos tipos:

Nmero algebraico: son la solucin de alguna ecuacin algebraica y se representan por un
nmero finito de radicales libres o anidados; si representa ese nmero, al eliminar
radicales del segundo miembro mediante operaciones inversas, queda una ecuacin
algebraica de cierto grado. Todas las races no exactas de cualquier orden son irracionales
algebraicos. Por ejemplo el nmero ureo
es una de las races de la
ecuacin
, por lo que es un nmero irracional algebraico.
Nmero trascendente: No pueden representarse mediante un nmero finito de races
libres o anidadas; provienen de las llamadas funciones trascendentes (trigonomtricas,
logartmicas, exponenciales, etc.) Tambin surgen al escribir nmeros decimales no
peridicos al azar o con un patrn que no lleva perodo definido pero que no sean races
de un polinomio.
Ya estamos en condiciones de obtener la definicin de un conjunto ms general, el
conjunto de los nmeros reales.

Definicin del conjunto de los nmeros reales

Se define el conjunto de los nmeros reales
racionales e irracionales. Es decir
.

como la unin disjunta de nmeros

Es importante observar que los racionales y los irracionales son conjuntos disconjuntos;
esto es, que dado un nmero real o est en o est en pero nunca en ambos. Adems
se verifican las contenciones propias

UNIDAD 1. NMEROS REALES CLCULO DIFERENCIAL

1.2 LOS NMEROS REALES Y LA RECTA NUMRICA

Los nmeros reales se pueden representar grficamente como puntos sobre una lnea
recta conocida como la recta real. Sobre esta recta se fijan dos puntos representados por
0 y 1. Estos dos puntos permiten construir todos los dems, ya que para representar
cualquier nmero real se toma un segmento de longitud a la derecha del cero si x es
positivo o a la izquierda si es negativo.
El extremo de este segmento es el punto correspondiente al nmero . el cero se conoce
como origen de la recta real y el 1 como la escala. Por lo anterior, sobre la recta real se
representan los reales positivos, el cero, los reales negativos, y se verifica una regla de
correspondencia: cada punto de la recta corresponde a un nmero real y cada nmero
real lo podemos representar como un punto de esta recta. La recta real tiene el siguiente
aspecto:

Los nmeros definidos a la derecha del cero se conocen como reales positivos y el
conjunto de todos ellos se representa por
. De manera anloga, se define
como el
conjunto de todos los reales a la izquierda del cero.
Otra propiedad importante de los nmeros reales es que entre dos nmeros reales
diferentes cualesquiera, sin importar cun cercanos estn, siempre existe una infinidad de
nmeros reales. A diferencia de
e los reales no contienen huecos. En trminos
matemticos se dice que el conjunto de los nmeros reales es un conjunto denso.

1.3 PROPIEDADES DE LOS NMEROS REALES

Para dos nmeros reales cualesquiera y se define la suma
, que satisfacen los siguientes axiomas:

y el producto

UNIDAD 1. NMEROS REALES CLCULO DIFERENCIAL

Axioma 1

Propiedad conmutativa de la suma:

Axioma 2

Propiedad asociativa de la suma:

Axioma 3

Existencia del neutro aditivo:

Axioma 4

Existencia de inversos aditivos:

Axioma 5

Propiedad conmutativa del producto:

Axioma 6

Propiedad asociativa del producto:

Axioma 7

Existencia del neutro multiplicativo:

Axioma 8

Existencia de inversos multiplicativos:

Axioma 9

Propiedad distributiva:

Todas las propiedades conocidas de los nmeros reales pueden demostrarse a partir de
los axiomas anteriores, por esta razn se dice que la teora de los nmeros reales es una
teora axiomtica.
Los axiomas de los nmeros reales permiten definir operaciones complementarias como
la diferencia de dos nmeros y el cociente de dos nmeros.

Definicin de resta y divisin de nmeros reales

Se define la resta y la divisin de nmeros reales

como sigue:

Propiedades de orden de los nmeros reales

En los nmeros reales se define como una relacin de orden para
satisfacen los siguientes axiomas:
Axioma 10

Ley de tricotoma:

Axioma 11

aquellas que

UNIDAD 1. NMEROS REALES CLCULO DIFERENCIAL

Axioma 12
Axioma 13

Propiedad de transitividad:

Definicin de signos de desigualdad estricta y

Los smbolos y se conocen como
smbolos de desigualdad estricta y se leen menor que y mayor que, respectivamente.
Definicin de signos de desigualdad no estricta y
Los smbolos y se conocen
como smbolos de desigualdad no estricta y se leen menor o igual que y mayor o igual
que, respectivamente.
La expresin

abrevia los casos

La expresin

abrevia los casos

El conjunto de los nmeros reales es un conjunto ordenado Los axiomas de orden

inducen de manera natural un orden en el conjunto de los nmeros reales, y se tiene la
siguiente convencin:
1.
2.
3.
En la recta real la desigualdad
nmero .

se representa como un nmero

a la izquierda de un

En otras palabras, se dice que un nmero es mayor que otro nmero si y solo si la
diferencia
es un nmero real positivo. De la misma manera se dice que un nmero
es menor que otro nmero si y solo si la diferencia
es un nmero real negativo. Se
dice que los nmeros son iguales si la diferencia
.
Lo anterior define un orden de manera natural en el conjunto de los nmeros reales,
porque para saber cul es la ubicacin correcta de un nmero basta compararlo con el
cero.

UNIDAD 1. NMEROS REALES CLCULO DIFERENCIAL

nfimo y supremo
Introducimos las siguientes cuatro definiciones antes de presentar un ltimo axioma de
los nmeros reales que estudiaremos en esta unidad:
Definicin de cota superior Sea
entonces se llama cota superior de
o que est acotado superiormente.

, si existe
tal que
para todo
,
y se dice que el conjunto est acotado por arriba

Definicin de cota inferior Si existe

tal que
para todo
, entonces se
llama cota inferior de y se dice que el conjunto est acotado por abajo o que est
acotado inferiormente.
Definicin de supremo de un conjunto Sea
un conjunto acotado por arriba y
supongamos que existe
que satisface las siguientes dos condiciones:

Entonces se dice
superiores.

y tiene la propiedad de ser la menor de todas las cotas

Definicin de nfimo de un conjunto Sea

un conjunto acotado por abajo y
supongamos que existe
que satisface las siguientes dos condiciones:

Entonces se dice
inferiores.

y tiene la propiedad de ser la mayor de todas las cotas

Ya se tienen las condiciones para poder enunciar un ltimo axioma de los nmeros reales,
conocido como el axioma de complitud o de completitud:
Axioma 14

Axioma de completitud:

1. Todo conjunto no vaco de nmeros reales acotado por arriba tiene un supremo.
2. Todo conjunto no vaco de nmeros reales acotado por abajo tiene un nfimo.
Como un conjunto de nmeros reales puede constar de un solo nmero real, se verifica
por el axioma 14 que los reales son densos.

UNIDAD 1. NMEROS REALES CLCULO DIFERENCIAL

1.4 INTERVALOS EN
Al utilizar una variable en cualquier problema de aplicacin es necesario definir el
subconjunto de nmeros reales que le corresponde como conjunto de sustitucin. Sin
lugar a dudas, unos de los subconjuntos ms importantes en son los intervalos y son
definidos a continuacin:

Definicin de intervalo en
Se definen los siguientes subconjuntos de nmeros reales, conocidos como intervalos
reales:
1. Intervalo abierto
2. Intervalo cerrado

3. Intervalos mixtos

4. Intervalos infinitos

5. Los nmeros reales

9

UNIDAD 1. NMEROS REALES CLCULO DIFERENCIAL

El infinito
En matmaticas el infinito
aparece de diversas formas: en geometra, el punto al
infinito en geometra proyectiva y el punto de fuga en geometra descriptiva; en anlisis
matemtico, los lmites infinitos; y en teora de conjuntos como nmeros transfinitos.
Todos estos conceptos son diferentes y no corresponden todos ellos a la misma nocin de
infinitud.
En el conjunto de los nmeros reales el infinito se presenta en la densidad de la recta
numrica (nmeros transfinitos) y en los extremos de la recta numrica (infinito positivo
e infinito negativo). Ya que el infinito no cumple con los axiomas revisados con
anterioridad, se considera como una regin muy alejada en la recta numrica que nunca
podr alcanzarse con las operaciones algebraicas convencionales, por lo que siempre se
encontrar abierto en un intervalo real.

1.5 DESIGUALDADES Y VALOR ABSOLUTO

Dos conceptos fundamentales en el clculo infinitesimal son el de desigualdad (o
inecuacin) y valor absoluto, que se definen a continuacin.

Definicin de desigualdad en una variable

Una desigualdad en una variable es una expresin de la forma
alguna de las relaciones de orden
.

, donde

es

Por resolver una desigualdad se entiende determinar el intervalo o combinacin de

intervalos (de nmeros reales) cuyos elementos satisfacen la desigualdad. Para resolver
una desigualdad se utilizan los axiomas de los nmeros reales.

Valor absoluto de un nmero real

Hemos visto que a cada nmero real se le asocia un nico punto de la recta numrica,
considerando la distancia entre el origen (el cero) y el nmero dado. Esta distancia
tambin se define como el valor absoluto o la magnitud del nmero. Formalmente se
tiene la siguiente definicin:

10

UNIDAD 1. NMEROS REALES CLCULO DIFERENCIAL

Definicin de valor absoluto de un nmero real Si

absoluto como

Definicin de distancia entre dos nmeros Si

.
Propiedades del valor absoluto
1.
2.
3.
4.
5.
Desigualdades y valor absoluto
1.
2.
3.
4.
5.

11

es un nmero real, se define el valor

, se define su distancia como