Compactness of a set of partitions The interval $[0,1]$ is partitioned to $n$ disjoint parts. Is the set of all possible partitions compact?
There are several cases:
A. All $n$ parts are connected intervals (possibly empty). In this case, every partition can be represented as a vector with $n-1$ elements in $[0,1]$ (representing the locations of cuts). Hence the set of all partitions is equivalent to $[0,1]^{n-1}$, which is compact by the Tychonoff theorem.
B. The $n$ parts are arbitrary subsets of $[0,1]$. In this case, every partition can be represented as a function from $[0,1]$ to the finite set $\{1,...,n\}$, where $f$ assigns to each point the number of the part it belongs to. The set of such functions is $\{1,...,n\}^{[0,1]}$, which is also compact by the Tychonoff theorem.
C. The $n$ parts are measurable subsets of $[0,1]$. A partition can be represented as in B., but now $f$ has to be measurable. Is the subset of measurable functions compact in the Tychonoff topology of $\{1,...,n\}^{[0,1]}$?
 A: Measurable partitions are not compact. Take $n=2$ and let's use $0,1$ as labels instead of $1,2$. Then the labeling functions are exactly the characteristic functions of measurable subsets of $[0,1]$. For them the Tychonoff topology is just the topology of pointwise convergence, and it follows from the Tychonoff theorem that a subspace of $\{0,1\}^{[0,1]}$ is compact if and only if it is closed (Kelley, General Topology, Theorem 7.1). 
Now let $A$ be a non-measurable subset of $[0,1]$, its finite subsets $F\subset A$ are directed by inclusion, and the net $\chi_F$ converges pointwise to $\chi_A$ because for any point all finite subsets containing the ones with it also contain it. But $\chi_F$ are measurable and $\chi_A$ is not. 
So the subspace of measurable functions is not closed, hence not compact. This is not exactly surprising, with measurable functions any kind of closure can only involve sequences, and the Tychonoff topology on $\{0,1\}^{[0,1]}$ is not first countable. A pointwise limit of a sequence of measurable functions is always measurable, but I am not sure if this subspace is sequentially compact either, there is another problem, see What's going on with "compact implies sequentially compact"?
