ルベーグ測度に関する実ヒルベルト空間 を、内積 で考える。部分空間 をとり、定数関数 とする。 と との距離 を求めよ。
双対空間と汎関数のノルム
有界線形汎関数のノルムを計算し、 などの双対空間の表現を使える
前提
- 有界線形作用素と作用素ノルム (大学院数学 関数解析)
この技能までの道筋(73 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ (算数 平面図形)
- 対頂角と平行線の同位角・錯角 (中学数学 平面図形)
- 三角形の外角と角の組み合わせ (中学数学 平面図形)
- 小数の四則計算 (算数 計算と数のきまり)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 1 次方程式の解き方 (中学数学 方程式)
- 二等辺三角形の角 (中学数学 平面図形)
- 平行四辺形と特別な四角形の性質 (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 乗法公式による展開 (中学数学 数と式)
- 折り返した図形の角と長さ (中学数学 平面図形)
- 三平方の定理と平面図形 (中学数学 相似と三平方の定理)
- ベクトルの演算と成分 (数学C ベクトル)
- 行列の和・積と 2 次の逆行列 (大学数学 線形代数)
- 掃き出し法と連立 1 次方程式 (大学数学 線形代数)
- 行列の階数と解の存在 (大学数学 線形代数)
- ベクトル空間・一次独立・基底・次元 (大学数学 線形代数)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 比の性質と簡単な比 (算数 割合と比)
- 相似な三角形と長さの比 (算数 平面図形)
- 三角形の相似条件と対応する辺の長さ (中学数学 相似と三平方の定理)
- 三角比の定義と値 (数学I 図形と計量)
- 内積となす角 (数学C ベクトル)
- 内積空間とグラム・シュミットの直交化 (大学数学 線形代数)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 部分積分 (数学III 積分法)
- 定積分の計算 (数学II 微分法と積分法)
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
- 広義積分 (大学数学 微分積分)
- ルベーグ積分の計算 (大学院数学 測度論・実解析)
- 単調収束定理・優収束定理 (大学院数学 測度論・実解析)
- ヘルダーの不等式と Lᵖ ノルム (大学院数学 測度論・実解析)
- ノルム空間とバナッハ空間 (大学院数学 関数解析)
- 線形変換と行列 (大学数学 線形代数)
- 核と像と次元定理 (大学数学 線形代数)
- 有界線形作用素と作用素ノルム (大学院数学 関数解析)
説明
ノルム空間 上の有界線形汎関数の全体を、双対空間 といいます。このページでは、具体的な汎関数のノルム をヘルダーの不等式を使って計算する方法を学びます。あわせて、 のとき や 上のどの有界線形汎関数も「 や のある元との積の和(積分)」で表せるという事実 、 を使えるようにします。汎関数のノルムの計算、弱収束の判定、最適化問題の双対を考える場面などで使います。
なぜそうしてよいのか
スカラー体は または とします。線形写像 は、値域が 1 次元の線形作用素とみなせます。そこで作用素ノルムと同じく と定めます。これが有限な を有界線形汎関数といい、その全体を と書きます。 が完備なので、 はこのノルムでバナッハ空間になります。 に対して、 を満たす を共役指数と呼びます( なら 、 なら )。 に対して と置きます。ヘルダーの不等式から なので、 です。
逆向きの不等式は、ヘルダーの不等式で等号が成り立つ を代入して示します。(ただし )とします。 のときは と置きます。すると なので です。また より です。比をとると となり、 が分かります。 のときは とすれば、 かつ です。 のときは、 が に近くなる番号 をとり、単位ベクトル を代入します()。このとき上限は必ずしも達成されません。
さらに のときは、どんな もこの形で表せます。 と置き、上の を最初の 項で打ち切ったもの( なら )を代入します。すると ( なら )が得られ、 が分かります。 と は、有限個の項だけが でない列の上で一致します。 のときそのような列の全体は で稠密で、両者は連続なので です。こうして は から への等長な線形全単射になります。これが の意味です。 有限な測度空間上の ()でも、 に対する について同じことが成り立ちます。ここでは事実として使います(全射性の証明にはラドン・ニコディムの定理が要ります)。
手順
空間の指数 を確認し、共役指数 を求める( なら 、 なら )。
汎関数を または の形に書き、表現する元 または を読み取る。
ヘルダーの不等式で上から評価する: より 。
等号を実現する を代入して、下からも評価する。 なら 、 なら とする。 なら、 が本質的上限に近い部分に集中する の列で近似する。
と結論し、その値を計算する。
例題
実数値関数からなる (ルベーグ測度)上の線形汎関数 のノルム を求めよ。
例題の解答
手順1: なので、共役指数は である。
手順2:、ただし と書ける。 は有界なので である。
手順3:ヘルダーの不等式より が成り立つ。ここで である。よって 。
手順4: なので ( で)であり、 と置く。このとき 、 である。したがって となり、上界が実際に達成される。
手順5:以上より 。
答え:
よくある誤り
表現する関数のノルムを、 ではなく元の空間と同じ指数 で測ってしまう誤り。上の例で とするのは誤りである。正しくは 。
としてしまう誤り。 によって は に等長に埋め込まれる( は正しい)が、この写像は全射ではない。 が成り立つのは のときだけである。正しい対応は と ( は に収束する数列の空間)。
上界を求めただけでそれをノルムだと結論したり、 でも上限が必ず達成されると思い込んだりする誤り。たとえば 上の では、 なら となり、等号は成り立たない。一方 とおくと 、 である。よって正しくは で、上限は達成されない。
同じ式で定まる汎関数でも、定義域の空間が変わればノルムも変わることを忘れる誤り。 のノルムは、 上では 、 上では である。 上では のとき が発散するので、そもそも 全体の上の汎関数として定義されない。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
ルベーグ測度に関する実ヒルベルト空間 を、内積 で考える。部分空間
を考える。 が 全体を動くときの
の最小値を求めよ。実数列 で をみたすもの全体のなす実バナッハ空間 に、ノルム を入れる。線形汎関数 を で定める。 の作用素ノルム を求めよ。
を添字とする実数列 で を満たすもの全体のなす実バナッハ空間を とし、ノルムを
で定める。線形汎関数 を
で定めるとき、作用素ノルム を求めよ。
この技能を使う問題
ルベーグ測度に関する実バナッハ空間 (ノルムは )上の線形汎関数 を
で定める。 は有界であり、双対空間 の元である。その作用素ノルム
の値を求めよ。上の実数値連続関数全体のなす実バナッハ空間 を、上限ノルム で考える。線形汎関数 を
で定める。 の双対ノルム
の値を求めよ。を閉区間 上の実数値連続関数全体のなす実バナッハ空間とし、ノルムを で定める。汎関数 を
で定める。 は 上の有界線形汎関数であり、その作用素ノルム
が を満たすことを証明せよ。閉区間 上の実数値連続関数全体のなす実バナッハ空間 に、上限ノルム を入れる。線形汎関数 を
で定める(積分はリーマン積分)。 は有界であり、双対空間 の元である。その作用素ノルム
の値を求めよ。区間 上のルベーグ測度に関する実バナッハ空間 を、ノルム で考える。 次以下の多項式全体のなす部分空間を とする。 は有限次元なので閉部分空間である。商空間 に商ノルム
を入れる。 の同値類 について、商ノルム の値を求めよ。次数が 以下の実係数多項式全体のなす実ベクトル空間を とし、上限ノルム
を入れて実ノルム空間とみなす。線形汎関数 を
で定める。 の双対空間 における作用素ノルム
の値を求めよ。