Processing math: 100%

Proposition: Factorial

It follows from the definition of permutations that the number of different ordered arrangements the elements of a finite set V with |V|=n, n\ge 1, n\in\mathbb N is given by the factorial n!, which is defined as the product. n!:=n\cdot (n-1)\cdot (n-2)\cdot\ldots\cdot 2\cdot 1.

For V=\emptyset we have |V|=0 and set

0!:=1.

Proofs: 1

Explanations: 1
Proofs: 2 3 4 5 6 7 8 9 10 11 12 13 14
Propositions: 15 16 17 18 19 20
Solutions: 21
Theorems: 22 23 24


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Aigner, Martin: "Diskrete Mathematik", vieweg studium, 1993