科学大数学院試過去問解答例(2023午後06)

ここでは科学大数学系の修士課程の院試の2023午後06の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです

2023午後06

$(0, 1)$ 上の可積分関数列 ${f_{n}}$ 及び可積分関数 $f$ が等式
$lim_{n \to \infty} \int_{0}^{1} | f - f_{n} | d μ = 0$
を満たすとする。以下の主張(1)(2)(3)が正しれば証明し、誤りであれば反例を挙げなさい。

等式
$lim_{n \to \infty} \int_{0}^{1} | f - f_{n} |^{p} d μ = 0$
を満たすような $p \in (1, \infty)$ が存在する。
${f_{n}}$ の部分列で殆ど至る所 $f$ に収束するようなものが取れる。
任意の有界連続関数 $g : R \to R$ 及び任意の $p \in [1, \infty)$ に対して等式
$lim_{n \to \infty} \int_{0}^{1} | g \circ f - g \circ f_{n} | d μ = 0$
が成り立つ。

誤りである。まず
$h (x) = {\begin{cases} \frac{2^{n}}{(n + 1) (n + 2)} & (\frac{1}{2^{n + 1}} \leq x < \frac{1}{2^{n}}) \end{cases}$
で定義する。このとき
$\int_{0}^{1} | h | d μ = \sum_{n = 1}^{\infty} \frac{1}{2 n (n + 1)} = \frac{1}{2}$
である一方、任意の $p > 1$ に対して
$\int_{0}^{\infty} | h |^{p} μ = \sum_{n = 1}^{\infty} \frac{2^{n (p - 1)}}{2 n^{p} (n + 1)^{p}} = \infty$
であるから、 $h$ は所望の反例になっている。
正しい。まず ${f_{n_{i}}}$ を
$E_{k} = {x \in (0, 1) | | f_{n_{i}} (x) - f (x) | > \frac{1}{i}}$
と置いたとき
$\forall n > n_{i} μ (E_{i}) \leq \frac{1}{2^{i}}$
を満たすようにとる。以下簡単のためこれを ${f_{i}}$ とおく。このとき
$μ (⋂_{i = 1}^{\infty} ⋃_{j = i}^{\infty} E_{i}) = 0$
であるから、特に数列 ${f_{n}}$ は殆ど至る所各点収束している。
正しい。まず ${f_{n}}$ の部分列を任意にとる。このときこの部分列の部分列で殆ど至る所各点収束するような ${f_{n_{k}}}$ が取れる。このとき $g$ の連続性から ${g \circ f_{n_{k}}}$ も殆ど至る所各点収束する。測度空間の有限性・ $g$ の有界性・有界収束定理から
$\begin{aligned} lim_{k \to \infty} \int_{0}^{1} | g \circ f_{n_{k}} - g \circ f |^{p} d μ & = \int_{0}^{1} lim_{k \to \infty} | g \circ f_{n_{k}} - g \circ f |^{p} d μ = 0 \end{aligned}$
がわかる。以上の結果と以下の補題から所望の結果が従う。