紧致Hausdorff空间上连续函数环的极大理想

希尔伯特零点定理给出了一个多元多项式方程组有公解的充分必要条件。要讨论一类特殊的拓扑空间上的连续函数的零点定理,以及零点的唯一性(命题1,推论),由此出发,证明每个紧致Hausdorff空间与它的连续函数环的极大谱同胚(命题4),从而导出:两个紧Hausdorff空间的连续函数环同构,则这两个空间同胚,即“环同构”推出“拓扑同胚”(推论5),最后,讨论拓扑空间与其极大谱同胚的一个必要条件,由此得到拓扑空间是紧Hausdorff空间的一个充分必要条件(命题5)。