21.4: Permutaciones de Subconjuntos
- Page ID
- 117974
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)A veces queremos crear una lista ordenada de cierta longitud a partir de un grupo más grande de candidatos.
una lista ordenada de\(k\) elementos de un conjunto dado\(A\text{,}\) con\(\vert A \vert \ge k\)
el número de permutaciones de tamaño\(k\) tomadas de un conjunto de tamaños\(n\)
opciones alternativas de notación para\(P(n, k)\)
Considera\(A = \{1,2,3,4\}\text{,}\) para que\(n = \vert A \vert = 4\text{.}\) haya\(4! = 24 \) permutaciones de\(A\text{.}\)

Observe que las permutaciones anteriores se han agrupado en pares, donde las dos permutaciones en un par dado tienen los mismos dos primeros elementos en el mismo orden. De esto, podemos concluir que solo hay\(24/2 = 12\) permutaciones de tamaño\(k=2\) a partir de\(A\text{.}\)
Tenemos
\ comenzar {ecuación*} P (n, k) =\ dfrac {n!} {(n-k)!} = n (n-1) (n-2)\ cdots (n-k+1)\ texto {.} \ end {ecuación*}
- Prueba.
-
Una forma de construir una lista ordenada de\(k\) elementos a partir de un conjunto\(A\text{,}\) donde\(\vert A \vert = n\text{,}\) es como en Ejemplo\(\PageIndex{1}\). Formar una lista ordenada de todos los elementos de\(A\) (\(n!\)vías), y luego tomar los primeros\(k\) elementos de esa lista. Pero obtenemos la misma lista ordenada de longitud\(k\) sin importar cómo se ordenen los últimos\(n-k\) elementos. Es decir, consideramos que dos ordenamientos cualesquiera de todos los\(n\) elementos son equivalentes si los primeros\(k\) elementos de la lista son los mismos entre los dos. Como hay\((n-k)!\) diferentes formas de ordenar los últimos\(n - k\) elementos manteniendo los primeros\(k\) elementos iguales, cada clase de equivalencia tiene tamaño\((n - k)!\text{.}\) Aplicando la Regla de División, obtenemos la fórmula deseada
\ begin {ecuación*} P (n, k) =\ dfrac {\ #\ {\ texto {ordenamientos de todos} n\ texto {elementos}\}} {\ #\ {\ texto {reordenamientos de los últimos} n - k\ texto {elementos}\}} =\ dfrac {n!} {(n - k)!} \ texto {.} \ end {ecuación*}
El número\(P(n,n)\) representa el número de formas de construir una lista ordenada de\(n\) elementos elegidos de un conjunto de\(n\) elementos, por lo que\(P(n,n) = n!\text{.}\) La convención\(0! = 1\) asegura que nuestra fórmula para\(P(n,k)\) expresado en Teorema\(\PageIndex{1}\) sigue siendo válida en el caso\(k = n\text{.}\)
Una clase de veinte estudiantes discretos de matemáticas decide elegir un presidente y vicepresidente de clase. ¿Cuántos resultados posibles para el proceso electoral hay?
Solución
Una manera arbitraria de elegir a los estudiantes para estos cargos sería alinear a todos los estudiantes y elegir a los dos primeros estudiantes en fila para ser presidente y vicepresidente, respectivamente. Por lo tanto, hay
\ begin {ecuación*} P (20, 2) =\ dfrac {20!} {(20 - 2)!} = 20\ cdot 19 = 380\ end {ecuación*}
posibles resultados a la elección.
Se va a la pista de caballos para apostar en una carrera. De un campo de nueve caballos, ¿cuántas formas hay de hacer una apuesta “Trifecta” (es decir, especificar los tres primeros finalistas en orden)?
Solución
Hay
\ begin {ecuación*} P (9, 3) =\ dfrac {9!} {(9 - 3)!} = 9\ cdot 8\ cdot 7 = 504\ end {ecuación*}
posibles tales apuestas.
Para el alfabeto\(\Sigma = \{a, b, c, \ldots, y, z\}\text{,}\) cuántas palabras de cuatro letras compuestas por letras distintas hay en\(\Sigma^{\ast}\text{?}\)
- Comparar.
Solución
Una palabra de cuatro letras sin letras repetidas es lo mismo que una permutación de tamaño\(4\text{,}\) por lo que el número de tales palabras es
\ begin {ecuación*} P (26, 4) =\ dfrac {26!} {(26 - 4)!} = 26\ cdot 25\ cdot 24\ cdot 23 = 358.800\ texto {.} \ end {ecuación*}
¿Si\(\vert A \vert = k\) y\(\vert B \vert = n\text{,}\) con\(k \le n\text{,}\) cuántas funciones inyectoras\(f: A \rightarrow B\) existen?
- Comparar.
Solución
Arreglar un orden\(a_1,a_2,\ldots,a_k\) de los elementos de\(A\text{.}\) Entonces de cualquier orden\(b_1, b_2, \ldots, b_k\)\(k\) de tamaño de\(B\text{,}\) obtenemos una función de inyección\(f: A \hookrightarrow B\) por la siguiente tabla de valores.

Es decir, cada permutación\(B\) de tamaño\(k\) corresponde a una inyección\(f: A \hookrightarrow B \text{,}\) y así el número de tales inyecciones es\(P(n, k)\text{.}\)