w23-logic-3/inputs/lecture_04.tex

168 lines
5.1 KiB
TeX
Raw Permalink Normal View History

2023-10-20 11:53:35 +02:00
\lecture{04}{2023-10-20}{}
2024-01-09 20:23:57 +01:00
2023-10-20 11:53:35 +02:00
\begin{remark}
2024-01-09 20:23:57 +01:00
Some of the $F_s$ might be empty.
2023-10-20 11:53:35 +02:00
\end{remark}
\begin{refproof}{thm:bairetopolish}
2024-01-23 21:52:45 +01:00
\gist{%
2023-10-20 11:53:35 +02:00
Take
\[D = \{x \in \cN : \bigcap_{n} F_{x\defon{n}} \neq \emptyset\}.\]
Since $\ldots \supseteq F_{x\defon{n}} \supseteq \overline{F_{x\defon{n+1}}} \supseteq F_{x\defon{n+1}} \supseteq \ldots$
we have
\[
\bigcap_{n} F_{x\defon{n}} = \bigcap_{n} \overline{F_{x\defon{n}}}.
2024-01-23 21:52:45 +01:00
\]
}{}
2023-10-20 11:53:35 +02:00
$f\colon D \to X$ is determined by
\[
\{f(x)\} = \bigcap_{n} F_{x\defon{n}}
2024-01-23 21:52:45 +01:00
\]
2023-10-20 11:53:35 +02:00
2024-01-23 21:52:45 +01:00
\gist{%
$f$ is injective and continuous.
The proof of this is exactly the same as in
\yaref{thm:cantortopolish}.
}{}
2023-10-20 11:53:35 +02:00
\begin{claim}
\label{thm:bairetopolish:c1}
$D$ is closed.
\end{claim}
\begin{refproof}{thm:bairetopolish:c1}
Let $x_n$ be a series in $D$
converging to $x$ in $\cN$.
\begin{claim}
$(f(x_n))$ is Cauchy.
\end{claim}
\begin{subproof}
Let $\epsilon > 0$.
Take $N$ such that $\diam(F_{x\defon{n}}) < \epsilon$.
Take $M$ such that for all $m \ge M$,
$x_m\defon{N} = x\defon{N}$.
Then for all $m, n \ge M$,
we have that $f(x_m), f(x_n) \in F_{x\defon{N}}$.
2024-01-09 20:23:57 +01:00
So $d(f(x_m), f(x_n)) < \epsilon$, i.e.~$(f(x_n))$ is Cauchy.
2023-10-20 11:53:35 +02:00
\end{subproof}
2024-01-09 20:23:57 +01:00
Since $(X,d)$ is complete,
there exists $y = \lim_n f(x_n)$.
Since for all $m \ge M$, $f(x_m) \in F_{x\defon{N}}$,
we get that $y \in \overline{F_{x\defon{N}}}$.
2024-01-23 21:52:45 +01:00
2024-01-09 20:23:57 +01:00
Note that for $N' > N$ by the same argument
we get $y \in \overline{F_{x\defon{N'}}}$.
Hence
\[y \in \bigcap_{n} \overline{F_{x\defon{n}}} = \bigcap_{n} F_{x\defon{n}},\]
i.e.~$y \in D$ and $y = f(x)$.
2023-10-20 11:53:35 +02:00
\end{refproof}
2024-01-23 21:52:45 +01:00
We extend $f$ to $g\colon\cN \to X$
2023-10-20 11:53:35 +02:00
in the following way:
2024-02-02 01:48:47 +01:00
Take $S \coloneqq \{s \in \N^{<\N}: \exists x \in D, n \in \N.~x\defon{n} = s\}$.
2023-10-20 11:53:35 +02:00
Clearly $S$ is a pruned tree.
2024-02-04 01:36:10 +01:00
Moreover, since $D$ is closed, we have that\footnote{cf.~\yaref{s3e1}}
2023-10-20 11:53:35 +02:00
\[
D = [S] = \{x \in \N^\N : \forall n \in \N.~x\defon{n} \in S\}.
2024-01-23 21:52:45 +01:00
\]
We construct a \vocab{retraction} $r\colon\cN \to D$
2023-10-20 11:53:35 +02:00
(i.e.~$r = \id$ on $D$ and $r$ is a continuous surjection).
Then $g \coloneqq f \circ r$.
2024-01-23 21:52:45 +01:00
To construct $r$, we will define
2023-10-20 11:53:35 +02:00
$\phi\colon \N^{<\N} \to S$ by induction on the length
such that
\begin{itemize}
\item $s \subseteq t \implies \phi(s) \subseteq \phi(t)$,
\item $|s| = \phi(|s|)$,
\item if $s \in S$, then $\phi(s) = s$.
\end{itemize}
2024-01-23 21:52:45 +01:00
\gist{%
Let $\phi(\emptyset) = \emptyset$.
Suppose that $\phi(t)$ is defined.
If $t\concat a \in S$, then set
$\phi(t\concat a) \coloneqq t\concat a$.
Otherwise take some $b$ such that
$t\concat b \in S$ and define
$\phi(t\concat a) \coloneqq \phi(t)\concat b$.%
}{}%
2023-10-20 11:53:35 +02:00
This is possible since $S$ is pruned.
2024-01-23 21:52:45 +01:00
\gist{%
Let $r\colon \cN = [\N^{<\N}] \to [S] = D$
be the function defined by $r(x) = \bigcup_n f(x\defon{n})$.
}{}
2023-10-20 11:53:35 +02:00
$r$ is continuous, since
$d_{\cN}(r(x), r(y)) \le d_{\cN}(x,y)$. % Lipschitz
2024-01-23 21:52:45 +01:00
\gist{%
It is immediate that $r$ is a retraction.
}{}
2023-10-20 11:53:35 +02:00
\end{refproof}
2023-11-03 11:55:11 +01:00
\section{Meager and Comeager Sets}
2023-10-20 11:53:35 +02:00
\begin{definition}
Let $X$ be a topological space, $A \subseteq X$.
We say that $A$ is \vocab{nowhere dense} (\vocab{nwd}),
if $\inter(\overline{A}) = \emptyset$.
Equivalently
\begin{itemize}
\item $\overline{A}$ is nwd,
2024-01-13 23:42:59 +01:00
\item $X \setminus \overline{A}$ is dense in $X$,%
2023-10-20 11:53:35 +02:00
\item $\forall \emptyset \neq U \overset{\text{open}}{\subseteq} X.~
\exists \emptyset \neq V \overset{\text{open}}{\subseteq} U.~
V\cap A = \emptyset$.
(If we intersect $A$ with an open $U$,
then $A \cap U$ is not dense in $U$).
\end{itemize}
2024-01-23 21:52:45 +01:00
A set $B \subseteq X$ is \vocab{meager}
2023-10-20 11:53:35 +02:00
(or \vocab{first category}),
iff it is a countable union of nwd sets.
The complement of a meager set is called
\vocab{comeager}.
\end{definition}
2024-01-23 21:52:45 +01:00
\gist{%
2023-10-20 11:53:35 +02:00
\begin{example}
$\Q \subseteq \R$ is meager.
\end{example}
2024-01-23 21:52:45 +01:00
}{}
2023-10-20 11:53:35 +02:00
\begin{notation}
Let $A, B \subseteq X$.
2024-01-23 21:52:45 +01:00
We write $A =^\ast B$
2023-10-20 11:53:35 +02:00
iff the \vocab{symmetric difference},
2023-10-31 11:53:03 +01:00
$A \symdif B \coloneqq (A\setminus B) \cup (B \setminus A)$,
2023-10-20 11:53:35 +02:00
is meager.
\end{notation}
2024-01-23 21:52:45 +01:00
\gist{%
2023-10-20 11:53:35 +02:00
\begin{remark}
$=^\ast$ is an equivalence relation.
\end{remark}
2024-01-23 21:52:45 +01:00
}{}
2023-10-20 11:53:35 +02:00
\begin{definition}
A set $A \subseteq X$
has the \vocab{Baire property} (\vocab{BP})
if $A =^\ast U$ for some $U \overset{\text{open}}{\subseteq} X$.
\end{definition}
2024-01-23 21:52:45 +01:00
\gist{%
2023-10-20 11:53:35 +02:00
Note that open sets and meager sets have the Baire property.
2024-01-23 21:52:45 +01:00
}{}
2023-10-20 11:53:35 +02:00
2024-01-23 21:52:45 +01:00
\gist{%
2023-10-31 11:53:03 +01:00
\begin{example}
\begin{itemize}
\item $\Q \subseteq \R$ is $F_\sigma$.
\item $\R \setminus \Q \subseteq \R$ is $G_\delta$.
2024-01-23 21:52:45 +01:00
\item $\Q \subseteq \R$ is not $G_{\delta}$:
It is dense and meager,
2023-10-31 11:53:03 +01:00
hence it can not be $G_\delta$
2024-01-23 21:52:45 +01:00
by the \yaref{thm:bct}.
2023-10-31 11:53:03 +01:00
\end{itemize}
\end{example}
2024-01-23 22:07:45 +01:00
}{}