1

NMERO REAL
Introduccin
A lo largo de nuestra vida nos hemos ido encontrando con algunas estructuras
numricas. Seguramente el lector conoce desde hace mucho tiempo a los naturales a los enteros y a
los racionales; as como tambin las diferencias entre ellas y las necesidades no cubiertas por una
estructura que hacen necesario la creacin de la siguiente.
Cules son las insuficiencias de los racionales que hacen necesario presentar una nueva estructura
algebraica? Intentemos plantear una de ellas.
Consideramos un cuadrado de lado 1 (una unidad cualquiera) y pretendemos
medir una de sus diagonales tomando al lado como unidad. Si existiese tal
medida en Q ( a la cual llamaremos L) por Pitgoras cumplira:

L2 12 12

S L L

p
q

L2 2

con p y q enteros primos entre si. ( en otras palabras si L es un

racional se puede escribir como una fraccin irreducible)

L2

p 2
q

p2
q2

p 2 2q 2

p 2 es par

como p 2 2q 2 sustituyendo nos queda : 2q 2 4t 2

Por lo tanto si existiese un racional L

p
q

p es par

q 2 2t 2

p 2t ; t

q 2 es par

p 2 4t 2

q es par

que midiera exactamente la diagonal de un cuadrado de

lado 1 tendramos que: p es par, q es par, p y q enteros primos entre si.

Lo cual es contradictorio.
En consecuencia no existe ningn racional que elevado al cuadrado sea 2 y por lo tanto los
racionales no nos permiten medir la longitud de la diagonal de un cuadrado de lado uno. Es
inecesario resaltar la importancia que tiene disponer de una estructura con la cual poder medir
cualquier longitud u otra magnitud escalar.

Construimos un cuadrado de lado 1

sobre el segmento cuyos vrtices son
el origen y el punto de abscisa 1.
Trazamos la diagonal y la trasladamos
al eje. Qu abscisa le asignamos a P?

Hemos presentado una de las incapacidades de los racionales; no la nica. Elegimos esta por ser la
de mayores consecuencias desde el punto de vista histrico.

Los Pitagricos enamorados de los nmeros enteros creyeron que todas las cosas podan
derivarse de ellos, empezando por todos los demas nmeros. Se produjo una crisis en esta doctrina
cuando descubrieron que la raz cuadrada de 2 (La razn entre la diagonal y el lado de un
cuadrado) era irracional, es decir que 2 no puede expresarse de modo preciso como la razn de
dos enteros determinados por grandes que fueran estos nmeros.
Este descubrimiento se llevo a cabo utilizando irnicamente como herramienta el teorema de
Pitgoras. Irracional significaba en principio que un nmero no poda expresarse como una razn
(cociente) Pero para los Pitagricos lleg a suponer algo amerazador, un indicio de que su
concepcin del mundo poda carecer de sentido, lo cual es la otra acepcin que tiene hoy la
palabra irracional (COSMOS de Carl Sagan)
Para cubrir esta como otras carencias de los racionales presentemos a los nmeros reales. Para ello
existen fundamentalmente dos caminos: El constructivo; crear a los naturales, a partir de ellos a los
enteros, luego a los racionales y a partir de estos ltimos generar a los nmeros reales. El otro
camino consiste en crear directamente a los reales siendo los naturales, los enteros y los racionales
subestructuras de los reales.
Esta ltima opcin es la que trabajaremos en primer lugar. Posteriormente trataremos, o al menos
bosquejaremos el camino constructivo.
Cualquiera de los dos caminos implican la utilizacin del mtodo axiomtico. No desarrollaremos
aqu las caractersticas de este mtodo por exceder la longitud de este trabajo. Corriendo el riesgo
de caer en una simplificacin excesiva diremos que: El mtodo axiomtico consiste en la
aceptacin de algunas proposiciones como vlidas (que llamaremos axiomas), sin necesidad de
demostracin, y la deduccin del resto de las proposiciones de la teora a partir de estos.
La caracterstica imprescindible que debe cumplir un sistema axiomtico es la consistencia; la no
contradiccin de las proposiciones tomadas como axiomas.(tngase en cuenta que en toda
demostracin por absurdo se esta utilizando la consistencia del sistema). Otras propiedades como la
independencia o la categoricidad no tienen porqu ser cumplidas por todos los sistemas
axiomticos.
Le sugerimos ample esta informacin por los medios que considere pertinentes.

Axioma 1 (Axioma de cuerpo )

En un conjunto que llamaremos de los nmeros reales (al que
anotamos ) en el cual estn definidas dos operaciones que denominamos adicin y
multiplicacin ( las cuales las anotamos con + y respectivamente que cumplen:
S1 ) Asociativa a (b c) (a b) c
S 2 ) Conmutativa

a b b a a, b

S 3 ) Neutro 0 ; a 0 0 a a

S 4 ) Opuesto

P2 ) Conmutativa
P4 ) Inverso

a op(a) ; a op(a) op(a) a 0

P1 ) Asociativa a.(b.c) (a.b).c

P3 ) Neutro

a, b, c

a.b b.a

a, b, c
a, b

1 1 0 ; a.1 1.a a a
a a 0 inv(a)

; a. inv(a) inv(a).a 1

SP) Distributiva a.(b c) a.b a.c a, b, c

(b c).a b.a ca a, b, c
Nota 1
En el axioma recin enunciado aparece el trmino operacin. Qu entendemos por tal
trmino? Antes de ir a una definicin concreta de operacin analicemos un caso ms que
familiar; la suma en los naturales. En el cual aparecen expresiones como:
2+4=6
3+5=8
a b c
Cuando anotamos por ejemplo 2 + 4 = 6 aparecen en juego tres nmeros naturales cumpliendo
distintos roles (2 y 4 como sumandos y el 6 como resultado). Podemos pensar a la suma de
naturales como una correspondencia que al par (2,4) le hace corresponder el 6, al par (3,5) el 8 ....
al par de naturales a, b el natural c.
Y no cualquier tipo de correspondencia ya que a cada par ordenado de naturales la suma le hace
corresponder un y solo un natural (el resultado de sumar ambas componentes del par). En definitiva;
podemos considerar a la suma de naturales como un funcin de en .
Obsrvese que una interpretacin idntica puede hacerse con el producto de naturales; que el
producto de enteros puede considerarse como una funcin que a pares ordenados de enteros hace
corresponder un entero ( o sea una funcin de ) ; la suma de vectores como una funcin
que a pares ordenados de vectores hace corresponder un vector;.....
Concretamente: Siendo A un conjunto no vaco llamamos operacin en A (o ley de composicin
interna ) a una funcin de A A A
Con esta definicin podemos determinar una operacin en cualquier conjunto no vaco por modesto
que este sea. Definamos una operacin (llammosla *) en el conjunto A a, b
3

A A

A A (a, a),(a, b),(b, a),(b, b)

A
*

(a,a)

(a,b)
(b,a)
(b,b)

Solemos anotar a a a
a b b b a b y b b b
doble entrada en lugar de un diagrama de flechas.
*
a
b

a
a
b

o tambin presentar una tabla de

b
b
b

Ejercicio Definir una operacin en B m, n, p

Nota Tengamos presente entonces que una operacin o una ley de composicin interna en un
conjunto no vaco A no es otra cosa que una funcin de A A A y por lo tanto si tenemos una
correspondencia entre pares de elementos de un conjunto A y elementos del propio A para poder
afirmar que dicha correspondencia es una operacin debe cumplirse:
1) La imagen de cada par (el resultado de la operacin) debe pertenecer al conjunto A. 2) Y debe
ser nica.
As con esta definicin de operacin la resta en no es una operacin pues falla la primera
condicin. Y tampoco es una operacin el producto de un vector por un escalar pues no estamos
operando elementos del mismo conjunto.
Cabe sealar que no es la nica definicin de operacin que puede tomarse. Sino que es la ms
restrictiva pues nos obliga a operar con elementos del mismo conjunto ( lo cual deja afuera el
producto de un escalar por un vector) y tambin nos obliga a que el resultado sea del mismo
conjunto del cual son los operandos (con lo cual el producto interno de vectores no sera una
operacin) Otras definiciones mas amplias permiten operar elementos de distinto conjunto y
tambin que el resultado no pertenezca al mismo conjunto que los elementos operados. Lo que se
exige en casi todas las definiciones de operacin que se puede encontrar en diferente bibliografa es
la unicidad del resultado. Nosotros adoptamos esta definicin pues ha sido la elegida durante
muchsimo tiempo en los cursos de primer ao.

Nota Si leemos con atencin el axioma 1 percibimos que entre las muchas cosas que este nos dice
esta que el conjunto de los nmeros reales es un conjunto no vaco que tiene al menos dos
elementos: el 0 y el 1 neutros de la suma y el producto.
Nada en este axioma implica que tenga mas que estos dos elementos; pues si tomamos
0,1 y la suma y el producto definidos por
+ 0 1
0 0 1
1 1 0

0 1
0 0 0
1 0 1

El lector podr comprobar que este modelo verifica el axioma 1 Lo cual no solamente sirve como
argumento para lo dicho sino que tambin para corroborar la consistencia del mismo.
Nota Como recin dijimos el axioma de cuerpo no lleva a que tenga infinitos elementos como
todos esperamos. Esto ser necesariamente cierto recin cuando entre en juego el segundo axioma.
El lector atento tambin habr notado que se indica explcitamente en el primer axioma que 0 1.
Esto se debe a que si tal proposicin no es necesariamente cierta tomando 0 y 0+0 = 0 ,
0.0 = 0 tal modelo verifica toda la axiomtica que veremos sobre nmero real; creando un modelo
trivial que no es el que andamos buscando generar.
Veamos ahora algunas proposiciones que se desprenden de manera mas o menos inmediata del
axioma de cuerpo.
Teorema Unicidad de los neutros
1) 0 es el nico neutro de la suma.

2) 1 es el nico neutro del producto

Dem2)
Supongamos que 1' ; a.1' 1'.a a a
Entonces

1.1' 1 por la suposicin

1 1'
1.1' 1' por P3

Y por lo tanto 1 es el nico neutro del producto de reales.

Obsrvese que en la ltima implicacin se utiliz que el producto es una operacin en y por lo
tanto el resultado de un mismo producto es nico.

Teorema Cancelativas
1) a b a c b c

2) a.b a.c
bc
a0

Dem 1)
a b a c op(a) (a b) op(a) (a c)

op(a) a b op(a) a c

0b 0c b c

Ejercicio 1) Justifique el lector los pasos dados en la demostracin anterior 2) Demuestre

justificando detalladamente el punto 2) 3) Por qu en la segunda proposicin se exige que el
factor cancelado sea distinto de cero?
Teorema Absorcin

a.0 0 a

a 0 a a.1 a(1 0) a.1 a.0 a a.0 a 0 a a.0 0 a.0

Dem:

Justifique el lector todos y cada uno de los pasos dados .

Teorema Ausencia de divisores de 0 (Hankeliana)

a0

a.b 0
b0

Dem:

Si a = 0

la proposicin es verdadera

Si a 0

por hiptesis a.b 0

a.b a.0 como adems a 0 cancelativa b 0

por el teorema anterior a.0 0

Teorema Existencia y unicidad de la diferencia

H) a, b

Dem: 1)

1) c ; a c b
T)
2) c es nico

a c b a op(b) c b op(b) a op(b) c b op(b)

a op(b) c 0 c a op(b)

Para terminar la demostracin de la existencia basta tomar c a op(b) y realizar c b

aplicando las propiedades ya vistas el lector seguramente llegar a que c b a
Dem 2) Supongamos que c ' ; a c ' b Como por lo demostrado en 1) c ; a c b
entonces c b c b canc c c '

Definicin
Consideramos a, b . Llamamos diferencia a b al real c tal que b c a
La relacin de en la que a cada par de reales x, y le corresponde la diferencia x y ,
teniendo en cuenta el teorema inmediato anterior, es una funcin. Y por lo tanto queda definida una
nueva operacin en a la cual denominaremos sustraccin.
Nota
1) En el teorema inmediato anterior no solamente se demostr que existe c tal que b c a
sino que tambin se calcul cuanto vale; llegando a que c a op(b)
Por lo tanto: a b a op(b)
2) Teniendo en cuenta el resultado anterior
0 x 0 op( x) op( x) op( x) 0 x x
Lo cual justifica la notacin habitual de opuesto

op( x) x

Teorema Existencia y unicidad del cociente.

a, b
H)
b0

1) c ; a c.b
T)
2) c es nico

Demostracin a cargo del lector.

Definicin
Consideramos a, b ; b 0 . Llamamos cociente

a
al real c tal que b. c a
b

x
,
y
teniendo en cuenta el teorema inmediato anterior, es una funcin. Y por lo tanto queda definida una
nueva operacin en * a la cual denominaremos divisin.
(anotamos * al conjunto 0 )
La relacin de * * en la que a cada par de reales x, y le corresponde el cociente

Nota
1) Cuando demostr el teorema inmediato anterior seguramente lleg a que c a.inv(b) ;
entonces:
a
a.inv(b)
b

2) Por lo tanto

1
1.inv( x) inv( x)
x

inv( x)

1
x

Ejercicios
I) Demostrar las siguientes proposiciones en (, ,) donde a,b,c,d son nmeros reales.
i) op op(a) a
iv)

ii) inv inv(a) a

a
1 a b (a 0 b 0)
b

vii) a 0 a 0
x) a (1).a
xiii) a.(b c) ab ac

xvi)

xix)

a
a
a

b
b
b

a c ad cb

b d
bd

iii) a b 0 a b
v) op(0) 0

vi) inv(1) 1

viii) a b a (b)
xi) (a.b) (a).b a.(b)

ix) (a b) a b
xii) (a).(b) a.b

xiv) inv(a.b) inv(a).inv(b)

a b
xvii) inv
b a
(b 0 d 0)

xx)

(a 0 b 0)

a c ac
.
b d bd

a
a
1

xv)

xviii)

a
b
c

a.c
b

( b 0 c 0)

(b 0 d 0)

Notas 1) En la propuesta anterior utilizamos indistintamente op(a) o a e inv(a)

1
a

segn

consideramos conveniente. A partir de este momento utilizaremos exclusivamente la notacin

habitual (-a y 1a ).
2) Una vez culminado este ejercicio habr demostrado muchas de las propiedades usuales del
lgebra elemental de manera relativamente sencilla y transparente utilizando exclusivamente el
axioma de cuerpo y sus primeras consecuencias.

II) Hallar, justificando el procedimiento, el conjunto de los nmeros reales x que cumplen:
i) x 1 1

ii) 0 x x

iii) x x x

iv) x.0 0

v) x.0 1

vi) x x 1 0

Qu otro ttulo pondra ud. al ejercicio anterior? Cmo denominara al conjunto hallado? Y a
cada uno de sus elementos?

III) Resolver y discutir segn a y b en (, ,) la ecuacin ax b 0

ORDEN
A continuacin intentaremos introducir en (, ,) una relacin de orden estricto total (<) y una
relacin de orden amplio total

compatible con la suma y el producto. En pocas palabras

intentaremos ordenar al cuerpo de los reales con las caractersticas previstas. Lo cual haremos por
intermedio del siguiente axioma.
Axioma 2 Axioma de orden
Existe un subconjunto de los reales a los cuales denominamos reales
positivos (anot. ) que cumple:

1) Todo real x cumple una y solo una de las siguientes proposiciones: i) x

ii) x 0
iii) x
2) Si x y

x y

x. y

Nota Cuando en el punto 1) decimos que todo real cumple una y solo una de las siguientes
proposiciones estamos diciendo que todo real necesariamente entra en uno de esos tres casilleros
y en solamente uno. En otras palabras queremos expresar que todo real es o positivo o cero o que su
opuesto es positivo; que no hay reales que no entren en una de esas tres categoras. Y adems en
una sola de ellas; dicho de otra forma que un mismo real no puede ser simultneamente positivo y
cero o positivo y su opuesto tambin o cero y su opuesto positivo.
En el segundo punto estamos diciendo que la suma y el producto de dos reales positivos da como
resultado un real tambin positivo. Tengamos en cuenta que para nosotros por ahora ser positivo es
pertenecer a ese subconjunto de los reales del cual afirmamos su existencia en el axioma 2 y que
denominamos reales positivos.
Lo que primeramente demostraremos es que el mencionado subconjunto no es vaco.
9

10

Teorema

1
Dem
Probmoslo por absurdo. Suponemos 1 ya que por intermedio del Ax 1 sabemos que
1 0 aplicando la primera proposicin del axioma 2 tenemos que:

Ax 2 2)

(1).(1)

Como demostramos anteriormente a b ab (1).(1) 1.1 1 1 pero

habamos supuesto que 1 lo cual es contradictorio.
Definicin

Consideramos a, b decimos que:

1) a b b a
2) a b b a

ab

3) a b
ab

4) a b b a
Observacin Notemos que definimos menor a travs de los reales positivos cuya existencia est
asegurada por el axioma de orden. Como ocurre habitualmente al definir la relacin menor (mayor)
queda definida su relacin inversa mayor (menor).
Probemos ahora para nuestra tranquilidad que ser positivo es ser mayor que 0.
Teorema

x 0 x
Dem

x 0 0 x x 0

Definicin
Llamamos conjunto de los reales negativos (anotamos ) al conjunto formado por los
opuestos de los reales positivos. Sintticamente:

x / x

Con esta definicin podemos enunciar de manera mas familiar la primera proposicin del axioma de
orden diciendo que: todo real cumple una y una sola de las siguientes proposiciones i) es positivo
ii) es cero iii) es negativo.
10

11

Teorema

x 0 x
Demostracin a cargo del lector.
Probemos que las relaciones que acabamos de definir merecen el nombre que les dimos.
Teorema < es una relacin de orden estricto total en . O sea cumple:
1) a a a

(Indentica)

2) a b b a
3)

(Asimtrica)

ab
ac
bc

(Transitiva)

4) Todo par de reales a y b verifica una y solo uno de las siguientes proposiciones:
i) a b ii) a b
iii) b a (Tricotoma)
Dem 3)
a b b a

Ax 2

b c c b

(b a) (c b)

como (b a) (c b) c a entonces

c a

ac

Las dems demostraciones quedan a cargo del lector.

Teorema Monotonas de la suma y el producto (compatibilidad con las operaciones)
1) a b a c b c

(Monotona de la suma)

2)

ab
ac bd
cd

3)

ab
a.c b.c
c

4)

ab
a.c b.c
c

(Monotona generalizada de la suma)

(Monotona del producto)

11

12

Dem 3) Debemos probar que: ac bc bc ac

Por hiptesis a b b a
Ax2

Como (b a).c bc ac

(b a).c

Entonces b.c a.c

a.c b.c

Proposiciones (Regla de los signos del producto)

1) a b

a.b

2) a b

a.b

3) a b

a.b

Dem 2)
b

Ax2

como a

a.(b)

Por lo visto en uno de los ejercicios anteriores a(b) ab

En consecuencia a.b

a.b
( Tengamos presente la definicin adoptada de reales negativos )

Teorema Densidad
Dados dos nmeros reales cualesquiera a y b siendo a b se cumple que: c / a c b
Dem

a b monot. de (+) a a a b
a a a b b b 2a a b 2b
a b monot. de (+) a b b b
ab
monot. del produc. a
b
2
Efectivamente c c a 2b tal que a c b
Nota En la demostracin anterior se utiliz que a a 2a Qu nos justifica tal afirmacin?
a a 1.a 1.a (1 1).a 2.a Por otra parte vimos que 1 1 0 1 1 0 1 1
12

13

Entonces 1+1 > 1 > 0 En consecuencia 1+1 es un real distinto del 0 y del 1, por lo tanto tenemos
derecho a bautizarlo con un nombre diferente; lo denominamos 2.
Un razonamiento similar nos lleva a 0 , 1 , 2 , 2+1 (que denominamos 3) , 3+1 (4) , 4+1 (5),...
son nmeros reales necesariamente diferentes. Entonces la aceptacin del axioma 1 y del axioma 2
nos lleva a que tiene infinitos elementos; lo cual, como vimos, no es as solamente con el primer
axioma.
Ejercicios
I) Demostrar que en el cuerpo ordenado de los nmeros reales se cumple:

i)
a b

ii) a

iv) Si 0 x x 0

vi)

ab

ba

viii) a, b

x)

ab

cd

xii)

ab

1
a

iii) a

vii)

ab

bc

a b b a (Dicotoma)

ac bd

ac bc

xi)

xiii)

v) a a a (Idntica)

a b (antisimtrica)

1
a

ac

ix) a b

ab

(Transitiva)
ac bc

ac bc

0ab
ac bd
0cd

xiv)

ab
a c
bc

( Las proposiciones v) vi) y vii) nos permiten afirmar que es una relacin de
orden amplio; el cumplimiento adems de la proposicin viii) nos asegura que
es una relacin de orden amplio total.)
II) i) Demostrar x2 0 x (Entendemos por x 2 al producto x.x )
ii)

a 2 b2 0

a b0

iii) Si a, b 0 demostrar que a b

a 2 b2

iv) Sin la exigencia de que a y b no sean negativos La proposicin anterior es vlida?

III) i) Probar que x2 y 2 4 xy x, y
ii) Sabiendo que a, b, c y adems a b c 1 ; probar:
1) (1 a)2 4bc

2) (1 a).(1 b),(1 c) 8abc

13

14

Signo de una funcin de primer grado

Queremos hallar el conjunto de los x tales que:
1) i) 3x 2 0 ii) 3x 2 0 iii) 3x 2 0
2) i) 3x 1 0 ii) 3x 1 0 iv) 3x 1 0
i) 3x 2 0 monot . ( )

x 23

(3x 2) (2) 0 (2) 3x 2 monot ()

Por lo tanto Si x / x 23

ii) 3x 2 0 x 23

Entonces

13 .3x 13 .(2)

Sii 23

13 .3x 13 .(2)

iii) 3x 2 0 (3x 2) (2) 0 (2) 3x 2

x 32

En consecuencia Siii x / x 23

Si denominamos f : ; f ( x) 3x 2 , hallamos los conjuntos de los reales cuya imagen es

negativa, cero o positiva.
Resultados que podemos esquematizar: Sig (3x 2)

2
3

Le encargamos al lector la segunda parte.

Signo de f : ; f ( x) ax b (a 0)
Entendemos por estudiar el signo de f en a encontrar el conjunto de los x reales cuyas imgenes
son positivas, el conjunto de los reales cuya imagen es 0 y el conjunto de los reales cuya imagen es
negativa.
ax b 0 monot. (+)

(ax b) (b) 0 (b) ax b

Como seguramente el lector prev debemos ahora utilizar la monotona del producto; para lo cual
nos es necesario discutir si el factor por el cual pretendemos multiplicar la desigualdad 1a es
positivo o negativo.
Si a > 0

ax b

Si a < 0

ax b

1a .ax a1 . (b)
1a ax a1 .(b)
14

x ba
x ba

15

ax b 0 x ba

(Justificacin ya vista)

ax b 0 (ax b) (b) 0 (b) ax b

Si a > 0

ax b

Si a < 0

ax b

En resumen:

Si a > 0

1a .ax a1 .(b)
1a .ax a1 .(b)

x ba
x ba

ax b 0 x ba

ax b 0 x ba

Si a < 0

ax b 0 x ba

ax b 0 x ba

ax b 0 x ba

ax b 0 x ba

Resultados que esquematizamos:

0
Sig

ax b

- sig a

sig a

ba
Pasemos ahora a estudiar el signo de la funcin de segundo grado. Antes algunas proposiciones
previas.
Lema
Siendo a llamamos a 2 a.a

Se cumple que: 1) (a b).(a b) a 2 b2

2) a b
2

ab

a b

Demostracin a cargo del lector.

Resolucin en , ,, de ax 2 bx c 0

ax2 bx c 0 ax2 bx c (*)

a 0

4a 2 x 2 4abx 4ac 4a 2 x 2 4abx b2 b2 4ac

Llamando al nmero real b2 4ac como adems 4a 2 x2 4abx b2 (2ax b)2

tenemos que:

ax bx c 0 (2ax b)
2

Si > 0

(2ax b) (3ax b)
2

15

2ax b x 2 a

b

2ax b x 2 a

16

b b2 4ac b b 2 4ac
Por lo tanto en este caso S
,
2
a
2a

Si = 0

(2ax `b)2 0 2ax b 0 x

b
2a

b
Entonces si 0 S

2a
Si < 0 Como x (2ax b)2 0 x / (2ax b)2 S

Nota (*) Multiplicamos ambos miembros por 4a (tengamos presente que a 0 ) con el objetivo
de completar el cuadrado de un binomio. Tambin fue el motivo por el cual sumamos b 2 en el paso
siguiente.
Nota Somos conscientes que hemos utilizado raz cuadrada sin haberla definido y menos
demostrado que todo positivo tiene una raz cuadrada. El desarrollo terico hecho hasta el momento
no nos lo permite (Precisamos para ello eltercer axioma). A pesar de lo dicho utilizamos

para

no postergar el estudio del trinomio de segundo grado, lo cual consideramos conveniente desde el
punto de vista didctico. Preferimos aqu hacer una disgrecin desde el punto de vista formal con el
fin de un mejor desarrollo del curso prctico.

Ejercicio Consideramos f : ; f ( x) ax2 bx c (a, b, c , a 0) vimos que s

b2 4ac 0 la funcin f tiene dos races reales distintas; a saber

b
2a

b
2a

Probar que:
1)

b
a

c
a

2) f ( x) a.( x ).( x ) x

Signo del trinomio de segundo grado

Consideramos f : ; f ( x) ax 2 bx c con a, b, c a 0.

Si 0 Vimos que f acepta dos races reales que llamamos y ( )

f ( x) a.( x ).( x ) x
16

Adems

17

x1 / x1

x1 0 y x1 0

Entonces si a 0
Si a 0

f ( x1 ) a.( x1 ).( x1 ) 0 (producto de un positivo por dos negativos)

f ( x1 ) a.( x1 ).( x1 ) 0

Anlogamente se prueba que: x2 / x2

Y que: x3 / x3

(producto de tres negativos)

si a 0

f ( x2 ) 0

si a 0

f ( x2 ) 0

si a 0

f ( x3 ) 0

si a 0

f ( x3 ) 0

2
f ( x) ax 2 bx c 4af ( x) 4a 2 x 2 4abx 4ac 4
a 2 x 2

4abx
b2
b
4
ac 4af ( x) (2ax b) 2

(2 ax b )2

Si 0

4af ( x) (2ax b)2

4af ( x) 0 x

Es ms 4af ( x) 0 x ; x

b
2a

2ab 0

Por lo tanto: Si a 0 4a 0

f ( x) 0 x ; x

b
2a

Si a 0 4a 0

f ( x) 0 x ; x

b
2a

Si 0

0 como adems (2ax b)2 0 x 4af ( x) (2ax b) 2 0 x

Por lo tanto: si a 0

f ( x) 0 x

si a 0

f ( x) 0 x

VALOR ABSOLUTO
Definicin
Consideramos un nmero real a .
Denominamos valor absoluto de a (Anotamos a )

a a si a 0
Ejemplos: 4 4 ,

3 (3) 3 ,

a a si a 0
0 0

Teorema
1)

x 0 x

2)

x 0 x0
17

18

3)

x2 x x2
2

x y

x y

4)

x y

5)

x. y x . y

6)

x
x

y
y

x, y

x, y y 0

7) x x x

8) Siendo r se cumple que:

i)

x r r x r

xr

ii) x r
x r

(Las proposiciones anteriores son tambin vlidas si intercambiamos por < y por > )
9) x y x y x, y (Desigualdad triangular)
10)

x y x y

Dem 7) Si x 0

x, y

x x Por otra parte x 0 x 0

como x 0 x x

Entonces x x x
Si x < 0

x x x

x x x x x x

Por otra parte como x 0 x y en este caso x < 0 x x

Entonces tambin en este caso x x x
Por lo tanto x x x
Dem 9) Por 7)

x x x
y y y

Sumando nos queda:

x y x y x y x y x y x y 8)i x y x y

18

19

NMERO NATURAL
La idea en crudo de la generacin de los nmeros naturales ya fue presentada; recordmosla:
Como 1 0 1 1 1 0 1 1 1 0
Por lo tanto el nmero real 1+1 es necesariamente
distinto del 0 y del 1; mereciendo entonces un nombre diferente. Al real 1 1 lo denominamos 2.
Al ser 2 1 2 1 1 1 2 1 2 1 0 Entonces el real 2+1 es un nmero distinto del 0 del
1 y del 2.Lo denominamos 3. Un razonamiento idntico nos lleva a que 3+1 es un real distinto
(mayor) que el 0, que el 1, que el 2 y que el 3. Denominamos 4 a 3+1. Y as sucesivamente.
Formalicemos esta idea.
Definicin

Consideramos: A
cumple:
1) 0 A

Decimos que A es un conjunto inductivo si y solo si se

2) Si x A x 1 A
Ejemplos es inductivo.
no lo es pues falla la primera condicin.

S es inductivo 0

El conjunto B 1 no es inductivo pues: 1 B pero 1 1 0 B fallando

entonces la segunda condicin.
Nota Anotamos a la familia de todos los conjuntos inductivos. As ,
Observacin
0 A A 0 1 1 A A 1 1 2 A A 2 1 3 A A

Entonces 0,1,2,3,..... A A

Los nmeros reales que identificamos como naturales

pertenecen a todos los conjuntos inductivos.

Definicin
Llamamos conjunto de los nmeros naturales (anotamos ) a la interseccin de
todos los conjuntos inductivos. Sintticamente:
A
A

Observaciones:
1) A A

Ya que la interseccin de varios conjuntos est incluido en

cada uno de ellos

2) Como 0,1,2,3,... A A y A A 0,1, 2,3,....
(Los nmeros que desde siempre reconocimos como naturales; con la definicin
que acabamos de adoptar; son efectiva y tranquilizadoramente nmeros naturales)
19

20

3) pues A A y
4) 0
Teorema

Un razonamiento similar nos lleva a:

En otras palabras n 0 n

Demostracin a cargo del lector.

Teorema de induccin completa

1) H

H) 2) 0 H
3) Si x H

Dem

De 2) y 3) H H

x 1 H

T) H

como H H

Observacin Al cumplirse que: A A

y adems y ser conjuntos inductivos

podemos afirmar que es el mnimo y es el mximo de los conjuntos inductivos. (Para

hablar de mximo y mnimo necesitamos previamente una relacin de orden que en este caso es la
inclusin amplia de conjuntos)
Nota Segn la teora que venimos desarrollando los naturales son tambin nmeros reales. Y por lo
tanto se pueden operar como tales.
Las operaciones que manejamos en (suma, producto, resta y divisin) siguen siendo operaciones
en ? Y en caso afirmativo que propiedades cumplen. Las mismas que en ?
Antes de contestar estas preguntas analicemos la situacin desde un punto de vista mas general.
Consideramos: ( A, ) una estructura algebraica; o sea un conjunto no vaco (A) con una operacin
definida en el (*) y B A ; B
Para que sea una operacin en B debe cumplirse que la restriccin de sobre B B siga siendo
una funcin. En otras palabras:
1) x y B
es una operacin en B es una funcin de B B B
2) x y es nico
Como B es un subconjunto de A y la condicin 2) se cumple para todos los elementos de A tenemos
entonces que: es una operacin en B x y B x, y B ya que la condicin 1) se verifica
automticamente.
Si es una operacin en B decimos que ( B, ) es una subestructura de ( A, ) .

20

21

Analicemos ahora siendo ( B, ) una subestructura de ( A, ) .la transmisin de propiedades de la

estructura madre a la subestructura.
Si ( A; ) es conmutativa x y y x x, y A
Como x, y B x, y A x y y x x, y B ( B, ) es conmutativa.
Tenemos entonces que si una estructura es conmutativa todas sus subestructuras tambin.
Anlogamente se prueba:
Si ( A, ) es asociativa ( B, ) es asociativa
Si ( A, ) tiene neutro n entonces:

( B, ) tiene neutro n B

Si ( A, ) tiene la propiedad de inverso entonces:

( B, ) cumple inverso x B x1 B
Consideraciones similares pueden realizarse sobre estructuras mas complejas (que tengan por
ejemplo mas de una operacin)
Teorema

a, b a b

Dem Consideramos H x N ; a x

1) H por definicin de H
2) 0 H ya que a 0 a por hiptesis
3) Si x H

x 1 H

Pues si x H a x
a x 1 ya que es inductivo
x 1 H

De 1) 2) y 3) aplicando el teorema de induccin completa tenemos que: H

Por hiptesis b b H a b
Nota Aplicando el teorema y la nota inmediata anterior podemos afirmar que + es una operacin en
que cumple asociativa, conmutativa, neutro (tngase en cuenta que 0 )
Tambin podemos afirmar que no cumple opuesto ya que: si
n , n 0 n 0 n
Un razonamiento similar al realizado recin nos lleva a que la diferencia no es una operacin en .
Sin embargo la condicin para que la resta de dos naturales sea un natural es muy sencilla y todos
la conocemos (minuendo mayor o igual que el sustraendo). Verifiquemos una vez ms que la teora
que venimos desarrollando coincide con lo que ya conocemos.

21

22

Lema

a

a0

a 1

Dem Consideramos H x ; x 0 x 1
1) H por definicin de H
2) 0 H

3) Si x H x 1 H

x 0 x 1 1 x 1 1 0 x 1 H

Ya que si x H
x 1 N x 1 1 x 1 1 x 1 H

De 1) 2) y 3) aplicando el teorema de induccin completa tenemos que H . En consecuencia

todos los naturales son elementos de H; y por lo tanto todo natural x es 0 x 1 Por lo tanto si
a y a 0 a 1
Teorema

a, b
a b
ab
Dem Sea H x ; x a a x
1) H por definicin de H
2) 0 H ya que a 0 a
3) Si x H x 1 H

x a x 1 a x 1 H

pues : si x H

a x 0 a x x 1 a x 1 H

a x N

a x 0
Lema a x 1 a ( x 1) N x 1 H

Estamos pues en condiciones de aplicar el teorema de induccin completa sobre el conjunto H

llegando a que H . Por lo tanto como b b H al cumplir adems que
b a

a b
22

23

Nota
Antes de encarar las dos operaciones restantes por necesidades tcnicas debemos analizar el
orden en . Un razonamiento similar al realizado en la nota anterior nos lleva a que < y ""
cumplen en todas las propiedades vistas en a excepcin de densidad. Probemos entonces que
es discreto.
Teorema

n / 0 n 1

Dem Consideramos H x / x 0 x 1
1) H Por definicin de H
2) 0 H

3) Si x H

x 1 H pues : si x H

x 0 x 1 1 1 x 1 H

x 1 x 1 1 x 1 H

Aplicando entonces el teorema de induccin completa tenemos que H y por lo tanto todo
natural esta en H. O sea todo natural o vale 0 o es mayor o igual que 1. En consecuencia no existen
naturales entre 0 y 1.
Teorema

H) a

Dem Por absurdo.

T) n ; a n a 1

Suponemos que n / a n a 1 0 n a 1

Como n a n a Habiendo encontrado entonces un natural entre 0 y 1; lo cual

contradice el teorema anterior.
Teorema

a, b N

Si a b a 1 b

Demostracin a cargo del lector.

Ejercicio Probar que el producto es una operacin en N que cumple: asociativa, conmutativa,
neutro, es distributiva respecto a la suma y no cumple la propiedad de inverso. Demostrar adems
que la divisin no es una operacin en .
Continuemos con el estudio del orden en los naturales. Antes algunas definiciones de carcter
general que nos son necesarias.

23

24

Definicin

Consideramos A ; A decimos que:

1) A est acotado superiormente k ; k a a A
k se denomina cota superior de A
2) A est acotado inferiormente h ; h a a A
h se dice cota inferior de A
3) A est acotado

A est acotado superior e inferiormente.

Ejemplos Investiguemos si los siguientes conjuntos estn o no acotados superior y/ inferiormente y

en caso afirmativo determinemos sus cotas.
1) B x / 1 x 7 -1 es cota inferior de B pues 1 x x B tambin lo es 2 por
el mismo motivo; es ms h ; h 1 h es cota inferior de B

k ; k 7 k es cota superior de B.
Por lo tanto el conjunto B est acotado tanto superior como inferiormente. En pocas palabras B est
acotado

cotas inferiores

cotas superiores
-1

2)

est acotado inferiormente por el cero y por todos los reales negativos
no est acotado superiormente.

El motivo por el cual no est acotado superiormente es que es un conjunto infinito (que tiene
infinitos elementos)?
Definicin

Consideramos: A , M y m Decimos que:

M a a A
1) M es mximo de A
M A
m a a A
2) m es mnimo de A
m A
24

25

Ejercicio
1) Demostrar que el mximo (mnimo) de un conjunto si existe es nico.
Si M es mximo de A anotamos M = mxA y si m es mnimo lo hacemos: m = mnA.
2) Probar: i) 1 es el mnimo de B ii) B no tiene mximo (sug. hacer una dem por
absurdo) iii) no tiene ni mximo ni mnimo.
Observacin
Los ejercicios anteriores nos llevan a que un conjunto est acotado superior
(inferiormente) no es condicin suficiente para que exista mximo (mnimo).

Teorema Principio de buena ordenacin

Todo conjunto de naturales no vaco tiene mnimo.

K
m N / m mn A
K
Dem
Si 0K Como K y n N n 0 0 k k K
Adems teniendo en cuenta que en este caso 0 K 0 mn K
Si 0K Consideramos H x / x k k K

0 1 ...

La idea consiste en probar que H tiene un ltimo elemento x0 y su siguiente x0 1 es el

mnimo de K.
Es inmediato que 0 H
Suponiendo que x H

x 1 H

K H K
Ahora por def de H K H
Por hiptesis K K K

El teorema de induccin completa nos llevara a H

K lo cual contradice la hiptesis

25

26

En consecuencia la proposicin x H

x 1 H es falsa x0 H ; x0 1 H

Probemos ahora que x0 1 mn K

Como x0 H

x0 k k K x0 1 k k K

Por otra parte: x0 1 H

x0 1 k k K

tomando en cuenta la proposicin subrayada

anteriormente tenemos que: k0 K ; x0 1 k0 x0 1 K

De ambas proposiciones subrayadas concluimos que x0 1 es el mnimo de K.
Teorema
Todo conjunto de naturales no vaco y acotado superiormente tiene mximo.
Demostracin a cargo del lector. Le sugerimos tomar el conjunto de las cotas superiores naturales;
demostrar que este conjunto tiene mnimo y que este mnimo es el mximo que buscamos.
METODO DE INDUCCIN COMPLETA
Entendemos por induccin al proceso que nos conduce de una proposicin particular a una general.
Proceso inverso de la deduccin que nos lleva de lo general a lo particular. Veamos algunos
ejemplos:
Ejemplo 1
Observemos que:

1 3 4 22
1 3 5 9 32
1 3 5 7 16 42
1 3 5 7 9 25 52
Parece que:

1 3 5 7 ......... (2n 1) n2 n
Hemos hecho una induccin. De algunos casos particulares (cuatro) hemos llegado a
una proposicin gral.
Ejemplo 2
Consideramos f : ; f ( x) x 2 x 41
Observemos que f (0) 41, f (1) 43 , f (2) 47 , f (3) 53 ,
y 41, 43, 47 y 53 son primos.
Parece que f (n) es primo n
26

27

Calculemos ahora f (41) (41)2 41 41 1763 Pero 1763 no es primo ya que es divisible entre
41 y entre 43.Por lo tanto la conclusin a la cual llegamos en el ejemplo 2 es falsa.
Queda claro entonces que el que una proposicin sea vlida para algunos casos particulares; ello no
implica necesariamente que lo sea en general; pero tampoco necesariamente falsa. Veremos mas
adelante que la conclusin del ejemplo 1 es vlida.
Es innecesario resaltar la importancia que tendra el disponer de un procedimiento de induccin que
nos lleve a conclusiones siempre verdaderas.

Ejemplo 3
Disponemos de 10.000 fichas de domin con las cuales formar una fila. Cmo debemos
proceder para tener la certeza de que se caern todas.

1 2 3 4 ............................................h h+1.......................................

Observemos que saber que se cayeron las primeras cuatro fichas no implica que necesariamente se
cayeron todas. Es razonable afirmar que si:
1) Se cae la ficha 1
2) Las fichas estn dispuestas de tal manera que si se
cae una cualquiera h necesariamente se cae la
siguiente h 1
Entonces se caern todas las fichas.
Tngase en cuenta que si falla cualquiera de las dos condiciones no necesariamente se caern todas
las fichas.
Por otra parte observemos que si sustituimos la condicin 1) por 1) Se cae la ficha 5 llegaramos a
la conclusin de que se caen todas a partir de la 5.
En este ltimo ejemplo entr en juego una condicin (la 2)) que no lo haba hecho en los ejemplos
anteriores. Intentaremos a continuacin formalizar esta idea.
Teorema Principio de Induccin Completa.

P una proposicin referida a los naturales

H) 1) P(k ) V (La prop. P es verdadera para un natural en particular k )

2) Si P(h) V P(h 1) V
h ; h k

T) P(n) V

n N ; n k
27

28

Dem Consideramos H x / P( x k ) V
1) 0 H

pues P(0 k ) P(k ) V

2) Si x H

x 1 H

Ya que si x H

P( x k ) V

H )2)

P( x k 1) V

x 1 H

De 1) y 2) aplicando el teorema de I.C. tenemos H

Ahora n ; n k n k n k H P(n k k ) P(n) V n ; n k
Ejemplo
Demostrar que: 1 3 5 ..... 2n 1 n2 n ; n 1
1) La proposicin es verdadera para n = 1

Efectivamente pues: 1 12

El primer miembro al ser una suma y coincidir el primer y el ltimo termino asumimos que tiene un
solo sumando; el 1.

1 3 5 ....... 2h 1 h2

2) H) La proposicin es verdadera para n = h

T) La proposicin es verdadera para n h 1

1 3 5 ........ 2h 1 2h 1 (h 1)2

1
3 5
..... 2h
1 2h 1 h2 2h 1 (h 1)2
h2

De 1) y 2) por el principio de induccin completa tenemos que la proposicin es verdadera para

todo natural mayor o igual que 1.
En otras palabras: 1 3 5 ..... 2n 1 n2

n ; n 1

NMERO ENTERO

Definicin
Denominamos conjunto de los nmeros enteros (anotamos ) al conjunto formado por
los naturales y sus opuestos.
x / x x
Observacin
Teorema

1) a b
a, b
2) a.b
28

29

Dem:

a b a b
Si a b
a.b a.b

Si a b

Si b como b b
Llamemos n b b n con n .
Entonces a b a n
Cuando a n a b a n a b
Cuando a n n a a b a n (n a)

Por otra parte: a.b a.(n) a.n

Si a b

como a.n a.b a.n

Anlogo.

Si a b Denominamos m a y n b

En este caso m, n

a b m n (m n) como m n a b
a.b m.n N a.b
Nota El teorema anterior junto con alguna de las observaciones realizadas en nmero natural nos
permiten afirmar:
1) La suma es una operacin en que cumple:
i) Asociativa
ii) Conmutativa
iii) Neutro ( 0 0 )
iv) Opuesto

a a

Si a

a a

En consecuencia la diferencia tambin es una operacin en .

2) El producto es una operacin en que verifica:

i) Asociativa
ii) Conmutativa
iii) Distributiva respecto a +
iv) Neutro. 1 1
No cumple la propiedad de inverso. Si a / a 2 0 1a 1 1a pues entre
0 y 1 no hay naturales ni opuestos de naturales. Un razonamiento similar nos lleva a que la
divisin no es una operacin en Z.
29

30

3) El orden en verifica todas las propiedades vistas en a excepcin de la densidad.

NMERO RACIONAL

Definicin
Llamamos conjunto de los nmeros racionales (anotamos )

x ; x

p
q

con p, q q 0

En otras palabras llamamos racionales al conjunto de las fracciones; entendiendo por fraccin el
resultado obtenido de realizar el cociente entre dos enteros.
Observacin
Teorema

1) a b
a, b
2) a.b
Dem

p
p'
a b q q'

a Q a qp ; p y q *

p'
*
b Q b q ' ; p ' y q '

a.b p . p '
q
q'

pq ' qp '
qq '

a b

p. p '
q .q '

a.b

Ejercicio
El teorema recin demostrado nos permite afirmar que + y . son operaciones en .
Analizar las propiedades que estas cumplen; as como tambin el comportamiento de <
y "" . En otras palabras: analizar (Q,,., )

30

31

COMPLETITUD
Ejercicio Completar la siguiente tabla indicando si las propiedades mencionadas se
cumplen o n en cada una de las estructuras mencionadas.

, ,,

Propiedades
Suma
Conmutativa
Asociativa
Neutro
Opuesto
Producto
Conmutativa
Asociativa
Neutro
Inverso
Distributiva resp. a +
< y

, ,,

, ,,

, ,,

///////////////////// ///////////////////// /////////////////////// ///////////////////////

///////////////////// //////////////////// /////////////////////

///////////////////////

//////////////////// //////////////////// ////////////////////// ///////////////////////

Monotona de la +
Monotona del
Densidad

En el ejercicio inmediato anterior seguramente el lector no encontr diferencias en cuanto a los

aspectos ya estudiados entre (, ,, ) y (, ,, ).
Sin embargo, al comenzar el tema,
planteamos un problema no resoluble en los racionales medir la diagonal de un cuadrado de lado 1)
como motivo para introducir a los nmeros reales. Lo cual nos conduce a la conclusin de que la
teora est sin terminar. En otras palabras; exclusivamente de los dos primeros axiomas no se
desprende ninguna diferencia entre. (, ,, ) y (, ,, ). Nos falta un tercer axioma que
marcar la diferencia entre ambas estructuras. Antes de llegar a l necesitamos algunas definiciones.
Definicin
Consideramos A , L, . Diremos que:
1) L es extremo superior de A L mn k / k a
2) es extremo inferior de A mx h / h a

a A

a A

Dicho de otra forma el extremo superior es la menor de las cotas superiores, as como el extremo
inferior es la mayor de las cotas inferiores.
31

32

Por ser el extremo superior (inf) el mnimo (mx) de un conjunto este es nico y en consecuencia
estamos autorizados a hablar de la menor (mayor) de las cotas superiores (inf). Anotamos:

L ext A y ext A
Ejercicios
I) Analizar si los siguientes conjuntos estn o no acotados, si tienen mximo, mnimo,
extremo superior e inferior. En caso afirmativo, indicar cules son.

A1 x / 3 x 8 A2 x / x 3 A3 A1

A4 A2

A5 x / x 2 1n , n * A6 x / x 3 1n , n *

A7 x / x

( 1)n
n

, n *

A8 7, 1, 6

A9 x / x 1 (1) n n , n *

II) Sabiendo que A extA 3 Indicar si las siguientes proposiciones son

verdaderas, falsas o los datos son insuficientes para contestar. Justifique sus respuestas.
1) Todo nmero mayor que 3 es cota superior de A.
2) 2,98 A
3) x0 A / x0 2,98
4)
5)
6)
7)

Todo elemento de A es menor o igual a 3.

3 A
A
Si max A max A 3

III) Analizar el valor de verdad de las siguientes proposiciones:

1) Todo conjunto de reales no vaci y acotado superiormente tiene mximo.
2) Todo conjunto de naturales no vaci y acotado superiormente tiene mximo.
3) Todo conjunto de naturales no vaci tiene extremo inferior.
4) Si M max A necesariamente M extA .
5) Si M extA necesariamente M max A .
V) Sabiendo que A , A , L cota superior de A y cota inferior de A . Probar:
1) L extA 0 x0 A / x0 L
2) ext A 0 x1 A / x1
Enunciaremos ahora el tercer y ltimo axioma; el cual marcar la diferencia entre
, ,, y , ,, que como vimos hasta el momento son estructuras aparentemente
32

33

idnticas. Este axioma nos permitir entre muchas otras cosas resolver el problema de la medida
de la diagonal de un cuadrado de lado 1.
Axioma 3

(Axioma de completitud)

Todo conjunto de reales no vaco y acotado superiormente tiene extremo superior.

A
A
A acotado superiormente

extA

Nota :
Volvamos ahora a intentar encontrar un nmero cuyo cuadrado sea 2.
Para ello consideramos A x / x 2 2 probaremos:

I) ext A al cual llamaremos L

II) L2 2
I) Para este objetivo parcial utilizaremos el axioma de completitud, por lo cual debemos
comprobar que:
i) A lo cual es cierto por la propia definicin del conjunto A

1
1 A
2
1 2

iii) A acotado superiormente.

ii) A pues

x A

x2 2 x2 4 x2 4 0

( x 2)( x 2) 0
como x A x
x2

x A

x20
x 2

2 es cota superior de A

De i) ii) iii) por el axioma de completitud podemos afirmar que extA al que llamamos L.
II) Intentaremos aqu una demostracin por absurdo; suponemos que: L2 2 .
Tenemos pues dos posibles situaciones:

Caso 1 L2 2 Buscamos un nmero mayor que L L que pertenezca al conjunto A

para as producir la contradiccin.
Ahora L A

2 L2 2L 2 2
33

34

Recordemos que nuestra intencin es encontrar un 0 tal que L A o lo que es equivalente:

hallar un 0 tal que L L2 2L 2 2 . Con la intencin de "despejar" nos conviene
2

que no aparezca un trmino de segundo grado en .

Ahora si nos limitamos a elegir 0 1 tenemos que

2 L2 2L 2 L2 2L L2 2L 1
Y L2 2 L 1 2

2 L2
(Justifique que 2 L 1 0)
2L 1
2 L2
0
2L 1

Como supusimos que L2 2

2 L2
,1
Por densidad de los reales podemos afirmar que 0 / 0 0 min
2L 1
2 L2
L 0 L 2 L 0 0 L 2 L 0 0 L 0 2 L 1 L
2L 1 2
2L 1
L 0 A

As que L2 2
Absurdo
pero L 0 L extA

Caso 2 L2 2

En este caso para generar la contradiccin buscamos un nmero menor

que L L que sea cota superior de A .

Teniendo en cuenta que todo real positivo cuyo cuadrado sea mayor que 2 es cota superior de .
buscamos 0 / L 2
2

Si k 2 2 como 2 x 2 x A x 2 k 2 x 2 k 2 ( x k ) ( x k ) 0 x k x A

Ahora L 2 L2 2L 2 2
2

Nuevamente con la intencin de "despejar" es conveniente que no aparezcan trminos de

segundo grado en .
Como L2 2 L 2 L2 2 L y L2 2L 2

Ya que en este caso supusimos que L2 2

L2 2
2L

L2 2
L2 2
0 1 / 0 1
2L
2L
34

35

Entonces L 1 L2 2L1 12 L 2L1 2 L 1 es cota superior de A.

2

Pero L 1 L extA lo cual es contradictorio.

Por lo tanto L2 2 ya que antes probamos que L2 2 podemos afirmar que L2 2 .
Considerando que r / r 2 2 L
Hemos probado la existencia de un real no racional. A los reales no racionales los
denominaremos irracionales.

Nota 1 Considerando A x / x 2 2 de manera similar a lo realizado con A es posible

demostrar: i) A

ii) A

iii) A acotado superiormente.

Pero extA en pues si existiese, su cuadrado sera 2 y como vimos anteriormente no existe
ningn racional cuyo cuadrado sea 2.

Tenemos pues un conjunto de racionales no vaco y acotado superiormente que no tiene extremo
superior ( en ). Podemos afirmar entonces que la diferencia entre las estructuras de los reales
y de los racionales es que la primera es un cuerpo ordenado y completo, y la segunda es tambin
un cuerpo ordenado pero no completo .

, ,, es completo? Y

, ,, ?

Nota 2 Es posible demostrar que el sistema axiomtico presentado es consistente y categrico; en

otras palabras existe efectivamente un modelo que cumple con los 3 axiomas presentados, lo cual
asegura la consistencia, y cualquier cuerpo ordenado y completo es el de los nmeros reales (salvo
isomorfismos).
Lo primero lo discutiremos posteriormente, la categoricidad creemos escapa en este momento a
nuestras posibilidades.
Veamos ahora algunas otras consecuencias de la completitud de los nmeros reales.
Teorema Todo conjunto de reales no vaco y acotado inferiormente tiene extremo inferior.

A
extA
A acotado inferiormente
Dem.
Consideramos C x / x a ;a A . Intentaremos demostrar:
35

36

I) ext C

al que llamaremos .

II) ext A
I) Para este primer objetivo utilizaremos el axioma de completitud; para lo cual necesitamos probar:
i) C

Lo cual es cierto por la propia definicin de C

ii) C

por hipotesis a0 A a0 C C

iii) C acotado superiormente

A est acotado inferiormente por hip. k ; k a
k a

a C

a A

k es cota superior de C.

De i) ii) iii) por el axioma de completitud se desprende que ext C al cual denominamos
II) Queremos probar ahora que - es el extremo inferior de A; o sea que
= mx h / h cota inferior de A para lo cual hay que
demostrar:
1) cota inferior de A.

2) h

1) ext C es cota superior de C a

h cota inferior de A.

a C a a A

Entonces es cota inferior de A.

2) Intentaremos aqu una demostracin por absurdo. Suponemos que h cota inferior de A
tal que h
Si h es cota inferior de A h a a A h a
de C. Pero si h

a C h es cota superior

h . Tendramos una cota superior de C h menor que el ext C ,

lo cual es absurdo.
De 1) y 2) tenemos que ext A

Teorema
El conjunto de los nmeros naturales no est acotado superiormente.
Dem: (por abs) Suponemos que est acotado superiormente como adems sabemos que

ext

Ahora 1 que es menor que no es cota superior de n0 / n0 1

n0 1

Pero n0 1 y ext lo cual es absurdo.

36

37

Observacin: Como consecuencia de este resultado no est acotado ni superior ni inferiormente.

Teniendo en cuenta que resulta que tampoco est acotado superior ni inferiormente.
Teorema (de Arquimedes)
H) a,b

T) n0 / n0 a b

Dem Como no est acotado superiormente

b
b
n0 / n0
n0 / n0 a b
a
a
Discutiremos a continuacin la "distribucin" de naturales, enteros, racionales e irracionales dentro
de los reales. Lo primero que demostraremos es que todo real se encuentra comprendido entre dos
enteros consecutivos. Ms concretamente:
Teorema a y es nico z / z a z 1
Dem. Si a 0 Consideramos H x / x a Teniendo en cuenta que

H , H 0 H y que H est acotado superiormente en

(por cualquier natural mayor que a) buena ordenacin mediante podemos
afirmar que mx H al que llamaremos n.

nH n a

n 1 H n 1 a
Por lo tanto si a 0 n / n a n Siendo entonces n el entero
Si n mxH

buscado.

Si a 0 y adems a el entero buscado es el propio a. En caso de que a

podemos afirmar que a . Adems a 0 y por lo demostrado
anteriormente n / n a n 1 como a
n / n a n 1 n 1 a n
Por lo tanto en este caso tambin z z n 1 / z a z 1
La demostracin de la unicidad la dejamos a cargo del lector.
Definicin

Sea x ; llamamos parte entera de x (anotamos x ) al entero z

tal que z x z 1

37

38

7
Ej 3, 2 1 , 2 2
2

El teorema demostrado anteriormente me asegura que todo real tiene parte entera.
Teorema Densidad de en
H) a,b ; a b

T) r / a r b

Dem a b b a

n N / n( b a ) 1

n N / nb na 1

Llamando z na tenemos que z na z 1 De donde resaltamos na z 1

Por otra parte z na z na z 1 z z 1 na

z 1 na 1
nb na z 1 na nb z 1
como nb na 1
De ambas desigualdades subrayadas tenemos na z 1 nb a
Por lo tanto r

z 1
/
n

z 1
b
n

ar b

Ejercicios 1-Probar:

1) x y

2) x y
y

x
3) Si adems x 0 x.y

y

2- En el ejercicio anterior nos piden demostrar que el resultado de operar un racional y un

irracional es irracional. Qu ocurre si operamos dos irracionales?

Teorema Densidad de en
H) a,b a b

T) c / a c b

Dem a b a 2 b 2 r / a 2 r b 2 a r 2 b
Como r es racional y

2 es irracional

c r 2 tal que: a c b

38

39

Observacin: Utilizando reiteradamente la densidad de en y de en podemos

afirmar que en un intervalo cualesquiera de reales hay infinitos racionales e irracionales. Lo cual
implica que entre dos racionales hay infinitos irracionales y entre dos irracionales hay infinitos
racionales.
En otro captulo veremos otras consecuencias de la completitud de los reales vinculadas a las
funciones exponenciales y sus inversas las logartmicas.

Bibliografa consultada para la elaboracin de este material:

Clculus volumen 1 - Tom M. Apostol - Reverte.

Nmero Real, Rodolfo Louro C.E.I.
lgebra I - Armando Rojo - El Ateneo.
Notas de lgebra I - Daniel Siberio - C.E.I.PA.

I.P.A. - Abril del 2010 -

Responsable: Daniel Siberio.

39