Bolas abertas fechadas
Série B
É possível que bolas abertas sejam fechadas? Defina um espaço métrico em que isso ocorre (a escolha do espaço é livre).
Existem várias respostas possíveis. Um desafio é que o espaço seja o mais simples possível. Outro, é que seja um espaço complicado. Outro, é que seja um espaço que parece que é, mais não é... :-)
Essa pergunta pode ter várias respostas. Por favor, não poste respostas iguais às que já foram postadas. Mas você pode sugerir melhorias.
- Caio Tomás de Paula @CaioTomas
Tomando um espaço métrico $(X,d)$ sendo $d$ a métrica discreta dada por
$$
\begin{align*}
d : X \times X &\rightarrow \mathbb{R}^+
\\
(x,y) & \mapsto \begin{cases}
0, &x=y \\
1, &x\neq y
\end{cases} ,
\end{align*}
$$ as bolas de raio menor ou igual a $1$ são conjuntos unitários, que são fechados.- AAndré Caldas @andrecaldas
Com capricho, @CaioTomas...
-
Não existe "o espaço métrico" com a métrica discreta.
-
Você pode escrever a definição de $d$ de um modo mais estético:
$$
\begin{align*}
d: X \times X &\rightarrow \mathbb{R}
\\
(x,y) &\mapsto \begin{cases}0,& x = y \\ 1,& x \neq y.\end{cases}
\end{align*}
$$
-
- Em resposta aCaioTomas⬆:AAndré Caldas @andrecaldas
Botei $X \times X$ que eu acho que fica mais bonito.
PS: É o sujo falando do mal lavado, haja visto que no meu eu tinha escrito $d: X \rightarrow \mathbb{R}$. :-)
Caio Tomás de Paula @CaioTomas
Hahhahaha
- Em resposta aCaioTomas⬆:HVitória Henrylla Pinheiro Souza @henrylla
Seja $X$ um espaço métrico munido da Métrica Zero-Um, então para todo $a \in X$, temos que $B(a,r)=B[a,r]=X \ se \ r>1 $.
E $B(a,r)=B[a,r]={a}\ se \ r<1$.- AAndré Caldas @andrecaldas
Faz um com os racionais.
- VEm resposta amattheuspsa⬆:VITORIA CHAVES FERNANDES @VitoriaC
Seja $X= \begin{Bmatrix}
z \in \mathbb{R}^{2}; \mid z \mid \leq 1 \end{Bmatrix}$ o disco de centro $0$ e raio $1$, com a métricia euclidiana do plano $d: X \times X \rightarrow \mathbb{R}^{+}$.No espaço métrico $(X,d)$, temos $B(0;r)=B[0;r]$, se $r> 1.$
- AAndré Caldas @andrecaldas
Adorei!!!! Muito inusitado!!!
- EEm resposta amattheuspsa⬆:@Ellen
Seja $q\in\mathbb{Q}$. Então $B(q,\sqrt{2})=\{p\in\mathbb{Q}; |p-q|<\sqrt{2}\}$ é uma bola aberta e fechada simultaneamente.
$B(q,\sqrt{2})$ é aberta, por definição de bola aberta.
$B(q,\sqrt{2})$ é fechada.
Para isso, vamos mostrar que $\mathbb{Q}\backslash B(q,\sqrt{2})$ é um conjunto aberto. De fato, seja $p\in \mathbb{Q}\backslash B(q,\sqrt{2})$ um elemento qualquer. Assim,
$$|p-q|\geq\sqrt{2}\Leftrightarrow p-q\geq \sqrt{2} \mbox{ ou } p-q\leq - \sqrt{2}$$Vamos fazer o caso em que $p-q\geq \sqrt{2}$. O outro é análogo.
Por hipótese, $p$ e $q$ são racionais, desta maneira, $p\neq q+\sqrt{2}$. Assim, $p>q+\sqrt{2}$.
Considere $\alpha=p-(q+\sqrt{2})>0$. Daí,
$$q-\sqrt{2}<q<q+\sqrt{2}=p-\alpha<p<p+\alpha$$
Seja $B(p,\alpha)=\{r\in\mathbb{Q}; |r-p|<\alpha\}.$
Note que
$$B(q,\sqrt{2})\cap B(p,\alpha)=\emptyset$$
Suponhamos por absurdo que exista $s\in (B(q,\sqrt{2})\cap B(p,\alpha)).$ Logo,
$$q-\sqrt{2}<s<q+\sqrt{2} \ \ \ \ \ \ \ \mbox{ e } \ \ \ \ \ \ \ p-\alpha<s<p+\alpha.$$
Já sabemos que $q+\sqrt{2}=p-\alpha$. Assim,
$$q-\sqrt{2}<s<q+\sqrt{2}=p-\alpha<s<p+\alpha\Rightarrow s<s,$$
o que é um absurdo.
Logo, $B(q,\sqrt{2})\cap B(p,\alpha)=\emptyset.$
Isto implica que $$B(p,\alpha)\subset \mathbb{Q}\backslash B(q, \sqrt{2}),$$
ou seja, $\mathbb{Q}\backslash B(q,\sqrt{2})$ contém uma bola aberta e desse modo, $\mathbb{Q}\backslash B(q, \sqrt{2})$ é aberto. Consequentemente, $B(q,\sqrt{2})$ é fechado.- AAndré Caldas @andrecaldas
Muito bom.
As bolas abertas de raio $\sqrt{2}$ e as bolas fechadas de raio $\sqrt{2}$ são iguais. A bola fechada é sempre fechada? Na verdade... foram essas duas coisas que você mostrou, né? Então é aberta e fechada.
Eu mostrei exatamente isso, só faltou escrever
$$\mbox{ Para } q\in\mathbb{Q} \mbox{ temos } B(q,\sqrt{2})=B[q,\sqrt{2}]$$
Na verdade,
$$\mbox{ Para } q\in\mathbb{Q} \mbox{ e } \alpha\in\mathbb{(R\backslash Q)^{*}_{+}} \mbox{ temos } B(q,\alpha)=B[q,\alpha]$$
- AAndré Caldas @andrecaldas
Pra você:
Lista 1/02 - Exercício 12
- Em resposta aandrecaldas⬆:
''A bola fechada é sempre fechada?'' Sim!
Sejam $(M,d)$ um espaço métrico qualquer e $r>0$. Considere $B[a,r]=\{x\in M; d(a,x)\leq r\}$ a bola fechada centrada em $a$ e de raio $r>0$. Vamos mostrar que $B[a,r]$ é fechado.
Para isso vamos usufruir do fato do complementar de um conjunto aberto ser fechado.Seja $y\in M\backslash B[a,r]$ um elemento arbitrário. Desta forma, $d(a,y)>r.$
Considere $\alpha=d(a,y)-r>0.$ Vamos provar que
$$B(y,\alpha)\subset M\backslash B[a,r].$$
De fato, seja $z\in B(y,\alpha)$ qualquer. Daí, $d(y,z)<\alpha.$Pela desigualdade triangular, temos
$$d(a,y)\leq d(a,z)+d(z,y)=d(a,z)+d(y,z)<d(a,z)+\alpha=d(a,z)+(d(a,y)-r)\Rightarrow$$
$$\Rightarrow d(a,y)<d(a,z)+d(a,y)-r\Rightarrow 0<d(a,z)-r\Rightarrow d(a,z)>r\Rightarrow z\in M\backslash B[a,r].$$
Como o conjunto $M\backslash B[a,r]$ contém uma bola aberta sabemos que ele é aberto. Portanto, seu complementar, $B[a,r]$, é fechado.P.S: Antes tarde do que nunca hahahah.
- AAndré Caldas @andrecaldas
Para isso vamos usufruir do fato do complementar de um conjunto fechado ser aberto.
Você está usando a direção oposta:
O complementar de um aberto é fechado.
Você quer mostrar que é fechado...
- Em resposta aEllen⬆:
Caio Tomás de Paula @CaioTomas
Oi, Ellen! Gostei do seu exemplo, ficou bem bonito :-)
Tenho duas perguntas:
1ª: na linha
$$
|p-q|\geq\sqrt{2} \iff p-q\geq\sqrt{2} \ \ \text{ ou } \ \ p-q\leq\sqrt{2}
$$ não deveria ser
$$
|p-q|\geq\sqrt{2} \iff p-q\geq\sqrt{2} \ \ \text{ ou } \ \ p-q\leq-\sqrt{2},
$$ com o sinal de $-$?2ª: na linha
$$
q - \sqrt{2} < s < \sqrt{2} \ \ \text{ e } \ \ p - \alpha < s < p + \alpha
$$ não deveria ser
$$
q - \sqrt{2} < s < q + \sqrt{2} \ \ \text{ e } \ \ p - \alpha < s < p + \alpha?
$$