$$ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Self-defined math definitions %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Math symbol commands \newcommand{\intd}{\,{\rm d}} % Symbol 'd' used in integration, such as 'dx' \newcommand{\diff}{{\rm d}} % Symbol 'd' used in differentiation \newcommand{\Diff}{{\rm D}} % Symbol 'D' used in differentiation \newcommand{\pdiff}{\partial} % Partial derivative \newcommand{DD}[2]{\frac{\diff}{\diff #2}\left( #1 \right)} \newcommand{Dd}[2]{\frac{\diff #1}{\diff #2}} \newcommand{PD}[2]{\frac{\pdiff}{\pdiff #2}\left( #1 \right)} \newcommand{Pd}[2]{\frac{\pdiff #1}{\pdiff #2}} \newcommand{\rme}{{\rm e}} % Exponential e \newcommand{\rmi}{{\rm i}} % Imaginary unit i \newcommand{\rmj}{{\rm j}} % Imaginary unit j \newcommand{\vect}[1]{\boldsymbol{#1}} % Vector typeset in bold and italic \newcommand{\phs}[1]{\dot{#1}} % Scalar phasor \newcommand{\phsvect}[1]{\boldsymbol{\dot{#1}}} % Vector phasor \newcommand{\normvect}{\vect{n}} % Normal vector: n \newcommand{\dform}[1]{\overset{\rightharpoonup}{\boldsymbol{#1}}} % Vector for differential form \newcommand{\cochain}[1]{\overset{\rightharpoonup}{#1}} % Vector for cochain \newcommand{\bigabs}[1]{\bigg\lvert#1\bigg\rvert} % Absolute value (single big vertical bar) \newcommand{\Abs}[1]{\big\lvert#1\big\rvert} % Absolute value (single big vertical bar) \newcommand{\abs}[1]{\lvert#1\rvert} % Absolute value (single vertical bar) \newcommand{\bignorm}[1]{\bigg\lVert#1\bigg\rVert} % Norm (double big vertical bar) \newcommand{\Norm}[1]{\big\lVert#1\big\rVert} % Norm (double big vertical bar) \newcommand{\norm}[1]{\lVert#1\rVert} % Norm (double vertical bar) \newcommand{\ouset}[3]{\overset{#3}{\underset{#2}{#1}}} % over and under set % Super/subscript for column index of a matrix, which is used in tensor analysis. \newcommand{\cscript}[1]{\;\; #1} % Star symbol used as prefix in front of a paragraph with no indent \newcommand{\prefstar}{\noindent$\ast$ } % Big vertical line restricting the function. % Example: $u(x)\restrict_{\Omega_0}$ \newcommand{\restrict}{\big\vert} % Math operators which are typeset in Roman font \DeclareMathOperator{\sgn}{sgn} % Sign function \DeclareMathOperator{\erf}{erf} % Error function \DeclareMathOperator{\Bd}{Bd} % Boundary of a set, used in topology \DeclareMathOperator{\Int}{Int} % Interior of a set, used in topology \DeclareMathOperator{\rank}{rank} % Rank of a matrix \DeclareMathOperator{\divergence}{div} % Curl \DeclareMathOperator{\curl}{curl} % Curl \DeclareMathOperator{\grad}{grad} % Gradient \DeclareMathOperator{\tr}{tr} % Trace \DeclareMathOperator{\span}{span} % Span $$

止于至善

As regards numerical analysis and mathematical electromagnetism

Baire Category Theorem

Theorem (Baire) Let $X$ be a complete metric space and $\{O_k\}_{k \geq 1}$ a countable collection of dense subsets of $X$. Then $\bigcap_{k=1}^{\infty} O_k$ is dense in $X$.

Analysis: This theorem belongs to the kind of propositions from which there seems to be no obvious tools or conditions for us to directly produce something as intermediate results or clues. Usually, such circumstances require an additional structure constructed by ourselves to assist the proof. Note that although the wording “constructed” is used here, it is not constructive proof. For this theorem, we need to construct a sequence of successively embedded balls, each of which is contained in a corresponding $O_k$ and any two balls from which are not tangent to each other. Meanwhile, the intersection of all these balls contains a point in any open set in $X$, which proves its density.

Proof: Let $U$ be an arbitrary open set in $X$. Because $O_1$ is dense in $X$, $O_1 \cap U$ is a nonempty open set. Select an $x$ from $O_1 \cap U$, there is an open ball $B_1 = B(x_1, r_1)$ contained in $O_1 \cap U$.

Similarly, because $O_2$ is dense, there is an $x_2$ in $O_2 \cap B_1$. Because $O_2 \cap B_1$ is open, there is another open ball $B_2 = B(x_2, r_2)$ embedded in $B_1$. We can select the radius $r_2$ of $B_2$ to be small enough such that the boundary of $B_2$ does not touch that of $B_1$, i.e. the two balls are not internally tangent. To determine a valid value range of $r_2$, two limiting cases should be considered.

  1. When $x_2$ is confined in the ball $B(x_1, \frac{r_1}{2})$, as long as $r_2$ is smaller than $\frac{r_1}{2}$, $B_2$ will not touch the boundary of $B_1$ (see Figure 1).
  2. When $x_2$ is selected outside the ball $B(x_1, \frac{r_1}{2})$, as long as $r_2$ is smaller than $r_1 - \rho(x_1, x_2)$, $B_2$ will not touch the boundary of $B_1$ (see Figure 2).

Therefore, by selecting $r_2 < \min\{\frac{r_1}{2}, r_1 - \rho(x_1, x_2)\}$, $B_2$ does not touch the boundary of $B_1$ so that $\bar{B}_2$ is completely contained within $B_1$.

Figure 1. $B_2$ embedded in $B_1$ when $r_2 \approx \frac{r_1}{2}$.

Figure 2. $B_2$ embedded in $B_1$ when $r_2 \approx r_1 - \rho(x_1, x_2)$.

Continue the above operation, a sequence of open balls $\{B_k\}$ can be obtained such that $\bar{B}_{k+1} \subset B_k$, $B_k \subset O_k$ and $r_k \rightarrow 0$ when $k \rightarrow \infty$. For any $\varepsilon > 0$, there exists $N$ such that $r_N < \frac{\varepsilon}{2}$ and when $m, n > N$, $x_m$ and $x_n$, being the centers of $B_m$ and $B_n$ respectively, belong to the same ball $B_N$. Hence, $\rho(x_m, x_n) < 2r_N < \varepsilon$ and the sequence of ball centers $\{x_k\}$ is a Cauchy sequence. Because $X$ is complete, there exists $x$ in $X$ such that $x_k \rightarrow x$.

Because the sequence of balls are successively embedded, when $k > N$, $x_k$ belongs to $B_{N+1}$. In addition, because these ball are not internally tangent, the limit $x$ of $\{x_k\}$ is contained in $\bar{B}_{N+1}$, which is also contained in $B_N$ and then in $O_N$. Note that this $N$ is arbitrarily given, $x$ belongs to $\bigcap_{k=1}^{\infty} O_k$. Meanwhile, since any open ball $B_k$ is contained in the open set $U$, $x$ also belongs to $U$ and $U \cap \{\bigcap_{k=1}^{\infty} O_k\}$ is not empty. Because $U$ is arbitrary in $X$, $\bigcap_{k=1}^{\infty} O_k$ is dense.

$\square$

With Baire Theorem proved, Baire Category Theorem can be proved directly.

Theorem (Baire Category Theorem) Let $X$ be a complete metric space. Then no nonempty open subset of $X$ is of first category.

Proof: Let $\{E_n\}$ be a countable collection of nowhere dense sets and $O_n = (\bar{E}_n)^{\rm c}$, hence $O_n$ is dense. Due to Baire Theorem, $\bigcap_{n=1}^{\infty} O_n = \bigcap_{n=1}^{\infty} (\bar{E}_n)^{\rm c} = \left( \bigcup_{n=1}^{\infty} \bar{E}_n \right)^{\rm c}$ is dense in $X$. Therefore, any nonempty open set $U$ in $X$ has a nonempty intersection with it, which means $U$ is not contained in $\bigcup_{n=1}^{\infty} \bar{E}_n$ and neither is it contained in $\bigcup_{n=1}^{\infty} E_n$. So $U$ is not of first category. N.B. Because $X$ itself is a nonempty open set, $X$ is not of first category.

$\square$

posted @ 2020-10-28 10:00  皮波迪博士  阅读(632)  评论(0编辑  收藏  举报