Professional Documents
Culture Documents
El conjunto de los Nmeros Reales, , puede ser caracterizado de varias formas. Aqu
daremos la caracterizacin axiomtica
El conjunto de los n\umeros reales,
siguientes axiomas:
1.
Axiomas de Cuerpo.
2.
Axiomas de Orden.
3.
Axiomas de
como Cuerpo
La suma o adicion:
El producto o multiplicacion:
,
es grupo abeliano
es grupo abeliano
iv)Distributividad:
Se dice que el conjunto
un Cuerpo y se escribe;
en
particular
se
puede
tomar
considerando
por
transitividad
,
Te dejo como ejercicio las demostraciones de las partes (ii), (iii) y (iv) de la proposicion.
Observacion: Es importante aclarar que el metodo del absurdo es muy util para
El m\etodo consiste en suponer que se cumple la negacion
de
y a partir de ella obtener una contradiccion, la que nos permite afirmar que es falso, y
por lo tanto que la proposici\on es verdadera.
indica el inverso multiplicativo del numero real no nulo .
cuerpo demostraremos algunas propiedades basicas de .
Sean
, entonces:
Demostracin: i) Como
, por lo tanto
como
es inverso de
aditivo,
se
. De esta
tiene
que
y notemos que
que
entonces
por
axioma
tenemos
del
por
neutro
aditivo
distributividad
luego
Sumando a ambos miembros de la ecuacin el inverso aditivo del nmero real
,
asociando debidamente, y por la propiedad del neutro e inverso aditivo se tiene que
luego
es el inverso de
luego
aditivo
luego
igualdad que nos dice que
tambin es inverso de
de
Adems,
por
conmutatividad,
se
tiene
que
luego
i)
ii)
Demostracin:
Tomando
y
en
tomando
vii)
en
se
vi)
tiene
se
que
tiene
Sean
Si
en
,
efecto,
usando
la
proposicion
la
notacion
anterior;
.
Sean
Demostraremos
Usando
la
que
notacin,
se
proposicin
tiene
las
los
siguientes
axiomas
de
se
igualdades
tiene
que
Adem\as:
Las propiedades anteriores tienen la ventaja de que nos permiten trabajar con
expresiones mas simplificadas
Subconjuntos Notables
Algunos subconjuntos notables de
Notemos
son
que
nmeros
Algunos
los
racionales,
simplificando
cada
ejemplos
una
siguientes
pues
ellos
obtenemos
de
se
pueden
expresiones
nmeros
nmeros
expresar
racionales
reales
de
la
ms
irracionales
forma
simples
son
veces en su
si
si
Tenemos
escribiremos
Por ejemplo, el conjunto
,
Resolver
, Adems
obtenemos
Por
lo
tanto
el
conjunto
solucin
de
la
ecuacin
Falso.
El
conjunto
es
2.
restriccin
de
la
ecuacin
Verdadero.
El
es
conjunto
Sin
restriccin
embargo
al
de
simplificar
la
ecuacin
la
expresin
es:
3.
Falso.Consideremos
4.
Falso.Sean
en
el nmero de horas que tarda el estanque en llenarse (si trabajan ambas bombas
a la vez) y sea
horas llenar
del
(unidades de
horas llenar
de donde
vez, el estanque se llena en 56/15 horas.
. Dadas
Con
el
la
frmula
del
volumen
de
radio
del
cilindro
la
. Que
anterior
un
cilindro
altura;
adems
tenemos
para
que
cada
Pero
es
cilindro
de
tenemos
luego
as,
Luego
es el
de
Demostraci\on: ( ) Supongamos
entonces
existe
tal
que
Es
claro
que
si
entonces
luego
persona
ser de
La persona
Como
llega
km/hr
tardar
una
horas y
tardar
hora
ms
horas
tarde
que
entonces;
Pero
, as,
en una hora es de
recorre
Eltiempoprevistoerade
perorealmentefue
tenemosque
esdecir,
pero
y la velocidad normal del tren fue de
luego
km/hr.
despejando
de
la
primera
ecuacin
reemplzandole
en
la
segunda,
Sean
longitud de la chapa en centmetros
ancho de la chapa en centmetros,
entonces la caja tiene las dimensiones siguientes (ver figura verfigura anterior):
Por
lo
Despejando
hiptesis,
volumen
que
equivale
permetro
son;
esdecir
dedonde
note que si
Como
, entonces
y si
, entonces
16 cm.
Axiomas de Orden
Estos axiomas nos permiten ordenar los n\umeros reales (y aun poder graficar este
orden en una recta).
Admitimos la existencia de un subconjunto de que denotamos por
, cuyos
elementos se llaman numeros reales positivos y que se caracterizan por los axiomas:
Axioma i)
Clausura de la suma
Si
, entonces
i)Si
Si
entonces
entonces
Si
por
por
Axioma
Axioma
ii)
luego
iii)
es
decir,
, entonces
Supongamos
que
Supongamos que
de inverso
Supongamos
entonces
por
entonces
Como
tenemos
que
iii)
Axioma
.
por
Axioma
ii)
que
iv)
v)
vi)
Se
define
el
conjunto
Notemos que
pues
de
los n\umeros
de
los numeros
dado que
reales
reales
negativos como
Por Axioma iii) se tiene la siguiente igualdad donde los conjuntos son disjuntos dos a
dos
Diremos
que
es
mayor
escribiremos
que
esto
es
menor
que
si
indistintamente
solo
si
como
Diremos que
Escribiremos
esto
es mayor que
es igual a , es decir
indistintamente
As,
como
se
si
Escribiremos
tiene
si
en
es menor que
este
igual
caso
equivalentemente
Los Intervalos de
Sean
con
Se
definen
con
Uno de los teoremas m\as importantes que se deduce del axioma de tricotoma, es el
siguiente;
Para
todo
Demostracion: Sean
proposiciones
es
se
verifica
una
s\olo
una
de
las
proposiciones
para
el
n\umero
real
La relaci\on entre
y ,
tal que
. Ahora con
demostrado
que;
esdecir,
As podemos ordenar todos los n\umeros reales, cosa que haremos a continuaci\on por
etapas:
Como
ejemplos
iniciales
tenemos
de
esta
forma
tenemos
con
Expresandolos
como
fracciones
racionales
reduciendo
tenemos;
Entre
los
negativos
Entre
tenemos
los
positivos
en
consecuencia
Puestos en una recta se visualiza su ubicacin relativa, como puede ver en la recta
figura que sigue:
Ademas
el
sumando
por
demostrar
corolario
ahora
tal que
existe
iv)
ambos
que
lados
tal
que
tenemos
obtenemos
Raz n-esima
Sean n\umero natural par y
la igualdad a = b n
Demostracion: Supongamos
pero
es
Ahora bien. Si
par,
que
por
lo
entonces
. Si
existe
tanto
tal
para
que
alg\un
, entonces
luego
, es decir
. En consecuencia no existe
. En
tal que
.
Por el contrario, un resultado importante que se obtiene para
siguiente:
Dado un n\umero real positivo
realpositivo talque
Lo
anterior
Este
n\umero real
se
y un n\umero natural
escribe
positivo se
Ademas,
Solamente
Ahora si
adems
con
llama raz
si
para
se
m\as
formalmente
-\esima de
se
se
puede
es el
como:
denota
por
define
asegurar
que:
1.Determinemos
para
que
valores
de
la
expresi\on
expresin
representa
un
nmero
real
si;
luego
esdecir,
La expresin
para
Como
pero
en
, es decir,
elevar
est definida en
slo
.
en
, pero como
al
entonces para
cuadrado.
, hubi\eramos
La expresin
est definida en
si
si
el
restriccin
luego
Ahora
Considerando
miembros
resolvamos
est definida en
de
la
la
ecuacin
es
ecuacin
lo
como
entonces
obteniendo;
luego
conjunto
que
equivale
Si
satisface la ecuacin
Por el ejemplo anterior, sabemos que los reales que satisfacen la ecuacin son
y
Por
otra
Si
entonces
en
consecuencia
la
parte,
afirmacin
es
falsa
si
pues
el
valor
entonces
numrico
de
Es
ejemplo:
importante
Si
hacer
entonces
notar
.
que
tiene significado en
esdecir,
tiene significado en
As,
para
s\olo si
resolver
una
inecuacion
del
tipo
Falso.
Existe
tal
que
luego
pero
pues
donde
es el
Considerando
inecuacin
Resolvamos
elevando
al
cuadrado
obtenemos la
equivalente
Como
para
entonces
de
donde
As,
Las expresiones
estn definidas en
si y slo si
luego
tal que
entonces sus
.
, entonces
c)
d) Sean
.
.
tal que
entonces
, se tiene que:
. Para
Verdadero.
Luego
que resolver la
Falso.
Por
lo
anterior
es
claro
que
Falso.
En
particular,
pero
Engeneralsi
entonces
se
consideramos
entonces
es irracional
A continuaci\on probemos que
es irracional).
con
fracci\on
luego
es racional, esto
simplificada
al
alg\un
m\aximo,
en
Por
lo
y como
, se tiene que
, as
tal que la
tal
caso
, para
tanto
Asimismo,
no es racional. En efecto, si
dado que
contradice .
se tiene que
Proposiciones:
i)Sean
ii)Sean
Demostracion:
i)
Recordemosque
luego
porlotanto
ii)
Para
probar
esta
proposici\on
demostraremos
en
primer
lugar
que
(i)
es
claro
que
Ahorasupongamosque
con
demostremos que
Sea
entonces
como
, es claro que
considerando
,esdecir
pero
luego
, luego
de
donde
as,
Como
la
desigualdad
tambien es verdadera.
es
verdadera
se
tiene
y
.
tiene:
que
Paratodo
Demostraci\on: Como
y
y
luego
entonces
por
la
donde
proposicion
se
Falso. Existen
Falso. Existen
Falso. Existen
tales que
pero
tales que
y
Falso. Existe
tal que
Falso. Existe
tal que
tales que
pero
.
.
pero
tiene
la
demostracin
Demostracin: Sean
entonces
tales
adems
que
pues
para
Como
luego,
de
donde,
por
lo
Falso. Existen
Verdadero. Sea
se
Verdadero.
por
tales que
, entonces
tiene
Sean
la
parte
tanto,
pero
de donde
entonces
8)
se
. Como
que
puesto
tiene
que
que
en
pero:
pues
Sean
i)
ii)
Demostracion: ( ) Como
, i.e.,
y tiene dos posibilidades (ser
positivo o negativo) podemos separar la demostraci\on en dos sub casos
Caso 1)Si
te
entonces
se
tiene
que
por
Caso 2)Si
men-te
entonces
se
en
consecuencia,
lo
tanto
tiene
que
En
consecuencia
es
Por
Demostracion: ( )
y
En
En
y
consecuencia
forma
decir,
Casos
Es
(ya
an\aloga,
que
se
1)
claro
en
ambos
demuestra
por
casos
ii).
2)
tenemos
Axioma
obtenemos
Asimismo
se
lo
ii):
mismo)
tiene
que
se verifica para:
La
desigualdad
tiene
significado
en
si
se
para
siguiente
, es decir, para
proposicin
Luego
cumple
tal
que
Por
Sea
Luego
lo
tanto:
la
desigualdad
es
Sea
Luego
se
verdadera
si
la
cumple
desigualdad
para:
Sean
Luego
se
la
cumple
desigualdad
para:
Valor absoluto
Recordemos
que
cuando
estudiamos
la
raz
par
obtuvimos
Se
define
el
valor
absoluto
En
de
como;
consecuencia
As,
por
ejemplo,
Veremos
en
la
inecuaci\on
que
tenemos
resolver
Sea
i)
ii)
iii)
iv)
v)
claro
entonces:
de
la
definici\on
de
valor
absoluto
que
Usando
las
propiedades
Supongamos que
Como
mencionadas
probemos
y demostraremos que
entonces
que
por
transitividad
Adem\as,
pero
luego,
por
luego
transitividad
por
Ahora
nuevamente,
tenemos
supongamos
que
que
es
decir,
Probaremos
que
Caso 2:
entonces
adem\as
por
hip\otesis
luego
Si
entonces
es
por
decir,
hip\otesis
luego
de
donde
En
consecuencia
Usando
la
equivalencia
se
que
obtiene
puede
ser
extendida
Notemos que si
es falsa,
es vaca y la soluci\on de
es .
La solucin de
Falso.
es
Existe
pues la expresin
tal
que
pero
no est definida en .
Falso. Existe
definida para
tal que
sin embargo;
no est
Falso.
Luego
Verdadero.
Restriccin
pero
luego
adems,
. Diremos que
i) esuna CotaSuperior de
siysolosi:
sisolosi:
Si
Si
diremos que
es acotado
es acotado.
Existe
no existe
tal que
para todo
En cambio
es el conjunto
es acotado
Asimismo,elconjunto
esacotadopuestoque
esdecir,
donde
conjunto
de
luego
, en efecto,
Sean
es el
conjunto;
es
es
el
ejercicio
obtuvimos
es
que
es un conjunto
y el conjunto de cotas
.
en
el
ejercicio
determinamos
que
no es acotado.
es
,entonces
Luego
y el de cotas inferiores es
. Sin embargo
no es acotado pues no
es
es
i)Si
si
Es
ii)Si
es el Supremo de
decir,
es
la
menor
de
las
cotas
superiores
de
se tiene que
de .
es el Infimo de
de
si y s\olo
Se
anotara
si y s\olo si
se tiene que
Como
es
un
Sin embargo;
existe
conjunto
acotado,
entonces
es acotado superiormente,
existen
, pero
de
es un elemento de .
de
como
,esdecir,
es cota
el cual es un elemento de
Enelejemploanterior
Sea
Esclaroque
es decir,
,adems
para todo
supremo, existe
que:
. Luego
podemos conjeturar
Sea
es \unico
. Sea
. Supongamos que
entonces
tal que
Si
, entonces
es una contradiccin.
, pero si
, entonces
, entonces
es nico si
que
es acotado
El siguiente teorema nos permite, entre otras cosas, demostrar la conjetura hecha
en del ejemplo
Sea
i)Sea
cotasuperiorde .Entonces
ii)Sea
cotainferiorde .Entonces
Demostracin: i)
Por
el
obtengamos
Pordemostrarque
mtodo
una
del
absurdo:
contradiccin.
Por
Supongamos
existe
que
tal
que
es cota superior de
de donde
pero
(la mayor
, que contradice
i)
Nuevamente usamos el m\etodo del absurdo. Sea
demostrar
Supongamos
Si
que
, siendo
superiores,
es
luegoexiste
decir,
superior
de
tal
que
talque
se
cota
talque
Pero,porhipotesis,existe
Por
existe
se
demuestra
tiene
que
es cota superior de .
que
si
es
cota
inferior
de
Demostraci\on: Supongamos
lo
contrario,
es
decir,
que
es
acotado
con
.
tenemos:
En
tal
particular,
consideremos
entonces
existe
que
esdecir;
pero
Propiedad Arquimediana. Todo numero real puede ser sobrepasado por un numero
natural.Esdecir
Demostraci\on: Supongamos
Es claro que
lo
es cota superior de
contrario
esto
es,
asumamos
que
es
En efecto
Sea
y consideremos el real
dedondeesclaroque
(El argumento puede revertirse)
El siguiente ejemplo muestra una aplicacion de la propiedad Arquimediana.
tal que
Probemosquesi
entonces
es
Esclaroque
luego
es
decir,
Por lo tanto
es cota superior de .
Observemosque
probar
la
existencia
de
tal
que
equivale
probar
la
existencia
de
tal
que
Sea
tal
pero
. Consideremos el real
Enconsecuencia
Luego
Probemosquesi
entonces
Por demostrar que
es cota inferior de .
es la mayor de todas las cotas inferiores, es decir
Esclaroque
luego
as,
Por
es cota inferior de .
la
loqueequivalea:
donde
propiedad
Arquimediana
se
tiene
que
En consecuencia
tal que
.Sea
talque
Adem\as,
Sea
, existe
por
el
mnimo
dado
el
real
entero
que
existe
satisface
tal
que
luego
Deobtenemos
Portanto
Es decir, existe
tal que
.
. Entonces
y por lo anterior
talque
Luego
y como
es denso en