递归可枚举度临界性问题的一个结果(Ⅰ)

本文证明:对任 cappable r.e.度■,存在 r.e.度■和■使得■>■,■∧■=0且对任 r.e.度■,如果■且■,那么■∧■≠■.     

关于极限引理的一些应用

本文首先推广定义 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 每个递归函数.     

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

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

wtt-度的 Nonbounding 定理

本文用“魔怪方法”证明了对任何一个低的 r.e.集 D,存在一个 r.e.集C,使得 D<_(wtt)C,且对任何 r.e.集 A,B,如果 A≤_(wtt)C,B≤_(wtt)C,A(?)_(wtt)D,B(?)_(wtt)D,则 deg(A)∩deg(B)≠(?).此处 deg(A),deg(B)分别表示 A,B 的 wtt-度.     

关于本原环的矩阵表示的结构

<正> 设■是除环 F 上 n-维向量空间,则熟知地 m 的共轭空间(?)必是 n-维,并且对 m 的任一基{u_i}在(?)中必存在一个伴随基{v_i},即{u_i}与{v_i)满足(u_i,v_i)=δ_(ij),其中δ_(ij),是 Kronecker 符号.记σ是(?)的任一线性变换,那未必存在(?)的一个线性变换(?),使得在上述{u_i}及{v_i}基下,σ与(?)听对应的矩阵恰好互为转置.这是有限维空间的一个基本结果.为了进一步研究线性变换环的结构,我们首先要把上述     

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

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

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

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

Führer f在不同环中分解的理论(Ⅰ)

<正> 本文发展了 H.Grell 的工作.H.Grell 曾作过如下的研究:设 o 是含有么元的整区,且满足理想约束极小条件,(?)是含有与 o 相同么元的一个整区,且又设(?)是代数整封闭的,设 Q(?)与 Q(o)分别是(?)及 o 的商体,Grell 限制Q(?)=Q(?),那末在此情况下由 Grell 的一般保持定理知道,任一介于 o 与(?)之间的     

有限域的本原元性质

本文讨论更一般的问题:存在正整数 q_(?),当 q>q(?)时,对任 a,b,a∈GF(q)~*,均存在 GF(q)的两个本原元 x 和 y,使得 ax by=a.我们利用 Jacobi 和等方法找到了一个较小界 q(?)=6.62×10~7,除去一个可能的例外值。     

关于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-消去图的充分度条件 .     

01的一个分解定理

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

W-度与T-度的结构差别Ⅰ

这篇文章,我们结合枝上的树型构造和具有～USP性质的集合构造方法,构造r.e.集合A,B使得T-deg(A)∩T-deg(B)与W-deg(A)∩W-deg(B)在T-归约以及W-归约下都不相等.从而推出r.e.的W-归约度结构与T-归约度结构不等价. 我们说r.e.集合A具有～UWP性质,如果存在r.e.集B≤(?),A使得对任意C≡_TB有C_wA;并且称B为A具有～UWP性质的证据.定义     

纯粹递归论在递归分析中的应用

本文利用纯粹递归论的近代结果研究了单位闭区间 I 上可计算实函数最大值点集中诸点的可计算度的结构。得到例如如下结果:1.对于任一度0<α≤0′,存在一个 I 上的递归实函数,它不具有递归的最大值点,但有度为α的最大位点;2.对于定义在 I 上的任一递归实函数,至少有一最大值点具有 r.e.度。文中顺便对 E.Specker 关于此问题的奠基性结果给出了一个直观自然的看法。     

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

本文在递归不可分理论方面得到一些结果。 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具高度。     

切点单形的一个几何不等式

设(?)是 n 维欧氏空间的一个非退化单纯形,其体积记为 V(?).单形(?)的内切n-1维超球面在各个 n-1维“侧面”上的切点构成另一个单形,记为(?),其体积记为 V(?).本文证明了 V(?)≤1/(n~n)V(?),且当单形(?)是正则单形时等号成立.     

广义de Bruijn和Kautz有向图的距离控制数

对于任意的正整数(?),强连通图G的顶点子集D被称为距离(?)-控制集,是指对于任意顶点v(?)D,D中至少含有一个顶点u,使得距离dG(u,v)≤(?)．图G距离(?)- 控制数γe(G)是指G中所有距离(?)-控制集的基数的最小者．本文给出了广义de Bruijn 和广义Kautz有向图的距离(?)-控制数的上界和下界,并且给出当它们的距离2-控制数达到下界时的一个充分条件．从而得到对于de Bruijn有向图B(d,k)的距离2-控制数γ2(B(d,k))= ．在该文结尾,我们猜想Kautz有向图K(d,k)的距离2-控制数γ2(K(d,k))= .     

每一个Cappable度都有ω个两两组成最小对的r.e.度与之组成最小对

本文证明了,对任意Cappable度α-deg(W_i),b=deg(W_i)可以一致地找到r.e.度c=deg(W_(f(i,f)))使得a∩ c=b∩c=0这里f(x,y)是一个递归函数.进而,本文证明了,对任意Cappable度a=deg(W_e),ω个r.e.度b_i=deg(W_(f(e,t)))可以一致地找到,使得a∩b_i=0,i∈ω.这里f(x,y)也是递归函数.在证明中用到了Lachlan提出的树形构造和gap-cogap方法.要确定真路径f,需要0的外部信息源.     

二部平衡公平划分的一个下界

设V_1,V_2是图G的一个二部划分.如果一1≤|V_1|-|V_2|≤1,则称V_1,V_2是G的一个二部平衡划分.对于n个顶点m条边的简单图G,本文证明了:(1)若G是k-正则图(k≥3),则G存在一个最小二部平衡划分V_1,V_2,使得max{e(V_1),e(V_2)}≥((k-1)m)/4k;(2)如果r是大于4的实数,且当n是偶数时△(G)≤((3r-4))/(r+4)δ(G)-(2r)/(r+4),当n是奇数时△(G)≤(3r-4)/(r+4)δ(G)-(8r)/(r+4),那么G存在一个二部平衡划分,使得min{e(V_1),e(V_2)}≥m/r,这里e(V_i)表示G中两个顶点都在V_i中的边的数目.     

多指标随机积分的局部性质

设 M,是 n 指标平方可积鞅,φ∈L~2(d<(?)>),φ∈L~2(d<>),W-(?)本文证明了随机积分的三个局部性质:对F∈(?),L是停面,G=(?),Γ=(?)是随机区间形的可料集,那么1.1_FM=1_F(?),1_(Fφ)=1_(F(?))(?)1_FW=1_F(?),2.1_GM=1_G(?),1_(Gφ)=1_(G(?))(?)1_GW=1_G(?),3.1_rΔ(?)M=1_rΔ(?)(?),1_(rφ)=1_(r(?))(?)1_(?)W=1_rΔ(?)(?).     

一个均值定理

<正> 一、引言设(?)在1948年 Rényi A.利用 B.创造的大筛法证明了下面的定理:定理1.1 对任给正数 A,必存在正数η<1,使得下面的估计式成立: