Locale理论的构造式处理及其应用

基本信息
批准号:19901016
项目类别:青年科学基金项目
资助金额:5.50
负责人:贺伟
学科分类:
依托单位:陕西师范大学
批准年份:1999
结题年份:2002
起止时间:2000-01-01 - 2002-12-31
项目状态: 已结题
项目参与者:王延庚,刘峰
关键词:
TOPOS理论LOCALE理论范畴论
结项摘要

We obtained a characterization of S-compact locales,as applications,an internal characterization of S-cpmpact spaces is given.A new definition of convergence of filters on a locale is.given,which is equivalent to topological convergence on special locales and can be applied to any locales.Some characterizations of compactness and descriptions of Cauchy completeness are obtained.We proved that the inverse limits of compact spatial locales is in general not spatial and a sufficient condition for spatiality is given.As applications we obtained a sufficient condition for.spatiality of arbitrary product cales.This answers an open problem.posed by J.Isbell in 1972.Some necessary and sufficient conditions for the Scott topology on a complete lattice to be sober are obtained.The concept of homotopy of maps of locales is given and the.properties of the category of homotopy class of locales are investigated. We obtained a contravariant functor from the category of homotopy class of locales to the category of groups and showed that the fundamental groups is a homotopy invariant in the category of locales

构造性是locale理论与经典拓扑学相比最主要的特点,locale形式的Tychonoff乘积定理就且桓龅湫偷睦印=酶衤邸OPOS理论和范畴论的工具,不用选择公理或完全构造性地建立在经典拓扑学中密切依赖于选择公理的相应结论。这些结构的建立一方面将改进和推广经典拓扑学中的已有结论,另一方面也为机器证明在拓扑学中的应用奠定理论基础。.

项目摘要

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

复杂系统科学研究进展

复杂系统科学研究进展

DOI:10.12202/j.0476-0301.2022178
发表时间:2022
2

基于旋量理论的数控机床几何误差分离与补偿方法研究

基于旋量理论的数控机床几何误差分离与补偿方法研究

DOI:
发表时间:2019
3

现代优化理论与应用

现代优化理论与应用

DOI:10.1360/SSM-2020-0035
发表时间:2020
4

多元化企业IT协同的维度及测量

多元化企业IT协同的维度及测量

DOI:
发表时间:2017
5

水平地震激励下卧式储罐考虑储液晃动的简化力学模型

水平地震激励下卧式储罐考虑储液晃动的简化力学模型

DOI:10.13465/j.cnki.jvs.2020.13.019
发表时间:2020

贺伟的其他基金

批准号:10271056
批准年份:2002
资助金额:19.00
项目类别:面上项目
批准号:61903196
批准年份:2019
资助金额:23.00
项目类别:青年科学基金项目
批准号:71772073
批准年份:2017
资助金额:48.00
项目类别:面上项目
批准号:39170643
批准年份:1991
资助金额:3.50
项目类别:面上项目
批准号:71402061
批准年份:2014
资助金额:20.50
项目类别:青年科学基金项目
批准号:11171156
批准年份:2011
资助金额:42.00
项目类别:面上项目
批准号:11571175
批准年份:2015
资助金额:45.00
项目类别:面上项目
批准号:51609189
批准年份:2016
资助金额:20.00
项目类别:青年科学基金项目

相似国自然基金

1

LOCALE理论的研究

批准号:19271011
批准年份:1992
负责人:郑崇友
学科分类:A0112
资助金额:2.80
项目类别:面上项目
2

Locale 理论与连续函数环

批准号:10271056
批准年份:2002
负责人:贺伟
学科分类:A0112
资助金额:19.00
项目类别:面上项目
3

LOCALE理论与FUZZY拓扑学

批准号:18971060
批准年份:1989
负责人:刘应明
学科分类:A0112
资助金额:1.30
项目类别:面上项目
4

紧框架的构造及其在图像处理中的应用

批准号:10426004
批准年份:2004
负责人:王海辉
学科分类:A0205
资助金额:3.00
项目类别:数学天元基金项目