Академический Документы
Профессиональный Документы
Культура Документы
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
L2
p 2
q
p2
q2
p 2 2q 2
p 2 es par
p
q
p es par
q 2 2t 2
p 2t ; t
q 2 es par
p 2 4t 2
q es par
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.
a b b a a, b
S 3 ) Neutro 0 ; a 0 0 a a
S 4 ) Opuesto
P2 ) Conmutativa
P4 ) Inverso
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
A A
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
b
b
b
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.
Dem2)
Supongamos que 1' ; a.1' 1'.a a a
Entonces
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
a.0 0 a
Dem:
a0
a.b 0
b0
Dem:
Si a = 0
la proposicin es verdadera
Si a 0
Dem: 1)
1) c ; a c b
T)
2) c es nico
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
a, b
H)
b0
1) c ; a c.b
T)
2) c es nico
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)
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
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)
1
a
segn
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?
ORDEN
A continuacin intentaremos introducir en (, ,) una relacin de orden estricto total (<) y una
relacin de orden amplio total
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:
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)
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
(Monotona de la suma)
2)
ab
ac bd
cd
3)
ab
a.c b.c
c
4)
ab
a.c b.c
c
11
12
Por hiptesis a b b a
Ax2
Como (b a).c bc ac
(b a).c
a.c b.c
a.b
2) a b
a.b
3) a b
a.b
Dem 2)
b
Ax2
como a
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
a 2 b2
14
x 23
Por lo tanto Si x / x 23
ii) 3x 2 0 x 23
Entonces
13 .3x 13 .(2)
Sii 23
13 .3x 13 .(2)
x 32
En consecuencia Siii x / x 23
2
3
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. (+)
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
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
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
ab
a b
Resolucin en , ,, de ax 2 bx c 0
a 0
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
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.
b
2a
b
2a
Probar que:
1)
b
a
c
a
2) f ( x) a.( x ).( x ) x
Adems
17
x1 / x1
x1 0 y x1 0
Entonces si a 0
Si a 0
Y que: x3 / x3
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) 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
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
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
Entonces x x x
Si x < 0
x x x
x x x x x x
x x x
y y y
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
2) Si x A x 1 A
Ejemplos es inductivo.
no lo es pues falla la primera condicin.
S es inductivo 0
Entonces 0,1,2,3,..... A A
Observaciones:
1) A A
20
3) pues A A y
4) 0
Teorema
En otras palabras n 0 n
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
20
21
( B, ) tiene neutro n B
( 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
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
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
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
T) n ; a n a 1
Suponemos que n / a n a 1 0 n a 1
a, b N
Si a b a 1 b
23
24
Definicin
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
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).
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 ...
x 1 H
K H K
Ahora por def de H K H
Por hiptesis K K K
25
26
En consecuencia la proposicin x H
x 1 H es falsa x0 H ; x0 1 H
x0 k k K x0 1 k k K
x0 1 k k K
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.
T) P(n) V
n N ; n k
27
28
Dem Consideramos H x / P( x k ) V
1) 0 H
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
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
1 3 5 ........ 2h 1 2h 1 (h 1)2
1
3 5
..... 2h
1 2h 1 h2 2h 1 (h 1)2
h2
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)
Si a b
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
30
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
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 *
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)
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:
1
1 A
2
1 2
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:
2 L2 2L 2 2
33
34
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
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
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
L2 2
2L
L2 2
L2 2
0 1 / 0 1
2L
2L
34
35
ii) A
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
, ,, ?
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
ii) C
por hipotesis a0 A a0 C C
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
h cota inferior de A.
a C a a A
a C h es cota superior
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
n0 1
37
T) n0 / n0 a b
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.
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
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
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
39