東大数理院試過去問解答例(2023B10)

188

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

中の人の専門は解析でなく測度論に慣れていないので、数学的な誤りはもちろん慣例から外れた書き方・分かりづらい表現などがあるかもしれません。もしそのようなものを見つけられた場合、本記事へのコメントかX(旧Twitter)の私のアカウントのリプ・DMで教えていただけると嬉しいです。

2023B10

測度空間 $(Ω, F, μ)$ で $| Ω | = 1$ であるようなものを考える。 $Ω$ 上 $μ$ 可積分であるような実数値関数の為すバナッハ空間を $L^{1} (Ω)$ と表す。以下の問いに答えなさい。

任意の正の数 $a$ と $f \in L^{1} (Ω)$ について不等式
$μ (| f | \geq a) \leq \frac{1}{a} \int_{Ω} | f (x) | d x$
が成り立つことを示しなさい。
$L^{1} (Ω)$ の間数列 ${f_{n}}$ が以下の条件を満たしているとする。
(i) $lim_{n \to \infty} \int_{Ω} | f_{n} (x) - f_{n} (y) | d x d y = 0$
(ii) $sup_{n \in N} \int_{Ω} f_{n}^{2} d x \leq 1$
(iii) 任意の $n$ について $\int_{Ω} f_{n} d x = 0$
このとき極限
$lim_{n \to \infty} | f_{n} | d x = 0$
が成り立つことを示しなさい。
(2)の条件(i)(ii)(iii)及び不等式
$inf_{n} \int_{Ω} | f_{n} |^{2} d x > 0$
を満たすような測度空間 $(Ω, F, μ)$ 及び関数列 $f_{n}$ の例を一つ挙げなさい。

初めに
$E_{a} := {x \in Ω | | f (x) | \geq a}$
とおく。このとき
$\begin{aligned} \int_{Ω} | f | d x & = \int_{Ω ∖ E_{a}} | f | d x + \int_{E_{a}} | f | d x \\ \geq \int_{E_{a}} | f | d x \\ \geq \int_{E_{a}} a d x & = a μ (E_{a}) \end{aligned}$
であるから所望の結果が得られた。
初めに $a > 0$ を任意にとる。
$C_{n, a} := {x \in Ω | f_{n} (x) \geq a}$
$D_{n, a} := {x \in Ω | f_{n} (x) \leq - a}$
とおく。ここで $μ (C_{n_{i}, a})$ が $0$ より大きい $ε$ に収束するような数列 $n_{i}$ が取れたとすると、条件(iii)から任意の $b > 0$ に対して
$\begin{aligned} 0 = \int_{Ω} f_{n_{i}} d x & = \int_{C_{n_{i}, a}} f_{n_{i}} d x + \int_{C_{n_{i}, 0} ∖ C_{n_{i}, b}} f_{n_{i}} d x + \int_{D_{n_{i}, b}} f_{n_{i}} d x + \int_{D_{n_{i}, 0} ∖ D_{n_{i}, b}} f_{n_{i}} d x \end{aligned}$
が成り立つ。 $D_{n_{i}, b} \overset{i \to \infty}{\to} 0$ であったとすると、ヘルダーの不等式及び条件(ii)から $\int_{D_{n_{i}, b}} f_{n_{i}} d x \overset{n \to \infty}{\to} 0$ が成り立つ。しかしこのとき $b = \frac{a ε}{2}$ と置けば、上の等式の右辺は充分大きい $n$ に対して $\frac{a ε}{3}$ 以上の値しか取らないようになってしまい上の等式に矛盾する。よってある $b$ について
$μ (D_{n_{i}, b})$
は $0$ に収束しない。しかしこのとき $| f_{n_{i}} (x) - f_{n_{i}} (y) |$ は $C_{n_{i}, a} \times D_{n_{i}, b}$ 上で $0$ に収束しないから(i)に矛盾する。よって任意の $a > 0$ について収束
$μ (C_{n, a}) \overset{n \to \infty}{\to} 0$
が成り立つ。同様にして
$μ (D_{n, a}) \overset{n \to \infty}{\to} 0$
も成り立つから、 $E_{n, a} := C_{n, a} + D_{n, a}$ の測度も $0$ に収束することがわかる。このとき条件(ii)及びヘルダーの不等式から
$\begin{aligned} \int_{Ω} | f_{n} | d x & = \int_{Ω ∖ E_{n, a}} | f_{n} | d x + \int_{E_{n, a}} | f_{n} | d x \\ \leq a (1 - μ (E_{n, a})) + \int_{E_{n, a}} | f_{n} | d x \\ \leq a (1 - μ (E_{n, a})) + \sqrt{μ (E_{n, a}) \int_{E_{n, a}} | f_{n} |^{2} d x} \\ \leq a (1 - μ (E_{n, a})) + \sqrt{μ (E_{n, a})} & \overset{n \to \infty}{\to} a \end{aligned}$
が従う。 $a > 0$ は任意に取っていたから、以上から所望の結果が従う。
$(Ω, F, μ)$ を $R$ 上のルベーグ測度の閉区間 $[0, 1]$ への制限とし、その上で定義された実数値関数
$f_{n} (x) := {\begin{cases} \sqrt{\frac{n}{2}} & (x \in [0, \frac{1}{n}]) \\ - \sqrt{\frac{n}{2}} & (x \in (\frac{1}{n}, \frac{2}{n}]) \\ 0 & (if else) \end{cases}$
を考える。これは $L^{1} (Ω)$ の元であり、更に直接計算することで
$\int_{0}^{1} f_{n} d x = 0$
$\int_{0}^{1} \int_{0}^{1} | f_{n} (x) - f_{n} (y) | d x d y = 2 \sqrt{\frac{2}{n}} (1 - \frac{1}{n}) \overset{n \to \infty}{\to} 0$
$\int_{0}^{1} f_{n}^{2} d x = 1$
であるから条件(i)(ii)(iii)及びを満たしていて $f_{n}^{2}$ の積分も常に $1$ である。よって上記で構成した $(Ω, F, μ)$ 及び $f_{n}$ は所望の例になっている。

投稿日：2024年6月10日

更新日：2024年6月10日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53674

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2023B10)