ARITMTICA TEORA DE CONJUNTOS

AO ACONTECIMIENTOS
S. XVII Isaac Newton en su libro La Aritmtica
Universal intenta dar un concepto de nmero.
!"# $ %! No obstante el concepto de con&unto naci' con
el concepto de a(rupaci'n en los albores de la
)umanidad* +ue sistemati,ado por primera ve,
por -eor(e .antor /!"# 0 %!1 desde
entonces )a pasado a +ormar el punto de
partida del estudio +ormal de la matem2tica.
Prof. Joseph Carlos Supo Mollocono 3%
Isaac
Newton
S. !"II #$%&
-eor(e
.antor
#$&'
Nace
4ernando
Saussure
TEORA DE CONJUNTOS
ARITMTICA TEORA DE CONJUNTOS
I. I. INTRODUCCI(N INTRODUCCI(N
La idea de con&unto se ad5uiere en los
comien,os de la vida* al mani+estarse una
de las virtudes primordiales del esp6ritu* la
di+erenciaci'n* se empie,a a percibir
distintamente los ob&etos del mundo
e7terior* 8 a tener conciencia de la propia
personalidad* ori(in2ndose estos conceptos
primarios* desarrollaremos a5u6 * en +orma
breve 8 e7pl6cita* lo 5ue suele llamarse
9eor6a Intuitiva de .on&untos* as6 como
de+iniciones 8 consecuencias 5ue derivan
inmediatamente de ellos 8 5ue servir2n
como pre2mbulo al desarrollo pro+undo de
la aritmtica. .omen,aremos destacando
el traba&o desarrollado por -. .antor* a
5uin con &usticia se le reconoce como
.reador o padre de la teor6a de
con&untos.
II. II. MAPA CONCEPTUA) MAPA CONCEPTUA)
III. III. CONCEPTOS PRE"IOS CONCEPTOS PRE"IOS
#. #. IDEA DE CONJUNTO IDEA DE CONJUNTO
:n matem2tica Con*un+o , Ele-en+o* son
conceptos primitivos 5ue no se de+inen 8 se
consideran conceptos +undamentales.
Intuitivamente* un Con*un+o es una colecci'n
o a(rupaci'n de ob&etos llamados Ele-en+os.
As6* por e&emplo; :l con&unto de vocales
estar2 +ormado por las letras a* e* i. o
8 u 5ue se llaman elementos del con&unto de
las vocales.
-eneralmente los con&untos se denotan por
letras ma8sculas A* <* .* etc. = los
elementos por letras minsculas u otros
s6mbolos* separados por comas 8 encerrados
entre llaves.
E*-..
Si llamamos A al con&unto de vocales*
entonces;
A > {a* e* i* o* u}
/. /. RE)ACI(N DE PERTENENCIA RE)ACI(N DE PERTENENCIA
:s un concepto primitivo 5ue relaciona los
elementos con los con&untos? es decir* si un
elemento est2 en un con&unto o +orma parte
de l* diremos 5ue per+enece a dic)o
con&unto 8 lo denotaremos con el s6mbolo
8 en el caso de no pertenecer por .
@or e&emplo* para el con&unto; A > {a* e* i* o*
u}? diremos;
a A ; Se lee a pertenece a A
b A ; Se lee b no pertenece a A
La pertenencia s'lo se da entre elemento 8
con&unto.
0. 0. DETERMINACI(N DE CONJUNTOS DETERMINACI(N DE CONJUNTOS
Se dice 5ue un con&unto est2 determinado
cuando se sabe con precisi'n 5ue elementos
pertenecen al con&unto 8 5ue elementos no
pertenecen al con&unto* e7isten A +ormas
principales para determinar con&untos.
1 Por E1+ens23n . .uando sus elementos
est2n indicados e7pl6citamente* es decir*
se mencionan en +orma completa los
elementos del con&unto.
E*-..
A > BC? !? %? D? E?
Se lee; A es el con&unto cu8os
elementos son; C? !? %? D 8 .
A1 Por co-prens23n . .uando se enuncia una
propiedad comn 5ue caracteri,a a los
elementos de dic)o con&unto.
As6* por e&emplo* del e&ercicio anterior;
Prof. Joseph Carlos Supo Mollocono "D
.on&untos
4initos
In+initos
Nulo o vac6o
Unitario
Numerable
Innumerable
A
3
#
"
F
ARITMTICA TEORA DE CONJUNTOS
A > B7G7 N ? F H 7 H AE
Se lee; A es el con&unto de los
elementos 7* tal 5ue 7 es un nmero
natural* adem2s es ma8or 5ue F pero
menor 5ue A.
%. %. CARDINA) DE UN CONJUNTO CARDINA) DE UN CONJUNTO
:s el nmero de elementos di+erentes 5ue
posee un con&unto +inito.
E*-..
Sea; A > Ba* e* i* o* uE
:ntonces; n/A1 > #
Iue se lee; :l cardinal de A es #
&. &. CONJUNTOS ESPECIA)ES CONJUNTOS ESPECIA)ES
1 Con*un+o "ac4o o Nulo . :s a5uel
con&unto 5ue no posee elementos. Se le
representa por; B E 8 se denota por el
s6mbolo; .
:s decir; B7G7 7E > B E >
E*-.. B7G7 N? # H 7 H FE > B E
No e7iste un 7 N5ue sea ma8or 5ue #
8 menor 5ue F a la ve,.
A1 Con*un+o Un2+ar2o . :s a5uel 5ue est2
constituido por un solo elemento. Se le
llama tambin SIN-U:9JN.
E*-..
B7G7 N? # H 7 H CE > BFE
puesto 5ue F N es el nico
comprendido entre # 8 C.
31 Con*un+o Un25ersal . :s un con&unto
re+erencial 5ue contiene a todos los
con&untos considerados 8 se le denota
(eneralmente por U.
As6 por e&emplo* el con&unto U para los
si(uientes con&untos;
A > BA? "? F? !E 8 < > B? 3? #? C? %E
U > B7G7 N? 7 %E '
U > B7G7 N? 7 H DE '
U > B7G7 ZE
6. 6. RE)ACIONES ENTRE CONJUNTOS RE)ACIONES ENTRE CONJUNTOS
1 Inclus23n e Con*un+os .
A < 7 A 7 <
Se lee; A est2 incluido en <* si 8 s'lo
si* para cual5uier 7 5ue pertenece a A*
ste tambin pertenece a <.
Adem2s;
A <
A est2 incluido en <
A est2 contenido en <
A es subcon&unto de <
< A
< inclu8e a A
< contiene a A
< es supercon&unto de A
O7S . se lee; para todo
A1 I8uala e Con*un+os . Si todos los
elementos del con&unto A pertenecen al
con&unto <* 8 todos los elementos del
con&unto < pertenecen tambin al
con&unto A* entonces se dice 5ue estos
A con&untos son i(uales. :sta i(ualdad de
los con&untos A 8 < se denota por; A
> <.
E*-.. Si;
A > B7G7 es una letra de la palabra
AKJLAE
< > B7G7 es una letra de la palabra
LAKJLAE
:ntonces; A > BA* K* J* LE
< > BL* A* K* JE
Lue(o; A > <

31 Con*un+o Po+enc2a .
Sea; A > Ba* bE? todos los subcon&untos
de este con&unto son; BaE? BbE? Ba* bE?
Al con&unto cu8os elementos son los
subcon&untos anteriores* se le llama
tambin con*un+o e par+es e 9A: 8 se
le denota;
@/A1 > B* BaE* BbE* Ba* bEE
:n (eneral* el nmero de subcon&untos se
)alla con la si(uiente relaci'n; A
n
? donde
n es el nmero de elementos del
con&unto.
Prof. Joseph Carlos Supo Mollocono "
nM@/A1N > A
n/A1
A
3
#
"
F
ARITMTICA TEORA DE CONJUNTOS
E*-.. A > Bm* a* rE? :ntonces;
@/A1 > B BmE * BaE * BrE * Bm* aE * Bm* rE * Ba*
rE*
Bm* a* rE* E
nM@/A1N > A
3
> ! subcon&untos.
nMsubcon&untos propios de AN > A

$
'. '. REPRESENTACI(N ;R<=ICA DE )OS REPRESENTACI(N ;R<=ICA DE )OS
CONJUNTOS CONJUNTOS
1 D2a8ra-a e "enn > Euler . :s una
+orma ilustrativa 8 mu8 pr2ctica para
comprender intuitivamente las relaciones
entre con&untos.
E*-.. A > BA? 3? #? CE
< > BA? 3? "? #? FE
U > B? A? 3? "? #? F? C? !?
%E
:ntonces;
La interpretaci'n ser6a;
BCE s'lo pertenece a A
BA? 3? #E pertenecen a A 8 a <
B"? FE s'lo pertenece a <
B? !? %E no pertenecen a los
con&untos A 8 <
A1 D2a8ra-a e Carroll . Se usa (eneral0
mente para representar con&untos
dis&untos.
E*-.. @ara A con&untos cuales5uiera;
A @uede representar a los mu&eres
< @uede representar a los )ombres
A @uede representar capitalinos
< @uede representar provincianos
0? 0? DIA;RAMA )INEA) DIA;RAMA )INEA)
Se utili,a para con&untos comparables*
es decir* para a5uellos 5ue cumple; A
<
E*-.. A > B? A? 3E
< > B"? #? FE
. > B? A? 3? "? #? FE
Su dia(rama ser6a;
I". I". EJEMP)OS I)USTRATI"OS EJEMP)OS I)USTRATI"OS
#? A > B7G7 es una +lorE
Kosa A @edro A
Alamo A .lavel A
-eranio A .edro A
/? O.u2l de las si(uientes proposiciones es
+alsaP
a1 a Ba* bE
b1 Ba* #* E
c1 C B#* !* E
d1 BaE Ba* C* cE
e1 BaE BBaE* b* mE
Sol.
a1 a Ba* bE /verdadero1
b1 Ba* #* E /verdadero1
c1 C B#* !* E /verdadero1
d1 BaE Ba* C* cE /+also1
e1 BaE BBaE* b* mE /verdadero1
Prof. Joseph Carlos Supo Mollocono "A
A <
.
A <
Ejercicios Ejercicios
de de
Aplicacin Aplicacin
A
3
#
C
"
F
A 7

!
U
%
ARITMTICA TEORA DE CONJUNTOS
. Qado el con&unto A > BC? !? D? #E. Indicar
verdadero /V1 o 4also /41* se(n corresponda;
i1 C A / 1 iii1 BDE A
/ 1
ii1 % A / 1 iv1 B#E A
/ 1
a1 VV44 b1 V44V c1 VV44
d1 V444 e1 N.A.
A. Qado el con&unto A > B#? BCE? %? AE. Indicar
/V1 o /41* se(n corresponda;
i1 BCE A / 1 iv1 B%E A
/ 1
ii1 % A / 1 v1 A
/ 1
iii1 C A / 1 vi1 D A
/ 1
a1 V4V4V4 b1 V44VV4 c1
VVV444
d1 VV444V e1 N.A.
3. Qado el con&unto L > Ba* BbE* BmE* pE. O.u2ntas
proposiciones son +alsasP
i1 BbE L iv1 BBbE* pE L
ii1 b L v1 BBbE* BmEE L
iii1 BBmEE L vi1 m L
a1 b1 A c1 3
d1 " e1 #
". Rallar la suma de elementos de cada con&unto;
A > B7G7 N? F H 7 H AE
< > B7 S "G 7 Z ? # H 7 H DE
. > B7
A
S G 7 Z? 3 H 7 H !E
a1 "D? " 8 #D d1 "C? "# 8 A%
b1 "3? "% 8 DD e1 N.A.
c1 "#* "F 8 3D
#. Si el con&unto A es unitario* )allar a S b;
A > BC0 a ? b S "? #E
a1 3 b1 " c1 #
d1 F e1 C
F. O.u2ntos subcon&untos tiene un con&unto 5ue
posee # elementosP
a1 3D b1 3 c1 3A
d1 33 e1 3"
C. Si los con&untos A 8 < son unitarios* )allar
a
A
S b
A

A > Ba S b? AE ? < > B"? a 0 bE

a1 C% b1 !D c1 !
d1 !A e1 !3
!. Qado; A > B#? BCE? %? BAEE. Indicar /V1 o /41
se(n corresponda;
i1 B#E A / 1 iii1 B%E A
/ 1
ii1 BCE A / 1 iv1 B#? BAEE A
/ 1
a1 4VV4 b1 4V4V c1 4VVV
d1 V44V e1 VV44
%. Qado; A > B7G7 N? # H 7 H AE .
Indicar /V1 o /41 se(n corresponda;
i1 BC? !? E A iii1 B!? DE A
/ 1
ii1 # A / 1 iv1 n/A1 > F
/ 1
a1 V4V4 b1 V4VV c1 V44V
d1 4VV4 e1 44VV
D. O.u2ntos subcon&untos tiene cada uno de los
si(uientes con&untosP
A > Bc* o* l* e* (* i* oE ? < > Bt* r* i* l* c* eE
a1 F" 8 3A b1 A! 8 F" c1 F" 8
F"
d1 3A 8 F" e1 A! 8 3A
. Rallar la suma de elementos del con&unto;
A > B3a
A
S # G a Z? H a H FE
a1 CA b1 !A c1 "!
d1 #F e1 %A
A. Qado el con&unto; A > BC? %? ? 3? #? CE
Qeterminarlo por comprensi'n;
a1 A > B7G7 N? F H 7 H !E
b1 A > B7G7 > An? n N? 3 H n H !E
c1 A > B7G7 > n S? n N? F H n H CE
d1 A > B7G7 > An S ? n N? A H n H %E
e1 A > B7G7 > n S #? n N? H n H 3E
3. Qado el con&unto A > BC? !? D? AE.
Indicar /V1 o /41* se(n corresponda* si @/A1
representa el con&unto potencia de A.
i1 B<E @/A1 / 1
ii1 BD? AE @/A1 / 1
iii1 D @/A1 / 1
iv1 @/A1 / 1
v1 @/A1 / 1
a1 VV4V4 b1 4VV4V c1 4V4VV
d1 V44VV e1 VV4VV
Prof. Joseph Carlos Supo Mollocono "3
ARITMTICA TEORA DE CONJUNTOS
". Qados los con&untos;
A > B7 S G 7 Z ? " H 7 H AE
< > B7G3 Z G 7 AE
a1 ! b1 F c1 A
d1 # e1 AD
#. O.u2ntos subcon&untos tiene A* si
A > B 7 A + N G 7 N? A H 7 H #E P
a1 ! b1 " c1 F
d1 3A e1 F"
. Si un con&unto tiene # subcon&untos propios*
O.u2ntos elementos tiene el con&untoP
a1 A b1 " c1 #
d1 F e1 N.A.
A. .alcular la suma de los elementos del con&unto;
A > B7G7 N? C H A7 S H #E
a1 A b1 # c1 C
d1 ! e1 AD
3. Qado el con&unto A > BB3? !E? B#? CE? !E?
O.u2ntas de las si(uientes proposiciones son
correctasP
i1 B#? CE A / 1 iv1 BE A /
1
ii1 B#? CE A / 1 v1 3 A /
1
iii1 BCE A / 1 vi1 B!E A /
1
a1 3 b1 " c1 #
d1 A e1
". Qado el con&unto A > B7
A
S G 7 Z? 0 3 7
3E
a. O.u2ntos subcon&untos tiene AP
b. Rallar la suma de elementos de A
a1 F 8 D b1 F 8 ! c1 3A 8
F
d1 3A 8 ! e1 " 8 F
#. Qados los con&untos A 8 < subcon&untos del
universo U
A > B7
A
G 7 N? H 7 H FE
< > B7 S A G 7 N? " H 7 H DE
. > B7G7 N ? 7 DE
Rallar; n
/A1
S n
/<1
a1 # b1 F c1 C
d1 ! e1 %
F. Qado el con&unto A > BT* a* r* i* n* aE
O.u2ntos subcon&untos de A tienen dos o m2s
elementosP
a1 A# b1 AC c1 3A
d1 3 e1 AF
C. O.u2l de los si(uientes con&untos son unitariosP
A > B7G7 N? C H 7 H %E
< > B7G7 Q; C H 7 H !E
. > B7 S G 7 Z? 0A , 7 H AE
Q > B7G7 es la capital del @erE
a1 S'lo A b1 S'lo < c1 A 8 <
d1 S'lo Q e1 A 8 Q
!. Si los con&untos A 8 < son i(uales* )allar;
m S p /m 8 p N1
A > BD? m
A
0 3E ? < > B3? p
A
0 #E
a1 C b1 ! c1 %
d1 D e1 A
%. Rallar la suma de elementos de A* si;
A > B7
A
S A G 7 U? 0" H 7 H 3E
a1 ! b1 A% c1 3
d1 "# e1 AA
D. Rallar n
/A1
S n
/<1
* si se tiene;
A > BA7G7 N; 7 H %E ? < >

+
A 7 ?
3
" 7
N
a1 D b1 c1 A
d1 3 e1 "
. Qado el con&unto A > BA? B#E? 3? A? B#EE
Indicar verdadero /V1 o +also /41 se(n
corresponda;
i1 A tiene ! subcon&untos
ii1 A tiene 3 subcon&untos propios
iii1 A tiene " subcon&untos unitarios
iv1 @
/A1
a1 VV4V b1 4VVV c1 44VV
d1 V44V e1 V4VV
A. Qado el con&unto A > B3? B!E? B#? CE? B3EE
Si @
/A1
representa el con&unto potencia de A
O.u2ntas proposiciones son +alsasP
i1 B!E @
/A1
iv1 @
/A1
ii1 BB#? CEE @
/A1
v1 B E @
/A1
iii1 n M@
/A1
N > 3A
Prof. Joseph Carlos Supo Mollocono ""
Tarea Tarea
Domiciliaria Domiciliaria
ARITMTICA TEORA DE CONJUNTOS
a1 b1 A c1 3
d1 " e1 #
3. Si los con&untos A 8 < son unitarios* cu2ntos
subcon&untos propios tendr2 el con&unto .
A > B a S b ? AE
< > BA? a 0 b E
. > B7 S G 7 Z? b H 37 H aE
a1 A! b1 F" c1 3A
d1 A#F e1 #A
". Qetermine por comprensi'n el con&unto L.
L > B!? 3? AD? A%? V ? A#E
a1 L > B7G7 > n
A
S n S F? n Z? n DE
b1 L > B7G7 > n
A
S 3n S "? n Z? n DE
c1 L > B7G7 > n
A
S "n S 3? n Z? n DE
d1 L > B7G7 > n
A
S An S #? n Z? n DE
e1 L > B7G7 > n
A
S #n S A? n Z? n DE
#. O.u2les de los con&untos dados son vac6osP
A > B7G7 Q? 3 H 7 H "E
< > B7G7 N? 3 H 7 H " E
. > B7G7 N? /7 S 31 /7 S C1 > DE
a1 S'lo < b1 S'lo . c1 A 8 <
d1 <* . 8 Q e1 < 8 Q
Prof. Joseph Carlos Supo Mollocono "#