L-模糊度量空间的紧致性

在L-模糊度量空间的意义下,定义了准紧致性和Lebesgue数.并证明了Lebesgue数定理,进一步研究了L-模糊度量空间中准紧致性与紧致性的关系.

L-模糊度量空间的准紧致性与紧致性的关系

文章在R.Saadati定义的L-模糊度量空间的意义下,定义了Lebesgue数并证明了Lebesgue数定理.同时,又给出了L-模糊度量空间的准紧致性的定义,并在此基础上进一步讨论了L-模糊度量空间中准紧致性与紧致性的关系。

模糊度量空间的紧致性

在A.George和P.Veeramani定义的模糊度量空间的意义下,定义了Lebesgue数并证明了Lebesgue数定理,进一步讨论了在模糊度量空间中紧致性与序列紧致的关系以及紧致性与分离性的关系.

张量变分不等式问题解集的非空紧致性研究

本文利用例外簇方法研究张量变分不等式问题解集的非空紧致性,并且定义了张量变分不等式问题新的例外簇,证明张量变分不等式不存在例外簇则一定存在解,给出了张量变分不等式问题解集为非空紧致集的几个充分条件。

紧致性与可数紧致性的一种刻画

在认真研究和讨论紧致性空间本质特征和几种覆盖性质的基础上,给出了几个新的加细概念,从而给出了紧致性空间和可数紧致性空间的一些新的刻画;进一步讨论了紧致的T6空间,获得了T6空间的紧致性可以用函数开覆盖(补零覆盖)刻画等一系列结果。

Vietoris拓扑空间中的一些紧致性质

研究了 Vietoris拓扑空间 F0 (X)中的一些紧致性质与拓扑空间 X中紧致性质的关系 .证明了 (1 )B(U1 ,… ,Un)在 Vietoris拓扑空间 F0 (X)中紧致的充要条件是对每个 i∈ { 1 ,… ,n} ,Ui 在拓扑空间 X中是紧致的 ;(2 )如果 C(X)是 Vietoris拓扑空间 F0 (X)中的闭子集 ,那么 X是局部紧的充要条件是 C(X)是 Vietoris拓扑空间 F0 (X)

逻辑系统NMG的满足性和紧致性

紧致性是模糊逻辑的一个重要性质.现已经证明■ukasiewicz命题逻辑、Gdel命题逻辑、乘积命题逻辑和形式系统L*都是紧的.通过刻画逻辑系统NMG中的极大相容理论和证明NMG的满足性,进而证明了NMG也是紧的.

模糊逻辑的紧致性与模糊理论相容度

为了得到一般理论的相容度函数,利用不同的模糊系统的共同性质——模糊系统的紧致性,基于相容、不相容和全发散理论的性质以及发散度的概念,主要在二值逻辑系统和L*命题逻辑来讨论理论的相容度问题,对有限命题集的相容度函数给出自然的推广,得到一般的命题集的相容度函数,并讨论了相容度函数的性质。

弱诱导的L－fuzzy双拓扑空间的紧致性与连通性

本文研究弱诱导的Ｌ－ｆｕｚｚｙ双拓扑空间的紧致性、连通性与其底空间的紧致性、连通性之间的关系．

系统L^＊中极大相容理论的结构刻画和紧致性定理

为给模糊推理建立严格的逻辑基础,本文第二作者在1997年提出了一种新型的模糊命题演绎系统L*。本文基于系统L*的强完备性定理给出了极大相容理论的结构刻画,证明了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里φi∈{pi,■pi,(■p2i)&(■(■pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命题变元,进而给出了极大相容理论的若干刻画条件。本文还证明了系统L*的满足性定理和紧致性定理。至此,系统L*的基本定理包括完备性定理、强完备性定理、可判定性定理、满足性定理和紧致性定理已被我们所掌握,所以本文的结果完善了系统L*的理论体系。

关于拓扑空间的S收敛性与S紧致性

给出拓扑空间的S收敛性的定义，研究S收敛性的等价形式及拓扑空间中具有S性质的闭集族与收敛性的关系。最后给出了介于可数紧与子集紧空间之间的又一种紧致性—拓扑空间的S紧致性。

有限域的紧致性定理及其应用

首先给出定理1,它是模型论中紧致性定理的一个推论,但在代数中有不少应用.定理1 设 F={a_1,…,a_n}(n=p^m)为一有限域。

关于抽象逻辑紧致性的一个定理

以模糊语义为背景 ,在标号集具有一定结构的一族全序完备格的乘积上引入了抽象语义及其连续性概念 ,证明了具有这种连续性的抽象语义是紧致的 ,由此可以推出取值于 [0 。

一个新的函数空间的紧致性

借助于Kurzweil Henstock积分建立了一个新的函数空间K ,并证明了它的紧致性 ,为讨论x′ =g(x,t) +h(t)

超距空间的紧致性及其相关性质

利用超距空间的基本性质及拓扑空间紧致性的相关理论,给出超距空间为紧致空间的充分且必要条件,并讨论了一些相关性质。

(Q)格值模型论的紧致性定理

对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了紧性致定理。

一种结合紧致性与分离性的模糊联合聚类算法

为了同时对数据对象和特征进行聚类分析以提高聚类准确率,在模糊紧致性和分离性算法(fuzzy compactness and separation,FCS)基础上,提出一种结合类内紧致性和类间分离性的模糊联合聚类算法(fuzzy compactness and separation co-clustering,FCSCC)。该算法在FCS的基础上增加了对特征维度的隶属度关系与熵最大化原理,能够在数据对象和特征2个维度上同时聚类。为验证该算法的有效性,另选择了3种算法在5个数据集上进行了对比实验,结果表明,FCSCC算法的聚类准确率高于其他3种算法。

基于正则收敛意义下决策函数空间的紧致性

就决策函数空间的特性进行讨论,指出任何统计决策问题总是与一个随机过程有关的,所有统计决策函数所构成的集合可以看作是一个拓扑空间.在给出了决策函数的概念、正则收敛意义下收敛的定义以及权函数的概念之后,引入了决策空间的内在度量.进而运用现代泛函分析的网格理论,就离散和连续两种情况证明了决策函数空间的紧致性.为统计决策函数在现代经济分析、预测、控制等领域的应用,从理论上奠定了基础.

超空间2~x的紧緻性租D紧性

本文分别给出超空间2~X 有关紧緻性和(?)-紧性的等价条件,从而改进和推广了 Gi-nsburg 等人的某些结果.

紧致性定理的纯语义证明

紧致性是一阶模型论的重要性质之一,本文给出紧致性定理的一个比较完整的纯语义证明。