广义Frame范畴

来源 :南京师范大学 | 被引量 : 2次 | 上传用户:yuhuafenghao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文引入广义fratme与广义frame同态的概念,这两个概念是frame与frame同态概念在范畴意义下的严格推广,存在大量的非平凡的例子表明广义Rame的范围远远大于通常的frame.我们借助于范畴论的工具来研究广义frame的拓扑性质、代数性质和范畴性质.由于广义frame本身是一个小范畴,它具有一些重要的范畴性质,例如完备性、余完备性以及Cartesian闭性.而且Frame范畴是广义Frame范畴(即以广义Rame为对象,以广义frame同态为态射的范畴)的反射子范畴. 讨论了广义frame中点、素元与谱空间的性质,证明了一个广义frame上全体点与该广义frame上全体素元之间存在着范畴等价的关系,此关系不同于经典frame理论中一个frame上全体点的集合与该frame上全体素元的集合之间的一一对应关系.讨论了广义Frame范畴与拓扑空问范畴之间的函子关系,证明广义frame的谱空间是Sober空间. 给出广义frame的核函子、商、开商与闭商的定义.证明了一个广义frame A 上全体核函子所构成的范畴N(A)(或一个广义frame A的全体商所构成的范畴Q(A))是广义fraine,该结果推广了frame理论中一个frame的全部核所构成的格(或一个frame的全部商所构成的格)仍然是frame的经典结论. 接下来,讨论广义Frame范畴中的积与余积构造. 最后,讨论广义frame的分离性与紧性.
其他文献
同步是自然界中一种常见的现象,意味着两个或多个周期或混沌的系统调整彼此状态,最终达到一致的动力学行为。混沌同步研究不仅具有重大的理论价值而且有许多实际应用。近十几年
格值模糊赋范线性空间,即L-模糊赋范线性空间,是模糊赋范线性空间和经典赋范线性空间的自然推广.本文致力于L-模糊赋范线性空间基本理论的研究.主要内容包括:L-模糊赋范线性空问的
随着多媒体、网络技术的迅速发展,图像信息的应用日益广泛,对规模越来越大的图像数据库进行有效的管理成为迫切需要解决的问题。基于内容的图像检索正是解决从大量图像中获取出
孤子方程属于无穷维可积系统,是当今非线性科学研究的主流方向之一。人们惊喜的发现这些有限维可积系统紧密地联系着无穷维可积系统,即大部分已知的有限维可积系统均可由无穷维