Elementary Classical Analysis, Marsden, 2nd ed, Chapter 2, Problem 1

Problem

Discuss whether the following sets are open or closed:

(a) (1,2) in $\mathbb{R}$

(b) [2,3] in $\mathbb{R}$

(c) $\bigcap_{n=1}^\infty [-1,1/n)$ in $\mathbb{R}$

(d) $\mathbb{R}^n$ in $\mathbb{R}^n$

(e) A hyperplane in $\mathbb{R}^n$

(f) $\{r \in (0,1) \;|\; \text{$r$ is rational} \}$ in $\mathbb{R}$

(g) $\{(x,y) \in \mathbb{R}^2 \;|\; 0<x \leq 1\}$ in $\mathbb{R}^2$

(h) $\{x \in \mathbb{R}^n \;|\; \|x\|=1\}$ in $\mathbb{R}^n$.

Answer

(a) Open: For $x \in (1,2)$, we can choose $\epsilon = \min(x-1,2-x)$ so that $D(x,\epsilon) \subset (1,2)$.

(b) Closed: For $x \in [2,3]^c$, we can choose $\epsilon = \min(2-x,x-3)$ so that $D(x,\epsilon) \subset [2,3]^c$.

(c) Closed: We first prove that $[-1,0] = A:=\bigcap_{n=1}^\infty [-1,1/n)$. Since $[-1,0] \subset [-1,1/n)$ for all $n \in \mathbb{N}$, $[-1,0] \subset A$.

To prove $A \subset [-1,0]$, we assume that $x \in A$. Then obviously, $x \geq -1$. If $x > 0$, then there exists $n \in \mathbb{N}$ such that $x > 1/n$, which means $x \notin [-1,1/n)$. Hence, $x \leq 0$ and this implies $x \in [-1,0]$.

We can prove that $[-1,0]$ is closed set as in (b).

(d) Open and closed: For all $x \in \mathbb{R}^n$, $D(x,1) \subset \mathbb{R}^n$, obviously, which means $\mathbb{R}^n$ is an open set. Furthermore, $(\mathbb{R}^n)^c$ is a empty set, which is a trivial open set.

(e) Closed: Let $H \subset \mathbb{R}^n$ be a hyperplane. For $x \in H^c$, there is a distance $d$ between $x$ and $H$. Then $D(x,d/2) \subset H^c$.

(f) Neither open nor closed: For $1/2 \in A:=\{r \in (0,1) \;|\; \text{$r$ is rational} \}$ and $\epsilon >0$, $D(1/2,\epsilon)$ contains some irrational numbers in $(0,1)$ since $D(1/2,\epsilon)$ is uncountable.

Conversely, for $\sqrt{2}/2 \in A^c$ and $\epsilon > 0$, $D(\sqrt{2}/2,\epsilon)$ contains some rational number in $A$ since rational number is dense in $\mathbb{R}$

(g) Neither open nor closed: For $(1,0) \in A:=\{(x,y) \in \mathbb{R}^2 \;|\; 0<x \leq 1\}$ and $\epsilon>0$, $D((1,0) ,\epsilon)$ contains $(1+\epsilon/2,0) \in A^c$.

Conversely, For $(0,0) \in A^c$ and $\epsilon >0$, $D((0,0),\epsilon)$ contains $(\epsilon/2,0) \in A$.

(h) Closed: Define $A:=\{x \in \mathbb{R}^n \;|\; \|x\|=1\}$. For $y \in A^c$, we can choose $\epsilon=|1-\|y\||/2$ so that $D(y,\epsilon) \subset A^c$.

Comments

Post a Comment

Popular posts from this blog

Principles of Mathematical Analysis, Rudin, 3th ed, Chapter 5, Problem 15

Problem Suppose $a \in \mathbb{R}^1$, $f$ is a twice-differentiable real function on $(a,\infty)$, and $M_0,M_1,M_2$ are the least upper bounds of $|f(x)|,|f'(x)|,|f''(x)|$, respectively, on $(a,\infty)$. Prove that $$ M_1^2 \leq 4M_0M_2.$$ Does $M_1^2 \leq 4M_0M_2$ hold for vector-valued functions too? Answer For $x \in (a,\infty)$ and $h>0$, $f(x+2h)=f(x)+2f'(x)h + \frac{1}{2}f''(\xi)(2h)^2$ for some $\xi$ between $x$ and $x+2h$ by Theorem 5.15. Then $|f'(x)| \leq \frac{|f(x+2h) - f(x)|}{2h} + |f''(\xi)h| \leq \frac{M_0}{h} + M_2h$. This holds for all $x$ and $h$ and $$ \inf_h(\frac{M_0}{h} + M_2h) = 2\sqrt{M_0M_2}$$ Hence, we have $M_1 \leq 2\sqrt{M_0M_2}$  $\Rightarrow$  $M_1^2 \leq 4M_0M_2.$ This inequality also holds for vector-valued functions $f=(f_1,\cdots,f_k)$. We may assume that $M_1 \neq 0$. For a fixed point $y \in (a,\infty)$, define a function $$ g(x):=f_1'(y)f_1(x) + \cdots + f_k'(y)f_k(x). $$ Then we have $$|g'(x)|^2 ...
Read more

Principles of Mathematical Analysis, Rudin, 3th ed, Chapter 2, Problem 14

Problem Give an example of an open cover of the segment $(0,1)$ which has no finite subcover. Answer Consider a family of sets $\{(1/n,1)\}_{n=2}^\infty$. For any $x \in (0,1)$, there exists $N \in \mathbb{N}$ such that $1/N < x$, which means $x \in (1/N,1)$. This means that $\{(1/n,1)\}_{n=2}^\infty$ covers $(0,1)$. Consider an arbitrary finite subcover $\{(1/n_1,1),\cdots,(1/n_K)\}$ of $\{(1/n,1)\}_{n=2}^\infty$. Then $\bigcup_{k=1}^K(1/n_k,1)=(1/n_\ast,1)$ where $n_\ast=\max(n_1,\cdots,n_K)$, which cannot cover $(0,1)$.
Read more

Principles of Mathematical Analysis, Rudin, 3th ed, Chapter 5, Problem 3

Problem Suppose $g$ is a real function on $\mathbb{R}^1$, with bounded derivative (say $|g'| \leq M$). Fix $\epsilon >0$, and define $f(x) = x + \epsilon g(x)$. Prove that $f$ is one-to-one if $\epsilon$ is small enough. (A set of admissible values of $\epsilon$ can be determined which depends only on $M$.) Answer It is enough to show that $f'>0$ for a small $\epsilon>0$. Note that $$f'(x) = 1+ \epsilon g'(x) \geq 1 - \epsilon M.$$ Hence, if we choose $\epsilon < 1/M$, $f$ is one-to-one.
Read more