Algebra de conjuntos

Sean A y B 2 conjuntos

Definición:

Se define la UNION de A con B como el conjunto formado por todos los elementos de A junto con
todos los elementos de B y se denota.

AUB= {x| x Є A o x Є B}

Ejemplo:

1.- Sean A = {a, b, c, d, e}

B = {a, e, i, o, u}

AUB = {a, b, c, d, e, a, e, i, o, u}

2.- Sean P = {x| x es par} y T = {x| x es múltiplo de 3}

a) 10 Є PUT? Si, 10 Є P

b) 21 Є PUT? Si, 21 Є T

c) 6 Є PUT? Si, 6 Є P

d) 25 Є PUT? No, 25 Є T y 25 Є P

e) 367295169122430691227 Є PUT? Si

AUA = A doble contención

i) AUA c A
ii) A c AUA
i) AUA c A

Sea x Є A ent.

xЄA o x Є A ent.

xЄA

ii) A c AUA

Sea x Є A ent.

xЄA o x Є A ent.
xЄAUA

∴AUA=A

Teorema

AUØ=A

Demostración

Por doble contención

i) AUØcA
ii) AUØ
i) AUØcA
Sea xЄAUØ ent.
xЄA o xЄØ ent.
xЄA
ii) A Є AU Ø

Sea xЄA ent.

xЄA o x Є Ø ent.

xЄAUØ

∴ AUØ=A

Teorema:

AUB=BUA

Demostración:

Por doble contención:

i) AUBcBUA
ii) BUAcAUB
iii)
i) AUBcBUA

Sea xЄAUB ent.

xЄA o xЄB ent.

x Є B o x Є A ent. xЄBUA

ii) BUAcAUB
Sea xЄB o x ЄB ent.

xЄB o xЄA ent.

xЄA o xЄB ent.

x Є AUB

∴ AUB = BUA

2 + (3+4) = (2+3) + 4

2+3+4 = 9

2X3+4

Observación:

La unión de conjuntos forma su semi-conjunto abeliano

Conmutatividad abeliana

Sean A y B 2 conjuntos

Se define la INTERSECCION de A con B como el conjunto formado por todos los elementos comunes
entre A y B y se denota

A ∩ B {x |x ЄA y x Є B}

Ejemplo:

Sean F = {2, 4, 6, 8, 10}

G = {1, 2, 3, 4, 5, 6, 7}
F∩G = {2, 4, 6}

Observación:

Cuando 2 conjuntos no tienen elementos en común diremos que los conjuntos son:

DISJUNTOS O AJENOS

Teorema:

A∩A = A

Demostración

Por doble contención

i) A∩A c A
ii) AcA∩A

i) A∩A c A

Sea x Є A∩A ent.

xЄA o xЄA ent.

xЄA

ii) AcA∩A

Sea x Є A ent.

xЄA o xЄA ent.

xЄA o xЄB ent.

x Є A∩A

∴ A= A∩A

Teorema

A∩B = B∩A

Demostración

Por doble contención

i) A∩B c B∩A
ii) B∩A c A∩B

i) A∩B c B∩A

Sea x Є A∩B ent.

xЄB o x Є A ent.

x Є B∩A

ii) B∩A c A∩B

Sea x Є B∩A ent.

xЄB o xЄA ent.

xЄA o xЄB ent.

x Є A∩B

∴ A∩B = B∩A

Teorema:

A∩Ø=Ø

Por contradicción supongamos que ∃x tal que:

x Є A∩Ø

xЄA y xЄØ

xЄØ #

Luego el elemento que suponíamos existe no existe

∴ A∩Ø=Ø

Definición:

Al hablar de varios subconjuntos de su mismo conjunto llamaremos CONJUNTO UNIVERSO y se

denota ℧= Universo

Definición:

Sea A ⊆ ℧
Se define COMPLEMENTO de A (respecto a ℧) como el conjunto de elementos de ℧ que no esta en
A y se denota

𝐴𝑐 = A – complemento

𝐴𝑐 = {x | x ∉ A}

r ЄM rЄM

r∉M r Є 𝑀𝑐

Ejemplo

1.- Sean ℧ = {1, a, 2, b, 3, c, 4, d, 5, e}

V = {x| x es par}

D = {x |x es digito}

C = {2, b, 3, c, 4}

F = {x | x es vocal}

i) 𝑉 𝑐 = {1, a, b, 3, c, d, 5, e}

𝐷𝑐 = {a, b, c, d, e}

𝑐 𝑐 = {1, a, d, 5, e}

ii) (F ∩ D)c ∪ V

F = {1, 2, b, 3, c, 4, d, 5} ∩ {1, 2, 3, 4, 5}𝑐 ∪ {2, 4}

= ({1, 2, 3, 4, 5})𝑐 ∩ {2, 4}

= {a, b, c, d, e} ∪ {2, 4}

= {a, b, c, d, e, 2, 4}

iii) (𝐷𝑐 ∪ 𝐹 𝑐 )𝑐 ∩ (𝑉 ∪ 𝐶 𝑐 )𝑐

= ({a, b, c, d, e} ∪ {1, 2, b, 3, c, 4, d, 5, e})𝑐 ∩ {2, 4}∪{1, a, d, 5, e}

=({1, a, 2, b, 3, c, 4, d, 5, e})𝑐 ∩ {1, a, 2, d, 4, 5, e})𝑐

= { } ∩ {b, c, 3}

= {Ø}