关于Nullstellensatz（零点定理）与域定义域的对应关系疑问

嘿，你的理解完全正确！咱们把这两个结论分别理清楚：

1. 根理想与来自$k[x_1,\dots,x_n]$理想的代数子集的双射 #

• 对于每个根理想$I \subseteq k[x_1,\dots,x_n]$，它对应$\overline{k}^{n$中的代数子集$V_{\overline{k}}(I)$——也就是所有满足I中所有多项式取值为0的$\overline{k}}n$中点的集合。
• 反过来，给定一个由$k[x_1,\dots,x_n]$中理想定义的代数子集$X \subseteq \overline{k}^n$（即存在$J \subseteq k[x_1,\dots,x_n]$使得$X=V_{\overline{k}}(J)$），定义$I(X) = { f \in k[x_1,\dots,x_n] \mid f(p)=0 \text{ 对所有 } p \in X }$。根据Nullstellensatz，$I(X)$是根理想。
• 这两个映射是互逆的：
  • 若I是根理想，则$I(V_{\overline{k}}(I)) = \sqrt{I} = I$；
  • 若X是由k上理想定义的代数子集，则$V_{\overline{k}}(I(X)) = X$，因为X本身就是k上多项式的零点集。
    这就建立了双射关系。

2. 极大理想对应极小非空代数子集 #

• 完全没错！从包含关系的对偶性来看：
  • $k[x_1,\dots,x_n]$中的极大理想是根理想里“最大”的（没有更大的根理想包含它），对应的代数子集自然是“最小”的（没有更小的非空、由k上理想定义的代数子集包含它）。
  • 反过来，任何极小的非空这类代数子集X，它对应的$I(X)$一定是极大理想——如果存在一个更大的根理想包含$I(X)$，那对应的代数子集就会是X的真子集，这和X的极小性矛盾。
    举个直观例子：当k是实数域$\mathbb{R}$时，$\mathbb{R}[x]$的极大理想要么是$(x-a)$（对应$\mathbb{C}$中的点$a$，也就是$\mathbb{R}$上的有理点），要么是$(x^2+bx+c)$（对应$\mathbb{C}$中的一对共轭复根，这是$\mathbb{C}$中极小的、由$\mathbb{R}$上理想定义的代数子集），正好对应极小非空的代数子集。

备注：内容来源于stack exchange，提问作者Object