Open sets and sets of interior points

Printable View

August 9th 2011, 02:56 AM
I-Think

Open sets and sets of interior points

Need verification of a proof please

Question
Let $E^o$ be the set of all interior points of a set $E$ .
Prove $E^o$ is always open

Proof
Consider $p\in{E^o}$ . $\exists$ a neighborhood $N$ of $p$ such that $N\subset{E}$

This $N$ is an open set, so $\forall{q\in{N}}, \exists$ a neighborhood $M$ of $q$ so $M\subset{N\subset{E}}$
So $N$ consists of interior points of $E$ , so $E^o$ is open.
QED

Proof correct? Any alternatives or ways to make it cleaner/more elegant?
August 9th 2011, 03:10 AM
Plato

Re: Open sets and sets of interior points

Quote:

Originally Posted by I-Think

Question
Let $E^o$ be the set of all interior points of a set $E$ .
Prove $E^o$ is always open
Proof
Consider $p\in{E^o}$ . $\exists$ a neighborhood $N$ of $p$ such that $N\subset{E}$
This $N$ is an open set, so $\forall{q\in{N}}, \exists$ a neighborhood $M$ of $q$ so $M\subset{N\subset{E}}$
So $N$ consists of interior points of $E$ , so $E^o$ is open.
QED

It is correct. Basically you are noting that a neighborhood is a neighborhood of each of its points.

All times are GMT -8. The time now is 12:24 AM.

Copyright © 2005-2013 Math Help Forum. All rights reserved.

Copyright © 2005-2013 Math Help Forum. All rights reserved.