- 追加された行はこの色です。
- 削除された行はこの色です。
服部哲弥「難問克服ルベーグ積分」東京図書
- p21(2) の３行目。[0.2] は [0,2]。
- p21(2)の後半。本の証明で差し支えないが、その解答は「コンパクト集合からHausdorff 空間への全単射連続写像は同相写像である」という、一般位相空間論で頻用の定理の証明そのものであることを、「解説」で述べても親切かもしれない。
- p28, 問題14の４行目。コア $\mathcal{C}$ の定義には $\pi \in \Pi$ は無関係なので、「$\pi \in \Pi$ に対して」の場所を$\mathcal{C}$ の定義よりも後ろに置いた方が読みやすいかもしれない。
誤植
- p21(2) の３行目。[0.2] は [0,2]。ピリオドはカンマ。
- p48, line -5 のdisplayed formula の真ん中の項、閉じ括弧が一つ足りない。
- p48, 解答の下から４行目、中間値の定理を使う直前。かなり丁寧に証明しているので、その流れで行くと、$\displaystyle \sup_{r \in \mathbb{R}_+} f(r) = \nu_d(A)$ であることもコメントしておいた方がバランスが良いように思う。
- 問題79には問題27への言及がある。問題27の解説で問題79に言及してもいいかも。
- p82, 問題39(2) の式(3.1) $d(\omega'.\omega)$ は $d(\omega', \omega)$. ピリオドはカンマ。
- p100, 問題47。まず、他の問題と同様、(1)(2)(3) の３つに分けると問題も解答も読みやすいと思う。解答にあまり明示的に書かれていないようだが、$\mathcal{I}_2 \subset \mathcal{I}_1$ である。したがって、(3) は $\mathcal{I}_2$ に対して証明すれば、$\mathcal{I}_1$ は自動的に成立する。すなわち、$\sigma[\mathcal{I}_2] \subset \sigma[\mathcal{I}_1] \subset 2^{\mathbb{N}}$ と、$\sigma[\mathcal{I}_2]=2^{\mathbb{N}}$から $\sigma[\mathcal{I}_1]=2^{\mathbb{N}}$ が従う。逆にというか同様にというか、(2) では $m: \mathcal{I}_2 \to \mathbb{R}$ は $m: \mathcal{I}_1 \to \mathbb{R}$ の定義域の制限であるから、$i=1$ の場合の(2)から $i=2$ の場合の (2) が導かれる。解答では「同様に」「変わらない」という形でそれらを内容的には盛り込んでいる。
- p102, 下から３行目と２行目の三箇所の P は $\mu$ かな？
- p102, 下から３行目と２行目の三箇所の P は$\mu$ かな？
- p142, 問題67, １行目。「$I_1 \neq I_2$ の時は」 $I_1 \cap I_2 = \emptyset$.
- p142, 問題67, １行目。「を」満たす
- p168, 問題79(1)。問題70の公式を使う別解もあるのではないだろうか？
- p192, 問題90(2)。この問題文の後半、$f$ を $\epsilon$ に依存しないように作ることは、内容を忖度すれば当然だが、日本語としてそのように一意に読めるか？つまり、「任意の...を満たす」可測関数... を、任意の... に対して「lim ... を満たす可測関数が存在する」と読まれないか、と言うこと。
- p192, line -2. $a_{1+n}$ と $a_{n+1}$ が両方出てくるが、同じ表記に統一した方が見やすい。
- p196, 問題92(1) line 1. $\iota_K: \mathbb{R} \to\mathbb{R}$ の２つ目の $\mathbb{R}$ が抜けている。
- p206, 問題97, ２行目。$\displaystyle \int_{\mathbb{R}} f_n(x) dx$ が２つある？
- p234, 解説２行目。それらとを。
その他(内容的なコメント、改善の提案、など)
- p21(2)の後半。本の証明で差し支えないが、その解答は「コンパクト集合からHausdorff 空間への全単射連続写像は同相写像である」という、一般位相空間論で頻用の定理の証明そのものであることを、「解説」で触れておくと、その定理を既習でも未習でも情報になって親切だろうと感じた。
- p28, 問題14の４行目。コア $\mathcal{C}$ の定義には $\pi \in \Pi$ は無関係なので、「$\pi \in \Pi$ に対して」の場所を$\mathcal{C}$ の定義よりも後ろに置いた方が読みやすいと思う。
- p48, 解答の下から４行目、中間値の定理を使う直前。かなり丁寧に証明しているので、その流れで行くと、$\displaystyle \sup_{r \in \mathbb{R}_+} f(r) = \nu_d(A)$ であることもコメントし、それを明示的に使うとバランスが良いように思う。
- 問題79には問題27への言及がある。問題27の解説でも問題79に言及してもいいかな。
- p100, 問題47。まず、他の問題と同様、(1)(2)(3) の３つに分けると問題も解答も読みやすいと思う。解答にあまり明示的に書かれていないようだが、$\mathcal{I}_2 \subset \mathcal{I}_1$ である。したがって、(2)の$i=1$の場合から(2)の$i=2$の場合を導ける。(3)の$i=2$の場合から(3)の$i=1$ の場合を導ける。解答では「同様に」「変わらない」という用語でそれらを内容的には盛り込んでいる。 以下でそれぞれを少し詳しく述べる。
- p100, 問題47(2).
$m: \mathcal{I}_2 \to \mathbb{R}$ は $m: \mathcal{I}_1 \to \mathbb{R}$ の定義域を$\mathcal{I}_2$ へ制限したものであるから、$i=1$ の場合の(2)から $i=2$ の場合の (2) が導かれる。
- p100, 問題47(3).
$\mathcal{I}_2$ に対して証明すれば、$\mathcal{I}_1$ は自動的に成立する。すなわち、$\sigma[\mathcal{I}_2] \subset \sigma[\mathcal{I}_1] \subset 2^{\mathbb{N}}$ と、$\sigma[\mathcal{I}_2]=2^{\mathbb{N}}$から $\sigma[\mathcal{I}_1]=2^{\mathbb{N}}$ が従う。
- p168, 問題79(1)。問題70の公式を使う別解もあるのではないだろうか？
- p192, 問題90(2)。この問題文の後半、$f$ を $\epsilon$ に依存しないように作ることは、内容を忖度すれば当然だが、日本語としてそのように一意に読めるか？つまり、「任意の...を満たす」可測関数... を、任意の... に対して「lim ... を満たす可測関数が存在する」と読まれないか、と言うこと。
- p192, line -2. $a_{1+n}$ と $a_{n+1}$ が両方出てくるが、同じ表記に統一した方が見やすい。
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
