Let [itex]Z:= A^T[/itex], where [itex]T[/itex] is a countable set and [itex]A[/itex] is a finite set. Under the product topology, [itex]Z[/itex] is a compact metrizable space. (As a special case, notice that [itex]Z[/itex] could be the Cantor set).(adsbygoogle = window.adsbygoogle || []).push({});

Given a closed set [itex]X \subseteq Z[/itex], I'm interested in answering the question, "Does there exist some partition [itex]\mathcal P[/itex] of [itex]T[/itex] such that [itex]X = \{f \in Z: \enspace f \text{ is } \mathcal P\text{-measurable}\}[/itex]?"

Is anybody here aware of any alternative formulations of the above question? For example, is there a topological characterization?

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Equivalent conditions for a measurability restriction?

**Physics Forums | Science Articles, Homework Help, Discussion**