All Questions

For metric spaces $(M_1, d_1)$ and $(M_2, d_2)$, it is an exercise that the product topology on $M_1\times M_2$ is induced by the metric $d((x_1, y_1), (x_2, y_2)) =d_1(x_1, x_2) + d_2(y_1, y_2)$. Do ...

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.