Cuaderno AD 1 Caracterizacion Axiomatica IR

CUADERNO DE APOYO DOCENTE
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.
es un conjunto en el que se cumplen los
2.
Axiomas de Orden.
3.
Axioma del Supremo o de Completitud.
Lo anterior se resume diciendo que
es un Cuerpo Ordenado Completo.
Primero describiremos los axiomas de cuerpo, que se refieren a las propiedades

algebraicas (de operatoria'') de los numeros reales.
Axiomas de
como Cuerpo
Admitiremos la existencia de un conjunto

reales. En el conjunto
cuyos elementos se llamaran numeros
se tienen las operaciones fundamentales:
La suma o adicion:
El producto o multiplicacion:
Considerense los siguientes axiomas

i)
ii)
iii)
,
es grupo abeliano
es grupo abeliano
iv)Distributividad:
Se dice que el conjunto
un Cuerpo y se escribe;
provisto de todos los axiomas dados anteriormente es

es un cuerpo.
Los elementos neutros de son el y el (para la adicion y multiplicacion

respectivamente) pero nunca hemos puesto en duda que estos son los unicos con esta
propiedad.
En efecto, por ejemplo
es el neutro multiplicativo, segun establece la proposicion
En los numeros reales tenemos

i)El neutro aditivo es unico
ii)El neutro multiplicativo es unico
iii)El inverso aditivo de un n\umero real es unico
iv)El inverso multiplicativo de un numero real no nulo es unico
Sin duda, que esta fue nuestra primera demostracion de unicidad y siendo as es bueno
hacer notar que muchas veces deberemos probar que algun ente matem\atico es unico.
Lo usual en estos casos es usar el metodo del absurdo que consiste en suponer (en
estos problemas) que hay dos elementos (es decir, que no es unico) que cumplen la
propiedad que los define (por ejemplo ser neutro) y bajo este supuesto llegar a una
frase matematica que sea falsa.
Demostraci\on: (i) Supongamos que
Como
Analogamente
son dos neutros aditivos distintos

,
en
particular
se
puede
tomar
considerando
por
transitividad
,
lo que hace una contradicci\on con
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:
Con los axiomas de
Demostracin: i) Como
son nmeros reales,
tambin es un nmero real. As,
por axioma, este ltimo tiene su inverso aditivo que es
, por lo tanto
, por conmutatividad, asociatividad, axioma del inverso y neutro
esta ltima igualdad nos dice que tambin

forma,
por
unicidad
del
inverso
ii) Por axioma del inverso aditivo existe

y
tanto
como
es inverso de
aditivo,
se
. De esta
tiene
que
y notemos que
igualdades que nos dicen que
son inversos aditivos de
; en consecuencia, por unicidad
demuestra t (iii) y (iv) cambiando suma por multiplicaci\on y naturalmente cambiando

la notacion de inverso aditivo a inverso multiplicativo.
v)Puesto
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
vi) La demostracin consiste en probar que
son inversos aditivos del
mismo nmero: Claramente podemos ver que
es el inverso de
luego
Por otro lado por la propiedad de distributividad, axioma del inverso

y
por
tenemos
que
aditivo
luego
igualdad que nos dice que
tambin es inverso de
, as, por unicidad del inverso
de
Adems,
por
conmutatividad,
se
tiene
que
que es la otra igualdad que queramos probar.

vii)
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
que mencionamos al principio del captulo son
una
siguientes
pues
ellos
obtenemos
de
se
pueden
expresiones
nmeros
nmeros
expresar
racionales
reales
de
la
ms
irracionales
forma
simples
son
donde "se aproxima" al racional

y se aproxima al racional
.
Estas aproximaciones son usadas para hacer algunos clculos menores ms simples,
pero ellos tienen infinitos decimales y no son peridicos.
Recordemos que el radio de una circunferencia esta contenido
circunferencia.
Ejemplo : Sean
veces en su
en , tales que la expresi\on siguiente est\e definida en
Determine para qu valores de
la expresin est definida en , y simplifique.
si
si
Tenemos
escribiremos
Por ejemplo, el conjunto
es el conjunto de los reales tales que cumplen
,
Resolver
Por el ejemplo es claro que el conjunto restriccin es

simplificando
la
expresin
izquierda
de
la
igualdad,
, Adems
obtenemos
Por
lo
tanto
el
conjunto
solucin
de
la
ecuacin
Determine si las siguientes afirmaciones son verdaderas o falsas. Justifique.

1.
2.
3.
4.
1.
Falso.
El
conjunto
es
2.
restriccin
de
la
ecuacin
Verdadero.
El
es
de donde tenemos que
conjunto
Sin
restriccin
embargo
al
de
simplificar
la
ecuacin
la
expresin
. Luego el conjunto solucin de la ecuacin es
es:
3.
Falso.Consideremos
4.
Falso.Sean
en
Resolucion de problemas de planteo

1. Una bomba que trabaja sola, llena un estanque en 7 horas, otra lo hara en 8 horas.?
`En cu\anto tiempo se llena el estanque si trabajan ambas bombas a la vez?
Sea
el nmero de horas que tarda el estanque en llenarse (si trabajan ambas bombas
a la vez) y sea
el volumen total del estanque.
Si una bomba llena el estanque en 7 horas (entonces en una hora llenar

estanque), luego en
horas llenar
del estanque, es decir, llenar
volumen). La otra bomba llena el estanque en 8 horas, entonces en

del estanque, es decir,
juntas
llenan
del
(unidades de
horas llenar
(unidades de volumen). Como en horas, las dos bombas

al
estanque
entonces
se
tiene
de donde
vez, el estanque se llena en 56/15 horas.
. Luego, trabajando las dos bombas a la
2. Cuatro estudiantes deciden vivir solos en un departamento y repartir en partes

iguales el arriendo mensual. Sin embargo, encuentran que si aumenta en dos el nmero
de estudiantes, su cuota mensual se reduce a $ 5000 Cul es el costo del arriendo?
Sea
el costo del arriendo. Si hay cuatro estudiantes entonces la cuota mensual de
cada uno es de . Si aumentan en dos, entonces la cuota mensual ser de

las hiptesis del problema se tiene que
Luego el costo del arriendo es de
. Dadas
3.Los diametros de dos cilindros son entre s como

y sus alturas como
tanto por ciento del volumen del mayor de ellos es el volumen del menor?
Sean
del
los dimetros de los cilindros y

problema
tenemos
Adems
donde es
donde
Con
el
sus respectivas alturas. Por hiptesis

las
siguientes
relaciones;
la
frmula
del
volumen
de
radio
del
cilindro
la
es el dimetro del cilindro.

todo
lo
. Que
anterior
un
cilindro
altura;
adems
tenemos
para
que
cada
Pero
es
cilindro
de
tenemos
luego
as,
Luego
es el
de
Una propiedad muy util en la resoluci\on de ecuaciones es la siguiente.

Sean
Demostraci\on: ( ) Supongamos
entonces
existe
tal
que
Es
claro
que
si
entonces
luego
La propiedad nos permite resolver algunas ecuaciones. Por ejemplo resolvamos en
Anlogamente se puede resolver

es
4.Dos personas salen simultneamente de dos ciudades
y van una en direccin
de la otra. La primera persona camina 2 km/hr ms de prisa que la segunda y llega a

una hora antes que la segunda llegue a . Si y distan 24 km Cuntos kilmetros
recorre cada una de las personas en una hora? (Ayuda: velocidad=distancia/tiempo).
Sea
km/hr la velocidad de la primera persona
persona
ser de
La persona
Como
llega
, entonces la velocidad de la segunda
km/hr
tardar
una
horas y
tardar
hora
ms
horas
tarde
que
entonces;
Pero
, as,
km/hr. Luego la distancia que recorre
en una hora es de
recorre
5.Un tren rapido fue obligado a detenerse

minutos en un disco rojo. Para recuperar
este tiempo viaj en un tramo de 80 km a 10 km/h mas rpido que lo normal.Cul es la
velocidad normal del tren?
Sea
km/hr la velocidad prevista por el tren (donde
). La velocidad real fue de
Eltiempoprevistoerade
perorealmentefue
tenemosque
esdecir,
pero
y la velocidad normal del tren fue de
luego
km/hr.
6.Un cierto nmero de estudiantes deben acomodarse en una residencial. Si se

ubicaran dos estudiantes por habitacin entonces quedaran 2 estudiantes sin pieza. Si
se ubicaran 3 estudiantes por habitacin entonces sobraran 2 piezas. Cuntas
habitaciones disponibles hay en la residencial y cuntos estudiantes deben acomodarse
en ella?
Sean
nmero de estudiantes
nmero de habitaciones, entonces podemos
representar
el
problema
mediante
las
ecuaciones
despejando
de
la
primera
ecuacin
reemplzandole
en
la
segunda,
Por lo tanto hay 8 habitaciones y 18 estudiantes.

7.Una chapa rectangular de estao de permetro 96 cm se usa para hacer una caja sin
tapa. Para ello se recorta un cuadrado de 4 cm de lado en cada esquina y se unen los
bordes (ver arrica). Cules son las dimensiones de la chapa si el volumen de la caja
es de 768?
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;
en la segunda ecuacin y reemplazando en la primera obtenemos
esdecir
dedonde
note que si
Como
, entonces
y si
, entonces
es la longitud; las dimensiones de la chapa son 32 cm
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
Axioma ii) Clausura del producto Si

, entonces
Axioma iii)
Tricotoma. Para cada n\umero real s\olo una de las siguientes
proposiciones
es
verdadera
En base a los axiomas anteriores demostraremos las siguientes propiedades:

El conjunto de los numeros reales cumple
i)
ii)
iii)
iv)
v)
vi)
Demostraci\on:
i)Si
Si
entonces
entonces
Si
por
por
Axioma
Axioma
ii)
entonces por Axioma ii)
luego
iii)
es
decir,
pero por proposici\on vii,
. Notemos que en particular si
, entonces
ii)Demostraremos esta propiedad por el metodo del absurdo.

Sea
Supongamos
que
Supongamos que
de inverso
Supongamos
entonces
por
entonces
Como
tenemos
que
iii)
pero por propiedad
; esto es una contradicci\on y por lo tanto

que
Axioma
.
por
Axioma
ii)
que
que es tambi\en una contradicci\on pues

. Como en ambos
casos obtenemos una contradicci\on, no se puede dar ninguna de las dos posibilidades,
por lo tanto,
; as, se tiene que el inverso multiplicativo de un n\umero positivo
es tambi\en un n\umero positivo.
iii)
iv)
v)
vi)
Se
define
el
conjunto
Notemos que
pues
de
los n\umeros
de
los numeros
dado que
reales
reales
negativos como
. An\alogamente se define el conjunto

no
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
es mayor o igual que
Escribiremos
esto
es mayor que
es igual a , es decir
indistintamente
As,
como
se
Analogamente, diremos que

que .
si
Escribiremos
es menor o igual que

indistintamente
tiene
si
en
es menor que
este
igual
caso
equivalentemente
Con la notacion anterior tenemos que:
y las propiedades demostradas anteriormente se pueden escribir de la siguiente forma

Sean
i)
ii)
iii)
iv)
v)
vi)
Los Intervalos de
Sean
con
Se
La definici\on dada no admite intervalos del tipo

de un conjunto vaco).
definen
con
(en tal caso se trataria
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
, entonces por Ax iii) s\olo una de las siguientes

verdadera
para
el
n\umero
real
Luego, usando la notaci\on y traduciendo cada proposici\on de la frase anterior se

obtiene
siendo solo una de ellas verdadera.
La relaci\on entre
y ,
se acostumbra a decir que es una relaci\on de orden
total ya que ella cumple: para

i)Reflexividad
ii)Antisimetra
iii)Transitividad
iv)Tricotoma
El hecho que en
se satisfagan los axiomas de cuerpo y los axiomas de orden se
expresa diciendo que `` es un Cuerpo Ordenado".

Por los axiomas de cuerpo sabemos que existen
y
los
axiomas
de
orden
hemos
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
Para ordenar los racionales usaremos la siguiente propiedad:

Sean
con
, entonces por corolario v), se tiene:
Por ejemplo, ordenemos de menor a mayor los siguientes numeros racionales
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:
A continuacion observaremos que entre dos racionales siempre hay al menos un

racional.
Entre dos racionales existe al menos un racional.
Demostraci\on: Sean
Usando
Ademas
el
sumando
Por lo tanto existe
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
, entonces no existe un numero real
Demostracion: Supongamos
pero
es
Ahora bien. Si
par,
que
por
lo
entonces
. Si
ambos casos existe contradicci\on pues
existe
tanto
tal que cumpla
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
siempre existe un unico numero
formalmente
-\esima de
se
se
puede
es el
como:
denota
por
define
asegurar
que:
es un nmero impar, esta definicin se puede extender a bases negativas,
1.Determinemos
para
que
valores
de
la
expresi\on
representa un n\umero real.

La
expresin
representa
un
nmero
real
si;
luego
esdecir,
entonces para ningn real
la expresin de arriba representa un real.
2.Determine el conjunto restriccin y el conjunto solucin de la ecuacin
La expresin
para
Como
est definida para todo
, luego el conjunto restriccin es

entonces para que existan
debemos exigir que

podemos
pero
en
, es decir,
elevar
, luego el conjunto solucin es
est definida en
slo
.
en
que cumplan con la igualdad
, pero como
al
entonces para
cuadrado.
Notemos que si elevamos al cuadrado sin hacer la restrici\on

obtenido tambi\en
ecuaci\on,
, hubi\eramos
como soluci\on de , y al reemplazar este n\umero en la

obtendramos
lo que es una contradicci\on.
3.Determinar el conjunto restriccion y el conjunto solucion de la ecuacion
La expresin
est definida en
si
si
el
restriccin
luego
Ahora
Considerando
miembros
resolvamos
est definida en
de
la
la
ecuacin
es
ecuacin
en el conjunto restriccin elevemos al cuadrado (pues ambos

de
la
igualdad
son
positivos)
lo
como
entonces
obteniendo;
luego
conjunto
que
equivale
y entonces podemos elevar al cuadrado nuevamente
4.Determinar la veracidad o falsedad de la siguiente proposicin:
Si
satisface la ecuacin
entonces el valor nu-m-ri-co de
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
Para aquellas expresiones que tienen significado en , las propiedades de

potencias tambin se cumplen para exponentes racionales.
Aspor
Es
ejemplo:
importante
Si
hacer
no se cumple en general para

para
entonces
notar
.
que
tiene significado en
esdecir,
tiene significado en
As,
para
s\olo si
resolver
una
inecuacion
del
tipo
debemos tener cuidado de no cometer el siguiente error:
5.Determine si las siguientes afirmaciones son verdaderas o falsas

a.
b.
c.
Falso.
Existe
tal
que
luego
pero
pues
donde
es el
conjunto restriccin del conjunto

Verdadero.
Considerando
inecuacin
Resolvamos
elevando
al
cuadrado
obtenemos la
equivalente
Como
para
entonces
de
donde
As,
Por lo tanto, el conjunto solucin de la inecuacin es

Ahora
resolvamos
Las expresiones
estn definidas en
si y slo si
luego
y como las inecuaciones y son equivalentes en

conjuntos soluciones son iguales.
Falso. Existe
tal que
entonces sus
6.Determine si las siguientes afirmaciones son verdaderas o falsas

a)
b) Sea
.
, entonces
c)
d) Sean
.
.
tal que
entonces
Falso. Slo para

,
, se tiene que:
. Para
, y la igualdad no se da para todo
Verdadero.
Luego
Note que no es lo mismo resolver la ecuacin

ecuacin
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
no es racional (o bien: en general, si
es un n\umero primo, entonces
es irracional).
Supongamos lo contrario, es decir, supongamos que

es,
con
fracci\on
luego
es racional, esto
. Siempre es posible escoger

est\e
simplificada
al
es un n\umero par y por ,
alg\un
m\aximo,
en
debe ser par, es decir,
Por
lo
y como
, se tiene que
nos dice que
es un n\umero par y por tambi\en es par.
Por lo anterior se tiene que
, as
tal que la
tal
caso
, para
tanto
. Esta \ultima igualdad
son pares, lo que contradice el hecho
que estaba simplificada al m\aximo, de esta forma

no puede ser un
n\umero racional. Ashemos obtenido el importante resultado:
Asimismo,
no es racional. En efecto, si
dado que
contradice .
es grupo su inverso aditivo
fuera racional, entonces

debe ser racional lo que
Con argumentos similares se puede probar que para todo n\umero

entero
se tiene que
Proposiciones:
i)Sean
ii)Sean
Demostracion:
i)
Recordemosque
luego
porlotanto
ii)
Para
probar
esta
proposici\on
demostraremos
en
primer
lugar
que
y luego probaremos la implicaci\on en el otro sentido.

De
(i)
es
Inductivamente se puede probar que
claro
que
Ahorasupongamosque
con
demostremos que
Sea
entonces
como
, es claro que
considerando
,esdecir
pero
luego
, luego
. Por otra parte
de
donde
as,
Ahora usemos la equivalencia recien probada para los n\umeros

Se
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
Determine si las siguientes afirmaciones son verdaderas o falsas
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
Verdadero. Este es un caso particular de la proposicin ii), pero

repetiremos
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
Esta ltima desigualdad es muy til para acotar expresiones reales

como veremos ms adelante.
Falso. Existen
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
, luego por Axioma ii) y asociando apropiadamen-
tiene
que
por
Caso 2)Si
men-te
entonces
se
en
consecuencia,
lo
tanto
, luego por Axioma ii) y asociando apro-pia-da-
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
La demostraci\on se hace mediante el uso de la proposicion anterior y del hecho

que
Determinen bajo que condiciones las siguientes desigualdades son verdaderas en :
Utilizando las propiedades de la proposicin y las proposiciones que siguen de ella,

tenemos
Por lo tanto la desigualdad
se verifica para:
La
desigualdad
tiene
significado
en
si
se
para
siguiente
, es decir, para
proposicin
Anlogamente se obtiene que
Luego
cumple
. As, podemos afirmar que la

es
verdadera
se cumple para todo
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
Esto nos sugiere la siguiente definici\on.

Sea
Se
define
el
valor
absoluto
En
de
como;
consecuencia
As,
por
ejemplo,
Veremos
en
la
inecuaci\on
que
tenemos
resolver
resulta m\as simple que en . Pero antes determinaremos algunas

propiedades b\asicas del valor absoluto.
Es
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
La demostraci\on se har\a por casos

Caso 1:
Si
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
As, hemos probado los siguientes importantes resultados:

Sean
Notemos que si
entonces la proposici\on, para todo a en los
y la proposici\on para todo

la inecuaci\on
es falsa,
es verdadera. As por ejemplo la soluci\on de
es vaca y la soluci\on de
es .
Determine si las siguientes afirmaciones son verdaderas o falsas.
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,
Axioma del Supremo

Finalmente les presento el ultimo axioma de los numeros reales, axioma que nos
permite decir que los numeros reales completan todos los espacios en una recta si
son representados en tal forma.
En primer lugar veamos qu\e entendemos por un conjunto acotado.
Sea
. Diremos que
i) esuna CotaSuperior de
siysolosi:
es decir, es cota superior de

.
ii) esuna CotaInferior de
si es mayor o igual que cualquier elemento de
sisolosi:
es decir, es menor o igual que cualquier elemento de .

Si existe cota superior (inferior) para un conjunto , se dice que
superiormente (inferiormente)
Si
es acotado superior e inferiormente se dice que
Si
diremos que
es acotado
es acotado.
es acotado.(Lo cual puede ser demostrado)
es acotado superiormente, pues;
Existe
no existe
tal que
para todo
tal que, para todo
, pero no es acotado inferiormente, pues
Observemos que cualquier

de cotas superiores de
En cambio
es una cota superior para . Luego el conjunto

es
es acotado inferiormente pero no acotado superiormente.
El conjunto de cotas inferiores de
es el conjunto
De lo anterior, es claro que el conjunto
es acotado
Asimismo,elconjunto
esacotadopuestoque
esdecir,
donde
conjunto
de
es el conjunto de cotas inferiores y el conjunto

cotas
superiores.
Sin
embargo
el
no tiene los mismos conjuntos de cotas superiores e inferiores que
luego
, en efecto,
tambi\en es acotado pero el conjunto de cotas superiores de

y el de cotas superiores de
Sean
es el
conjunto;
es
es
Determine si los conjuntos , ,

,
son acotados y encuentre, si existen,
el conjunto de cotas superiores e inferiores en cada caso.
En
el
ejercicio
obtuvimos
Este conjunto es acotado inferior y superiormente; as,

acotado.
superiores es
Adems
es
que
es un conjunto
y el conjunto de cotas
.
en
el
ejercicio
determinamos
que
el cual es un conjunto acotado inferiormente, pero no es acotado

superiormente, luego
no es acotado.

Como
es
,entonces
Luego
es acotado. El conjunto de cotas superiores de
y el de cotas inferiores es
. Sin embargo
no es acotado pues no
es acotado superiormente. El conjunto de cotas inferiores de

.
Sea
es
es
i)Si
si
Es
ii)Si
es acotado superiormente, diremos que
es el Supremo de
es una cota superior de , y, para cualquier cota superior
decir,
es
la
menor
de
las
cotas
es acotado inferiormente, diremos que
superiores
de
se tiene que
de .
es el Infimo de
es una cota inferior de , y, para cualquier cota inferior
de
si y s\olo
Se
anotara
si y s\olo si
se tiene que
Es decir, es la mayor de las cotas inferiores de .

Seanotara
Como
es
un
Sin embargo;
existe
conjunto
acotado,
entonces
no es acotado inferiormente, luego no existe

pues
es acotado superiormente,
existen
, pero
Axioma del Supremo:

Todo subconjunto
de
es un elemento de .
no vaco y acotado superiormente tiene supremo el cual
Usando el axioma del supremo, se puede demostrar que: Todo subconjunto
de
no vaco y acotado inferiormente tiene nfimo, el cual es un elemento de .

Aunque en muchos casos no se ve claramente cu\al es el supremo de un conjunto,
el axioma nos asegura su existencia.
Consideremos
inferioresa
como
el conjunto de todas las aproximaciones decimales sucesivas e
,esdecir,
es acotado superiormente (por ejemplo
superior), entonces por axioma del supremo, existe

.
es cota
el cual es un elemento de
Enelejemploanterior
Sea
Esclaroque
es decir,
,adems
para todo
supremo, existe
que:
. Luego
es acotado superiormente y por axioma del
. Considerando distintos valores de
podemos conjeturar
El hecho que satisfaga los axiomas de cuerpo, de orden y del supremo se

expresa diciendo que es un cuerpo ordenado y completo.
Sea
y acotado superiormente. Pruebe que
Por axioma del supremo es claro que existe
es \unico
. Sea
. Supongamos que
no es nico, es decir, supongamos que existe
entonces
tal que
son cotas superiores de . Por definicin de supremo tenemos que:
Si
, entonces
es una contradiccin.
, pero si
, entonces
De forma anloga se prueba que el nfimo de

inferiormente.
, 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
Entonces por definicin de cota
es cota superior de
de las cotas superiores), luego
de donde
pero
(la mayor
, que contradice
i)
Nuevamente usamos el m\etodo del absurdo. Sea
demostrar
cota superior de . Por
Supongamos
Si
que
, siendo
superiores,
cota superior de , entonces
es
luegoexiste
decir,
superior
de
tal
que
talque
se
lo que es una contradicci\on, pues

Analogamente
cota
talque
Pero,porhipotesis,existe
Por
existe
no es la menor de las cotas
se
demuestra
tiene
que
es cota superior de .
que
si
es
cota
inferior
de
En base al teorema anterior, demostraremos que el conjunto de los numeros

naturales no es acotado. Esto nos permitir\a a su vez probar el importante teorema
no es acotado.
Demostraci\on: Supongamos
lo
contrario,
es
decir,
que
es
acotado
superiormente. Entonces, por axioma del supremo existe

Luego
por
el
teorema
con
.
tenemos:
En
tal
particular,
consideremos
entonces
existe
que
esdecir;
pero
, lo que es una contradicci\on ya que
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
(por definici\on de cota superior); luego
que
es
acotado superiormente, lo que es una contradicci\on

Una version equivalente de la propiedad Arquimediana es la siguiente proposici\on
En efecto
Sea
y consideremos el real
, entonces por , existe
dedondeesclaroque
(El argumento puede revertirse)
El siguiente ejemplo muestra una aplicacion de la propiedad Arquimediana.
tal que
Probemosquesi
entonces
Solucion: Primero probaremos que

lamenordetodas,esdecir,
es cota superior de , y segundo que
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
. Por la propiedad Arquimediana, existe

que
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
Hemos probado en la proposici\on que entre dos racionales existe al menos un

racional.
Utilizando la propiedad arquimediana probemos la siguiente proposicion mas
general:
Entre dos numeros reales cualesquiera existe al menos un n\umero racional.
Demostracion: Sean
. Es claro que si
y la propiedad queda probada en este caso.
Supongamosahora
Porexiste
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
Por otra parte, supongamos que

existe
.
. Entonces
y por lo anterior
talque
Luego
y como
queda demostrada la proposici\on en este \ultimo caso.
Se dice que un subconjunto
es denso en
si y s\olo si entre dos n\umeros
reales cualesquiera existe alg\un elemento de .

De la proposici\on anterior es claro que el conjunto
es denso en
.Es necesario aclarar que aunque
de los n\umeros racionales

es un cuerpo ordenado y
denso en , no ``llena'' la recta real, pues por ejemplo,

. En el conjunto de
los numeros racionales no existe un axioma an\alogo al axioma del Supremo.
es el \unico cuerpo ordenado y completo.

Cuaderno AD 1 Caracterizacion Axiomatica IR

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Cuaderno AD 1 Caracterizacion Axiomatica IR

Transféré par

Droits d'auteur :

Formats disponibles

CUADERNO DE APOYO DOCENTE

es un conjunto en el que se cumplen los

Axioma del Supremo o de Completitud.

Lo anterior se resume diciendo que

es un Cuerpo Ordenado Completo.

Primero describiremos los axiomas de cuerpo, que se refieren a las propiedades

Admitiremos la existencia de un conjunto

cuyos elementos se llamaran numeros

se tienen las operaciones fundamentales:

Considerense los siguientes axiomas

provisto de todos los axiomas dados anteriormente es

Los elementos neutros de son el y el (para la adicion y multiplicacion

CUADERNO DE APOYO DOCENTE

En efecto, por ejemplo

es el neutro multiplicativo, segun establece la proposicion

En los numeros reales tenemos

son dos neutros aditivos distintos

lo que hace una contradicci\on con

Con los axiomas de

CUADERNO DE APOYO DOCENTE

son nmeros reales,

tambin es un nmero real. As,

por axioma, este ltimo tiene su inverso aditivo que es

, por conmutatividad, asociatividad, axioma del inverso y neutro

esta ltima igualdad nos dice que tambin

ii) Por axioma del inverso aditivo existe

igualdades que nos dicen que

son inversos aditivos de

; en consecuencia, por unicidad

demuestra t (iii) y (iv) cambiando suma por multiplicaci\on y naturalmente cambiando

CUADERNO DE APOYO DOCENTE

vi) La demostracin consiste en probar que

son inversos aditivos del

mismo nmero: Claramente podemos ver que

Por otro lado por la propiedad de distributividad, axioma del inverso

, as, por unicidad del inverso

que es la otra igualdad que queramos probar.

CUADERNO DE APOYO DOCENTE

CUADERNO DE APOYO DOCENTE

que mencionamos al principio del captulo son

donde "se aproxima" al racional

en , tales que la expresi\on siguiente est\e definida en

CUADERNO DE APOYO DOCENTE

Determine para qu valores de

la expresin est definida en , y simplifique.

es el conjunto de los reales tales que cumplen

Por el ejemplo es claro que el conjunto restriccin es

CUADERNO DE APOYO DOCENTE

Determine si las siguientes afirmaciones son verdaderas o falsas. Justifique.

de donde tenemos que

. Luego el conjunto solucin de la ecuacin es

CUADERNO DE APOYO DOCENTE

Resolucion de problemas de planteo

el volumen total del estanque.

Si una bomba llena el estanque en 7 horas (entonces en una hora llenar

del estanque, es decir, llenar

volumen). La otra bomba llena el estanque en 8 horas, entonces en

(unidades de volumen). Como en horas, las dos bombas

. Luego, trabajando las dos bombas a la

2. Cuatro estudiantes deciden vivir solos en un departamento y repartir en partes

el costo del arriendo. Si hay cuatro estudiantes entonces la cuota mensual de

cada uno es de . Si aumentan en dos, entonces la cuota mensual ser de

Luego el costo del arriendo es de

CUADERNO DE APOYO DOCENTE