ochiai/basictraining の履歴差分(No.1)

• 履歴一覧
• 現在との差分 を表示
• ソース を表示
• 履歴 を表示
• ochiai/basictraining へ行く。
  • 1 (2020-12-09 (水) 16:58:23)
  • 2 (2020-12-09 (水) 17:16:53)

• 追加された行はこの色です。
• 削除された行はこの色です。

- p152, line 2. この直後に「$b_n$ は $A_n$ の上界である。$a_n$ は $A_n$の上界ではない。」を述べておいた方が良い。(p152, line -9 と, p153, line 1 でそれぞれ用いるために。）
- p158, 真ん中の段落。背理法を使わない議論。$N_0$ を任意にとって固定する。任意の $n \ge N_0$ に対して、$a_n \ge a_{N_0} \gt \alpha$なので、命題22-2より$\alpha=\displaystyle \lim_{n\to\infty} a_n \ge a_{N_0}$。
- p158, line -3. $a_{n_0} \lt b_{n_0}$は$a_{n_0} \le b_{n_0}$ であろう。
- p188, line 2-3. $f:(0,\infty)\to(0,1)$ という全単射。