About nowhere meager and relative closed sets.

Definition: A subset $A$ of a space $X$. Then $A$ is meager in $X$ if $A=\displaystyle\bigcup_{n\in N}A_n,$ where ${\rm int}(\overline{A_n})=\emptyset$, for all $n\in N.$ And $A$ is nowhere meager in $X$, if every non-empty relatively open subset of $A$ is not meager in $X$.

Problem: Suppose that $X$ is a topological space and $A\subseteq X$ nowhere meager. Thus $\overline{A}$ is a regular closed, that is, ${\rm int}(\overline{A})$ is dense in $\overline{A}$.

For to prove this, I try to see ${\rm int}\left(\overline{A}\right)$ intersects every non empty relatively open subset of $\overline{A}.$ In efect, Let be $V$ an open of $X$ such that $V\cap\overline{A}\neq\emptyset.$ Since $A$ is nowhere meager then $V\cap A$ is not meager in particular ${\rm int}\left(\overline{V\cap A}\right)\neq\emptyset.$ But I can not finish the proof. How do I conclude that ${\rm int}\left(\overline{A}\right)\cap V\cap\overline{A}\neq\emptyset$?

• Are relative closed sets just sets who are closed under taking "relatives"? :) – Asaf Karagila Jul 24 '17 at 9:05
• @Asaf Karagila: A subset $B\subset A$ is relative open/closed in $A$ if there exists an open/closed set $V\subset X$ such that $B=A\cap V$. – Mundron Schmidt Jul 24 '17 at 11:35
• @MundronSchmidt. Karaglia is joking. The usual term is "relatively open." – DanielWainfleet Jul 25 '17 at 15:13
• @AsafKaragila.Sorry for mis-spelling your name. – DanielWainfleet Jul 25 '17 at 16:20

By contradiction: Suppose $p\in \overline A$ \ $(\overline {Int(\overline A)}).$ Let $U=X$ \ $(\overline {Int(\overline A)}).$ Then $U$ is open and $U\cap A$ is relatively open in $A.$ And $U\cap A$ is not empty (Because $U$ is a nbhd of $p$ and $p\in \overline A$). So $U\cap A$ is not meager, so $$Int(\overline {U\cap A})\ne \phi.$$ $$\text {We have }\quad Int (\overline {U\cap A}\subset Int(\overline A)\subset \overline {Int (\overline A)} = X \backslash U.$$ $$\text {We also have }\quad Int (\overline {U\cap A})\subset \overline {U\cap A}\subset \overline U.$$ Now $Int (\overline {U\cap A})$ is an open set which is disjoint from $U$, hence $Int(\overline {U\cap A})$ is disjoint from $\overline U$. But $Int (\overline {U\cap A})$ is also a subset of $\overline U.$ So $$Int (\overline {U\cap A})=\phi$$ which is a contradiction.