Variations without Repetitions#
Definition: Variation of a Finite Set
Let \(S\) be a finite [[Sets|set]].
A variation of class \(k\) is a [[Permutations|permutation]] of a [[Sets|subset]] of \(S\) with \(k\) elements.
Note: Terminology
If \(S\) has \(n\) elements, we also say a "variation of \(n\) elements of class \(k\)".
Variations of class \(k\) are unfortunately also called permutations of class \(k\).
Intuition
A variation of class \(k\) is a way to arrange exactly \(k\) of the elements of \(S\). You can also think of it as a way to choose \(k\) elements of \(S\) in a specific order. If you pick the same \(k\) elements but in a different order, you will have different variations.
Since a set does not contain duplicate elements, repetitions are not allowed - you cannot choose the same element from \(S\) multiple times in the same variation.
Example
Suppose \(S = \{A, B, C, D, E\}\).
The following are different variations of class 3:
The following are different variations of class 4:
The following are not variations:
Theorem: Number of Variations
The total number of [[Variations]] of \(n\) elements of class \(k\) is
It is also given by the ratio of the total number of [[Permutations]] of \(n\) elements to the total number of [[Permutations]] of \(n-k\) elements.
Notation
Proof
TODO
Variations with Repetition#
Definition: Variation with Repetition
Let \(S = \{s_1, \dotsc, s_n\}\) be a [[Sets|set]].
A variation with repetition of \(S\) of class \(k\) is a \(k\)-[[Tuples|tuple]] of non-necessarily unique elements from \(S\).
Example
Suppose \(S = \{1, 2, 3, 4, 5\}\).
Some variations \(S\) of class \(2\) with repetition are
Some variations of \(S\) of class \(3\) with repetition are
Some variations of \(S\) of class \(6\) with repetition are
Theorem: Total Number of Variations with Repetition
If \(S\) is a [[Sets|set]] with \(n\) elements, then the total number of [[Variations#Variations with Repetition|variations with repetition]] of \(S\) of class \(k\), denoted by is \(n^k\).
Notation
Since this number depends only on \(n\) and \(k\), but not on the elements of \(S\), we usually denote it as
Proof
TODO