===== Coberturas por círculos =====
Provavelmente você vai querer saber os resultados da [[lista:metricosCompletos| lista de métricos completos]] e da [[lista:boaOrdem|lista de boa ordem]].
**~~#~~** Mostre que não existe uma família $\mathcal F$ de círculos disjuntos em $\mathbb R^2$ de forma que $\bigcup_{C \in \mathcal F} C = \mathbb R^2$.[[Solucao:CoberturaR2|Solução]]
**~~#~~** Mostre que não existe uma família $\mathcal F$ de esferas disjuntas em $\mathbb R^3$ de forma que $\bigcup_{C \in \mathcal F} C = \mathbb R^3$.[[Solucao:CoberturaR3|Solução]]
**~~#~~** Mostre que existe uma família $\mathcal F$ de círculos disjuntos em $\mathbb R^2 \smallsetminus \{(0, 0)\}$ de forma que $\bigcup_{C \in \mathcal F}C = \mathbb R^2 \smallsetminus \{(0, 0)\}$.[[Solucao:CoberturaQ2|Solução]]
**~~#~~** Mostre que, para cada ponto $p \in \mathbb R^3$, existem $\mathfrak c$ planos que contém $p$.[[Solucao:cPlanos|Solução]]
**~~#~~** Mostre que dado $p \in \pi$, $\pi$ plano, existem $\mathfrak c$ círculos contém $p$ e contidos em $\pi$. [[Solucao:cCirculos|Solução]]
**~~#~~** Seja $\mathcal F$ uma família de círculos em $\mathbb R^3$ com $|\mathcal F| < \mathfrak c$ e seja $p \notin \bigcup_{C \in \mathcal F} C$.
**~~#.#~~** Mostre que existe $\pi$ plano tal que $p \in \pi$ e $C \not \subset \pi$ para todo $C \in \mathcal F$. [[Solucao:MaisPlanosMenosCirculos|Solução]]
**~~#.#~~** Mostre que se $\pi$ é um plano tal que $C \not \subset \pi$ para todo $C \in \mathcal F$, então existe um círculo $D$ tal que $p \in D \subset \pi$ e $D \cap C = \emptyset$ para todo $C \in \mathcal F$.[[Solucao:CirculoD|Solução]]
**~~#.#~~** Mostre que existe uma família $\mathcal F$ de círculos disjuntos em $\mathbb R^3$ de forma que $\bigcup_{C \in \mathcal F} C = \mathbb R^3$. [[Solucao:CoberturaFR3|Solução]]
Esta lista foi baseada no livro [[http://books.google.com.br/books/about/Set_Theory_for_the_Working_Mathematician.html?id=tTEaMFvzhDAC&redir_esc=y|Set Theory for the Working Mathematician]] de Krzysztof Ciesielski.