技能一覧 › 大学院数学 関数解析

双対空間と汎関数のノルム

有界線形汎関数のノルムを計算し、 などの双対空間の表現を使える

前提

この技能までの道筋(73 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 三角形の角の大きさ (算数 平面図形)
  2. 対頂角と平行線の同位角・錯角 (中学数学 平面図形)
  3. 三角形の外角と角の組み合わせ (中学数学 平面図形)
  4. 小数の四則計算 (算数 計算と数のきまり)
  5. 分数のたし算・ひき算 (算数 計算と数のきまり)
  6. 分数のかけ算・わり算 (算数 計算と数のきまり)
  7. 小数と分数のまじった計算 (算数 計算と数のきまり)
  8. 逆算(□ を求める) (算数 計算と数のきまり)
  9. 正負の数の加法・減法 (中学数学 数と式)
  10. 四則の混じった計算の順序 (算数 計算と数のきまり)
  11. 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
  12. 分配法則を使った計算のくふう (算数 計算と数のきまり)
  13. 文字式の計算(同類項・分配法則) (中学数学 数と式)
  14. 1 次方程式の解き方 (中学数学 方程式)
  15. 二等辺三角形の角 (中学数学 平面図形)
  16. 平行四辺形と特別な四角形の性質 (中学数学 平面図形)
  17. 三角形・四角形の面積 (算数 平面図形)
  18. 約数の見つけ方 (算数 整数の性質)
  19. 素因数分解と約数の個数 (算数 整数の性質)
  20. 平方根の意味と根号の簡単化 (中学数学 数と式)
  21. 三平方の定理 (中学数学 相似と三平方の定理)
  22. 乗法公式による展開 (中学数学 数と式)
  23. 折り返した図形の角と長さ (中学数学 平面図形)
  24. 三平方の定理と平面図形 (中学数学 相似と三平方の定理)
  25. ベクトルの演算と成分 (数学C ベクトル)
  26. 行列の和・積と 2 次の逆行列 (大学数学 線形代数)
  27. 掃き出し法と連立 1 次方程式 (大学数学 線形代数)
  28. 行列の階数と解の存在 (大学数学 線形代数)
  29. ベクトル空間・一次独立・基底・次元 (大学数学 線形代数)
  30. 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
  31. 最大公約数と最小公倍数 (算数 整数の性質)
  32. 比の性質と簡単な比 (算数 割合と比)
  33. 相似な三角形と長さの比 (算数 平面図形)
  34. 三角形の相似条件と対応する辺の長さ (中学数学 相似と三平方の定理)
  35. 三角比の定義と値 (数学I 図形と計量)
  36. 内積となす角 (数学C ベクトル)
  37. 内積空間とグラム・シュミットの直交化 (大学数学 線形代数)
  38. 因数分解 (中学数学 数と式)
  39. 3 次式までの展開と因数分解 (数学I 数と式)
  40. 微分係数と導関数の定義 (数学II 微分法と積分法)
  41. 多項式の微分 (数学II 微分法と積分法)
  42. 多項式の不定積分 (数学II 微分法と積分法)
  43. 等間隔にならんだ数の和 (算数 計算と数のきまり)
  44. 等差・等比数列の和と Σ (数学B 数列)
  45. 数列の極限 (数学III 極限)
  46. 関数の極限 (数学III 極限)
  47. 積と商の微分 (数学III 微分法)
  48. 合成関数の微分 (数学III 微分法)
  49. 円の周の長さと面積 (算数 平面図形)
  50. おうぎ形の弧の長さと面積 (算数 平面図形)
  51. 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
  52. 弧度法と単位円による三角関数 (数学II 三角関数)
  53. の極限 (数学III 極限)
  54. 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
  55. 三角関数の導関数 (数学III 微分法)
  56. 根号の乗除と加減 (中学数学 数と式)
  57. 指数の拡張と指数関数 (数学II 指数関数と対数関数)
  58. 対数の定義と性質 (数学II 指数関数と対数関数)
  59. 自然対数の底 (数学III 極限)
  60. 指数関数・対数関数の導関数 (数学III 微分法)
  61. 基本的な関数の不定積分 (数学III 積分法)
  62. 置換積分 (数学III 積分法)
  63. 部分積分 (数学III 積分法)
  64. 定積分の計算 (数学II 微分法と積分法)
  65. 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
  66. 広義積分 (大学数学 微分積分)
  67. ルベーグ積分の計算 (大学院数学 測度論・実解析)
  68. 単調収束定理・優収束定理 (大学院数学 測度論・実解析)
  69. ヘルダーの不等式と Lᵖ ノルム (大学院数学 測度論・実解析)
  70. ノルム空間とバナッハ空間 (大学院数学 関数解析)
  71. 線形変換と行列 (大学数学 線形代数)
  72. 核と像と次元定理 (大学数学 線形代数)
  73. 有界線形作用素と作用素ノルム (大学院数学 関数解析)

説明

ノルム空間 上の有界線形汎関数の全体を、双対空間 といいます。このページでは、具体的な汎関数のノルム をヘルダーの不等式を使って計算する方法を学びます。あわせて、 のとき や 上のどの有界線形汎関数も「 や のある元との積の和(積分)」で表せるという事実 、 を使えるようにします。汎関数のノルムの計算、弱収束の判定、最適化問題の双対を考える場面などで使います。

なぜそうしてよいのか

スカラー体は または とします。線形写像 は、値域が 1 次元の線形作用素とみなせます。そこで作用素ノルムと同じく と定めます。これが有限な を有界線形汎関数といい、その全体を と書きます。 が完備なので、 はこのノルムでバナッハ空間になります。 に対して、 を満たす を共役指数と呼びます( なら 、 なら )。 に対して と置きます。ヘルダーの不等式から なので、 です。

逆向きの不等式は、ヘルダーの不等式で等号が成り立つ を代入して示します。(ただし )とします。 のときは と置きます。すると なので です。また より です。比をとると となり、 が分かります。 のときは とすれば、 かつ です。 のときは、 が に近くなる番号 をとり、単位ベクトル を代入します()。このとき上限は必ずしも達成されません。

さらに のときは、どんな もこの形で表せます。 と置き、上の を最初の 項で打ち切ったもの( なら )を代入します。すると ( なら )が得られ、 が分かります。 と は、有限個の項だけが でない列の上で一致します。 のときそのような列の全体は で稠密で、両者は連続なので です。こうして は から への等長な線形全単射になります。これが の意味です。 有限な測度空間上の ()でも、 に対する について同じことが成り立ちます。ここでは事実として使います(全射性の証明にはラドン・ニコディムの定理が要ります)。

手順

  1. 空間の指数 を確認し、共役指数 を求める( なら 、 なら )。

  2. 汎関数を または の形に書き、表現する元 または を読み取る。

  3. ヘルダーの不等式で上から評価する: より 。

  4. 等号を実現する を代入して、下からも評価する。 なら 、 なら とする。 なら、 が本質的上限に近い部分に集中する の列で近似する。

  5. と結論し、その値を計算する。

例題

実数値関数からなる (ルベーグ測度)上の線形汎関数 のノルム を求めよ。

例題の解答

手順1: なので、共役指数は である。
手順2:、ただし と書ける。 は有界なので である。
手順3:ヘルダーの不等式より が成り立つ。ここで である。よって 。
手順4: なので ( で)であり、 と置く。このとき 、 である。したがって となり、上界が実際に達成される。
手順5:以上より 。

答え:

よくある誤り

この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。

入口の問題

この技能を使う問題