[線性代數01] 向量空間的定義