My proof of $A^{mathrm{c}}$ is closed iff $A$ is open

Mathematics Asked by mathematicaxyz on January 5, 2022


I have already attempted the proof but I feel like there are some holes in my argument. if someone could look at it and point it out even if minor I would appreciate it. (I know it can be proved through contradiction however I went another way.)

For $Asubseteq mathbb{R},$ prove $A^{mathrm{c}}$ is closed iff $A$ is open.

Suppose $A^c$ is closed. Take $$x in A$$ then $x notin A^c$. Since a subset $S$ in $mathbb R$ is closed if ${a_n}$ in $S$ converges to $a$, then limit $a$ belongs to $S$. (Can also say the limit points in $S$ are in $S$.) Now we know if $S$ is closed it contains all of its limit points, then $x$ is not a limit point of $A^c$. Every neighborhood of $x$ such that there is some $$delta > 0$$ such that $$N = { (x – delta,, x + delta)}subset A.$$ Since $N$ is the neighborhood of $x$ such that $A^ccap N = emptyset$, so $Nsubset A$. Therefore $x$ is an interior point of $A$.
$x$ is arbitrary so true for any $x in A$. Therefore $A$ is open if $A^c$ is closed.

Now suppose $A$ is open (every point in $A$ is an interior point). Suppose $x$ is a limit point of $A^c$. $x$ is not an interior point of $A$ because it is a limit point of $A^c$ and every neighborhood of $x$ has a point in $A^c$. No point in $A^c$ can also be in $A$. Therefore $x in A^c$. Therefore every limit point of $A^c$ is inside of $A^c$. From the definition of a closed set $A^c$ is closed if $A$ is open.

One Answer

The idea is correct, however, it can be written in a better way. For example, you never write what $B$ is. Following is the reworded argument:

First, assume $A^c$ is closed. We want to show $A$ is open. To that end, let $x in A.$ Hence $x notin A^c.$ Closedness of $A^c$ implies that $x$ is not a limit point of $A^c.$ Therefore there exists $delta>0$ such that $$(x-delta,x+delta) cap A^c=emptyset.$$ Hence $$xin(x-delta,x+delta)subseteq A.$$ This proves that $x$ is an interior point of $A.$ Since $xin A$ was arbitrary, it follows that $A$ is open.

Conversely, let $A$ be open and we show $A^c$ is closed. Suppose $x$ is a limit point of $A^c.$ We want to prove that $x in A^c$. Let if possible, $x notin A^c.$ Then $x in A$ (open), and so $x$ is an interior point of $A.$ Therefore there exists a neighborhood $N$ of $x$ such that $x in N subseteq A.$ In other words, $$N cap A^c =emptyset.$$ However as $x$ is a limit point of $A^c,$ we also must have that $$Ncap A^cneq emptyset.$$ We have thus arrived at a contradiction, which means $x in A^c.$ Again since $x$ was an arbitrary limit point of $A^c,$ the claim follows.

Edit: The converse part can also be proved without using contradiction.

If $x$ is a limit point of $A^c,$ then for every neighborhood $N$ of $x,$ there exists $y_N neq x,$ such that $y_N in N cap A^c.$ In other words, $y_N in N$ and $y_N notin A.$ This means $N notsubseteq A.$ Since $N$ was an arbitrary neighbourhood of $x,$ this shows that $x$ cannot be an interior point of $A.$ The openness of $A$ thus gives $x in A^c$. We have thus shown that $A^c$ contains all its limit points and so it is closed.

Answered by Sahiba Arora on January 5, 2022

Add your own answers!

Related Questions

Compute the indefinite integral

0  Asked on January 31, 2021 by starr


Tautology by default?

0  Asked on January 30, 2021 by zaphenath-paneah


Over counting with symmetry

1  Asked on January 29, 2021 by shiv-tavker


Does anyone know how to find H in this question?

0  Asked on January 29, 2021 by dwij-bhandari


Ask a Question

Get help from others!

© 2023 All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP