Why $K^0 = \{0\}$? I am reading "Linear Algebra" by Takeshi SAITO.
Why $n \geq 0$ instead of $n \geq 1$?
Why $K^0 = \{0\}$?
Is $K^0 = \{0\}$ a definition or not?
He wrote as follows in his book:
Let $K$ be a field, and $n \geq 0$ be a natural number.  
$$K^n =  \left\{\begin{pmatrix}
           a_{1} \\
           a_{2} \\
           \vdots \\
           a_{n}
         \end{pmatrix} \middle| a_1, \cdots, a_n \in K \right\}$$
is a $K$ vector space with addition of vectors and scalar multiplication.
$$\begin{pmatrix}
           a_{1} \\
           a_{2} \\
           \vdots \\
           a_{n}
         \end{pmatrix} +
\begin{pmatrix}
           b_{1} \\
           b_{2} \\
           \vdots \\
           b_{n}
         \end{pmatrix} = \begin{pmatrix}
           a_{1}+b_{1} \\
           a_{2}+b_{2} \\
           \vdots \\
           a_{n}+b_{n}
         \end{pmatrix}\text{,}$$
$$c \begin{pmatrix}
           a_{1} \\
           a_{2} \\
           \vdots \\
           a_{n}
         \end{pmatrix} =
\begin{pmatrix}
           c a_{1} \\
           c a_{2} \\
           \vdots \\
           c a_{n}
         \end{pmatrix}\text{.}$$
When $n = 0$, $K^0 = 0 = \{0\}$.

It is a convention, which you can take as a definition.
Since $K^n$ is an $n$-dimensional vector space when $n$ is a positive integer, we would like to have $K^0$ to denote a zero-dimensional vector space, which would be $\{0\}$.
