在坐標平面中的向量, 我們都可用 來表示, 其中
(我們用
來表示所有實數所成的集合, 所以
表示
屬於實數, 也就是說
皆為實數).
意思就是說如果你在坐標平面中任給一點
, 然後從
點開始往水平方向走
單位 (
時往右;
時往左),
再沿鉛直方向走
單位 (
時往上;
時往下),
最後到達的點若記為
. 那麼從
點開始到
點為止的這一個向量就可用
來表示, 記為
.
用坐標來表示一個向量 (即用 這種方法) 有許多好處,
例如大家很容易理解: 當兩個向量
和
相等時 (即
), 這表示
且
;
從這觀點若用點來表示向量時就較麻煩, 因為如果
為平面中四個點
並不代表
和
為同一點且
和
為同一點. 不過若已知
, 則可得
. 反之若
則可得
. (我們說明一下這裡符號的使用: 因為
皆為``點''而不是``數'', 所以這裡
這個等號表示同一``點''而不是同一``數''). 上面這個論述可用剛才定義
的方法驗證, 這裡就不再驗證. 基於符號的方便性,
當我們要用符號來表示一個向量時,
除非已知此向量為特定兩點所決定的向量, 通常會僅用
這類的粗體字符號來表示. 一般來說我們用
來表示坐標平面上的向量所成的集合, 所以若我們說
,
就表示
是坐標平面上的一個向量, 也就是說可以找到
使得
.
坐標表示法的另一個好處是很容易幫助我們定義向量的加法 (addition) 以及係數積 (scalar multiplication).
要注意這裡所謂的定義 (即 definition) 指的是規定,
也就是說我們規定向量必須這樣相加及乘上一個常數.
當然了你也可以自行規定一套向量加法的規則.
不過一般在數學上的定義都有其必要性,
通常一個定義對理論推導或實用上都會有相當的幫助.
例如這一個定義與我們直觀上認為若 為坐標平面上三點, 則
相吻合. 這是因為: 假設
三點的坐標分別為
(注意:
為了區分點和向量的坐標表示法,
當我們提到點的坐標時都會加上該點的代號), 則
一個定義一定要清楚明確, 例如若
且
,
由 Definition 1.1.1 我們知
且
. 不過我們決不能用: 若
且
, 則定義
且
這樣的說法來定義向量的加法及係數積.
因為這樣的說法只是定義出兩個特殊的向量的加法以及和一特殊實數的乘積,
不能依這特例要求別人``依此類推''. 這就是當初定義時用
這些符號來代替具體數字的用意. 另外要注意在
Definition 1.1.1 中我們沒有提
的定義, 不過當初既然
已表成任意
上的向量, 定義
已足夠所以不必再去定
. 最後要強調的是:
這裡我們並沒有定義兩向量的乘法, 而是定義實數和向量相乘,
所以我們稱為係數積 (scalar multiplication) 而不能說是向量的乘法.
有了定義之後, 我們就需依定義處理相關問題, 但通常直接依定義處理較繁複, 我們可依定義推導出一些性質, 利用這些性質簡化處理程序. 例如在微積分, 我們定義出一個函數在某一點的極限後, 若每次都得依定義處理極限問題論證起來很複雜; 但當我們利用定義推導出一些極限的性質後, 用這些性質處理極限問題就簡單方便多了. 所以在定義之後我們會有一些定理 (Proposition 或 Theorem) 來論證一些依定義可得的性質, 以方便我們處理更進一步的問題. 以下就是要談向量加法及係數積有關的性質.
通常一個定理敘述完就要證明, 不過在這裡我們建議先緩一緩. 對同學來說了解定理說些什麼比起證明來得重要. 在這裡我們就一一說明一下這個定理說些什麼.
(1) 敘述的是所謂向量加法的交換性. 它告訴我們在處理向量加法時可以依方便交換順序. 或許同學覺得這個很自然為何還要證明. 事實上只要是定義未提的事情都要證明, 不能因為覺得自然而不去處理. 這裡大家會覺得自然是因為大家對實數的加法運算很清楚, 不過數學上是存在許多``抽象''的數系它的加法是不能交換的. 所以經由證明不只讓我們確認事情是對的, 也能幫助我們釐清事情是對的其背後的主要因素.
(2) 說的就是所謂的結合律, 它依然是因為實數加法的性質而成立. 這裡
是說先將
和
相加後所得的向量再和
相加. 這樣所得的向量和先將
和
相加後再和
相加會是同樣的向量.
這裡雖然也是談向量加法的順序問題, 不過和 (1) 所談的順序是兩回事,
大家應該要分清楚.
(3) 談的就是所謂的零向量, 零向量的特點就是加上任何向量都不動. 為什麼要特別談零向量的存在性? 這就好比在實數上若沒有零的概念就沒有減法一樣, 在向量的運算上是相當重要的. 尤其以後要用抽象的方式談向量系統時零向量的存在性更不容忽視.
(4)談的就是所謂的反向量, 要注意需有零向量的存在才能談反向量.
而且要區分清楚這裡的敘述是給了
後可找到
使得
. 這裡
是會隨著
而改變,
而不是一個固定的向量和所有的向量加起來會是零向量.
數學的敘述要弄清楚否則差之毫釐失之千里.
(5),(6),(7) 談的是係數積的性質, 例如
表示是先將
乘上
倍後所得的向量再乘上
.
這幾個性質也都和實數乘法性質息息相關, 雖然
看起來不顯眼但在處理向量的運算時非常重要.
(8) 指的是所有向量乘上 後仍不動.
這裡特別提出來其實和零向量意義很像, 唯有
的引入以後才能談係數的除法. 例如已知
, 就可利用 (5)
的性質兩邊乘上
, 得
最後要強調一下: 這裡將這些性質列出, 並不是要求大家將這幾個性質背下來. 一來我們希望大家知道有些性質不能覺得理所當然就不去證明, 另一方面也讓大家知道以後在處理向量運算時可以放心且自然的使用這幾個性質. 現在我們就來看看這些證明.
接下來我們將舉一個例子來說明我們可以用向量的性質 (Proposition 1.1.2) 來處理一些幾何的問題. 由於這些性質以後我們不會用到, 所以在此不用定理的形式呈現而是用例題的形式呈現.
我們利用下圖來解釋這兩個性質會成立的原因:
依假設 分別為
和
的中點, 故知
同學或許會想到用設定坐標的方式處理 Example 1.1.3 的問題. 這裡我們故意不去設定坐標系, 而僅用 Proposition 1.1.2 中列出的向量運算性質去處理, 主要就是要強調這幾個運算性質就足以處理向量有關的性質. 也就是說不一定需要架設坐標系, 只要符合 Proposition 1.1.2 中列出的運算性質, 都可享有 Example 1.1.3 的性質. 另外由 Example 1.1.3 的處理過程中我們了解到, Proposition 1.1.2 的運算性質可幫助我們在處理向量有關的等式運算時可如處理實數的等式運算一樣 (例如移項, 消去...等). 這些等我們以後更進一步談向量空間時, 大家就更能體會了.