Académique Documents
Professionnel Documents
Culture Documents
Leccin 1.1
Si a
, obtenemos el conjunto de
. Es decir,
. Luego,
. 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.
es un nmero racional y
nmeros irracionales constituye el conjunto de los nmeros reales que representamos por
Entre los conjuntos numricos hasta ahora mencionados existen las siguientes relaciones:
donde
. Por lo tanto si
representamos por
Leccin 1.2.
Sobre el conjunto
su producto
(que escribiremos abreviadamente como
las siguientes propiedades bsicas:
P.1
es cerrado para la adicin y la multiplicacin. Es decir, si
entonces
P.2
La adicin y la multiplicacin en
reales, entonces
P.3
son nmeros
La adicin y la multiplicacin en
reales, entonces
son nmeros
P.4
La multiplicacin es distributiva, a izquierda y a derecha, con respecto a la adicin en
Es decir, si
P.5
Existen identidades para la adicin y la multiplicacin en
nmeros reales diferentes que representamos por
real
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
El nmero
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
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
Conmutatividad de la adicin.
Propiedad distributiva.
Existencia de inversos aditivos.
Existencia de identidad para la multiplicacin.
Asociatividad de la adicin.
Conmutatividad de la multiplicacin.
si
Leccin 1.3.
Definicin 1.3.2. Si
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
Si
, entonces
y
entonces
Si
Si
, entonces
tales que
, entonces
, entonces
Simplificacin de fracciones:
Si
, entonces
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.
Suma de fracciones.
Simplificacin de fracciones.
Multiplicacin de fracciones.
Leccin 1.4.
El conjunto
P.7
Si
pertenecen a
, entonces
pertenece a
Si
pertenecen a
, entonces
Si
P.8
pertenece a
P.9
significa que
significa que
significa que
significa que
.
.
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
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
nmero real
, entonces
para todo
Si
, entonces
Si
, entonces
Si
entonces
y si
entonces
Si
entonces
y si
entonces
Si
y
, entonces
, o,
, entonces
, o,
.
Si
Ejemplo 1.3.
pues
pues
pues
pues
Si
Si
Si
entonces
entonces
y por lo tanto
se tiene que
entonces
Leccin 1.5.
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
El entero positivo
y el entero
unidades a la izquierda
en
, el
partes de longitud
a la
izquierda de . La grfica siguiente nos muestra algunos de los puntos que representan
nmeros racionales
sobre la
centro en
nmero
y radio
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
".
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
| x| =
Ejemplo 1.4.
, pues
, pues
, pues
, pues
, lo definimos
La relacin de orden entre nmeros reales tiene una interpretacin geomtrica muy simple:
si y slo si el punto que representa
representa
subconjuntos de
Geomtricamente podemos representar estos intervalos sobre la recta real como se indica en las
siguientes figuras:
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
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
para todo
Los nmeros
por
tales que
Si
es un mltiplo de
es mltiplo de
, es decir si
, tomamos
, tomamos
es el menor mltiplo de
. Si
no
que se
Ejemplo 1.5.
1.
Si
2.
Si
, podemos escribir:
, tenemos
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
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
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
en la factorizacin de
donde los primos son ahora diferente y los exponentes son enteros positivos. Esta ltima
representacin 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
tienen la forma
donde
para cada
Si
, decimos que
son
es un divisor comnde
. Cuando
son enteros no
se llama el mximo
, se observa que
Si
, decimos que
es un mltiplo comn de
y
y
. Cuando
son
y lo representamos
Por ejemplo,
representa un intervalo
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
Entonces,
Los resultados anteriores se extienden de manera similar a cualquier nmero finito de enteros.
Ejemplo
1.9.
entonces,
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
denominador igual a
. El conjunto
de los
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
con
entero
y por lo tanto
con
entero
Supongamos que
que
es racional. Luego
es par entonces
con
es par.
o sea
, es decir
es
es un entero par y
, tenemos
con
,o
entero.
, por
con
entero. De
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
tendramos
con
es irracional. Por lo
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
Tenemos
Tenemos
y como
entonces
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
tenemos
a1a2an
o sea
Despejando
Por lo tanto,
Similarmente, si
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.
, su promedio
. 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
".
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.
Axioma de Completez
Leccin 1.10
Si
se llama
si
es acotado superiormente.
es acotado superiormente. Algunas cotas superiores
. En general cualquier nmero mayor o igual que
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.
de
,
se tiene que
como
.
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.
Todo conjunto
El conjunto
tal que
es cualquier nmero
(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 acotado superiormente en
no tiene un supremo en
pero
Leccin 1.11
Nmeros Complejos
es no vaco ya
. Sin embargo
, sera
producto sucede en
para
, el conjunto
, y las sumas
. Si
, donde
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
(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.
3.
1.
2.
3.
4.
5.
6.
7.
,
divido por
que
. En general, si
es un nmero entero,
. Entonces
y un residuo
puede ser
tales
es el inverso de
. En efecto,
o, ms explcitamente,
Ejemplo 1.25.
1.
2.
Si
, 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
, 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.
. As
. As,
es un nmero real.
es 0 o un nmero
es un 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
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.
o, ms generalmente,
2.
3.
4.
Ejemplo 1.28.
1.
2.
3.
o, ms generalmente,
si
Leccin 1.12
El nmero complejo es
. Qu podemos decir acerca de las races cuadradas de los
nmeros reales negativos en general?
Si
de
es un real positivo y
As que
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.