# Whitney Map

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Let $(X,\tau)$ be a compact metric space. Let $\mathcal{H} \subset 2^X$. A Whitney map for $\mathcal{H}$ is a continuous function $\mu \colon \mathcal{H} \rightarrow [0,\infty)$ such that
1. for any $A,B \in \mathcal{H}$ with $A \subset B$ and $A \neq B$, we have $\mu(A) < \mu(B)$;
2. $\mu(A)=0$ if and only if $A \in \mathcal{H} \bigcap \mathcal{F}_1(X)$.