2
$\begingroup$

I've just begun reading Spivak's Calculus on Manifold and attempted to proof this simple result.

-I've updated my proof-

My proof are as follows,

img http://dl.dropbox.com/u/5681270/open-set%20proofs.png

My proof for the intersection case still looks kinda dubious though.

@Devan Ware, the notation $N_{\epsilon}(x)$ looks very useful to me but i haven't seen it anywhere, which branch of math is it found in and where can i learn more about it?

  • 0
    This question appears to be off-topic because it no longer has any content since the link to the image is dead.2014-08-17

2 Answers 2

4

Your proof doesn't seem to be quite correct. Note that as your definition you have that $U \subseteq \mathbb{R}^n$ is open iff for each $x \in U$ there is an open rectangle $A = (a_1,b_1) \times \cdots \times (a_n,b_n)$ containing $x$ such that $A \subseteq U$. This means that for every point $x$ of $U$ you have to find such an open rectangle, and the choice of rectangle may depend on the choice of $x$. Thus, "picking $A$ to work for $U$ and $B$ to work for $V$" doesn't quite make sense. What you need to do is first pick the $x$ from the set you wish to show is open, and then show that there is an open rectangle that would work for this particular $x$.

The "trick" is to note that if $\{ U_i : i \in I \}$ is any family of sets, then $x \in \bigcup_{i \in I} U_i$ iff there is an $i \in I$ such that $x \in U_i$, and also note that if $A \subseteq U_i$ for some $i$, then $A \subseteq \bigcup_{i \in I} U_i$.

I think this should lead you in the right direction.

1

For the infinite case, if the family is uncountable, then we cannot use mathematical induction. Here is the proof for the general case (whether it is finite or infinite, countable or uncountable): Let $\{U_i\}_{i\in I}$ be a family of open sets. Here $I$ can be finite, infinite, countable, or uncountable. We want to prove that $\cup_{i\in I}U_i$ is open.

To prove this, let $x\in\cup_{i\in I}U_i$. Therefore, $x\in U_i$ for some $i\in I$. Since $U_i$ is open by assumption, there exists an open rectangle $(a_1,b_1)\times(a_2,b_2)\times\cdots\times (a_n,b_n)$ such that $x\in (a_1,b_1)\times(a_2,b_2)\times\cdots\times (a_n,b_n)\subset U_i.$ This implies that $x\in (a_1,b_1)\times(a_2,b_2)\times\cdots\times (a_n,b_n)\subset U_i\subset\cup_{i\in I}U_i.$ Since $x$ is arbitrary, we have proved that $\cup_{i\in I}U_i$ is open.