斎藤毅著『線形代数の世界』を読んでいます。

n ≧ 0 を自然数とすると、
K^n = {(a_1, …, a_n) | a_1, …, a_n ∈ K} はベクトル空間になる。

という内容が書いてあります。

(a_1, …, a_n) と書いた以上、 n ≧ 1 でなければならないのではないでしょうか？


n = 0 の場合は、 K^0 は空写像からなる線形空間ということでしょうか？