A 回答 (2件)
- 最新から表示
- 回答順に表示
No.2
- 回答日時:
R=(全実数)
pを≧1である1つの実数とし,ベクトル空間R^nにおいて,
||x||_p=(Σ_{i=1~n}|x_i|^p)^{1/p}
とすると
1)x∈R^n→||x||_p≧0
2)||x||_p=0→x=0
3)x∈R^n,λ∈R→||λx||_p=|λ|||x||_p
が成り立つ
4)x,y∈R^n→||x+y||_p≦||x||_p+||y||_p
(三角不等式(Minkowskiの不等式))
が成り立つならば,||||_pはR^n上のノルムとなる
p=1のときは明らか。
p>1,q>1,(1/p)+(1/q)=1
x=(x_i)_{i=1~n},y=(y_i)_{i=1~n}∈R^n
z=(z_i=|x_i+y_i|^{p-1})_{i=1~n}
とすると
Σ_{i=1~n}|x_i+y_i|^p≦Σ_{i=1~n}|x_i||x_i+y_i|^{p-1}+Σ_{i=1~n}|y_i||x_i+y_i|^{p-1}
=Σ_{i=1~n}|x_i||z_i|+Σ_{i=1~n}|y_i||z_i|
ヘルダーの不等式
Σ_{i=1~n}|x_i||z_i|≦(||x||_p)(||z||_q)
Σ_{i=1~n}|y_i||z_i|≦(||y||_p)(||z||_q)
が成り立てば
p=(p-1)q
1/q=1-(1/p)
だから
Σ_{i=1~n}|x_i+y_i|^p≦(||x||_p+||y||_p)(Σ_{i=1~n}|x_i+y_i|^{(p-1)q})^{1/q}
=(||x||_p+||y||_p)(Σ_{i=1~n}|x_i+y_i|^p)^{1-1/p}
↓
(Σ_{i=1~n}|x_i+y_i|^p)^{1/p}≦||x||_p+||y||_p
∴
||x+y||_p≦||x||_p+||y||_p
(三角不等式(Minkowskiの不等式))が成り立つ
(*)ヘルダーの不等式
p>1,q>1,(1/p)+(1/q)=1
x=(x_i)_{i=1~n},z=(z_i)_{i=1~n}∈R^n
a=|x_i|/||x||_p
b=|z_i|/||z||_q
f(a)={(a^p)/p}+{(b^q)/q}-ab
とすると
a≧0,b≧0
f'(a)=a^{p-1}-b
だから
0≦a<b^{1/(p-1)}のときf'(a)<0だからf(a)は減少
a>b^{1/(p-1)}のときf'(a)>0だからf(a)は増加
だから
a=b^{1/(p-1)}のとき最小値
f(b^{1/(p-1)})
={((b^{1/(p-1)})^p)/p}+{(b^q)/q}-(b^{1/(p-1)})b
={(b^{p/(p-1)})/p}+{(b^q)/q}-b^{p/(p-1)}
=(1/p-1)b^{p/(p-1)}+{(b^q)/q}
=(-1/q)b^{p/(p-1)}+{(b^q)/q}
=0
となるから
f(a)={(a^p)/p}+{(b^q)/q}-ab≧0
ab≦{(a^p)/p}+{(b^q)/q}
(|x_i|/||x||_p)(|z_i|/||z||_q)≦{((|x_i|/||x||_p)^p)/p}+{(|z_i|/||z||_q)^q)/q}
Σ_{i=1~n}(|x_i|/||x||_p)(|z_i|/||z||_q)≦Σ_{i=1~n}[{((|x_i|/||x||_p)^p)/p}+{(|z_i|/||z||_q)^q)/q}]
∴
Σ_{i=1~n}|x_i||z_i|≦(||x||_p)(||z||_q)
ヘルダーの不等式が成り立つ
No.1
- 回答日時:
あまり得意でないので間違っていたらすみません。
まず、質問の三角不等式はミンコフスキーの不等式なので、その証明をご覧になれば分かると思います。
次に、p=∞の時がないのはなぜでしょうね…、ただしp=∞の時のノルムをsupノルムで定義すれば、この場合でも不等式は成立すると思います。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 私大入試の証明問題について質問です。 範囲を求めよという証明問題なのですが、場合分けするのに必要な式 3 2023/02/10 16:45
- 数学 円周角の定理の証明では三つのパターンに分けて示す必要があるらしいのですが、一つのパターンでは不十分な 7 2023/06/28 08:58
- 数学 三角関数の極限を「はさみうちの原理」で考える時の不等号について 1 2022/07/22 01:13
- 物理学 熱力学 エントロピー 断熱自由膨張 熱力学第2法則 クラウジウスの不等式 2 2022/07/14 12:58
- 数学 数学の証明問題についてです。 これらの三角形が合同(①)だから、これらの三角形も合同(②)だよ的な回 1 2022/07/22 15:23
- 数学 円周角の定理の「円周角の大きさはその弧に対する中心角の半分である」ということの証明には3つのパターン 5 2023/06/24 17:03
- ふるさと納税 寄付金受領証明書の取り扱いについて 1 2023/03/12 12:01
- 戸籍・住民票・身分証明書 中学生以上から身分証の提示を求められる理由 3 2022/05/03 22:47
- Excel(エクセル) Excel エクセル 再質問お願いします。 2 2022/03/26 19:24
- 物理学 量子力学 球面調和関数 導出 方位角成分 微分方程式の解 2 2022/07/02 13:40
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報