Partición (matemática)

De Wikipedia, la enciclopedia libre

En matemática, diremos que la familia de subconjuntos {A_i: i ∈ I} de un conjunto A es una partición (sobre A) si se cumple que:

1. A_i ≠ ∅ para todo i ∈ I.
2. La unión de todos los A_i es igual a A.
3. A_i ∩ A_j = ∅, para todo i, j ∈ I, tales que i ≠ j.

Por lo tanto, se trata de un recubrimiento en el que los subconjuntos pertenecientes a la familia, dos a dos, son disjuntos (es decir, su intersección es vacía).

[editar] Ejemplos

• Todo conjunto de un elemento {x} tiene exactamente una partición: { {x} }.
• Para cualquier conjunto no vacío X, P = {X} es una partición de X.
• El conjunto { 1, 2, 3 } tiene estas 5 particiones:
  • { {1}, {2}, {3} }, a veces notada por 1/2/3.
  • { {1, 2}, {3} }, a veces notada por 12/3.
  • { {1, 3}, {2} }, a veces notada por 13/2.
  • { {1}, {2, 3} }, a veces notada por 1/23.
  • { {1, 2, 3} }, a veces notada por 123.
• Obsérvese que
  • { {}, {1,3}, {2} } no es una partición (pues contiene al conjunto vacío).

[editar] El número de particiones de un conjunto finito

El número de Bell B_n, nombrado así en honor a Eric Temple Bell, es el número de particiones diferentes de un conjunto con n elementos. Los primeros números de Bell son: B₀ = 1, B₁ = 1, B₂ = 2, B₃ = 5, B₄ = 15, B₅ = 52, B₆ = 203 (secuencia A000110 en OEIS)

Los números de Bell satisfacen la siguiente relación recursiva: .

[editar] Véase también

• recubrimiento (matemática)

El contenido de esta página es un esbozo sobre lógica matemática. Ampliándolo ayudarás a mejorar Wikipedia. Puedes ayudarte con las wikipedias en otras lenguas.