物理/平面と空間,ベクトル
提供: Internet Web School
8.1 平面と空間のベクトル
目次 |
平面と空間,ベクトル
平面や空間への直観を重視し、幾何学的な説明をする。
以後、物理数学の説明では、集合についての初歩的知識を使う。
また定理等の証明では、(数理的)論理とくに一階述語論理の初等的知識が必要になる。
集合と論理の導入部については
この本では、不十分なので、以下に若干補足する。
(数理的)論理
数学的な議論は、(幾つかの）真の命題から他の真の命題を導く推論の連続である。
ここで、命題(proposition)というのは、内容の真偽が客観的に確定する文（叙述、言明)あるいは式のこと。
これらの推論に共通に用いられる論理的推論法を、
記号を用いて表現し数学的に研究するのが、数理的論理学である。
命題論理
述語論理
集合について
以下の説明では、集合についてのごく初歩的知識を使うので、なじみのない方は、
集合の素朴な定義と集合の表記法、
集合Ａの補集合 UNIQ3c60895a192fc576-MathJax-322-QINU、
2つの集合Ａ，Ｂの包含関係すなわち,
ＡとＢが等しい Ａ＝Ｂ， ＡはＢの部分集合 UNIQ3c60895a192fc576-MathJax-323-QINUあるいはUNIQ3c60895a192fc576-MathJax-324-QINU、
AはＢの真の部分集合 UNIQ3c60895a192fc576-MathJax-325-QINU
および、
２つ以上の集合の演算（ＡとＢの和集合UNIQ3c60895a192fc576-MathJax-326-QINU、共通集合UNIQ3c60895a192fc576-MathJax-327-QINU、差集合UNIQ3c60895a192fc576-MathJax-328-QINU、対称差集合UNIQ3c60895a192fc576-MathJax-329-QINU、直積UNIQ3c60895a192fc576-MathJax-330-QINU）
などについて、以下の記事で学習してほしい。
平面と空間
我々は、太古の昔から自分たちの暮らすこの世界は、縦、横、高さをもつ３次元の空間であり、
この空間なかの、縦、横をもち、高さのない平らな無限の拡がりを平面として認識してきた。
この中で考えられた平面や空間は、２次元および３次元のユークリッド空間と呼ばれる。
下記の記事中の「序文」と「1. 直観的な説明」をお読みください。
また、この章の「2. 我々の住む空間の数学的モデル(1)」も御覧ください。
ベクトルの和と実数倍
平面や空間の異なる2点、Ｐ，Ｑを通る直線は必ず一本あり、一本に限られる。
これを直線UNIQ3c60895a192fc576-MathJax-331-QINUという。
この直線で、ＰとＱの間にある部分だけを考えるとき、線分UNIQ3c60895a192fc576-MathJax-332-QINUという。
この線分に向き(矢印で表示）をつけたものを有向線分UNIQ3c60895a192fc576-MathJax-333-QINUという。
この有向線分と長さと方向・向きの等しい有向線分を全て同一なものとみなすと
ベクトルUNIQ3c60895a192fc576-MathJax-334-QINUが得られる。
このベクトルを空間ベクトルとも呼ぶ。
今後、ベクトルUNIQ3c60895a192fc576-MathJax-335-QINU等は、UNIQ3c60895a192fc576-MathJax-336-QINU、UNIQ3c60895a192fc576-MathJax-337-QINUというように略記する。
ベクトルの定義や和や実数倍については
２章力学の「有向線分からベクトルへ」を参照のこと。
また、ベクトルについては次の文献にもくわしい解説がある。
内積とノルム
内積とノルムは物理学で良く使われる。
本テキストで必要となる命題と証明を紹介する。
以下では、
UNIQ3c60895a192fc576-MathJax-338-QINUは、すべて同じ次元（２か３）の（空間）ベクトルとし、 UNIQ3c60895a192fc576-MathJax-339-QINUは実数とする。
2-ノルムと内積の定義
実ベクトルUNIQ3c60895a192fc576-MathJax-340-QINUの2-ノルム（あるいはユークリッドノルム）とは、
UNIQ3c60895a192fc576-MathJax-341-QINUのことで、
ベクトルの長さ(大きさ）を表す。
ここで、UNIQ3c60895a192fc576-MathJax-342-QINUは,UNIQ3c60895a192fc576-MathJax-343-QINUの第UNIQ3c60895a192fc576-MathJax-344-QINU座標成分を表す。ちなみに第１成分はx座標成分、第2成分はy座標成分、第３成分はｚ座標成分である。
実ベクトルUNIQ3c60895a192fc576-MathJax-345-QINUの内積とは
UNIQ3c60895a192fc576-MathJax-346-QINU
ここで、UNIQ3c60895a192fc576-MathJax-347-QINUは、ベクトルUNIQ3c60895a192fc576-MathJax-348-QINUのなす角(UNIQ3c60895a192fc576-MathJax-349-QINU )である。
この定義から、
UNIQ3c60895a192fc576-MathJax-350-QINU
であることが分かる。
以後、単にノルム、UNIQ3c60895a192fc576-MathJax-351-QINU とかけば、２－ノルムであるとする。
内積とノルムの性質
命題１
UNIQ3c60895a192fc576-MathJax-352-QINU
証明；内積の定義から明らか。
命題２
UNIQ3c60895a192fc576-MathJax-353-QINU
ここでUNIQ3c60895a192fc576-MathJax-354-QINUは,それぞれのベクトルのx座標成分を表す。
同様に、UNIQ3c60895a192fc576-MathJax-355-QINUはそれぞれのベクトルのy座標成分<を表す。br/>
直交座標系はどんなものでも良い。しかしすべてのベクトルは同じ座標系で座標成分表示しなければならない。
証明
三角形の余弦定理を利用する。
頂点A,B,Cの対辺の長さをそれぞれUNIQ3c60895a192fc576-MathJax-356-QINUとし、UNIQ3c60895a192fc576-MathJax-357-QINUとする。
すると、余弦定理により
UNIQ3c60895a192fc576-MathJax-358-QINU
命題２の証明
ベクトルUNIQ3c60895a192fc576-MathJax-359-QINUとUNIQ3c60895a192fc576-MathJax-360-QINUを、
始点が点UNIQ3c60895a192fc576-MathJax-361-QINUである有向線分で表現し、その終点をUNIQ3c60895a192fc576-MathJax-362-QINU,UNIQ3c60895a192fc576-MathJax-363-QINUで表す。
するとUNIQ3c60895a192fc576-MathJax-364-QINU, UNIQ3c60895a192fc576-MathJax-365-QINUである。
ベクトルUNIQ3c60895a192fc576-MathJax-366-QINUを導入すると、
UNIQ3c60895a192fc576-MathJax-367-QINU
３角形UNIQ3c60895a192fc576-MathJax-368-QINUを考え、第２余弦定理を適用しよう。
UNIQ3c60895a192fc576-MathJax-369-QINUとおく。すると、
UNIQ3c60895a192fc576-MathJax-370-QINU
UNIQ3c60895a192fc576-MathJax-371-QINUが得られる。
この式を変形してUNIQ3c60895a192fc576-MathJax-372-QINUだけを左辺に置くと、
UNIQ3c60895a192fc576-MathJax-373-QINU 。
UNIQ3c60895a192fc576-MathJax-374-QINUなので、
UNIQ3c60895a192fc576-MathJax-375-QINU
この右辺を、ベクトルの直交座標成分で表すと、次式が得られる。
UNIQ3c60895a192fc576-MathJax-376-QINU
UNIQ3c60895a192fc576-MathJax-377-QINU
命題２の証明終わり。
命題３
UNIQ3c60895a192fc576-MathJax-378-QINU
証明
ある一つの直交座標系をさだめ、両辺を、命題２を利用して、座標成分であらわす。両辺が等しいことが分かる。
系； UNIQ3c60895a192fc576-MathJax-379-QINU
証明；命題１を利用して、左辺の項の順番を入れ替え、命題３を適用し、再び命題１を用いればよい。
命題４
UNIQ3c60895a192fc576-MathJax-380-QINU
が成り立つ。
証明
同様に、３つの式を、座標成分表示すれば、みな等しいことが、簡単に分かる。
命題５（シュワルツの不等式）
UNIQ3c60895a192fc576-MathJax-381-QINU
証明；UNIQ3c60895a192fc576-MathJax-382-QINUなので内積の定義から、ただちに分かる。
命題６ ノルムの三角不等式
UNIQ3c60895a192fc576-MathJax-383-QINU
証明
UNIQ3c60895a192fc576-MathJax-384-QINU
命題３を使って計算すると、
UNIQ3c60895a192fc576-MathJax-385-QINU
命題５より、
UNIQ3c60895a192fc576-MathJax-386-QINU
故にUNIQ3c60895a192fc576-MathJax-387-QINU
両辺の平方根をとれば所要の不等式を得る。
ベクトル積
本節での全ての命題で、
UNIQ3c60895a192fc576-MathJax-388-QINUは3次元ベクトル
UNIQ3c60895a192fc576-MathJax-389-QINUを実数とする。
定義
UNIQ3c60895a192fc576-MathJax-390-QINUは3次元ベクトルとする。
これらのベクトルのベクトル積（外積ともいう）UNIQ3c60895a192fc576-MathJax-391-QINUとは、
UNIQ3c60895a192fc576-MathJax-392-QINUが平行の時は、零ベクトル、
平行でないときは、これら2つのベクトルに直交し、大きさが UNIQ3c60895a192fc576-MathJax-393-QINUと UNIQ3c60895a192fc576-MathJax-394-QINUの作る平行四辺形の面積と等しいベクトルUNIQ3c60895a192fc576-MathJax-395-QINUで、
向きは、3つのベクトル<<UNIQ3c60895a192fc576-MathJax-396-QINU>> が右手系をなす向きであるものをいう。
（注）<<UNIQ3c60895a192fc576-MathJax-397-QINU>>は、この順番に３つのベクトルが並んでいることを表す。
UNIQ3c60895a192fc576-MathJax-398-QINUこれら３つのベクトルの集合UNIQ3c60895a192fc576-MathJax-399-QINUとは異なる。
命題７
UNIQ3c60895a192fc576-MathJax-400-QINU を, UNIQ3c60895a192fc576-MathJax-401-QINUと垂直な成分UNIQ3c60895a192fc576-MathJax-402-QINU と,平行な成分UNIQ3c60895a192fc576-MathJax-403-QINU の和に分解するとき、
UNIQ3c60895a192fc576-MathJax-404-QINU
UNIQ3c60895a192fc576-MathJax-405-QINU
証明；ベクトル積の定義から、容易に示せる。
２つのベクトルの作る平行四辺形の面積と方向・向きを考えれば良い。
命題８
UNIQ3c60895a192fc576-MathJax-406-QINU
証明；２つのベクトルを入れ替えても、それらが作る平行四辺形の面積は変わらず、この四辺形に直交する直線の方向も変わらない。
しかし、ベクトル積の向きは、逆向きになる。
ベクトル積の定義から、UNIQ3c60895a192fc576-MathJax-407-QINU が示せた。
命題９
UNIQ3c60895a192fc576-MathJax-408-QINU
証明；実数UNIQ3c60895a192fc576-MathJax-409-QINU が正、零、負の場合に分けて考える。
いずれの場合にも,
ベクトル積の定義とベクトルと実数の積の命題から、容易に証明できる。
命題１０
UNIQ3c60895a192fc576-MathJax-410-QINU
証明；
この証明には少し工夫が必要である。
ベクトル積の命題の中でも、もっとも大切なものなので、詳しく説明しよう。
① UNIQ3c60895a192fc576-MathJax-411-QINU とUNIQ3c60895a192fc576-MathJax-412-QINU が直交する場合。図参照のこと
・議論をやさしくするため、ベクトルを、空間の原点UNIQ3c60895a192fc576-MathJax-413-QINU を始点とする有向線分で代表させる。
・UNIQ3c60895a192fc576-MathJax-414-QINU と直交しUNIQ3c60895a192fc576-MathJax-415-QINU を通る平面をUNIQ3c60895a192fc576-MathJax-416-QINUとする。
・仮定よりUNIQ3c60895a192fc576-MathJax-417-QINUは、ともに平面UNIQ3c60895a192fc576-MathJax-418-QINU上のベクトルである。
・UNIQ3c60895a192fc576-MathJax-419-QINUも、
ベクトル積の定義により、共にUNIQ3c60895a192fc576-MathJax-420-QINU と直交するので、UNIQ3c60895a192fc576-MathJax-421-QINU上のベクトルである。
これら四つのベクトルはすべて平面UNIQ3c60895a192fc576-MathJax-422-QINU上にあるので、今後の議論はこの平面上で進める。
ⅰ）UNIQ3c60895a192fc576-MathJax-423-QINU の張る平行四辺形は,
UNIQ3c60895a192fc576-MathJax-424-QINUの張る平行四辺形を、UNIQ3c60895a192fc576-MathJax-425-QINU倍し,原点周りに９０度回転したものになることを、示そう。
・UNIQ3c60895a192fc576-MathJax-426-QINUは、ベクトル積の定義から、UNIQ3c60895a192fc576-MathJax-427-QINU と直交する。
そのため、UNIQ3c60895a192fc576-MathJax-428-QINU を平面UNIQ3c60895a192fc576-MathJax-429-QINU上で、原点まわりに、９０度右回りか、左回りすれば、方向と向きが一致する。
・UNIQ3c60895a192fc576-MathJax-430-QINUも、同様に考え、UNIQ3c60895a192fc576-MathJax-431-QINU を平面UNIQ3c60895a192fc576-MathJax-432-QINU上で、原点まわりに、９０度右回りか、左回りすれば、方向と向きが一致することが分かる。
・どちら周りの回転になるかは、ベクトル積の定義によって決まるが、
後者の回転の向きが、前者の回転の向きと一致することが分かる。
・UNIQ3c60895a192fc576-MathJax-433-QINU の大きさは、
UNIQ3c60895a192fc576-MathJax-434-QINU なので、UNIQ3c60895a192fc576-MathJax-435-QINU の大きさのUNIQ3c60895a192fc576-MathJax-436-QINU倍になる。
同様に、UNIQ3c60895a192fc576-MathJax-437-QINU の大きさは、UNIQ3c60895a192fc576-MathJax-438-QINU の大きさのUNIQ3c60895a192fc576-MathJax-439-QINU倍になる。
・以上の結果より、所望の結果は示された。
ⅱ）UNIQ3c60895a192fc576-MathJax-440-QINUを示そう。
・ ⅰ)と同じ議論により、
UNIQ3c60895a192fc576-MathJax-441-QINUはUNIQ3c60895a192fc576-MathJax-442-QINUの張る平行四辺形の対角線を、原点周りに９０度、同じ向きに回転させ、UNIQ3c60895a192fc576-MathJax-443-QINU倍させたものであることが分かる。
・すると、ⅰ)で示したことから、UNIQ3c60895a192fc576-MathJax-444-QINUは
UNIQ3c60895a192fc576-MathJax-445-QINU の張る平行四辺形の対角線UNIQ3c60895a192fc576-MathJax-446-QINU に等しいことが分かる。
・以上で①が示せた。
② 一般の場合。
命題1より、UNIQ3c60895a192fc576-MathJax-447-QINU をUNIQ3c60895a192fc576-MathJax-448-QINUと垂直な成分を表すとすると、 UNIQ3c60895a192fc576-MathJax-449-QINU(1)
UNIQ3c60895a192fc576-MathJax-450-QINUなので、(1)式は、
UNIQ3c60895a192fc576-MathJax-451-QINU
①より、
UNIQ3c60895a192fc576-MathJax-452-QINU UNIQ3c60895a192fc576-MathJax-453-QINU 命題４の証明終わり。
命題１０の系
UNIQ3c60895a192fc576-MathJax-454-QINU
UNIQ3c60895a192fc576-MathJax-455-QINU
証明；
命題８より、
UNIQ3c60895a192fc576-MathJax-456-QINU 命題９から
UNIQ3c60895a192fc576-MathJax-457-QINU
命題４より、
UNIQ3c60895a192fc576-MathJax-458-QINU
再び命題８より、
UNIQ3c60895a192fc576-MathJax-459-QINU前半の証明終わり
命題８より、
UNIQ3c60895a192fc576-MathJax-460-QINU
再び命題８より、
UNIQ3c60895a192fc576-MathJax-461-QINU
UNIQ3c60895a192fc576-MathJax-462-QINU証明終わり。
命題１１
UNIQ3c60895a192fc576-MathJax-463-QINU を
それぞれ大きさ(長さ)１で互いに直交し、右手系をなす、ベクトル(右手系をなす正規直交基底)とする。
この時、
UNIQ3c60895a192fc576-MathJax-464-QINU
証明；ベクトル積とUNIQ3c60895a192fc576-MathJax-465-QINU の定義から明らかである。
命題１２
ベクトルUNIQ3c60895a192fc576-MathJax-466-QINUを,命題５で用いた基底UNIQ3c60895a192fc576-MathJax-467-QINUで決まる座標を用いて
UNIQ3c60895a192fc576-MathJax-468-QINU と表示しておく。
するとUNIQ3c60895a192fc576-MathJax-469-QINU
証明；UNIQ3c60895a192fc576-MathJax-470-QINU,
UNIQ3c60895a192fc576-MathJax-471-QINUと表せるので、
UNIQ3c60895a192fc576-MathJax-472-QINU
命題３の系から
UNIQ3c60895a192fc576-MathJax-473-QINU UNIQ3c60895a192fc576-MathJax-474-QINU (1)
式(1)の第１項
UNIQ3c60895a192fc576-MathJax-475-QINU
に
UNIQ3c60895a192fc576-MathJax-476-QINU
を代入して、命題３の系を使って変形すると、
UNIQ3c60895a192fc576-MathJax-477-QINU UNIQ3c60895a192fc576-MathJax-478-QINU (2)
命題１０と命題１１を使うと、
UNIQ3c60895a192fc576-MathJax-479-QINU 。
同様の計算を行うと、
UNIQ3c60895a192fc576-MathJax-480-QINU
UNIQ3c60895a192fc576-MathJax-481-QINU
式(2)にこれらを代入して、
UNIQ3c60895a192fc576-MathJax-482-QINU UNIQ3c60895a192fc576-MathJax-483-QINU (3)
式(1)の第２項、第３項も同様に計算すると、
UNIQ3c60895a192fc576-MathJax-484-QINU UNIQ3c60895a192fc576-MathJax-485-QINU (4)
UNIQ3c60895a192fc576-MathJax-486-QINU UNIQ3c60895a192fc576-MathJax-487-QINU (5)
式(3),(4),(5) を、式 (1)に代入すると、
UNIQ3c60895a192fc576-MathJax-488-QINU
UNIQ3c60895a192fc576-MathJax-489-QINU
命題１２の証明終わり。
命題１３
UNIQ3c60895a192fc576-MathJax-490-QINU
証明
UNIQ3c60895a192fc576-MathJax-491-QINUを証明しよう。
残りも、同様に証明出来るので各自試みてください。
右手系をなす一つの直交座標系を決める。
３つのベクトルを、この座標系で成分表示して、
UNIQ3c60895a192fc576-MathJax-492-QINU とする。
命題１２から、
UNIQ3c60895a192fc576-MathJax-493-QINU
内積の定義から
UNIQ3c60895a192fc576-MathJax-494-QINU
これを整頓すると
UNIQ3c60895a192fc576-MathJax-495-QINU
UNIQ3c60895a192fc576-MathJax-496-QINUも、これと同じように計算すると同じ式になる。
命題１３の証明終わり。
定義
UNIQ3c60895a192fc576-MathJax-497-QINU を３つのベクトルUNIQ3c60895a192fc576-MathJax-498-QINU の行列式(determinant)という。
この３つのベクトルの張る平行４面体の、符号付の体積である(図参照）。
命題１3の系１
UNIQ3c60895a192fc576-MathJax-499-QINU
UNIQ3c60895a192fc576-MathJax-500-QINU
命題１3の系２
3つの空間ベクトルを、ある右手系をなす直交座標系の成分で表示して
UNIQ3c60895a192fc576-MathJax-501-QINU とする。
この時、UNIQ3c60895a192fc576-MathJax-502-QINU の行列式は
UNIQ3c60895a192fc576-MathJax-503-QINU
この式は、命題１３の証明のなかで導出されている。
命題１3の系３
行列式UNIQ3c60895a192fc576-MathJax-504-QINU は、３つのベクトルUNIQ3c60895a192fc576-MathJax-505-QINUの双線形関数である。すなわち
UNIQ3c60895a192fc576-MathJax-506-QINU
UNIQ3c60895a192fc576-MathJax-507-QINU
UNIQ3c60895a192fc576-MathJax-508-QINU
ここで、UNIQ3c60895a192fc576-MathJax-509-QINU は任意の実数、UNIQ3c60895a192fc576-MathJax-510-QINUは任意の３次元ベクトルである。
命題１４
UNIQ3c60895a192fc576-MathJax-511-QINU
証明
ベクトル積の定義を用いると、
UNIQ3c60895a192fc576-MathJax-512-QINU
UNIQ3c60895a192fc576-MathJax-513-QINU
UNIQ3c60895a192fc576-MathJax-514-QINU
UNIQ3c60895a192fc576-MathJax-515-QINU
UNIQ3c60895a192fc576-MathJax-516-QINU
UNIQ3c60895a192fc576-MathJax-517-QINU
UNIQ3c60895a192fc576-MathJax-518-QINU
証明終わり
（注) この公式の覚え方。
UNIQ3c60895a192fc576-MathJax-519-QINU は UNIQ3c60895a192fc576-MathJax-520-QINU、UNIQ3c60895a192fc576-MathJax-521-QINUの両方に直交、
UNIQ3c60895a192fc576-MathJax-522-QINU は UNIQ3c60895a192fc576-MathJax-523-QINU と直交。
これから、UNIQ3c60895a192fc576-MathJax-524-QINU は UNIQ3c60895a192fc576-MathJax-525-QINU と UNIQ3c60895a192fc576-MathJax-526-QINUが張る(一次結合)ベクトルであることが分かる。
この係数が他の２つのベクトルの内積であることだけを記憶しておくと、
UNIQ3c60895a192fc576-MathJax-527-QINU
各項の符号は、
命題１４の系１
UNIQ3c60895a192fc576-MathJax-528-QINU
従って、一般に外積は結合法則を満たさない。
UNIQ3c60895a192fc576-MathJax-529-QINU
証明
命題８から
UNIQ3c60895a192fc576-MathJax-530-QINU
この右辺に命題１４を適用すると、
UNIQ3c60895a192fc576-MathJax-531-QINU
証明終わり
命題１４の系２
１）UNIQ3c60895a192fc576-MathJax-532-QINU
２）UNIQ3c60895a192fc576-MathJax-533-QINU
証明
１） UNIQ3c60895a192fc576-MathJax-534-QINU とおくと、
UNIQ3c60895a192fc576-MathJax-535-QINU
命題１４から
UNIQ3c60895a192fc576-MathJax-536-QINU
行列式の定義から、
UNIQ3c60895a192fc576-MathJax-537-QINU
故に、
UNIQ3c60895a192fc576-MathJax-538-QINU
２）は、UNIQ3c60895a192fc576-MathJax-539-QINU とおくと,
命題１４の系１を用いて、同様にして証明できる。
命題１４の系３
１）UNIQ3c60895a192fc576-MathJax-540-QINU
２）UNIQ3c60895a192fc576-MathJax-541-QINU
証明
１） UNIQ3c60895a192fc576-MathJax-542-QINU とおくと、
UNIQ3c60895a192fc576-MathJax-543-QINU
行列式の性質から、
UNIQ3c60895a192fc576-MathJax-544-QINU
UNIQ3c60895a192fc576-MathJax-545-QINU の定義式を代入して
UNIQ3c60895a192fc576-MathJax-546-QINU
命題１４の系１を適用して、
UNIQ3c60895a192fc576-MathJax-547-QINU
内積の性質から
UNIQ3c60895a192fc576-MathJax-548-QINU
１）が示せた。
２）も、UNIQ3c60895a192fc576-MathJax-549-QINU とおけば、同様にして証明できる。
我々の住む空間の数学的モデル（１）
この節では概要だけを記述するので、イメージをつかめれば良い。
詳しくは次節で説明する。
（１）私たちの住む（宇宙)空間UNIQ3c60895a192fc576-MathJax-550-QINUを無限に点(場所)が集まってできる集合と考える。
この空間では、経験によると、以下の諸事実が成り立つ。
①この空間のどのような2点UNIQ3c60895a192fc576-MathJax-551-QINUをとっても、
その2点を通る直線は必ず一本あり、一本に限る（直線の公理。注参照)。
直線UNIQ3c60895a192fc576-MathJax-552-QINUと書く。
２点UNIQ3c60895a192fc576-MathJax-553-QINUは、この直線上にあるので、その長さ(距離)は物差しなどで測れる。
(注）公理とは、経験上自明と思われるが、それ以上簡単な事実から証明出来ないため、
正しいと認めた命題のこと。
「点」や「直線」、「通る」などの言葉は
意味が分かっているという前提に立ち、その意味を定義しないで用いる。
点や直線、通るなどの表現がでてくる公理をすべて満たすものとして、
その性質が正確に規定される。無定義語という。
②直線UNIQ3c60895a192fc576-MathJax-554-QINUは空間全体を覆わないので、直線外の空間の点UNIQ3c60895a192fc576-MathJax-555-QINUをとれる。
３点UNIQ3c60895a192fc576-MathJax-556-QINUを通る平面が常に唯一つ存在する(平面の公理１)。
これを平面UNIQ3c60895a192fc576-MathJax-557-QINUと書こう。
平面は、この面上にある２点を通る直線を含む(平面の公理２)。
空間の中のどの平面上でもユークリッドの平面幾何学は成り立つ（空間UNIQ3c60895a192fc576-MathJax-558-QINUの性質）。
直線UNIQ3c60895a192fc576-MathJax-559-QINUと直線UNIQ3c60895a192fc576-MathJax-560-QINUは、平面UNIQ3c60895a192fc576-MathJax-561-QINU上の直線であり、角度UNIQ3c60895a192fc576-MathJax-562-QINUがきまる。
③空間の中の異なる２直線UNIQ3c60895a192fc576-MathJax-563-QINUとUNIQ3c60895a192fc576-MathJax-564-QINUの間には次の３つの関係のうちのいずれか一つ（しかも一つだけ）が成り立つ。
ⅰ）交わる（この時は２直線は同一平面上にあることが、
直線と平面の公理から簡単に証明出来る。
ⅱ）同一平面上にあるが交わらない（平行という）。
ⅲ）同一平面上にない。
平行な２直線は、同じ方向であるという。
④平面UNIQ3c60895a192fc576-MathJax-565-QINUも空間全体を覆わないので、空間にはこの平面外の点UNIQ3c60895a192fc576-MathJax-566-QINUが存在する。
⑤空間の２点UNIQ3c60895a192fc576-MathJax-567-QINUを結ぶ線分UNIQ3c60895a192fc576-MathJax-568-QINU(直線UNIQ3c60895a192fc576-MathJax-569-QINUの、点ＰとＱの間の部分)に
PからＱに向けた向きを付けた有向線分UNIQ3c60895a192fc576-MathJax-570-QINUを考える。
これはＰ点からみたＱ点の位置を、
Ｐ点からＱ点を見たときの方向・向きと距離で表したもの。
Ｑ点が、Ｐ点から見て、UNIQ3c60895a192fc576-MathJax-571-QINUの方向・向きおよび距離の点であることを
UNIQ3c60895a192fc576-MathJax-572-QINUと表す。
次にＱ点からUNIQ3c60895a192fc576-MathJax-573-QINUの方向・向きおよび距離にある点UNIQ3c60895a192fc576-MathJax-574-QINUを考える
。
点Ｒは元の点ＰからUNIQ3c60895a192fc576-MathJax-575-QINUの方向・向きおよび距離の位置にある。
UNIQ3c60895a192fc576-MathJax-576-QINUで、２つの有向線分の和を定義すると
UNIQ3c60895a192fc576-MathJax-577-QINU
UNIQ3c60895a192fc576-MathJax-578-QINUそこでUNIQ3c60895a192fc576-MathJax-579-QINUと決めておけば
UNIQ3c60895a192fc576-MathJax-580-QINU
となり、３点の位置関係が正しく表現出来ることが分かる。
⑥Ｐ点を始点とするすべての有向線分を要素とする集合を
UNIQ3c60895a192fc576-MathJax-581-QINU
と記す。するとUNIQ3c60895a192fc576-MathJax-582-QINU
UNIQ3c60895a192fc576-MathJax-583-QINUとUNIQ3c60895a192fc576-MathJax-584-QINUはどのような関係にあるだろうか。
UNIQ3c60895a192fc576-MathJax-585-QINUの任意の要素UNIQ3c60895a192fc576-MathJax-586-QINUと
方向・向きと大きさが等しく、始点がＱである有向線分を作ってみよう。
異なる３点UNIQ3c60895a192fc576-MathJax-587-QINUを通る平面は常に唯一つ存在する。
この平面上で、ユークリッド幾何学を使い、
平行四辺形UNIQ3c60895a192fc576-MathJax-588-QINUを作ることが出来る。
するとUNIQ3c60895a192fc576-MathJax-589-QINUであり、
UNIQ3c60895a192fc576-MathJax-590-QINUはUNIQ3c60895a192fc576-MathJax-591-QINUと方向・向きは同じで、大きさ(長さ、距離)も等しい。
２つの有向線分が、方向・向きと大きさが同じならば、
ある点からみた他の点の位置を、有向線分の方向・向きと大きさで指定するかぎり、
２つの有向線分は同じ点を指定する。そこで方向・向きと大きさが等しい２つの有向ベクトルは同一視して、
UNIQ3c60895a192fc576-MathJax-592-QINUと書く。
すると経験上、空間UNIQ3c60895a192fc576-MathJax-593-QINUはつぎの性質を持つことが分かっている。
空間UNIQ3c60895a192fc576-MathJax-594-QINUの公理；
空間UNIQ3c60895a192fc576-MathJax-595-QINUの任意の２点Ｐ，Ｑを考える。
UNIQ3c60895a192fc576-MathJax-596-QINUの任意の要素には、
それとUNIQ3c60895a192fc576-MathJax-597-QINUの関係にある、UNIQ3c60895a192fc576-MathJax-598-QINUの要素が一つ対応する。
逆に
UNIQ3c60895a192fc576-MathJax-599-QINUの任意の要素には、
それとUNIQ3c60895a192fc576-MathJax-600-QINUの関係にある、UNIQ3c60895a192fc576-MathJax-601-QINUの要素が一つ対応する。
そこで、UNIQ3c60895a192fc576-MathJax-602-QINU関係のある有向線分を、おなじものと考えると
UNIQ3c60895a192fc576-MathJax-603-QINUとUNIQ3c60895a192fc576-MathJax-604-QINUは同じ集合になる。
すなわちUNIQ3c60895a192fc576-MathJax-605-QINU関係のある有向線分を、おなじものと考えると
どの点から空間を見た時も、
空間のすべての点を表すのに必要な、有向線分（方向・向きと距離の集まり）は、
皆同じである。
定義：
方向・向きと長さの等しい有向線分を（始点は異なっても、）
同じものとみなした時、有向線分をベクトルと呼ぶ。
記号で書くと、
有向線分UNIQ3c60895a192fc576-MathJax-606-QINU 有向線分UNIQ3c60895a192fc576-MathJax-607-QINU
<==>
ベクトルUNIQ3c60895a192fc576-MathJax-608-QINU ベクトルUNIQ3c60895a192fc576-MathJax-609-QINU
今後はUNIQ3c60895a192fc576-MathJax-610-QINUを有向線分とみなすときは、有向線分UNIQ3c60895a192fc576-MathJax-611-QINU と書き、
ベクトルとみなす時は単にUNIQ3c60895a192fc576-MathJax-612-QINUと書いて区別する。
空間の性質から、ベクトルの集合とみたUNIQ3c60895a192fc576-MathJax-613-QINUは皆等しくなる。
これをベクトル集合UNIQ3c60895a192fc576-MathJax-614-QINUで表す。
⑦空間の性質１
UNIQ3c60895a192fc576-MathJax-615-QINUの２つのベクトルUNIQ3c60895a192fc576-MathJax-616-QINUを、
UNIQ3c60895a192fc576-MathJax-617-QINUと表現すると、
ベクトルUNIQ3c60895a192fc576-MathJax-618-QINUの和は
UNIQ3c60895a192fc576-MathJax-619-QINUで定義する。
この和はＰ点に関係なく、唯一つのベクトルを定めることが証明できる。
和の交換則と結合則が成り立つ。
ベクトルの実数倍も定義出来る。
UNIQ3c60895a192fc576-MathJax-620-QINUは線形空間(ベクトル空間ともいう）になる。
これ等はユークリッド幾何学を用いて証明出来る。
⑧ 線形空間UNIQ3c60895a192fc576-MathJax-621-QINUは３次元空間
Ｐ点から空間を眺めると、②で述べたように
Ｐを通る平面UNIQ3c60895a192fc576-MathJax-622-QINUが存在する。
この平面上には、Ｐ点で交わる２本の直線UNIQ3c60895a192fc576-MathJax-623-QINUとUNIQ3c60895a192fc576-MathJax-624-QINUが存在する。
そこで２つのベクトルUNIQ3c60895a192fc576-MathJax-625-QINUとUNIQ3c60895a192fc576-MathJax-626-QINUを考える。
すると,平面上の任意の点ＲをＰ点から見たときの方向・向き、距離UNIQ3c60895a192fc576-MathJax-627-QINUは、
UNIQ3c60895a192fc576-MathJax-628-QINUとUNIQ3c60895a192fc576-MathJax-629-QINUの線形結合UNIQ3c60895a192fc576-MathJax-630-QINU
で表せる。ここで、UNIQ3c60895a192fc576-MathJax-631-QINUは、適当な実数である。
逆に、任意の線形結合UNIQ3c60895a192fc576-MathJax-632-QINUに対し、
平面上に点Ｒが定まり、
UNIQ3c60895a192fc576-MathJax-633-QINU
この事実はユークリッド幾何学を用いて容易に示すことができる。
平面は、このように２つのベクトルで表せるので２次元と呼ぶ。
空間は、平面UNIQ3c60895a192fc576-MathJax-634-QINUで覆われないので、平面外の点Ｓがとれる。
UNIQ3c60895a192fc576-MathJax-635-QINUは線形結合UNIQ3c60895a192fc576-MathJax-636-QINUでは表せない。
我々の住む空間の公理２
UNIQ3c60895a192fc576-MathJax-637-QINUは実数UNIQ3c60895a192fc576-MathJax-638-QINU
空間UNIQ3c60895a192fc576-MathJax-639-QINUを点をすべて記述するには
３つの独立なベクトルを用いなければならないので
UNIQ3c60895a192fc576-MathJax-640-QINUは３次元空間とも呼ばれる。
⑩３次元空間の座標と座標表示
この空間には座標系を考えるができる。
ベクトルの座標表示をすると、ベクトル演算を数の計算に帰着でき便利である。
ベクトルを直交座標表示して、数の計算に帰着すると、
座標の直交性が役立ち、計算が大変簡単になる。
