Leccin 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 ue utilizamos para contar, son los enteros positivos!

"epresentamos el con#unto de los enteros positivos por

. , o%tenemos el

Si al con#unto de los enteros positivos le a$adimos el nmero con#unto de los nmeros naturales ue representamos por

. &s decir,

Si a le agregamos los inversos aditivos de los enteros positivos, o%tenemos el con#unto de los nmeros enteros ue representamos por . Luego,

&l con#unto de nmeros ms simple despus de los enteros es el con#unto de los nmeros racionales. Los nmeros racionales surgieron ante la necesidad de medir con %astante precisin distintas magnitudes tales como longitud, peso, tiempo y muchas otras. 'n nmero es racional si puede expresarse en la forma y son enteros con donde . (omo e#emplo de nmeros racionales podemos citar!

)%servamos ue los nmeros racionales

son simplemente los enteros

. &n general, todo nmero entero es un nmero racional. &l con#unto de los nmeros racionales lo representamos con el s*m%olo .

Los griegos fueron conscientes de ue los nmeros racionales no son suficientes para medir todas las longitudes. +un ue ellos demostraron ue mide la no longitud de la diagonal de un cuadrado de lado , tam%in pro%aron ue puede escri%irse como el cociente de dos enteros.

Los nmeros ue no son racionales, se llaman nmeros irracionales. &n un contexto ms avanzado, se puede demostrar ue existen mucho ms nmeros irracionales ue nmeros racionales. ,or el momento, podemos mencionar ue si es un nmero racional y entonces es un nmero irracional. La reunin de todos los nmeros racionales y todos los nmeros irracionales constituye el con#unto de los nmeros reales ue representamos por .

&ntre los con#untos numricos hasta ahora mencionados existen las siguientes relaciones!

donde representa la inclusin entre con#untos. &n todos los casos la inclusin es estricta. -am%in es conveniente mencionar ue el con#unto de los nmeros irracionales es el complemento del con#unto de los nmeros racionales con respecto a . ,or lo tanto si representamos por el con#unto de todos los nmeros irracionales, tenemos la relacin

Leccin 1.2.

Adicin y Multiplicacin de Nmeros Reales de los nmeros reales tenemos definidas dos operaciones, la de nmeros reales su suma / de tal

So%re el con#unto

adicin y la multiplicacin ue asignan a cada par

y su producto . ue escri%iremos a%reviadamente como manera ue se cumplen las siguientes propiedades %sicas! ,.0

es cerrado para la adicin y la multiplicacin. &s decir, si y son nmeros reales, entonces y ,.1 La adicin y la multiplicacin en son son tam%in nmeros reales.

conmutativas. &s decir, si y son nmeros reales, entonces

,.2 La adicin y la multiplicacin en asociativas. &s decir, si reales, entonces son

y son nmeros

,.3 La multiplicacin es distri%utiva, a iz uierda y a derecha, con respecto a la adicin en decir, si &s y son nmeros reales, entonces

,.4

&xisten identidades para la adicin y la multiplicacin en . &s decir, existen dos nmeros reales diferentes ue representamos por y , tales ue para todo nmero real se tiene

,.5 &xisten inversos para la adicin de nmeros reales y para la multiplicacin de nmeros reales diferentes de cero. &s decir, ,ara todo nmero real , existe un nmero real ue representamos por , tal ue

,ara todo nmero real real ue representamos por

, existe un nmero , tal ue

&l nmero

se llama el inverso aditivo de o el se llama el inverso

opuesto de . &l nmero

multiplicativo de o el rec*proco de . 6ados los nmeros reales ue y , la propiedad asociativa de la adicin nos dice . &sto nos lleva a definir sin am%igedades el s*m%olo

como el resultado comn de estas expresiones. Similarmente, si y son nmeros reales, por repetidas aplicaciones de la propiedad asociativa de la adicin podemos compro%ar ue los nmeros

son todos iguales y definir

como el resultado comn de estas

expresiones. &n general, si tenemos una coleccin finita de nmeros reales, todas las formas posi%les en ue los asociemos para sumarlos producen el mismo resultado y podemos definir como este resultado comn.

-am%in, dada una suma de nmeros reales, la propiedad conmutativa de la adicin nos permite cam%iar ar%itrariamente el orden de los sumandos. )%viamente, podemos hacer consideraciones similares para la multiplicacin de nmeros reales.

Ejemplo 1.1. &n la siguiente lista se ilustran algunas de las propiedades de la adicin y multiplicacin de nmeros reales. -odas las letras representan nmeros reales.

&xistencia de identidad para la adicin. (onmutatividad de la adicin. &xistencia de inversos multiplicativos. ,ropie dad distri%utiva. &xistencia de inversos aditivos. &xistencia de identidad para la multiplicacin. +sociatividad de la adicin. (onmutatividad de la multiplicacin.

si multiplicativos.

&xistencia de inversos +sociatividad de la

multiplicacin.

Leccin 1. .

!i"erencia y #ociente en los Nmeros Reales

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! !e"inicin 1. .1. Si y son nmeros reales, la diferencia de y es

!e"inicin 1. .2. Si y son nmeros reales con

, el cociente de por es

7acemos notar ue como el nmero cero carece de inverso multiplicativo, la divisin por cero no est definida. La importancia de las propiedades %sicas ,.0 a ,.5 es ue a partir de ellas se pueden deducir todas las dems propiedades relativas a la adicin y multiplicacin de nmeros reales. + manera de e#emplo podemos citar algunas de ellas de uso muy frecuente!
o

,ropiedades cancelativas! Si y son nmeros reales tales ue . , entonces

Si

y son nmeros reales tales ue .

entonces
o

'nicidad de los inversos! Si y son nmeros reales tales ue entonces . tales ue , ,

Si y son nmeros reales con entonces .

"eglas de los signos! Si y son nmeros reales ar%itrarios, entonces

o o o

"egla de los signos para las fracciones! Si y son nmeros reales con , entonces

Simplificacin de fracciones! Si y son nmeros reales con entonces y ,

)peraciones con fracciones! Si y son nmeros reales con entonces

o o

Si adems,

, entonces

Ejemplo 1.2. &n la siguiente lista utilizamos algunas de las propiedades mencionadas. Siempre suponemos ue los denominadores de las fracciones son diferentes de cero.

Si

entonces

,ropiedad cancelativa.

"egla de los signos.

"egla de los signos para fracciones. Suma de fracciones. "egla de los signos. Simplificacin de fracciones.

8ultiplicacin de fracciones.

6ivisin de fracciones y regla de los signos.

&n el prximo cap*tulo usaremos intensivamente las propiedades %sicas de la adicin y multiplicacin de nmeros reales, y las propiedades ue de ellas se deducen.

Leccin 1.$. &l con#unto

%rden en los Nmeros Reales

de los nmeros reales contiene un su%con#unto especial llamado el , cuyas propiedades

con#unto de los nmeros positivos, ue representamos por %sicas son! ,.9 Si y pertenecen a a ,.: Si y pertenecen a . ,.; .

, entonces

pertenece

, entonces

pertenece a

Si es un nmero real, se cumple exactamente una de las siguientes relaciones. x<,, x=>, ?x<,

&stas propiedades las completamos con la siguiente definicin! !e"inicin 1.$.1. Si y son nmeros reales, entonces

significa ue

significa ue significa ue significa ue

. o o . .

6e acuerdo a la definicin anterior tenemos ue si y slo si es positivo, es decir, si y slo si .

'tilizando la notacin anterior, podemos expresar las propiedades %sicas de los nmeros positivos de la siguiente forma! ,.9 Si ,.: Si ,.; Si es un nmero real, se cumple exactamente una de las siguientes relaciones x@>, x=>, ?x@> Las siguientes terminolog*as se usan con frecuencia!

entonces

entonces

Si Si

decimos ue es negativo. decimos ue es no negativo. significa ue significa ue significa ue significa ue y y y y . . . .

6e estas propiedades se deducen las reglas usuales ue rigen las operaciones con desigualdades. (omo e#emplo podemos citar algunas de ellas de uso muy frecuente!

Si y son nmeros reales tales ue para todo nmero real . Si y son nmeros reales tales ue .

, entonces y ,

entonces

Si

y son nmeros reales tales ue . y si y si entonces entonces

entonces

Si Si

entonces entonces

. .

Si y son nmeros reales tales ue entonces y , o, y .

Si y son nmeros reales tales ue entonces y , o, y .

Ejemplo 1. .

pues pues pues pues Si Si entonces entonces y por lo tanto y

,ara todo nmero real se tiene ue Si y son nmeros reales tales ue entonces

Leccin 1.&.

Representacin 'eom(trica de los Nmeros Reales

Aeomtricamente podemos representar el con#unto de los nmeros reales mediante los puntos de una recta horizontal ue llamaremos la recta real o el e#e real. ,ara ello,escogemos un punto de la recta para representar el nmero otro punto a la derecha de este para representar al nmero y . La longitud del

segmento determinado por los puntos marcados y se selecciona como unidad de distancia. 'tilizando esta unidad de distancia representamos los nmeros positivos a la derecha del positivo derecha del distancia de y los nmeros negativos a la iz uierda del &l entero se representa por el punto situado a una distancia de y el entero negativo unidades a la iz uierda del unidades a la

se representa por el punto situado a una , como se indica en la siguiente figura y .

donde se representan los enteros entre

,ara representar un nmero racional positivo es decir , el segmento determinado por la derecha de y en

dividimos la unidad de distancia, partes iguales y le asignamos, a . ,ara

, el punto determinado por

de estas partes de longitud

representar el nmero racional negativo

, procedemos de forma similar, pero

tomando partes de longitud a la iz uierda de . La grfica siguiente nos muestra algunos de los puntos ue representan nmeros racionales

La siguiente construccin nos muestra como representar el nmero irracional so%re la recta!

(oncretamente, el punto marcado

ue representa a

se o%tiene trazando desde el punto .

un segmento de recta de longitud igual a la unidad y perpendicular a la y radio . , el punto de

recta real. Se forma un tringulo rectngulo cuya hipotenusa tiene longitud Luego se traza un arco de c*rculo con centro en interseccin de este arco con el e#e real represente el nmero

&n general es imposi%le indicar de ue forma se puede representar cual uier nmero irracional so%re la recta, pero aceptamos como un axioma ue a cada nmero real le corresponde exactamente un punto so%re la recta y ue rec*procamente, cada punto de la recta corresponde a exactamente un nmero real. 'na correspondencia como esta se llama un sistema de coordenadas. &l nmero correspondiente a un punto dado se llama la coordenada del punto. &l punto ue corresponde al nmero cero se llama el origen del sistema de coordenadas y usualmente lo representamos por ). ,or e#emplo en la figura siguiente

la coordenada de

es

, la coordenada de

es

, la coordenada de

es

etc.

&n la prctica, se acostum%ra a identificar un nmero real con el punto so%re la recta ue lo representa y, a utilizar como sinnimas las expresiones B el punto y B el nmero B. ,ara representar la distancia entre dos puntos de la recta, necesitamos calcular la diferencia entre la coordenada del punto ue esta a la derecha y la coordenada del punto ue esta a la iz uierda. Si los puntos tienen coordenadas la distancia es y cuando y , entonces cuando la distancia es B

, ya ue la distancia es siempre positiva. (on el fin de tener una nica frmula para calcular la distancia en todos los casos, introducimos la nocin de valor a%soluto. !e"inicin 1.&.1. Si es un nmero real, su valor a%soluto ue notamos definimos C xC = Ejemplo 1.$.

, lo

, pues , pues , pues

, pues

6e acuerdo con nuestra o%servacin anterior, si particular,

son las coordenadas de . &n

dos puntos so%re una recta, la distancia entre ellos se define como representa la distancia del origen al punto .

La relacin de orden entre nmeros reales tiene una interpretacin geomtrica muy simple! si y slo si el punto ue representa ue representa . La representacin geomtrica es de gran utilidad en la resolucin de pro%lemas y en la visualizacin de muchas propiedades importantes de los nmeros reales. &s til introducir la nocin de intervalo. Si siguientes su%con#untos de y son nmeros reales, definimos los esta localizado a la iz uierda del punto

Los con#untos as* definidos se llaman en su orden, intervalo a%ierto de extremos y y , intervalo cerrado de extremos y , intervalo a%ierto?cerrado de extremos y . e intervalo cerrado?a%ierto de extremos

Aeomtricamente podemos representar estos intervalos so%re la recta real como se indica en las siguientes figuras!

'n parntesis cuadrado en la figura indica ue el extremo correspondiente pertenece al intervalo. Se acostum%ra a ampliar el concepto de intervalo para incluir los siguientes con#untos, conocidos con el nom%re de intervalos infinitos!

6e#amos al lector la representacin geomtrica de estos intervalos. &l s*m%olo llamado infinito ue aparece en la definicin anterior, no es un nmero real, es tan solo un artificio de notacin. Leccin 1.). Los Enteros

&n esta seccin vamos a mencionar algunas de las propiedades ms importantes del con#unto negativos de los nmeros enteros. "ecordamos y el . ue esta formado por la unin del con#unto de los enteros positivos , el con#unto de los enteros

8uchos de los resultados so%re nmeros enteros son consecuencia del siguiente resultado! Principio de *uena ordenacin. -odo su%con#unto no vac*o naturales posee un m*nimo. &s decir, existe tal ue de nmeros para todo .

'na primera consecuencia de este principio es el resultado conocido como algoritmo de la divisin. Al+oritmo de la di,isin. Si enteros nicos y tales ue y son enteros con , entonces existen

Los nmeros dividir por .

y se llaman respectivamente, el cociente y el residuo o%tenidos al

&l siguiente diagrama ilustra la demostracin del resultado anterior

Si

es un mltiplo de

, es decir si

para algn entero donde

, tomamos

. Si ue

no es mltiplo de . Ejemplo 1.&. 0. Si

, tomamos

es el menor mltiplo de

se encuentra a la iz uierda del nmero

. )%servamos ue de esta forma

, podemos escri%ir!

1. Si

, tenemos

&n virtud de este algoritmo, con alguna de las formas

, podemos representar todo entero

en

donde

es un entero. Si

se puede representar en la primera forma, de?ci?mos

ue es un entero par y cuando se puede representar en la segunda forma, de? ci?mos ue es un entero impar. Los enteros pares son por lo tanto! y los enteros impares son . !e"inicin 1.).1. Sean divide a y nmeros enteros con es un divisor de , o ue . 6ecimos ue es un factor de divide a , ue ,

si existe un entero tal ue decimos tam%in . no divide a es un mltiplo de ,ara indicar ue

. &n tal caso escri%imos

. (uando

escri%imos

. se llama un nmero primo si tiene y . 'n entero positivo mayor ue

!e"inicin 1.).2. 'n entero positivo

exactamente dos divisores positivos a sa%er, 0 ue no es primo se llama compuesto. Los primeros nmeros primos son

Sin duda alguna el siguiente resultado es la propiedad ms importante ue tiene el con#unto de los enteros positivos. -eorema 1.).1. .-eorema "undamental de la Aritm(tica/ -odo entero es primo, se puede factorizar como producto de primos. &sta factorizacin es nica salvo por el orden de los factores. 6e acuerdo al teorema anterior, si escri%ir en la forma es un entero mayor ue , lo podemos

donde

son primos no necesariamente diferentes. +grupando los , lo podemos escri%ir en la forma

primos iguales en la factorizacin de

donde los primos son ahora diferente y los exponentes son enteros positivos. &sta ltima representacin de Ejemplo 1.). se llama la representacin natural o cannica de .

(uando tra%a#amos con varios enteros es desea%le utilizar los mismos nmeros primos para representarlos y en tal caso aceptamos en la representacin cannica de un entero, exponentes cero. +s* por e#emplo escri%imos

donde en todos los casos hemos utilizados los mismos primos Si la representacin cannica de un entero es divisores positivos de tienen la forma

, entonces los

donde

para cada

. son

Ejemplo 1.0. Los divisores positivos de

Si y , decimos ue es un divisor comnde y . (uando y son enteros no am%os iguales a cero, el mayor de los divisores comunes positivos de y se llama el mximo comn divisor de . ,uesto ue, si entonces , se o%serva ue y y lo representamos por la notacin

(omo e#emplo tenemos

Si

, decimos ue

es un mltiplo comn de

. (uando y

son y y

enteros no nulos, el menor de los mltiplos comunes positivos de lo representamos por la notacin

, ue existe

por el principio de %uena ordenacin, se llama el m*nimo comn mltiplo de . &n este caso tam%in tenemos

,or e#emplo,

&s conveniente o%servar ue en matemticas utilizamos a veces la misma notacin para representar conceptos diferentes, pero el contexto nos indica con claridad el significado deseado. ,or e#emplo, si tra%a#amos con el orden en los nmeros reales, nmeros enteros, representa un intervalo a%ierto, pero si tra%a#amos con representa el mximo comn divisor de dos enteros.

'na de las consecuencias del -eorema fundamental de la +ritmtica es ue nos proporciona un mtodo rpido para hallar el mximo comn divisor y el m*nimo comn mltiplo de dos enteros. (oncretamente tenemos el siguiente resultado! Si &ntonces, y con los primos y , para todo .

donde Ejemplo 1.1. (omo &ntonces,

y y

. .

Los resultados anteriores se extienden de manera similar a cual uier nmero finito de enteros. Ejemplo 1.2.

entonces,

Leccin 1.0.

Nmeros Racionales e 3rracionales

(omo indicamos en la seccin D href=Breales0.texB@0.0. los nmeros racionales son los ue se pueden expresar en la forma con#unto donde y son enteros y . &l de , es

de los nmeros racionales contiene como su%con#unto al con#unto lo podemos expresar en la forma . ue representan el

todos los enteros, pues cual uier entero

decir como un racional con denominador igual a

)%servamos ue existen varias expresiones de la forma mismo nmero racional, por e#emplo de acuerdo a la siguiente definicin. !e"inicin 1.0.1. Los nmeros racionales cuando .

. (aracterizamos estas expresiones

con

son iguales

&s decir tenemos! si y slo si Si tenemos en cuenta las operaciones con fracciones ue mencionamos en la seccin D href=Breales1.texB@0.1., vemos ue los nmeros racionales resultan cerrados para la adicin, la resta, la multiplicacin y la divisin, ya ue en todos los casos se o%tienen fracciones cuyos numeradores y denominadores son nmeros enteros. Los nmeros reales ue no son racionales, los llamamos nmeros irracionales. (omo e#emplo podemos citar y .

&n general es muy dif*cil pro%ar ue un nmero real es irracional. Sin em%argo, hay una demostracin fcil de ue el nmero es irracional. 7ela a u*! es par o impar, es decir

,or el algoritmo de la divisin sa%emos ue todo entero puede expresarse en una de las dos formas

con entero y por lo tanto

con entero 6e las igualdades anteriores concluimos ue si Supongamos ue asumir ue decir y es racional. Luego es par entonces con y es par.

enteros. ,odemos o sea , es

no tienen ningn factor comn. Luego

es par y por la o%servacin preliminar, ,o , por consiguiente y

tam%in es par. ,odemos escri%ir , tenemos se puede expresar

con entero. Sustituyendo este valor en la ecuacin es un entero par y en la forma los enteros ue

con entero. 6e esta forma hemos llegado a contradecir ue no tienen ningn factor comn. ,or lo tanto nuestra hiptesis de es irracional.

es racional es imposi%le y en consecuencia

+ partir de un nmero irracional dado, podemos construir una infinidad de nmeros irracionales, pues fcilmente se demuestra el siguiente resultado! B Si es un nmero irracional y es cual uier nmero racional diferente de cero, , , , , , y son todos nmeros

entonces los nmeros irracionales.B

La irracionalidad de cual uiera de estos nmeros se demuestra inmediatamente por contradiccin. ,or e#emplo, si fuera un nmero racional, tendr*amos con racional. 6espe#ando tendr*amos ue es un nmero racional, pues la diferencia de dos nmeros racionales es un nmero racional. &sto contradice ue racional. es irracional. ,or lo tanto no puede ser un nmero

Ejemplo 1.14. -odos los siguientes nmeros son irracionales

&l e#emplo siguiente nos muestra ue los nmeros irracionales no son cerrados para la adicin, la resta, la multiplicacin y la divisin, es decir hay casos en ue estas operaciones aplicadas a nmeros irracionales producen como resultado un nmero racional. Ejemplo 1.11.

Leccin 1.1.

E5presiones !ecimales

6ado ue todo nmero racional es el cociente de dos enteros, efectuando una divisin ordinaria lo podemos representar mediante una expresin decimal. &stas representaciones o %ien son finitas, como en el caso de y o %ien se repiten en ciclos regulares indefinidamente como en el caso de y (uando en una expresin decimal hay un ciclo de cifras ue se repiten indefinidamente, decimos ue el decimal es peridico. Llamamos per*odo al con#unto de cifras ue forman el ciclo ue se repite y para representar el nmero sin am%igedades trazamos una %arra so%re este ciclo. -odo decimal finito puede considerarse como un decimal peridico donde la cifra ue se repite es el cero. 'sando estas notaciones tenemosE

7emos visto ue todo nmero racional se puede representar como una expresin decimal peridica. -am%in es cierto ue toda expresin decimal peridica representa un nmero racional. Los siguientes e#emplos nos muestran como encontrar el racional representado por una expresin decimal. Ejemplo 1.12. 7allemos el nmero racional representado por -enemos .

&n el siguiente e#emplo, el per*odo contiene ms de un d*gito Ejemplo 1.1 . 7allemos el nmero racional representado por .

-enemos

&l caso ms general se presenta en el siguiente e#emplo Ejemplo 1.1$. 7allemos el nmero racional representado por -enemos .

y luego procedemos con , como en el e#emplo anterior. &s decir

y como

entonces

. por ciertas

&n el desarrollo de los e#emplos anteriores, se multiplic el nmero potencias de cuidadosamente, de tal forma ue los nmeros decimal ue . 6e esta forma, al efectuar las restas

. &stas potencias no se eligieron al azar, sino ue se escogieron tuvieran la misma parte se o%tuvieron .

nmeros enteros a partir de los cuales se despe#o el nmero racional

La discusin anterior nos muestra ue el con#unto de los nmeros racionales es idntico con el con#unto de los decimales peridicos. &n consecuencia, el con#unto de los nmeros irracionales esta constituido por todos los decimales no peridicos. (omo e#emplos de un decimales no peridicos, podemos citar las expresiones y donde el nmero de ceros ue preceden a Sea a0a1an o sea oa va aumentando cada vez. tenemos

una expresin decimal finita. 8ultiplicando por

6espe#ando o%tenemos el nmero racional

,or lo tanto, satisface las siguientes relaciones

Similarmente, si

es un nmero real positivo ue tiene una

expansin decimal infinita, entonces el nmero esta localizado so%re la recta numrica de tal forma ue satisface las siguientes desigualdades

)%servamos ue la representacin decimal esta asociada con la divisin de un intervalo unidad en 0> partes iguales, la divisin de cada una de estas su%divisiones en 0> partes iguales y as* sucesivamente. Si por e#emplo consideramos el nmero decimal siguientes tenemos las grficas

y ampliando

Leccin 1.2.

!ensidad de los Nmeros Racionales y de los Nmeros 3rracionales en R y , su promedio esta comprendido

6ados dos nmeros reales diferentes

entre y . ,or lo tanto, entre dos nmeros reales sin importar lo cercano ue se encuentren, hay una infinidad de nmeros reales. &sto implica ue dado un nmero real cual uiera no tienen sentido expresiones tales como B el nmero real siguiente a B o B el nmero real anterior a B.

'sando nuestra caracterizacin de los nmeros reales como expresiones decimales, podemos refinar el resultado anterior y esta%lecer los siguientes resultados! Resultado 1. &ntre dos nmeros reales diferentes hay un nmero racional, y por lo tanto hay infinitos nmeros racionales entre ellos. Resultado 2. &ntre dos nmeros reales diferentes hay un nmero irracional, y por lo tanto hay infinitos nmeros irracionales entre ellos. Los resultados 0 y 1 se descri%en en lengua#e matemtico diciendo, respectivamente, ue el con#unto de los nmeros racionales es denso en el con#unto de los nmeros reales y ue el con#unto de los nmeros irracionales es denso en el con#unto de los nmeros reales. Ejemplo 1.1&. (onstruyamos dos nmeros racionales y dos nmeros irracionales entre y .

'sando expresiones decimales peridicas tenemos ue

son dos nmeros racionales entre

y .

'sando expresiones decimales no peridicas tenemos ue

son dos nmeros irracionales entre Leccin 1.14 Si analizamos

A5ioma de #omplete6 cuidadosamente el con#unto de los nmeros racionales,

o%servamos ue satisface las propiedades %sicas ,?0 a ,?5 de la seccin 0.1. ue go%iernan las operaciones de adicin y multiplicacin entre nmeros reales y satisface las propiedades ,?9 a ,?; de la seccin 0.3. ue go%iernan la relacin de orden entre nmeros reales. Sin em%argo, dado ue el con#unto de los nmeros racionales son tan solo un su%con#unto muy pe ue$o del con#unto de todos los nmeros reales, de%e existir por lo menos una propiedad %sica adicional ue distinga los nmeros racionales de los nmeros reales. &sta propiedad es el axioma de completez ue mencionaremos %revemente en esta seccin. ,ara empezar, necesitamos introducir una terminolog*a y notaciones adicionales. !e"inicin 1.14.1. Sea real un con#unto no vac*o de nmeros reales. 'n nmero si

se llama una cota superior de

Si

tiene cotas superiores, decimos ue

es acotado superiormente. es acotado superiormente. +lgunas cotas

Ejemplo 1.1). &l intervalo cerrado superiores de mayor o igual ue son E E E

. &n general cual uier nmero

es cota superior de este con#unto.

Ejemplo 1.10. &l intervalo a%ierto

es un con#unto acotado superiormente .

ue tiene las mismas cotas superiores ue el intervalo cerrado Ejemplo 1.11. &l con#unto superiormente.

de todos los nmeros reales no es acotado

6e#amos como e#ercicio para el lector, definir las nociones anlogas de cota inferior de un con#unto no vac*o de nmeros reales y de con#unto acotado inferiormente. -am%in le solicitamos ue de e#emplos de estos conceptos. !e"inicin 1.14.2. Sea un con#unto no vac*o de nmeros reales acotado se llama extremo superior de si cumple las

superiormente. 'n nmero real siguientes propiedades! 0.

es una cota superior de ,

1. ,ara toda cota superior de se tiene ue . )%servamos ue las condiciones i/ y ii/ expresan ue superior de es la m*nima cota como .

. &n la prctica nos referimos al extremo superior de un con#unto

como el supremo, a%reviado Sup. Fotamos el supremo de &l extremo inferior o *nfimo de Ejemplo 1.12. Si notado

se da de forma anloga. entonces y

Ejemplo 1.24.

Si Si

entonces entonces

y y entonces

. .

Ejemplo 1.21. Si

&stamos listos para introducir la ltima propiedad %sica o axioma ue caracteriza al con#unto de los nmeros reales. ,?0> A5ioma de complete6. -odo con#unto acotado superiormente, tiene supremo. de nmeros reales no vac*o y

&ntre las principales consecuencias de este axioma podemos citar!

-odo con#unto de nmeros reales no vac*o y acotado inferiormente, tiene *nfimo. &l con#unto de los nmeros naturales no es acotado superiormente. Propiedad Ar7uimediana de los nmeros reales! Si y es cual uier nmero real, . entonces existe un entero positivo tal ue

La propiedad +r uimediana de los nmeros reales tiene la siguiente in?ter?pre?ta? cin geomtrica! Si tenemos dos segmentos de recta, uno tan largo como ueramos de longitud y otro tan corto como ueramos de longitud .ver la figura/, tomando un nmero suficiente de veces el segmento pe ue$o, podemos cu%rir el segmento largo.

.&xiste

tal ue

'tilizando la propiedad +r uimediana se puede demostrar con alguna dificultad y sin usar representaciones decimales, ue el con#unto de los nmeros racionales es denso en el con#unto de los nmeros reales. + partir de este ltimo resultado se puede deducir fcilmente ue el con#unto de los nmeros irracionales tam%in es denso en el con#unto de los nmeros reales. ,ara finalizar estas notas so%re el con#unto de los nmeros reales presentaremos un e#emplo ue nos muestra ue los nmeros racionales no satisfacen el axioma de completez. Ejemplo 1.22. Sea

,or definicin no vac*o ya ue . Sin em%argo

es un su%con#unto del con#unto de los nmeros racionales, , y es acotado superiormente en pero . no tiene un supremo en , ser*a . &l nmero ue podr*a ser el

es y

, por e#emplo por

extremo superior de Leccin 1.11

Nmeros #omplejos . La solucin de esta

Fingn nmero real es solucin de la ecuacin ecuacin se halla en el con#unto tanto . ,uesto ue e

de los nmeros complejos, el cual contiene

como los nmeros cuyo cuadrado es negativo. La unidad ima+inaria es

y se espera operar elementos de , el con#unto , donde y

con una suma y un

producto sucede en

de%e contener los productos de la forma son nmeros reales. &n efecto

para , y las sumas tenemos ue!

!e"inicin 1.11.1. Los reales

son, respectivamente, la parte real y la . Si , un nmero es un , el nmero .es decir / es un ima+inario

parte ima+inaria del nmero comple#o complejo no real y si, adems, puro. Note ue un nmero real Ejemplo 1.2 .

tiene la forma

con

0. La parte real de es .

es 1 y su parte imaginaria es . .

1. La parte imaginaria de 2. La parte real de 3. 4. , , , , , es

son comple#os, no reales. son imaginarios puros.

La i+ualdad de nmeros complejos se define as*!

.&sto es, dos comple#os 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 ue . +s* tenemos!

Ejemplo 1.2$. 0. 0. 1. si y slo si si y slo si y . .

2. Fo existe un real para el cual y no existe un real para el cual . 1. 0. 1. . La parte real de este comple#o es el nmero real 2. 0. 1. 2. 3. .

4.

5. 9. , , . &n general, si es y .

un nmero entero, puede ser divido por y en ese caso se o%tienen un cociente un residuo tales ue &ntonces La suma y el producto de nmeros comple#os cumplen las condiciones de cuerpo o de campo ue cumplen la suma y el producto de nmeros reales .es decir, las propiedades 0 a 4 de la seccin anterior, se cumplen si se supone ue los elementos son nmeros comple#os/. 7a%lamos entonces del cuerpo o campo de los nmeros complejos. La verificacin de casi todas las propiedades es rutinaria. Fos detendremos en la ue no lo es! la existencia de inversos. 'n nmero comple#o posee inverso para la suma pues si entonces es el inverso de . &n efecto, y y

(ompro%aremos la existencia de inversos para el producto despus de introducir otros conceptos. Note ue La resta se define as*! si . &ste comple#o se denota por y son nmeros comple#os, .

o, ms expl*citamente,

Ejemplo 1.2&. 0. 1. Si es un nmero comple#o tal ue , entonces , es decir, 2. &l conju+ado de un nmero comple#o .o Ejemplo 1.2). 0. / , denotado por se define as*!

0. 1. 2. 3. 4. 5. 9. Si 1. Si y entonces entonces es un nmero real. . (omo , lo , entonces y, en consecuencia, . 2. 0. 1. 2. 3. &n el tercer e#emplo tenemos la compro%acin de las siguientes propiedades referentes al con#ugado de , un nmero comple#o. 0. +s* 1. . +s*, 2. , donde , donde denota la parte real de . es la parte imaginaria de

,ara pro%arlo, supongamos ue , es decir, cual implica ue

es un nmero real. es > o un nmero imaginario puro. . &ste es un nmero real positivo

o cero. &s cero si y slo si 3.

, si y slo si es un nmero real. y se define as*!

!e"inicin 1.11.2. &l mdulo del nmero comple#o se denota .la ra*z cuadrada positiva del nmero real /.

(on estos elementos verificamos las existencia de inversos para el producto de nmeros comple#os .propiedad 3 en la seccin <docLinGHreales0.texIH0.0I en el caso comple#o/. &sa propiedad dice ue dado pues si tomamos tenemos! , , existe tal ue

+s* el inverso de para el producto es te, si , entonces

. Se denota por

. &xpl*?ci?ta?men?

La di,isin de nmeros comple#os se define as*! si y

y , son nmeros comple#os

8s expl*citamente,

Ejemplo 1.20. 0. 0. 1. 2. , , ms generalmente, si es un y el mdulo

nmero real entonces

de es , es decir, el mdulo de un nmero real es igual a su valor a%soluto .<docLinGHreales4.texIHseccin 0.4I /. 1. 0. 1. 2. Si , , , es decir es

el inverso de para el producto de nmeros reales. 2. 3. 4.

)tras propiedades del con#ugado se refieren a su comportamiento en relacin con las operaciones entre nmeros comple#os. + continuacin enunciamos esas propiedades! Si son nmeros comple#os ar%itrarios entonces 0. o, ms generalmente,

1. 2. 3. Ejemplo 1.21. 0. 1. o, ms generalmente, si

2.

Leccin 1.12

Ra8ces #uadradas de Nmeros Reales Ne+ati,os

&l nmero comple#o es . JKu podemos decir acerca de las ra*ces cuadradas de los nmeros reales negativos en generalL Si es un real negativo entonces es un real positivo y .la ra*z cuadrada

positiva de

/, es un nmero real. -enemos

+s* ue

son las ra*ces cuadradas de es

para

. .

La ra86 cuadrada principal de Ejemplo 1.22. 0.

. &s denotada por

1. Si y son nmeros reales positivos . Sin em%argo, en el caso de los reales negativos la igualdad no es ,9lida. &n efecto, mientras ue mientras ue

2.

Leccin 2.1.

E5presiones Al+e*raicas

Llamamos varia%le a una letra o s*m%olo ue representa cual uier elemento de un con#unto en determinado. Llamamos constante a un elemento fi#o del con#unto

considerado. Si tal con#unto es el con#unto y constantes representan nmeros reales.

de los nmeros reales, las varia%les

'sualmente representamos las varia%les por las ltimas letras del alfa%eto, . &n algunos casos representamos las constantes por las primeras letras del alfa%eto, . &n estos casos los s*m%olos fi#os pero ar%itrarios del con#unto considerado. Ejemplo 2.1. 0. &n la expresin , etc representan elementos

la letra es una varia%le y los nmeros son constantes. 1. &n la expresin

es una varia%le y y son constantes. Llamamos expresiones alge%raicas a las constantes, las varia%les o las com%inaciones de constantes y varia%les mediante las operaciones de suma, resta, multiplicacin, divisin, elevacin a potencias y extraccin de ra*ces. Ejemplo 2.2. Las siguientes son algunas expresiones alge%raicas!

&n una expresin alge%raica, cada una de las partes separadas por medio de una suma o de una resta se llama un trmino. Ejemplo 2. . &n la expresin

los trminos son

. y se consideran como un

)%servamos ue expresiones tales como solo trmino.

Si un trmino consiste de un producto de dos o mas factores, decimos ue cada factor es el coeficiente del producto de los otros factores. ,or e#emplo en el trmino , es el coeficiente de , , es el coeficiente de , y es el coeficiente numrico. es el coeficiente de . Si un coeficiente es un nmero, lo llamamos el coeficiente

numrico. &n el trmino anterior

Si una expresin alge%raica consiste de un solo trmino, la llamamos un monomio, si consiste de dos trminos la llamamos un %inomio, si consiste de tres trminos la llamamos un trinomio y as* sucesivamente. Mamos ahora a enfocar nuestra atencin so%re algunas de las operaciones ue se utilizan para formar expresiones alge%raicas.

Leccin 2.2.

E5ponentes Enteros Positi,os

&n nuestros e#emplos de expresiones alge%raicas, hemos utilizado s*m%olos tales como y . 'n s*m%olo como representa el producto , similarmente representa el producto !e"inicin 2.2.1. Si definimos . &n general esta%lecemos la siguiente definicin. es un nmero real ar%itrario y factores iguales a es un entero positivo, . &s decir

como el producto de

&n el s*m%olo decimos ue Ejemplo 2.$.

, a se llama la %ase y es

el exponente o la potencia. -am%in .

elevado a la potencia

+ partir de la definicin 1.1.0 podemos compro%ar las siguientes propiedades %sicas ue satisfacen los exponentes enteros positivos. Si reales ar%itrarios y y y son nmeros son enteros positivos, entonces tenemos!

&l siguiente razonamiento es una #ustificacin de la primera de las propiedades mencionadas.

Se pueden hacer #ustificaciones similares para compro%ar las otras dos propiedades. Ejemplo 2.&.

Leccin 2. .

E5ponentes Enteros

La definicin de se puede extender al caso de exponente cero y exponentes negativos de acuerdo con la siguiente definicin !e"inicin 2. .1. Si es un nmero real con , definimos

donde

es un entero positivo.

Ejemplo 2.).

&stamos en capacidad de demostrar las principales propiedades de los exponentes, cuando estos son enteros ar%itrarios. &stas propiedades se conocen con el nom%re de leyes de los exponentes y son las siguientes. Leyes de los E5ponentes Si son nmeros reales diferentes de cero, y son enteros ar%itrarios entonces, 0. 1. 2. 3. 4. 5. Aeneralmente usamos exponentes no negativos, en consecuencia empleamos la propiedad .4/ si y la propiedad .5/ si . Las propiedades anteriores se extienden de manera natural al caso en ue intervienen varios enteros o varios factores. ,or e#emplo tenemos , etc.

Ejemplo 2.0. Si las letras representan nmeros diferentes de cero tenemos!

Leccin 2.$.

E5ponentes Racionales

Mamos a extender nuestra definicin del s*m%olo al caso en ue el exponente es un nmero racional. ,ara empezar necesitamos la siguiente definicin !e"inicin 2.$.1. Sea sima de . un entero positivo mayor ue ,y un nmero real. Si ?

es un nmero real ue satisface la ecuacin

, decimos ue es una ra*z

Ejemplo 2.1.

son ra*ces cuadradas de , pues . .

es una ra*z c%ica de , puesto ue es una ra*z c%ica de , puesto ue

Se puede demostrar ue todo nmero real diferente de cero tiene exactamente ra*ces ra*ces ?simas, aun ue la mayor*a de ellas son nmeros comple#os. &ntre las ?simas de un nmero real , vamos a elegir una de ellas como la ra*z ? y la definimos como

sima principal, esta ra*z la representamos por el s*m%olo sigue! !e"inicin 2.$.2. Sea &sta%lecemos ue un entero positivo mayor ue y

un nmero real.

0. Si 1. Si

es la ra*z ?sima positiva de . es la ra*z ?sima

y es impar,

negativa de . 2. Si 3. Si , . no la definimos, pues en

y es par,

este caso no existe ningn nmero real tal ue .

&l s*m%olo

se llama un radical, el nmero en lugar de

es el radicando y el nmero escri%imos simplemente .

es el

*ndice del radical. (uando Ejemplo 2.2.

no son nmeros reales es negativo y es par.

"ecalcamos ue

no existe solo en el caso en ue cuando

Fuestro inters es no solo definir

es un nmero racional, sino hacerlo

de tal forma ue se sigan cumpliendo las Leyes de los &xponentes. Si donde es un entero positivo, y deseamos ue se cumpla la ley .0/ de%emos tener ue

lo cual nos indica ue de%emos definir como una ra*z consecuencia esta%lecemos la siguiente definicin. !e"inicin 2.$. . Sea ue un entero positivo mayor ue y

?sima de

. &n

un nmero real tal

exista. &sta%lecemos ue

Ejemplo 2.14.

no existe por ue

no es un nmero real

Si con y enteros positivos, y deseamos ue se cumpla la ley .1/ de los exponentes, de%emos tener ue

&n consecuencia de%emos esta%lecer la siguiente definicin !e"inicin 2.$.$. Sea diferentes, y sea un nmero racional donde y son enteros positivos

un nmero real tal ue

exista. &sta%lecemos ue

6e las definiciones anteriores y las leyes de los exponentes podemos deducir fcilmente ue si existe entonces, tam%in es la ra*z ?sima principal de , es decir tenemos

Ninalmente extendemos nuestra definicin de racional negativo. !e"inicin 2.$.&. Sea diferentes, y sea

al caso en ue

es un nmero

un nmero racional con

enteros positivos

un nmero tal ue

exista. &sta%lecemos ue

Ejemplo 2.11.

Se puede demostrar ue las Leyes de los exponentes .0/ a .5/ son vlidas para exponentes racionales siempre y cuando ue (uando y y sean nmeros positi,os. son negativos algunas de las leyes .0/ a .5/ no se cumplen.

Ejemplo 2.12.

)%servamos ue

Luego la propiedad

no se cumple en este caso.

pero

no esta definido. Luego la propiedad

no se cumple en este caso ,ara evitar este tipo de pro%lemas, en adelante, cuando tra%a#emos con exponentes solo consideraremos %ases positivas.

Leccin 2.&.

Radicales

&n algunas ocasiones es mas venta#oso expresar las cantidades en trminos de radicales ue en trminos de exponentes racionales. Las leyes de los radicales se siguen inmediatamente de las leyes de los exponentes. Si positivos y y son nmeros reales positivos, entonces 0. 1. 2. Ejemplo 2.1 .

son enteros

Si es un nmero real, entonces

.,or uL/. ?

+l simplificar un radical, lo hacemos de tal forma ue no existan potencias

simas de radicales cuyo *ndice es , no se tengan fracciones %a#o el signo de radical y los radicales tengan el *ndice ms pe ue$o posi%le. Ejemplo 2.1$.

&n la simplificacin de radicales generalmente es mas fcil tra%a#arlos como exponentes racionales Ejemplo 2.1&.

,ara terminar, ueremos se$alar un error muy frecuente en el uso de los radicales. &ste error consiste en creer ue se tiene la siguiente frmula incorrecta

Ejemplo 2.1).

, pues . , pues .

y y