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