Continuity and boundary I have this question :
Let $A$ be a non empty set from the space $E$, and define $f_A: E\rightarrow \{0,1\}$ given by $f_A(x)=\begin{cases} 1, ~ x\in A\\ 0 ~ x,\notin A\end{cases}$ 
where $\{0,1\}$ is given with this topology $\mathcal{P}(\{0,1\})$
How to prove that $f_A$ is continuous at $x_0$ iff $ x_0\notin Fr(A)$ 
where $Fr(A)=\partial A=\overline{A}\setminus\overset{\circ}{A}$
I know that $f_A ~\text{is continuous at }~x_0 \Longleftrightarrow \forall W\in \mathcal{V}_{f_A(x_0)}, \exists V\in \mathcal {V}_{x_0}, f_{A}(V)\subset W$
If i suppose that $f_A$ is continuous at $x_0\notin A$, then $f_A(x_0)=0$ this means that $\mathcal{V}_{f_A(x_0)}=\{\{0\},\{0,1\}\}$
As $f_A$ is continuous at $x_0$ then there exists $v\in \mathcal{V}_{x}$ such that $f_A(V)\subset \{0\}$ 
But How to find that $x_0\notin \partial A$ ?
 A: Note that for any $A$ we have that $X = A^\circ \cup \partial A \cup (X \setminus A)^\circ$, where the union is disjoint. The last set also equals $X \setminus \overline{A}$ ,BTW.
For points $p \notin \partial A$ we thus know that $p \in A^\circ$ or $p \in (X \setminus A)^\circ$, and both mean that $f_A$ is locally constant in $p$ (with value $0$ resp. $1$), so continuous at $p$.
If however $p \in \partial A$, every neighbourhood $U$ of $p$ intersects both $A$ and its complement, so $f_A[U] = \{0,1\}$. So the local continuity condition fails for the neighbourhood $\{f(p)\}$ of $f(p)$
A: If $x_0\in\partial A$ then for any open $U\subset E$ with $x_0\in U$ we have that $U\cap A\neq\emptyset$, since $x_0\in\overline{A}$, and $U\cap A^c\neq\emptyset$, since $x_0\not\in A^o$. Thus there $f_A(U)=\{0,1\}$. Therefore, if $x_0\in A$, we have that $f_A^{-1}(1)$ is not an open set containing $x_0$. Similarly if $x_0\not\in A$. 
Conversely if $x_0\in A^o$ then $f_A^{-1}(1)$ contains an open neighborhood of $x_0$, namely $A^o$, and thus is continuous at $x_0$. You can argue similarly in the case that $x\in (A^c)^o$. 
A: if $x_0\in Fr(A)$ as $x_0\in \bar{A},\forall V\in\tau_{x_0},V\cap A\neq\emptyset$, so $V\not\subset A^c$. Similarly as $x_0\notin int(A),\overline{\exists V\in\tau_{x_0},V\subset A}\iff\forall V\in\tau_{x_0},V\not\subset A$ and as $f_A(A)=\lbrace 1\rbrace,f_A(A^c)=\lbrace 0\rbrace$ then
$$x_0\in Fr(A)\iff\forall V\in\tau_{x_0},V\not\subset A\land V\not\subset A^c$$$$\iff \not\exists V\in\tau_{x_0},f_A(V)\subset \lbrace 0\rbrace\land\not\exists V\in\tau_{x_0},f_A(V)\subset \lbrace 1\rbrace$$$\iff f_A$ isn't continuous in $x_0$
