- Thread starter
- #1

- Thread starter dwsmith
- Start date

- Thread starter
- #1

The way you have written the statement makes it false.If $S\subseteq\mathbb{R}^n$, prove that $S$ is the union of all open subsets $\mathbb{R}^n$ which are contained in $S$.

This is described by saying that int $S$ is the largest open subset of $S$.

I don't really get this.

Do you mean that If $S$ is open then... ?

- Thread starter
- #3

That is exactly how it is written in Apostles. Problem 3.10The way you have written the statement makes it false.

Do you mean that If $S$ is open then... ?

As written is is still false.That is exactly how it is written in Apostles. Problem 3.10

If $S$ has a boundary point $S$ cannot be the union of open sets.

The statement that $S\subseteq \mathbb{R}^n$ means any set in $\mathbb{R}^n$.

The statement is true for any open set. For you see that an open set is its own interior.

That is, every open sets is the union of open balls.

- Thread starter
- #5

I just re-read it and I forgot the int.If $S\subseteq\mathbb{R}^n$, prove that the int $S$ is the union of all open subsets $\mathbb{R}^n$ which are contained in $S$.

This is described by saying that int $S$ is the largest open subset of $S$.

I don't really get this.

If $t\in\text{Int}(S)$ then there is an open set $O_t$ such that $t\in O_t~\&~O_t\subseteq S$.I just re-read it and I forgot the int.

Now finish it.

- Thread starter
- #7

I understand what you have written. How can int $S$ be the union of all open sets of $\mathbb{R}^n$. But $\mathbb{R}^n$ can be bigger than $S$.If $t\in\text{Int}(S)$ then there is an open set $O_t$ such that $t\in O_t~\&~O_t\subseteq S$.

Now finish it.

- Admin
- #8

- Jan 26, 2012

- 4,193

Where did Plato say that?I understand what you have written. How can int $S$ be the union of all open sets of $\mathbb{R}^n$. But $\mathbb{R}^n$ can be bigger than $S$.

By the way, I'm guessing that the problem statement is as follows:

If $S\subseteq \mathbb{R}^{n}$, prove that $ \text{int}(S)$ is the union of all open subsets

Is that correct? If so, then it's not that $\text{int}(S)$ is the union of all open subsets of $\mathbb{R}^{n}$. It's the union of all open subsets of $\mathbb{R}^{n}$

$$\text{int}(S)=\bigcup_{x}\:\{x|x\subseteq S\land x\;\text{is open}\}.$$