广义Frame范畴-基础数学专业论文.docxVIP

第ii页 第ii页 摘 要 关键词： 广义frame，广义frame同态，广义Frame范畴．点，素元，谱空间，商 核函于，积。余积，正则性，完全正则性。正规性，紧性． AbstractIn Abstract In view of topology,fram∞(or locales)arc generalization of open-set lattices；of topological spaces，and in view of algebra，a frame(Or locale)is a complete lattice L，satisfying the infinite distributive law： nA(Vs)=V{oA sfs∈s}，o∈L，S∈L， what the most important meaning for the generalization is that we can study the topological properties of frames(or locales)on the basis of intuitional logic by means of order algebra，and apply them to the category of topological spaces．In view of category,a frame(or locale)is a small complete(cocomplete)category L，such that the set of morphisms between two objects has at most one element．satisfying the condition that for any object a，the product functor a×(一)：L_L preserves coproducts．Hence it is a natural and interesting question whether we can generalize frame(or locale)to a small category． In the thesis，we introduce the concepts of generalized frames and generalied frame homomorphisms which are strict generalizations of the corresponding con- cepts of frames in the sense of category．There exist a great number of non-trivial examples sh∞l，ing that generalized frames not frames in general． So we can discuss the topological properties,algebraic properties and category properties of generalized frames by the tool of category theory．As small categories，generalized frames have many category properties such completeness，cocompleteness and Cartesian clesedness． We show that the category of frames is reflective subcat- egory of the category of generalized frames(i．e．，the category whose objects generalized frames，and whose morphisms are generalized frame homomorphisms)． We discuss the properties of points，prime elements and spectrums of general- ized frames,and prove that the category of all points of a generalized frame and the category of aH prime elements of the generalized frame are eqmvalem．The result 第iv页 第iv页