Multiconjunto
De Wikipedia, la enciclopedia libre
En matemáticas un multiconjunto (también llamado bolsa o bag, en el original) difiere de un conjunto en que cada miembro del mismo tiene asociada una multiplicidad (un número natural), indicando cuántas veces el elemento es miembro del conjunto, Por ejemplo, en el multiconjunto { a, a, b, b, b, c }, las multiplicidades de los miembros a, b, y c son 2, 3, y 1, respectivamente.
[editar] Definición formal
En teoría de conjuntos, un multiconjunto se define como el par (A, m) donde A es un conjunto y m : A → N es una aplicación de A a N (números naturales positivos). A se conoce como el conjunto subyacente de elementos. Para cada a de A, la multiplicidad de a es el número m(a).
Es común escribir la función m como un conjunto de pares ordenados {(a, m(a)) : a ∈ A}. Siendo esta, sin duda, la definición (utilizando teoría de conjuntos) de la función m. Por ejemplo:
- El multiconjunto escrito como {a, b, b} se define como {(a, 1), (b, 2)},
- El siguiente {a, a, b}, por su parte, se define como {(a, 2), (b, 1)}, y
- Finalmente, el multiconjunto {a, b} se define como {(a, 1), (b, 1)}.
Si el conjunto A es finito, el tamaño o longitud del multiconjunto (A, m) es la suma de todas las multiplicidades para cada elemento de A:
Un submulticonjunto (B, n) del multiconjunto (A, m) es un subconjunto B ⊆ A y una aplicación n : B → N tal que n(a) ≤ m(a).
[editar] Ejemplos
Uno de los ejemplos más simples el el multiconjunto de los factores número primo de un número n. El conjunto subyacente de elementos, en este caso, es el conjunto de divisores primos de n. Por ejemplo, para el número 120 obtenemos la factorización:120 = 233151, que resulta el multiconjunto {2, 2, 2, 3, 5}.
Otro ejemplo conocido es el multiconjunto de soluciones de una ecuación algebraica. Una ecuación cuadrática, por ejemplo, tiene dos soluciones; aunque en algunos casos, ambas pueden ser el mismo número. Así, el multiconjuntno de soluciones de una ecuación cuadrática puede ser { 3, 5 }, pero también { 4, 4 }. En este último, la solución 4 tiene multiplicidad 2.
