GUSTAVO A.

DUFFOUR
364



Pitgoras

(Grecia,
569-475 a.C.)







Pitgoras es frecuentemente reconocido como
un matemtico puro. Fue una persona muy importante
para el desarrollo de la matemtica de su tiempo,
aunque no se conoce nada directamente de sus
escritos, ya que la sociedad en que vivi religiosa
cientfica segua cdigos secretos que convirtieron a
Pitgoras en una figura misteriosa.

Hoy en da se lo recuerda por su famoso
teorema, que aunque ya era conocido por los
babilonios mil aos antes, l fue el primero en
demostrar.

Ante todo, Pitgoras fue un filsofo. Fund
una escuela en la que cultiv su doctrina. Tuvo
muchos seguidores, que no tenan posesiones y eran
vegetarianos. Ellos hicieron muchas contribuciones a
la matemtica de su poca.

Es difcil, hoy en da, acostumbrados a las
abstracciones matemticas y a las generalizaciones,
comprender las contribuciones de los pitagricos.








Existen ciertos problemas cuya resolucin es imposible con los nmeros
racionales. Ello obliga a ampliar los conjuntos numricos introduciendo los nmeros
reales.

El ms clsico de estos problemas es la imposibilidad de la radicacin cuando
la cantidad subradical no es un cuadrado perfecto.

La irracionalidad de 2 es muy sencilla de demostrar y ya era conocida por los
griegos quinientos aos antes de cristo. Puesto que el teorema de Pitgoras prueba
que un tringulo rectngulo issceles con los catetos de longitud 1 tiene una
hipotenusa de longitud 2 , no es sorprendente que los griegos investigaran esta
cuestin.

No obstante, hasta el siglo
XIX no se desarroll una teora
satisfactoria de tales nmeros. En
esa poca fueron introducidas tres
teoras diferentes por Cantor,
Dedekind y Weierstrass.












Un estudio riguroso y
exhaustivo del anlisis matemtico
requerira la inclusin de una
definicin del nmero real. Pero, en
realidad, en la mayora de las fases
del anlisis, ms que los mtodos
usados en la construccin del
conjunto de los nmeros reales,
nos interesan sus propiedades. Por
lo tanto, se tomar como punto de
partida un pequeo grupo de
axiomas, de los cuales se pueden
deducir todas las propiedades de
los nmeros reales.


2
R. Dedekin
(Alemania,
1831-1916)
K. Weierstrass
(Alemania,
1815-1897)
G. Cantor
(Rusia,
1845-1918)
MATEMTICA DE SEXTO
365
En trminos generales, el
punto de vista axiomtico puede
describirse como sigue.
Probar un teorema en un
sistema deductivo consiste en
hacer ver que el teorema es una
consecuencia lgica y necesaria
de ciertas proposiciones
previamente establecidas, que a
su vez deben ser probadas, y as
sucesivamente.
El proceso de demostracin
matemtica sera, por tanto, una
tarea imposible de regresin
infinita, salvo que, en esta marcha
hacia atrs, est permitido
detenerse en algn punto. Por
tanto, debe de haber un nmero
de proposiciones, llamadas
postulados o axiomas, que son
aceptadas como verdaderas, y
para las cuales no se requiere
ninguna demostracin.
De estas podemos intentar
deducir todos los teoremas por
medio de argumentos puramente
lgicos.
Si los hechos de un campo
cientfico pueden colocarse en un
orden lgico tal que sea posible
deducir todo de un cierto nmero
de aserciones previamente
elegidas (preferentemente pocas,
sencillas y adecuadas), entonces
se dice que este campo est
presentado en forma axiomtica.
A pesar de que la forma
axiomtica es un ideal, es una
peligrosa falacia creer que la
axiomtica constituye la esencia
de la matemtica.


Extrado de
Courant, R. Robbins, H.
Qu es la matemtica?


16



NMEROS
REALES






1 NECESIDAD DE
LOS NMEROS REALES

No existe un nmero racional r tal que

r 2 =

Se demuestra por el absurdo. Suponiendo que
existen dos enteros p y q primos entre s, tal
que:

p
2
q
= o sea, que
2
p
2
2
q
=
p
2
= 2 * q
2


As, p
2
debe ser par, lo que implica que
p es par y, por lo tanto, p
2
tiene dos factores
2. Entonces, q
2
debe ser par y q tambin.

Pero esto es absurdo, pues se supuso
que p y q eran primos entre s.

La palabra racional proviene del latn
ratio, que significa 'razn' o 'cociente', y se usa
para aquellos nmeros que pueden escribirse
como cociente de dos enteros. Por tanto,
aquellos nmeros que no podan ser cociente de
dos enteros pasaron a llamarse nmeros
irracionales. Los nmeros racionales, ampliados
con los irracionales, forman el conjunto de los
nmeros reales.
GUSTAVO A. DUFFOUR
366
La suma y el producto de
nmeros reales pueden pensarse
como funciones.

As, +: es una
funcin que toma dos nmeros
reales y devuelve otro, llamado
suma de los otros dos, o sea:
+ (x, y) = x + y






Del mismo modo, el
producto de nmeros reales es
una funcin cuyo dominio, al
igual que la suma, son las
parejas de nmeros reales. A
cada pareja se le asocia un
cierto valor, llamado producto:
: tal que:
(x, y) = x . y


Vase el tema funciones,
en el captulo siguiente.
2 INTRODUCCIN

Existen dos enfoques diferentes para estudiar los nmeros reales. Por un lado, el
enfoque constructivista, que construye el conjunto de los nmeros reales a partir de los
racionales, estos a partir de los enteros, y los enteros a partir de los naturales. Por otro lado,
se encuentra el enfoque axiomtico. En este ltimo, el concepto de nmero real es tomado
como un concepto primitivo, que satisface un cierto nmero de propiedades que se toman
como axiomas, y a partir de los cuales se desarrollan las consecuencias lgicas
correspondientes.

El sistema de los nmeros reales puede describirse como un cuerpo ordenado
completo. Sin embargo, para mayor claridad se prefiere no enunciar todas las propiedades
de los nmeros reales a la vez. Por ello se agrupan los axiomas en tres grupos.

Axiomas de cuerpo, en donde se presentan las propiedades algebraicas, llamadas
de cuerpo, basadas en las operaciones de suma y multiplicacin. Postulan que el conjunto
de los nmeros reales es un cuerpo.

Axiomas de orden, en donde se
presentan las propiedades de orden y algunas
de sus consecuencias, junto con varias
desigualdades que ilustran el uso de estas
propiedades. Postulan que el conjunto de los
nmeros reales es un cuerpo ordenado.

Axioma de completitud o del extremo
superior, el cual permite decir que el conjunto
de los nmeros reales es un cuerpo ordenado
completo. Este ltimo axioma es el que
verdaderamente distingue al cuerpo de los
nmeros reales del cuerpo de los nmeros
racionales (que tambin es un cuerpo ordenado,
pero no completo).



3 AXIOMAS DE CUERPO
Y PROPIEDADES

3.1. LOS AXIOMAS

Mediante este conjunto de axiomas se
define la estructura algebraica bsica de los
nmeros reales, de manera que las dems
propiedades pueden deducirse como teoremas.

Junto al conjunto de nmeros reales se
definen axiomticamente dos operaciones
(axioma 0) llamadas adicin y multiplicacin,
simbolizadas por + y . Para cada par de
nmeros reales a y b, la adicin
a + b y la multiplicacin a . b dan por
resultado otro nmero real.
MATEMTICA DE SEXTO
367
AXIOMA 1 Propiedad conmutativa

Para todo ae y be
En la suma: a + b = b + a
En la multiplicacin: a . b = b . a

Cualquiera sea el orden en que se consideran los nmeros que intervienen en la suma
o multiplicacin se obtiene el mismo resultado. Expresado de otro modo, es posible cambiar
(conmutar) el orden en que se consideran ambos nmeros, sin que por ello se altere el
resultado de la operacin.


AXIOMA 2 Propiedad asociativa

Para todo ae, be y ce
En la suma: a + (b + c) = (a + b) + c = a + b + c
En la multiplicacin: a . (b . c) = (a . b) . c = a . b . c

Lo cual significa que, en la suma o multiplicacin de varios nmeros, estos se pueden
agrupar (asociar) de diversas maneras, sin que por ello se altere el resultado de la
operacin.


AXIOMA 3 Existencia de elementos neutros

En la suma
Existe un nmero 0e (cero perteneciente a los reales) tal que para todo ae se
cumple que: a + 0 = 0 + a = a
El neutro de la suma, sumado a un nmero antes (a la izquierda) o despus (a la
derecha), resulta el propio nmero.

En la multiplicacin
Existe un nmero 1e (uno perteneciente a los reales) tal que para todo ae se
cumple que: a . 1 = 1 . a = a
El neutro de la multiplicacin, multiplicado por un nmero antes (a la izquierda) o
despus (a la derecha), resulta el propio nmero.
Usualmente, al neutro de la suma se le llama cero o nulo, mientras que al neutro del
producto se le llama unidad.

Los neutros para la suma y la multiplicacin
(simbolizados por el 0 y el 1, respectivamente), son distintos.


AXIOMA 4 Propiedad distributiva de la multiplicacin respecto a la suma

Este axioma vincula a las dos operaciones y postula cmo estas interactan. (Los
axiomas anteriores se refieren a cada operacin por separado.)

Para todo ae , b e y ce
a . (b + c) = a . b + a . c (b + c) . a = b . a + c . a

La multiplicacin es distributiva con respecto a la suma, tanto a la izquierda como a la
derecha de la igualdad. Una vez que se tiene la conmutativa, alcanza con que se cumpla la
distributiva a un lado para que tambin se cumpla la otra.
GUSTAVO A. DUFFOUR
368
AXIOMA 5 Existencia del opuesto

Para cada nmero real a existe un real b tal que sumados dan el neutro de la suma:
a + b = 0. Al nmero b se le llama opuesto de a y se lo representa por op(a).

Se cumple que: a + op(a) = op(a) + a = 0

Una notacin ms prctica para el opuesto de a es: op(a) = a


Luego se probar que, dados a y b, existe un nico c tal que a + c = b (vase el
punto 3.4). Al nmero c se le llama c = b a. En particular, 0 a se llama a (el
opuesto de a). De all la notacin utilizada.




AXIOMA 6 Existencia del inverso

Para cada nmero real a 0 existe un real c tal que multiplicados ente s dan como
resultado el neutro de la multiplicacin: a . c = 1. Al nmero c se le llama inverso de a y
se lo representa as: inv(a).

Se cumple que: a . inv(a) = inv(a) . a = 1

Una notacin ms practica para el inverso de a es: inv(a) =
1
a





NOTA

De los seis axiomas de cuerpo es posible deducir todas las
propiedades del lgebra elemental. De ellas, como ejemplo,
se demostrarn cuatro.



















DESAFO OLMPICO

XVII OLIMPADA MATEMTICA DEL URUGUAY
Primera instancia 2002. Nivel 5

Sea = 3 +2 2 3 2 2 x Demostrar que x es entero.

Vase el resultado en la pgina 489.
MATEMTICA DE SEXTO
369
3.2. PROPIEDAD CANCELATIVA PARA LA SUMA

Este teorema es el que permite cancelar trminos, esto es, tachar la a en ambos
lados del smbolo de igual.

Hi pt esi s: t ae, b e y ce si a + b = a + c

Tesi s: b = c

Se parte de la hiptesis:

a + b = a + c Por axiomas 0 y 5, se suma a ambos miembros el
opuesto de a
(( a) + a) + b = (( a) + a) + c Por axioma 2, se asocian los dos primeros sumandos.

0 + b = 0 + c Por axioma 5, la suma de un nmero y su opuesto es 0.

b = c Por axioma 3, la suma de b y el neutro (cero) es b.
Por axioma 3, la suma de c y el neutro (cero) es c.



3.3. UNICIDAD DEL NEUTRO DE LA SUMA

El neutro de la suma es nico.


Se demuestra suponiendo que existe otro neutro 0' adems del 0, tal que

t ae, a + 0' = a a + 0 = a

La demostracin se hace aplicando la propiedad cancelativa.
Cancelando a en la igualdad a + 0 = a + 0', se llega a que 0 = 0'



3.4. POSIBILIDAD DE LA SUSTRACCIN

Dados ae y be existe un nico real c tal que: a + c = b
Este nmero c se llama resta o sustraccin y la notacin habitual es: c = b a
En particular, 0 a se escribe simplemente como a, o sea, el opuesto de a.


Hi pt esi s: Dados ae y be

Tesi s: Existe un nico c / a + c = b

Dados a y b, por el axioma 5 existe un nico y tal que a + y = 0.
Sea c = y + b. Se puede escribir que a + c = a + (y + b) = (a + y) + b = 0 + b = b (en
la segunda igualdad se usa la propiedad asociativa).
Entonces ya encontramos un c tal que a + c = b. Adems es nico, porque si
existiera otro c tal que a + c = b, entonces por la propiedad cancelativa, c = c.

GUSTAVO A. DUFFOUR
370



Hermann
Hankel

(Alemania,
1839 - 1873)






En 1857, Hankel entr en
la Universidad de Leipzig
donde estudi matemtica.
En 1860 se march a
Gotinga, donde tuvo como
profesor a Riemann. Al ao
siguiente trabaj con
Weierstrass y Kronecker, en
Berln.
Recibi su doctorado en
1862 con una tesis sobre
determinantes.
Trabaj en la teora de
nmeros complejos, la teora
de funciones y la historia de la
matemtica.
3.5. PROPIEDAD HANKELIANA


Hi pt esi s: t ae, b e si a . b = 0

Tesi s: a = 0 o b = 0


Si a = 0, la propiedad est demostrada.


Si a 0 existe el inverso de a.

Se parte de la hiptesis: a . b = 0

Se multiplica por el inverso de a: . . . =
1 1
a b 0
a a


Se aplica propiedad asociativa:
( )
1
.a .b = 0
a


Un nmero real multiplicado
por su inverso da 1: 1. b = 0

Por neutro de la multiplicacin: b = 0




4 AXIOMAS DE ORDEN
Y PROPIEDADES


Mediante este grupo de axiomas se presentan las propiedades de orden de los
nmeros reales. La manera ms sencilla de hacerlo es recurrir a la nocin de nmeros
positivos, para definir despus los conceptos de mayor que y menor que, basados en el
concepto de nmero positivo.


4.1. LOS AXIOMAS

Existe un subconjunto no vaco de los reales llamado el conjunto de los nmeros reales
estrictamente positivos, que se designa por
+
, y que satisface los siguientes axiomas.

AXIOMA 7 Si a
+
y b
+
se cumple que: (a + b)e
+
y (a . b)e
+


AXIOMA 8 Para todo real a 0 ocurre que a
+
o ( a)
+
, pero no ambos.

AXIOMA 9 El cero no pertenece a
+


MATEMTICA DE SEXTO
371
4.2. DEFINICIN DE > (MAYOR QUE) Y DE < (MENOR QUE)

Como consecuencia de los axiomas anteriores es posible definir un orden en los
nmeros reales, mediante las siguientes definiciones.

Sean a y b dos nmeros reales cualesquiera.

i) Si (a b)e
+
entonces se dice que a > b o b < a

ii) Si (a b)e
+
{0} entonces se dice que a > b o b < a.
Que a es mayor o igual a b, o que b es menor o igual que a.

Un nmero real a tal que ae
+
se llama nmero real estrictamente positivo y se
escribe a > 0.

Si a es un nmero real tal que ( a)e
+
se llama nmero real estrictamente negativo
y se escribe a < 0.

De estos axiomas y definiciones se pueden deducir todas las reglas usuales del
clculo con desigualdades, algunas de las cuales se presentan a continuacin.


4.3. MONOTONA DEL PRODUCTO

Hi pt esi s: t ae, be, ce
+
y a < b

Tesi s: a.c < b.c

Por hiptesis, si a < b significa que: (b a)e
+

Por axioma 7, si (b a)e
+
y ce
+
(b a) . ce
+

Y por propiedad distributiva, (b . c a . c)e
+

Lo cual significa que a . c < b . c, o sea, la tesis.


4.4. DENSIDAD DE LOS NMEROS REALES

Hi pt esi s: t ae, be, a < b

Tesi s: c / a < c < b

Si a < b, se cumple que: a +a < a + b
se cumple que: a +b < b + b

De ello es posible deducir que: a + a < a + b < b + b

2a < a + b < 2b


a + b
a < < b
2

Basta tomar
a + b
c =
2
para demostrar la propiedad.
GUSTAVO A. DUFFOUR
372
Responder verdadero
o falso, y justificar
la respuesta.

1) Para todo a b c
si a + c = b + c a = b

2) Para todo a b c
si a . c = b . c a = b

3) Para todo nmero real a
existe b tal que a + b = 0

4) Para todo nmero real a
existe b tal que a . b = 1

5) Para todo a y b
si a < b a
2
< b
2


6) La suma de dos nmeros
irracionales es irracional

7) 3 es un nmero racional

8) t a, b (a b).(b a) 0

9) t a*

a es un nmero negativo.

10) Si a
+
entonces a + b
+


11) El 0.001 no tiene inverso.

12) 3 no tiene inverso

13) Un nmero por su inverso
siempre da 1.

Vanse los resultados en la pgina 489.
4.5. PROPIEDAD DE TRICOTOMA


Dados dos nmeros reales a y b
cualesquiera, se verifica una y solo una
de las siguientes relaciones:

a > b a = b a < b

Demostracin:

Sea c = b a

Si c = 0, ocurre que b a = 0. Luego, b = a
Si c $ 0, por el axioma 8, ce
+
o ( c)e
+

Si ce
+
c > 0, o sea (b a) > 0, y resulta b > a
Si ( c)e
+
c < 0, o sea (b a) < 0, resulta b < a

Lo que se est afirmando aqu es que
dados dos nmeros reales, siempre es posible
decidir cul de ellos es mayor que el otro, o si
son iguales.

Otra forma de decirlo es que los nmeros
reales son un cuerpo totalmente ordenado, lo
cual hace posible su representacin grfica
como puntos en una lnea recta.




4.6. PROPIEDAD TRANSITIVA


Sean a, b y c nmeros reales,
si a > b y b > c resulta a > c.

Que sea a > b significa que: (a b)e
+

Que sea b > c significa que: (b c)e
+

Por axioma 7 (a c)e
+


Por definicin de mayor, (a c)e
+

significa que (a c) > 0, o sea que a > c


Antes de pasar al ltimo axioma,
es necesario precisar algunas
definiciones y conceptos.

MATEMTICA DE SEXTO
373



Responder verdadero
o falso, y justificar
la respuesta.

Para todo ae be ce

1) Si a > b a c > b c

2) Si a > b a
2
> b
2


3) Si a > b a
3
> b
3


4) Si a > b a + c > b + c

5) Si a > b y c > 0 ac > bc

6) Si a $ b a
2
+ b
2
> 2ab

7) Si a > 0
1
a + 2
a


8) Si a
3
> a a > 1

9) Si a<b a0 b0
1 1
<
a b


10) El inverso de ( ) 2 +1 es
( ) 2 1

11) Todo nmero real distinto
de cero tiene inverso

12) No existe ningn nmero
entero, tal que su inverso
sea entero.

13) Un nmero real y su inverso
siempre son del mismo
signo.

Vanse los resultados en la pgina 489.
5 CONJUNTOS ACOTADOS

5.1. DEFINICIN DE COTA

Un nmero c es llamado cota superior
de un conjunto A de nmeros si:
para todo xeA x < c


Un nmero d es llamado cota inferior de
un conjunto B de nmeros si:
para todo xeB d < x




NOTA

Un conjunto se llama acotado si tiene
cota superior e inferior. De lo
contrario, se deber afirmar
expresamente si est acotado
superiormente o acotado inferiormente.






5.2. DEFINICIN DE EXTREMO


Un nmero c recibe el nombre de
mnima cota superior, extremo superior o
supremo de un conjunto A (no vaco) de
nmeros reales, si c es una cota superior de
A y no hay cota superior de A que sea menor
que c.

Esto significa que a la menor de las cotas
superiores de A se la denomina extremo
superior de A.

En el punto 6.3. se probar que c es
extremo superior de A si y solo si se cumple
que:

t xA x c

dado c < c existe algn xA / c < x c


GUSTAVO A. DUFFOUR
374
Con frecuencia se
emplea el trmino supremo de un
conjunto A, en vez de extremo
superior, y se utiliza la
abreviatura sup(A).

Tambin se emplea el
trmino nfimo de un conjunto A,
en vez de extremo inferior, y se
utiliza la abreviatura inf(A).
Responder verdadero o falso,
y justificar la respuesta.

Sea el conjunto A tal que su extremo inferior es 4.

1. Cualquier elemento de A es mayor o igual a 4.

2. Cualquier nmero mayor que 4 pertenece a A.

3. El conjunto A est acotado superiormente.
4. El nmero e es cota inferior de A.

Vanse los resultados en la pgina 489.
Un nmero d recibe el nombre de
mxima cota inferior, extremo inferior o nfimo
de un conjunto A (no vaco) de nmeros
reales, si d es una cota inferior de A y no hay
cota inferior de A que sea mayor que d.

Esto significa que a la mayor de las cotas
inferiores se la denomina extremo inferior.

Anlogamente puede probarse que d
es extremo inferior de A si y solo si se cumple
que:

t xA x d

dado d > d existe algn xA / d x < d



6 AXIOMA DE COMPLETITUD

6.1. INTRODUCCIN

Hasta aqu se han estudiado un conjunto de axiomas y algunas propiedades
algebraicas y de orden en el sistema de los nmeros reales. Pero estos conjuntos de
axiomas son satisfechos tambin por los nmeros racionales.
Se ha visto que 2 no puede representarse como un nmero racional, por lo tanto
2 no pertenece a los racionales.
El prximo axioma permite introducir nmeros irracionales en el sistema de los
nmeros reales.


6.2. AXIOMA 10, DE COMPLETITUD

Todo conjunto no vaco de nmeros reales acotado superiormente
posee extremo superior.

La propiedad anloga del extremo inferior se enuncia as: todo conjunto no vaco de
nmeros reales que tenga una cota inferior, tiene un extremo inferior.















MATEMTICA DE SEXTO
375
6.3. PROPIEDAD FUNDAMENTAL DEL EXTREMO SUPERIOR

Todo conjunto de nmeros reales con extremo superior, contiene
nmeros tan prximos como se quiera a dicho extremo.

Sea un conjunto S y c = sup(S) el extremo superior (la menor de las cotas
superiores). Se tiene que, para un cierto x de S y un nmero psilon positivo dado,
x > c
Si fuese x (c ) para todo x de S, entonces (c ) sera una cota superior de
S menor que su extremo superior, lo que no puede ser, pues, por definicin de extremo
superior, este es la menor de las cotas superiores. Por consiguiente, debe haber algn x de
S tal que x > (c ). Tomando c = c , esto prueba el si que se menciona en 5.2.
Para probar el solo si, se tiene que: xS, se cumple que x c y que, para
cualquier c < c, siempre existe al menos un xS tal que c < x c. Como c es una cota
superior de S y ningn c < c es cota superior de S (porque siempre hay al menos un
elemento de S mayor que l), entonces c es la menor de las cotas superiores de S, por
lo que es el extremo superior de S.



7 DEFINICIONES DE MXIMO Y MNIMO

Cuando uno o los dos extremos de un conjunto pertenecen a este, se dice que son
accesibles. En caso contrario, son inaccesibles.

Si el extremo superior (la menor de las cotas superiores) pertenece al conjunto, se le
llama mximo.
Si el extremo inferior (la mayor de las cotas inferiores) pertenece al conjunto, se le
llama mnimo.
Cuando el extremo superior y el inferior son inaccesibles, se dir que el conjunto no
tiene mximo ni mnimo.


NOTA

Si el conjunto A no est acotado superiormente,
entonces A no tiene cota superior, de modo que
evidentemente A no puede tener extremo superior.

Generalmente se afirma que siempre que A tenga alguna
cota superior, tiene extremo superior. Si A fuese el
conjunto vaco, cualquier nmero sera una cota superior
de , pero no existe ningn extremo superior para el
conjunto .

Salvo esta excepcin trivial, es muy importante el axioma
de completitud de los nmeros reales:

Si A es un conjunto de nmeros reales, A y A est
acotado superiormente, entonces A tiene un extremo
superior.

GUSTAVO A. DUFFOUR
376
8 ALGUNAS PREGUNTAS SOBRE EL TERICO


1) i) Enunciar los axiomas de cuerpo.
ii) Demostrar la propiedad cancelativa de la suma.
iii) Demostrar la propiedad cancelativa de la multiplicacin.

2) i) Demostrar el teorema de unicidad del neutro multiplicativo.
ii) Enunciar los axiomas de orden.
iii) Definir x < y t xe t ye
iv) Enunciar y demostrar la propiedad transitiva de la desigualdad en

3) i) Enunciar el axioma de completitud.
ii) Sea un conjunto A de nmeros reales, no vaco y acotado superiormente.
Sea K el conjunto de las cotas superiores de A.
Se puede asegurar que K tiene mnimo? Justificar la respuesta.

4) 1) Dados a y b reales, definir la relacin <
2) Enunciar y demostrar la propiedad transitiva de la relacin <
3) Es verdadera o falso?
a b
ac bc
c 0
<
<
<

Justificar la respuesta demostrando el teorema correspondiente.

5) Enunciar el axioma, teorema o definicin apropiada para demostrar si es vlida
cada proposicin siguiente. Si alguna no lo fuera, dar un contraejemplo.

1) Si a
+
, entonces 3a
+


2) t ae, t be, si a < 4 y b > 4, entonces a < b

3) t ae, t be, si a < b, entonces 7a < 7b

4) t ae, si a < 0, entonces a
3
< 0

5) t ae, t be, si a < b, entonces
a b
<
10 10

6) 0
+


7) t ae, 3 + a < 8 + a

8) t ae, t be, si a > 1 y b > a, entonces b > 0

9) t ae, si a
2
< 4, entonces a < 2

6) t ae, t be, si a b, cules de las siguientes expresiones son correctas?
a 4 b 4 a b a
2
ab a
3
a
2
b


MATEMTICA DE SEXTO
377
7) i) Definir cota inferior, mximo y extremo inferior.
ii) Hallar en caso de existir, el conjunto de las cotas superiores e inferiores,
mximo y mnimo, extremo superior e inferior de los conjuntos:
A = {x / x, |2x 1| < 2}
x
x x
x
2
1
B / , 0
3

8) Sea A = {x / x
3
x 0 v x
2
+ 4 > 0} Probar que A no tiene mnimo ni mximo.


9) i) Demostrar que:
1
2
2
+ es irracional.
ii) Demostrar que:
3
2
2
es irracional.


10) Probar que la suma de dos nmeros pares es par.