Mostrar páginaRevisões anterioresLinks reversosVoltar ao topo ** O plano de Niemytski é completamente regular ou espaço de Tychonoff. Esse plano é [[NiemytskiT1| $T_{1}$]] e resta provar que é $T_{3{\frac{1}{2}}}$. ** \\ Sejam $(x,y) \in P$ e $F \subset P$ fechado com $(x,y) \notin F$. Daí, $P$\ $F$ é aberto. \\ ** Caso 1: $y >0$. ** Observe que $\varepsilon:= \frac{d(F,(x,y))}{2}$ é tal que $B_{\varepsilon} (x,y)$ é uma vizinhança aberta em $(x,y)$, com a métrica usual de $\mathbb{R}^2$ e com $B_{\varepsilon} (x,y) \subset P$\ $F$. Assim, $B_{\varepsilon} (x,y) \cap F = \emptyset$. Defina $f:P \longrightarrow [0,1]$ dada por \begin{equation} f(u,v) = \begin{cases} \frac{||(x,y)-(u,v)||}{\varepsilon} \text{, se } (u,v) \in B_{\varepsilon} (x,y)\\ 1 \text{, caso contrário} \end{cases} \end{equation} Dessa forma, $f$ está bem definida, pois $B_{\varepsilon} (x,y) \cap F = \emptyset$. Temos que $f(x,y)=0$ e $f(u,v)=1$, para todo $(u,v) \in F$. \\ Afirmamos que $f$ é contínua. De fato, vejamos a seguir que a imagem inversa de qualquer aberto em $[0,1]$ é aberto. Considere $0 \leq a <1$, $0<b \leq 1$ e $0 \leq a< b \leq 1$. Assim, \begin{eqnarray*} f^{-1}([0,1])&=& \mathbb{R}^2 \text{, é aberto em } P;\\ f^{-1}(]a,1])&=& \mathbb{R}^2/ B_{a\varepsilon} (x,y) \text{, é aberto em } P;\\ f^{-1}([0,b[)&=& B_{b\varepsilon} (x,y) \text{, é aberto em } P;\\ f^{-1}(]a,b[)&=& \mathbb{R}^2 /B_{a\varepsilon} (x,y) \cap B_{b\varepsilon} (x,y) \text{, é aberto em } P. \end{eqnarray*} \\ Portanto, a função $f$ com a topologia de $P$ separa completamente $F$ e $(x,y)$. \\ ** Caso 2: $y = 0$. ** Defina $\varepsilon:= \frac{d(F,(x,0))}{4}$ e note que $B_{\varepsilon}=B_{\varepsilon} (x,\varepsilon) \cup \{(x,0)\}$, com a métrica usual de $\mathbb{R}^2$, é uma vizinhança aberta em $(x,0)$. Temos que $B_{\varepsilon} \subset P$\ $F$. Assim, $B_{\varepsilon} \cap F = \emptyset$. Defina $f:P \longrightarrow [0,1]$ dada por \begin{equation} f(u,v) = \begin{cases} \frac{||(x,0)-(u,v)||}{\varepsilon}, \text{ se } (u,v) \in B_{\varepsilon}\\ 1 \text{, caso contrário} \end{cases} \end{equation} Dessa forma, $f$ está bem definida, pois $B_{\varepsilon} \cap F = \emptyset$. Mais ainda, $f(x,0)=0$ e $f(u,v)=1$, para todo $(u,v) \in F$. \\ Afirmamos que $f$ é contínua. De fato, vejamos a seguir que a imagem inversa de qualquer aberto em $[0,1]$ é aberto. Considere $0 \leq a < 1$, $0<b \leq 1$ e $0 \leq a< b \leq 1$. Assim, \begin{eqnarray*} f^{-1}([0,1])&=& \mathbb{R}^2 \text{, é aberto em } P;\\ f^{-1}(]a,1])&=& \mathbb{R}^2/ B_{a\varepsilon} (x,y) \text{, é aberto em } P;\\ f^{-1}([0,b[)&=& B_{b\varepsilon} (x,y) \text{, é aberto em } P;\\ f^{-1}(]a,b[)&=& \mathbb{R}^2 /B_{a\varepsilon} (x,y) \cap B_{b\varepsilon} (x,y) \text{, é aberto em } P. \end{eqnarray*} \\ Portanto, a função $f$ com a topologia de $P$ separa completamente $F$ e $(x,0)$. \\ Dessa forma, o Plano de Niemytski é completamente regular. topologia/exemplo/niemytskicompregular.txt Última modificação: 2021/07/23 16:22por marcia