MA 150. Prof A. Garrido. Versin preliminar Jun 09 . Material por revisar y mejorar.

Elaborado en consonancia con el

material de texto de Duarte y Cambronero

PRINCIPIO DEL BUEN ORDEN : demostracin corregida.

DEF: Dado A_IN, se dice que n
0
es el primer elemento de A sii n
0
es elemento mnimo de A bajo la
relacin s de IR.
PROP: Si A _ IN, posee primer elemento, este es nico.
DEM: Tarea.

LEMA: PRINCIPIO DEL BUEN ORDEN
Todo subconjunto no vaco de IN posee un (nico) primer elemento.

DEM:
Sea A _ IN t.q. A =C hqd A posee primer elemento.
Dem. por contradiccin.

Supongamos que (1) A no tiene primer elemento es verdadera.

Sea B:= {neIN / neA}, se demuestra que B=IN y, por lo tanto, A=C, lo cual es una contradiccin
con la hiptesis A =C. Por lo tanto, A s tiene primer elemento.
Dem mediante induccin completa, de que B= IN,:
i) PASO BASE: Se cumple que 0 eB [ 0 eA], pues si no, 0 sera elemento mnimo de A,
pues n

eIN, 0 s n.
ii) PASO INDUCTIVO: Sea n e IN t.q. ( k s n, keB) h.q.d. n+1eB [ n+1 eA] .
Por contradiccin: Al igual que con 0 en el paso base, se demuestra que si n+1 no estuviera
en B, entonces, n+1 sera primer elemento de A. En efecto, si n+1eB fuera falso (2),
entonces se cumplira que:
(3) n+1eA Def de B:=
IN
A
(4) ( k s n, keA) Hiptesis de induccin con keB keA.
(5) keA, n < k Tomar contrapositiva en (3):
( k s n, keA)
( k eIN, ks n = keA)
(6) keA, n+1 k Prop. de IN - #11.3 en este material.
(7) n+1 es elemento mnimo de A De (2), (5) y def. de elemento mnimo.
(7) contradice (1)
Por lo tanto, n+1eB es verdadero.
CIERRE: De i) y ii) mediante el Principio de Induccin completa se concluye que B=IN.

Se concluye, por definicin de B, que A=C, lo cual es una contradiccin con la hiptesis A =C.
Por lo tanto, (1) es falsa y se cumple que A tiene primer elemento.
MA 150. Prof A. Garrido. Versin preliminar Jun 09 . Material por revisar y mejorar. Elaborado en consonancia con el
material de texto de Duarte y Cambronero

DEFINICIN Y PROPIEDADES DE LOS NMEROS ENTEROS
Y DE LOS NMEROS RACIONALES.
Definicin: A partir de IN, se definen los siguientes subconjuntos de IR:
- El conjunto IN : = -n t.q. n IN
- El conjunto de los nmeros enteros: Z := IN | (-IN).
- El conjunto de los nmeros racionales: Q:= p/q t.q. (p,q) Z Z
*
.
Queda como ejercicio el demostrar propiedades de estos conjuntos y de las operaciones definidas sobre
IR: +,*, -, /. Por ejemplo:

EJERCICIOS ADICIONALES:
1) Demuestre que: n, m IN , n m = m-n IN.

2) Demuestre que:
a) Z cumple las siguientes propiedades
i) Z es inductivo
ii) ne IN, (n-1) e IN
b) Si A es subconjunto de Z y A satisface las propiedades i) y ii) , entonces A = Z.

3) Demuestre que en Q, IN no es acotado superiormente para la relacin s. Es decir: xeQ - neIN (x
s n).

4) Demuestre que:}
a) Al igual que IN, Z tampoco es denso, pero Q s lo es :
a, b Q ( c Q t. q. a < c < b.)
b) IN no es cerrado para la resta, pero Z y Q s lo son.
c) IN y Z no son cerrados para la divisin, pero Q s lo es.
d) La ecuacin x
2
= 2 no tiene solucin en Q. Dem: ver Bartle, o tambin material de Lgica de
Kolman y Busby .
Nota: La existencia de la riz cuadrada de 2 requiere incorporar a la estructura de IR como campo
ordenado, el Axioma del Extremo Superior (o Axioma de Completitud); as, x
2
=2 no tiene solucin
en Q pero s la tiene en IR\Q. Se demuestra que se IR
+
! x IR
+
(x
2
= s) ; dicho valor s es la raz
cuadrada positiva de s y se denota por s .

MA 150. Prof A. Garrido. Versin preliminar Jun 09 . Material por revisar y mejorar. Elaborado en consonancia con el
material de texto de Duarte y Cambronero

CONJUNTOS FINITOS Y DE CONJUNTOS INFINITOS.

LOS CONJUNTOS S
n
de los nmeros naturales de 1 a n.
DEF: Se define la siguiente sucesin de conjuntos de nmeros reales f: IN (IN)
i) S
0
:= C
ii) neIN S
n+1
:= S
n
{n+1}
ACTIVIDAD: Calcule S
0
, S
1
, S
2
, , S
6
,..

Conviene formalizar las siguientes propiedades y demostrarlas para justificar su posterior
aplicacin:

PROP. 1: neIN, S
n
= { keIN t.q. 1 s k s n}.
Dem: ejercicio.

PROP. 2: neIN*, S
n
\ { n} = S
n-1
.
Dem: ejercicio.

PROP. 3: neIN, S
n
= C n = 0
Dem: ejercicio.

PROP.4: Para neIN, son equivalentes las siguientes proposiciones:
i) S
n
= C
ii) n 1
iii) n e S
n

Dem: ejercicio.
Notacin: Para neIN*, se define 1,, n := { keIN t.q. 1 s k s n} = S
n
.

LA RELACIN DE EQUIPOTENCIA Y DEFINICIN DE CONJUNTOS FINITOS CON nIN elementos.

DEF: Dados A, B conjuntos, se dice que A es equipotente a B (A~B) sii - f: AB funcin
biyectiva.

PROP.5 : La relacin de equipotencia es una relacin de equivalencia.
Este es un ejercicio del captulo de relaciones. Pregunta: Cmo se justifica que C ~ C?, y para A
= C?. Cul es la clase de equivalencia de C?, cmo se demuestra?

MA 150. Prof A. Garrido. Versin preliminar Jun 09 . Material por revisar y mejorar. Elaborado en consonancia con el
material de texto de Duarte y Cambronero

PROP.6: A conjunto ( A ~ C = A = C )
Dem. del sentido =: Sea A conjunto hqd. A = C (A ~C ).
Supngase que A = C es verdadero, hqd (C ~A) tambin lo es.
Por contradiccin: Suponga que - f: A C funcin biyectiva.
Como A = C, se cumple que -aeA.
Como f es funcin, se cumple entonces que - xeC ( f(a)=x), lo cual contradice la
proposicin verdadera x (xeC).
. No se cumple que A sea equipotente al conjunto vaco. QED.
Dem. de =: Si A es el conjunto vaco, se cumple que A es equipotente con S
0
pues S
0
es tambin
el conjunto vaco y todo conjunto es equipotente consigo mismo.

Cmo definir A es finito? Dado neIN, cmo definir que A tiene n elementos? Qu es
contar? Def: Se dice que A conjunto tiene n elementos sii existe una funcin biyectiva de S
n
en A .
Cmo asegurar que una tal biyeccin si existe, es con un nico n?

Los siguientes lemas, propiedades y teoremas permiten llegar a demostrar la unicidad de la
cantidad de elementos en un conjunto finito.

LEMA 5.2.5 DyC:
Dados A conjunto y a,b e A se cumple que A \ {a} ~ A \ { b}
Dem: Sugerencia: Sea A, conjunto, con a,b e A; se cumple que A= C. A partir de la funcin id
A

(biyeccin de A en A que justifica A equipotente a s mismo) definir una funcin biyectiva de A\{a}
en A\{b}. Complete la demostracin.

LEMA 5.2.6 DyC:
Dados A , B conjuntos, ae A, beB, se cumple que A ~ B A \ {a} ~ B \ {b}
Dem: Sean A, B conjuntos, con elementos ae A, beB, tales que A ~ B; se cumple que - f: AB
funcin biyectiva. A partir de la funcin f construir una funcin biyectiva de A\{a} en B\{b}.
Demostrar.

LEMA 5.2.7DyC:
Dado n eIN*, A conjunto, ae A, se cumple que A ~ S
n
A \ {a} ~ S
n-1
Dem: Ejercicio.

PROP.7: A conjunto, A ~ S
1
-aeA (A = {a} )
Dem: Sea A conjunto hqd. A ~ S
1
-aeA (A = {a} )
Supngase que (1) A ~ S
1
es verdadero hqd -aeA (A = {a} ) tambin es verdadero.
Como A ~ S
1
, se cumple que:
(2) - f: A S
1
funcin biyectiva.
MA 150. Prof A. Garrido. Versin preliminar Jun 09 . Material por revisar y mejorar. Elaborado en consonancia con el
material de texto de Duarte y Cambronero

Recordemos que, de la definicin de S
1
se obtiene que (3) S
1
= {1}.
Se cumple, entonces, por ser f sobreyectiva, (4) -aeA f(a) = 1.
Ahora falta demostrar que, A _ {a} - pues el otro sentido {a} _ A se cumple por definicin del
elemento a.
Dem. por contradiccin:
Supngase que - aeA (a = a), entonces, por ser f funcin e inyectiva, - ye {1} f(a) = y ^ y= 1, lo
que conduce a - ye S
1,
y= 1, lo cual contradice la proposicin verdadera S
1
= {1 } que equivale a
xU ( xS
1
= x=1).
Por lo tanto, se cumple que A _ {a}, y A={a}. QED.

COROLARIO: A conjunto, ( A ~ S
n
para algn n1 A =O )
Dem.

PROP. 8. Ejercicio DyC: n, m eIN S
n
~ S
m
n = m
Dem:
Enfoque: hqd neIN [m eIN S
n
~ S
m
n=m]
Propiedad P(n): [m eIN S
n
~S
m
n=m]
Dem por induccin sobre n.
PASO BASE: hqd. P(0) es verdadera. P(0): [m eIN S
0
~S
m
0 = m] [ m eIN C ~S
m
0 = m]
Dem: Sea m eIN hqd. (C ~ S
m
) 0 = m
Dem: Si (C ~ S
m
) es verdadero, entonces, se cumple que S
m
= C (PROP.6, con ~
simtrica) y, por lo tanto m = 0 (PROP.3)
PASO INDUCTIVO: Sea nIN t.q. P(n) es verdadera [m eIN S
n
~S
m
n=m], hqd P(n+1) es
verdadera, con P(n+1): [m eIN S
n+1
~S
m
n+1=m]
Dem: Sea m eIN t.q. S
n+1
~ S
m
es verdadera, hqd n+1=m es verdadera.
Se cumple que:
1) Existe f: S
m
S
n+1
funcin biyectiva (Hiptesis S
n+1
~ S
m
y definicin de ~ )
2) n+1 1 Pues se cumple nIN y ( nIN =n+1 1).
3) n+1e S
n+1
De 2) y PROP.4.
4) - xeS
m ,
f(x) = n+1 De 3), por ser f sobreyectiva.
5) S
m
= C De 4)
6) m e S
m
. m1 De 5 y PROP.4.
7) S
m
\ {m} ~ S
n
De 2), hiptesis S
n+1
~ S
m
, simetra de ~, 6) y LEMA 5.2.7.
8) S
m-1
~ S
n
(De 6) y PROP 2. para m 1)
9) m-1 = n Hiptesis de induccin
10) m = n+1 De 9) y prop. de IR.
MA 150. Prof A. Garrido. Versin preliminar Jun 09 . Material por revisar y mejorar. Elaborado en consonancia con el
material de texto de Duarte y Cambronero

QED.

Corolario: Unicidad de la cardinalidad de un conjunto finito.
Sea A conjunto, n, m nmeros naturales, se cumple que:
Si A es equipotente con S
n,
y m=n entonces A no es equipotente con S
m
.

DEF: CONJUNTO FINITO y SU CARDINALIDAD.. Un conjunto A se le dice ser finito sii es equipotente a
algn S
n
con neIN. En tal caso el n es nico y se dice que A tiene n elementos, o, de manera equivalente,
se dice: la cardinalidad de A es n, lo que se escribe |A|= n.

ACTIVIDAD: Expresar las Props 1-9 en trminos de cardinalidad o cantidad de elementos de conjuntos
finitos.

TEOREMA 5.1 DyC.
A _ IR (A finito y no vaco A posee un elemento mximo)
DEM: hqd neIN* [ A _ IR (|A|=n A posee un elemento mximo) ]
Ver DyC.

TEOREMA 5.1 DyC.
A _ IR (A finito y no vaco A posee un elemento mnimo)
Dem: TAREA

EJERCICIO 17.

DEF. 5.2.4 CONJUNTO INFINITO. Se dice que un conjunto A es infinito si no es finito.

TEOREMA 5.2 DyC
IN es infinito
Dem: Por contrarecproca de T.5.1.DyC, pues IN no posee elemento mximo (Prop).

EJERCICIO 24 DyC: Si A y B son finitos y equipotentes, entonces, A y B tienen la misma cantidad de
elementos, |A|=|B|.

EJERCICIO 25 DyC. Si A es tal que para algn neIN existe una funcin inyectiva f de A en S
n
, entonces A es
finito y |A|s n .
Sugerencia: Considere el primer elemento del conjunto B:={ neIN / - f:A S
n
inyectiva}, llammoslo n
*
,
qu debe ser n
*
?

EJERCICIOS 26, 27, 28, 29 DyC.

MA 150. Prof A. Garrido. Versin preliminar Jun 09 . Material por revisar y mejorar. Elaborado en consonancia con el
material de texto de Duarte y Cambronero

EJERCICIOS ADICIONALES:
Demuestre que dados A, B conjuntos finitos, se cumple que:
a) A|B =O = |A|B|= |A|+|B|.
b) |A | B|= |A|+|B|- |A | B|
c) |A B|= |A||B|
EJERCICIO 9 DyC.
Demuestre que si A conjunto, es finito, entonces A) tambin es finito, con | A) |= 2
|A|

EJERCICIO ADICIONAL. Demuestre que si A es un conjunto finito, entonces no existe biyeccin alguna de A
con algn subconjunto propio de A.
Corolario: Ni IN, ni Z, ni Q, ni IR son finitos.
EJERCICIO ADICIONAL
1

Sea A= 1, , n. Demuestre que existe una biyeccin entre A) y el producto cartesiano X
n
,
donde X es el conjunto de dos elementos X = 0, 1.

Dado A conjunto, neIN*. Si |A| =n entonces A se puede escribir como A = a
1
, . , a
n
, con a
i
= a
j
si i = j,
para i, j en 1, , n.

Dem: En efecto, sean A conjunto, neIN*. Si |A| =n, entonces - f: S
n
A funcin t.q.
A = { f(i), ieS
n
} . i, jeS
n
( i = j f(i) = f(j) ).
(Justifique).
Adems, para neIN*, por definicin 1, , n = S
n
. Entonces, para cada i en 1, , n , se puede definir, de
manera unvoca a
i :
= f(i), y se cumple que:
A = {a
i
, ie1, , n . i, je 1, , n ( i = j a
i
= a
j
).
Finalmente, definimos la notacin a
1
, . , a
n
:= { a
i
, ie1, , n y se obtiene que A se puede escribir
como:
A = a
1
, . , a
n
con a
i
= a
j
si i = j, para todo i, j en 1, , n.

OPTATIVO: DEF: CONJUNTOS INFINITO-NUMERABLES. Pregunta: cules relaciones de equipotencia se dan entre
IN, IN
*
, Z, Z
+
, Q, IR, el conjunto de los nmeros pares, ININ, ZZ
*
, QQ?




1
Munkres, J. Topologa, Pearson Prentice Hall