diff --git a/src/topology/functions/sw.tex b/src/topology/functions/sw.tex index 4dfcc9c..b5e5afc 100644 --- a/src/topology/functions/sw.tex +++ b/src/topology/functions/sw.tex @@ -7,7 +7,7 @@ \begin{enumerate} \item For each $f \in C([0, 1]; \complex)$ and $\eps > 0$, there exists $C > 0$ such that \[ - |f(t) - f(x)| \le \eps + cg_x(t) + |f(t) - f(x)| \le \eps + Cg_x(t) \] for all $x, t \in [0, 1]$. @@ -37,7 +37,7 @@ so \[ - |f(x) - f(x)| \le \eps \left\lceil \abs{\frac{x - t}{\delta}} \right\rceil \le \eps + C(s - t)^2 = \eps + Cg_x(t) + |f(t) - f(x)| \le \eps \left\lceil \abs{\frac{x - t}{\delta}} \right\rceil \le \eps + C(x - t)^2 = \eps + Cg_x(t) \] (3): Let $f \in C([0, 1]; \complex)$ and $\eps > 0$. By (2), there exists $C > 0$ such that @@ -48,7 +48,7 @@ for all $n \in \natp$, where \begin{align*} \sup_{x \in [0, 1]}|\phi_n(g_x)(x)| &\le \sup_{x \in [0, 1]}|\phi_n(t^2 - 2tx + x^2)(x)| \\ - &\le \sup_{x \in [0, 1]}|\phi_n(t^2)(x) - \phi_n(tx)(x) + x^2| \\ + &\le \sup_{x \in [0, 1]}|\phi_n(t^2)(x) - 2\phi_n(tx)(x) + x^2| \\ &\le \normn{\phi_n(t^2) - t^2}_u + 2\sup_{x \in [0, 1]}\normn{\phi_n(xt) - xt}_u \end{align*} @@ -98,7 +98,7 @@ \begin{align*} \phi_n(t^2) &= \sum_{k = 1}^n \frac{n!}{k!(n-k)!}\frac{k^2}{n^2}t^k(1 - t)^{n-k} \\ &= \sum_{k = 1}^n \frac{(n-1)!}{(k-1)!(n-k)!}\frac{k}{n}t^k(1 - t)^{n-k} \\ - &= t \sum_{k = 0}^{n-1} \frac{(n-1)!}{(k-1)!(n-k)!}\frac{k+1}{n}t^k(1 - t)^{n-k} \\ + &= t \sum_{k = 0}^{n-1} \frac{(n-1)!}{(k-1)!(n-k-1)!}\frac{k+1}{n}t^k(1 - t)^{n-k} \\ &= t \phi_{n-1}\paren{\frac{(n-1)t + 1}{n}} = t^2 + \frac{t - t^2}{n} \end{align*}