环空间((ringed space)一类重要的拓扑空间.指一种带有一个环层Ox的拓扑空间X.环层Ox被称为环空间(X,Ox)的结构层一般地，Ox是一个带单位元的交换环层.环空间的态射(.f,.f#):<X,Ox)->(Y,O,.)是由拓扑空间的连续映射.f:X-}Y以及X上的环层同态.f # : OY-> f . Ox所构成.环空间及其态射构成一个范畴.当Ox是局部环层时，(X,Ox)称为局部环空间.作为局部环空间的态射，还要求对每个点xEX，同态刀:OY, fc=} } }x，二是局部同态，即它把极大理想映人极大理想.局部环空间的范畴是环空间范畴的子范畴.环空间的重要例子有...