Beruflich Dokumente
Kultur Dokumente
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!
. , 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!
. &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
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.
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
&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
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.
multiplicacin.
Leccin 1. .
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
, 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
Si
entonces
o
"egla de los signos para las fracciones! Si y son nmeros reales con , entonces
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 para fracciones. Suma de fracciones. "egla de los signos. Simplificacin de fracciones.
8ultiplicacin de fracciones.
&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.
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
. o o . .
'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
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
entonces
Si Si
entonces entonces
. .
Ejemplo 1. .
,ara todo nmero real se tiene ue Si y son nmeros reales tales ue entonces
Leccin 1.&.
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
,ara representar un nmero racional positivo es decir , el segmento determinado por la derecha de y en
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!
ue representa a
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
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
Si
es un mltiplo de
, es decir si
, tomamos
. Si ue
, tomamos
es el menor mltiplo de
, podemos escri%ir!
1. Si
, tenemos
en
donde
es un entero. Si
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 ,
. (uando
escri%imos
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
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
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
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 .
y y
. .
Los resultados anteriores se extienden de manera similar a cual uier nmero finito de enteros. Ejemplo 1.2.
entonces,
Leccin 1.0.
(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
)%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 .
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 6e las igualdades anteriores concluimos ue si Supongamos ue asumir ue decir y es racional. Luego es par entonces con y es par.
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.
+ 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
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
&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 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 .
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
Similarmente, si
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
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 .
y .
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
Si
ue tiene las mismas cotas superiores ue el intervalo cerrado Ejemplo 1.11. &l con#unto superiormente.
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
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 .
como el supremo, a%reviado Sup. Fotamos el supremo de &l extremo inferior o *nfimo de Ejemplo 1.12. Si notado
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
-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
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
Fingn nmero real es solucin de la ecuacin ecuacin se halla en el con#unto tanto . ,uesto ue e
producto sucede en
de%e contener los productos de la forma son nmeros reales. &n efecto
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 . .
.&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!
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
es un nmero real. es > o un nmero imaginario puro. . &ste es un nmero real positivo
!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
. Se denota por
. &xpl*?ci?ta?men?
8s expl*citamente,
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
)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,
2.
Leccin 1.12
&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
+s* ue
para
. .
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
'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
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
. y se consideran como un
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
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.
&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
, a se llama la %ase y es
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!
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.
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 ?
Ejemplo 2.1.
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
y es impar,
y es par,
&l s*m%olo
es el
"ecalcamos ue
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
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
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
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
pero
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
.,or uL/. ?
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