FUNDAMENTOS

DE CIENCIAS DE LA COMPUTACION

CONJUNTOS

CONJUNTOS
Una reunin o coleccin de
objetos bien definidos.
Elementos.
Los objetos que forma parte
del conjunto
Notacin
Por extensin. A={a,b}
Por comprensin. A={ x/x4>0}

PERTENECIA
De todos los elementos que
forman parte de un conjunto
se dice que le pertenecen.
Conjunto finito e infinito
Es aquel que tiene un nmero
determinado de elementos,
pudindose contarlos, en caso
contrario es infinito.
A={a,b,c,.z}
B={x/x sea un nmero entero positivo menor a
1000}
C={x/x sea un nmero entero }
D={..,-10,-8,-6,-4}

Conjunto vaco
Que no tiene elementos
A={ }
B=
Conjunto universo
Est formado al menos por
todos los elementos del
conjunto.
Sean A={1,2,3,4} B={1,3,4}
C={2,7}
U= {1,2,3,4,7}
U= {1,2,3,4,7, 8,9}

Subconjunto
Considerando dos conjuntos no
vacios A y B, A es un
subconjunto de B s y slo s
todos y cada uno de los
elementos de A pertenecen
tambin a B.
A B ssi x A, x B
Igualdad
Considerando dos conjuntos no
vacios A y B, A es igual a B s y
slo s A es un subconjunto de
B y B es un subconjunto de A.
A=B ssi AB y BA

Subconjunto propio
Considerando dos conjuntos no
vacios A y B, A es un
subconjunto propio de B s y
slo s es un subconjunto B y
existe algn o algunos
elementos de B que no
pertenecen a A.
A B ssi AB y x B, x A
Contenencia
Considerando dos conjuntos no
vacios A y B, A est contenido
en B (B contiene A) ssi A B

Conjuntos comparables
Considerando dos conjuntos no
vacios A y B son comparables ssi A
es un subconjunto de B o B es un
subconjunto A.
A y B son comparables ssi AB o BA
Conjuntos intersecantes
Dos conjuntos no vacos son
intersecantes ssi tienen elementos
comunes
Familia de conjuntos
A un conjunto cuyos elementos son
nicamente conjuntos se les llama
familia de conjuntos o conjunto de
conjuntos
A={{1,2},{1}} B={,{1,2}

Conjunto potencia
El conjunto potencia de un conjunto
dado A es el formado por todos los
subconjuntos de A
A={a,b}
Conjunto potencia de A
PA= {,{a},{b},{a,b}}
Diagrama de Venn Euler

LEYES DE CONJUNTOS

A A =A

IDEMPOTENCI
A

AA =A

ASOCIATIVA

A(BC)=(AB)C
A(BC)=(AB)C

CONMUTATIVA

AB=BA

DISTRIBUTIVA

AB=BA

A(BC)=(AB) (AC)
A(BC)=(AB) (AC)

IDENTIDAD

A = A =A
AU =A A U =U

COMPLEMENTO

AA = A A =U
(A) =A AB =A-B
=U
U=

DE MORGAN

(AB)=A B
(A B)=A B

ABSORCION

A(AB)=A
A(AB)=A

Operaciones
Unin
A AB
AA=A

A B = {x/x A v x B}
AB=BA
A(BC)=(AB)C

Interseccin

AB={x/x A ^ x B}
ABA
ABB
AB= BA
AA=A
A(BC)= (AB) C A(B C)= (AB) (AC)
A (B C)= (A B) (A C)

Diferencia

A-B = {x/x A ^ x B}
A-B A
B-A B

Complemento

Considerando U el universo de A.
A= {x U/ x A} o A= {x / x A}
(A) = A
A-B=A B
B-A= BA
AA=
U=
= U
(A B)= A B
(A B)= A B A A=U

Conjuntos comparables

A y B son comparables ssi A es un subconjunto

de B o B es un subconjunto de A

AB ssi AB =A AB ssi A B =A
AB ssi AB = AB ssi A B =U
AB ssi BA
Cardinalidad
El conjunto ordenado de los naturales se
usa para contar, proceso que consiste
en poner en correspondencia
biunvoca (uno a uno) a un
subconjunto de los naturales con los
elementos de otros conjuntos.
A= {a,b,d}
B={1, 2,3} La cardinalidad es 3
AyB son equivalentes

Muchas gracias