- ベストアンサー
外積の定義はどのようにして導出されたか？
- みんなの回答 （6）
- 専門家の回答
質問者が選んだベストアンサー
＃４です。 ●WIKI 「ヘルマン・グラスマン」 http://ja.wikipedia.org/wiki/%E3%83%98%E3%83%AB%E3%83%9E%E3%83%B3%E3%83%BB%E3%82%B0%E3%83%A9%E3%82%B9%E3%83%9E%E3%83%B3 上記より引用； 『ゴットフリート・ライプニッツの考えた、座標を用いない幾何学計算法の建設を目指した論文Geometrische Analyse を学会に提出し、1846年に賞を授与された。グラスマンの数学的業績で特に重要なのは広延論（Ausdehnunglehre）と称する理論に関する2論文（Die lineare Ausdehnunglehre, ein neuer Zweig der Mathematik, 1844 とDie Ausdehnunglehre: Vollständig und in strenger Form bearbeitet, Berlin 1862。それぞれA1およびA2と呼ばれている）にまとめられた』 A１に答えが有るのでしょうね。 「外積」の項には、『仕事』に対応する内積に対して、『面積』を表すA×Bを考え、A×BとB×Aの面の裏表を表す工夫から面に垂直なベクトルを考えた、そうするとその計算規則が定まるという意味のことが書いてある。それを座標系の基底ベクトルを求めるために用いたのがグラスマンというのなら、座標の基底ベクトルの変換則を定めるために考えたというのは正しいのかな。（人は違ってたけど・・・） ですが、それがリーマン空間とのかかわりで・・・と言うところは間違ってるでしょうね。 ただ、これも運動学的な意味で・・・、軌道運動の接線ベクトル・主法線ベクトルに対して、「従法線ベクトル」を求めるための計算方法として考えついたのでは？ 軌道運動との関係ではもう１つ有って、まず天体の運動を「軌道平面内」で考えるだけで『角運動量』の計算式ｍ（ｘ・Vｙ－Vx・ｙ）から「外積の成分」を求める計算式がでてくることがある。歴史的にはケプラーの『面積速度一定の法則』が先で、この角運動量が面積速度と結びついている。 それを３次元で考え、回転の方向などを示すために面に垂直なベクトルを考えるようになるだろう。この面積速度（角運動量）のベクトル表示が先に有ったのではないだろうか？（ベクトルの命名はハミルトンのようだ。）ライプニッツあたりがそのようなことを行ったのではないだろうか？ それを大きさで割って単位ベクトルにすれば座標軸の単位ベクトルにつながる。その計算規則を抽出して定義したのがグラスマンということなのだろうか？ このあたりにヒントが有るのだろう。
その他の回答 (5)
- ichiro-hot
- ベストアンサー率59% (82/138)
●＃４ なんという錯誤！ よくよく見たら、「グラスマン積」じゃない！「グロスマン」とは別人物！！ 相対論を先に勉強したんで、ず～っと同一人物と思ってましたよ。数学の同じ分野のベクトル・テンソルについての研究者、ただし５０年ぐらいの錯誤がある！ ちょっと困っちゃったね・・・修復不能！ ということで、＃４は無視！よろしく
- ichiro-hot
- ベストアンサー率59% (82/138)
＜たわごと＞ ● 外積そのものでなく、「どのようにして考えついたか」という「数学の発展史・研究史」に関する疑問ですね。 ● 外積の定義はグロスマンによるものでグロスマン積とも言われるとおりです。テンソルの変換則を考える際にグロスマン積として定義されたのが最初のようです。そこで、次のように考えましたが・・・ ということは、テンソル解析＝４次元空間での座標変換則を考える必要からグロスマン積が考えられ、その計算規則を3次元空間で利用した時に非常に便利なので、いわゆる外積が用いられるようになったのでは？・・・どうなのでしょう。グロスマンが定義したということが大きなヒントでは？ ● グロスマンはアインシュタインの友人で、アインシュタインが一般相対性理論の展開を始めた初期論文の共著者で、数学部門を担当したことで有名です。 ※ただし、自分にはグロスマンがアインシュタインと共同研究を始めたときに自分の数学をどの程度作り上げていたのかは良くわかりません。アインシュタイン選集の中でもにも初期論文のグロスマンの担当した数学部門は割愛してあったりして、その理論を作り上げるためにどのような考察を行ったのかとかのグロスマンの研究史等は全く知りません。また、リーマンがどのように幾何学を展開しているかも調べないといけませんが、リーマン選集は『高くって、購入できず』読んでおりません。断片的な知識のつなぎ合わせ・・・＜たわごと＞なのです。※ ● ＜たわごとの中身＞ リーマン幾何学では線素ｄｓが大きな働きをします。（以下、３次元で）ｄｓの振る舞いがわかると、その近傍でのｄｓの振る舞いから測地線とその接平面が決まり、ｄｓの接ベクトル方向（ｄｖの方向）が決まり、それに垂直な方向として曲率の中心方向が決まります。３次元ではもう１つ、この双方に垂直な方向を定めることが必要になります。その３つの方向を定めて局所座標系の直交座標を作ります。 だからグロスマンは、その接平面に垂直なベクトルを求める方法を考え、それを求めるための計算規則としてグロスマン積を考えたのではないか？とふと思ったのですけど・・・この計算規則を考え付く具体的な局面はここしかないのではないかと思うのですがどうでしょうか？ ● この必要性は、例えば古くはコリオリ力、電磁気のフレミングの法則、レンツの法則などの例が有りますが、例えば『電流をｘ軸方向にとり、磁界をｙ軸方向にとったときに、左手直交系でｚ軸方向に力が働く』という表現で、計算によらなくても操作的な定義で済ますことができます。それまでは、このようにグロスマン積と等価な『左手の法則』を用いて方向を考えたのであって、”『計算規則』に拠って求めていたのではない”ということなのではないでしょうか。（リーマン自身が曲率を定義するときにどう述べているかを調べていればもうちょっと自信を持っていえるのですが） グロスマンのところまでいって、やっとその計算規則を定めることになったのは、抽象的な４次元空間では『指』を使った操作的な定義では考えることができなくなったからなのでは。『４次元空間の中の局所空間での座標系』を定めるために『基底ベクトル』を作る必要があり、それを作るための『計算規則』が必要で外積を考え付いたのではないだろうか？と推測できるのですが・・・・ 数学家の人、出番ですよ・・・・
補足
ご回答いただいた内容は動機についてが主なようですが、もちろんそのような動機があったから外積という手法が生まれたのでしょう。ただ、純粋に数学的に「他ベクトル全てに対して垂直になる」ということを導出できた過程が知りたいのです。
基底Vector i（１）、i(2)、・・・、i(n)を含む n次元、n個のVector P(1)、P(2),・・・、P(n)を考える。 このときの外積を次のようの定義する。 （（P(1)ｘP(2)）ｘP(3)）・・・）ｘP(n) ＝｜i(1)、i(2),・・・、i(n)｜ ｜P(２１）、P(２2)、・・・P(２n)｜ ｜P(３１)、P(３２)、・・・P(３ｎ)｜ ｜・ ｜ ｜・ ｜ ｜・ ｜ ｜P(n1)、P(n2)、・・・ P(nn)｜ 基底Vector i(1)、i（２）、・・・i(n)について 展開すれば外積が計算できる？ P0×P1 ＝｜i(1)、i(2),i(3)｜ ｜ｘ０、ｙ０、ｚ０｜ ｜ｘ１、ｙ１、ｚ１｜ ＝ （y0*z1-z0*y1）i(1) ＋（z0*x1-x0*z1）i(2) ＋（x0*y1-y0*x1）i(3)
補足
もちろんこの計算の定義は存じ上げております。3次元でこの計算を行ったときに2ベクトルに対し垂直なベクトルが出来上がることも確認したことはあります。ただ私の疑問はなぜこれで他ベクトル全てに垂直なベクトルになることが導出できたのかということです。これって結果の数式を見ただけだと「ｎ項目にはｎ番目の基底方向成分だけが含まれていない」という特徴がわかるぐらいですよね？しかしここからなぜこれで垂直になるのかということを考えてみてもわかりませんでしたし、おそらく代数の知識なしにはわからないような気がしています。
- info22
- ベストアンサー率55% (2225/4034)
3次元のx軸,y軸,z軸方向の単位ベクトルをi,j,jとするとき 単位ベクトル間のベクトル積を右手系として ixj=k,jxk=i,kxi=j jxi=-k,kxj=-i,ixk=-j ixi=0,jxj=0,kxk=0 などと定義したため 一般のベクトル間のベクトル積が P0×P1＝[y0*z1-z0*y1, z0*x1-x0*z1, x0*y1-y0*x1] と導出されたのではないでしょうか？
お礼
確かに計算テクニック的にはしっくりくるご説明ですが、方向が違う外積同士で和をとらなければならない理由がぴんとこないんですよねぇ。
- Mr_Holland
- ベストアンサー率56% (890/1576)
というか、外積を「2ベクトルに対し直角なベクトル」と定義すると、直交座標系での成分表示がそうなっただけではないでしょうか。 ご承知の通り、「2ベクトルに対し直角なベクトル」を求める意味は、物理分野ではよくありますから。
お礼
たしかにそのとおりかもしれません。もしその順序で考えられ、直感的に正しい方法が導き出されたというのであればそれまででしょう。しかし直感的な導出も検証なしには成り立たなかったはずです。その過程が知れれば幸いでした。 ご回答ありがとうございました。
関連するQ&A
- ベクトルで外積の逆演算、外商ってある？
３次元ベクトルにおいて、 a=(a[x],a[y],a[z]),b=(b[x],b[y],b[z]) の外積 a×b=(a[y]b[z]-a[z]b[y], a[z]b[x]-a[x]b[z], a[x]b[y]-a[y]b[z]) が定義できます。いくつかの性質もあります。 http://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AD%E3%82%B9%E7%A9%8D ところで、逆演算も定義としてはありえると思います。 a÷b=xとは、 x×b=aとなる３次元ベクトルx ただ、そのようなxは一意的には存在しません。 しかし、外積を内積に変えて、 x・b=a（aは実数）となる３次元ベクトルx を考えると、そのようなxの集合は、３次元空間で平面になります。 ちょっととっぴにいうと、内積の逆演算、内商a：bは、平面になるということもできます。 では、 x×b=aとなる３次元ベクトルx を考えると、そのようなxの集合はどうなるのでしょうか？ また、平方根を制限したものを√で表したりするように、逆演算はしばしば制限したものを考えます。 なにか制限することで、外積の逆演算、外商を考えれないでしょうか?なにか制限することで、内積の逆演算、内商を考えれないでしょうか? 他に発展的なことは考えれないでしょうか?
- ベストアンサー
- 数学・算数
- これはどうやって計算すればいいですか？？
これはどうやって計算すればいいですか？？ プログラミングしているときにわからない式が出てきて困っています． 昔，授業で習った気もするのですが，どうしても思い出せません． 計算方法が分からない式は画像でアップしました． ベクトルu1:(x1,y1,z1) ← 既知 ベクトルu2:(x2,y2,z2) ← 既知 ベクトルu3:(x3,y3,z3) ← 求めたいベクトル としたときに， u1×u2は外積で，(y1 * z2 - y2 * z1, z1 *x2 - z2 * x1, x1 * y2 - x2 * y1)すればベクトルが出ててくるのはわかったのですが， |u1×u2|の計算方法がわかりません．（これはベクトルの大きさですか？それとも，別の意味ですか？） また，u1×u2に対して，|u1×u2|でわって，|u1|をかける方法がわかりません． 普通に成分に対する掛け算と割り算でいいのでしょうか？？ できるだけ，早く回答していただけると非常に助かります． また，この式の意味がわかる方いましたら，それも教えていただけると助かります． ２つのベクトルが直交しているときに，その２つのベクトルに直交しているベクトルを求めるってことであっているのでしょうか？
- ベストアンサー
- 数学・算数
- 外積 商 次元
前回、内積にはなぜ商が定義されないのか 質問させて頂きました。 URL：http://okwave.jp/qa/q7403145.html 外積の商が定義されないことを示そうとしています。 ベクトルa=(1,0,0)とベクトルxの外積を以下に示すと、 a×x=bから、 (1,0,0)×（0,1,0）=（0,0,1） (1,0,0)×（1,1,0）=（0,0,1） (1,0,0)×（2,1,0）=（0,0,1） とベクトルbとなるベクトルxが複数存在します。 よって、 (1,0,0)×（γ,1,0）=（0,0,1）が成り立つ。 γ成分は、a=（1,0,0）における並行成分が任意であるということ。 したがって、ベクトルaとベクトルbが既知でもベクトルxが一意に 定まらないため商が定義されない。 上記の内容でOKでしょうか？ また、内積と外積が定義される次元についてですが、 スカラーの内積とスカラーの外積は存在しないと思うので最低でも 2次元以上のn次元で定義されると認識でOKでしょうか？ 以上、ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 外積
r→(t) = A cos wt e→_x + B sin wt e→_y （A、B,wは定数） としたとき、角運動量を求めよという問題がありました。 一回微分して v→(t) = -A w sin wt e→_x + B w cos wt e→_y 角運動量は rmvなので、 (A cos wt e→_x + B sin wt e→_y) × (-A w sin wt e→_x + B w cos wt e→_y) という式を作れたのはいいのですが外積を高校の時に履修していなかったのでこの計算式が ABwm e→_z と簡略的に表せる意味がわかりません。 同じ方向で掛け算をすると外積は0ベクトルになることは知っているのでこの式は (A cos wt e→_x ・Bmw coswt e→_y － B sin wt e→_y・(-A mw sin wt e→_x) となることまではわかりました。 これをどういう定義や計算の法則から ABwm e→_z に持ってくるのでしょうか？ わかりやすいをご説明をお願いします。
- ベストアンサー
- 数学・算数
- 外積の計算がわかりません。
以下はレポートの課題です。煩雑になるためベクトル→は省略していまあす。 以下の方針で空間曲線の曲率中心、曲率半径、曲率を求めよ。小数、帯分数、近似値は用いないこと。 [A]．三次元空間内の２点ａ，bと原点の三点を頂点とする三角形の外心ｐをベクトルａ、ｂと内積・外積×などを用いてp=a×b×(aとbの式)の形で表せ。(ヒント：ベクトルｐがベクトルａ、ｂのい張る平面に含まれることから、ｐ＝αａ＋βｂと表し、点ｐがａ、ｂ、原点の3点から等距離にあることを用いて、α、βを求める） [B][A]の答えを用いて空間曲線ｘ（ｔ）の曲率中心を求めよ。(ヒント： 三点 ｘ（ｔ） ・ δ＾２‥ ｘ（ｔ＋δ）≒ｘ（ｔ）＋ δｘ（ｔ）＋ ―――ｘ（ｔ） ２ ・ ε＾２‥ ｘ（ｔ＋ε）≒ｘ（ｔ）＋ εｘ（ｔ）＋ ―――ｘ（ｔ） ２ これを頂点とする三角形の外心を求め、δ、ε→０とすればよい。) [C][B]を利用して空間曲線ｘ（ｔ）の曲率半径と曲率を求めよ 以上の問題です。[A]は、 |b|^2 a-|a|^2 b p=a×b×―――――――― 2|a×b|^2 が答えであり、[B][C]も (曲率中心)=x(t)+lim[δ→0,ε→0]p (曲率半径)=lim[δ→0,ε→0]|p| (曲率)=lim[δ→0,ε→0]1/|p| というところまではわかっています。しかし、外積の計算がよくわかっていないためか、 lim[δ→0,ε→0]p=0 となります。これでは半径0の円となり、曲率は∞となってしまいます。これでは題意を満たしていないような気がしますし、私の計算方法に何か間違いがあると考えているのですが、それすらもよく分からなくなっています。 外積の計算方法をご教授いただけませんでしょうか。よろしくお願いします。
- ベストアンサー
- 数学・算数
- ベクトル、内積、外積など
ベクトル、内積、外積など はじめまして、私は情報系の分野を専門的に学習している学生です。 情報分野ではそれなりの知識を持っているので、あえて数学的な 質問をさせていただきます。 ・三次元平面上に点ABCがあります。 ・点ABCを含む平面上に点Pがあります。 三角形ABC内に点Pが存在することを確かめるには、 どのようにすればよいでしょうか？ またこれには以下のような制約があります。 ・パソコン上で計算するので、なるべく計算回数 （特に乗算、除算）を抑えたい。 ・パソコン上では三角関数などは級数なので精度、 処理速度、共に両立できない。 なので、なるべく少ない計算量で、四則演算のみを用いた 解法が必要です。 以下は私の考えた手順ですが、 (1)ベクトルBcとBa(もしくはBp)との外積によりベクトルNを得ます。 (2)ベクトルNとBcとの外積によりBcに直行するベクトルBc´を得ます。 (3)ベクトルBc´とBpとの内積が負ならば、点Pは線分B-Cの外に位置します。 これをB-C、C-A、A-Bと行うことで判定します。 これでは外積を２回、内積を１回計算する必要があり、計算量が多いので より簡潔な手法が必要です。 （本当に数学って大切ですね、もっと勉強しておけばよかった(^^;）
- ベストアンサー
- 数学・算数
- 線形代数についての質問です
外積 P1×P2=(y1z2-y2z1)e+(z1x2-z2x1)+(x1y2-x2y1)g となることを利用して a×(b×c)=(a・c)-(a・b)cを示しなさい。の問題がわかりません。 親切に教えていただけると幸いです。よろしくお願いします！
- 締切済み
- 数学・算数
お礼
なるほど あたってみます