Familias de Conjuntos
Familias de Conjuntos
Familias de Conjuntos
Xiomara Contreras
Universidad Simn Bolvar
Departamento de Computacin y TI
Enero 2013
Definicin:
Una familia F es un conjunto tal que sus elementos
son conjuntos. Es decir,
Familia
( ) conjunto es x F x x
familia es F
e
)} ( : { y x F y y x F e . e - =
Operaciones en familias de conjuntos
)) ( ( y x F y y F x x e . e - e
Definicin(Unin):
Suponga F una familia, entonces la unin de F, es el
conjunto definido por:
Alternativamente se puede indicar que:
Definicin(Interseccin):
Suponga F una familia no vaca, entonces se define el
conjunto por:
F
)} ( : { B x F B B x F e e =
Ejemplo:
C =
C C =
C C C C =
F
F
F
}} { , {
}}} { , }.{ { , {
( )
F B F B B b _ e )
( )
A F A B F B B a _ _ e )
Proposicin:
Sean A un conjunto y F, F1 familias cualesquiera.
Los siguientes planteamientos se satisfacen (ver
texto de Yriarte):
) ) 1 ( ) 1 ( ) (( ) 1 1 ( )
F F F F F F F F c _ C = . C = . C =
) 1 ( 1 ) F F F F d =
Definicin (familia indexada):
Suponga un conjunto de ndices I tal que para cada
ie I ( Ai es un conjunto). Entonces al conjunto F,
se le denomina familia indexada.
Alternativamente, se puede indicar que,
)) ( (
i
A x I i i F x x e . e - e
} : { I i
i
A F e =
(|)
Para una familia indexada como en (|) se
representa la unin sobre F por:
)} ( : {
i
A x I i i x
I i
i
A F e . e - =
e
=
La interseccin sobre una familia indexada no
vaca de forma similar a como se defini en
(o) se indica por:
)} ( : {
i
A x I i i x
i
A
I i
F e e =
e
=
Sea I=N (N es el conjunto de los nmeros
Naturales). Para cada i en I, se define el
conjunto Ai por:
Ejemplo:
)}} 0 ( : { i x N x x
i
A s s . e =
Es decir,
. },... 1 , 0 {
1
}, 0 {
0
= = A A
Entonces,
N
i
i
A F =
>
=
0
0
0
A A F
i
i
= =
>
Distributividad:
) ( ) ( B
I i
i
A B
I i
i
A
e
=
e
Dados B un conjunto y F una familia como en
(|) se tiene que:
) ( ) ( B
I i
i
A B
I i
i
A
e
=
e
Si suponemos adems que F es no vaca.
Entonces,
Dadas F y F1 dos familias indexadas donde los
respectivos conjuntos de ndices son I, J
respectivamente. Es decir,
} : { I i
i
A F e = } : { 1 J j
j
B F e =
Si F =C, F1 =C . Entonces,
) ( ) ( ) (
j
B
I i J j
i
A
J j
j
B
I i
i
A
e e
=
e
e
Entonces,
J j
j
B
i
A
I i J j
j
B
I i
i
A
e
e
=
e
e
) ( ) ( ) (