分量

本书暂定概念：尚未进入正式概念库。下面是本书给出的定义原文。

定义 · 2.2 向量空间

数 $v^i\in K$ 称为 $\mathbf{v}$ 关于基 $\{e_j\}$ 的分量(component)。若基中含有 $n$ 个元素，则 $V$ 的维数为 $n$，记作 $\dim V=n$。通常把 $K$ 上的 $n$ 维向量空间记作 $V(n,K)$（若 $n$ 与 $K$ 可由上下文看出，则简记为 $V$）。我们假定 $n$ 是有限的。

英文原文

The numbers $v^i\in K$ are called the components of $\mathbf{v}$ with respect to the basis $\{e_j\}$ . If there are $n$ elements in the basis, the dimension of $V$ is $n$ , denoted by $\dim V=n$ . We usually write the $n$ -dimensional vector space over $K$ as $V(n,K)$ (or simply $V$ if $n$ and $K$ are understood from the context). We assume $n$ is finite.

出处：2.2 向量空间 · node a-ed85a25e5a2853b23f4c28d7 · 源节点 SHA-256 15249a34118557bd…