Contents
1. Definitions
Definition – Partition of a subset of
Let be a closed subset of
. We refer to a set
As a partition of the set .
This is of course a more specific example of the next definition, as we are breaking down the interval into pairwise disjoint subsets. However, remember that the intervals making up the partition will be closed on one side and open on the other, as otherwise the sets would not be pairwise disjoint, or some point of
would not be included in the partition.
The largest interval in is called the mesh of the partition.
Definition – Partition of any set
Let be a set. Let
be a family of subsets of
such that for all pairs of sets in
, say
and
,
.
If is such a set, then we say that
is a partition of
, and that
partitions
.