- ベストアンサー
異なる物理量成分を持つベクトルのノルム・内積
並行して質問を立てることご容赦下さい．． タイトルの通りなのですが， 例えば(位置,速度)=(x, dx/dt）でプロットした位相空間中で， その座標中の２点，A(x1,dx1/dt)，B(x2,dx2/dt)でノルムや内積を単純に， ||A-B|| = sqrt((x1-x2)^2 + (dx1/dt-dx2/dt)^2) A・B = x1*x2 + (dx1/dt)*(dx2/dt) としてしまうと，次元が異なる物理量の和となってしまいます． そこで別のこれら定義を行うのでしょうが，困ってしまっております． どのように定義するのかについて，宜しくご教授下さい．．． 実は連立方程式をいじっていて，あるベクトルを定義したのですが， このベクトルがヒルベルト空間の元であって欲しいのですが， 成分毎の次元が異なっており，上記で悩んでしまっております． 私が初歩的なところを体得していないからだと思います，ご叱正覚悟しております．．
- First_Noel
- お礼率85% (128/150)
- 物理学
- 回答数3
- ありがとう数3
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
mmkyです。 参考まで (位置,速度)=(x, dx/dt）でプロットした位相空間中ということですが、位置は物理量ではありません。ある点を示すというラベルのようなものです。だから取り扱うことは出来ると思います。つまり、(x, dx/dt）は、ラベルｘでの速度というような取り扱いです。 一方、位置から位置の差(x1-x2)を長さの物理量として取り扱うことが出来ますが、そうすると位置かける位置（x1*x2）の物理量が不明になります。 ということで、(x1-x2)も（x1*x2）もラベル（物理単位なし）で取り扱えば いいのではないでしょうか。 役にたつかどうか。 参考まで
その他の回答 (2)
- mmky
- ベストアンサー率28% (681/2420)
First_Noelさん「ラベル」のmmkyです。 方向は出されたようですので、自由な発想で参考になるかどうかわかりませんが、もう一つだけ追加しておきます。 点ｘをラベルと表現しましたが、少し意味があってそう表現しました。 座標上の点は、二つの意味が与えられます。一番目は「その名の通りの点」です。二番目は「無限に細い針のようなものが平面を突き刺しており、その 針と平面の交点座標を点として、その積分値がいつも[1]=[unit]になるような関数δが存在する。」とする考えです。二番目の考えが物理数学で超関数という概念に導入されています。 つまり点ｘはｘ[1]ということであるが、普通は点ｘで観測されるということです。だから、「物理単位」はｘには与えられないが、[1]には任意に与えることが出来るということが出来るという考え方です。ｘをラベルといった意味は、ラベルを例えば長さの単位単位ユニットと考えれば、ｘは物理単位なしですが、ｘ[1]はｘ｛m]の単位を付与することが出来るのです。この考えかたは無次元化するという考えとは似て非なる考えです。 例えばこの方法を使うと、点x1,x2は長さの単位に「(x1-x2)^2」「x1*x2 」は、両方とも面積の単位に変換できます。それで初めて数学的表記が物理的意味を持つのです。 例えば、 ｙ=1・sin｛Asinθ｝{距離の単位｝はAが十分一より小さいときは,（１．）を考えないとｙ=｛Asinθ｝で｛位相の単位｝になります。でも（１．）単位長 を忘れず考慮すると、長さの単位が正しいことが解ります。 このように点も一面しか見ないから点であって、本当の隠れたものは何かと するのが「ラベル」の考え方です。 そういう概念を導入しないと、数学表示と物理の整合性は取れないのですが 一般には、不要なことなので、 方向にはあまり役に立たないかもしれませんが、 あえて参考までに書きました。
お礼
雑用多々で返事が遅くなってしまいました．スミマセン．． ご意見をもとに進めていきたいと思います． お教え頂きましてありがとうございました．＜（＿＿）＞
- spinflip
- ベストアンサー率53% (28/52)
半分、便乗質問かも知れませんが、正準変換でも同じ問題に ぶつかりますよね。たとえばボゴリューボフ変換では、 X=x・cosθ－p・sinθ P=x・sinθ＋p・cosθ のように、xとpを平気で足してしまいます。(θは定数） どう考えるのか、私も初歩的なところを体得していないので 自信が無いのですが、とりあえず、変数をスケールして無次元化 しておけば大丈夫と思うのですが、、、。 つまり、x_0や、p_0を距離と運動量の次元を持った定数として、 x/x_0、p/p_0 のような変数を新たに用いればよいのでは、、、。
お礼
やはり，えいや！とやってしまうものなのかなぁ．． 確かにｘ－ｐ平面上で軌跡書こうとするなら，物理的次元は不問にしないと 書けないですよね． 例えば４次元時空間中ですと， （x, y, z, ct） と，光速をかけて時間を位置として表現しますが，こういう手続きが必要なのかと 不安ありましたが，今のところは「気にしない」「無次元化する」の２本でやってみようと 思います． ご回答頂きましてありがとうございました．＜（＿＿）＞
関連するQ&A
- ベクトルのノルムについて
一般に、 x = {x0, x1, x2..} のノルムは |x| = √{x0^2 + x1^2 + ..} と定義されると思いますが、現在、信号処理の本を読んでいて、そのなかでは |x| = √{1/N{x0^2 + x1^2 + ..}} と定義されています。 どちらがよく使われるのでしょうか？場合によって、定義が異なるのでしょうか？
- ベストアンサー
- 数学・算数
- 数列空間 l^2空間のノルム
l^2空間 l^2＝{ {Xn}| Xn∈Ｃ Σ|Xn|^2＜+∞｝ でそのノルムは || x || = sqrt（Σ|Xn|^2） で定義しますが、 || x || = sqrt（Σ（１/(2^n))|Xn|^2） とかで定義してもよいでしょうか。
- ベストアンサー
- 数学・算数
- 行列のノルム
以下、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についてはきちんと証明が載っているのですが…。 どちらか片方ずつでも、おねがいします。
- ベストアンサー
- 数学・算数
- ベクトルの内積、どうしてそのように定義するの？
簡単のために２次元ベクトルを考えます。 → → a =(a1,a2), b=(b1,b2) とすると、 → → → → a ・ b = |a| ・ |b| ・cosθ =a1b1+a2b2 と内積が定義されますが、なんの理由、なんの目的があってそのような定義がされるのでしょうか？
- 締切済み
- 数学・算数
- 線形代数学（固有ベクトルの内積など）
２以上の整数ｎに対して、ｎ次元実ベクトル空間を考える。この空間のベクトルは列ベクトルで表されているものとし、２つの列ベクトルx,y x=(x1,x2,...,xn), y=(y1,y2,...,yn) ←列ベクトルだから本当は縦 に対して、ベクトルｘとｙの内積、ｘのノルムが、それぞれ、 <x,y>=Σ(i=1→n)xiyi, ||x||=√<x,x> （ノルムの式のxは全てベクトル） で与えられているものとする。次に、Ａをｎ行ｎ列のある与えられた対称行列とし、Ａにｎ個の相異なる実固有値λi(i=1,2,...,n）が存在する場合を考える。また、それらの固有値は、λ1>λ2>...>λnを満たしているものとする。そして、固有値λiに対応する固有ベクトルをΦiで記す。問題の仮定から、 ＡΦi＝λiΦi が成立する。このとき、次の問いに答えよ。 1.任意のベクトルx,yに対して<Ax,y>=<x,Ay>が成立することを、ベクトルと行列の成分を使って計算することによって示せ。 2.相異なる固有ベクトルが直交すること、すなわち、１からｎまでの相異なる任意の整数i,jに対して、<Φi,Φj>=0が成立することを示せ。 一般性を失うことなく、固有ベクトルΦiを、||Φi||=1(i=1,2,...,n)が満たされるように選ぶことができる。従って、上記の問２の結果から、Φ1,Φ2,...,Φnを正規直交基底に選ぶことができる。以下の問いでは、Φ1,Φ2,...,Φnは正規直交基底になっているものとする。 3.任意のベクトルｙに対して、Ay=Σ(i=1→n)λi<y,Φi>Φiが成立することを示せ。 4.xをノルムが１の任意のベクトルとする。このｘを実数の組β1,β2,...,βnを使って、x=Σ(i=1→n)βiΦiと展開するとき、β1,β2,...,βnが満たすべき必要十分条件を求めよ。 5.上記の問４におけるｘに対して、||Ax||^2をλ1,λ2,...,λnとβ1,β2,...,βnのみで表せ。 6.ノルム１のベクトルxに対する||Ax||の最大値を、|λ1|>|λn|の場合、|λ1|=|λn|の場合、|λ1|<|λn|の場合に、それぞれ求めよ。 なお、i,j,nはx,y,λ,Φ,βなどに下付ででついている。 1.の問題は解けました。 2.の問題で苦戦してます。。。 固有ベクトルが数の場合は考えやすいのですが、文字で一般的な 話になってくると、どうしても苦手です。 困ってます。 どなたか、教えてください。 お願いします。。。 3～6の問題もぜひヨロシクお願いしますm(_ _)m
- ベストアンサー
- 数学・算数
- 直交行列とノルムについて
n次元Euclid空間のベクトルxと任意の直交行列Aに対して， y≠Ax ⇒ |y|≠|Ax| （|x|はEuclidノルム） は直接示せますか？ 一般的に「x≠y⇒|x|≠|y|」は言えませんが，ここではAが直交行列で大きさを変えない変換ということから|y|≠|Ax|と言ってしまったのですがこれは言えないのでしょうか？ どんな直交行列を持ってきてもy≠Axとなるということは大きさが異なるということではないのですか？ よろしくお願いします．
- ベストアンサー
- 数学・算数
- ベクトルの証明問題です。
3次元の実線形空間のベクトルx={x1,x2,x3}＾Tのうち、x1+x2+x3=0を満たすものは、3次元の実線形空間の部分空間を作ること、ならびにその部分空間は2次元であることを示しなさい。 この問題の解説を何方か宜しくお願いします。
- ベストアンサー
- 数学・算数
- ベクトルが3次元実ベクトル空間を動くとき
以下の行列Aについて、すべての問いに答えなさい。 |1 4 0 | A = |1 0 2 | |0 2 -2 | (1) 行列Aの固有値を求めなさい。 (2) 行列Aの各列をベクトルa1,a2,a3で以下のように表す。 A=(a1,a2,a3) これらの3個のベクトルの従属関係を式で示しなさい。 (3) ベクトルxが3次元実ベクトル空間(線型空間)V全体を動くとき、これによってつくられる点の集合を W1={Ax|x∈V} とする。この集合がつくる実ベクトル空間の次元を求めなさい。 (4) ベクトルpをp=t(1,2,1)とする。ベクトルxがx・p=0となるような3次元実ベクトル空間Vを動くとき、xがどのような図形を描くか答えなさい。なお、t()は転置を表し、x・pはxとpの内積を表す。 (5) (4)のようにxが動くとき、集合 W2={Ax|x∈V,x・a=0} がつくる実ベクトル空間の次元を求めなさい。 という問題があるのですが、 (1):λ1=3, λ2=0, λ3=-3 (2):略 (1),(2)は合ってる自信があります。 (3) |1 4 0 | |1 4 0 | A = |1 0 2 | = |0 -4 2 | |0 2 -2 | |0 0 0 | これはrank=2となり、xをかけてもrankは変わらないので、 次元は２ (3)は次元は合ってる気がするのですが、答え方が間違ってるような気がします。 (4),(5)の解き方が分かりません。 (4)はx・p=0なので直交することは分かるのですが、これをどう使うかが分かりません。 (5)は(4)が解けないと解けないのですが、(4)が解けたとしてもaというよく分からないの出てきてて、解けなくなってしまいそうです。 どなたか(3),(4),(5)を解いて下さる方いらっしゃいませんか？
- 締切済み
- 数学・算数
お礼
いつもお世話になっております． ラベルですか．．． でもそう言えば物理的意味とは無関係に数学としての成立性のみ考えることで， 数学的には問題はないようにも思えて来ます． 安定論でよく出て来る運動方程式の処理として， d2x/dt2 = ax + b で，x1=x，x2=dx/dt，とか置いて， dx1/dt = x2 dx2/dt = ax1+b で，X=(x1,x2)^tと置いて， dX/dt = AX + B として，x1とx2の次元が異なっても不問にしているようですし．．．そういうことなのかなぁ．． ご回答頂きましてありがとうございました！＜（＿＿）＞