ベクトルを[b]定義[/b]すれば、ベクトルの[b]説明[/b]にはなるけど、イメージ理解につながらなかったりする。[br][br]身近な例からイメージを作ってみよう。[br][br]日常では、株価の動きとか、為替レートの動きが話題になる。[br]個人的には、体重の変化とか体脂肪率の変化とかが気になる人もいるかもしれません。[br]そいういうデータは数字が並んだもの、数のデータになりますね。[br][br]これらの数のデータは、[color=#0000ff][b][u]１つの項目について[/u][/b][/color]、時間とともに、[br]あるいは測定した日付などとともに記録される。[br]たとえば、毎日朝起きて体重を測り記録すると、[br]体重の[b][color=#0000ff]数データができるね[/color][/b]。[br][br]数列はプログラミングのデータでは、[b]リスト[/b]と言われているね。[br][br]３月１日から３月３日までの３日間の体重のリストは例えば、[br][b]T＝{66,65,66}[/b][br]ここには、日付はデータ化されてないけれど、順番には意味がある。[br]T(0)といえば66、T(1)といえば65というように。。。。[br]複数のデータを並べた数の[b]組はタプル。[br][/b][b]ｘ，ｙ，ｚ座標が1,2,3である点は(1,2,3)[/b]と書いたりするね。[br]このように、点の座標もタプルだ。[br]なお、似ているけどちがうものに[b]セット（集合)[/b]というのがある。[br]重複したものを取り除いたリストだ。ユニークリストだね。[br][b](65,66)[/b][br]こうなると、もう順番はどうでもよくなってくる。[br][br]このように、プログラミング言語はデータを扱うものなので、[br]データ構造にはいろいろあるようだ。[br][br]さて、このように、[b]項目の１データは、[/b]測定した数値は整数や小数で表せることがある。[br]つまり、実数だね。（数を[b][color=#0000ff][size=150]スカラー[/size][/color][/b]ということがあるよ。）[br][b][size=150]複数の項目の数（スカラー）を並べて、リストやタプルを作ろう。[br][color=#0000ff]それがベクトルなんだ。[br][/color][/size][/b][br]たとえば、宅急便に出す荷物の箱の寸法があるね。[br]たて、よこ、高さの測定とその合計、４つの値を並べてみよう。[br][b]箱A：[ 20, 30, 40, 90][br]箱B：[ 25, 30, 35, 90][br][/b]このように、４つの項目からなる[b]１行のリスト（タプル）を[/b]特に、1行4列だから、[color=#0000ff][b][size=150]行ベクトル[/size][/b][/color]という。[br]同じ内容を[br]１列４行に縦書きすることもできる。[br]すると１列４行の[b][color=#0000ff]列ベクトル[/color][/b]になる。[br][br][b][math]\left(\begin{matrix}20\\30\\40\\90\end{matrix}\right)\left(\begin{matrix}25\\30\\35\\90\end{matrix}\right)[/math][/b][br]では、[color=#0000ff][b]４行か４列だから４次元ベクトルか？[/b][/color][br]というとそうでもない。[br]くわしくは、次に考えるけど、[br]カンタンにいうと、[color=#0000ff][b]４番め項目がたて＋よこ＋高さだから、前の３つの項目で計算可能[/b][/color]だから。[br]ベクトルに記録しなくても、そのつど計算できるものだね。[br]しかし、たてとよこから高さを計算するわけにいかないから、高さは独立だ。[br]同じように、たて、よこ、高さは互いに独立なので、３つの項目が独立しているデータのベクトルだ。[br]だから、３次元ベクトルと言えそうだね。

[size=150][b]さあ、[br]さっきまでのベクトルのイメージを[br][/b][b]今度は、文脈に依存しないで使えるようにするために、[/b][b][br]できるだけ、[/b][/size][b][color=#0000ff]一般化、明確化[/color][/b][size=150][b]していこう。[br][br][/b]そうは言っても、抽象的になりすぎそうなときは、[br]幾何ベクトルの例を使ってイメージが失わない程度の抽象化にしておこう。[br][b][br]＜ベクトルの単位化＞[/b][/size][br][color=#0000ff][b]ベクトル[Vector][/b][/color]の表示は太小文字１文字か、始点終点の順の太大文字２文字としよう。[br]（できるだけ斜体にしますが、イタリック体もあればボールド体、２重線文字も見かけます）[br]　aは辺の長さ、[b][i]a[/i][/b]はベクトル、ABは辺、[b][i]AB[/i][/b]はベクトル。[br][br][color=#0000ff]・高校のベクトルと大学のベクトルの違い[br][/color]　高校数学では、点と点を結ぶ→（矢線）として、ベクトルの差やベクトルをつなぐことが[br]　わりと大切だった。辺ABなら[b]大きさ[/b]があるが、[b]向き[/b]もあるのがベクトルだ。[br]　という説明が中心だった。[b]幾何ベクトル[/b]のことだった。[br]　高校数学のベクトルは図形の方程式を座標なしにまとめて表示する道具でもあったね。[br]　できるだけ幾何ベクトルや点の座標だけに頼らず、[br]　[b]数ベクトルやベクトル文字式の表記にも慣れよう。[/b][br][br]・さて、[u][size=150]ベクトルの大きさ、[color=#0000ff][b]ノルム[norm][/b][/color]は||[b][i]a[/i][/b]||[/size][/u]のように、２重絶対値記号とする。[br]・単位ベクトルは、ベクトルにベクトルの大きさで割ったもの（大きさの逆数をかけたもの）だね。[br][color=#0000ff]（例）[/color][b][i]e[/i][/b]=[b][i]a /[/i]||[b][i]a[/i][/b]||[br][br][/b]・互いに平行でもなく[b][i]０[/i][/b]でもないベクトルは[br][color=#0000ff][b] １次独立[primary (linearly) independence][/b][/color]という。[br]・１次独立な[b]ベクトルの[color=#0000ff]スカラー[scalar]（実数）[/color]倍の和[/b]を[b][color=#0000ff]１次結合[linear combination][/color][/b]という。[br]　[b][i]p[/i][/b]=[i]s[b]a [/b][/i]+ [i]t[/i][b][i]b [/i][/b]+ [i]u[/i][b][i]c [br][/i][/b] ベクトルｐは３つの１次独立なベクトルの[b]１次結合[/b]で表される。[br]　３次元空間は[b][i]a,b,c[/i][/b]で張られた空間である。[br][color=#0000ff][b]（一般化）[/b][/color][br]だから、１次独立なベクトルがｎ個あれば張ることのできる空間を[b]ｎ次元空間[/b][br]と言えるね。[br]そのときのベクトルは[b]ｎ個の数、成分[/b]を並べて表示できる。[br]空間といっても、現実の物理的な空間に限る必要はないですよ。[br]たし・ひき算と、2倍、3倍のような定数倍できること。[br]それが成分ごとに独立して実行できる量であれば、それをベクトルとして扱えます。[br][br][b][size=150]＜ベクトルの内積＞[br][/size][/b]・[b]幾何ベクトル[/b]としての内積の定義[br][b][size=150]　[color=#0000ff]内積[inner product, dot product][/color]は、[br] １つのベクトルに他のベクトルを[color=#0000ff][u]正射影して向きを込めた長さの積[/u][/color][br][/size][/b]　[b]ドット積[/b]ともいい、２つのベクトルの間にドットをおく。[br][size=200][color=#0000ff] [b][size=150]ベクトルの内積は、スカラー（実数）になる[/size][/b]。[br][/color][/size][br]・[color=#0000ff][b]２ベクトルが垂直だと射影した長さが０になるから、内積も０[/b][/color]。[br][b]　　a[b][i]・[/i][/b]b[/b]=0　とかく。[br]・[color=#0000ff]２ベクトルが平行だと、ただの長さの積になるが、同方向なら正、反対方向なら負。[br][/color][b][i]　a・b[/i][/b][b]=[/b] ±[b]||[i]a[/i][/b][b]|| ||[i]b[/i][/b][b]|| [/b]とかく。・２ベクトルが射影したあと逆向きなら負、同じ向きなら正。[br]　このような[b][u]正負や０という特徴はcosθの特徴からくる[/u][/b]ね。[br] [b][i]a・b[/i][/b]= ||[b][i]a[/i][/b]|| ||[b][i]b[/i][/b]|| [i]cosθ[br][br][/i]・[b]数ベクトル[/b]としての内積の定義[br]　成分表示すると、a=[[i]x[sub]1[/sub], y[sub]1[/sub], z[sub]1[/sub][/i]], b=[[i]x[sub]2[/sub], y[sub]2[/sub], z[sub]2[/sub][/i]]とすると、[br][color=#0000ff][size=150][b]　a・b[/b]= [i]x[sub]1[/sub]x[sub]2[/sub] [/i]+ [i]y[sub]1[/sub]y[sub]2[/sub][/i] + [i]z[sub]1[/sub]z[sub]2[/sub][br][/i][/size][/color] ||[b]a||[/b]= [i]x[sub]1[/sub][sup]2[/sup] [/i]+ [i]y[sub]1[/sub][sup]2[/sup][/i] + [i]z[sub]1[/sub][sup]2[br][/sup][/i] ||[b]b||[/b]= [i]x[sub]2[/sub][sup]2[/sup] [/i]+ [i]y[sub]2[/sub][sup]2[/sup][/i] + [i]z[sub]2[/sub][sup]2[/sup][br][/i] [b]a≠0,b≠0 [/b]のとき、[br][i] cosθ = [/i][b][i]a・b/[/i][/b][i] ||[/i][b][i]a[/i][/b][i]|| ||[/i][b][i]b[/i][/b][i]|| =(x[sub]1[/sub]x[sub]2[/sub] [/i][i]+ y[sub]1[/sub]y[sub]2[/sub][/i][i] + z[sub]1[/sub]z[sub]2[/sub][/i][i])/√(x[sub]1[/sub][sup]2[/sup] [/i][i]+ y[sub]1[/sub][sup]2[/sup][/i][i] + z[sub]1[/sub][sup]2[/sup][/i][i])√(x[sub]2[/sub][sup]2[/sup] [/i][i]+ y[sub]2[/sub][sup]2[/sup][/i][i] + z[sub]2[/sub][sup]2[/sup][/i][i])[br]　[/i][b]a[/b]と[b]b[/b]が垂直なとき、[br][size=150][b]　a・b[/b][color=#0000ff]= [/color][i]x[sub]1[/sub]x[sub]2[/sub] [/i][color=#0000ff]+ [/color][i]y[sub]1[/sub]y[sub]2[/sub][/i][color=#0000ff] + [/color][i]z[sub]1[/sub]z[sub]2[/sub]=0[br][br][/i][b]＜内積の性質と利用＞[br]・[/b][size=100]内積の[/size][color=#0000ff]性質[property][br][/color]　対称性 [b]a[b]・[/b]b　[/b]=　[b]b[b]・[/b]a[/b][br]　線形性（分配） ([b]a+b[/b])[b]・[/b][b]c　[/b]=　[b]a[b]・[/b]c+b[b]・[/b]c[/b][br]　線形性（定数倍） (k[b]a)[b]・[/b]b　[/b]=　k([b]a[b]・[/b]b[/b])=[b]a[b]・[/b][/b](k[b]b[/b])[br]　正定値性 [b]a[b]・[/b]a[/b]≧0[br] =は、[b]a=0[/b]に限る。[br]・[size=100][b][color=#0000ff]ノルム[/color][/b]の性質[/size][br]　|| k[b]a [/b]||= |k| || [b]a [/b]||[br] | [b]a・b [/b]|≦ || [b]a [/b]|| || [b]b [/b]|| (コーシー・シュワルツの不等式）[br] || [b]a + b[/b] ||≦ || [b]a[/b] ||+ || [b]b[/b] ||　（三角不等式）[br][/size]・ベクトル[b][i]ｂ[/i][/b]のベクトル[color=#0000ff][b][i]a[/i][/b]への[b]正射影[orthographic projection]ベクトル[/b][/color][br]　定数（[b][i]ｂ[/i][/b]の影のサイズは||[b][i]b[/i]||[/b][i]cosθ[/i]）倍するのは、単位化したベクトル[i][b]a[/b][/i]は[i][b]a[/b]/[/i]||[b]a[/b]||だから、[br]　||[b][i]b[/i]||[/b][i]cosθ [/i][i][b]a[/b]/[/i]||[b]a[/b]||[i]=[/i]||[b]a[/b]||||[b][i]b[/i]||[/b][i]cosθ [/i][i][b]a[/b]/[/i]||[b]a[/b]||[sup]2[/sup]= ([b]a・b /||a[/b][b]||[/b][sup]2 [/sup][i]) [/i][b]a[/b]＝[b]ｃ[/b]としよう。[br]・ベクトル[color=#0000ff][b]a[/b]への[b]垂線[Perpendicular line]ベクトル[/b][/color][br]　ベクトル[b][i]ｂ[/i][/b]の終点に逆[b][i]ｃ[/i][/b]の始点をつなごう。[br] [i][b]ｂーｃ[br][/b][/i][i]　＝[b]ｂー([/b][i][b]a・b /||a[/b][b]||[/b][sup]2 [/sup]) [i][b]a[br][/b][/i][/i][/i][color=#0000ff]（例）「[b][i]a[/i][/b]=[3,1,2],[b][i]b[/i][/b]=[-1,2,4]のとき、bのaへの正射影ベクトルcと、aに垂直なベクトルb-c」は？[br] [/color] [b][i]a・b[/i][/b]=-3+2+8=7。[b][i]a・a[/i][/b]=9+1+4=14　[b]a・b /||a[/b][b]||[/b][sup]2 [/sup][i]＝7/14=1/2[br][/i] 正射影ベクトル　[b][i]c[/i][/b]= 1/2 [b][i]a[/i][/b]=[ 1.5, 0.5, 1] [br] 垂線ベクトル　[b][i]b-c[/i][/b]=[-1,2,4]-[1.5,0.5,1]=[-2.5, 1.5, 3][br][color=#0000ff]（例）[b][size=150]内積から余弦定理[/size][/b]を導こう。[br][/color]　三角形OABで[br]　AB[sup]2[/sup]=(b-a)・(b-a)=a・a+b・b-2(a・b)[br] =OA[sup]2[/sup]+OB[sup]2[/sup]-2OA・OBcos角AOB[br]

[b][size=150]＜ベクトルの外積＞[/size][/b][br]　２つのベクトルの間に✕をおく。　[b]a[/b]✕[b]b[/b]= [b][i]c[br]　✕だから、クロスと呼ぶ。 [br][/i][/b][color=#0000ff][b][size=150][size=200]ベクトルa,bの外積[cross product]は、[br]ベクトルcになる。[br][/size][/size][/b][/color][i][color=#0000ff][b][size=150]　cの向きは、a,bの両方に垂直で、[u]aからbに向かう右ネジ[/u]の方向にある。[br][/size][/b][/color][/i][i][color=#0000ff][b][size=150] cの大きさは、[u]a,bが張る平行四辺形[parallelogram]の面積S[/u]である。[br][/size][/b][/color][/i]||[b]a[/b]✕[b][i]b[/i]||[i]=[/i][/b][i]S=||[b][i]a[/i][/b]|| ||[b][i]b[/i][/b]||sinθ=[i][i]||[b][i]a[/i][/b]|| ||[b][i]b[/i][/b]||√(１−cos[sup]2[/sup]θ)=[i]√[i](||[b][i]a[/i][/b]||[sup]2[/sup] ||[b][i]b[/i][/b]||[sup]2[/sup]−[i]||[b][i]a[/i][/b]||[sup]2[/sup] ||[b][i]b[/i][/b]||[sup]2[/sup][/i]cos[sup]2[/sup]θ)[br][/i][/i][/i][/i][/i][i] =[/i][i][i][i][i][i][math]\sqrt{||a||^2||b||^2-\left(a\cdot b\right)^2}[/math] [i][br]外積の絶対値は内積で計算できるね。[br][/i][/i][/i][/i][/i][/i][i]成分表示すると、a=[x[sub]1[/sub], y[sub]1[/sub], z[sub]1[/sub][/i][i]], b=[x[sub]2[/sub], y[sub]2[/sub], z[sub]2[/sub][/i][i]]とすると、[br]　[/i][b]a[/b][i]✕[/i][b]b[/b][i]=[/i][ y[i][sub]1[/sub]z[sub]2[/sub] [/i][i]- z[sub]1[/sub]y[sub]2[/sub][/i][i] , z[/i][i][sub]1[/sub]x[sub]2[/sub] [/i][i]- x[/i][i][sub]1[/sub]z[sub]2[/sub][/i][i] , x[/i][i][i][sub]1[/sub]y[sub]2[/sub] [/i]- y[i][sub]1[/sub]x[sub]2[/sub][/i] [/i]] サイクリックなたすき掛け[br][i] a = [/i][[i]x[/i][sub]1[/sub][i], y[/i][sub]1[/sub][i], z[/i][sub]1 [/sub][i],x[/i][sub]1[/sub]][i] [br] b = [/i][[i]x[/i][sub]2[/sub][i], y[/i][sub]2[/sub][i], z[/i][sub]2 [/sub][i],x[/i][sub]2[/sub]][br]このように２段にして書き、サイクリックにできるようにｚ座標のあとにｘ座標をかいておく。[br]ｘ成分を隠した次のｙz列の４要素のたすき掛けがｘ座標、[br]ｙ成分を隠した次のｚｘ列の４要素のたすき掛けがｙ座標、[br]ｚ成分を隠した前のｘｙ列の４要素のたすき掛けがｚ座標。[br]・外積は２つのベクトルに垂直な法線ベクトルを求める手段として使える。[br]　２直線の方程式から２つの方向ベクトルがわかる。この２つのベクトルの外積を[br] [color=#0000ff]法線[normal][/color]ベクトルとする。[br]　そうすると、２直線を含む平面の方程式を作ることができるね。[br]・外積のサイズは、２つのベクトルを２辺とする平行四辺形の面積である。[br]　だから、外積の半分で、３点の座標から三角形の面積を求めることができるね。[br][color=#0000ff]（例）三角形OABのA,Bの位置ベクトルa=[2,-1,1],b=[-3,2,1]とすると、三角形ABCの面積は？[br][/color]　 [math]\frac{1}{2}[/math] ||[b]a[/b]✕[i][b]b[/b][/i][b]||=1/2[/b][i]√(||[/i][b][i]a[/i][/b][i]||[/i][sup]2[/sup][i] ||[/i][b][i]b[/i][/b][i]||[/i][sup]2[/sup][i]−[/i][i]([b][i][b][i]a・b)[/i][/b][/i][/b][sup]2[/sup] [/i][i])[br][/i] = [math]\frac{1}{2}\sqrt{(2^2+1^2+1^2)((-3)^2+2^2+1^2)−(-2・3+(-1)・2+1・1)^2}[/math]= [math]\frac{1}{2}[/math] [math]\sqrt{6・14-49}[/math]= [math]\frac{1}{2}[/math] [math]\sqrt{35}[/math]。[br]a=[2,-1,1][br]b=[-3,2,1][br]　外積は[-3,-5,1]だから、 [math]\frac{1}{2}[/math] ||[b]a[/b]✕[i][b]b[/b][/i][b]||[/b]＝ [math]\frac{1}{2}[/math] [math]\sqrt{\text{9+25+1}}[/math]= [math]\frac{1}{2}[/math] [math]\sqrt{35}[/math]。[br][color=#0000ff]（例）ベクトル[b]a[/b]=[2,1,-1,1],[b]b[/b]=[-1,0,3,2]とすると、ベクトル[b]a,b[/b]で張る平行四辺形の面積は？[br][/color]　||[b]a[/b]✕[i][b]b[/b][/i][b]||=[/b][i]√(||[/i][b][i]a[/i][/b][i]||[/i][sup]2[/sup][i] ||[/i][b][i]b[/i][/b][i]||[/i][sup]2[/sup][i]−[/i][i]([b][i][b][i]a・b)[/i][/b][/i][/b][sup]2[/sup] [/i][i])[br][/i] =[math]\sqrt{\text{(4+1+1+1)(1+0+9+4) −(-2+0+(-3)+2)^2}}[/math][sup][/sup] =[math]\sqrt{\text{7・14 - 9}}[/math]=[math]\sqrt{89}[/math]。[br][b][size=150]＜外積の性質と利用＞[/size][/b][br]　交代性：[b]a✕b[/b]=-[b]b✕a　（積の順番を変えると右ネジが逆向きになる。）[/b][br] 線形性（分配）：([b]a+b[/b])[b]✕c[/b]=[b]a✕c+b✕c[/b][br] 線形性（定数倍）：(k[b]a)✕b[/b]=k[b](a✕b)[/b]=a[b]✕([/b]k[b]b)[/b][br][b][size=150]＜図形の方程式＞[br][/size][/b]・点A([i]x[sub]1[/sub], y[sub]1[/sub], z[sub]1[/sub][/i])、点P([i]x, y, z[/i])を通る[b][color=#0000ff]直線APの方向ベクトル[/color][/b]を[b][i]d[/i][/b]=[[i]ｌ, m, ｎ[/i]]とする。[br]　[b][i]AP[/i][/b]=ｋ[b][i]ｄ[/i][/b]となるから、k=[math]\frac{x-x_1}{l}=\frac{y-y_1}{m}=\frac{z-z_1}{n}[/math] [br]・点A([i]x[sub]1[/sub], y[sub]1[/sub], z[sub]1[/sub][/i])、点P([i]x, y, z[/i])を通る[b][color=#0000ff]平面の法線ベクトル[/color][/b]を[b][i]h[/i][/b]=[[i]ｌ, m, ｎ[/i]]とする。[br]　[i][b]AP[/b][/i]・[i][b]h[/b] [/i]=0 となるから、[math]l\left(x-x_1\right)+m\left(y-y_1\right)+n\left(z-z_1\right)=0[/math] [br][color=#0000ff]（例）２直線L1,L2について、L1と平行でL2を含む平面πの方程式を求めよう。[br][/color]　　　L1：[math]\frac{x+1}{-1}=\frac{y-3}{2}=\frac{z-1}{4}[/math]、L２： [math]\frac{x-2}{3}=\frac{y+1}{1}=\frac{z-2}{1}[/math]。[br][br] πはL2が通る点A(2,-1,2）を通る。[br]　πの法線ベクトルｈはL1とL２の方向ベクトルd=[-1,2,4],e=[3,1,1]と垂直だ。[br] d=[-1,2,4][br] e=[3,1,1][br]　d✕e=[2・1 - 4・1, 4・3 - (-1)・1, (-1)・1 - 2・3]=[-2, 13, -7][br]　-2(x-2)+13(y+1)-7(z-2)=0[br]　だから、2x-13y +7z -31=0 。[br]・Rn空間では、内積形が図形を表す。[br]　R2空間では、ax+by+c=0は法線ベクトルがn=(a,b)の直線の方程式[br]　R3空間では、ax+by+cz+d=0は法線ベクトルがn=(a,b,c)の平面の方程式。[br]　

[color=#0000ff]・R[sup]3[/sup]のベクトル[/color][math]a=\left(\begin{matrix}1\\2\\-1\end{matrix}\right),b=\left(\begin{matrix}\begin{matrix}-2\\0\\1\end{matrix}\end{matrix}\right)[/math][color=#0000ff] のとき。[b]a+b[/b], ||[b]a[/b]||, ||[b]b[/b]|| , [b]a・b[/b], [b]a✕b[/b], ||[b]a✕b[/b]||　は？[br][/color][br] [math]a+b=\left(\begin{matrix}1-2\\2+0\\-1+1\end{matrix}\right)=\left(\begin{matrix}-1\\2\\0\end{matrix}\right)[/math] [br] [math]||a||=\sqrt{1^2+2^2+\left(-1\right)^2}=\sqrt{1+4+1}=\sqrt{6}[/math][br] [math]||b||=\sqrt{\left(-2\right)^2+0+1^2}=\sqrt{5}[/math] [br] [b]a・b[/b]= [math]1\cdot\left(-2\right)+2\cdot0+\left(-1\right)\cdot1=-2+0-1=-3[/math] [br] [b]a✕b[/b]=[math]\left(\begin{matrix}2\cdot1-0\cdot\left(-1\right)\\\left(-1\right)\cdot\left(-2\right)-1\cdot1\\1\cdot0-\left(-2\right)\cdot2\end{matrix}\right)=\left(\begin{matrix}2\\1\\4\end{matrix}\right)[/math][br] ||[b]a✕b[/b]||= [math]\sqrt{\left(\sqrt{6}\right)^2\left(\sqrt{5}\right)^2-\left(-3\right)^2}=\sqrt{6\cdot5-9}=\sqrt{21}[/math] または、[math]\sqrt{2^2+1^2+4^2}=\sqrt{21}[/math] [br] [br][br]