## IAM #13: Equivalence relations and partitions

Channel: litsky   |   2011/07/09
1
IAM #13: Equivalence relations and partitions
::2011/07/09::
2
Partition of a set
::2009/09/15::
3
Find the number of ways to partition a set of 2 elements.
::2013/04/21::
4
How to Partition, Format External Hard Drive on Mac for Mac and Windows, How to Set Up Time Machine
::2012/06/25::
5
::2013/01/28::
6
Set Active / Hidden Partitions
::2012/12/25::
7
Bootmgr is Missing Set Active Partition
::2013/09/26::
8
How to Set a Primary Partition as Active Partition (No Audio)
::2013/03/09::
9
move app to system partition and set rw-r-r permission using root explorer app
::2013/04/25::
10
How to Create a Recovery Partition in Windows 7
::2012/03/20::
11
Programming Interview: Balanced Partition of Array (Dynamic Programming)
::2012/08/03::
12
Swap, Root, home partition set-up with cfdisk tutorial.
::2009/09/28::
13
Partition Wizard Professional Edition+serial
::2013/04/06::
14
How to Install and Partition Windows 7
::2011/01/21::
15
Set Partition Refinement Lattice
::2013/10/10::
16
Restore deleted partition with Active@ UNDELETE
::2013/01/29::
17
Create Partition in Windows 8 | Easily Create Separate Partition in Hard Drive using Windows 8
::2012/11/20::
18
Create F11 Rescue Partition with Acronis True Image
::2013/09/23::
19
Commercial Partition Set out
::2013/07/16::
20
Partition of India: Origin of Hatred | BBC History Documentary | India
::2013/05/03::
21
Change Drive Letters, Labels, and Primary/Logical Partitions
::2012/12/24::
22
How to create a Windows 7 installation partition
::2011/03/06::
23
How to set up a partition in mac osx lion
::2012/05/24::
24
Partition of a Set - bury P
::2011/07/27::
25
How to set up a Windows partition on Mac
::2010/09/17::
26
How to set Hackintosh partition active
::2013/11/09::
27
How To Partition Drives Set The File System To NTFS or Fat32 and Format The New File System
::2013/05/22::
28
Easy way to recovery your lost partition
::2011/08/11::
29
Partitions (Screencast 7.3.3)
::2014/04/16::
30
How to Easily Install Windows on Mac w/ Bootcamp: Pt. 1 - EFI and Partition
::2011/07/31::
31
How to perform partition recovery -MiniTool Partition Wizard - FREE partition manager
::2011/09/01::
32
How to Make a Partition on Windows 7
::2010/03/18::
33
Mac Monday: Erase & Partition with Disk Utility
::2012/12/10::
34
::2013/04/08::
35
Set Up Windows 8 Evaluation With Windows 7 4/4 install in partition
::2013/08/10::
36
Setup was unable to create a new system partition or locate an existing system partition
::2012/01/14::
37
How to protect a partition using a password...
::2011/09/24::
38
Operable Partition Animated Paired-Panel Set Up
::2012/04/27::
39
Dirichlet Process Mixture Model for Document Clustering with Feature Partition
::2013/09/02::
40
How to copy partition - FREE partition manager - MiniTool Partition Wizard
::2011/09/09::
41
AOMEI Partition Assistant : Create Partition
::2013/02/01::
42
How to Format/Partition External Harddrive Mac
::2009/09/19::
43
Party Set up on State Partition is False says Chandrababu |10tv
::2013/11/21::
44
::2013/01/10::
45
Fedora Core Installation Guide with Custom Partition Layout
::2013/07/25::
46
Use Mac's "Disk Utility" to Partition an External Hard Drive
::2011/04/01::
47
::2012/12/01::
48
How to Use Partition Wizard - (Video Review)
::2012/04/30::
49
Manually Setup A Ubuntu-Windows 7 Dual Boot
::2012/02/15::
50
Fair & Square | Dr Guneeta Singh Bhalla | 1947 Partition Chronicler
::2013/10/29::
NEXT >>
RESULTS [51 .. 101]
A set of stamps partitioned into bundles: No stamp is in two bundles, and no bundle is empty.
The 52 partitions of a set with 5 elements
The traditional Japanese symbols for the chapters of the Tale of Genji are based on the 52 ways of partitioning five elements.

In mathematics, a partition of a set X is a division of X as a union of non-overlapping and non-empty subsets, sometimes called "parts" or "blocks" or "cells". More formally, these "cells" are both collectively exhaustive and mutually exclusive with respect to the set being partitioned.

## Definition

A partition of a set X is a set of nonempty subsets of X such that every element x in X is in exactly one of these subsets[1] (i.e., X is a disjoint union of the subsets).

Equivalently, a family of sets P is a partition of X if and only if all of the following conditions hold:[2]

1. P does not contain the empty set.
2. The union of the sets in P is equal to X. (The sets in P are said to cover X.)
3. The intersection of any two distinct sets in P is empty. (We say the elements of P are pairwise disjoint.)

In mathematical notation, these conditions can be represented as

1. $\emptyset \notin P$
2. $\bigcup_{A\in P} A = X$
3. if $A,B \in P$ and $A\neq B$ then $A \cap B = \emptyset$,

where $\emptyset$ is the empty set.

The sets in P are called the blocks, parts or cells of the partition.[3]

The rank of P is |X| − |P|, if X is finite.

## Examples

• Every singleton set {x} has exactly one partition, namely { {x} }.
• For any nonempty set X, P = {X} is a partition of X, called the trivial partition.
• For any non-empty proper subset A of a set U, the set A together with its complement form a partition of U, namely, {A, UA}.
• The set { 1, 2, 3 } has these five partitions:
• { {1}, {2}, {3} }, sometimes written 1|2|3.
• { {1, 2}, {3} }, or 12|3.
• { {1, 3}, {2} }, or 13|2.
• { {1}, {2, 3} }, or 1|23.
• { {1, 2, 3} }, or 123 (in contexts where there will be no confusion with the number).
• The following are not partitions of { 1, 2, 3 }:
• { {}, {1, 3}, {2} } is not a partition (of any set) because one of its elements is the empty set.
• { {1, 2}, {2, 3} } is not a partition (of any set) because the element 2 is contained in more than one block.
• { {1}, {2} } is not a partition of {1, 2, 3} because none of its blocks contains 3; however, it is a partition of {1, 2}.

## Partitions and equivalence relations

For any equivalence relation on a set X, the set of its equivalence classes is a partition of X. Conversely, from any partition P of X, we can define an equivalence relation on X by setting x ~ y precisely when x and y are in the same part in P. Thus the notions of equivalence relation and partition are essentially equivalent.[4]

The axiom of choice guarantees for any partition of a set X the existence of a subset of X containing exactly one element from each part of the partition. This implies that given an equivalence relation on a set one can select a canonical representative element from every equivalence class.

## Refinement of partitions

Partitions of a 4-set ordered by refinement

A partition α of a set X is a refinement of a partition ρ of X—and we say that α is finer than ρ and that ρ is coarser than α—if every element of α is a subset of some element of ρ. Informally, this means that α is a further fragmentation of ρ. In that case, it is written that αρ.

This finer-than relation on the set of partitions of X is a partial order (so the notation "≤" is appropriate). Each set of elements has a least upper bound and a greatest lower bound, so that it forms a lattice, and more specifically (for partitions of a finite set) it is a geometric lattice.[5] The partition lattice of a 4-element set has 15 elements and is depicted in the Hasse diagram on the left.

Based on the cryptomorphism between geometric lattices and matroids, this lattice of partitions of a finite set corresponds to a matroid in which the base set of the matroid consists of the atoms of the lattice, the partitions with $n-2$ singleton sets and one two-element set. These atomic partitions correspond one-for-one with the edges of a complete graph. The matroid closure of a set of atomic partitions is the finest common coarsening of them all; in graph-theoretic terms, it is the partition of the vertices of the complete graph into the connected components of the subgraph formed by the given set of edges. In this way, the lattice of partitions corresponds to the graphic matroid of the complete graph.

Another example illustrates the refining of partitions from the perspective of equivalence relations. If D is the set of cards in a standard 52-card deck, the same-color-as relation on D – which can be denoted ~C – has two equivalence classes: the sets {red cards} and {black cards}. The 2-part partition corresponding to ~C has a refinement that yields the same-suit-as relation ~S, which has the four equivalence classes {spades}, {diamonds}, {hearts}, and {clubs}.

## Noncrossing partitions

A partition of the set N = {1, 2, ..., n} with corresponding equivalence relation ~ is noncrossing provided that for any two 'cells' C1 and C2, either all the elements in C1 are < than all the elements in C2 or they are all > than all the elements in C2. In other words: given distinct numbers a, b, c in N, with a < b < c, if a ~ c (they both are in a cell called C), it follows that also a ~ b and b ~ c, that is b is also in C. The lattice of noncrossing partitions of a finite set has recently taken on importance because of its role in free probability theory. These form a subset of the lattice of all partitions, but not a sublattice, since the join operations of the two lattices do not agree.

## Counting partitions

The total number of partitions of an n-element set is the Bell number Bn. The first several Bell numbers are B0 = 1, B1 = 1, B2 = 2, B3 = 5, B4 = 15, B5 = 52, and B6 = 203. Bell numbers satisfy the recursion $B_{n+1}=\sum_{k=0}^n {n\choose k}B_k$

and have the exponential generating function

$\sum_{n=0}^\infty\frac{B_n}{n!}z^n=e^{e^z-1}.$
Construction of the Bell triangle

The Bell numbers may also be computed using the Bell triangle in which the first value in each row is copied from the end of the previous row, and subsequent values are computed by adding the two numbers to the left and above left of each position. The Bell numbers are repeated along both sides of this triangle. The numbers within the triangle count partitions in which a given element is the largest singleton.

The number of partitions of an n-element set into exactly k nonempty parts is the Stirling number of the second kind S(n, k).

The number of noncrossing partitions of an n-element set is the Catalan number Cn, given by

$C_n={1 \over n+1}{2n \choose n}.$

## Notes

1. ^ Naive Set Theory (1960). Halmos, Paul R.. Springer. p. 28. ISBN 9780387900926.
2. ^ Lucas, John F. (1990). Introduction to Abstract Mathematics. Rowman & Littlefield. p. 187. ISBN 9780912675732.
3. ^ Brualdi, pp. 44–45
4. ^ Schechter, p. 54
5. ^ Birkhoff, Garrett (1995), Lattice Theory, Colloquium Publications 25 (3rd ed.), American Mathematical Society, p. 95, ISBN 9780821810255.

## References

• Brualdi, Richard A. (2004). Introductory Combinatorics (4th edition ed.). Pearson Prentice Hall. ISBN 0-13-100119-1.
• Schechter, Eric (1997). Handbook of Analysis and Its Foundations. Academic Press. ISBN 0-12-622760-8.