定义
在数域 为 F F 的 n n 维线性空间
中,一条直线为集合:
{
x1α1+x2α2|x1,x2∈F,x1+x2=1}(1) (1) { x 1 α 1 + x 2 α 2 | x 1 , x 2 ∈ F , x 1 + x 2 = 1 }
其中 α1,α2∈V,α1≠α2 α 1 , α 2 ∈ V , α 1 ≠ α 2
(1)式写成矩阵的形式就是:
{
(α1α2)X|X∈F2,(11)X=(11)}(2) (2) { ( α 1 α 2 ) X | X ∈ F 2 , ( 1 1 ) X = ( 1 1 ) }
定理
n n 维空间中,过两点有且只有一条直线。
证明
存在性
显然这两点过直线:
{
(α1α2)X|X∈F2,(11)X=(11)} { ( α 1 α 2 ) X | X ∈ F 2 , ( 1 1 ) X = ( 1 1 ) }
唯一性
对于任意两点 γ1,γ