本書は現在(2022/7/7開始)執筆中の「関数解析のお勉強」の切り抜きです。
頻出する距離空間の三角不等式の証明によく登場する不等式の本質を紹介します。
この時、以下の不等式が成り立つ。
(1) (級数型)
(2) (積分型)
符号を除くと、左辺は関数空間の要素間の距離、右辺が各要素の大きさになっているため、関数空間上での三角不等式に相当することが確かめられます。
ミンコフスキーの不等式の補題として、以下のヘルダーの不等式を使います。
正の実数
(1) (級数型)
(2) (積分型)
条件
を見て「重さ付きの和かな?」と考えた人は鋭いです。証明の本質は凸不等式です。
距離空間やヒルベルト空間で最頻出なのは、数列の空間である
ミンコフスキーの不等式の補題として(狭義の)ヘルダーの不等式が使われます。一見複雑に見えて、実は証明の本質はめっちゃシンプルです。根幹は凸不等式(正確には重さ付き相加相乗不等式)であることを見抜くのが重要です。本書を読み、「何だこりゃ、見掛け倒しじゃん!」って思ってもらえれば嬉しい限りです。
本書の最も根幹になる部分です。
非負実数
(頻出型)非負実数
総和が1になる非負実数
のことを重さと呼びます。
不等式は多岐に渡りますが、一般の数でも直接使える不等式評価はせいぜい凸性ぐらいだと思います。有名不等式の証明の最初の一手は、数や関数を組み合わせて、与えられた状況を再現する凸式を組み立てることが多いです。証明は両辺対数をとって凸不等式を使えば良いです。対数関数が上に凸なので、線分よりも関数が上側に来ます。詳細な証明は参考文献[2]に譲ります。
級数型も同様に証明できるので、積分型の紹介のみに留めます。
ヘルダーの不等式を再現するため、やや技巧的だが、
を代入すると、
両辺を
級数型も同様に証明できるので(以下略))。
ヘルダーの不等式を二つ目の不等式に使用する。
先ほどの不等式に代入し、