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

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

2024午後06

$R$ のルベーグ可測集合列 ${E_{n}}$ 及び実数値可積分関数列 ${f_{n}}$ 及び実数値可積分関数 $f$ は以下の条件

$lim_{n \to \infty} μ (E_{n}) = 0$
$lim_{n \to \infty} \int_{R ∖ E_{n}} | f_{n} - f | d μ = 0$

を満たすとする。このとき以下の問いに解答しなさい。

${f_{n}}$ の部分列で、 $R$ 上殆ど至る所 $f$ に収束するようなものを取れるか？取れるときは示し、取れないときは反例を挙げなさい。
${E_{n}}, {f_{n}}, f$ が上の条件(i)(ii)に加えて
$\underset{n \to \infty}{lim sup} \int_{R} | f_{n} |^{2} d μ < \infty$
を満たしているとする。このとき等式
$lim_{n \to \infty} \int_{R} | f_{n} - f | d μ = 0$
を満たすか？満たすときは示し、満たさないときは反例を挙げなさい。

取れることを示す。まず部分列 $f_{n}$ を適切な部分列に取り替えて
$\sum_{i} μ (E_{n_{i}}) d μ < \infty$
を満たすとして良い。このとき条件(ii)から任意の $N$ について
$lim_{n \to \infty} \int_{R ∖ (\cup_{i = N}^{\infty} E_{i})} | f_{i} - f | = 0$
であるから、関数列の部分列を次々とることで、任意の $N$ について $R ∖ (\cup_{i = N}^{\infty} E_{i})$ 上殆ど至る所 $f (x)$ に収束する部分列 ${f_{N, n}} (\subseteq {f_{N - 1, n}})$ をとることができる。ここでここで ${g_{i}}$ を $g_{i} = f_{i, i}$ とおくと、これは構成から $R ∖ \cap_{N = 1}^{\infty} \cup_{i = N}^{\infty} E_{i}$ 上殆ど至る所収束するからこれが所望の部分列である。
満たすことを示す。まず条件(i)及び $f$ の可積分性から
$lim_{n \to \infty} \int_{E_{n}} | f | d μ = 0$
である。次に $c = \underset{n}{lim sup} ∥ f_{n} ∥_{2}^{2}$ とおくと、ヘルダーの不等式から
$\int_{E_{n}} | f_{n} | d μ \leq μ (E_{n}) ∥ f_{n} ∥_{2}$
$lim_{n \to \infty} \int_{E_{n}} | f_{n} | d μ \leq lim_{n \to \infty} μ (E_{n}) \sqrt{c} = 0$
である。以上と条件(ii)を併せれば
$\begin{aligned} \int_{R} | f_{n} - f | d μ & = \int_{R ∖ E_{n}} | f_{n} - f | d μ + \int_{E_{n}} | f_{n} - f | d μ \\ \leq \int_{R ∖ E_{n}} | f_{n} - f | d μ + \int_{E_{n}} | f | d μ + \int_{E_{n}} | f_{n} | d μ \\ \overset{n \to \infty}{\to} 0 \end{aligned}$
が従い、所望の結果を得る。

投稿日：2月23日

更新日：2月23日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

藍色日和

55812

藍色の日々。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。リンクはX(旧Twitter)アカウント　

他の人のコメント

コメントはありません。

読み込み中

藍色日和

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