How can I find |A|,having found |UA_{i}^{c}| ?

  • Context: MHB 
  • Thread starter Thread starter evinda
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on calculating the size of the set \( |A| \), where \( A \) consists of derangements in the symmetric group \( S_n \). The user establishes that \( |A| = n! \sum_{k=0}^n \frac{(-1)^k}{k!} \), derived from the inclusion-exclusion principle. The relationship \( |A| = |S_n| - |A^c| \) is confirmed, with \( |A^c| \) expressed as \( n!(1 - \frac{1}{e}) + n!R(n) \). The final formula for \( |A| \) simplifies to exclude the term \( 1/e \) in \( R(n) \).

PREREQUISITES
  • Understanding of symmetric groups, specifically \( S_n \)
  • Familiarity with derangements and their properties
  • Knowledge of the inclusion-exclusion principle in combinatorics
  • Basic calculus concepts, including the exponential function and series expansions
NEXT STEPS
  • Study the properties of derangements in combinatorial mathematics
  • Learn about the inclusion-exclusion principle and its applications
  • Explore the exponential function and its series expansion
  • Investigate advanced topics in symmetric groups and permutation theory
USEFUL FOR

Mathematicians, computer scientists, and students studying combinatorics, particularly those interested in permutations and derangements.

evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! :)
I am looking at an exercise,that asks me to find $|A|$,where $A=\{\sigma \in S_{n}:\sigma(i) \neq i \forall i=1,...,n \}$
I found that $|A_{1}|=\{ \sigma \in S_{n}:\sigma(1) \neq 1 \} |=(n-1)!(n-1) $ ,from which we get that : $|A_{i}|=\{ \sigma \in S_{n}:\sigma(i) \neq i \} |=(n-1)!(n-1) $

$A=\bigcap_{i \in[n]} A_{i}$ and $A^{c}=U A_{i}^{c}$

$$|U A_{i}^{c}|=\sum_{k=1}^{n}(-1)^{k-1}\sum_{J \subseteq [n],|J|=k}|\bigcap_{i \in J} A_{i}^{c}|=n!(1-\frac{1}{e})+n!R(n) ,\text{ where } R(n)=\frac{1}{e}-\sum_{k=0}^{n}\frac{(-1)^{k}}{k!}$$

But,how can I find $|A|$ ?
 
Physics news on Phys.org
Obviously, $|A|=|S_n|-|A^c|$.
 
Evgeny.Makarov said:
Obviously, $|A|=|S_n|-|A^c|$.

So,is it $n!-n!(1-\frac{1}{e})-n!R(n) =n!(\frac{1}{e}-R(n)$ ?
 
evinda said:
So,is it $n!-n!(1-\frac{1}{e})-n!R(n) =n!(\frac{1}{e}-R(n))$ ?
Yes. Also, $1/e$ that occurs in $R(n)$ can be eliminated to get
\[
|A|=n!\sum_{k=0}^n\frac{(-1)^k}{k!}
\]
By the way, such permulations are called derangements.
 
Evgeny.Makarov said:
Yes. Also, $1/e$ that occurs in $R(n)$ can be eliminated to get
\[
|A|=n!\sum_{k=0}^n\frac{(-1)^k}{k!}
\]
By the way, such permulations are called derangements.

I understand :) Thank you very much!
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 29 ·
Replies
29
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
8
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
Replies
1
Views
2K