===== 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.