- #1
Newtime
- 348
- 0
Homework Statement
Prove: a set in a topological space is closed and nowhere dense if and only if it is the boundary of an open set.
Homework Equations
Basic definitions of closed, nowhere dense, open and boundary.
The Attempt at a Solution
One direction is easy. Let [tex] A \subset X [/tex] be a subset in a topological space. Since [tex]\partial A = \bar{A} \cap \overline{X-A} [/tex] and the (finite) interesection of closed sets is closed, the boundary is closed. We also have another interpretation of the boundary. Namely, [tex] \partial A = \bar{A} - \text{int}(A). [/tex] The boundary is nowhere dense since the interior is the largest open set so deleting it means the boundary contains no nonempty open set.
I'm having trouble with the other direction. It seems necessary to do it by construction since there is no general criteria to conclude some random set is a boundary of an open set other than using the definitions, which is how most proofs go in point set topology. However, we know nothing about the set a priori or even about the space, so I'm pretty confused. I think all I need is a (small) nudge in the right direction and any help is appreciated. Thanks in advance.