• ベストアンサー

ノルムについて。

alkantalaの回答

  • alkantala
  • ベストアンサー率70% (14/20)
回答No.1

まず基本的なn次元ユークリッド空間 R^n の場合で。 各 p (=1,2,3,...,∞) と R^n の点 x = (x_1, x_2, ... ,x_n) に対して、 p-ノルム |x|_p が |x|_p = (|x_1|^p + |x_2|^p + ... + |x_n|^p)^{1/p} (|x_j| は通常の実数の絶対値)  で定義されます。 2-ノルム ||_2 がユークリッドノルムです。 また最大値ノルム ||_∞ は |x|_∞ = max{|x_j| ; 1 ≦ j ≦ n } で定義されるノルムです。 ここで最大値ノルムの記号から気付かれたかもしれませんが、 最大値ノルムは p-ノルムの定義で p → ∞ としたもの と解釈されます。 なのでユークリッドノルムと最大値ノルムには直接の関係は ありませんが一応関係があると言えなくもありません。 p-ノルムが p が大きくなるにつれ最大値ノルムに近づく様は p-ノルムによる原点を中心とした「円」 C_p : { x ; |x|_p = 1 } が C_2 が通常の単位円で、pが大きくなるにつれ四角くなって いくのを観察すれば視覚的に理解できるかと思います。 (最大値ノルム ||_∞による単位円は  C_∞:{ x ; |x|_∞ = 1 }  で原点中心の四角形です。) sup-ノルムは無限次元の場合(数列空間, 関数空間等) の場合に上記の max を sup で置き換えたノルムです。 有限次元ユークリッド空間では各p-ノルムにより定義される 位相を導入した位相空間は同相になるので、ノルムの違いは あまり問題になりませんが, 無限次元になると同相でない 位相を生成するノルムが各種あって、設定している問題に 適当なノルムを選択して考える必要があります。

関連するQ&A

  • 制御工学における∞ノルムとユークリッドノルムの違い

    現在制御工学について勉強している学生ですが、よく分からない事があるので質問をさせて頂きます。 「下図のような直結フィードバックシステムで、以下の3つの条件を満たすコントローラの比例ゲインKの最小値を求めよ」という問題について考えていまして、その3つの条件とは (1)フィードバックシステムが内部安定であること (2)入力が単位ステップで外乱がない(d=0)の時|e(∞)|<0.1 となる(e:偏差) (3)入力r=0として、||d||2<1のような全てのd(t)に対して||y||∞<0.1となる (※||d||2はdのユークリッドノルム、||y||∞はyの∞ノルムです) で、ブロック線図と各要素の伝達関数は          ↓d r---o--C(s)--o--P(s)----y    |            |    --------F(s)----- P(s)=1/(10s+1), C(s)=K, F(s)=1 です。 ここで質問です。 条件(3)で、出力yの∞ノルムは|y|の最大ゲインという事は理解しているのですが、外乱dのユークリッドノルムがこの場合何を意味しているのかが今一つ分かりません。 これも、外乱の最大ゲインの事なのでしょうか?もしそうだとすれば、何故出力の方は∞ノルムで表し、外乱はユークリッドノルムで表すのかが分かりません。 どなたか、教えて頂けませんでしょうか?

  • 線形代数の問題です。

    x=(x1,x2,x3)∈C^3 として、 xの最大値ノルムが1のとき、 xのユークリッドノルムの最大値を求めよ。 という問題が分からないです。 教えてください。

  • 行列のノルム

    以下、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についてはきちんと証明が載っているのですが…。 どちらか片方ずつでも、おねがいします。

  • 同値なノルムについて教えてください><

    同値なノルムについて教えてください>< 問題で考え方がわからないのでどなたか教えていただけないでしょうか>< 問、ノルム||・||1において線形空間Xが完備ならば、||・||1に同値なノルム||・||2においても完備であ  ることを示せ。 です。どう証明すればいいのでしょうか?「同値ならバナッハ空間の構造も同じ」と参考書に書いてあり、それならば||・||2においても完備なのは当たり前じゃないかと思ってしまうのですが・・・ ご指導のほう、よろしくお願いいたします!!

  • 行列式のノルムの求め方について

    行列式のノルムの求め方について 行列式の問題で、固有値→固有ベクトル→ノルムを順に求める問題なのですがノルムが求められません。 例えば固有ベクトルc1=[1;1]であれば√(c1^2+c1^2)=1になりc1=±1/√2になりますよね? これがc1=[2;1;1]のように3列の場合はどのように求めるのでしょうか? √(2c1^2+c1^2+c1^2)=1でc1=±1/√6になるんでしょうか?

  • 誘導ノルム

    現在,マトリクス理論について勉強しているのですが,誘導ノルムのところで行き詰まっています. よろしければ教えてください. <質問> ベクトルノルムから導かれる下記の誘導ノルムについて, 導き方を教えてください.(下の式はTexの書き方で表記しています.) もしくは,導き方を記載している本を教えていただけたら助かります. A:n×m行列 |A|_{1} = \max _{j}\sum _{i}|a_{ij}| |A|_{2} = (\lambda _{\max }(A^{*}A))^{1/2}

  • L2ノルムについて

    こんばんは。 ノルムの勉強をしていて、疑問が出てきたので、質問しました。 f,gがC[a,b]に含まれるとき、 ||f-g||={∫(a→b)|f(x)-g(x)|^2dx}^1/2 (L2ノルム)が ノルムの条件を満たすと書いてあったのですが、 条件1:||f||>=0,||f||=0⇔f≡0 条件2:||αf||=|α|・||f||,(αは実数) 条件3:||f+g||<=||f||+||g|| を考えたとき、条件2はすぐにわかったのですが 条件1と条件3がどうしても証明できません>< アドバイスをお願いします><

  • 直交変換はノルムを保つ

    教科書に 「線型変換 f について、f が直交変換であるための必要十分条件は f がノルムを保つことである」 という定理が載っているのですが、どうも理解できません。 教科書には簡単な証明が載っており、 「f が直交変換ならば、明らかに f はノルム(長さ)を保っている」と記載されています。 直交変換とは内積も保つような線型変換のことですよね? 内積を保つ = ノルム(長さ)を保つ ということが明らかとなる説明をどなたかお願いします。 私は、内積を保っても、なす角が保たれなければ、ノルム(長さ)も保たれないと思ってしまいます。。。 よろしくお願いします。

  • 行列の条件数とノルムについて

    行列Aの条件数はAのノルムととA^(-1)のノルムの積で定義されるみたいなんですが、肝心の行列のノルムの定義が分かりません。 分かる方がいらっしゃったら教えてください。   

  • ノルムは無限大にはならない?

    こんにちは、題名の通りですが、例えばヒルベルト空間の元のノルムは無限大になることはないのでしょうか?当たり前すぎる事かもしれませんが、ふと疑問に思い、証明ができません。これが言えないと成り立たないことがたくさんあるのですが・・・。