東大数理院試過去問解答例(2017B09)

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

2017B09

測度空間 $(X, B, μ)$ を考える。実数 $p \in (0, \infty)$ をとる。 $X$ 上の複素数値 $B$ 可測関数列 ${f_{n}}$ が次の条件

殆ど至る所 $lim_{n \to \infty} f_{n} (x) = 0$
$sup_{n} \int_{X} | f_{n} |^{p} d μ < \infty$

を満たしているとする。また $X$ 上の複素数値可測関数 $g$ は
$\int_{X} | g |^{\frac{p}{p - 1}} d μ < \infty$
を満たしているとする。

正の実数 $M$ 及び自然数 $n$ に対して
$A_{M, n} = {x \in X | | f_{n} (x) |^{p - 1} \leq M | g (x) |}$
とおく。このとき等式
$lim_{n \to \infty} \int_{A_{M, n}} | f_{n} g | d μ = 0$
を示しなさい。
等式
$lim_{n \to \infty} \int_{X} | f_{n} g | d μ = 0$
を示しなさい。

まず $f_{n}^{'} : X \to C$ を
$f_{n}^{'} (x) = {\begin{cases} 0 & (x \in A_{M, n}) \\ f_{n} (x) & (if else) \end{cases}$
で定義する。このとき ${f_{n}^{'}}$ は殆ど至る所 $0$ に収束する。ここで
$f_{n}^{'} (x) g (x) \leq M^{\frac{1}{p - 1}} g (x)^{\frac{p}{p - 1}}$
であるから、ルベーグの優収束定理及び条件(i)から
$\begin{aligned} lim_{n \to \infty} \int_{A_{M, n}} | f_{n} g | d μ & = lim_{n \to \infty} \int_{X} | f_{n}^{'} g | d μ \\ = \int_{X} lim_{n \to \infty} | f_{n}^{'} g | d μ & = 0 \end{aligned}$
であるから、結果が従う。
まず $B_{M, n} = X ∖ A_{M, n}$ とおく。このとき
$\begin{aligned} \int_{X} | f_{n} g d | μ & = \int_{A_{M, n}} | f_{n} g | d μ + \int_{B_{M, n}} | f_{n} g | d μ \\ \leq \int_{A_{M, n}} | f_{n} g | d μ + \frac{1}{M} ∥ f_{n} ∥_{p}^{p} \end{aligned}$
である。このとき条件(ii)と(1)から極限 $n \to \infty$ を取って
$lim_{n \to \infty} \int_{X} | f_{n} g d | μ \leq \frac{1}{M} sup_{n} ∥ f_{n} ∥_{p}^{p} < \infty$
が得られ、あとは極限 $M \to \infty$ を取れば所望の結果が得られる。

投稿日：2月21日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

54941

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2017B09)