あじぽんと申します。よろしくお願いします。

ベクトルや複素数などに出てくる「ノルムと絶対値と長さ」というのは同じことを違う言葉で表現しているのでしょうか?
手元にある書籍などには全てが同じ式で求められています。
同じ式で表現されていても意味は少しづつ違っていたりするのでしょうか?

よろしくお願いします。

このQ&Aに関連する最新のQ&A

A 回答 (5件)

どれも同じような性質を持ちますが、違いの1つとして定義される空間が違います。



「絶対値」は、実数や複素数といった「数」に対して定義されます。
定義は、一通りしかありません。
ベクトルに対して、絶対値を求めるという言い方をする場合もあるかもしれませんが、それはベクトルの長さを表す記号に絶対値の記号を利用する場合があるからであり、参考書にも文章として「ベクトルの絶対値」という言い方はあまりされていないのではないでしょうか?



「長さ」というのは、空間にある「線」に対して定義できます。
数に対しては「長さ」という言い方はあまり聞かないと思います。
例えば、「3」の長さというような言い方は耳になじまないと思います。
一方、ベクトルの場合は、「矢印」という「線」になりますので「長さ」が定義できます。



最後の「ノルム」は、線形空間に対して定義できます。(もちろん実数、複素数やベクトルも線形空間です)
ノルムの条件を満たせばノルムになるため、複数のノルムが考えられます。
そのため、「(1,1)というベクトルに対するノルムは?」
という質問に対しては、「どのノルムを使うか?」という条件が欠けているため厳密に言うと「解答はできません」。
例としてよく扱われるノルムは「ユークリッドノルム」と言われ、通常のベクトルの長さと等しくなります。

ベクトルに対するノルムでは、「最大値ノルム」というのが他の例としてよく使われます。
これは、ベクトルの各要素の最大値で定義されます。
(例:(3,1,5)というベクトルの最大値ノルムは、3つの数字の最大値である5になります)

ノルムというと、線形空間であれば定義できるため、
f(x) = 3x^2+5x
という数式に対するノルムというのも考えられます。
(数式は、定数倍したり、足し算したりできますよね)
数式に対して「絶対値」とか「長さ」と言ってもピンと来ないですよね。

しかし、まだやられていないかもしれませんが、数式に対するノルムというのは存在します。


そうすると、なんでこんなんがあるねん。って話になると思います。

ここで、ベクトルに対してある定理があったとします。

それがさっきのような数式など他の線形空間でも成り立つんだろうか?
というのを考えるときに「ノルム」の登場です。

その定理の証明で、「ベクトル」として性質を使わずに「ノルム」の性質だけを使って証明ができれば、
それは「ベクトル」に対する証明でなくて「ノルムを持つもの」に対する証明になります。
(ちょっと難しいかな?)


このようにして、定理の応用範囲を広げるために「長さ」や「絶対値」の考え方をベクトルだけでなく「線形空間」という広い考え方に適用できるようにしたのが「ノルム」になります。
    • good
    • 9
この回答へのお礼

kentarou2333さん、丁寧な回答をありがとうございました!。

「ノルム、絶対値、長さ」の違いについてだけでなくノルムの「なんでこんなんがあるねん。」についての記述、目からうろこな感じでした!。
「ノルムっていったい何のためにあるんだ..?」と考えるとそこで全部が止まってしまっているような感じだったんです。kentarou2333さんの回答を「足場」として使わせていただいて先に進んでいけそうです!!。

ありがとうございました!。

お礼日時:2005/07/23 00:47

あじぽんさん、こんばんは。



あじぽんさんが大学数学を少し知っておられるか、高校数学までなのかで多少回答の仕方を変えた方がよいようにも思われますが、ここでは現代数学流の定義をきちっと述べてみることにします。

すでに指摘されている通り、ノルムとはベクトル空間(大雑把に言ってベクトルの集まり)の各元(つまりベクトル)に対して非負の実数を対応させる写像で、いくつかの条件を満たすもののことを言います。もちろん公理を満たしているならいろいろなノルムを考えることができます。

絶対値とは通常の意味では、複素数(もちろん実数を含む)に対して非負の実数を対応させる写像のことで、これは既にご存知のものであると思います。複素数全体はR上の2次元ベクトル空間と思うこともできますし、もちろんC上の1次元ベクトル空間ともみなせます。いずれにせよ、絶対値というものはこのどちらのベクトル空間のノルムにもなっています。この意味ではノルムとは絶対値を一般のベクトル空間に拡張したもの、と言えるのかも知れません。

また長さというのは絶対値やノルムといったものとはやや異なる存在で、一般的にはある計量空間(たとえばリーマン多様体など)上の曲線に対して定義されるものです。もっとも典型的な場合、つまりユークリッド空間の線分(これももちろん曲線です)の場合は、二つの座標を表す位置ベクトルをx、yとして||x-y||とこれら二つのベクトルの差のノルムで線分の長さを表すことができます。これとはまた別に、(ルベーグ)測度論という解析の一分野があって、長さというものを抽象化した、(1次元)の測度という概念を導入して、可測集合に対して長さを考えたりすることもあります。いずれにせよ、通常、長さという言葉から連想されるのは、「ある空間にある1次元的な図形に対してその"長さ"に対応するような非負実数を与える写像」ということになります。これに対してノルムや絶対値というのは、「ある空間の元(点)に対して、"原点からの遠さ"に対応するような非負実数を与える写像」とごく大雑把に思うことができると思います。
    • good
    • 1
この回答へのお礼

adinatさん、回答ありがとうございました。

大学数学の理解などとてもとても...な状態です。高校数学も怪しいです..。
が、数学のことを考えるのはワクワクしてくるような気が(勘違いかも..)します。

> この意味ではノルムとは絶対値を一般のベクトル空間に拡張したもの、と言えるのかも知れません。

> いずれにせよ、通常、長さという言葉から連想されるのは、「ある空間にある1次元的な図形に
> 対してその"長さ"に対応するような非負実数を与える写像」ということになります。これに対し
> てノルムや絶対値というのは、「ある空間の元(点)に対して、"原点からの遠さ"に対応するよ
> うな非負実数を与える写像」とごく大雑把に思うことができると思います。


なるほど-。ベクトル空間での「原点からの遠さ」を一般化したものがノルムなのですね。
そして公理さえ満たしていればノルムと呼ぶことが出来るのですね。
少々話がそれるようで申し訳ないのですが「1次元的な図形」というものがどういうものなのかがわかりませんでした。

お礼日時:2005/07/23 00:25

抽象化の度合いが違うのではないかと思います。


ベクトルは、高校の範囲では「大きさと向きを持った量」で、典型的に有向線分で表現されます(というか同一視しています)。
しかしベクトルは有向線分だけではありません。たとえばヒルベルト空間で関数をベクトルとして扱うのですが、向きって何?長さ?ってなことになります。

絶対値もそうで、ベクトルの絶対値というのはありません。複素数の絶対値や実数の絶対値は定義されてますが。

ということで一般化・抽象化された「大きさのようなもの」がノルムなわけす。

http://ja.wikipedia.org/wiki/%E3%83%8E%E3%83%AB% …

参考URL:http://ja.wikipedia.org/wiki/%E3%83%8E%E3%83%AB% …
    • good
    • 0
この回答へのお礼

pyon1956さん、回答ありがとうございます。

> 抽象化の度合いが違うのではないかと思います。
> ということで一般化・抽象化された「大きさのようなもの」がノルムなわけす。

「長さ」とか「絶対値」も「大きさのようなもの」だけど、それ(長さとか絶対値)をさらに一般化・抽象化したものが「ノルム」だと考えてもいいのでしょうか。

お礼日時:2005/07/22 23:52

「ノルム」がどのようにして出てきたかはわからないのですが……。



今の数学は「公理主義」的な(確か、厳密には「公理主義」というのは、ひとつの立場だったはず。故に、「的」です)ところがあり、「これこれの性質を満たすものをこれこれと定義する」という流儀で進めることが非常に多いです。

例えば、日常的な「距離」だと、「近い」とか「遠い」という概念がありますが、これを一般化させて、「意見が似ている(近い)・異なる(遠い)」などを数値化できたりするわけです。
これは、距離を抽象化してしまっているので、普通の距離としては議論できない可能性があります。
しかし、この「近い・遠い」を、ノルムの定義にあうように定義できれば、数学的なノルムの大小の議論なり定理なりを、「意見が近い・遠い」などの議論に使えるわけです。

もちろん、数値化が適切であるということが大前提になり、これはこれで難しいわけですが。

また、純粋に数学的にいえば、「これこれの性質を持つもの」という定義なので、一見全く関係ない議論が、「これこれを、『ノルム』と定義することが出来る」というひらめきで、線形代数の既知の理論で説明できてしまったりもするわけです(具体的にそういう例があるかどうかは知らないのですが)

具体例が挙げられなくて残念ですが。
    • good
    • 0
この回答へのお礼

AsanoNagiさん、素早い回答ありがとうございます。

「ノルム」って一体なんなんだろうか..という思いがふつふつとしてきました。う~ん。

お礼日時:2005/07/22 23:38

おおざっぱに言って、「ノルム」は、「長さ」に対して、拡張された概念になります。


おそらく「長さ」の定義は、「それぞれの要素を2乗して足したものの平方根」となっていると思います。
これに対して、「ノルム」は、例えば、「それぞれの要素の絶対値の総和」というようなものも定義できます。

「ノルム」の定義は、・非負である、・ゼロベクトルのノルムはゼロ、・ベクトルを足したもの(ベクトル)のノルムは、それぞれのベクトルのノルムの総和を超えない
などなど。

あと、「絶対値」は、ベクトルの要素に対して定義されるようですね。
    • good
    • 1
この回答へのお礼

AsanoNagiさん、回答ありがとうございます。

> 「ノルム」の定義は、・非負である、・ゼロベクトルのノルムはゼロ、・ベクトルを足したもの(ベクトル)のノルムは、それぞれのベクトルのノルムの総和を超えない
> などなど。

この定義を満たしている式があれば、それは「ノルム」だ。と考えてもよろしいのでしょうか?
「ノルム」が何の役にたつのか、とか、誰が考えついたのか?が非常に気になりました。

お礼日時:2005/07/22 12:39

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!

このQ&Aを見た人はこんなQ&Aも見ています

このQ&Aを見た人が検索しているワード

このQ&Aと関連する良く見られている質問

Q複素数の式の絶対値の2乗

x,y∈C、x,yの複素共役をX,Yとした時

yY - iyX + ixY + 4xX
= |x - iy|^2 + 3|x|^2

に式変形が出来るようですが、途中どのような計算がなされているのかわかりません。
まず「|x - iy|^2」の展開から分かりません。
もしx^2 - y^2 - 2xyiで合っているならば4xXにはなりそうですが、yYの符号はマイナスになる気もします。
途中式が分かる方お願いします。

Aベストアンサー

複素数 z の共役複素数を Z とすると
|z|^2 = zZ.

これを使うと

> |x - iy|^2 + 3|x|^2

= (x - iy)(X + iY) + 3xX
= xX - iyX + ixY + yY +3xX
= 4xX - iyX + ixY + yY.

Q複素数の絶対値

zは複素数で、z^4+z^3+z^2+z+1=0を満たすもであり
(1)|z|
(2)|z-1|^2+|z+1|^2
を求めよという問題をどの方針で解けばよいかわかりません。
四次方程式をといて、zを求めるしかないのでしょうか?

回答よろしくお願いいたします_(._.)_

Aベストアンサー

(1)
z^4+z^3+z^2+z+1=0
z≠1なので(z-1)(≠0)を両辺にかけると
z^5-1=0
z^5=1
|(z^5)|=1
|z|= ?

(2)zは半径1の円周上の点P(z)であり
|z-1|^2
は円周上の点zと点A(1+0i)の距離の2乗
|z+1|^2
は円周上の点P(z)と点B(-1+0i)の距離の2乗
なので∠APB=90°、AB=2(円の直径)
3平方の定理(ピタゴラスの定理)から
PA^2+PB^2=AB^2
従って
|z-1|^2+|z+1|^2= ?

あとは分かりますね?

分からなければ、あなたの計算過程を補足に書いて、分からない箇所を補足質問して下さい。

Q複素数の絶対値の性質について

なぜ、複素数zと共役な複素数zをかけた場合、絶対値zの2乗になるのでしょうか?
また、複素数に絶対値がつくというのは、どういうことを意味しているのか教えてください。
よろしくお願いします。

Aベストアンサー

こんばんは。

>>>なぜ、複素数zと共役な複素数zをかけた場合、絶対値zの2乗になるのでしょうか?

x+iy の共役複素数は、x-iy である、と定義し、
x+iy の絶対値は、√(x^2 + y^2) である、と定義しているからです。

共役複素数同士をかけると、
(x + iy)(x - iy) = x^2 + y^2
となりますから、根号をかぶせれば絶対値の定義と同じになりますよね。



>>>また、複素数に絶対値がつくというのは、どういうことを意味しているのか教えてください。

絶対値という概念は、x+iy をX-Y座標系の点(x,y)で表したときの、
その点の原点Oからの距離を表すということで重要です。

原点(0,0)を中心とする半径1の円を描いたとします。
すると、絶対値が1の複素数は、円周上にあります。(当然ながら、三平方の定理)
これが重要です。


たとえば、1の3乗根は、3つあります。
・1
・(-1+√3i)/2  (ω という記号で表すことがある)
・(-1-√3i)/2  (ω^2 という記号で表すことがある)
どれも、同じものを3回掛けると1になります。

これらをXY座標系にプロットしてみますと、
・(1, 0)
・(-1/2, √3i/2)
・(-1/2, -√3i/2)
の3点になります。
すると、これら3点は、座標(1,0)のところを始点にして、反時計回りに、
・0周 (0度)
・3分の1周  (120度)
・3分の2周  (240度)
のところにあります。

これを知っていると、他の実数の3乗根を求めるのは簡単です。

27の3乗根は、
・3×1
・3×(-1+√3i)/2  (ω という記号で表すことがある)
・3×(-1-√3i)/2  (ω^2 という記号で表すことがある)
の3つです。

何となく、わかりませんか?

絶対値が1より大きいか小さいか、はたまた、ぴったり1か、ということは、非常に重要です。


また、1の4乗根は4つあり、
それは、1、i、-1、-i です。
これらは(説明は省きますが)、0度、90度、180度、270度に対応します。

言い換えれば、「1の?乗根」は、すべて図解で求まります。


では、16の4つの4乗根は、何でしょうか?
・・・とクイズを出したところで、失礼します。

ご参考になりましたら。

こんばんは。

>>>なぜ、複素数zと共役な複素数zをかけた場合、絶対値zの2乗になるのでしょうか?

x+iy の共役複素数は、x-iy である、と定義し、
x+iy の絶対値は、√(x^2 + y^2) である、と定義しているからです。

共役複素数同士をかけると、
(x + iy)(x - iy) = x^2 + y^2
となりますから、根号をかぶせれば絶対値の定義と同じになりますよね。



>>>また、複素数に絶対値がつくというのは、どういうことを意味しているのか教えてく...続きを読む

Q複素数での極限と絶対値

複素数での極限と絶対値

他人の質問への便乗で大変申し訳ないのですが、
http://oshiete.goo.ne.jp/qa/2649820.html
でのNo2さんの良回答からの引用で質問です。


回答中の

exp(Ax)で x->∞としたときだけが問題になります.
さて,xは実数だということを忘れないように.(A=-(1+ai)とおいていたので)
exp(Ax)=exp(-(1+ai)x)
=exp(-x-axi) = exp(-x) exp(-axi)
=exp(-x) (cos(ax)-i sin(ax))
ここで,|cos(ax) - i sin(ax)| = 1 であることに注意すれば
x->∞とすれば exp(-x) -> 0
よって,
exp(Ax) -> 0 (x->∞)

という部分で、


=exp(-x) (cos(ax)-i sin(ax))
において極限を考えるときに、
|cos(ax) - i sin(ax)| = 1
と考えられるのはなぜなんでしょうか?
絶対値でないものを絶対値で考えられる理由がわからず困っています。

複素数の知識は全くと言っていいほど無いので、検討違いな質問でしたらすみません。
どうかご回答よろしくお願いします。

複素数での極限と絶対値

他人の質問への便乗で大変申し訳ないのですが、
http://oshiete.goo.ne.jp/qa/2649820.html
でのNo2さんの良回答からの引用で質問です。


回答中の

exp(Ax)で x->∞としたときだけが問題になります.
さて,xは実数だということを忘れないように.(A=-(1+ai)とおいていたので)
exp(Ax)=exp(-(1+ai)x)
=exp(-x-axi) = exp(-x) exp(-axi)
=exp(-x) (cos(ax)-i sin(ax))
ここで,|cos(ax) - i sin(ax)| = 1 であることに注意すれば
x->∞とすれば exp(-x) -> 0
よって,
exp(Ax) -> 0 (x->∞)
...続きを読む

Aベストアンサー

> 絶対値でないものを絶対値で考えられる理由がわからず困っています。

もともと、lim[x→+∞] exp(-x) (cos(ax) - i sin(ax)) を求めたい訳です。
lim[x→+∞] | exp(-x) (cos(ax) - i sin(ax)) | = 0 であることが言えれば、
lim[x→+∞] exp(-x) (cos(ax) - i sin(ax)) = 0 が言えますね?    ←[1]
絶対値は、連続関数ですから。

計算してみると、
lim[x→+∞] | exp(-x) (cos(ax) - i sin(ax)) |
= lim[x→+∞] exp(-x)    ←[2]
= 0
です。

| cos(ax) - i sin(ax) | = 1 は、[2] へと変形するのに使ったのでした。
絶対値で考えられる理由は、[1] なのですが。

Q数学III 複素数 絶対値

|z+1|=2|z-2|を満たす複素数zについて、|z-3|を求めよ。
 
zz-3(z+z)+5=0→(z-3)(z-3)=4  

上記に何が起こったのか分かりません。 

丁寧に教えてください。   注、z(ぜっとバー)の打ち込み方がわからないのでzのままにしてあります。

Aベストアンサー

z の共役複素数を z~ と書くことにします。

|z+1| = 2|z-2|

2乗

|z+1|^2 = 4 |z-2|^2

ここで

|z+1|^2 = (z+1) (z+1)~ = (z+1) (z~+1) = z z~+ (z+z~) +1
4 |z-2|^2 = 4 (z-2) (z-2)~ = 4 (z-2) (z~-2) = 4 z z~ -8 (z+z~) +16

なので

z z~+ (z+z~) +1 = 4 z z~ -8 (z+z~) +16

移項
3 z z~-9(z + z~) +15 = 0

3で割って
z z~ -3(z +z~) + 5 = 0

2乗を作るための移項
z z~ -3(z +z~) + 9 = 4

因数分解
(z-3) (z~-3)=4

(z-3) (z-3)~=4

|z-3|^2=4

∴|z-3|=2 …(答)


このQ&Aを見た人がよく見るQ&A

このカテゴリの人気Q&Aランキング

おすすめ情報