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

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

2014B10(改)

以下の問いに解答しなさい。

$R$ の部分集合 $U$ で、次の条件を全て満たすものを一つ挙げなさい。
(1a) $U$ は $R$ の稠密開集合である。
(1b) $U$ の測度は $1$ 以下である。
$R$ 上のルベーグ可測関数 $g : R \to R$ で、次の条件を満たすものを一つ挙げなさい。
(2a) $\int_{\infty}^{\infty} | g (x) | d x < \infty$
(2b)任意の $a < b$ に対して $\int_{a}^{b} | g (x) |^{2} d x = \infty$
(2c)集合 ${x \in R | g (x) \neq 0}$ のルベーグ測度は $1$ 以下

$Q$ の全ての元をナンバリングしたものを $q_{1}, q_{2}, \dots$ とする。ここで集合
$U = ⋃_{i} (q_{i} - \frac{1}{2^{i + 1}}, q_{i} + \frac{1}{2^{i + 1}})$
とおくと、これは $Q$ を含む開集合なので(1a)を満たし、その測度は $\sum_{i} \frac{1}{2^{i}} = 1$ 以下なので(1b)を満たす。
まず $I_{i} := (q_{i} - \frac{1}{2^{i + 1}}, q_{i} + \frac{1}{2^{i + 1}})$ と定義し、 $R$ 上の関数 $h_{i}$ を
$h_{i} (x) = {\begin{cases} \frac{a_{i}}{\sqrt{| x - q_{i} |}} & (x \in I_{i} ∖ {q_{i}}) \\ 0 & (if else) \end{cases}$
とおく。但し $a_{i} > 0$ は
$\int_{R} h_{i} (x) d x = \frac{1}{2^{i}}$
が満たされるようにとる。そして $R$ 上の関数を
$h (x) = {\begin{cases} sup_{i} h_{i} (x) & (| {i \in N | x \in I_{i}} | < \infty) \\ 0 & (| {i \in N | x \in I_{i}} | = \infty) \end{cases}$
で定義する。可測関数列の各点での上限をとる関数も可測関数であることを考慮すると、 $h$ は可測関数である。また $h$ の $0$ 以外の値をとる点は $U$ に含まれる可測集合なので測度 $\leq 1$ であるから(2c)を満たす。また
$\int_{R} h (x) d x \leq \sum_{i} \int_{R} h_{i} (x) d x = 1$
であるから(2a)を満たす。また任意の $a < b$ に対して $a < q_{i} < b$ なる $q_{i}$ を取ったとき、
$\int_{a}^{b} h (x)^{2} d x \geq \int_{q_{i}}^{b} h_{i} (x)^{2} d x = \infty$
であるから(2b)を満たす。以上から上記で定義した $h$ が所望の関数である。

投稿日：2024年6月15日

更新日：2024年6月17日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53817

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

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