diff --git a/inputs/lecture_06.tex b/inputs/lecture_06.tex index cf333c0..bc8a514 100644 --- a/inputs/lecture_06.tex +++ b/inputs/lecture_06.tex @@ -168,28 +168,26 @@ Furthermore define \] i.e.~$\Delta^0_1$ is the set of clopen sets. -\iffalse % TODO Fix this! -\resizebox{\textwidth}{!}{ -% https://q.uiver.app/#q=WzAsMTMsWzAsMSwiXFxEZWx0YV8xXjAiXSxbMSwwLCJcXFNpZ21hXzFeMCJdLFsxLDIsIlxcUGleMF8xIl0sWzIsMSwiXFxEZWx0YV4wXzIiXSxbMywwLCJcXFNpZ21hXjBfMiJdLFszLDIsIlxcUGlfMl4wIl0sWzQsMSwiXFxEZWx0YV4wXzMiXSxbNiwxLCJcXERlbHRhXjBfXFx4aSJdLFs3LDAsIlxcU2lnbWFeMF9cXHhpIl0sWzcsMiwiXFxQaV4wX1xceGkiXSxbNSwxLCJcXGxkb3RzIl0sWzgsMSwiXFxEZWx0YV4wX3tcXHhpICsgMX0iXSxbOSwxLCJcXGxkb3RzIl0sWzAsMSwiXFxzdWJzZXRlcSIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzAsMiwiXFxzdWJzZXRlcSIsMix7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoiYm90dG9tIn19fV0sWzIsMywiIiwyLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifX19XSxbMSwzLCIiLDAseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJob29rIiwic2lkZSI6InRvcCJ9fX1dLFszLDQsIiIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzMsNSwiIiwwLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJib3R0b20ifX19XSxbNyw4LCIiLDAseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJob29rIiwic2lkZSI6InRvcCJ9fX1dLFs3LDksIiIsMix7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoiYm90dG9tIn19fV0sWzQsNiwiIiwwLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifX19XSxbNSw2LCIiLDEseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJob29rIiwic2lkZSI6ImJvdHRvbSJ9fX1dLFs4LDExLCIiLDAseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJob29rIiwic2lkZSI6InRvcCJ9fX1dLFs5LDExLCIiLDIseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJob29rIiwic2lkZSI6ImJvdHRvbSJ9fX1dXQ== -\[\begin{tikzcd} +\adjustbox{width=\textwidth, center}{% +% https://q.uiver.app/#q=WzAsMTMsWzAsMSwiXFxEZWx0YV8xXjAiXSxbMSwwLCJcXFNpZ21hXzFeMCJdLFsxLDIsIlxcUGleMF8xIl0sWzIsMSwiXFxEZWx0YV4wXzIiXSxbMywwLCJcXFNpZ21hXjBfMiJdLFszLDIsIlxcUGlfMl4wIl0sWzQsMSwiXFxEZWx0YV4wXzMiXSxbNiwxLCJcXERlbHRhXjBfXFx4aSJdLFs3LDAsIlxcU2lnbWFeMF9cXHhpIl0sWzcsMiwiXFxQaV4wX1xceGkiXSxbNSwxLCJcXGxkb3RzIl0sWzgsMSwiXFxEZWx0YV4wX3tcXHhpICsgMX0iXSxbOSwxLCJcXGxkb3RzIl0sWzAsMSwiXFxzdWJzZXRlcSIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzAsMiwiXFxzdWJzZXRlcSIsMix7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzIsMywiXFxzdWJzZXRlcSIsMix7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzEsMywiXFxzdWJzZXRlcSIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzMsNCwiXFxzdWJzZXRlcSIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzMsNSwiXFxzdWJzZXRlcSIsMix7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzcsOCwiXFxzdWJzZXRlcSIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzcsOSwiXFxzdWJzZXRlcSIsMix7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzQsNiwiXFxzdWJzZXRlcSIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzUsNiwiXFxzdWJzZXRlcSIsMix7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzgsMTEsIlxcc3Vic2V0ZXEiLDAseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJob29rIiwic2lkZSI6InRvcCJ9fX1dLFs5LDExLCJcXHN1YnNldGVxIiwyLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifX19XV0= +\begin{tikzcd} & {\Sigma_1^0} && {\Sigma^0_2} &&&& {\Sigma^0_\xi} \\ {\Delta_1^0} && {\Delta^0_2} && {\Delta^0_3} & \ldots & {\Delta^0_\xi} && {\Delta^0_{\xi + 1}} & \ldots \\ & {\Pi^0_1} && {\Pi_2^0} &&&& {\Pi^0_\xi} \arrow["\subseteq", hook, from=2-1, to=1-2] - \arrow["\subseteq"', hook', from=2-1, to=3-2] - \arrow[hook, from=3-2, to=2-3] - \arrow[hook, from=1-2, to=2-3] - \arrow[hook, from=2-3, to=1-4] - \arrow[hook', from=2-3, to=3-4] - \arrow[hook, from=2-7, to=1-8] - \arrow[hook', from=2-7, to=3-8] - \arrow[hook, from=1-4, to=2-5] - \arrow[hook', from=3-4, to=2-5] - \arrow[hook, from=1-8, to=2-9] - \arrow[hook', from=3-8, to=2-9] -\end{tikzcd}\]% + \arrow["\subseteq"', hook, from=2-1, to=3-2] + \arrow["\subseteq"', hook, from=3-2, to=2-3] + \arrow["\subseteq", hook, from=1-2, to=2-3] + \arrow["\subseteq", hook, from=2-3, to=1-4] + \arrow["\subseteq"', hook, from=2-3, to=3-4] + \arrow["\subseteq", hook, from=2-7, to=1-8] + \arrow["\subseteq"', hook, from=2-7, to=3-8] + \arrow["\subseteq", hook, from=1-4, to=2-5] + \arrow["\subseteq"', hook, from=3-4, to=2-5] + \arrow["\subseteq", hook, from=1-8, to=2-9] + \arrow["\subseteq"', hook, from=3-8, to=2-9] +\end{tikzcd}% } -\fi \begin{proposition} Let $X$ be a metrizable space.