子概形

子概形是一个数学名词。子概形(subscheme)开子概形、闭子概形与一般子概形的统称.概形(X ，Ox)的开子概形就是一个概形(U，Ou)，其中拓扑空间U是X的开子集，结构层Or; -O川二.若了是概形X的拟凝聚Ox理想层，Y=suppOx/.}，则Y是X的闭子集，而称(Y，< Ox /.}) } r)为由了确定的闭子概形.可见对于拓扑空间X的一个闭子集Y，以Y作为拓扑空间的闭子概形不止一个，但其中必有一个惟一的最小闭子概形，这个闭子概形一定是既约的.若概形Y是X的某个开子概形的闭子概形，则称Y为X的子概形.若态射.f : Y-> X诱导了Y到X的一个开子概形(或相应地:闭子概形、子概形)上的同构，则相应地称f是一个开浸人(或闭浸人、浸人).