diff --git a/content/Math4201/Math4201_L37.md b/content/Math4201/Math4201_L37.md new file mode 100644 index 0000000..b3018b1 --- /dev/null +++ b/content/Math4201/Math4201_L37.md @@ -0,0 +1,80 @@ +# Math4201 Topology I (Lecture 37) + +## Countable Axioms and Separation Axioms + +### Continue on Normal spaces + +#### Proposition of normal spaces + +A topological space $X$ is normal if and only if for all $A\subseteq U$ closed and $U$ is open in $X$, there exists $V$ open such that $A\subseteq V\subseteq \overline{V}\subseteq U$. + +#### Urysohn lemma + +Let $X$ be a normal space, $A,B$ be two closed and disjoint set in $X$, then there exists continuous function $f:X\to[0,1]$ such that $f(A)=\{0\}$ and $f(B)=\{1\}$. + +We say $f$ separates $A$ and $B$. + +> [!NOTE] +> +> We could replace $1,0$ to any $a +Proof + +Step 1: + +Consider the rationals in $[0,1]$. Let $P=[0,1]\cap \mathbb{Q}$. This set is countable. + +First we want to prove that there exists a set of open sets $\{U_p\}_{p\in P}$ such that if $p1$, $U_p=X$. + +Otherwise we use the $p$ in $P$. + +Step 3: + +$\forall x\in X$, set $\mathbb{Q}(x)=\{p\in \mathbb{Q}:x\in U_p\}\subseteq [0,\infty)$. + +This function has a lower bound and $f(x)=\inf\mathbb{Q}(x)$. + +Observe that $A\subseteq U_p,\forall p$ and $f(A)=\inf(0,\infty)=\{0\}$. + +$\forall b\in B$, $b\in U_p$ if and only if $p>1$, so $f(b)=\inf(1,\infty)=1$. + +Suppose $x\in \overline{U_r}$, then $x\in U_s,\forall s \ No newline at end of file diff --git a/content/Math4201/_meta.js b/content/Math4201/_meta.js index 9faaac4..0e1c4ed 100644 --- a/content/Math4201/_meta.js +++ b/content/Math4201/_meta.js @@ -40,4 +40,5 @@ export default { Math4201_L34: "Topology I (Lecture 34)", Math4201_L35: "Topology I (Lecture 35)", Math4201_L36: "Topology I (Lecture 36)", + Math4201_L37: "Topology I (Lecture 37)", } diff --git a/distribute/nginx.conf b/distribute/nginx.conf index f35d217..b6e9c2c 100644 --- a/distribute/nginx.conf +++ b/distribute/nginx.conf @@ -74,15 +74,84 @@ http { deny all; } - location ~ ^/Math(.*)$ { - proxy_pass http://notenextra-math/Math$1; - proxy_set_header Host $host; + # Course-specific prefix + location ^~ /Math3200/ { + proxy_pass https://notenextra-math3200.pages.dev; + proxy_set_header Host notenextra-math3200.pages.dev; + + proxy_ssl_server_name on; + proxy_ssl_name notenextra-math3200.pages.dev; + proxy_set_header X-Real-IP $remote_addr; proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; proxy_set_header X-Forwarded-Proto $scheme; } + location ^~ /Math429/ { + proxy_pass https://notenextra-math429.pages.dev; + proxy_set_header Host notenextra-math429.pages.dev; - # Course-specific prefix + proxy_ssl_server_name on; + proxy_ssl_name notenextra-math429.pages.dev; + + proxy_set_header X-Real-IP $remote_addr; + proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; + proxy_set_header X-Forwarded-Proto $scheme; + } + location ^~ /Math4111/ { + proxy_pass https://notenextra-math4111.pages.dev; + proxy_set_header Host notenextra-math4111.pages.dev; + + proxy_ssl_server_name on; + proxy_ssl_name notenextra-math4111.pages.dev; + + proxy_set_header X-Real-IP $remote_addr; + proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; + proxy_set_header X-Forwarded-Proto $scheme; + } + location ^~ /Math4121/ { + proxy_pass https://notenextra-math4121.pages.dev; + proxy_set_header Host notenextra-math4121.pages.dev; + + proxy_ssl_server_name on; + proxy_ssl_name notenextra-math4121.pages.dev; + + proxy_set_header X-Real-IP $remote_addr; + proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; + proxy_set_header X-Forwarded-Proto $scheme; + } + location ^~ /Math4201/ { + proxy_pass https://notenextra-math4201.pages.dev; + proxy_set_header Host notenextra-math4201.pages.dev; + + proxy_ssl_server_name on; + proxy_ssl_name notenextra-math4201.pages.dev; + + proxy_set_header X-Real-IP $remote_addr; + proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; + proxy_set_header X-Forwarded-Proto $scheme; + } + location ^~ /Math416/ { + proxy_pass https://notenextra-math416.pages.dev; + proxy_set_header Host notenextra-math416.pages.dev; + + proxy_ssl_server_name on; + proxy_ssl_name notenextra-math416.pages.dev; + + proxy_set_header X-Real-IP $remote_addr; + proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; + proxy_set_header X-Forwarded-Proto $scheme; + } + location ^~ /Math401/ { + proxy_pass https://notenextra-math401.pages.dev; + proxy_set_header Host notenextra-math401.pages.dev; + + proxy_ssl_server_name on; + proxy_ssl_name notenextra-math401.pages.dev; + + proxy_set_header X-Real-IP $remote_addr; + proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; + proxy_set_header X-Forwarded-Proto $scheme; + } location ^~ /CSE332S/ { proxy_pass https://notenextra-cse332s.pages.dev; proxy_set_header Host notenextra-cse332s.pages.dev; @@ -94,6 +163,72 @@ http { proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; proxy_set_header X-Forwarded-Proto $scheme; } + location ^~ /CSE347/ { + proxy_pass https://notenextra-cse347.pages.dev; + proxy_set_header Host notenextra-cse347.pages.dev; + + proxy_ssl_server_name on; + proxy_ssl_name notenextra-cse347.pages.dev; + + proxy_set_header X-Real-IP $remote_addr; + proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; + proxy_set_header X-Forwarded-Proto $scheme; + } + location ^~ /CSE442T/ { + proxy_pass https://notenextra-cse442t.pages.dev; + proxy_set_header Host notenextra-cse442t.pages.dev; + + proxy_ssl_server_name on; + proxy_ssl_name notenextra-cse442t.pages.dev; + + proxy_set_header X-Real-IP $remote_addr; + proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; + proxy_set_header X-Forwarded-Proto $scheme; + } + location ^~ /CSE5313/ { + proxy_pass https://notenextra-cse5313.pages.dev; + proxy_set_header Host notenextra-cse5313.pages.dev; + + proxy_ssl_server_name on; + proxy_ssl_name notenextra-cse5313.pages.dev; + + proxy_set_header X-Real-IP $remote_addr; + proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; + proxy_set_header X-Forwarded-Proto $scheme; + } + location ^~ /CSE510/ { + proxy_pass https://notenextra-cse510.pages.dev; + proxy_set_header Host notenextra-cse510.pages.dev; + + proxy_ssl_server_name on; + proxy_ssl_name notenextra-cse510.pages.dev; + + proxy_set_header X-Real-IP $remote_addr; + proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; + proxy_set_header X-Forwarded-Proto $scheme; + } + location ^~ /CSE559A/ { + proxy_pass https://notenextra-cse559a.pages.dev; + proxy_set_header Host notenextra-cse559a.pages.dev; + + proxy_ssl_server_name on; + proxy_ssl_name notenextra-cse559a.pages.dev; + + proxy_set_header X-Real-IP $remote_addr; + proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; + proxy_set_header X-Forwarded-Proto $scheme; + } + location ^~ /CSE5519/ { + proxy_pass https://notenextra-cse5519.pages.dev; + proxy_set_header Host notenextra-cse5519.pages.dev; + + proxy_ssl_server_name on; + proxy_ssl_name notenextra-cse5519.pages.dev; + + proxy_set_header X-Real-IP $remote_addr; + proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; + proxy_set_header X-Forwarded-Proto $scheme; + } # Everything else location / { @@ -107,5 +242,7 @@ http { proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for; proxy_set_header X-Forwarded-Proto $scheme; } + access_log /www/wwwlogs/test.trance-0.com.log; + error_log /www/wwwlogs/test.trance-0.com.error.log; } } \ No newline at end of file