Estoy tratando de usar la inducción matemática para demostrar el siguiente teorema:
Para cualquier entero $n$ con $n \ge 1$, el número de permutaciones de un conjunto con $n$ elementos es $n!$.
Prueba
Deje $P(n)$ ser la declaración anterior.
Tome el conjunto de elementos $\{ x_1, x_2, \dots, x_n \mid n \ge 1 \}$.
$P(1)$ sostiene debido a que el número de permutaciones de $1$ elemento es el tamaño de la $1$ e $1! = 1$.
Supongamos ahora que $P(n)$ es cierto para algunos $n = m \ge 1$.
$P(m + 1)$ significa que tenemos el conjunto de $\{ x_1, x_2, \dots, x_{m + 1} \}.$
No estoy seguro de cómo proceder a partir de aquí. Yo estaba pensando en usar la regla de la multiplicación, de alguna manera, pero he sido incapaz de progresar en este sentido.
También he sido capaz de encontrar ninguna de las pruebas de este teorema en línea.
Les agradecería mucho si la gente podría por favor ayudarme a probar esto.
EDITAR (Completado la Prueba):
Deje $P(n)$ ser la declaración anterior.
Tome el conjunto $X = \{ x_1, x_2, \dots, x_n \mid n \ge 1 \}$.
$P(1)$ sostiene debido a que el número de permutaciones de $1$ elemento es el tamaño de la $1$ e $1! = 1$.
Supongamos ahora que $P(n)$ es cierto para algunos $n = m \ge 1$.
Y supongamos que tenemos los conjuntos de $X = \{ x_1, x_2, \dots, x_m \}$ e $X' = \{ x_{m + 1} \}$.
Dejar de tarea $T$ representan las tareas de $T_1, T_2, \dots, T_m$, donde la tarea $T_k, k = 1, 2, \dots, m$, representa la tarea donde la $k$th elemento del conjunto $X$ es fijo y cada permutación del conjunto resultante de configuración se calcula.
Cada vez que arreglar uno de los elementos y encontrar todas las permutaciones del conjunto resultante, que deja una configuración de conjunto de que el siguiente juego no puede tener, ya que sería idéntico a una de las permutaciones de la configuración anterior. Esto es lo que se supone que para ser verdadero para un conjunto con $m$ elementos.
Dejar de tarea $T_{m + 1}$ ser la tarea donde se toma el conjunto de $X^* = X \cup X'$, fijar el elemento $x_{m + 1}$, y calcular todas las permutaciones del conjunto resultante de configuración. Desde allí se $m + 1$ elementos del conjunto $X^*$hay $m + 1$ maneras de solucionar $x_{m + 1}$ ($m + 1$ conjunto de configuraciones) y calcular todas las permutaciones. Por lo tanto, de acuerdo a la regla de la multiplicación, hay $(m!)(m + 1) = (m + 1)!$ formas de realizar las tareas de $T$ e $T_{m + 1}$. $$\tag*{$\blacksquare$}$$
Les agradecería mucho si la gente podría, por favor revise la prueba y proporcionar retroalimentación en cuanto a su exactitud.