All Questions

Several existence theorems for partition of unity are known. For example (source), Proposition 3.1. If $(X,\tau)$ is a paracompact topological space, then for every open cover $\{U_i \subset X\}_{i \...

It is easy to see that the disjoint union $\bigsqcup_i X_i$ of a collection of metric spaces is metrizable, simply by rescaling or chopping off the individual metrics to have diameter at most one, and ...

Do you know where I can find proof of equivalence Baire Category Theorem and DC (Axiom of Dependent Choice)? It is well known fact but I can't find appropriate literature with the proof.

Wikipedia article on totally bounded spaces states "... the completion of a totally bounded space might not be compact in the absence of choice." Where is the axiom of choice used, and do you need it ...

Do you know if the following statement is an equivalent form of the axiom of choice or not? If $X$ is a compact metric space, then every continuous function $f: X \longrightarrow \mathbb{R}$ is ...