Do paracompact non-Hausdorff spaces admit partions of unity? I'm just curious.
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
3
2
|
|
|
|
|
7
|
The answer is no. Take the "classical" example of the line with two origins. This space is non-Hausdorff, paracompact and doesn't admit partitions of unity. EDTI: I think the question is a kind of "duplicate" . Ok, but if you have an example for a non-Hausdorff manifold, which doesn't admit partitions of unity, you have an example for a non-Hausdorff paracompact space with the same property. First the definition: For the non-existence of a partition of unitiy: take the open covering $ U = (-\infty,0) \cup { 0_a } \cup (0,\infty)$ and $\tilde{U} = (-\infty,0) \cup { 0_b } \cup (0,\infty)$. Assume, there is a partition of unity subordinate to this cover. Then the value of each origin would have to be $1$ which cannot be true. (Edit: villemoes was a little faster :-) ) |
||||||||
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
3
|
It's worth noting that any $T_1$ space which admits partitions of unity for finite (two element even) covers is Hausdorff: Proof: Let $x, y \in X$. Let $U = X \ {x}, V = X \ {y}$. Then let ${f, g}$ form a partition of unity with $f$ subordinate to $U$ and $g$ subordinate to $V$. Then $A = { t : f(t) > \frac{1}{2} }$ and $B = { t : g(t) > \frac{1}{2} }$ A and B are disjoint open sets with $y \in A$ and $x \in B$. Edit: On closer inspection, this if of course just the standard proofs that the existence of partitions of unity for finite covers implies normality + the fact that $T_1$ normal spaces are hausdorff |
|||
|
|

