1. 概述 于 代数几何 中, 环化空间 是配备环值函数层的拓扑空间. 它把空间的拓扑结构与其上的局部函数统一起来. 2. 定义 定义 1 (环化空间) 设 为 拓扑空间, 为 上的 环层. 称二元组 为 环化空间. 3. 例子 例子 2 (仿射谱) 对任意 交换环 , 配备 结构层 的 素谱 是 环化空间. 4. 相关性质 命题 3 (环化空间态射的复合) 环化空间态射由连续映射与反方向的层同态组成. 逐项复合仍给出环化空间态射, 因而环化空间构成一个 范畴. 5. 相关概念 结构层 环层 层同态 局部环化空间 概形态射 拓扑空间 6. 术语翻译 中文英文环化空间ringed space