递归可枚举度的强分解定理

本文将证明,对任 r.e.度(?),存在 r.e.度(?),(?),(?),和(?)使得(?)<(?),(?)<(?),(?)<(?)≤(?),(?)∪(?)=(?),(?)∩(?)=(?)且对任 r.e.度(?),如果(?),那么(?)∩(?).这结果的一个立即推论是,对任 r.e.度(?),存在(?)<(?)使[(?)]中一切(?)-cappable 度不作成理想.同时可推出:对任 r.e.度(?),存在 r.e.度(?),(?)和(?)使得(?)∪(?)=(?),(?)∩(?)=(?)且对任 r.e.度(?)有(?).这是 r.e.度分解的一个临界性结果.     

在d-r.e.度结构中真d-r.e.分支度的弱稠密性 *

证明了对任意r.e .度v相似文献   

低R.E度上D.R.E.度的非稠密性

本文用 O′′′优先损害方法证明了在 d.r e.度中任何低的递归可枚举度 l 之上存在一个非稠密区间,即存在 d.r.e.度 d,l相似文献   

低R.E度上D.R.E.度的非稠密性

本文用O(?)优先损害方法证明了d.r e.度中任何低的递归可枚举度ι之上存在一个非稠密区间,即存在d.r.e.度d,ι相似文献   

任何非递归r.e.度之下存在孤立d-r.e.度

证明了在任何非递归r.e.度之下都存在孤立d-r.s.度。     

01的一个分解定理

本文讨论递归可枚举度的分解与格嵌入问题,证明了存在r.e.度a,a₀和a₁使得a     

d.r.e.度中钻石格的嵌入

本文证明了在d.r.e.度中,对任意高的递归可枚举度h,存在非零的d₁,d₂,使得d₁∪d₂=h,d₁∩d₂=0,即0,d₁,d₂,h构成钻石格.     

非p脱殊的非分枝的r.e.度在低的r.e.度中的稠密性

本文证明了非p脱殊的非分枝的r.e.度在低的r.e.度中是稠密的.     

W—度与T—度的结构差别（Ⅱ）

§1 介绍与基本概念最近,许多文章讨论r.e。集合的T-度与W-度之间的结构差别,例如Lerman和Remmel讨论USP性质以及UWP性质。1985年Downey证明每个度中都存在一个r.e。集合具有～USP和～UWP性质,并且猜想除contiguous度和完备度以外,所有度不包含具有USP(UWP)性质的r.e.集合。如果这样的话,contiguous集合具有的结构性质,具有USP性质的集合也应该具有。我们这里只讨论一种结构性质。Ambos,Spies和Fejer[ta]证明contiguous度在低度中     

扰动的带有临界指标项Schr?dinger-Poisson系统的解

考虑如下的Schr?dinger-Poisson系统:■其中ε∈■,3 p 6,u,φ:■假设K 0,K(x)∈L~∞■∩L~q■6/5 q 2, a(x)≥0且a(x)∈L~∞■∩L~r■,这里r6/(6-p).当|ε|足够小时,我们应用临界点理论中的扰动方法来得到方程(1)的非平凡解.     

对偶平坦(α,β)-度量的共形不变性

本文主要研究了两个(α,β)-度量之间的共形变换.证明了:若F是一个局部对偶平坦的正则(α,β)-度量且与度量■共形相关,即■,那么度量■也是一个局部对偶平坦的(α,β)-度量当且仅当共形变换是一个位似.进一步,在度量具有奇异性的情形,我们证明了两个局部对偶平坦广义Kropina度量之间的任一共形变换必然是一个位似.     

关于k-消去二分图的一些结果

图 G的一个 k-正则支撑子图称为 G的 k-因子 ,若对 G的任一边 e,图 G- e总存在一个 k-因子 ,则称 G是 k-消去图 .证明了二分图 G=( X,Y) ,且 | X | =| Y|是 k-消去图的充分必要条件是 k| S|≤ r1 + 2 r2 +…+ k( rk+… + rΔ) - ε( S)对所有 S X成立 .并由此给出二分图是 k-消去图的充分度条件 .     

关于极限引理的一些应用

本文首先推广定义 n-可加速集,给出 n-非可加集与 n-低度之间的关系.证明 r.e.度(?)使得存在 r.e.n-可加速集 A≡_n(?)当且仅当(?)~(n)>(?)~(n).然后运用极限引理到 H_n 的描述中,证明 r.e.度(?)包含一个 n-极大集 A≡_n(?)当且仅当(?)∈H_n,i.,e.(?)~(n)≥(?)~(n+1)且(?)∈H_n 当且仅当存在一个度≤(?)的函数 f,n-do-minate 每个递归函数.     

与双调和方程相关的连续模和Heinz-Schwarz型不等式

对于给定的两个正整数n≥2和m≥1,假设函数f满足如下条件:(1)在B~n内满足非齐次双调和方程■;(2)在■上满足■,以及■,其中■表示内法线方向导数,■表示■中的单位球以及■表示■的边界.本文主要研究/的连续模和Heinz-Schwarz型不等式.     

亚循环p群的p次中心扩张(Ⅰ)

设N,H是任意的群.若存在群G,它具有正规子群■,使得■且■,则称群G为N被H的中心扩张.完全给出了当|N|=p,H为奇阶亚循环p群时,N被H的中心扩张得到的所有不同构的群.     

有关递归不可分集的几个结果

本文在递归不可分理论方面得到一些结果。 1.对任意给定的非递归r.e.度,均存在r.e.集,A是有丝分裂集且可分裂的两集可要求为递归不可分的r.e.集。 2.对任意高r.e.集C和任意非递归r.e.集D,均存在递归不可分的r.e.集A,B满足A其高度,B具低度,C≤_TA,φ<_TB≤_TD。 3.存在r.e.集A,B,C,D满足(1)A,B递归不可分且形成极小对,(2)A\B,A\D,C\B,C\D,(3)A<_TC,B<_TD,(4)A,B具低度,(5)C,D具高度。     

应用方差公式 妙求代数最值

<正>方差不但是统计量,它在代数最值问题上也有着比较广泛的应用,我们可以利用方差定义,根据方差的性质来求代数最值.初中数学教材对方差的定义是:设一组数据为■,其平均数为■,则方差■对上式进一步计算可得■我们知道,     

r.e.的p—脱殊度是交不可到达的

本文证明 r.e.的 p-脱殊度是交不可到达的以及交不可到达的度是稠密的.     

r.e.的p-脱殊度是交不可到达的

本文证明r.e.的p-脱殊度是交不可到达的以及交不可到达的度是稠密的。     

一致超图中Berge线性森林的Turán数

设F是一个图,■是一个超图,如果存在一个双射φ:E(F)→E(■),使得?e∈E(F)有e?φ(e),那么称超图■是Berge-F.不含Berge-F作为子超图的n阶r-一致超图所能达到的最大边数称为Berge-F的Turán数,记作ex_r(n,Berge-F).线性森林是指连通分支全是路或者孤立顶点的图.设■_n,k是一类含有n个顶点k条边的线性森林图族.本文研究了r-一致超图中Berge-■_n,k的Turán数.当r≥k+1和3≤r≤■(k-1)/2■-1时,分别确定了ex_r(n,Berge-■_n,k)的精确值;当■(k-1)/2■≤r≤k时,给出了ex_r(n,Berge-■_n,k)的上界.