Nota 23. Combinaciones.

(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

En la presente nota veremos el concepto de combinaciones, para ello consideraremos un conjunto finito y a todos sus subconjuntos con un número determinado de elementos. Este concepto es ampliamente usado en matemáticas, particularmente en probabilidad, y está relacionado también íntimamente en la forma de elevar un binomio a un exponente natural.

Definición

Sean $n, m \in N$ con $m \leq n$ , $A$ un conjunto con $n$ elementos. Las combinaciones de los elementos de $A$ tomados de $m$ en $m$ son los subconjuntos de $A$ de $m$ elementos. Denotamos por $(\binom{n}{m})$ al número de combinaciones de un conjunto de $n$ elementos tomados de $m$ en $m$ .

Ejemplo

Considera el conjunto $A = {a, b, c, d}$ , con $a$ , $b$ , $c$ y $d$ elementos distintos. Obtengamos todas las combinaciones de $A$ .

Sólo hay una combinación de los elementos de $A$ tomados de $0$ en $0$ , el conjunto vacío, y sólo una combinación de los elementos de $A$ tomados de $4$ en $4$ , el conjunto $A$ , entonces

$(\binom{4}{0}) = (\binom{4}{4}) = 1.$

Las combinaciones de los elementos de $A$ tomados de $1$ en $1$ son: ${a}$ , ${b}$ , ${c}$ , ${d}$ .

Las combinaciones de los elementos de $A$ tomados de $2$ en $2$ son ${a, b}$ , ${a, c}$ , ${a, d}$ , ${b, c}$ , ${b, d}$ , ${c, d}$ . Así

$(\binom{4}{2}) = 6.$

Las combinaciones de los elementos de $A$ tomados de $3$ en $3$ son ${a, b, c}$ , ${a, b, d}$ , ${a, c, d}$ , ${b, c, d},$ por lo que

$(\binom{4}{3}) = 4.$

Observación 1

Para todo natural $n$ se tiene que $(\binom{n}{0}) = (\binom{n}{n}) = 1.$

Demostración.

Sea $A$ un conjunto finito con $n$ elementos. El único subconjunto de $A$ con cero elementos es el vacío, entonces $(\binom{n}{0}) = 1,$ y el único subconjunto de $A$ con $n$ elementos es $A$ , entonces $(\binom{n}{n}) = 1.$

Observación 2

Para todo natural $n \geq 1$ se tiene que $(\binom{n}{1}) = (\binom{n}{n - 1}) = n .$

Demostración.

Dado $A = {a_{1}, \dots, a_{n}}$ un conjunto finito con $n$ elementos los subconjuntos de $A$ con un elemento son ${a_{i}}$ con $i \in {1, \dots, n}$ que son todos distintos entre sí. Entonces $(\binom{n}{1}) = n .$ .

Considera que para obtener subconjuntos de $n - 1$ elementos de $A$ , debemos tomar todos los elementos de $A$ salvo uno, y como $A$ tiene $n$ elementos entonces eso se puede hacer de $n$ formas distintas, una por cada elemento de $A$ que dejemos fuera del subconjunto. Entonces los subconjuntos de $A$ con $n - 1$ elementos son $A ∖ {a_{i}}$ con $i \in {1, \dots, n}$ que son todos distintos entre sí. Así, $(\binom{n}{n - 1}) = n .$ .

Teorema

Sean $n, m \in N^{+}$ , $m \leq n$ , entonces $(\binom{n}{m}) P_{m} = O_{m}^{n}$ .

Demostración

Sean $A$ un conjunto con $n$ elementos, $O$ el conjunto de ordenaciones de $A$ tomados de $m$ en $m$ , $C$ el conjunto de las combinaciones de los elementos de $A$ tomados de $m$ en $m$ .

Definimos $φ : O \to C$ como:

$φ (f) = φ ((\begin{matrix} 1 & \dots & m \\ f (1) & \dots & f (m) \end{matrix})) = {f (1), \dots, f (m)}$ .

Veamos que $φ$ es suprayectiva. Si $c \in C$ , entonces $c$ es un subconjunto de $A$ con $m$ elementos, es decir $c = {b_{1}, \dots, b_{m}}$ , con $b_{1}, \dots, b_{m} \in A$ distintos. Así:

$f = (\begin{matrix} 1 & \dots & m \\ b_{1} & \dots & b_{m} \end{matrix}) \in O$ .

y entonces:

$φ (f) = φ ((\begin{matrix} 1 & \dots & m \\ b_{1} & \dots & b_{m} \end{matrix})) = {b_{1}, \dots, b_{m}}$ .

Por lo tanto $φ$ es suprayectiva.

Sean $C_{1}, \dots, C_{k}$ los distintos subconjuntos de $A$ con $m$ elementos, donde $k = (\binom{n}{m})$ . Para cada $i \in {1, \dots, k}$ consideremos:

$O_{i} = {f \in O ∣ φ (f) = C_{i}}$

$O$ es la unión disjunta de $O_{1}, \dots, O_{k}$ y entonces, por ser disjuntos y por el principio de la suma tenemos que:

$# O = # (O_{1} \cup \dots, \cup O_{k}) = # O_{1} + \dots + # O_{k} .$

Pero si $f = (\begin{matrix} 1 & \dots & m \\ f (1) & \dots & f (m) \end{matrix}) \in O$ , es tal que $φ (f) = C_{1}$ , entonces las funciones de $O_{1}$ se obtendrán colocando en el segundo renglón del arreglo que describe la función, las distintas permutaciones de ${f (1), \dots, f (m)}$ que son $P_{m}$ , y así:

$# O_{1} = P_{m} .$

Y análogamente $# O_{i} = P_{m} \forall i \in {1, \dots, k} .$

Por lo tanto:

$# O = # O_{1} + \dots + # O_{k}$ , es decir, sumar $k$ veces el número $P_{m}$ , en consecuencia:

$# O = k P_{m}$ ,

y como $k = (\binom{n}{m})$ , entonces:

$# O = (\binom{n}{m}) P_{m} .$

Observa que $O_{n}^{m} = # {f : {1, \dots, m} \to {a_{1}, \dots, a_{n}} ∣ f es inyectiva} = # O .$

Por lo tanto $(\binom{n}{m}) P_{m} = O_{m}^{n}$ que es justamente lo que queríamos probar.

Corolario

Sean $n, m \in N^{+}$ , $m \leq n$ , entonces $(\binom{n}{m}) = \frac{n!}{m! (n - m)!}$ .

Demostración

Por el teorema anterior sabemos que $(\binom{n}{m}) = \frac{O_{n}^{m}}{P_{m}}$ , y por lo que vimos en las entradas previas tenemos que:

$\frac{O_{n}^{m}}{P_{m}} = \frac{n (n - 1) \dots (n - m + 1)}{m!}$ ,

entonces $(\binom{n}{m}) = \frac{n (n - 1) \dots (n - m + 1)}{m!}$

Multiplicando arriba y abajo por $(n - m)!$ tenemos que:

$(\binom{n}{m}) = \frac{n (n - 1) \dots (n - m + 1) (n - m)!}{m! (n - m)!}$

$= \frac{n (n - 1) \dots (n - m + 1) (n - m) \dots 2 \cdot 1}{m! (n - m)!}$

$= \frac{n!}{m! (n - m)!} .$

Tarea Moral

1. ¿Cuántas diagonales se pueden trazar en un polígono regular de $n$ lados?

2. Un club de voleibol tiene $12$ jugadoras, una de ellas es la capitana María. ¿Cuántos equipos diferentes de $6$ jugadoras se pueden formar, sabiendo que en todos ellos siempre estará la capitana María.

3. Revisa el siguiente video (puedes poner subtítulos en español).

Más adelante

En la siguiente nota usaremos estos resultados para obtener el triángulo de Pascal y para probar la fórmula del binomio de Newton.

Enlaces relacionados.

Página principal del curso.

Nota anterior. Nota 22. Conteo. Ordenaciones.

Nota siguiente. Nota 24. El triángulo de Pascal y el binomio de Newton.

El blog de Leo

Aprendiendo, creando y compartiendo matemáticas

Introducción

Definición

Teorema

Corolario

Tarea Moral

Más adelante

Enlaces relacionados.

Me gusta esto:

Deja una respuesta Cancelar la respuesta

Introducción

Definición

Teorema

Corolario

Tarea Moral

Más adelante

Enlaces relacionados.

Comparte esto:

Me gusta esto:

Deja una respuesta Cancelar la respuesta