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

Problem

Prove the following properties (for subset of $\mathbb{R}^n$).

(a) $\text{int}(\text{int}(A)) = \text{int}(A)$.

(b) $\text{int}(A \cup B) \supset \text{int}(A) \cup \text{int}(B)$

(c) $\text{int}(A \cap B) = \text{int}(A) \cap \text{int}(B)$.

Answer

(a) For $x \in \text{int}(\text{int}(A))$, there exists $\epsilon >0$ such that $D(x,\epsilon) \subset \text{int}(A)$, which means $x \in \text{int}(A)$.

For $x \in \text{int}(A)$, there exists $\epsilon >0$ such that $D(x,\epsilon) \subset A$. For $y \in D(x,\epsilon)$, $D(y,\epsilon-|x-y|) \subset D(x,\epsilon) \subset A$, which implies $D(x,\epsilon) \subset \text{int}(A)$. Hence, $x \in \text{int}(\text{int}(A))$.

(b) For $x \in \text{int}(A)$, there exists $\epsilon >0$ such that $D(x,\epsilon) \subset A \subset A \cup B$  $\Rightarrow$  $x \in \text{int}(A \cup B)$  $\Rightarrow$  $\text{int}(A) \subset \text{int}(A \cup B)$. Similarly, $\text{int}(B) \subset \text{int}(A \cup B)$.

(c) For $x \in \text{int}(A \cap B)$, there exists $\epsilon >0$ such that $D(x,\epsilon) \subset A \cap B \subset A$, which implies $x \in \text{int}(A)$. Similarly, $x \in \text{int}(B)$. Hence, $\text{int}(A \cap B) \subset \text{int}(A) \cap \text{int}(B)$.

For $x \in \text{int}(A) \cap \text{int}(B)$, there exists $\epsilon_A,\epsilon_B >0$ such that $D(x,\epsilon_A) \subset A$ and $D(x,\epsilon_B) \subset B$. For $\epsilon = \min(\epsilon_A,\epsilon_B)$, $D(x,\epsilon) \subset A \cap B$, which implies $x \in \text{int}(A \cap B)$. Hence, $\text{int}(A) \cap \text{int}(B) \subset \text{int}(A \cap B)$.

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

Elementary Classical Analysis, Marsden, 2nd ed, Chapter 4, Problem 28

Problem Let $f:(0,1) \rightarrow \mathbb{R}$ be uniformly continuous. Must $f$ be bounded? Answer Since $f$ is a uniformly continuous, there exists a $\delta >0$ such that $|x-y|<\delta$  $\Rightarrow$  $|f(x)-f(y)|<1$. Suppose $f$ is not bounded. Then, we can choose a sequence $x_n \in (0,1)$ such that $f(x_{n+1}) > f(x_n) + 1$. Since $x_n$ is a sequence in the compact set $[0,1]$, there exists a convergent subsequence $x_{n_k}$. Since $x_{n_k}$ is a Cauchy sequence, there exists $K \in \mathbb{N}$ such that $|x_{n_k} - x_{n_l}|<\delta$ for all $k,l \geq K$. However, $|f(x_{n_K}) - f(x_{n_{K+1}})|>1$, which is contradiction.
Read more