This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
math104-s21:s:antonthan [2021/05/07 07:15] 45.48.153.5 [Headline] |
math104-s21:s:antonthan [2026/02/21 14:41] (current) |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| Problems from https:// | Problems from https:// | ||
| + | Solutions here vary in how detailed they are; they could be full solutions or only guiding steps. | ||
| ==== Problem 1 ==== | ==== Problem 1 ==== | ||
| === (a) === | === (a) === | ||
| Line 49: | Line 50: | ||
| === (a) === | === (a) === | ||
| - | We show that Cauchy condition on $B(X)$ | + | We show that Cauchy condition on $B(X)$ |
| === (b) === | === (b) === | ||
| Line 56: | Line 57: | ||
| Therefore, the set of continuous functions is closed. | Therefore, the set of continuous functions is closed. | ||
| + | |||
| + | Easier way: consider that a set is closed iff it contains all its limit points, and consider a sequence of continuous functions that uniformly converges. | ||
| === (c) === | === (c) === | ||
| Line 112: | Line 115: | ||
| Take the limit, by fixing $x=y$. | Take the limit, by fixing $x=y$. | ||
| + | |||
| ==== Problem 10 ==== | ==== Problem 10 ==== | ||
| Line 132: | Line 136: | ||
| $$\lim_{n \to \infty} \sup_x |\sum_{k=n+1}^\infty (-1)^kf_k(x)| = 0$$ | $$\lim_{n \to \infty} \sup_x |\sum_{k=n+1}^\infty (-1)^kf_k(x)| = 0$$ | ||
| This is what we wanted, so the series of functions converges uniformly. | This is what we wanted, so the series of functions converges uniformly. | ||
| + | |||
| ==== Problem 13 ==== | ==== Problem 13 ==== | ||
| - | We set $\epsilon > 0$. By continuity, there is a $\delta > 0$ such that $|x-y| < \delta \implies |f(x)-f(y)| < \epsilon$. | + | We set $\epsilon > 0$. By continuity, there is a $\delta > 0$ such that $|x-y| < \delta \implies |f(x)-f(y)| < \epsilon$. |
| $$|1/n \sum_{k=1}^n (-1)^k f(k/n)| < \epsilon / 2 < \epsilon$$ | $$|1/n \sum_{k=1}^n (-1)^k f(k/n)| < \epsilon / 2 < \epsilon$$ | ||
| For odd $n$: | For odd $n$: | ||
| - | $$|1/n \sum_{k=1}^n (-1)^k f(k/n)| < \epsilon (n-1)/(2n) + |f(1)|/n$$ | + | $$|1/n \sum_{k=1}^n (-1)^k f(k/n)| < \epsilon (n-1)/(2n) + |f(1 )|/n$$ |
| For the odd case, we can set an $n$ even larger than the previous one so that it is less than $\epsilon$. | For the odd case, we can set an $n$ even larger than the previous one so that it is less than $\epsilon$. | ||
| - | ==== Headline ==== | ||
| - | ==== Headline ==== | ||
| + | ==== Problem 14 ==== | ||
| + | |||
| + | We consider the function $g(x) = f(x) - f(x + T/2)$, which is continuous. | ||
| + | ==== Problem 15 ==== | ||
| + | |||
| + | Following the hint, $f'(0) = a_1 + 2a_2 + \ldots + na_n$. | ||
| + | ==== Problem 16 ==== | ||
| + | False. | ||
| + | |||
| + | Let $A = \{1/ | ||
| + | |||
| + | Clearly, if we take $y_n = 1/ | ||
| + | |||
| + | We just have to prove that $f$ satisfies the original function requirement. | ||
| + | $$y_a = r/m, y_b = r/n$$ | ||
| + | $$y_a/y_b = n/m$$ | ||
| + | $$\sqrt{p_b/ | ||
| + | LHS is irrational, and RHS is rational, so contradiction. | ||
| + | ==== Problem 17 ==== | ||
| + | |||
| + | Consider $f(x)e^{g(x)}$, | ||
| + | ==== Problem 18 ==== | ||
| + | |||
| + | === (a) === | ||
| + | |||
| + | Let partition $P_n = \{0, 1/n, 2/n, \ldots, n/ | ||
| + | |||
| + | The idea now is to use Ross 32.7. Let $\epsilon > 0$, and since $f$ is integrable, there exists a $\delta > 0$ that satisfies $mesh(P) < \delta \implies U(f, P) - L(f, P) < \epsilon$ for all partitions $P$. We choose $n$ large enough such that $mesh(P_n) < \delta$, so that we get the inequalities: | ||
| + | |||
| + | $$U(f) \leq \sup_n(U(f, P_n)) = lim R_n = \inf_n(L(f, P_n)) \leq L(f)$$ | ||
| + | |||
| + | Since we also have $L(f) = U(f)$ by integrability, | ||
| + | |||
| + | === (b) === | ||
| + | |||
| + | Indicator function for rationals. | ||
| ===== Question List ===== | ===== Question List ===== | ||
| **1. How do you use the rational root theorem to prove that something is irrational? | **1. How do you use the rational root theorem to prove that something is irrational? | ||
| Line 357: | Line 396: | ||
| ===== ඞ ඞ ඞ ඞ ඞ ===== | ===== ඞ ඞ ඞ ඞ ඞ ===== | ||
| - | {{ :math104: | + | {{ math104-s21: |