Cardinal de una unin de conjuntos. Artculo de la Enciclopedia.

15/02/12 12:34

Cardinal de una unin de conjuntos

Artculo de la Enciclopedia Libre Universal en Espaol.

ndice
1 Introduccin con ejemplos
2 Caso general
2.1 Frmula
2.2 Prueba
3 Aplicacin
4 Referencias
Un ejemplo sencillo: cardinal de
una unin de dos conjuntos

Introduccin con ejemplos

Sean A1, A2, A3 ... An conjuntos. Conociendo el cardinal de cada conjunto, as como el cardinal de cada
interseccin de dos, tres ... n conjuntos, se quiere hallar una frmula para calcular el cardinal de la unin
.
En ciertos lugares del planeta, esta frmula se conoce bajo el nombre de frmula de la criba o principio de la criba. Sin embargo la apelacin ms
conocida es principio de inclusin-exclusin. La vamos a descubrir generalizando a partir de la unin de dos y luego de tres conjuntos.
Sean A y B dos conjuntos, de interseccin A B (en verde en la figura). Para contar todos los elementos de la unin A B, primero contamos los
de A (en amarillo y verde en la figura), luego los de B (en azul y verde) y sumamos los dos nmeros. Pero ... los elementos de la interseccin han
sido contados dos veces. Entonces tenemos que restar a la suma el cardinal de la intersectin, #(A B).
La frmula es por lo tanto:

Se puede remplazar el cardinal por otra medida de conjuntos, por ejemplo por una
probabilidad, si A y B son eventos probabilsticos:

Consideremos ahora un tercer conjunto C, que interseca los dos primeros.

Sumamos primero todo lo que hay en A, B y C separadamente.
Al hacerlo, contamos dos veces los elementos de A B, B C y C A.
Luego debemos restar estos tres conjuntos.
Pero los elementos de A B C han sido contados tres veces y restados otras tantas, por lo
que tenemos que contabilizarlos de nuevo.
La frmula es por tanto :

Diagrama en el caso de tres eventos

probabilsticos

Caso general
Frmula
http://enciclopedia.us.es/index.php/Cardinal_de_una_unin_de_conjuntos

Pgina 1 de 4

Cardinal de una unin de conjuntos. Artculo de la Enciclopedia.

15/02/12 12:34

La frmula general, con los conjuntos A1, A2, A3 ... An es:

Una escritura ms rigurosa aunque menos legible es:

Finalmente, si se renuncia a reunir las intersecciones que involucran el mismo nmero de conjuntos, se obtiene la frmula siguiente, ms sencilla y
abstracta:

Como anteriormente dicho, este teorema se generaliza a cualquier medida m de un espacio mtrico, o cualquier probabilidad p:

Prueba
Se puede demostrar esta frmula por induccin sobre el nmero de conjuntos involucrados. Para dos y tres es cierta por construccin; tambin lo es
para uno y cero conjunto si se mira atentamente (recordando que la sumas de ningn elemento es el neutro de la adicin, es decir cero, y que una
unin de ningn conjunto es el neutro por la aplicacin unin es decir el conjunto vaco).
Supongamos la frmula cierta para n conjuntos, (A1, A2, A3 ... An) y aadamos uno ms en la unin: An+1.
Pongamos

y apliquemos la frmula para

La primera suma corresponde a los

, el trmino #An+1 corresponde a I = {n+1}, y la ltima suma se reescribe:

con I' = I {n +1} ( #I' = #I + 1; -(-1)#I + 1 = (-1)#I' + 1 ), y corresponde, cuando I' se renombra en I, a los I que contienen a n + 1 y otro(s)
elemento(s).
Reuniendo los tres casos anteriores - I no contiene n + 1, I contiene solamente n + 1 , I contiene n + 1 y algo ms - se obtiene la suma sobre todos
los

es decir

, que es la frmula para n + 1 lo que termina la induccin.

Aplicacin
He aqu un problema clsico de combinatoria: Varios caballeros invitados a una reunin dejan en el vestbulo sendos sombreros. Al terminar esta,
http://enciclopedia.us.es/index.php/Cardinal_de_una_unin_de_conjuntos

Pgina 2 de 4

Cardinal de una unin de conjuntos. Artculo de la Enciclopedia.

15/02/12 12:34

un corte de luz les impiden distinguir los sombreros, y cada uno se lleva uno al azar. Cul es la probabilidad que ningn caballero se quede con el
suyo?
La respuesta depende obviamente del nmero n de caballeros. En trminos matemticos, se han permutado los sombreros, y se quiere contar el
nmero de permutaciones sin punto fijo, es decir tal que
(las personas son numeradas de 1 a n, (i) = j significa
que la persona i se ha llevado el sombrero de la persona j).
Sean

el conjunto de las permutaciones que dejan el nmero i fijo.

El nmero de permutaciones de n elementos es

, la factorial de n.

(i siendo fijo, quedan n - 1 elementos que pueden permutar libremente entre si).
Con i j,
distintos tiene como cardinal (n - k)!
Formalmente: Con #I = k,

(i e j fijos, n - 2 elementos permutan libremente), y ms generalmente, la interseccin de k conjuntos Ai

. Adems hay

intersecciones de k conjuntos distintos Ai.

Entonces la formula da

Las permutaciones que no contienen puntos fijos son las que no pertenecen a la unin de los Ai, luego estn en el conjunto complementario, cuyo
cardinal es:

.
La probabilidad se obtiene dividiendo el cardinal calculado por el del conjunto entero de las permutaciones:

Esta suma es una suma parcial de una serie exponencial, que converge muy rapidamente hacia

, donde e 2,7182818285 es la base de los

logaritmos neperianos.

Referencias
Notas
Bibliografa
Autor: M.Romero Schmidtke
Obtenido de http://enciclopedia.us.es/index.php/Cardinal_de_una_uni%C3%B3n_de_conjuntos
Categora: Matemticas
Esta pgina fue modificada por ltima vez el 29 oct. 2010, a las 13:56.
La pgina ha recibido 10.790 visitas.
Todo el contenido se distribuye segn la Licencia Creative Commons Compartir Igual 3.0, clusulas adicionales pueden ser de aplicacin.

http://enciclopedia.us.es/index.php/Cardinal_de_una_unin_de_conjuntos

Pgina 3 de 4

Cardinal de una unin de conjuntos. Artculo de la Enciclopedia.

15/02/12 12:34

Poltica de privacidad
Sobre la Enciclopedia Libre
Denegacin de garantas

http://enciclopedia.us.es/index.php/Cardinal_de_una_unin_de_conjuntos

Pgina 4 de 4