n次元ベクトルの外積の定義はどういうものなのでしょうか?
そもそもできるのでしょうか?外積は3次元特有のものでしょうか?

例えば、n次元ベクトルの内積は、例えば
(a1,a2,.....,an)・(b1,b2,.......,bn)
=a1*b1+a2*b2+......+an*bn
と定義できると思っています。

こういう感じでn次元ベクトルの外積は定義できますか?
ご教授ください。

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

A 回答 (16件中11~16件)

なんだかsiegmund先生に呼ばれたような気がした数学屋のoodaikoです。


内積の一般化については chukanshi さんの定義の通りです。
一方「外積」と「ベクトル積」は3次元では同じものになりますが、一般次元では異なったものになります。
詳しいことは後ほど書きますので、まだ閉じないで下さい。
    • good
    • 0
この回答へのお礼

ありがとうございます。oodaikoさんのご登場を密かに期待しておりました。よろしくご指導お願い申し上げます。m(_ _)m
実は、「外積」と「ベクトル積」をちゃんと意識的に区別しないで質問してしまったので、申し訳ないです。そのへんが「わかっていない」証拠なのです。

お礼日時:2002/01/06 08:14

No.4のコメントでchukanshiさんが仰るとおり、starfloraさんの方法とsiegmund先生の方法は結局同じ事です。


例えば4次元の場合、starfloraさんの方法で
3行目を<1 0 0 0>4行目を<1 0 0 0>としたもの
3行目を<0 1 0 0>4行目を<1 0 0 0>としたもの
3行目を<0 0 1 0>4行目を<1 0 0 0>としたもの
3行目を<0 0 0 1>4行目を<1 0 0 0>としたもの
が、siegmund先生の二階テンソルの1行目の行ベクトルの成分を表しています。
同様に
3行目を<1 0 0 0>4行目を<0 1 0 0>としたもの
3行目を<0 1 0 0>4行目を<0 1 0 0>としたもの
3行目を<0 0 1 0>4行目を<0 1 0 0>としたもの
3行目を<0 0 0 1>4行目を<0 1 0 0>としたもの
がテンソルの2行目の行ベクトル、
3行目を<1 0 0 0>4行目を<0 0 1 0>としたもの
3行目を<0 1 0 0>4行目を<0 0 1 0>としたもの
3行目を<0 0 1 0>4行目を<0 0 1 0>としたもの
3行目を<0 0 0 1>4行目を<0 0 1 0>としたもの
がテンソルの3行目の行ベクトル、
3行目を<1 0 0 0>4行目を<0 0 0 1>としたもの
3行目を<0 1 0 0>4行目を<0 0 0 1>としたもの
3行目を<0 0 1 0>4行目を<0 0 0 1>としたもの
3行目を<0 0 0 1>4行目を<0 0 0 1>としたもの
がテンソルの4行目の行ベクトルです。

 同様にn次元の場合にも、(n-2)階テンソルのn^(n-2)個の要素がシステマティックに得られる(検算して確かめてはいません)。
    • good
    • 0
この回答へのお礼

ありがとうございます。starfloraさんが、幾何学的(+ベクトル空間内で演算を閉じさせる)アプローチ、siegmund先生が代数的アプローチをお取りになったということで、結果的には同じことになりそうですね。

お礼日時:2002/01/06 08:19

昔,フェルミオン系の経路積分の勉強をしたときに,


グラスマン代数(=外積代数?)や微分形式をちょこっとかじりました.
途中で挫折した上にもう記憶が定かでありません.

3次元ベクトル間の外積はよく知られているように
ベクトル(すなわち1階のテンソル)で,
A×B=(A[2]B[3]-A[3]B[2],A[3]B[1]-A[1]B[3],A[1]B[2]-A[2]B[1])
です.
A[1] はベクトル A の第1成分.
これは基本反対称テンソルεを使って
(A×B)[i]=Σε[i,p,q] A[p] B[q]
と書けます.Σはよくやるように,p,q についての和.

この方式で拡張するのだったと思います.
2次元なら,結果は0階のテンソル,すなわちスカラーで
(A×B) = A[1]B[2] - A[2]B[1]

4次元だと,結果は2階のテンソルで
(A×B)[i,j]=Σε[i,j,p,q] A[p] B[q]
で,成分表示すれば
A×B=
  ┌                               ┐
  │ 0,A[4]B[3]-A[3]B[4],A[2]B[4]-A[4]B[2],A[3]B[2]-A[2]B[3] │
  │ A[3]B[4]-A[4]B[3],0,A[4]B[1]-A[1]B[4],A[1]B[3]-A[3]B[1] │
  │ A[4]B[2]-A[2]B[4],A[1]B[4]-A[4]B[2],0,A[2]B[1]-A[1]B[2] │
  │ A[2]B[3]-A[3]B[2],A[3]B[1]-A[1]B[3],A[1]B[2]-A[2]B[1],0 │
  └                               ┘
のようですね(計算大丈夫かな,テンソル演算はよく間違うので).

以下同様で,n次元ベクトル同士の外積は n-2 階のテンソルです.

上の話でOKなら,3次元だけが特別です.
すなわち,3次元の時だけ外積演算結果がまたそのベクトル空間の要素になっています.
adept さんの引用された記述はそういう意味でしょうか.

余り自信がありません,数学のプロの方,よろしくお願いします.
    • good
    • 0
この回答へのお礼

ありがとうございます。そういえば、フェルミオンの経路積分でグラスマン代数なんていうのが、ありましたね。微分形式も、そのからみでありましたし。微分形式自体は、一般相対性理論を勉強したときに勉強した記憶があります。そういえば、
外積みたいなのを、基本反対称テンソル、なんかレビ=チビタテンソルとかいうの(ε)を使って定義していました。アインシュタインの略記とかいってサンメーション略していましたっけ。(なんか思い出話になって申し訳ない。)
そうですね、このこの式を高次元に拡張すればよいわけですね。なるほど、代数的には非常に自然な感じがします。こう考えると、なるほど3次元だけが、おなじベクトル空間内で演算が閉じていることがわかりますね。このテンソルの「行」かなにかを取り出してくると、starfloraさんのベクトルになるような気がしますが。
siegmundさんの回答もよく拝見しますが、いろいろご存知で凄いですね。

お礼日時:2002/01/06 00:58

Theory and Problems of Linear Algebra (3rd) (McGrowHill)



という教科書によれば、

There is a special operation for vectors u and v in R^3 that is not defined in R^n for n!=3.

ということで、3次元以外での一般的な定義はないそうです。
    • good
    • 0
この回答へのお礼

ありがとうございます。「a special operation」の具体的な演算式が、そのご本でどう書かれているのか、わかるとありがたいのですが。
確かに、3次元は「特殊」という気はしますが。

お礼日時:2002/01/06 00:44

 


  はたしてこれが、n次元空間の「外積」の定義になるのかどうか分かりませんが、三次元での外積を延長して考えてみることはできます。
 
  直感的なイメージでは、n次元空間のなかの独立したn-1個のヴェクトルが構成する「超菱形超立体」の超体積をスカラー量として、その大きさとし、n-1個のヴェクトルの張る空間に独立な、つまり直交するヴェクトルで、先のスカラー量の長さを持つヴェクトル・プロダクトが、n次元の外積になるのではないでしょうか。この場合、三次元のような意味の右手系とか左手系はありませんが、しかし、n-1次のヴェクトルについて、外積計算プロダクトの手順で、順序付けが行えるはずで、ここから、鏡像反転によって二つの値を取るヴェクトルの二つの方向が出てきます(つまり、n次元でも、右手系と左手系が定義できるのです)。どちらかを指定できるということです。
 
  行列式で表現すると、わたしの記憶間違いでなければ、三次元での外積は、少し変則的な表現ですが、三次の正方行列を考え、その第一行に、ヴェクトルAの成分を入れ、第二行に、ヴェクトルBの成分を入れ、第三行には、独立単位ヴェクトルi,j,kを入れて、これで行列式を計算すると、i,j成分はゼロ、そしてk成分が外積のスカラー量、つまりヴェクトルの大きさとなり、kが、そのヴェクトルの方向です。AとBは、i,jが張る空間に載る訳で、従って、A,B共に、kに当たる第三列成分はゼロのはずです。式で書くと、A(a1,a2,0),B(b1,b2,0)で、kヴェクトルの大きさは、(a1b2-a2b1)となります。ここで、A,Bという風にヴェクトルを第何列にいれるかで、一意的に、kの正負が決まってきます。i→j→kという風に右手系が定義されます。
 
  n次元の場合、n次の正方行列を考え、この行列式を考えるのです。第一行にヴェクトルA1、第二行にA2……と入れて行きます。単位ヴェクトルu(i)は、i=nの時、すべての成分が、この第n列でゼロになるように定義します。
 
  こうすると、まさに、ヴェクトルA(i)の順序で、右手系か左手系が、n次元で定義されます。また、u(n)の上の要素つまり、第n列要素が、すべてのヴェクトルでゼロであることが、まさに、それらのヴェクトルの張る空間と、単位ヴェクトルu(n)が独立であることを意味するので、この行列式は、u(n)以外の単位ヴェクトルの成分が結果的にすべてゼロになり(なぜなら、n列要素がすべてゼロなので、行列式の定義から云って、u(n)以外の単位ヴェクトルの成分はゼロになるのです。また、方向付けも、A(i)というヴェクトルの並べ方で、一意的に決まってきます。
 
  これで、n次元のヴェクトルの「外積」の定義になると思うのですが、この用語は、もっと別の数学的概念を表現するのに使われているかも知れません。
 
    • good
    • 0
この回答へのお礼

ありがとうございます。starfloraさんは、いろいろなことをご存知で凄いですね。ポイント成績いつもトップクラスですし。
starfloraさんの幾何学的なイメージは、わかりやすく、とっても気にいりました。たぶん、同じベクトル空間内で演算を閉じようとするとこうなるのでしょうね。「外積」ってやはりこういうイメージですよね。数学的には、starfloraさんのおっしゃっていることは、「純r-ベクトル」というものの特殊な場合になるようです。が、外積のイメージに近いですよね。

お礼日時:2002/01/06 00:40

参考URLの先頭に書かれている


「ここでは外積の応用を3次元空間に限ります.他の空間には外積のやさしい一般化がないのです. 」
を信用すると、
「3次元ベクトル空間以外でも定義できることはできる、が、非常にややこしい」
ようです。

参考URL:http://next1.cc.it-hiroshima.ac.jp/MULTIMEDIA/se …
    • good
    • 0
この回答へのお礼

ありがとうございます。確かに3次元での外積をそのまま拡張はできずに、複雑になることは、覚悟しています。

お礼日時:2002/01/06 00:32

このQ&Aに関連する人気のQ&A

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

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

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

Q五角形の最大面積

すべての辺が長さ1の凸五角形で、ある2本の対角線が垂直になるとき、
この五角形の最大面積はいくらか。

面積が最大になるときの五角形は、正方形に正三角形をつけた形になると
おもうので、(√3+4)/4になりましたが、正しいでしょうか。

Aベストアンサー

ご質問の通り、(√3+4)/4で正しいです。

二本の対角線を形作る四点を五角形から選ぶことになりますが
その四点を結ぶと、対角線が垂直で交わることから一辺の長さが
1のひし形になります。となるとこの五角形はひし形に正三角形を
つけた形になります。(すべての辺の長さが1なので)

ひし形の面積が最大になるのはひし形が正方形の場合なので
この五角形の最大面積は
正方形の面積=1
正三角形の面積=√3/4
の和です。

Q線形代数のベクトルの問題について質問です 問題 ベクトルa=(2,3,-1),b=(3,1,2),c

線形代数のベクトルの問題について質問です


問題
ベクトルa=(2,3,-1),b=(3,1,2),c=(5,4,3)について、次を求めよ。

(1)aと並行な単位ベクトル

解答
1/√14 (2,3,-1)
なぜ上記の答えになるのでしょうか?

(2)cとx軸のなす角θを求めよ。

解答
π/4
なぜπ/4になるのでしょうか?

(1),(2)の解き方と途中式を教えて頂きたいです
よろしくお願いします

Aベストアンサー

「並行」じゃなくて「平行」な.

で, (1) に対して「なぜ上記の答えになるのでしょうか?」やら「解き方と途中式を教えて頂きたいです」やら書くようだと, そもそも使われている言葉の意味が分かってないんじゃないかと思ってしまう. あるベクトルと平行なベクトルがどのように書けるかわかりますか? 単位ベクトルとは何か理解できていますか?

Q五角形の相似

正五角形の五本の対角線が作る内部の五角形はもとの五角形と相似であることは
証明なしで解答に用いてもよろしいのでしょうか?

Aベストアンサー

正五角形と正五角形が相似であることは、
自明ですが、
内側の五角形が正五角形であることには、
理由が必要です。
「対称性より」程度の説明で
構わないと思いますが。

Qan=Σ[k=1->n](1/√k),bn=Σ[k=1->n](1/√

an=Σ[k=1->n](1/√k),bn=Σ[k=1->n](1/√(2k+1))のとき、
lim[n->∞](bn/an)を求めよ。


次のように考えましたが、行き詰まりました。
  1/√2Σ[k=1->n](1/n)*[1/√{(k+1)/n}]÷ Σ[k=1->n](1/n)*{1/√(k/n)} <(bn/an)<1/√2
左辺の式で、区分求積法から、lim[n->∞]としたとき、分母は2となったのですか。
分子に区分求積法が使える形でないと判断し、行き詰まりました。
1つはこの流れの解法でいいのか。もし、よかったら、このあとの処理はどうなるのか。
よろしくお願いします。

Aベストアンサー

定積分を利用する方法があります。

anを、定積分∫[1,n+1]dx/√x, ∫[0,n]dx/√x で、
bnを、定積分∫[1,n+1]dx/(2x+1), ∫[0,n]dx/(2x+1) で押さえ、

A≦an≦B
C≦bn≦D

とし、A/D≦an/bn≦B/C
これで、n→∞ とすればいい。

Q星(太陽以外の恒星)はどうして五角形(星型)なのか?

子供の絵や漫画、アニメ等で星を描くと五角形ですよね
恒星(普通の星)だけでなく流星まで星型ですよね
実際は円形なのに(流星は棒状)
なぜ星は五角形の星型なのですか?
天文学にルーツがあるのですか?
(大昔の天文学者が五角形に感じたとか)

Aベストアンサー

太陽と月は勿論のこと、惑星の金星や火星、木星も土星も、肉眼で大きさを感じることができます。
それに対して、遠くにある恒星は、太陽より大きな星もありますが、遠過ぎて人間の肉眼では大きさを感じられず「点」になります。その光は、地球の大気の影響を受けて、星が瞬いて見えたりします。
ですので、No.1の方のおっしゃる通り、明るく光る恒星は、星の光が中心から放射状に広がって感じられ、それを星印に例えたのだと思います。
五角形になったのは、一筆書きで書けるというのも理由の一つではないでしょうか?

Q証明問題, B(R^n)=σ(J_n)を示せ(B(R^n)はn次元ボレル集合体)

今日はよろしくお願い致します。

B(R^n)をn次元ボレル集合体,σ(J_n)をn次元区間J_nから生成されるσ集合体とする。

[問] B(R^n)=σ(J_n)となる事を示せ。
[証]
R^nの位相はn次元開区間の任意個の和集合T:={∪[λ∈Λ]I_λ∈2^X;I_λはn次元開区間(Λは非可算集合)}と採れるから
B(R^n)=σ(T)(∵ボレル集合体の定義)
=∩[B∈{B;T⊂B,BはR^n上のσ集合体)}]B(∵生成されるσ集合体の定義より)
=R^n
(∵Tを覆えるのはR^nしかないので
(∵もし,仮にR^nの真部分集合でTを覆えたものがあったとすると
少なくとも(-∞,+∞)×(-∞,+∞)×…×(a,+∞)×…×(-∞,+∞)(a∈R,n個の直積集合)
というような有界な区間がある。この時,
(-∞,+∞)×(-∞,+∞)×…×(a-1,+∞)×…×(-∞,+∞)∈Tなのに
(-∞,+∞)×(-∞,+∞)×…×(a,+∞)×…×(-∞,+∞)はTを覆えてない))

同様に
σ(J_n)=∩[B∈{B;J_n⊂B,BはR^n上のσ集合体)}]B(∵生成されるσ集合体の定義より)
=R^n(∵上記と同じ理由)

従って
B(R^n)=σ(J_n)となったのですがどこかおかしいでしょうか?

今日はよろしくお願い致します。

B(R^n)をn次元ボレル集合体,σ(J_n)をn次元区間J_nから生成されるσ集合体とする。

[問] B(R^n)=σ(J_n)となる事を示せ。
[証]
R^nの位相はn次元開区間の任意個の和集合T:={∪[λ∈Λ]I_λ∈2^X;I_λはn次元開区間(Λは非可算集合)}と採れるから
B(R^n)=σ(T)(∵ボレル集合体の定義)
=∩[B∈{B;T⊂B,BはR^n上のσ集合体)}]B(∵生成されるσ集合体の定義より)
=R^n
(∵Tを覆えるのはR^nしかないので
(∵もし,仮にR^nの真部分集合でTを覆えたものがあったとすると
少なくとも(-∞,+∞)×(-∞,...続きを読む

Aベストアンサー

B(R^n) や σ(J_n) は、R^n の部分集合族ですから、
=R^n とはなりません。

Qサッカーボール問題、五角形と六角形の数

サッカーボールは次の条件で作られる。
(1)正五角形と正六角形の多面体を球状にしたものである。
(2)各々の五角形の周りは六角形に囲まれており、六角形の周りは五角形と六角形に交互に囲まれている。
(3)オイラーの多面体の定理によれば、面、頂点、辺の数の関係に「面の数 + 頂点の数 = 辺の数 + 2」の関係がある。

これから、五角形と六角形の数を求めるにはどうすればよいのでしょうか。

Aベストアンサー

五角形の数をm、六角形の数をnとするとばらばらにした時の

辺の数  5m+6n
面の数  m+n
頂点の数 5m+6n

このうち、辺は2つが合わさって立体ができており、
頂点は3つが合わさってます。
(90度以上の角度の図形は4つ以上はあわせることができません。また、2個以下なら
頂点になりません)
これを多面体の定理に入れればmが求まります。
また、五角形が六角形に囲まれているならそのすべての辺は六角形と共有です。
そしてそれは六角形の全ての辺の半分に当たります。((2)の記述から)

Qにゃんこ先生の自作問題、Σ[a≠b,b≠c,c≠a, a,b,c∈{1,2,3,…,n}]abc

にゃんこ先生といいます。

a,b,c∈{1,2,3,…,n}
とします。

Σ[a≠b]ab
={Σ[k=1~n]k}^2 - Σ[k=1~n]k^2
={n(n+1)/2}^2 - n(n+1)(2n+1)/6
=n(n+1)(3n^2-n-2)/12

Σ[a<b]ab
=(1/2)Σ[a≠b]ab
=n(n+1)(3n^2-n-2)/24

Σ[a≦b]ab
=Σ[a<b]ab + Σ[a=b]ab
=n(n+1)(3n^2-n-2)/24 + n(n+1)(2n+1)/6
=n(n+1)(3n^2+7n+2)/24

ですが、
Σ[a≠b,b≠c,c≠a]abc

Σ[a<b<c]abc

Σ[a≦b≦c]abc
また、それらをm変数に拡張したものはどういった公式ににゃるのでしょうか?
にゃにかうまい考えがある気がするのですが、思いつきません。

Aベストアンサー

>それらをm変数に拡張したものはどういった公式ににゃるのでしょうか?

m変数に拡張したものは、次のようになりました。

f(n,m)=Σ[a[1]≦a[2]≦…≦a[m]](a[1]*a[2]*…*a[m]) とすると、
f(n,m)=S(n+m,n).
(S(n,k)は第二種スターリング数)
http://mathworld.wolfram.com/StirlingNumberoftheSecondKind.html

計算例:
f(n,10)
=(99*n^9+1485*n^8+6930*n^7+8778*n^6-8085*n^5-8195*n^4+11792*n^3
-2068*n^2-2288*n+768)*(n+10)!/(367873228800*(n-1)!)


g(n,m)=Σ[a[1]<a[2]<…<a[m]](a[1]*a[2]*…*a[m]) とすると、
g(n,m)
=(-1)^m*s(n+1,n-m+1)
=(-1)^m*Σ[j=0,m]Σ[i=0,j](-1)^i/(j!)*i^(j+m)*comb(j,i)*comb(j+n,j+m)*comb(n+1+m,m-j).
(s(n,k)は第一種スターリング数)
http://oshiete1.goo.ne.jp/qa3563977.html
http://mathworld.wolfram.com/StirlingNumberoftheFirstKind.html

計算例:
g(n,10)
=(99*n^9-594*n^8-1386*n^7+6468*n^6+14091*n^5-12826*n^4-44132*n^3
-18392*n^2+14432*n+7680)*(n+1)!/(367873228800*(n-10)!).


h(n,m)=Σ[1≦i<j≦m をみたす全てのi,jに対してa[i]≠a[j]](a[1]*a[2]*…*a[m])
とすると、
h(n,m)=(m!)*g(n,m).

>それらをm変数に拡張したものはどういった公式ににゃるのでしょうか?

m変数に拡張したものは、次のようになりました。

f(n,m)=Σ[a[1]≦a[2]≦…≦a[m]](a[1]*a[2]*…*a[m]) とすると、
f(n,m)=S(n+m,n).
(S(n,k)は第二種スターリング数)
http://mathworld.wolfram.com/StirlingNumberoftheSecondKind.html

計算例:
f(n,10)
=(99*n^9+1485*n^8+6930*n^7+8778*n^6-8085*n^5-8195*n^4+11792*n^3
-2068*n^2-2288*n+768)*(n+10)!/(367873228800*(n-1)!)


g(n,m)=Σ[a[1]<a[2]<…<a[m]](a[1]*a[2]*…*a[m...続きを読む

Q「五角形のもの」何がある?・・・ありそうなのに意外と見つからないので、教えて下さい!

三角形も四角形も、いやというほど身近に満ち溢れているのに、五角形となると意外に見つかりません。

「野球のホームベース」は、すぐに思いついたんですが・・・

皆さん、五角形のものをご存知でしたら、教えて下さい!

Aベストアンサー

こんにちは

先に回答がありますが、花とかヒトデとか、生き物には結構ありますね

その他だと…
「使いかけの消しゴム」って五角形になりがちですよね
「イラストに描かれる家」の形も五角形ではないでしょうか?
「昔、医者でくれてた粉薬の包み」今では見かけませんねぇ、昔は五角形に折った紙に包んでありました。
「から揚げクン用の紙パック」コンビニ(ローソンだっけ?)のメニューです
「牛乳パック」ある角度から見れば五角形です

ぱっと思いつくのはこの程度です

Qaベクトル=(1,2,1) bベクトル=(2,3,1) cベクトル=(3,5,2) について k・a

aベクトル=(1,2,1)
bベクトル=(2,3,1)
cベクトル=(3,5,2)
について
k・aベクトル+l・bベクトル+m・cベクトル=0ベクトル
になるのが
k+m=0
l+m=0
であり、この解がk=m,l=m,m=m (mは任意の実数)
となって
-m・aベクトル-m・bベクトル+m・cベクトル=0ベクトル
より、cベクトル=aベクトル+bベクトル
と参考書ではしていたのですが、なぜ
「k・aベクトル+l・bベクトル+m・cベクトル=0ベクトル」を考察することにより「cベクトル=aベクトル+bベクトル」という関係を見出すことができたのですか?

Aベストアンサー

> k・aベクトル+l・bベクトル+m・cベクトル=0ベクトル

この式の意味が解っているのですか?
0ベクトルってどういう状態?
例えば、原点からベクトルaでk倍動き、そこからベクトルbでl倍動き、そこからベクトルcで倍動いた、って事ですよね。
適当に図示して下さい。
それが0ベクトルになる。
どういう軌跡を描くでしょう?

この問題は、aベクトル+bベクトルを計算すると、=cベクトルになっちゃうところがミソというかオチです。
そんな難しいことを考察しなくても、丁度あなたがここに書いたベクトルの成分を、aとbで足してやればcになっている。
あなたのように縦に並べちゃうと問題にならない。きっと問題では横に並べていたでしょう。(笑)
つまり、たったこれだけの操作で見えてくることってあるんです。


人気Q&Aランキング

おすすめ情報