MHB Why do the subsets in a partition have to be nonempty?

  • Thread starter Thread starter Ragnarok7
  • Start date Start date
  • Tags Tags
    Partition Subsets
AI Thread Summary
Subsets in a partition must be nonempty to adhere to the definition of a partition, which requires that every element of the set is included in exactly one subset. Including empty subsets would complicate many results related to partitions and equivalence relations. While it is mathematically possible to consider partitions with empty subsets, this is not standard practice. Nonempty subsets are crucial for applications like Riemann or Lebesgue integrals, where partitions need to be sufficiently fine. Therefore, the requirement for nonempty subsets is both a matter of definition and practical necessity.
Ragnarok7
Messages
50
Reaction score
0
"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."

I was just wondering why the subsets must be nonempty. Is it just convention/convenient or is it because it would violate something else?

Thanks!
 
Physics news on Phys.org
The empty set does not belong to any set of equivalence classes.
 
Ragnarok said:
"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."

I was just wondering why the subsets must be nonempty. Is it just convention/convenient or is it because it would violate something else?

Thanks!
I think it's just a matter of definition.

Certainly, if you don't follow this, many results about partitions will need to be tweaked.
There is nothing mathematically wrong in including the empty set also when considering partitions but that is not how it has been done.
 
Partitions are used to generate equivalence relations on a set, and vice versa.

It is sometimes useful to consider partitions of the empty set itself; intuitively one feels that this partition should be unique, which is only possible if there are NO possible empty sets in a partition (convince yourself that this indeed comprises the only partition possible in the definition you gave for an empty set X).
 
Typically partitions are used to define a Riemann or Lebesgue integral.
For that to work, we need to be able to define a limit where the partition becomes infinitely fine grained, meaning each subset in the partition should be of size greater than or equal to $\varepsilon >0$.
In other words: not empty.
 
I like Serena said:
Typically partitions are used to define a Riemann or Lebesgue integral.
For that to work, we need to be able to define a limit where the partition becomes infinitely fine grained, meaning each subset in the partition should be of size greater than or equal to $\varepsilon >0$.
In other words: not empty.

Wrong kind of partition: the kind the OP is talking about might be a partition into singleton subsets, which would be fine...but such a partition would be rather unsuitable for integration.
 
Back
Top