王武
- 作品数：24 被引量：16H指数：4
- 供职机构：天津理工大学中环信息学院更多>>
- 发文基金：高等学校大学数学教学研究与发展中心教学改革项目天津市科技发展战略研究计划项目国家自然科学基金更多>>
- 相关领域：理学文化科学自动化与计算机技术电子电信更多>>
- 由T_(0)拓扑空间定义的定向空间与可数定向空间
- 2021年
- 将由T_(0)拓扑空间上特殊化序定义的定向空间推广,定义了可数定向空间,并说明了以所有可数定向空间为对象,所有连续函数为态射的范畴是cartesian闭范畴.进一步的,通过伴随给出了定向(可数定向)连续函数的一个等价刻画,并证明了定向(可数定向)空间的连续收缩是定向(可数定向)空间.
- 王武张舜
- 拟代数空间的若干性质
- 2025年
- 利用拟连续闭包算子和紧元研究了拟代数空间的拟代数性,证明了拟代数空间在拟连续闭包算子下的不变性,同时给出了拟连续代数空间在一定条件下的一些等价刻画.主要结论为:(1)拟代数空间的拟连续闭包算子象是拟代数空间;(2)在一定条件下,定向空间X是拟代数空间当且仅当:对于任意a,b∈X,a≠b蕴含fin_(k)(a)≠fin_(k)(b).
- 王武
- 序列拟连续domain的广义有界理想
- 2024年
- domain理论是计算机程序语言的理论基础,为计算机函数式程序提供了数学模型。拟连续domain是domain理论的重要推广。本文以链为主要研究对象,对一般的拟连续domain进行了推广,定义了序列拟连续domain、序列拟基及其广义有界理想,并证明了序列拟基可以嵌入到其广义有界理想中。同时,本文指出广义有界理想的集合是序列拟连续domain。这为理论计算机提供了更为简单的程序式语义和数学模型,有助于对domain理论的进一步研究。
- 王武
- 关键词：DOMAIN
- s_(2)-超连续偏序集
- 2024年
- 将偏序集的超连续性和s_(2)-连续性进行推广,定义了s_(2)^(*)-超连续偏序集,并给出了s_(2)-超连续偏序集和s_(2)^(*)-超连续偏序集的一些等价刻画.主要结果有:1)定义了s_(2)-集并通过其得到了偏序集L为s_(2)-超连续的四个等价刻画;2)给出了s_(2)^(*)-超连续偏序集与s_(2)-连续偏序集之间的关系;3)定义了s_(2)-C-空间,并给出了s_(2)-C-空间与s_(2)^(*)-超连续偏序集的关系.
- 张舜王武
- 一道研究生入学考试数学题目的分析与探讨
- 2020年
- 研究生入学考试是国家级入学考试,一般理工类专业的研究生入学考试均需考察数学。考研数学中不等式的证明一直是一个难点,尤其是利用微分中值定理证明不等式。本文对2020年全国硕士研究生入学考试的一道数学题目做了分析,发现该题目可用中值定理进行证明,并且可以将结论推广到更一般的情况。
- 周思杰王武
- 关键词：研究生入学考试导数拉格朗日中值定理
- 连续空间的伴随式刻画被引量：6
- 2020年
- 对连续空间进行了进一步的研究,并且证明了下述各命题等价设X是一个T0拓扑空间.则下述三条等价:1)X是一个连续空间;2)映射∨:NI(X)→X有连续下伴随;3) X是某代数空间的连续收缩.
- 王武
- 拟连续Domain的SM^(*)性质
- 2023年
- 研究了拟连续Domain中比M^(*)性质更强的SM^(*)性质,并得到了一些有意义的结论.主要结果有:给出了拟连续Domain具有M^(*)性质的等价刻画;给出了拟连续Domain的SM^(*)性质的定义,并说明了M^(*)性质与SM^(*)性质的关系;给出了QL-Domain具有SM^(*)性质的等价条件;给出了两类具有性质SM^(*)的特殊的拟连续Domain.
- 王武谭彬张舜
- 关键词：拟连续DOMAIN
- 连续空间与拟连续空间的网式刻画
- 2023年
- 本文在定向空间中引入了网的S极限和广义S极限的概念。分别给出了连续空间和拟连续空间的网式刻画。
- 王武
- 定向空间的way below基被引量：5
- 2022年
- 文章将连续定向空间的<<-基推广到了交连续定向空间和拟连续定向空间.并给出了定向拓扑的基与(拟)<<-基的关系,以及连续定向空间<<-基与其拟<<-基、交<<-基的关系.
- 王武张国丽王颖
- 偏序集上的MS-收敛被引量：4
- 2023年
- 定义在s_(2)-连续偏序集上的S-极限是一种重要的收敛结构.本文用集族MS代替定向集,将s_(2)-连续和S-极限进行推广,定义了s_(2)MS-连续和MS-极限,并用MS-极限定义了s_(2)MS-α-连续.本文主要结果有:(i)如果L为s_(2)MS-连续偏序集且MS关系具有插入性质,则MS-收敛是拓扑的;(ii)如果L为偏序集,任意的x∈L,α(MS)x∈MS且α(MS)具有插入性质,则MS-收敛为拓扑的当且仅当L为s_(2)MS-α-连续的.
- 王武张舜谭彬
- 关键词：偏序集
