Está en la página 1de 33

El estudio de cualquier rama de las matemticas requiere un buen conocimiento de las

principales propiedades de los nmeros reales, as como de propiedades especiales de algunos


de sus subconjuntos ms notables. El propsito de este captulo es presentar el mnimo de
nociones que consideramos indispensables para cubrir estas necesidades.

Leccin 1.1

Una Visin Preliminar

La nocin de nmero es una de las ms fundamentales en matemticas. Su origen se remonta a


la antigedad y a travs de los siglos ha pasado por un largo proceso de extensin y de
generalizacin.
Los nmeros ms simples, los que utilizamos para contar, son los enteros positivos:

Representamos el conjunto de los enteros positivos por

Si al conjunto de los enteros positivos le aadimos el nmero


los nmeros naturales que representamos por

Si a

, obtenemos el conjunto de

. Es decir,

le agregamos los inversos aditivos

de los enteros positivos,

obtenemos el conjunto de los nmeros enteros que representamos por

. Luego,

El conjunto de nmeros ms simple despus de los enteros es el conjunto de los nmeros


racionales. Los nmeros racionales surgieron ante la necesidad de medir con bastante precisin
distintas magnitudes tales como longitud, peso, tiempo y muchas otras. Un nmero
es racional si puede expresarse en la forma
donde
ejemplo de nmeros racionales podemos citar:

son enteros con

Observamos que los nmeros racionales


y
son simplemente los enteros
general, todo nmero entero es un nmero racional.

El conjunto de los nmeros racionales lo representamos con el smbolo

. Como

. En

Los griegos fueron conscientes de que los nmeros racionales no son suficientes para medir
todas las longitudes. Aunque ellos demostraron que
cuadrado de lado
enteros.

, tambin probaron que

mide la longitud de la diagonal de un

no puede escribirse como el cociente de dos

Los nmeros que no son racionales, se llaman nmeros irracionales. En un contexto ms


avanzado, se puede demostrar que existen mucho ms nmeros irracionales que nmeros
racionales. Por el momento, podemos mencionar que si
entonces

es un nmero racional y

es un nmero irracional. La reunin de todos los nmeros racionales y todos los

nmeros irracionales constituye el conjunto de los nmeros reales que representamos por

Entre los conjuntos numricos hasta ahora mencionados existen las siguientes relaciones:

donde

representa la inclusin entre conjuntos. En todos los casos la inclusin es estricta.

Tambin es conveniente mencionar que el conjunto de los nmeros irracionales es el


complemento del conjunto de los nmeros racionales con respecto a

. Por lo tanto si

representamos por

el conjunto de todos los nmeros irracionales, tenemos la relacin

Leccin 1.2.

Adicin y Multiplicacin de Nmeros Reales

Sobre el conjunto

de los nmeros reales tenemos definidas dos operaciones, la adicin y

la multiplicacin que asignan a cada par

de nmeros reales su suma

su producto
(que escribiremos abreviadamente como
las siguientes propiedades bsicas:

) de tal manera que se cumplen

P.1
es cerrado para la adicin y la multiplicacin. Es decir, si
entonces

son nmeros reales,

son tambin nmeros reales.

P.2
La adicin y la multiplicacin en
reales, entonces

P.3

son conmutativas. Es decir, si

son nmeros

La adicin y la multiplicacin en
reales, entonces

son asociativas. Es decir, si

son nmeros

P.4
La multiplicacin es distributiva, a izquierda y a derecha, con respecto a la adicin en
Es decir, si

son nmeros reales, entonces

P.5
Existen identidades para la adicin y la multiplicacin en
nmeros reales diferentes que representamos por
real

. Es decir, existen dos


, tales que para todo nmero

se tiene

P.6
Existen inversos para la adicin de nmeros reales y para la multiplicacin de nmeros
reales diferentes de cero. Es decir,
Para todo nmero real

, existe un nmero real que representamos por

Para todo nmero real

El nmero

, existe un nmero real que representamos por

se llama el inverso aditivo de

el inverso multiplicativo de
Dados los nmeros reales
que

, tal que

o el recproco de

o el opuesto de

. El nmero

, tal que

se llama

, la propiedad asociativa de la adicin nos dice


. Esto nos lleva a definir sin ambigedades el

smbolo
como el resultado comn de estas expresiones. Similarmente, si
y
son nmeros reales, por repetidas aplicaciones de la propiedad asociativa de la adicin podemos
comprobar que los nmeros

son todos iguales y definir

como el resultado comn de estas expresiones. En

general, si tenemos una coleccin finita


de nmeros reales, todas las formas
posibles en que los asociemos para sumarlos producen el mismo resultado y podemos
definir

como este resultado comn.

Tambin, dada una suma


de
nmeros reales, la propiedad conmutativa
de la adicin nos permite cambiar arbitrariamente el orden de los sumandos.
Obviamente, podemos hacer consideraciones similares para la multiplicacin de nmeros reales.
Ejemplo 1.1. En la siguiente lista se ilustran algunas de las propiedades de la adicin y
multiplicacin de nmeros reales. Todas las letras representan nmeros reales.

Existencia de identidad para la adicin.

Conmutatividad de la adicin.

Existencia de inversos multiplicativos.

Propiedad distributiva.
Existencia de inversos aditivos.
Existencia de identidad para la multiplicacin.

Asociatividad de la adicin.

Conmutatividad de la multiplicacin.

si

Existencia de inversos multiplicativos.


Asociatividad de la multiplicacin.

Diferencia y Cociente en los Nmeros Reales

Leccin 1.3.

La diferencia y el cociente de dos nmeros reales se pueden expresar en trminos de la adicin y


la multiplicacin de acuerdo con las siguientes definiciones:
Definicin 1.3.1. Si

son nmeros reales, la diferencia de

Definicin 1.3.2. Si

son nmeros reales con

es

, el cociente de

por

es

Hacemos notar que como el nmero cero carece de inverso multiplicativo, la divisin por cero no
est definida.
La importancia de las propiedades bsicas P.1 a P.6 es que a partir de ellas se pueden deducir
todas las dems propiedades relativas a la adicin y multiplicacin de nmeros reales. A manera
de ejemplo podemos citar algunas de ellas de uso muy frecuente:

Propiedades cancelativas:

Si

son nmeros reales tales que

Si

son nmeros reales tales que

, entonces
y

entonces

Unicidad de los inversos:

Si

son nmeros reales tales que

Si

son nmeros reales con

Reglas de los signos:


Si

son nmeros reales arbitrarios, entonces


,

, entonces

tales que

, entonces

Regla de los signos para las fracciones:


Si

son nmeros reales con

, entonces

Simplificacin de fracciones:
Si

son nmeros reales con

, entonces

Operaciones con fracciones:


Si

son nmeros reales con

entonces

o
Si adems,

, entonces

o
Ejemplo 1.2. En la siguiente lista utilizamos algunas de las propiedades mencionadas. Siempre
suponemos que los denominadores de las fracciones son diferentes de cero.

Si

entonces

Propiedad cancelativa.

Regla de los signos.

Regla de los signos para fracciones.

Suma de fracciones.

Regla de los signos.

Simplificacin de fracciones.

Multiplicacin de fracciones.

Divisin de fracciones y regla de los signos.


En el prximo captulo usaremos intensivamente las propiedades bsicas de la adicin y
multiplicacin de nmeros reales, y las propiedades que de ellas se deducen.

Orden en los Nmeros Reales

Leccin 1.4.
El conjunto

de los nmeros reales contiene un subconjunto especial llamado el conjunto de

los nmeros positivos, que representamos por

, cuyas propiedades bsicas son:

P.7
Si

pertenecen a

, entonces

pertenece a

Si

pertenecen a

, entonces

Si

es un nmero real, se cumple exactamente una de las siguientes relaciones.

P.8
pertenece a

P.9

x\P, x=0, -x\P


Estas propiedades las completamos con la siguiente definicin:
Definicin 1.4.1. Si

son nmeros reales, entonces

significa que

significa que

significa que

significa que

.
.

De acuerdo a la definicin anterior tenemos que


si y slo si

es positivo, es decir,

si y slo si

Utilizando la notacin anterior, podemos expresar las propiedades bsicas de los nmeros
positivos de la siguiente forma:
P.7
Si

entonces

Si

entonces

P.8
.

P.9
Si

es un nmero real, se cumple exactamente una de las siguientes relaciones

x>0, x=0, -x>0


Las siguientes terminologas se usan con frecuencia:

Si

decimos que

es negativo.

Si

decimos que

es no negativo.

significa que

significa que

significa que

significa que

De estas propiedades se deducen las reglas usuales que rigen las operaciones con
desigualdades. Como ejemplo podemos citar algunas de ellas de uso muy frecuente:

Si

son nmeros reales tales que

nmero real

, entonces

para todo

Si

son nmeros reales tales que

, entonces

Si

son nmeros reales tales que

, entonces

Si

entonces

y si

entonces

Si

entonces

y si

entonces

Si
y

son nmeros reales tales que

, entonces

, o,

son nmeros reales tales que

, entonces

, o,

.
Si

Ejemplo 1.3.

pues

pues

pues

pues

Si

Si

Para todo nmero real

Si

entonces
entonces

y por lo tanto

se tiene que

son nmeros reales tales que

entonces

Leccin 1.5.

Representacin Geomtrica de los Nmeros Reales

Geomtricamente podemos representar el conjunto de los nmeros reales mediante los puntos
de una recta horizontal que llamaremos la recta real o el eje real. Para ello,escogemos un punto
de la recta para representar el nmero

y otro punto a la derecha de este para representar al

nmero . La longitud del segmento determinado por los puntos marcados


y
se selecciona
como unidad de distancia. Utilizando esta unidad de distancia representamos los nmeros
positivos a la derecha del

y los nmeros negativos a la izquierda del

se representa por el punto situado a una distancia de


negativo
del

El entero positivo

unidades a la derecha del

se representa por el punto situado a una distancia de

y el entero

unidades a la izquierda

, como se indica en la siguiente figura donde se representan los enteros entre

Para representar un nmero racional positivo


segmento determinado por
punto determinado por
negativo

en

dividimos la unidad de distancia, es decir , el

partes iguales y le asignamos, a la derecha de

de estas partes de longitud

, el

. Para representar el nmero racional

, procedemos de forma similar, pero tomando

partes de longitud

a la

izquierda de . La grfica siguiente nos muestra algunos de los puntos que representan
nmeros racionales

La siguiente construccin nos muestra como representar el nmero irracional


recta:

sobre la

Concretamente, el punto que representa a


se obtiene trazando desde el punto marcado
un segmento de recta de longitud igual a la unidad y perpendicular a la recta real. Se forma un
tringulo rectngulo cuya hipotenusa tiene longitud

. Luego se traza un arco de crculo con

centro en
nmero

y radio

, el punto de interseccin de este arco con el eje real represente el

En general es imposible indicar de que forma se puede representar cualquier nmero irracional
sobre la recta, pero aceptamos como un axioma que a cada nmero real le corresponde
exactamente un punto sobre la recta y que recprocamente, cada punto de la recta corresponde
a exactamente un nmero real. Una correspondencia como esta se llama un sistema de
coordenadas. El nmero correspondiente a un punto dado se llama la coordenada del punto. El
punto que corresponde al nmero cero se llama el origen del sistema de coordenadas y
usualmente lo representamos por O. Por ejemplo en la figura siguiente

la coordenada de

es

, la coordenada de

es

, la coordenada de

es

etc.

En la prctica, se acostumbra a identificar un nmero real con el punto sobre la recta que lo
representa y, a utilizar como sinnimas las expresiones " el punto

" y " el nmero

".

Para representar la distancia entre dos puntos de la recta, necesitamos calcular la diferencia
entre la coordenada del punto que esta a la derecha y la coordenada del punto que esta a la
izquierda. Si los puntos tienen coordenadas

, entonces cuando

la distancia

es
y cuando
la distancia es
, ya que la distancia es siempre
positiva. Con el fin de tener una nica frmula para calcular la distancia en todos los casos,
introducimos la nocin de valor absoluto.
Definicin 1.5.1. Si

es un nmero real, su valor absoluto que notamos

| x| =
Ejemplo 1.4.

, pues
, pues
, pues
, pues

, lo definimos

De acuerdo con nuestra observacin anterior, si

sobre una recta, la distancia entre ellos se define como


representa la distancia del origen al punto

son las coordenadas de dos puntos


. En particular,

La relacin de orden entre nmeros reales tiene una interpretacin geomtrica muy simple:
si y slo si el punto que representa
representa

esta localizado a la izquierda del punto que

La representacin geomtrica es de gran utilidad en la resolucin de problemas y en la


visualizacin de muchas propiedades importantes de los nmeros reales.
Es til introducir la nocin de intervalo. Si

son nmeros reales, definimos los siguientes

subconjuntos de

Los conjuntos as definidos se llaman en su orden, intervalo abierto de extremos

intervalo cerrado de extremos

, intervalo abierto-cerrado de extremos

intervalo cerrado-abierto de extremos

Geomtricamente podemos representar estos intervalos sobre la recta real como se indica en las
siguientes figuras:

Un parntesis cuadrado en la figura indica que el extremo correspondiente pertenece al


intervalo.
Se acostumbra a ampliar el concepto de intervalo para incluir los siguientes conjuntos, conocidos
con el nombre de intervalos infinitos:

Dejamos al lector la representacin geomtrica de estos intervalos. El smbolo


llamado infinito que aparece en la definicin anterior, no es un nmero real, es tan solo un
artificio de notacin.

Los Enteros

Leccin 1.6.

En esta seccin vamos a mencionar algunas de las propiedades ms importantes del conjunto
de los nmeros enteros. Recordamos que
enteros positivos
el

esta formado por la unin del conjunto de los

, el conjunto de los enteros negativos

Muchos de los resultados sobre nmeros enteros son consecuencia del siguiente resultado:
Principio de buena ordenacin. Todo subconjunto no vaco
mnimo. Es decir, existe

tal que

de nmeros naturales posee un

para todo

Una primera consecuencia de este principio es el resultado conocido como algoritmo de la


divisin.
Algoritmo de la divisin. Si
nicos

Los nmeros
por

son enteros con

, entonces existen enteros

tales que

se llaman respectivamente, el cociente y el residuo obtenidos al dividir

El siguiente diagrama ilustra la demostracin del resultado anterior

Si

es un mltiplo de

es mltiplo de

, es decir si

, tomamos

para algn entero


donde

encuentra a la izquierda del nmero

, tomamos

es el menor mltiplo de

. Si

no

que se

. Observamos que de esta forma

Ejemplo 1.5.
1.

Si

2.

Si

, podemos escribir:

, tenemos

En virtud de este algoritmo, con


formas

, podemos representar todo entero

en alguna de las

donde
es un entero. Si
se puede representar en la primera forma, de-ci-mos que
entero par y cuando se puede representar en la segunda forma, de-ci-mos que es un
entero impar. Los enteros pares son por lo tanto:
y los enteros impares son

es un

.
Definicin 1.6.1. Sean
existe un entero
decimos tambin
.
Para indicar que

tal que

nmeros enteros con


. En tal caso escribimos

es un divisor de

no divide a

. Decimos que

, o que

escribimos

es un factor de

. Cuando
, que

divide a

si

divide a
es un mltiplo de

Definicin 1.6.2. Un entero positivo


dos divisores positivos a saber,
llamacompuesto.

se llama un nmero primo si tiene exactamente


. Un entero positivo mayor que 1 que no es primo se

Los primeros nmeros primos son

Sin duda alguna el siguiente resultado es la propiedad ms importante que tiene el conjunto de
los enteros positivos.
Teorema 1.6.1. (Teorema fundamental de la Aritmtica) Todo entero
es primo,
se puede factorizar como producto de primos. Esta factorizacin es nica salvo por el orden de
los factores.
De acuerdo al teorema anterior, si

donde

es un entero mayor que

, lo podemos escribir en la forma

son primos no necesariamente diferentes. Agrupando los primos iguales

en la factorizacin de

, lo podemos escribir en la forma

donde los primos son ahora diferente y los exponentes son enteros positivos. Esta ltima
representacin de

se llama la representacin natural o cannica de

Ejemplo
1.6.

Cuando trabajamos con varios enteros es deseable utilizar los mismos nmeros primos para
representarlos y en tal caso aceptamos en la representacin cannica de un entero, exponentes
cero. As por ejemplo escribimos

donde en todos los casos hemos utilizados los mismos primos

Si la representacin cannica de un entero es


positivos de

tienen la forma

, entonces los divisores

donde

para cada

Ejemplo 1.7. Los divisores positivos de

Si

, decimos que

son

es un divisor comnde

. Cuando

ambos iguales a cero, el mayor de los divisores comunes positivos de


comn divisor de
Puesto que, si

y lo representamos por la notacin


entonces

son enteros no

se llama el mximo

, se observa que

Como ejemplo tenemos

Si

, decimos que

es un mltiplo comn de

enteros no nulos, el menor de los mltiplos comunes positivos de

y
y

principio de buena ordenacin, se llama el mnimo comn mltiplo de


por la notacin

. Cuando

son

, que existe por el


y

y lo representamos

. En este caso tambin tenemos

Por ejemplo,

Es conveniente observar que en matemticas utilizamos a veces la misma notacin para


representar conceptos diferentes, pero el contexto nos indica con claridad el significado deseado.
Por ejemplo, si trabajamos con el orden en los nmeros reales,
abierto, pero si trabajamos con nmeros enteros,
de dos enteros.

representa un intervalo

representa el mximo comn divisor

Una de las consecuencias del Teorema fundamental de la Aritmtica es que nos proporciona un
mtodo rpido para hallar el mximo comn divisor y el mnimo comn mltiplo de dos enteros.
Concretamente tenemos el siguiente resultado:

Si
todo

con los

primos y

para

. Entonces,

donde

Ejemplo 1.8. Como

Entonces,

Los resultados anteriores se extienden de manera similar a cualquier nmero finito de enteros.
Ejemplo
1.9.

entonces,

Nmeros Racionales e Irracionales

Leccin 1.7.

Como indicamos en la seccin < href="reales1.tex">1.1. los nmeros racionales son los que se
pueden expresar en la forma

donde

son enteros y

nmeros racionales contiene como subconjunto al conjunto


cualquier entero

lo podemos expresar en la forma

denominador igual a

. El conjunto

de los

de todos los enteros, pues

, es decir como un racional con

Observamos que existen varias expresiones de la forma


racional, por ejemplo
definicin.

. Caracterizamos estas expresiones de acuerdo a la siguiente

Definicin 1.7.1. Los nmeros racionales


cuando

que representan el mismo nmero

con

son iguales

Es decir tenemos:

si y slo si
Si tenemos en cuenta las operaciones con fracciones que mencionamos en la seccin <
href="reales2.tex">1.2., vemos que los nmeros racionales resultan cerrados para la adicin, la
resta, la multiplicacin y la divisin, ya que en todos los casos se obtienen fracciones cuyos
numeradores y denominadores son nmeros enteros.
Los nmeros reales que no son racionales, los llamamos nmeros irracionales. Como ejemplo
podemos citar

En general es muy difcil probar que un nmero real es irracional. Sin embargo, hay una
demostracin fcil de que el nmero

es irracional. Hela aqu:

Por el algoritmo de la divisin sabemos que todo entero


expresarse en una de las dos formas

con

es par o impar, es decir puede

entero

y por lo tanto

con

entero

De las igualdades anteriores concluimos que si

Supongamos que

que

es racional. Luego

no tienen ningn factor comn. Luego

es par entonces

con

es par.

enteros. Podemos asumir

o sea

, es decir

es

par y por la observacin preliminar,

tambin es par. Podemos escribir

Sustituyendo este valor en la ecuacin


consiguiente

es un entero par y

, tenemos

con
,o

se puede expresar en la forma

esta forma hemos llegado a contradecir que los enteros


Por lo tanto nuestra hiptesis de que
irracional.

entero.
, por

con

entero. De

no tienen ningn factor comn.

es racional es imposible y en consecuencia

es

A partir de un nmero irracional dado, podemos construir una infinidad de nmeros irracionales,
pues fcilmente se demuestra el siguiente resultado:
" Si

es un nmero irracional y

nmeros

es cualquier nmero racional diferente de cero, entonces los

son todos nmeros irracionales."

La irracionalidad de cualquiera de estos nmeros se demuestra inmediatamente por


contradiccin. Por ejemplo, si
racional. Despejando

fuera un nmero racional, tendramos

tendramos

que es un nmero racional, pues la diferencia

de dos nmeros racionales es un nmero racional. Esto contradice que


tanto

con

es irracional. Por lo

no puede ser un nmero racional.

Ejemplo 1.10. Todos los siguientes nmeros son irracionales

El ejemplo siguiente nos muestra que los nmeros irracionales no son cerrados para la adicin,
la resta, la multiplicacin y la divisin, es decir hay casos en que estas operaciones aplicadas a
nmeros irracionales producen como resultado un nmero racional.
Ejemplo 1.11.

Expresiones Decimales

Leccin 1.8.

Dado que todo nmero racional es el cociente de dos enteros, efectuando una divisin ordinaria
lo podemos representar mediante una expresin decimal. Estas representaciones o bien son
finitas, como en el caso de

y
o bien se repiten en ciclos regulares indefinidamente como en el caso de

y
Cuando en una expresin decimal hay un ciclo de cifras que se repiten indefinidamente, decimos
que el decimal es peridico. Llamamos perodo al conjunto de cifras que forman el ciclo que se
repite y para representar el nmero sin ambigedades trazamos una barra sobre este ciclo. Todo
decimal finito puede considerarse como un decimal peridico donde la cifra que se repite es el
cero. Usando estas notaciones tenemos;

Hemos visto que todo nmero racional se puede representar como una expresin decimal
peridica. Tambin es cierto que toda expresin decimal peridica representa un nmero
racional. Los siguientes ejemplos nos muestran como encontrar el racional representado por una
expresin decimal.
Ejemplo 1.12. Hallemos el nmero racional representado por
Tenemos

En el siguiente ejemplo, el perodo contiene ms de un dgito


Ejemplo 1.13. Hallemos el nmero racional representado por

Tenemos

El caso ms general se presenta en el siguiente ejemplo


Ejemplo 1.14. Hallemos el nmero racional representado por

Tenemos

y luego procedemos con

y como

, como en el ejemplo anterior. Es decir

entonces

En el desarrollo de los ejemplos anteriores, se multiplic el nmero


de

por ciertas potencias

. Estas potencias no se eligieron al azar, sino que se escogieron cuidadosamente, de tal

forma que los nmeros


las restas
racional

tuvieran la misma parte decimal que

. De esta forma, al efectuar

se obtuvieron nmeros enteros a partir de los cuales se despejo el nmero


.

La discusin anterior nos muestra que el conjunto de los nmeros racionales es idntico con el
conjunto de los decimales peridicos. En consecuencia, el conjunto de los nmeros irracionales
esta constituido por todos los decimales no peridicos. Como ejemplos de un decimales no
peridicos, podemos citar las expresiones

y
donde el nmero de ceros que preceden a
Sea

oa

va aumentando cada vez.

una expresin decimal finita. Multiplicando por

tenemos

a1a2an
o sea

Despejando

obtenemos el nmero racional

Por lo tanto,

satisface las siguientes relaciones

Similarmente, si

es un nmero real positivo que tiene una expansin

decimal infinita, entonces el nmero


esta localizado sobre la recta numrica de tal forma que
satisface las siguientes desigualdades

Observamos que la representacin decimal esta asociada con la divisin de un intervalo unidad
en 10 partes iguales, la divisin de cada una de estas subdivisiones en 10 partes iguales y as
sucesivamente. Si por ejemplo consideramos el nmero decimal
tenemos las grficas siguientes

y ampliando

Leccin
1.9.

Densidad de los Nmeros Racionales y de los


Nmeros Irracionales en R

Dados dos nmeros reales diferentes


y

, su promedio

esta comprendido entre

. Por lo tanto, entre dos nmeros reales sin importar lo cercano que se encuentren, hay una

infinidad de nmeros reales. Esto implica que dado un nmero real cualquiera
sentido expresiones tales como " el nmero real siguiente a

no tienen

" o " el nmero real anterior a

".

Usando nuestra caracterizacin de los nmeros reales como expresiones decimales, podemos
refinar el resultado anterior y establecer los siguientes resultados:
Resultado 1. Entre dos nmeros reales diferentes hay un nmero racional, y por lo tanto hay
infinitos nmeros racionales entre ellos.
Resultado 2. Entre dos nmeros reales diferentes hay un nmero irracional, y por lo tanto hay
infinitos nmeros irracionales entre ellos.

Los resultados 1 y 2 se describen en lenguaje matemtico diciendo, respectivamente, que el


conjunto de los nmeros racionales es denso en el conjunto de los nmeros reales y que el
conjunto de los nmeros irracionales es denso en el conjunto de los nmeros reales.
Ejemplo 1.15. Construyamos dos nmeros racionales y dos nmeros irracionales
entre

Usando expresiones decimales peridicas tenemos que

son dos nmeros racionales entre

Usando expresiones decimales no peridicas tenemos que

son dos nmeros irracionales entre

Axioma de Completez

Leccin 1.10

Si analizamos cuidadosamente el conjunto


de los nmeros racionales, observamos que
satisface las propiedades bsicas P-1 a P-6 de la seccin 1.2. que gobiernan las operaciones de
adicin y multiplicacin entre nmeros reales y satisface las propiedades P-7 a P-9 de la
seccin 1.4. que gobiernan la relacin de orden entre nmeros reales. Sin embargo, dado que el
conjunto de los nmeros racionales son tan solo un subconjunto muy pequeo del conjunto de
todos los nmeros reales, debe existir por lo menos una propiedad bsica adicional que distinga
los nmeros racionales de los nmeros reales. Esta propiedad es el axioma de completez que
mencionaremos brevemente en esta seccin.
Para empezar, necesitamos introducir una terminologa y notaciones adicionales.
Definicin 1.10.1. Sea
una cota superior de

Si

un conjunto no vaco de nmeros reales. Un nmero real

se llama

si

tiene cotas superiores, decimos que

Ejemplo 1.16. El intervalo cerrado


de
son ;
;
;
es cota superior de este conjunto.

es acotado superiormente.
es acotado superiormente. Algunas cotas superiores
. En general cualquier nmero mayor o igual que

Ejemplo 1.17. El intervalo abierto

es un conjunto acotado superiormente que tiene las

mismas cotas superiores que el intervalo cerrado


Ejemplo 1.18. El conjunto

de todos los nmeros reales no es acotado superiormente.

Dejamos como ejercicio para el lector, definir las nociones anlogas de cota inferior de un
conjunto no vaco de nmeros reales y de conjunto acotado inferiormente. Tambin le
solicitamos que de ejemplos de estos conceptos.
Definicin 1.10.2. Sea
nmero real
1.
2.

un conjunto no vaco de nmeros reales acotado superiormente. Un

se llama extremo superior de

es una cota superior de


Para toda cota superior

de

si cumple las siguientes propiedades:

,
se tiene que

Observamos que las condiciones i) y ii) expresan que


es la mnima cota superior de . En la
prctica nos referimos al extremo superior de un conjunto como el supremo, abreviado Sup.
Notamos el supremo de

como

El extremo inferior o nfimo de

.
notado

se da de forma anloga.

Ejemplo 1.19. Si

entonces

Ejemplo 1.20.

Si

entonces

Si

entonces

y
y

Ejemplo 1.21. Si

.
.

entonces

Estamos listos para introducir la ltima propiedad bsica o axioma que caracteriza al conjunto de
los nmeros reales.
P-10 Axioma de completez. Todo conjunto
superiormente, tiene supremo.

de nmeros reales no vaco y acotado

Entre las principales consecuencias de este axioma podemos citar:

Todo conjunto

de nmeros reales no vaco y acotado inferiormente, tiene nfimo.

El conjunto

Propiedad Arquimediana de los nmeros reales: Si

de los nmeros naturales no es acotado superiormente.

real, entonces existe un entero positivo

tal que

es cualquier nmero

La propiedad Arquimediana de los nmeros reales tiene la siguiente in-ter-pre-ta-cin


geomtrica: Si tenemos dos segmentos de recta, uno tan largo como queramos de longitud

otro tan corto como queramos de longitud


(ver la figura), tomando un nmero suficiente de
veces el segmento pequeo, podemos cubrir el segmento largo.

(Existe

tal que

Utilizando la propiedad Arquimediana se puede demostrar con alguna dificultad y sin usar
representaciones decimales, que el conjunto de los nmeros racionales es denso en el conjunto
de los nmeros reales. A partir de este ltimo resultado se puede deducir fcilmente que el
conjunto de los nmeros irracionales tambin es denso en el conjunto de los nmeros reales.
Para finalizar estas notas sobre el conjunto de los nmeros reales presentaremos un ejemplo
que nos muestra que los nmeros racionales no satisfacen el axioma de completez.
Ejemplo 1.22. Sea

Por definicin
que

es un subconjunto del conjunto de los nmeros racionales,


y

es acotado superiormente en

no tiene un supremo en
pero

Leccin 1.11

, por ejemplo por

. El nmero que podra ser el extremo superior de

Nmeros Complejos

es no vaco ya
. Sin embargo
, sera

Ningn nmero real es solucin de la ecuacin


halla en el conjunto

. La solucin de esta ecuacin se

de los nmeros complejos, el cual contiene tanto

cuyo cuadrado es negativo. La unidad imaginaria es


Puesto que

producto sucede en
para

y se espera operar elementos de

, el conjunto

, y las sumas

. Si

, el nmero (es decir

Note que un nmero real

son nmeros reales. En efecto tenemos que:

son, respectivamente, la parte real y la parte

imaginaria del nmero complejo


real y si, adems,

con una suma y un

debe contener los productos de la forma

, donde

Definicin 1.11.1. Los reales

como los nmeros

tiene la forma

, un nmero

es un complejo no

) es un imaginario puro.
con

Ejemplo 1.23.

1.

La parte real de

2.

La parte imaginaria de

3.

La parte real de

4.
5.

,
,

,
,

es 2 y su parte imaginaria es
es
es

son complejos, no reales.


son imaginarios puros.

La igualdad de nmeros complejos se define as:

(Esto es, dos complejos son iguales si y slo si sus partes reales son iguales y sus partes
imaginarias son iguales)
Las operaciones de suma y producto se definen haciendo uso de las operaciones de nmeros
reales y teniendo en cuenta que

. As tenemos:

Ejemplo 1.24.
1.
1.

si y slo si

2.
3.

si y slo si
No existe un real
cual

para el cual

y no existe un real

para el

2.
1.
2.

. La parte real de este complejo


es el nmero real

3.

1.
2.
3.

4.

5.

6.
7.

,
divido por
que

. En general, si

es un nmero entero,

y en ese caso se obtienen un cociente


y

. Entonces

y un residuo

puede ser
tales

La suma y el producto de nmeros complejos cumplen las condiciones de cuerpo o de campo


que cumplen la suma y el producto de nmeros reales (es decir, las propiedades 1 a 5 de la
seccin anterior, se cumplen si se supone que los elementos son nmeros complejos). Hablamos
entonces del cuerpo o campo de los nmeros complejos. La verificacin de casi todas las
propiedades es rutinaria. Nos detendremos en la que no lo es: la existencia de inversos.
Un nmero complejo
entonces

posee inverso para la suma pues si

es el inverso de

. En efecto,

Comprobaremos la existencia de inversos para el producto despus de introducir otros


conceptos.
Note que

. Este complejo se denota por

La resta se define as: si

son nmeros complejos,

o, ms explcitamente,

Ejemplo 1.25.
1.

2.

Si

es un nmero complejo tal que

, entonces

, es decir,

3.
El conjugado de un nmero complejo
as:

(o

Ejemplo 1.26.
1.
1.
2.

, denotado por
)

se define

3.
4.
5.
6.
7.
2.

Si

Si

entonces
y

entonces

que

. Como

implica que

es un nmero real. Para probarlo, supongamos


, es decir,

, entonces

y, en consecuencia,

, lo cual

3.
1.
2.
3.

4.
En el tercer ejemplo tenemos la comprobacin de las siguientes propiedades referentes al
conjugado

de

, un nmero complejo.

1.

, donde

2.

, donde
imaginario puro.

3.
4.

denota la parte real de


es la parte imaginaria de

. As
. As,

es un nmero real.
es 0 o un nmero

. Este es un nmero real positivo o cero. Es cero si y slo si


, si y slo si

es un nmero real.

Definicin 1.11.2. El mdulo del nmero complejo


(la raz cuadrada positiva del nmero real

).

se denota

y se define as:

Con estos elementos verificamos las existencia de inversos para el producto de nmeros
complejos (propiedad 4 en la seccin \docLink{reales1.tex}{1.1} en el caso complejo). Esa
propiedad dice que dado
tomamos

, existe

tal que

pues si

tenemos:

As el inverso de
si

para el producto es

. Se denota por

. Expl-ci-ta-men-te,

, entonces

La divisin de nmeros complejos se define as: si

, son nmeros complejos y

Ms explcitamente,

Ejemplo 1.27.
1.

1.
2.
3.

, ms generalmente, si

es un nmero real

entonces
y el mdulo de es
, es decir, el mdulo de
un nmero real es igual a su valor absoluto (\docLink{reales5.tex}{seccin
1.5} ).
2.

1.

2.

3.

Si
,
,
producto de nmeros reales.

, es decir es el inverso de

para el

3.

4.
5.

Otras propiedades del conjugado se refieren a su comportamiento en relacin con las


operaciones entre nmeros complejos. A continuacin enunciamos esas propiedades:
Si

son nmeros complejos arbitrarios entonces


1.

o, ms generalmente,

2.
3.

4.
Ejemplo 1.28.
1.

2.

3.

o, ms generalmente,

si

Races Cuadradas de Nmeros Reales Negativos

Leccin 1.12

El nmero complejo es
. Qu podemos decir acerca de las races cuadradas de los
nmeros reales negativos en general?

Si

es un real negativo entonces

de

es un real positivo y

(la raz cuadrada positiva

), es un nmero real. Tenemos

As que

son las races cuadradas de

La raz cuadrada principal de

es

para

. Es denotada por

Ejemplo 1.29.
1.

2.

Si
y
son nmeros reales positivos
. Sin embargo, en el caso de los
reales negativos la igualdad no es vlida. En efecto,

mientras que
mientras que

3.