代数几何编码：概念、经典码及构造
1. 代数几何编码概述
自1977年V. D. Goppa发现利用代数几何的编码以来，对这类编码的研究大量涌现。1982年，Tsfasman、Vl˘adut¸和Zink证明了某些代数几何码超越了渐近吉尔伯特 - 瓦尔沙莫夫界，这让人们意识到了其重要性，因为许多编码理论家曾认为这是无法实现的。代数几何码，现在常被称为几何戈帕码，最初是利用代数几何中的许多广泛而深刻的结果发展起来的。这些码可以通过代数曲线来定义，也可以利用代数函数域来定义，因为“良好”的代数曲线和这些函数域之间存在一一对应关系。
2. 仿射空间、射影空间与齐次化
代数几何码是相对于仿射空间或射影空间中的曲线来定义的，下面介绍这些概念。
-仿射空间：设F是一个域（可能是无限域），n维仿射空间$A^n(F)$定义为普通的n维向量空间$F^n$，其中的点为$(x_1, x_2, …, x_n)$，且$x_i \in F$。
-射影空间：定义n维射影空间$P^n(F)$相对复杂。首先，设$V_n$是$F^{n + 1}$中的非零向量。若$x = (x_1, x_2, …, x_{n + 1})$和$x’ = (x_1’, x_2’, …, x_{n + 1}’)$在$V_n$中，当存在非零的$\lambda \in F$，使得$x_i’ = \lambda x_i$（$1 \leq i \leq n + 1$）时，称$x$和$x’$等价，记为$x \sim x’$。这种等价关系的等价类记为$(x_1 : x_2 : … : x_{n + 1})$，由$(x_1, x_2, …, x_{n + 1}
)
