登录    注册    忘记密码

四川大学数学学院长江数学中心 收藏

导出分析报告

研究主题:函数空间    注记    偏序集    拟连续DOMAIN    拟连续    

研究学科:

被引量:10H指数:2北大核心: 11 CSCD: 11

-

检索结果分析

署名顺序

  • 全部
  • 第一机构
结果分析中...
排序方式:

12 条 记 录,以下是 1-10

关于函数空间的超连续性
1
《数学年刊(A辑)》四川大学数学学院;四川大学数学学院长江数学中心 原雅燕 寇辉  出版年:2010
国家自然科学基金(No.10871137);教育部新世纪优秀人才支持计划(No.070576)资助的项目
超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴.
关键词:超连续格 完备半格  函数空间 Cartesian闭范畴  
关于拟连续domain以及函数空间的注记
2
《模糊系统与数学》四川大学数学学院长江数学中心 赵浩然 寇辉  出版年:2012
国家自然科学基金资助项目(10871137);教育部新世纪优秀人才计划项目(070576)
用伴随的方式给出了拟连续domain以及其Scott闭集格(又叫广义完全分配格)的等价刻画。此外,本文证明了拟连续格关于函数空间是不封闭的,从而不能构成cartesian闭范畴。
关键词:拟连续 伴随  函数空间
偏序集乘积的拓扑与拓扑乘积
3
《四川大学学报(自然科学版)》四川大学数学学院/长江数学中心 陈大江 寇辉  出版年:2011
国家自然科学基金(10871137);教育部新世纪优秀人才支持计划(070576)
作者讨论了偏序集乘积的下拓扑、Scott拓扑及Lawson拓扑与它们各自对应的拓扑集积之间的关系,给出了乘积的下拓扑空间等于下拓扑乘积空间和乘积的Lawson拓扑空间等于Lawson拓扑乘积空间的充分必要条件,修正了专著...
关键词:下拓扑  SCOTT拓扑 LAWSON拓扑
范畴Ω-Cat的函数空间及其性质
4
《模糊系统与数学》伊犁师范学院数学与统计学院;四川大学数学学院长江数学中心 耿俊 汤建钢  出版年:2014
新疆维吾尔自治区普通高校重点学科开放课题(2012ZDXK01)
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat的Ω-值函数空间,得出了Ω-值函数空间函子与Ω-值积函子互为伴随函子,证明了范畴Ω-Cat是Cartesian闭范畴。
关键词:Ω-范畴 Ω-值函数空间  伴随函子 Cartesian闭性  
偏序集范畴的Cartesian闭性
5
《四川大学学报(自然科学版)》四川大学数学学院/长江数学中心 曾钰 寇辉  出版年:2011
国家自然科学基金(10871113);教育部新世纪优秀人才支持计划(070576)
作者讨论了偏序集范畴的Cartesian闭性,给出了偏序集范畴的满子范畴具有Cartesian闭性的充分必要条件.特别地,作者证明了交连续半格(不要求定向完备性)范畴是Cartesian闭范畴,L-CDCPO范畴是L-P...
关键词:偏序集 范畴  Cartesian闭性  
关于拟连续domain以及函数空间的注记
6
中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议 2012赵浩然 寇辉  出版年:2012
用伴随的方式给出了拟连续domain以及其Scott闭集格(又叫广义完全分配格)的等价刻画。此外,本文证明了拟连续格关于函数空间是不封闭的,从而不能构成cartesian闭范畴。
关键词:拟连续 伴随  函数空间
关于交半格同态构成的函数空间与FS-交连续Domain
7
《数学年刊(A辑)》四川大学数学学院;四川大学数学学院长江数学中心 孟华 寇辉  出版年:2011
国家自然科学基金(No.10871137);教育部新世纪优秀人才支持计划(No.070576)资助的项目
定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续...
关键词:FS-交连续domain  有界完备domain  函数空间 幂domain  
事件结构与Domain
8
《模糊系统与数学》四川大学数学学院长江数学中心 熊利平 寇辉  出版年:2012
国家自然科学基金资助项目(10871137);教育部新世纪优秀人才计划项目(070576)
研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质I的代数L-domain。特别地,本文通过稳定事件生成的事件domain,证明了以线性映射为态射、以DI...
关键词:事件结构  性质I  L-DOMAIN DI-domain  
可允许度量下有限能量辛涡旋的渐近行为献给钱敏教授90华诞
9
《中国科学:数学》四川大学数学学院;Department of Mathematics;Department of Mathematics 陈柏辉 王百灵 王蕊  出版年:2021
国家自然科学基金(批准号:11431001,11821001和11890663)资助项目。
假设(X,ω)是一个具有紧致单连通Lie群G Hamilton作用的紧致光滑辛流形.本文证明只要Riemann面的柱形端口具有一个比标准柱形度量增长速度快的线性度量,那么任何一个有限能量辛涡旋将以指数衰减的速度收敛到辛流...
关键词:辛约化  Hamilton Gromov-Witten理论  辛涡旋方程  渐近行为 可允许度量  
基于Ω-范畴的定向与逆向函子伴随性的研究
10
《模糊系统与数学》四川大学数学学院长江数学中心 耿俊 寇辉  出版年:2014
国家自然科学基金资助项目(11371262)
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴...
关键词:Ω-范畴 Zadeh型定向函子  Zadeh型逆向函子  伴随性
已选条目 检索报告 聚类工具

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心