连续统与集函数Γ

集函数(如T,K)在连续统理论中已显示出很好的性质,本文对一个尚未充分得到研究的集函数Γ给出若干结果。 定义1 X为连续统,A(?)X,Γ(A)=X—{x}存在x的分支至多可数闭邻域D(x),使D(x)∩A=φ}。 定义2 连续统X称为Γ可加的,如果对X的每个闭子集族Λ,∪Λ亦闭,则成立     

能行Hausdorff空间中按点r.e.开集的图灵度

设是P.Hingston称为“无元子递归E空间”的一种能行Hausdorff空间(见Effectivenessin Rings and Topology, Ph. D. Dissertation, Monash University, Australia, 1983).     

自映射的抽象ω-极限集

R. Bowen对于紧致度量空间上的自同胚引入了抽象ω-极限集的概念,并得出了一些有意义的性质。作为推广,本文对紧致度量空间上的自映射定义了抽象ω-极限集,随后证明了两个等价条件,这些条件清楚地刻划出这种极限集的动力学意义。本文的主要定理指出,若公理A自覆盖映射f的不变集ΛQ(f)为抽象ω-极限集,则存在x∈[Q(f)]~f使Λ=ω(x)=α(x)。由此可以看出,作为一类稳定的双曲集Q(f),虽然不能     

讳基数的一个组合性质

Solovay证明了定理:设k是正则不可数基数,则k的每一个稳定集是k个k上不交稳定集的并(参见文献[1]定理85).设k为讳基数,A(?)K,若A为讳集,则A是稳定集,从而A可以表示为k个不交稳定集的并.那么能否加强为“A是k个不交讳集的并呢”?本文作出了肯定的回答.文中使用的集合论术语是标准的.以α,β,γ,……表示序数,k,λ,……表示基数.设k为不可数正则基数,若C为K上的封闭无界子集,则我们记它为Club_kC.若s是K上的稳定集(stationary set),则记它为St_kS;若I是k上的理想,则令I~ ={x(?)k│X(?)I│,I~*=|X(?)k│(k-X)∈I},I,I~*是互相对偶的.令NS_K={X(?)k│Club_kX′∧X′(?)X}=|X(?)k│～St_kX}是封闭无界滤子的对偶理想,它是k完全的,通常称为稳定理想或疏朗(thin)理想.     

反链方法及其在正则三值逻辑函数计数上的应用

为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径.定义1 　设E={0,1/2,1},在E上除通常序“≤”外,再定义偏序(?)为:0(?)1/2,1(?)1/2,i(?)i.这两种序在E~n上各诱导出相应的乘积序,仍记为“≤”或“(?)”.映射f:E~n→E称正则函数,若(?)a,b∈E~n,当a(?)b时f(a)(?)f(b).正则函数f:E~n→E称单调函数,(?)a,b∈E~n,当a≤b时f(a)≤f(b).以下用F(n,R)记全体n元正则函数之集,用F(n,M)记全体n元单调函数之集.定义2 设(P,≤)是非空偏序集,a,b∈P.若有c∈P使c≤a且c≤b,则称a与b有公根.设A与B是P中的反链,若(?)a∈A和(?)b∈B,a与b有(无)公根,则称序对(A,B)为全(无)公根反链对.以下用E(n)表示(E~n,(?))中全体无公根反链对之集.令N(n)={1,…,n}.W(n)={L:L(?)N(n),L≠φ},用N(n,C)表示(W(n),(?))中全体全公根反链之集.定义3 设a=(a_1,…,a_n)∈(E~n.(?)).     

若干图参数的关系

定义1 对图G(V,E),设,若V中的点或在σ中,或与σ中的点相邻,则称σ为G的点控制集。记 σ(G)=min{|σ||σ为G的控制集}并称σ(G)为G的控制数。 类似地可定义G的边控制数σ(G)。 定义2 对图G(G,E),设E,若V∪E中的元素或在A中,或与A中的元素相邻或相关联,则称A为G的全覆盖     

递归可枚举fuzzy集合的投影定理

B=叫做上完备的递归布尔代数,若它的域B是自然数集N的一个递归子集,它的运算∨(并),∧(交),(?)(补)为部分递归函数,且在B的元素的自然偏序之下,B的任一子集合X在B中有上确界,记为∨X。     

不分明集的一个分解定理及其在不分明拓扑中的应用

设A是X上的任一不分明集,σ_r(A)={x:A(x)>r}表示A的强r截集,X_E表示X的子集E的特征函数,Q是[0,1)内所有有理数的集,则有以下     

L构造(Ⅱ)

L=(L,≤,∨,∧,′)为—Fuzzy格。X为一分明集,X到L的映射,称为L-Fuzzy集。 设x∈X,记L(x)P(X)(幂集):①L(X)≠φ;② V∈L(x)有x∈V;③若V∈L(x)则有v,∈L(x)使∈,∈L(y)。 定义 若A为X上的L-Fuzzy集,定义     

关于集值映射有连续选择的一点注记

考虑集值映射F:X→2~Y,X为仿紧空间,Y为Banach空间,2~Y为Y中非空子集的全体。熟知,若F是具有闭凸点像的下半连续映射,则F有连续选择。此著名结论是1956年由     

关于亚纯函数的涉及慢增长函数的唯一性定理

R·Nevanlinna 利用他所建立的第二基本定理,得到了亚纯函数的一个唯一性定理,可表述如下:定理A 设f_j(z)(j=1,2)为非常数的亚纯函数,E_j(a)表示f_j(z)-a 的零点所成之集合(不计重数)(j=1,2).若对五个判别的复数a,有E_1(a)=E_2(a),则f_1(z)(?)f_2(z).当f_j(z)(j=1,2)为整函数时,定理A 取下述特殊形式:定理A 设f(z)(j=1,2)为非常数的整函数,若对四个判别的有穷复数a,有E_1(a)=E_2(a),则f(z)(?)f_2(z).     

伪跃变算子的一个结果

伪跃变算子的概念参见文献[1],同时证明了下列命题1和命题2, 命题1 对任e,存在非递归r.e 集A使得。且 命题2 对任e及任r.e.集B,如果B有Low度,那么存在r.e.集A,使得B≤     

集值映射有连续选择的特征条件

设X为度量空间,助Banaoh空间,2~P为Y上非空集合的全体,F:X→2~P为集值映射。F 何时有连续选择?这是长期以来一直为人们所关注的一个基本问题。50年代中叶,E.Michael证明了若F是下半连续的,则F有连续选择,这就是著名的Michel连续选择定理。80     

点集的伪径和布阵点数

路见可在文献[1]中证明了R~n中的有界点集A,存在唯一的一个包含A的最小球体,其中心称为A的伪心,其半径称为A的伪径,并就A是有限点集的情形,描述性地给出了求包含A最小球体的方法。我们把这一结果精确化,得到了点集的直径和伪径相互控制不等关系的最佳系数,并用来给出布阵点数控制上界的更好系数,显著改进了Pollard的结果.     

区间矩阵的稳定性

1983年Bialas给出的区间矩阵稳定性条件既繁又不可靠,故近年来Heinen、施志诚、高为炳、徐道义等分别用不同的方法给出了区间矩阵稳定性的一些简捷判据,但这些判据都要求矩阵所有对角线元素的值为负。本文则对矩阵分块研究,去掉了这个限制,得到了适用于分析大型区间矩阵稳定性的判据,包含了文的主要结果。定义称如下矩阵集[A]为区间矩阵,‖[A]‖为区间矩阵[A]的范数:其中‖A‖=(trA~TA)~(1/2)。若所有Aε[A]稳定,则称区间矩阵[A]稳定。     

关于拟Einstein流形

若黎曼流形(M,α)的Ricci张量满足R_(αβ)=Aα_(αβ)+Bζ_αζ_β(A,B为函数,ζ为向量场),(1)则M称为拟Einstein流形,并用QE(ζ)表示(Adati等称之为ζ-Einstein的)。ζ称为基本元。我们得到了这类流形的几何和代数特征如下:     

力迫演算在开放逻辑系统中的嵌入

令A为一个可数一阶语言,T为A的一个协调理论,亦可以为空理论,引入一个可数无穷的新常项符号集(?)={c_1,c_2,……},组成一个新的一阶语言A_c.令A_c={F_i,R_i,(?)},A_A是只含(?)中常项符号的所有原子公式及原子公式的否定组成的句集,定义1.1 A_A的一个有穷子集P,若T∪P协调,则称P为一个力迫条件.     

具有递归报酬函数的马氏决策规划

本文所研究的马氏决策规划:{S,A,q_n,g},其中状态空间S、行动集A均为可列集,转移律q_n是非时齐的。报酬函数为     

关于函数无理性的一个定理

<正>定理A 若log_hg是有理数,并且{a_n}是无界正整数列,则f(1/10)是无理数.定理B 若{a_n}是无界的正整数列,并且x=0是点集{}的一个聚点,此处表示数X的小数部分,则f(1/10)是无理数.本文要考察在(2)式中的f(x)的无理性.为此,需要下面的定义.定义 设函数φ(t)在以t=0为聚点的某个区域内由φ(t)=sum from k=-λto∞α_kt~(k/r)定义,其中λ,r,以及诸α_k是实数,则称φ(t)在点t=0的阶是-(λ/r),记为     

超越函数随机迭代系统的Julia集

单个超越整函数自身迭代生成的动力系统的研究始于1926年Fatou的工作,后来主要是Baker等人继续了这方面的研究,但在近年来,这一领域又得到了飞速发展。在本文中,我们将研究由有限多个超越整函数和超越亚纯函数生成的随机迭代系统,可以说这一工作既是Fatou等人的工作的推广,又是Barnsley等人在迭代函数系统方面工作的推广。由于在动力系统的研究中,最基本的对象就是Julia集,所以我们首先研究了随机迭代系统的Julia集,下面就是我们在这方面得到的主要结果。