Open sets and sets of interior points

**I-Think** · August 9th 2011, 03:56 AM

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?

**Plato** · August 9th 2011, 04:10 AM

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.

Thread: Open sets and sets of interior points

LinkBack

Thread Tools

Display

Open sets and sets of interior points

Re: Open sets and sets of interior points

Similar Math Help Forum Discussions

Metric spaces, open sets, and closed sets

Open sets and closed sets

Open sets and closed sets

Proof: Interior points and closed sets.

Open sets and interior points Complex

Search Tags