- ベストアンサー
L2ノルムについて
connykellyの回答
>条件３：||f+g||<=||f||+||g|| これはコーシー・シュワルツの不等式として有名ですね。証明はkabaokabaさんがご回答されているとおりですが、参考ＵＲＬも覗いてみてください。
関連するQ&A
- 作用素ノルム
作用素ノルムについての質問です。 V，W：ノルム空間 L：V→Wを線形写像とする。 定義 ∥L∥＝sup｛∥L(x)∥ | ∥x∥＝1｝ ＝sup｛∥L(x)∥ | ∥x∥≦1｝ ＝sup｛∥L(x)∥/∥x∥ | x≠0｝ とする。 このとき∥L∥＝inf｛c | ∥L(x)∥≦c∥x∥｝を証明したいのですが、 自分で考えた証明を以下書きます。 ∥L(x)∥≦c∥x∥ より両辺∥x∥で割り ∥L(x/∥x∥)∥≦c. (1)inf｛ｃ｝≦ sup｛L(x/∥x∥)｝＝∥L∥は自明。 (2)Ａ＝｛c | ∥L(x)∥≦c∥x∥｝とする。 Ａは∥L(x/∥x∥)∥の上界より，任意のc∈Ａに対して sup｛L(x/∥x∥)｝≦c より ∥L∥≦c. 両辺下限を取ると inf｛∥L∥｝≦inf｛c｝ ∥L∥の定義より∥L∥は任意のｘで成り立つのでｘによらない。 故に∥L∥≦inf｛c｝ よって∥L∥＝inf｛c | ∥L(x)∥≦c∥x∥｝ □ 以上，自分なりの証明なのですが，間違っている箇所や別の証明方法があれば教えてください。 見にくいと思いますがよろしくお願いします。
- 締切済み
- 数学・算数
- L^pノルムについての収束とは
こんにちは。学部生で今フーリエ解析を勉強しています。 早速ですが、L^p空間で、ある関数列{f_n}が f∈L^pに収束していると、具体的にどんなことがいえるのでしょうか。つまり、「L^pノルムで収束➡almost everywhere で、「xに対して同じ関数値を返す」」と言っていいのでしょうか。 例えば、L^2で {（1/√2）×(exp(inx)) }(n∈Z)はCONSですが、これらはL^2の元にL^2ノルムについて収束しているだけであって、almost everywhere のxについて同じ値を返すという言葉を見つけられなかったので・・・。そのためフーリエ級数展開自体、意味をどう感じたら良いのかが分からない状態です。 重大な勘違いを含んでる可能性があるので厳しく指摘いただけたら、と思います。
- ベストアンサー
- 数学・算数
- ∫[0→1]｜x^2+ax+b|dxの最小値についてヒントください
a,bを任意の実数とするとき、積分∫[0→1]｜x^2+ax+b|dxの値の最小値を次の方法で求めるのですが（４）がわからないのでヒントを教えて下さい （１）Aを実数として|A|+A≧０、（等号はA≦０のとき） |A|-A≧０、（等号はA≧０のとき）を証明せよ (2)関数f(x)について I=∫[0→1]f(x)dx, J=∫[0→c]f(x)dx+∫[c→d]f(x)dx+∫[d→1]f(x)dx ただし、０＜c＜d＜1とおく I≧Jを証明せよ。また等号が成立する条件を求めよ （３）f(x)=x^2+ax+bとおくときJの値をa,b,c,dで表し、a,bについて整理しJの値がa,bに関係なく一定となるc,dの値を求めよ (4)積分∫[0→1]｜x^2+ax+b|dxの最小値と、その時のa,bの値を求めよ。 という問題です(1)はAを正負に分けて証明すればできました。 (2)はI-Jとおいて、積分区間を0→c,c→d,d→1の三つに分けて（１）を利用して証明できました。等号が成立する条件も(1)からわかりました。 （３）は計算してa(c^2-d^2+1/2)+2b(c-d+1/2)+2/3(c^3-d^3+1/2) a,bの係数が０と置いてc=1/4,d=3/4がでました。 （４）が全く分かりません（c,dがx^2+ax+b=0の解ぐらいです （４）のヒントを何か下さい・・・・・よろしくお願いします。
- ベストアンサー
- 数学・算数
- 行列のノルム
以下、xはn次元ベクトル、A=(a(i,j))はn×n行列とします。 ■||x||_2 = √{Σ_[j=1～n](x_j)^2} (ユークリッドノルム) ※x_jは、xの第j成分です。 このノルムを採用したとき、行列Aのノルムは以下のように定義することが出来る。 ・||A||_2 = MAX_[x]{||Ax||_2/||x||_2} この具体的な表現は以下で与えられる、らしいのですが…。 ・||A||_2 = MAX_[k]{√(μ_k)} (μ_kは、BをAの転置行列として、BAの固有値。) 本を読んでも、「簡単に導出できるので試みられたい。」とかしか書かれておらず、困っています。どうやって導出するのでしょうか?僕には簡単に導出できません。 また、 ■||x||_∞ = MAX_[k]{|x_k|} ※x_kは、ベクトルxの第k成分。 このノルムを採用したとき、行列Aのノルムを ・||A||_∞ = MAX_[x]{||Ax||_∞/||x||_∞} と定義できて、この具体的な表現は、 ・MAX_[i]{Σ_[j=1～n]|a(i,j)|} で与えられるらしいのですが、本を読んでも、これも証明が省かれています。 ||A||_1についてはきちんと証明が載っているのですが…。 どちらか片方ずつでも、おねがいします。
- ベストアンサー
- 数学・算数
- シュワルツの不等式
現在、「シュワルツの不等式」を勉強していますがわからない問題があります。これは大学受験用参考書に載っている問題です。どなたかおわかりになる方がいらっしゃれば教えていただきたいと思います。宜しくお願いいたします。 問題は f(x)、ｇ(x)はともに区間a≦x≦bで定義された連続関数とする。このとき、ｔを任意の実数とし、∫（a→ｂ）｛f(x)+tｇ(x)｝^2dxを考えることにより、次の不等式を証明せよ。 ｛∫（a→b）f(x)ｇ(x)dx｝^2≦∫（a→b）｛f(x)｝^2dx∫（a→b）｛ｇ(x)｝^2dx また、どのようなときに統合が成立するか述べよ。です。 全くわからなくて、解答をみたのですが、解答をみても納得いかないところがあります。 解答は、 任意のｔについて、｛f(x)+tｇ(x)｝^2≧０から、∫（a→ｂ）｛f(x)+tｇ(x)｝^2dx≧０ ｔ^2∫（a→b）｛ｇ(x)｝^2dx+2ｔ｛∫（a→b）f(x)ｇ(x)dx｝+∫（a→b）｛f(x)｝^2dx≧０ ⅰ）∫（a→b）｛ｇ(x)｝^2dx＝０のとき、a≦x≦bでつねにｇ(x)＝０ ・・・ ⅱ） ∫（a→b）｛ｇ(x)｝^2dx＞０のとき・・・ とあります。 ⅰのときのところで質問です。 ∫（a→b）｛ｇ(x)｝^2dx＝０のとき、a≦x≦bでつねにｇ(x)＝０とは必ずしもそういえますか？ たとえば、ｇ(x)がaとbの中間で点対称のグラフでも、 ∫（a→b）｛ｇ(x)｝^2dx＝０ となると思います。必ずしもｇ(x)＝０とは言えないと思いますが・・・。 解答を読んでもよくわかりません。 この解答の意図するところもよくわかりません。（途中までしか書いてませんが。） 私の勉強不足なのですが質問する人がいないため、困っています。どなたかご存知の方がいらっしゃれば、教えていただきたいと思います。また説明不足の点があれば補足させていただきますので宜しくお願いいたします。
- ベストアンサー
- 数学・算数
- 数列空間 l^2空間のノルム
l^2空間 l^2＝{ {Xn}| Xn∈Ｃ Σ|Xn|^2＜+∞｝ でそのノルムは || x || = sqrt（Σ|Xn|^2） で定義しますが、 || x || = sqrt（Σ（１/(2^n))|Xn|^2） とかで定義してもよいでしょうか。
- ベストアンサー
- 数学・算数
- 直交変換はノルムを保つ
教科書に 「線型変換 f について、f が直交変換であるための必要十分条件は f がノルムを保つことである」 という定理が載っているのですが、どうも理解できません。 教科書には簡単な証明が載っており、 「f が直交変換ならば、明らかに f はノルム(長さ)を保っている」と記載されています。 直交変換とは内積も保つような線型変換のことですよね？ 内積を保つ = ノルム(長さ)を保つ ということが明らかとなる説明をどなたかお願いします。 私は、内積を保っても、なす角が保たれなければ、ノルム(長さ)も保たれないと思ってしまいます。。。 よろしくお願いします。
- ベストアンサー
- 数学・算数