自由向量空间 (free vector space)

按作者与版本查阅

以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示；最早位置不代表全书首次定义。

Szekeres · source-snapshot-bc3404156f6e

已登记出处中的最早位置：§7.1 · zh-CN。

位置	语言	登记角色
§7.1	zh-CN · 英文上下文	术语出现
§7.1	en · 中文上下文	术语出现

来源短摘录与定位

§7.1 · zh-CN · translation · unreviewed

更严格地说，集合 $S$ 上的 自由向量空间(free vector space) $F(S)$ 定义为所有函数 $f:S\to \mathbb{K}$ 的集合，这些函数在 $S$ 的除有限个元素外的所有元素处取值为零。显然，$F(S)$ 在通常的定义下是一个向量空间，

§7.1 · en · original_transcription · unreviewed

More rigorously, the free vector space $F(S)$ on a set $S$ is defined as the set of all functions $f:S\to \mathbb{K}$ that vanish at all but a finite number of elements of $S$. Clearly $F(S)$ is a vector space with the usual definitions,

来源覆盖、定位与记录

索引保留所有已登记出处，不受模型材料包八小节限额影响。中英上下文按已登记的书、版次与小节配对，不冒充另一语言的概念定义。没有穷尽全书未标记的术语；程序校验不提升原著或译文审阅资格。

登记位置 2；当前可定位出现 2。

永久身份：urn:uuid:47072eab-eb7b-4766-b00a-0bf3fe867c5e。

身份历史 · 结构化来源索引