VIDEOS 1 TO 50

1.5: Partitions of Sets

Published: 2013/01/25

Channel: wishizuk

Partition of a set

Published: 2009/09/15

Channel: Wei Ching Quek

(Abstract Algebra 1) Definition of a Partition

Published: 2013/12/03

Channel: learnifyable

Equivalence Classes Partition a Set Proof

Published: 2014/11/30

Channel: The Math Sorcerer

Set Theory Equivalence Relations and Partitions

Published: 2013/06/24

Channel: Complete GATE

21 Partition of a set

Published: 2015/05/06

Channel: Sujay Krishna

Equivalence Relations & Set Partitions, Part One

Published: 2015/09/16

Channel: CU Calculus

Counting Elements, Product Sets, Partitions

Published: 2012/05/25

Channel: David Waldo

(Abstract Algebra 1) Partitions and Equivalence Relations

Published: 2013/12/09

Channel: learnifyable

Find the number of ways to partition a set of 2 elements.

Published: 2013/04/20

Channel: Jeffery Dittenber

1.5. Set Partitions

Published: 2014/06/04

Channel: UCLan Cyprus | Mathematics

Equivalence Relations & Set Partitions, Part Two

Published: 2015/09/16

Channel: CU Calculus

Chapter 1 #2 - Sets, Partitions, and Tree Diagrams

Published: 2011/01/20

Channel: FiniteHelp

2. 3-Partition I

Published: 2015/07/14

Channel: MIT OpenCourseWare

Programming Interview: Balanced Partition of Array (Dynamic Programming)

Published: 2012/08/03

Channel: saurabhschool

Partition of a set

Published: 2014/11/06

Channel: Audiopedia

Venn Diagrams and Partitions - Sets, Partitions, and Tree Diagrams - Finite Math

Published: 2011/10/14

Channel: FiniteHelp

[Mathematical Linguistics] Equivalence Relations and Partitions

Published: 2016/05/16

Channel: TheTrevTutor

Equivalence Relations And Partitions | Math | Chegg Tutors

Published: 2016/04/20

Channel: Chegg

Partition Theorem (Total Probability Theorem) & Bayes Theorem | Example

Published: 2015/02/23

Channel: WelshBeastMaths

Partitioning Sets By Number Tool

Published: 2013/04/05

Channel: EDUGains Ontario

Set Partition Refinement Lattice

Published: 2013/10/10

Channel: wolframmathematica

Sizes of Sets - Finding n(A U B)' - Sets, Partitions, and Tree Diagrams - Finite Math

Published: 2011/08/27

Channel: FiniteHelp

Directed Graphs and Set Partitions

Published: 2012/12/17

Channel: q Liu

Sets of Outcomes and Trees - Sets, Partitions, and Tree Diagrams - Finite Math

Published: 2011/10/14

Channel: FiniteHelp

Analysis 1.3 Equivalence Relations, Partitions, Definition and Proof

Published: 2016/02/12

Channel: Kaveh Mozafari

Set Partition Statistics moment formulas and normality Part 1

Published: 2014/12/06

Channel: Experimental mathematics

Partitions (Screencast 7.3.3)

Published: 2012/11/27

Channel: GVSUmath

Partition of a set

Published: 2016/01/22

Channel: WikiAudio

MAT215 Exam Review, Partitions of Sets

Published: 2015/09/24

Channel: Taylor University Math Department

Partition of a Set - bury P

Published: 2011/07/27

Channel: sbickleaf

How to set password for your each windows 7 partition

Published: 2013/01/28

Channel: Ramya K

Example of Countable Partition

Published: 2011/09/29

Channel: MathDoctorBob

Set (Partition) Model

Published: 2015/10/02

Channel: Mildred Osborne

Partition Set Assembly Tutorial

Published: 2016/02/23

Channel: Conductive Containers

Set Partition as primary or logical partition | MiniTool Partition Wizard Official Video Guide

Published: 2014/07/23

Channel: minitoolsolution

Principle of Inclusion Exclusion & Partitions of a Set

Published: 2013/10/11

Channel: StudyYaar.com

How to Partition, Format External Hard Drive on Mac for Mac and Windows, How to Set Up Time Machine

Published: 2012/06/25

Channel: Vineet Agarwal

Set Partition Statistics moment formulas and normality Part 2

Published: 2014/12/06

Channel: Experimental mathematics

█▶How to Fully install Kali Linux on a partition an properly set it up for ①③③⑦ use◀█

Published: 2015/07/31

Channel: imSoGettingBANNED

How to Make a Partition on Windows 7

Published: 2010/03/17

Channel: Allan Baguinon

Lecture 23 - Equivalence relations and partitions

Published: 2007/12/05

Channel: nptelhrd

Bootmgr is Missing Set Active Partition

Published: 2013/09/26

Channel: TechRePair

Set Partition Label - MiniTool Partition Wizard official Video Guide

Published: 2014/07/04

Channel: minitoolsolution

Subset Sum Problem Dynamic Programming

Published: 2015/03/29

Channel: Tushar Roy - Coding Made Simple

Set Partition of Raid

Published: 2013/11/21

Channel: Romdon Sutthikarn

Set Theory - Venn Diagrams - Counting Number of Elements in a Set - Finite Math

Published: 2011/09/07

Channel: FiniteHelp

Small Set Partitions

Published: 2009/07/13

Channel: wolframmathematica

Apache Hive - 01 Partition an existing data set according to one or more partition keys

Published: 2016/06/30

Channel: itversity

Partitioning of a set of cupcakes

Published: 2015/04/05

Channel: Carlos F Gonzalez

From Wikipedia, the free encyclopedia

For the partition calculus of sets, see infinitary combinatorics.

In mathematics, a **partition of a set** is a grouping of the set's elements into non-empty subsets, in such a way that every element is included in one and only one of the subsets.

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^{[2]} (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:^{[3]}

- The family
*P*does not contain the empty set (that is ). - The union of the sets in
*P*is equal to*X*(that is ). The sets in*P*are said to**cover***X*. - The intersection of any two distinct sets in
*P*is empty (that is ). The elements of*P*are said to be pairwise disjoint.

The sets in *P* are called the *blocks*, *parts* or *cells* of the partition.^{[4]}

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

- Every singleton set {
*x*} has exactly one partition, namely { {*x*} }. - The empty set has exactly one partition, namely .
- 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*,*U*\*A*}. - The set { 1, 2, 3 } has these five partitions (one partition per item):
- { {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}.

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.^{[5]}

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.

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.^{[6]} 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, namely, the partitions with 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 lattice of flats of 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}.

A partition of the set *N* = {1, 2, ..., *n*} with corresponding equivalence relation ~ is **noncrossing**^{[clarification needed]} 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.

The total number of partitions of an *n*-element set is the Bell number *B _{n}*. The first several Bell numbers are

and have the exponential generating function

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 two numbers, the number to the left and the number to the above left of the 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 *C _{n}*, given by

Wikimedia Commons has media related to .Set partitions |

- Exact cover
- Cluster analysis
- Weak ordering (ordered set partition)
- Equivalence relation
- Partial equivalence relation
- Partition refinement
- List of partition topics
- Lamination (topology)
- Rhyme schemes by set partition

**^**Knuth, Donald E. (2013), "Two thousand years of combinatorics", in Wilson, Robin; Watkins, John J.,*Combinatorics: Ancient and Modern*, Oxford University Press, pp. 7–37**^**Naive Set Theory (1960).*Halmos, Paul R.*Springer. p. 28. ISBN 9780387900926.**^**Lucas, John F. (1990).*Introduction to Abstract Mathematics*. Rowman & Littlefield. p. 187. ISBN 9780912675732.**^**Brualdi,*pp*. 44–45**^**Schechter,*p*. 54**^**Birkhoff, Garrett (1995),*Lattice Theory*, Colloquium Publications,**25**(3rd ed.), American Mathematical Society, p. 95, ISBN 9780821810255.

- Brualdi, Richard A. (2004).
*Introductory Combinatorics*(4th 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.

Wikipedia content is licensed under the GFDL and (CC) license