您的位置： 专家智库 > >

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

作品数：12 被引量：10H指数：2
相关作者：陈大江曾钰霍旭辉更多>>
相关机构：四川师范大学数学与软件科学学院更多>>
发文基金：国家自然科学基金教育部“新世纪优秀人才支持计划”四川省教育厅资助科研项目更多>>
相关领域：理学更多>>

合作机构

文献类型

  • 11篇期刊文章
  • 1篇会议论文

领域

  • 12篇理学

主题

  • 5篇函数
  • 5篇函数空间
  • 2篇序集
  • 2篇拟连续
  • 2篇拟连续DOM...
  • 2篇偏序
  • 2篇偏序集
  • 2篇注记
  • 2篇函子
  • 2篇Ω-范畴
  • 2篇DOMAIN
  • 1篇定理
  • 1篇值函数
  • 1篇群胚
  • 1篇拓扑
  • 1篇涡旋
  • 1篇连续格
  • 1篇默认
  • 1篇华诞
  • 1篇渐近

机构

  • 12篇四川大学
  • 1篇四川师范大学
  • 1篇伊犁师范学院

作者

  • 8篇寇辉
  • 2篇耿俊
  • 1篇孟华
  • 1篇原雅燕
  • 1篇汤建钢
  • 1篇熊利平
  • 1篇霍旭辉
  • 1篇陈大江
  • 1篇赵浩然
  • 1篇曾钰
  • 1篇杜承勇

传媒

  • 4篇模糊系统与数...
  • 3篇四川大学学报...
  • 2篇数学年刊（A...
  • 1篇数学学报（中...
  • 1篇中国科学：数...
  • 1篇中国系统工程...

年份

  • 1篇2021
  • 1篇2018
  • 2篇2014
  • 3篇2012
  • 4篇2011
  • 1篇2010
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
关于拟连续domain以及函数空间的注记
用伴随的方式给出了拟连续domain以及其Scott闭集格(又叫广义完全分配格)的等价刻画。此外，本文证明了拟连续格关于函数空间是不封闭的，从而不能构成cartesian闭范畴。
赵浩然寇辉
关键词：拟连续函数空间
文献传递
关于交半格同态构成的函数空间与FS-交连续Domain
2011年
定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.
孟华寇辉
关键词：函数空间
范畴Ω-Cat的函数空间及其性质被引量：1
2014年
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat的Ω-值函数空间,得出了Ω-值函数空间函子与Ω-值积函子互为伴随函子,证明了范畴Ω-Cat是Cartesian闭范畴。
耿俊汤建钢
关键词：Ω-范畴伴随函子
关于拟连续domain以及函数空间的注记被引量：3
2012年
用伴随的方式给出了拟连续domain以及其Scott闭集格(又叫广义完全分配格)的等价刻画。此外,本文证明了拟连续格关于函数空间是不封闭的,从而不能构成cartesian闭范畴。
赵浩然寇辉
关键词：拟连续函数空间
偏序集范畴的Cartesian闭性被引量：1
2011年
作者讨论了偏序集范畴的Cartesian闭性,给出了偏序集范畴的满子范畴具有Cartesian闭性的充分必要条件.特别地,作者证明了交连续半格(不要求定向完备性)范畴是Cartesian闭范畴,L-CDCPO范畴是L-POSET范畴的极大Cartesian闭子范畴.
曾钰寇辉
关键词：偏序集
事件结构与Domain
2012年
研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质I的代数L-domain。特别地,本文通过稳定事件生成的事件domain,证明了以线性映射为态射、以DI-domain为对象的范畴是以稳定映射为态射、以具有性质I的代数L-domain为对象的范畴的反射子范畴。
熊利平寇辉
关键词：L-DOMAIN
偏序集乘积的拓扑与拓扑乘积被引量：2
2011年
作者讨论了偏序集乘积的下拓扑、Scott拓扑及Lawson拓扑与它们各自对应的拓扑集积之间的关系,给出了乘积的下拓扑空间等于下拓扑乘积空间和乘积的Lawson拓扑空间等于Lawson拓扑乘积空间的充分必要条件,修正了专著《Continuous Lattices and Domains》的若干不正确的结论.
陈大江寇辉
关键词：SCOTT拓扑LAWSON拓扑
可允许度量下有限能量辛涡旋的渐近行为献给钱敏教授90华诞
2021年
假设(X,ω)是一个具有紧致单连通Lie群G Hamilton作用的紧致光滑辛流形.本文证明只要Riemann面的柱形端口具有一个比标准柱形度量增长速度快的线性度量,那么任何一个有限能量辛涡旋将以指数衰减的速度收敛到辛流形X在正则值辛约化的扭曲分支或非扭曲分支上.本文结果无需假设群G在正则水平集上的作用是自由的.因此,它直接推广了Ziltener在群作用自由的假设下得出的相关结果.本文结果在作者关于量子化Kirwan同态的系列工作中有重要应用.
陈柏辉王百灵王蕊
关键词：渐近行为
关于函数空间的超连续性被引量：4
2010年
超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴.
原雅燕寇辉
关键词：超连续格函数空间
基于Ω-范畴的定向与逆向函子伴随性的研究
2014年
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴随函子。
耿俊寇辉
关键词：Ω-范畴伴随性
全选 清除 导出
共2页<12>
聚类工具0