NOCIONES DE LOGlCA

24

131. Se tieae el siguiente circuito:

Captulo 2

CONJUNTOS

2.1. INTRODUCCION

i ) determinar la proposicin correspondiente

, ) simplificar sta, y construir el circuito asociado.

J-32. Exp:esar simblicamente el siguiente teorema: "si un nmero es unpar, entonces
su e .~adrado es impar''.
Enunciar el contrarrecproco, el contrario y el recproco. Demostrar el primero.
1-33. Siendo

El propsito de esta seccin es el estudio de'la teora intuitiva tie conjuntos. En

este sentido. los trmmos ''conjunto'', "pertenencia" y "elemento" son considerados
como primitivo$. Sobre esta base se definen la inclusin y la igualdad. y se estudian sus
propiedades. El mismo tratamiento se hace corresponder a las operaciones entre
conjuntos. El captulo se completa con el desarrollo de ejemplos en lo> que se pretende
mostrar un mtodo adecuado de trabajo.

p : a . b es impar
q :a y b son impares

Demostrar p

1.2. DETERMINAOON DE CONJUNTOS

q

2.2.1. Notaciones

!-34. Justificar e! ra2onamiento

p

-q

-q > T
p v -r
p
J-35. Lo T1smo

~n

.;l sgmeme caso:

\P

q =

Para denotar conjuntos utilizaremos generalmente letras maysculas, y para

especificar elementos se usarn letras minsculas, a menos que dichos elementos sean,
a su vez, conjuntos. Para indicar la pertenencia de un elemento a un conjunto ser
utilizado el smbolo .
la proposicin "a e J\" se lee: "a pertenece a A''. o bien "el elemento a pertenece
al conjunto A".
Su negaci, e::. "1.1 fA'", que se ee: ''a no pertenece a A".
Si el ~11juntu ~ Jsl& fufrHadu por los elementos a~ b ~ ot". t::scribliTH.1S

r =- s
S

1-36. Investigar la validez del razonamiento siguiente:

Si el inters no es egosta, entonces es. la fuerza vital de las personas y es
espontneo.
El inters no es la fuerza vital de las personas y es espontneo
El inters es egosta

A=

(
1
ta.b.c

en este caso se nombran todos los elementos del conjunto, y se dice que est
determinado por extensin.
Las notaciones usuales para caracterizar conjuntos numricos son las siguientes:

N conjunto de los nmeros naturales

Z conjunto de los nmeros enteros

CONJUNTOS

!.6

DETERMINACION DE CONJUNTOS

Q conjunto de los nmeros racionales

" Un conjunto vaco es liquel que carece de elementos. Un conjunto unitario est

R conjunto de los nmeros reales

conjunto de los nmeros complejos

f~rmado por un nico elemento.

Una propiedad o funcin proposicional, que se convierte en proposicin falsa para

todos tos elementos del universal. caracteriza por comprensin un conjunto vaco.
Designaremos con tf> al~.:onjunto vaco, y puede definirse simblicamente as

La representacin por extensin del conjunto cuyos elementos son - 1, O y 1, es

A={-1,0,1}

tf>=(x!x-=Fx~

"

Es fcil ver que se trata del conjunto de los nmeros enteros cuyo valor absoluto es
menor que 2; en este enunciado hacemos referencia a elementos del conjunto
de los
nmeros enteros, el cual se llama referencial o universal; adems, estamos interesados
?n aquellos que satisfacen la propiedad de ser. en valor absoluto, menores que 2.
La notacin cm;espondlente es

z.

= _ X E: Z / x < 2 j

y se dice que el conjunto ha sido determinado por comprensin.

El conjunto universal depende de la disciplina en estudio, se fija de antemano, y

est formado por todos los elementos que intervienen en el tema de inters. En general
se denotar con U.

Definicin /.
Un conjunto se determina por extensin si y slo si se enumeran todos los
elementos que lo constituyen. Un conjunto se define por comprensin si y slo
si se da la propiedad que caracteriza a sus elementos.

1
1

l
1

= (.. X f u

p (X) }
;

Ejemplo 21.
Determinar simblicamente y por extensin Is siguientes conjuntos definidos por
comprensin:
i ) A .es el conjunto de los nmeros enteros cuyo cuadrado es igual a l.
En este caso la propiedad que caracteriza a los elementos de A es la conjuncin de

P (~) : x

Q (x) : x 2

=1

Entonces
A

= {xx Z

xz = 1 }

y como universal puede sobrentenderse el conjunto de Jos nmeros reales o racionales.

Si proponemos a Z como universal, puede escribirse

u ms brevemente. si U est sobrentendido

A= { x

=,x'x=a~

A=a

El conjunto cuyos elementos verifican la propiedad P se indica

A

En este caso la propiedad relativa a x es P (x): x =J= x. la cual resulta falsa cualquiera
que sea x.
Si A es el conjunto cuyo nico elemento esa. escribiremos

A = { x Z 1x 2 = l }

/P (x)}
Obviamente, la determinacin por extensin es

y se lee: .. A es el conjunto formado por los elementos x, tales que P (x)". P (x) es una
funcin proposicional, y un objeto del universal pertenece al conjunto si y slo si
verifica la prop1edad. es decir

A={-I,l}
ii) B es el conjunto de los nmeros naturales mayores que 2, y que no superan a

6.

aA ~Pta) es V

Considerando a N como universal. la propiedad caracterstica de los elementos de B

es la conjuncin de

En consecuencia

a tl A

>

P (a) es F

P (x) : x > 2

2.2.2. Conjuntos especiales

que podemos expresar

Extendemos la nocin intuitiva de cnllJUilto a I{S .:aso~ u.:: -:a renda de elementos y
de unicidad de elementos. mediante la intr<>duccin n" los conjuntos vaco y unitario.

Y se tiene

R(x):

Q (x) : x.;;;; 6

2<x..;;6

28

m:TER!>lNAC!O~

CONJUNTOS

29

i) B es el conjunto de los nmeros naturales cuyo cuadrado es par.

Por extensin nos queda

B = { x N./ x 2 es par}

B={3,4,5,6}
iii) Ces el conjunto de los nmeros reales cuyo cuadrado es igual a - 1.
Se tiene:
C =(

X ER

/ x == - 1 ~
2

"

'-

nmero rea! es negativ<:> P (x) : x 2 ~

rouo reaL y rcsdta C =

D!. COtlJ1JNTOS

1 es F para

{;J.

O bien

B = { x N .f x 2 -= 2 k

'

N ~}

~Cmo se detennina la pertenencia de un elemento a B? De acuerdo con la

definicin de B, dado un nmero naturat se analiza su cuadrado; si dicho cuadrado es
par, el nmero pertenece a B; si su cuadr:1do es impar. no pertenece a B. Es decir

Ejemplo ~-~.

la determinacin de conjuntos por extensin no es posible en el caso de infinitos

elementos, y hay que limitarse a la definicin por comprensin. La matemtica trabaja
casi con exclusividad en este sentido, a travs de propiedades.
C:mJ.cteriz:.~mos simblicamente los siguientes conjuntos:
) p t!S el ..:onjunto de los numeros enteros pares.
Por deiinkin, un entero es par si y slo si se identifica con el duplo de algn

iv) C es el conjunto de los puntos del plano cuyas distancias a un punto O son
iguales a l.
Entendemos que el conjunto universal es el d~ los puntos del plano a. Si bien O es
un elemento, ..:omo es usual en geometra, lo denotamos con mayscula. Indic:;mos la
distancia emre \y O mediante d (A. O). Entonces

entero. Es decir
C= { Xea/d(X,O)=-l

aespar *>3keZ/a='2k
Entonces

P={xeZ/x=2k

11

kez)

Es claro que P consiste en el conjunto de los mltiplos de 2.

A veces, acudiendo a un abuso de notacin, suele proponerse una aparente
detennimcin por extensin de un conjunto infinito, con la adjuncin de puntos
suspensivos. As

es la definicin simblica de la circunferencia de centro O y radio l.

v) D es el conjunto de los puntos del plano que equidistan de dos puntos fijos A
y B.
D = ( X e o: ! d (X , A) = d {X , B)}

D consiste en la mediatriz del segmento AB.

ii ) :\es el conjunto de los mimeros naturales que son mltiplos de 3.

En N n in,:luimws al

cePJ, 'f

Ejemplo 23.

El conjunto S est f~mnado por los posibles resultados que se obtienen al lanzar dos
monedas. Los resultados para la primera moneda son e (cara) y s (sello) y por cada uno
ile ellos "e tienen las mismas posibilidades para la segunda., es decir

se nene

_(_,
'Q
A-,.:>,tl,,,

..

t.
)

Si O se considera natural, escribiremos N 0 y en este caso

A= {. x N.0

1x = 3 k

"

k N 0 ~)

Es decir

Entonces
S== { cc,cs,sc,ss}

A={0,3,6,9, ...... }

30

CONJllNTOS
INCLUSION DE CONJU!\TOS

2.3. INCLUSION

31

En este caso se verifica A e B.

2.3.1. Concepto

Ejemplo 2-4.
Sean A y B dos conjuntos. Si ocurre que todo elemento de A pertenece a B,
diremos que A est incluido en B, o que A es parte de B, o que A es un subconjunto de
B, y eScribimos A e B.

Definicin x

Sean U = N y los conjuntos

A={ x/xl6}

~'1

...... 1

AeB

~vx:xeA

=>xeB

e ={xix~2}

Esta definicin tiene el siguiente significado: si sabemos que A C B. entonces la

prooosicin V x : x :\ => x B es V; recoro.;amente. si esta !Jroposicin es V.
entonces se verifica que A C B.
En repetidas ocasiones se necesitar demostrar que un conjunto es parte de otro;
~monees. de acuerdo con la definicin, ser suficiente demostrar que cualquier
elemento del primero pertenece al segundo.
Teniendo en cuenta la equivalencia entre una implicacin y la contrarrecproca,la
definicin anterior puede expresarse as
ACB

~'v'x:xfB

~e pide !a :-eprese!1tac1cn de !3!e~ conjuntes

Definimos la relacin de divisor en N mediante

mediant~ d.iagr:L"'!'l!l~

Teniendo en cuenta esta definicin, y la relacin de menor o igual, la representacin

por extensin de tales conjuntos es
r

A=ti,2,3,6)
-q), podemos
y en trminos de diagramas de Venn

" x B es F

Es decir, en la indusin no puede darse que haya un elemento de A que no

t'ertenezca a B.
Sobrentendiendo el cuantificador universal, para descargar la notacin, escribiremos

ACB

~xeA

de \'enr:.

a 1 b si y slo si 3 n e N b = a . n

=>xt/A

Adems, considerando la equivalencia entre p => q y - (p ,,

traducir la misma definicin de la siguiente manera
A e B ~ 3 x /x eA

={ xx!8}

=>xfB

2.3.2. Diagramas de Venn

Ex!ste una representacin visual de los conjuntos dad& por diagramas llamados de
Venn., En este sentido, el conjul!to universal s_uele representarse por un rectngulo, y
los conJuntos por recintos cerrados. Es claro que todo elemento de A pertenece a U, es
decir, A e U. Sean A, By C subconjuntos de U, como indica el diagrama
.~

Ejemplo 2-5.
Consideremos el conjunto U de todos los tringulos; si I denota el conjunto de los
tringulos issceles, E de los equilteros y R de los tringulos rectngulos, se tiene

e
'

CONJUNTOS

IGUALOAD DE CONJl!NlOS

Ya que todo tringulo equiltero tiene los tres lados iguales, en consecuencia tiene
dos iguales, es decir, es issceles. Adems existen tringulos issceles.. que son
rectngulos, pero ningn tringulo'equiltero es rectngulo.

Nota pren'a:
Por definicin, un nmero natural x es impar si y slo si existe k E N tal que
x=2k-l.
Por otra parte, es fcil ver que el producto de dos naturales consecutivos es impar, y
que la diferencia entre un nmero par y uno impar es impar. Vamos ahora a nuestra
demostracin, la cual consiste en probar las dos inclusiones que definen la igualdad

32

2.3.3. Igualdad de conjuntos

Es claro que dos conjuntos son iguales si son idnticos, es decir, si tienen los mismos
elementos. Entonces, todo elemento del primero pertenece al segundo, y todo
elemento de ste pertenece al primero.

1) A e B. En efecto: sea x

Se tl<:ne x

=x

Definicill

B ':A.

3J

A.

A ""' .'> es impar

=,k~ - 4 k +- 1

=x

-::on k

t:

= 2 k - ! cun k E N =:.

= :! . ( ~ k 2

N =

2 kl

+ 2- l

Ejemplo 2-6.

Los conjuntos de nmeros reales

=X}

A= (X/ x 2
B =

t X/ (X -

1) . X

Hemos utilizado sucesivamente, la definicin de A. la det!nidn de nmero

impar, cuadrado de un binomio, la distributividad de la multiplicacin, la
susttucin de 1 por (.::! ~- l). nuevamente la dstributividad. la definicin de
nmero unpar. y finalmeme la defimcin de B.

=o

son iguales ya que

X

A ~ x2 =

<=> X 2 -X = 0 ~ X .

VC - l) = 0

2) Be A, Es claro que

X =X . {X

+ 1) -X

Ahora bien

El bicondicional se desdobla en las dos implicaciones que prueban la doble

inclusin, y en consecuencia la igualdad.

xB

=?

x 2 es impar

=> x es impar

Ejemplo 17.

=}

=}

x. (x + 1)- x 2 es impar

=>

x A

En consecuencia A= B.

Sean los conjumos de nmeros enteros

~

A =

1.3 A. Propiedades de !a inclusin ,"

t x i x2 =1 !

B = { X/

!xl =

i ) REFLEXIVIDAD. Todo conjunto es parte de s mismo.

1}

En efecto, si A es un conjunto, la implicacin

Teniendo en cuenta que el cuadrado de un nmero entero es igual al cuadrado de su
vai<H absoluto. resulta

)}

Vx:xeA =>xeA es V

En ..:on;;ecaenci!l.. por de!lnicin. se tien.;- \ e '\.

li TRA~>iSlTIVIDAD :S1 un .:onjuntu ;os :j.Hk cic 'rr;; ;.

En consecuencia, A = B.

ter(ero" ~niurh:;;s
H1potes:s1 A e B

Ejemplo 28.

~~ prn~ro ~sti ~.n~luirlo

Hiptesis) A= { x e N/ x es impar}

Demostracin)
Sea x E A. Por hiptesis se tiene

Tesis) A= B
X

B = { x e Ni x 2 es impar }
Demostracin)

~'! t;;r;,::~;"('~

Tesis! A

BC C

Oemostnr que el conjunto de los nmeros naturales impares es igual al conjunto de .

los nmerm naturales cuyo cuadrado es impar.

en

A.=

y xeB =>xeC

~t~;;

es nrt2

J~

un

CONJUNTOS
l~ntonccs,

por ley del silogismo hipottico

CONJUNTO DE I'ARH:S

Definicin '1
Conjunto de partes de A es el conjunto cuyos elementos son todos subconjuntos
de A.

..

XEA =>X(

Y, en consecuencia, por definicin de inclusin AC C.

iii) ANT!SIMETRIA. Si un conjunto es parte de otro y ste es parte del primero,

P(A)= {X/XC A}

entonces son iguales.

ACB
<!S

Los elementos de este conjunto son a su vez conjuntos, y, en consecuencia, P (A)

BeA~A=B

es un conjunto de conjuntos.
De acuerdo con la definicin, se tiene

una consecuencia de la defincin de igualdad.

~.3.5.

X eP(A)

Caracterizacin del conjunto vaco

~XC

Fl inrnhl~ma
es un elemento de P (A) se reduce a determinar
..
'
.. de decidir , un obieto
..
si dicho objeto es un subconjunto de A.
De acuerdo con la propiedad reflexiva de la inclusin, cualquiera que sea A. se tiene
A e A. y en consecuencta A P (A) por definicin de conjunto de partes.
Adems. por 2.3.5. i) se sabe que fb C A, y por la misma definicin 1> e P 1A). Es
decir. cualquiera que sea A. el mismo A y el vaco son elementos de P lA).

Propiedad. El conjumo vaco est incluido .::n cualquier otro.

~.~r~sis) A un ..:onjunw.
l

35

i -::ml rp e A.
Demostracin) Consideramos la siguiente proposicin:
Vx:xf/> =xeA

Ejemplo 2-1 O.

:a .:'ul es V por ser el antecedente f. En consecuencia. de acuerdo con la definicin Je

= ( ~ . 3 , 4}

m..:h:sin. se tiene <f> e A.

Detenninar el conjunto de partes de A

Yuu:

Los elementos de P 1A) son todos los subconjuntos de A, es decir

f:i teorema es vlido cualquiera que sea A; en particular, A puede ser vacio.
ii ) Propiedad. El conjunto vaco es nico.
Ea efe..:to. suponemos que. adems de 1;, existe lj)' tambin vado. Emonces. de
1-:u.crdo con i ). es verdadera la proposicin

y por Jefinkin de igualdad, resulta <f>' =

Y la notacin por extensin es

1>

P (A)= { 1>, { 2

Ejemplo 29.
Demostrar

e fb

~A

=</J.

Ejemplo 211.

Como se trata de una igualdad se requieren dos inclusiones.

) El conjunto de partes del vaco es el conjunto cuyo nico elemento es el

vaco.

1") ;peA por2.3.5.i ).

2) A e 1;. Se verifica por1liptesis.

luego A= <f>.

@2.4. CONJUNTO DE PARTES

f\.. Jo un .:"niunto A. podemos formlll' un nuevo conjunto constituido por todos los
,;ub.;;Jnjuntos ,k A. el cual r.:cibe el nombre de conjunto de partes de A.

J , { 3} , {4} , {2, 3J , {2, 4} , {3,4) ,A}

P((jl)={<P}
ii ) La pertenencia relaciona elemento a conjunto. mientras que la inclusin
relaciona conjuntos entre s. Desde este punto de vista, damos los valores
verdad de las siguientes proposiciones relativas al ejemplo ::!-10.

de

1;CA.

cf;eA

cf; eP(A)

COMPLEMLNTAC!ON DE CONHiNTOS

CONJUNTOS

36

CP(A)

eP(A)

2 P (A)

{2) P (A)

AP(A)

AA

AC A

1/>

{2 '3)

37

En smbolos

o bien

Se tiene

!:]emplo JL!.
Si A timen elementos. enhm..:e" P !Al tiene :2" elementos. Se trata de computar .;i
nmero de subconjuntos de A. Uno de ellos es el vado. Conjuntos unitarios hay
exactameme

11

. tantos como com b.mac10nes

.
d en e1ementos, de orden
= 1,(flli,, . es dec1r.

l.

El nmero de suhwnjuntos de dos elementos es el de combmaciones de

elementos de orden 2. es decir

ti'
1,

z-.

Subconjuntos ternarios hay ( 1 .

\

La complementacin es una operacin unitaria. en el sentido de que a partir de un

Y as sucesivamente, hasta obtener el nico subconjunto de n elementos.

El nmero total est dado por la suma
.

conjunto se obtiene otro.

Es usual tambin obtener el complemento de un conjunto A. respecto de otro B, en

.'/1

cuyo caso la definicin es

+ 1=
n

::: L
i

=o

:11)

{n'

--= o ' 1) 1' 1n-

= ')'

= ( 1 + l )" :;;;;

CO\WU::\IE~

r J..ClON

~.

t x e B x f AJ

En particular se tiene

2"

) El complementario del vaco es el universal.

En este desarrollo hemos aplicado la frmula del binomio de Newton. que se

justificar en el Captulo .

!.5

'

l;A =

\;z/

X f

ll =>

rp

=> X

'

Os~:~

l. -'ir
') ,;umu ,;.{

resui!J Q;'" ""

1 El -:o;m:h:rn.::rn;:no del univer':>Jl es el

DE CONJUNTOS
lc = {

t'

iX U

\,

Sean A y B subconjuntos de l'.

2.5.2. Propiedades de la complementacin

:!.S .l. Definicin

Complemento de A es el conjunto formado por los eleme~tos de U c1 ue no
pertenecen a A.
El complemento de A se denotar por A e; suelen usarse tambin A' y

A.

. I) INVOLUCION. (A e)'"= A
Demostracin)
x(Ac{ ~XfAc -<*-(xEA<') ~-(xfA) c>xA

38

CONJUNTOS

INTERSFCCION DE CONJUNTOS

En esta demostracin hemos utilizado la definicin de complemento y la ley

involutiva del clculo proposicional.
U) A

B =-?Be

39

En smbolos se tiene

AnB={xeUtxeA /\ xeB}

AC

Demo~tracin) Utilizando sucesivamente las defi~iciones de complemento, de

inclusin y de complemento, se tiene
X

se ""'X f

""'X

fA=> X AC

Luego

O bien, sobrentendido U

AnB::;{x/xEA

11.

xcB}

La interseccin entre conjuntos es una operacin binaria, porque a partir de dos

conjuntos se obtiene un tercero.
propiedad que caracteriza a los elementos de la interseccin es la de pertenecer
s!mnlt~nl"ll!111"nte a In~ tio~ conjtmtm y ..e e~t~hleee en trminos de una ennjundn
La defnicin de interseccin establece

La

Ejemplo 2- J3.
Demostr;r A = B =>A"

= B"

Ae

~ X tf.

4:>

f B

4:>

B"

En virtud de las definiciones de complemento, igualdad y complemento.

xeAnB 4=>xA /\ xeB

Si !a interseccin de dos conjuntos es vaca ,dichos conjuntos re llaman disjuntos.

Ejemplo 2-14.

A y B son disjuntos 4=> A n B = iJ>

i ) Si r es una recta incluida en e! plano a:, entonces su complemento es el par de

semiplanos opuestos abiertos, de borde r.

Ejemplo 1 15.

ii ) El complementario del conjunto de los nmeros naturales pares es el

conjunto de los aaturaies impares.

ili) El complementario de Q en Res el conjunto de los nmeros irracionales.

..-2.6. INTERSECCION DE CONJUNTOS

) Si r y r' son dos rectas distintas incluidas en un plano, entonces su

interseccin puede ser vaca, o bien reducirse a un punto. En el primer caso
son paralelas. y en el segundo caso se llaman incidentes.
ii ) Sean dos rectas Ae y AB, donde A. B y e son tres puntos no alineados
pertenecientes al plano a. Quedan definidos los conjuntos
S (AB, e): sem1plano de borde AB que pasa por e
S (AC , B) : semiplano de borde Ae que pasa por B

Sean A y B subconjuntos de U.

Entonces el conjunto S tAB , C) n S (Ae , B) es el ngulo convexo BAC

2.6.1. Definicin
Interseccin de dos conjuntos A y B es el conjunto formado por los elementos
que penenecen a A y a B.

El diagrama de Venn corresx.ndiente es

u
A

i) Consideremos tres puntos distintos A, B y C pertenecientes a la recta;:

A

40

CONJUNTOS
INTERSECCION DL CONJUNTOS

la;; semirrectas S_ (A , B) (de origen A que pasa por B), S (A , C) y S (C , B) son

subconjuntos de r, tales que

Por tratarse de una condicin necesaria y suficiente realizamos las demostraciones

de las dos implicaciones:

)AeB =*AnB=A
Con la informacin proporcionada por la hipte;;is A e B, tenemos que
demostrar la igualdad A n B = A. Por defmicin de igualdad hemos de
probar dos inclusiones:
a) Sea x e U tal que x e A n B. Ahora bien

= AC

S (A, C) n S (C, B)

S (A, C) n S (A , B) == S (A, C) = S (A , B)

iv) La interseccin entre el conjunto de los nmeros enteros pares y el conjunto

de los nmeros impares es vaca, ya que no existe ningn entero que sea
simultneamente par e impar.
v) En Z.la interse<;cin entre el conjunto de los nmeros pares y el conjunto de

los nmeros pnmos es el conjunto

1) IDEMPOTENCIA: AnA= A.

~xeA

x<:AnA

Utilizando la definicin de interseccin, y la asociatividad de la conjuncin, se

tiene
xE(AnB)nC
<=>

x eA

A :.

"* X

por la hiptesis y por definicin de interseccin.

Entonces se verifica A e A ;, B ( 2 ).
De (1) y (2) resulta A n B =A.
ii ) A n B = A ~ A e B
Para demostrar que A e B, consideramos

"- xfA <"'.ceA

II) ASOCIA TIVIDAD: (A n B) n C = A n (B n C).

"-"> X

xA=>xA '\xeB =:.xeAnB

En efecto

(x

A ('\ B

por defmicin de intersecciE. y !ey lgica p

'-1 =p.
En consecuencia A n B e l\ i l i
La relacin (1) nos dice que la interseccin entre dos conJuntos est
incluida en cualquiera de ellos.
b) Sea ahora

2.6.2. Propie&des de la interseccin

41

'.
,~,

~xeAnB

B) ,,

x eBn e

X E

/1

e~

xEC

'*l>

1\

(x B " X E C)

xeA ~xeAnB ~xeA "

xeB =>xeB

pues por hiptesis A = A n B; hemos utilizado adems la definicin de

interseccin y ia iey lgica p ' q => q.
Queca probado as que A e B.
Ntese que en i ) a) no hemos hecho uso de la hiptesis, pero s en b). Esto nos
dice que la proposicin A n B e A es independiente de toda condicin, es decir. es una
propiedad intrnseca de la interseccin.

..., x e A n (B n C)

III)CONMUTATIVIDAD: A n B = B nA.
La demostracin es obvia aplicando la definicin de interseccin y la
conmutatividad de la conjuncin.

Ejemplo 2-17.
l\ l ELEMENTO NEUTRO PARA LA lNTERSECCION ES EL LNIVERSAL

Demostraremos que :> dos .::onjuntos estn incluidos en un tercero. entonces ia

interseccin de los do; primeros .:s parte del tercero.
Esto se v,i' \;!H d diagrama

La !nterse;:cion opera sobre eiementos al~ p ( t:j~ ~~ Jc~~if ~ iVbre

::!Z'
-C. Interesa determinar s existe un subconjunto de l: cuya interseccin cm:
cuaiquier otro no lo altere. Tal elemento de P (U) se llama neutro para la
interseccin, y en nuestro caso es el mismo U. En efecto
cualquiera que sea A

U, se verifica A n C =Un A= A

Ejemplo 2-l.
La propiedad IV es un corolario del siguiente teorema
AC B

AnB=A
A

1
l

". B e X => A

nBCX

UN ION 1>! CONJUNTOS

CO:-IJUNTO:-.

43

El diagrama correspondiente es

Lo demostramos as
xfAf1B "*XEA A xeB =:-xeX A xeX "*XEX

Hemos aplicado sucesi\amente la definicin de interseccin, la hiptesis y la ley

'. gca p

f,

'

p.

1}en1plo 2-18.

Demostrar que el conjunto de partes de la interseccin es igual a la interseccin de

l1 s conjuntos de partes.
. P(A

n B) = P(A) nP(B)

En decto: teniendo f'n eHPnra que lo~ elemi'ntn~ rlf> 1;.~ pqrtf'~ de
.b.::oap.ntos, consdemmo'S
XePtA~'B) .:<>XCAnB "*X.:A
<=>X e P(A) llP(B)

XCB "*XEP(A)

I111 C:011jUr.!0 ~0r.

'

XeP(B)

,r Jefinicin rie conjunto de partes; teniendo en cuenta i ) a) del ejemplo 2-16, la

:ms;avidad de la relacin de inclusin. la definicin de conjunto de partes y la

,;, 'im~n de interseccin.

2.7. UNION DE CONJLMOS

: i .l. Definicin
L. nin de dos conjuntos A y B es el conjunto formado por los elementos que
pertenecen a A o a B.
Simblcameme se indica

,.

AUB={xeU;xA v

A la unin pertenecen todos los elementos de los conjuntos dados. En e1 caso

disjunto se Tiene

xEBJ

donde la pan.: ~umbreada es A U B.

Es claro cr-- todo conjunto est contenido en su unin con cualquier Otio. En
efecto

en virtud de la ley lgica p

X .~

=>

B =>

Au B

p v q, y de la definicin de unin. Entonces

A e A u B como queramos.

Ejemplo 2-19.
i ) La unin de un par de rectas r y r' contenidas en un plano es el par de rectas.
ii ) La unin de dos semiplanos opuestos y cerrados es el plano.
i) Sean los p~ntos A. B y C, como en el ejemplo 215. iii). Se tiene

Pre$dndiendo del universal

S (B, A) U S (B. C)

AUB={x!xeA v xeB}

S(A, B) U S (B. C) =S (A, B)

La unin de conjuntos, lo mismo que la interseccin, es una operacin binaria

definida en el conjunto de partes de U.
De acuerdo con la definicin, podemos escribir
aAUB~aeA

=r

2. 7.2. Propiedades de la unin

I) IDEMPOTHiCJA. ualquiera que sea A. se verifica

aeB

AUA=A

El ..() .. utilizado es incluyente, y pertenecen a la unin aquellos elementos de U

los .:uales es verdadera la disyuncin; entonces un elemento pertenece ; la unin
<' scb si pertenece a alguno de los dos conjuntos.

Pues

~a

xeAU..\ *'>xeA

xeA~xeA

por definicin de unin, y la ley lgica p v p "*p.

l.

44

CONJUNTOS

l'IWPIEDADES DE L:\ UNION

!!}

45

ASOCIATIVIDAD. Cualesquiera que sean A, By C

porque si un elemento. pertenece a un conjunto, entoncs pertenece a su unin con
cualquiera y adems por hiptesis, ya que A V B = B.

(A U B) U C =A U (B U C)

La demostracin es anloga a la propuesta en el caso de la asociatividad de la

interseccin, utilizando ahora b definicin de unin y propiedades de la
disyuncin.

Es decir: A e B.
Ejemplo 221.
) Demostrar X
t.n efecto. sea

IH) CONMU'T ATIVIDAD. Para todo par de subconjuntos de U, se verifica

AUB=BUA

1\

xEX =xEA v

k" que e;) d~rtv por

IV! ELEME:'iTO :.;ECTRO PARA LA L'NION ES EL CONJUNTO YACIO.

Es decir, cualquiera que sea A C U, se tiene

u B.

xEB =:.xe..\UB

y defin1~in ,le ~Hitn

i l b im plica.:in anterior no ~dmite re.: 'proc:l verdader:.L ;:. a que pued: da rsc
que X~:\ '.J B. y sin embargo X : .o\ y X'.::. B. como puede verse en el

diagrama siguente

AUp=tjUA=A

Tratamo~ slo el caso A U 1/> =A, ya que la conmutatividad nos exime de la otra
situacin.
Sabemos. por ::.7.L que A CA u <fJ
(1)
Sea ahor;a x e A U if> ~ x e A v x e if; ~ x e A
por definici~n de unin, ypor ser falso x e ifJ .
Luego .A u pe A
(2)
Por (1) y(2) resulta la igualdad propuesta.

iii)Demostrar P(A)VP{B)C PlAUB).

Ejemplo 2-20.

Demustnr A .: B ""> 1\ U B = B.
Seguimo; e1 mismo esquema empleado en el ejemplo 2-16.
) Hiptesis} A e B
Tesis] A U B = B
Demtlstracin) Como cada conjunto est contenido en su unin con
cualquier otro. segn :!.7.1 se tiene

por definicin de unin. por hiptesis y por la ley p v p => p.

XeP(A)UP\8) ~ XeP(A) v

=XCA v

XeB

~xeAUB

XeP(B) ~

= XeP(AUB)

por definicin de. unin. de conjunto de panes. propiedad i ). y definiCIn de

..:onJmWJ Je parte>
:.'1: LEYES DlSTRIBt:HVAS

re..\\_,B =xeA v xeB :;.xi:B v xB =>xeB

Entonces:
AUBCB
De (1) y (2) resulta A U B = B
ii) Hiptesis) A u B = B
Tesis) A e B
Demostracin) x e A ~ x e A U B ~ x B

ronsidaemos

(21

La umn e interseccin de cm;junto:. pueden conectarse a travs de dos propiedades

fundamentales. llamadas leyes distributivas. que se expresan mediante las frmulas
(A U B)n C =(A n (_')u (B , C\
(A n 8) V C =(A U C) n (BU t)

Vamos a verificar, mediante diagramas de Venn. la primera de estas leyes. Los

dibujos corresponden al primero y al segundo miembro de la igualdad.

16

LEYES DE DE MORCAN

CONJUNTOS

47

Tesis) (A u BY= Aen Be

Demostracin) x (A U BY ~ x 1/. A U B ~
*> ~(x

~X
*lo

r A

A U B)
A

X E Ac

<? ,._

t/. B

(x E A

*lo X

V x E B)

Ae /\

e Be

<?

<o>

n Be

Por definicin de complemento, de unin, negacin de una disyuncin, y defmicin

de interseccin.
(A

n e) U {B n e)

2.9.2. Teorema. El complemento de la interseccin de dos conjuntos es igual a la

Tesis) (A n Bt::;:: Ae U Be
Demostracin) X (A n B)c

Las demostraciones formales s:m las siguientes:

:.~.l. Distributividad de la interseccin respecto de la unin

x e (A
*lo

(x

*>

u
A

B) n
\

~ x eA

(x B

C) V

lA il C) U (B

,\ x e e

uB

1\

*>

(x e A

C) <->

X E

x e B) "

X E

x ee
Bn

*"

por definiciones de interseccin y de unin. y distributividad de la conjuncin respecto

.ie la disyuncin.

<-> (X A

A X E B)

> (x e A

x e C)

~ X

Au

x e (A u

ee

x e C)

f B

-(.ve A

<o> X

e Ae

\
V

x e B) "*

Be

<;>

Ae U Be

De acuerdo con las definiciones de complemento, de interseccin, negacin de

una conjuncin y definicin de unin.
Ejemplo 222.

AnB =A

AUB=B

ACB

<.:>

De acuerdo con lo establecdo en el Captulo l, para demostrar la equivalencia de

una cadena de n proposiciones, es suficiente probar n implicaciones. En nuestro caso

*lo

" (x e B v

e BU e

tt A

<.:>

<o>

Demostrar la equivalencia de las siguientes proposiciones:

1.'L!. Distributividad de la unin respecto de la interseccin

xeC

..,_X

>

n C)

xe(AnB)UC >xeA:tB v

$>

tAn B

(x e A n B)

<.:> ~

> X

C) n (Bu C)

s. .

han utilizado las definiciones de unin, de mterseccn, y la ley distributiva de la

Jisy uncin respecto de la conjuncin.

p~q~r~s~p

1)

ACB~BecAc

En efecto X se ~ X B ~ X f. A ~ X A e
por defmicin de complemento, por hiptesis y defmicin de complemento.
2) Be e Ae ~A U B = B

Sea x e A U B
~ X ;

:2.9. LEYES DE DE MORGAN

Ae

~xeB

Estas leyes, de gran aplicacin. permiten relacionar la complememacin con la

unin e interseccin.
:. 9.1. Teorema. El complemento de la unin de dos conjuntos es igual a la interseccin de sus complementos.

V X

v xeB

A
~ X

:x e B

ti Be

V X

~xeB

. por definiciones de unin y de complemento, por hiptesis, definicin de

complemento y ley lgica p v p ~ p.

As

AUBCB

(1)

CONJUNTOS

43

DIFERENCIA DE CONJUNTOS

49

Por Jtra parte

B C Au B

Ejemplo 2-23.

(1)

) Considerando como universal al conjunto de los puntos del plano, la

diferencia entre la recta r y el segmento AB es la unin de las semirrectas
abiertas AM y BN

ya que tGdo conjunto es parte de su unin con cualquier otro.

De Cl) y (2) resulta A U B == B

3) A U B = B ~ A n B = A
a) Cono la interse~:cin est incluida en cualquiera de los dos conjuntos. se tiene
A()BC A

Es iecir

nmeros primo:; es el ccnjunto d'? lo5 nmeros enteros del tipo .~ "" 2 . k
siendo k 4: :t 1 .

xeB =xeAfiB

ACAnB

2.10.2. Propiedad. La diferenca entre dos conjuntos es igual a la interseccin del

primero con el complemento del segundo. '
Se trata de probar que A - B A n B".
En efecto. aplicando sucesivamente las definiciones de diferencia. complementacin
e interseccin. se tiene

Por ( 1) y ( 2) resulta

4) A

) La diferencia entre el .:onjunto de ios nmeros pares y el conjunto de ls

Entonc<!s

xeA =xeA

=-

bi Sea x E:\ =>'x e A U B x E 13

puc.> \ : .'\ _, B : pr :Hc,.::>r<''"'

13

(l)

B =A = A C B
Es; demostrado en el ejemplo 2-16 ii )

A- B = { X

2.10. DIFERENCIA DE CONJUNTOS

{x xeA

t.

xtB}

E! diagmm:. ,;orrespondiente e~

11

q. B }

= {X 1X A

11

gc } = A

n se

BCA<*(A-B)UB=A
(A- B) u B = (A n B") u B = {A U B) n (Be U B) =

Diferencia entre dos conjuntos A y B es el conjunto formado por los elementos

de A que no pertenecen a B.

A-B=

Ejemplo 2-24.
Demostrar

2.10.1. Ddinicin

1X

=(A U B) n U = A U B =A

Por 2.10.2, distributividad de la unn respecto de la interseccin, por ser

Be U B =U. por neutro para la interseccin y lo demostrado en el ejemplo 2-20.

Ejemplo 125.

Der.1Jstrar 1a

distrbutiv~dad

de la interse~:ci6n respecto de !a difenmd<.L .;:;decir

n (B - C) =V\

B)- (A

C)

En lugar de seguir el mtodo general de probar las dos inclusiones, vamos a

trasformar cada miembro de la igualdad utilizando las propiedades demostradas.

As
Es Clan que A- B

* B- A; es decir, la diferencia de conJuntosno es conmutativa.

A n (B _:_ C) = A n (B n Ce) = A n B n C"

(l)

por 2.10.2 y asociatividad de la interseccin. Considerando el segundo miembro

'

DlFFRENCIA SlMFTRICA

CONJUNTOS

50

En efecto

aplicando 2.10.2, ley de De Morgan, distributividad de la interseccin respecto de la

unin

(A

A b. B = (A -- B) U (B - A) = (A

n Be) U (B n Ae) =

=[(A n Be) u B] n [(A n Be) u AC] =

n B) - (A n e)= (A n B) n (A n e) =

=(A n B) n (A e U Ce)=

===(A U B)l(Bc U B) n (A U Ac)n (Be U Ae)=

n B n Ae) U {A n B n Ce)=
= if U (A n B n Ce) =A n B n ce

=_(A U B) n Un Un (Ae U Be)=

= (A

= (A u B) n (A e U Be)= (A U B) n (A n B)c = (A U B)- (A n B)

(2)

De acuerdo con (2), por ley distributiva de la unin respecto de la interseccin, por
ser se u B = A U Ac = U, por ser U neutro para la interseccin, por conmutatividad
de la unin, por ley de De Morgan y por 2.1 0.2.

De (1) y (2) resulta

A

n (B- C) =(A lB)-(A nC)

2.11. DIFERENCIA SIMETRICA

Sean A y B dos subconjuntos de U.

Las expresiones alternativas para a diferencia suntrica son

A 6. B=(A-B)U(B-A)=(AnBc)U(BnAc)=

=(A U B)- (A

n B) =(A
, U B) n (A n B)c

2.11.2. Propiedades de 1a diferencia simtrica '

2.1 lJ. Defmicin

I) CONMUTA TIVIDAD

Diferencia simtrica de los conjuntos A y B es la unin de los conjuntos A - B y

B-A.
la notacin es
A 1:!. B =(A- B) U (B- A)
(1)

y el diagrama correspondiente

A A B =(A- B) u (B- A) = (B- A) u (A- B) = B b. A

II) EXISTENCIA DE NEUTRO. En P (U), el vaco es neutro para la diferencia
simtrica. En efecto
Ab.cjJ= (A -cjJ) U(</J- A)= A Ulj)= A= cjJ~ A
III) EXISTENCIA DE INVERSOS. En una operacin entre elementos de un
conjunto (en este caso el conjunto es P (U). los elementos son los subconjuntos

de U y la operacin es 1a diferencia simtrica), interesa determinar si, dado un

conjunto, existe otro cuya diferencia simtrica con l es el neutro. Afirmamos
que tod~ conjunto A e U admite i mismo A como inverso respecto de la
diferencia simtrica.
En efecto
A b. A =(A- A) U (A.....: A)= cjJ U cjJ = </J

Otra identificacin de la diferencia simtrica es

A 1:!. B=(AnBc)U(BnAc)

(2)

que se deduce como consecuencia inmediata de la definicin, teniendo en cuenta que

la diferencia entre dos conjuntos es igual a la interseccin del prim~ro con el
complemento del segundo, segn 2.10.2.
Resulta tambin
A 1:!. B =(A U B)- (A n B)

L
l

'

!.

(3)

IV) ASOCIA TIVIDAD. Cualesquiera que sean A, B y C pertenecientes a P (U) se

verifica
(A A B) A C = A A (B 6 C)
Demostracin)

(A D. B)t. C = [(A B) n e:} U l(AA ay: n C]""

= { [(AnBc)u(AcnB)]ncc} u \{(AUB)l(AnBncnc}
=(Anscnee)u(Acnsncc\ 1. ' !fA.uBtu(AnB)]nc}

PRODUCTO CARTESIANO DE CONJUNTOS

CONJUNTOS

52

=(A n Be n ce) U (A e n B n Ce) U (A e n Be r) C) u (A n B n C') =

=(A n B n C) U (A n Be n Ce) U (A e n B n ce) U (A e n Be n C)

En este desarrollo se han utilizado las consecuencias de la definicin de diferencia

simtrica, leyes de De Morgan, distributividad de la interseccin respecto de la unin y
la conmutatividad.
Desarrollamos ahora el segundo miembro aplicando la conmutatividad de la
diferencia simtrica y utilizando el resultado anterior
A 6. (B 6 C) = (B 6 C) 6 A

= (8 n C n 'A) U (B n ce n A') U (Be n C n Ae) u (Be n ce n A) =

n B n(')U(Ac n Bn c.::)U(Ac n sen C) U(An sen

=(A

n C) =[(A n C) n (B n C)e] U [(A n Cy:' n (B n C)] =_

= f(A fi C) n (Be ucc)] U [(Ae U ce) n (B n C)] =
::;; (A n C n Be) U (A n C n Ce) U (A e n B n C) u (Ce n B n C) =
=(A n Be n C)U(/)U(Ac n B n C) U(/)=

(A n C) b. (B
(1)

(::)

(2)
Hemos utilizado las alternativas de la definicin de diferencia simtrica, la
distributivdad de la interseccin respecto de la unin, una ley de De Morgan, la
conmutatividad de la interseccin, la definicin de conjuntos disjuntos y la neutralidad
del iJ> para la unin.

De ( 1) y (2) resulta

2.12. PRODUCTO CARTESIA..~O

(A . B) . C = A . (B . C)

2.12.1

Ejemplo 216 .
i ) La diferencia simtrica entre los intervalos reales

{1 ,oo)6(-oo,3]=(3 ,"")U(-oo,l)

Par

ordenado

Dados dos elementos a y b interesa formar un conJunto que dependa de dichos

elementos y del orden en que se consideran.
Definicin

ii) En cambio
(1 , C<J) 6 (- oo, 3)

=[3 , oo) U(- oo, 1]

Par ordenado

Ejemplo 2-17.
Demostrar la ley cancelativa de la diferencia simtrica, es decir
A6B=A.C

~B=C

(a ,b) es el conjunto cuyos elementos son {a } y {a ,b}

(a , b) = { { a) , { a , b} }

a y b son la primera y la segunda componentes del par ordenado.

En particular se tiene
(a , a)= { {

En efecto
A.B=A..C ~ A.(AL\B)=A(A6C) =>
=> (A Ll A) Ll B =(A Ll A) Ll C ....

a} , {a, a }

Si a :l=b, entonces (a, b)::;(b ,a)

-Queda romo ejercicio la siguiente propiedad: dos pares ordenados son iguales si Y
5lo si tienen ws componentes respectivamente iguale!;,

=>9t.B=;;'>t>C => B=C

Ejemplo 228.
Demostrar la distributividad de la interseccin respecto de la diferencia simtrica.
Tesis) (A Ll B) n C =(A n C) 6 (B ri C) .
Demostracin) Desarrollamos los dos miembros por separado

2.12.2. Defmicin Y-.

Proqucto cartesiano de dos conjuntos A y B es el conjunto cuyos elementos son
todos los pares ordenados cuya primeta componente pertenece a A Y la segunda

a B.

(A Ll B) n C =[(A n Be) U (Aen B)] n C =

(I)

En smbolos
AX B=

{(a, b) j a A

bE B}

CO!\JUNTOS

54

l'RODUCT CARTI'.SlANO DF CONJUNTOS

En particular
A X A = A2 = { (a , b)

/a e A

1\

eA}

Ejemplo 129.
) Producto cartesiano de A = { 1 , 2 , 3 }

B=

{ 1 , 2}

A X B = { (I , l), (1 , 2), (2 , 1), (2. 2) , (3 , 1) , (3 , 2)}

ii ) Por ser pares ordenados, los elementos del producto cartesiano de dos

conjuntos pueden representarse mediante puntos del plano cuya abscisa y

ordc&ada sen, respecli\arnentc~ !a prh-n~ra y Li ~gunda ;.;Oinpuncntc.

Ejemplo 231.
Sean A= { x

R / ixi

<l}

B=R

Entonces
B

es la faja abierta de la figura

2

Los vrtices de la cuadricula obtenida son los elementos del producto cartesiano.
iii) El producto cartesiano no es conmutativo, pues
(3 , 1) A X B y ( 3 , 1) f B X A
=AXB;i:BXA

Ejemplo 2-30.
Sean los intervalos cerrados de nmeros reales

[a,b]= { xeRJa..;;.x<.b}

rc:dr:::{ yeR.lt::.?.y<.d}
Entonces

.::s el rectngulo cuyos lados son dichos intervalos.

AXB

-l

CONJUNTOS

56

OPERACIONES GENEltALIZADAS

Ejemplo 232.

I, es un intervalo natural inicial (conjunto de los n primeros nmeros naturales) y

se llama un conjunto de ndices.

El producto cartes'iano es distributivo respecto de la unin

Si el conjunto de ndices 1 se identifica con N, es decir,

(A U B) X C =(A X C) U (B X C)

1 = { 1 , 2 , 3 , ... , 11

En efecto
(x,y)E(AUB)XC<;:?xEAUB A yeC??
(x e A v x e B) 11 y e e <*
.::;. (.t A
y f C) V X E B '' y E C} ~
~(X, y) E A XC \i (x, vi B X ( ~

, } ,

entonces la familia de conjuntos { A1

B;(()

.
~
'

A; 1 .
,.,.;

A " y

t\

Unin de la familia {A;}

z E A}

un conjunto finito de conjuntos; en este caso podemos

A: U A~ U ... u A" :::::

1\1

i"" l

donde los segundos miembros denotan abreviadamente tales operaciones.

= { 1 , 2 .... , n }

, entonces escribimos
11

UA:::
i FIn

i=

ll

nA
i= 1

X /

3i

l (\

A }

es el conjunto

nA,={... x!xEA,Vi}

i t: l

t n eiememo pertcne;e a la lnferseccin si y slo si pertenece a todos !os conJunte!\

d i~:h.::t fJmili:.L
P:ua las umones .: interseccones generalizadas sunsisten la:. prupiedadcs del .:a:n
bnaro. En particular las leyes de De Morgan son
d~

(. Ut\J\"
=
E I
\

UA

es el conjunto

2.13.2. Definicin

U A1
!!

A" "'

Interseccin de la familia { A;}

i=

Si consideramos 1,

Es decir, un elemento pertenece a la unin de la familia si y slo si pertenece a

alguno de los conjuntos de dicha familia.

11

A::

i E

_U A =

formar la unin e interseccin de dicha familia, es.decir

,\

'=

Definicin

2.13. OPERACIONES GENERALIZADAS

An}

"'

nA,

una familia de conjuntos.

1E

2 , ,

j"

'j

En este caso, la representacin es espacial.

1,

An, .. }

i El

2.13. t. Sea

A =A X A X A= { (x ,y, z) i x

{A A

, ,

Tambin puede abreviarse la notacin de la familia de conjuntos

,...

Sus elementos son ternas ordenadas.

Como caso particuiar, se tiene

Sea

nA,=

= tA X B) XC

A2

UA;

UA,=
E

Hemos aplicado. sucesivamente: definiciones de producto cartesiano. de unin.

distributi'<idad de la conjuncin respecto de la unin, definiciones de producto
cartesiano y de unin.
El producto cartesiano de tres conjuntos se define mediante
A X B :x: (

se llama sucesin de conjuntos y la notacin es

~{X.Vlf(\XC)

57

'
/'

\ e

.(_nA;~ =
\.1 E

nA,c
i

e1

CONJUN10S

OPE,RACIONES GENIRAL!ZADAS

Ejemplo 2-33.

Indkando con el smbolo ;la unin en el caso disjunto, la expresin anterior en el

caso de una sucesin de conjuntos puede escribirse as

Operaciones con intervalos reales

i)

U[i-l,i)=[O,l)U[l,2)U[2,3)U ....

i = 1

= ~U

UA; = 1

ieN

{O ) = [O,oo}

(-~,
~~
1
r7

; = 1,

=(-l,I)nL*,
\ _

~)
_}

n .... ={o}
,

"" ~
l\
nw.
-,-1
= 1\

=(0.1)

(c,o.-:;-,
1)
'

l)
n 10.
- , n .... = q,
3.1
\

_,

J=l

Af =

rJ>

b) Todo elemento del primer miembro pertenece al segundo.

xe

Sea

U
ie

En Probabilidades se utilizan uniones de conjuntos disjuntos y en lugar de utilizar

las notaciones
para el caso

A0 B=

A => 3 i e N x e A

Si k es el menor entero positivo para el cual x e A,.. se tiene x t A U Az U ...

U Alr-l ya que x no pertenece a ningn A con i <.k.

2.14. UNIONES DISJUNTAS

Au B

... n A~. 1 n A1

(Afn ... nAf. 1 nA;)n(A~n ... nAn ... nAf- 1 nA)=

= JI pues A; n

i)

+ i: A~ nA~ n

Se trata de probar esta igualdad.

a) El segundo miembro es una unin disjunta.
Sean dos trminos de la sumatoria con i i= j, por ejemplo: i < j. Se tiene

donde R denota el conjunto d~ los nmeros reales positivos.

)

59

Luego

rp

es usual escribir

A+B
smbolo que indica una unin disjunta.
S se tiene una unin arbitraria de conjuntos, sta puede expresarse como unin
disjunta de la siguiente manera
AUB =A+Ac nB

y en consecuencia x pertenece al segundo miembro.

e) Sea ahora un elemento del segundo miembro. Por ser una unin disjunta. dicho
elemento pertenece a uno y slo uno de los trminos. es decr

3k

1x e A~ n

=>xe

Consideremos ahora la unin de tres conjuntos 1 , A2 y A 3 ; la podemos expresar

como unin disjunta mediante
3

UA = A1 + Ai n A2

i= 1

n ... n Ak. 1 n A 11 =

=> x e A,. para un nico k=>

A~

+ Ai n A~ n A3

UA;
ieN

TRABAJO PRACTICO Il

A= { x Z /lxl < 4}
{ x e. Z / xl 6 }

2-40. Si

B=

61

Y
determinar

AUB, AnB, A-B ,B- A ,Al'..B

241. Fonnar todos los rubconjuntos de

TRABAJO PRACTICO 11

A = { ( 0,0) , ( 1,O ) }
J-4:1. Siendo A ""

234. Se cons1dera un experimento aleatorio consistente en lanzar tres monedas. Si una

moneda cae cara. se anota 1, y si cae sello se anota O. Fonnar el conjunto cuyos

{a . b}

, obtener P ( ,!\

2-43, Demostrar

elemenos son los posibles resultados del experimento.

2-35. Con nlacin al ejercicio anterior, determinar por extensin los siguientes subconjurttos:

(A

B) e A C (A U B)

Z-44. Demostrar
ACB

ACC

=;>

AC(BnC)

S 1 : se dan ms caras que sellos.

2-45. De mostrar que si dos conjuntos estn incluidos en un tercero, entonces su unin

S2

s~ obtienen al menos dos caras.

S3

se obtiene el mismo resultado en las tres monedas.

tambin lo est.

246. Demostrar

2-36. Con los conjuntos defmidos en 2-30, obtener:

S~ ;S2 -S3 ;S ns3 ;(S2 US 3 )nS

2-37. Sean los conjuntos

247. Demostrar
A- B =A -(An B) =(A UB) -B

A= { x e Z lix.;;; 3}
B

= {x E Z x2 < 7 }

2-48. Demostrar
(A

u B)- C ={A - C) U (B- C)

detenninar A 1 B , A U B , A - B , B - A , A !:.. B

24 9. Demostrar

2-38. Dados
~

A=~

xeR

B""

xeR.!x~J.:r;::;

?
1

(A n B)-C =(A -C) n(B -C)

:x--;-~~~,
l

'

2.5t/,

D~:rnostrar

251. Demostrar

Obtener A n B . A u B . B"

A_ tB - C) =(A - B) U (A n C)

2-39. Siendo

252. Demostrar
A = { x e R 1x 2

1 = O}

B = { x e R /lxl

1 }

obtener A n B, (A U B)e

(A- B)- C C A- (B- C)

2-53. Demostrar

A U(B -C) =(A U B)-(C- A)

CONJUNTOS

TRAUAJO PRACTICO 11

63

2-54. Demostrar

A= (A

268. Demostrar

n B) u (A n Be)

i) A-(A- B)= A n B

'2 55. Demostrar

ii) A U (B -A)= A U B
~(A-B)UB=A

BCA

2-69. Demostrar la equivalencia de

256. Demostrar

AUB=U
(A- B) U B = A U B

A C Be
AB=;f>~A=B

AXB=t,b ~ A=t,b v B=t,b

ACB

2 72. Sean U t,b y A una familia no vaca de subconjuntos de U, es decir: A C P (U).

Por defmicin, A es un lgebra de Boole de partes de U, si y slo si A es
cerrada para la complementacin, para la unin, y contiene al vaco. Es decir

261. Demostrar

(A- B) X e::::; (A XC) -(B XC)

i )

262. Demostrar

n C) C (B n C)

2-63. Demostrar

AeB

AeC

1\

e (\

Be

AUB=C =A=C-B

1\

2-66. Demostrar

ili) A n A e = p

cpc

iv) AUAC=U

'!-67. Demostrar

AUB=U

1\

AnB=cfJ=>B=Ac

Ac eA
=~>

AA

i li 1

ili) peA

273. Sean: S1 =F rp, A~ B dos lgebras de Boole de partes de !2. Demostrar que A n B
es un lgebra de Boole.

e ~ (A u B) e e

2-65. Demostrar
AnB=J

=~>

donde I denota un conjunto de ndices a lo sumo numerable.

Demostrar que A contiene a U, y que es cerrado para la interseccin.

AC(BnC)

164. Demostrar

Ae

AeA

) AeA,iel

) A e B =~> (A U C) e (B U C)
) A e B =~> (A

B)

e (A U BU e) = e (A) +e (B) +e (e)- e (A n B)-e (Ane)-e (B n e) +e (A n B n e)

(A '"'B) X C =(A X e) n (B X e)

<P

Demostrar

CCD~AXCCBXD

2-60. Demostrar

ii)

An B=

e (A U B) = e (A) +e (B)- e (A n

2-59. Demostrar

271. Si A tienen elementos escribimos e (A)= n (cardinal de A es igual a n). Si A y B

son finitos, entonces el cardinal de la unin es igual a la suma de los cardinales,
menos el cardinal de la interseccin, es decir

2-58. Demostrar

uc = cp

AceB

2-70, Demostrar la equivalencia de

257. Demostrar

i )