大基数性质与险峻理想

1 基本概念和术语本文采用集论的标准概念和术语.k 表示正则不可数基数,λ为≥k 的基数,I 是 P上的理想则意味着 I 是 k-完全、非主并且好的理想.如果是 ZFC 的基模型,那么Ult()表示相时的超幂,其中是 P_kλ上的超滤.设 I 是 P_kλ上的理想,我们考虑用 Boolean 代数 P(P_kλ)/I 的完备建立的的脱殊扩充,即:用为力迫条件,其中 R(I)={xP_kλ:xI},x≤y iff xy,令     

GCD整环与UFD分式理想的刻划

设R是整环,其商城为K.设I≤K是R的分式理想,令I~(-1)=|X∈K|XI≤R|,I_υ=(I~1)~(-1)及 _t=|B_υ|B是I的有限生成子分式理想|.当I=I_υ时,I称为υ-分式理想,当I=I_t时,I称为t-分式理想.在许多情形下,可用υ-理想与t-理想成功地刻划某些整环 也可以定义ω分式理想并用ω理想成功地刻划GCD整环与UFD.称R的一个分式理想I为ω-分式理想,指的是若J_x≤I,其中x∈K,J是有限生成的理想且J~(-1)=R,则必有X∈I.对任何分式理想I,Iω=|X∈R|存在一个有限生成理想J,使得J_(-1)=R,J_X≤I|,这是包含I的最小的ω分式理想.称I是有限型分式理想,如果存在一个有限生成子分式理想B≤I,使得B_ω=I_ω,这是有限生成概念的一个自然推广、我们有定理1 对整环R,以下各条等价:     

关于K.Chiba的一个问题

在文献[1]中,Chiba证明了如下的结果: 设τ是一任意的不可数基数,若空间{X_α|α<τ}的每个可数积是Lindelf的且X=∑{X_α|α<τ}是正规的,则X是可数仿紧的充要条件是X具有弱(?)-性质。 在文献[1]的结尾“注记”中,Chiba问到是否上述结果中的条件“X是正规的”可以去掉。     

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

<正>定理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),记为     

局部化扩张的Casacuberta问题

设(?)为范畴,称(?)中的态f:A→B与对象X是正交的,若f~*:(?)(BX)→(?)(A,X)为双射.对(?)中的态簇S,记S~⊥={X∈(?)|X与S中的每个态正交}.同理,对(?)中的对象簇D可定义D~⊥.偶对(S,D)称为正交偶,如果S~⊥=D,D~⊥=S.称函子E:(?)→(?)为局部化函子,如果存在自然变换η:I→E(I为恒等函子),使得对任意X∈(?),η_(EX)=E_(ηx)且η_(EX)为等价.此时也称(E,η)为幂等对.令S_E={f∈(?)|Ef为等价},D_E={X∈(?)|η_x:X→EX为等价}.由文献[1],(S_E,D_E)为(?)上的正交偶.设(?)’为(?)的满子范畴,(E’,η’)为(?)’上的幂等对,称局部化函子E:(?)→(?)为E’在(?)上的扩张,如果S_(E’)(?)S_E,D_(E’)(?)D_E.设E_1,E_2均为E’在(?)上的扩张,如果D_(E1)(?)D_(E2),则记E_1≤E_2如果函子E满足(S_E,D_E)=(D_E~⊥,D_E~(⊥⊥))(这里运算“⊥”是关于范畴(?)的),显然E为E’的扩张,称为E’在(?)上的最小扩张.如果(S_E,D_E)=(S_E~(⊥⊥),S_E~⊥),这时E也是E’的扩张,称为E’在(?)上的最大扩张.由文献[1],命题2.2,对E’在(?)上的任一扩张E,有最小扩张≤E≤最大扩张.下设(?),(?),(?)_0分别表示点标单连通CW复形,点标幂零连通CW复形与点标连通CW复形的同伦范畴,P为某一素数集,则(?),(?),(?)_0上分别存在P-局部化函子,分别记之为L_p     

自由C*-代数与非交换Hahn-Banach定理中的完全收缩扩张的唯一性问题

1 引言及主要结果Arveson 把经典的Hahn—Banach扩张定理推广到了C-代数的自伴线性闭子空间上.从此,许多数学工作者对Arveson扩张定理作了推广,下述结果属于G,Wittstock,命题1.1(见文献[2]定理4.2)设X是-算子空间,A是一有单位元的 C-代数且A(?)X,若(?):X→B(H)是一完全收缩映射,则存在完全收缩映射(?):A→(H)使得(?)|X=(?)且||(?)||_cb=||(?)||_cb利用该命题易得:推论1.1 设X与Y均为算子空间且Y(?)X,若(?):Y→(H)是一完全收缩映射,则存在完全收缩映射(?):x→B(H)使得(?)|Y=(?)且||(?)||_cb=||(?)||_cb但命题1.1中的(?)的唯一性问题从未被人涉及,本文用自由C-代数和遗传C-代数为工具,给出了命题1.1中扩张(?)对任何Hilbert空间H均具唯一性的一个充要条件,即下述的:定理1.1 设X和Y均为算子空间,且Y(?)X,1∈X,则下述等价:(1)对每个Hilbert空间H及每个完全收缩映射(?):Y→B(H),都唯一存在完全收缩扩张映射(?):x→B(H)使得(?)|Y=(?)且||(?)||_cb=||(?)||_cb(2)C(Y)是C(X)的遗传C-子代数,定理1.2 记号同于命题1.1,则对每个Hilbert空间H,(?)均唯一存在的充要条件为:I(X)是A的遗传C-子代数,其中I(X)是由X生成的A的C-子代数,     

具有点可数k系统的k′空间的乘积

本文肯定地回答了Yoshio Tanaka(Pacific Jour of Math.,101(1982),1:199—206)提出的问题12,得到以下结果 定理 Hausdorff空间X如果是具有点可数k系统的k'空间,则X~2是k空间。 证 设(?)为X的点可数k系统。取A(?)X~2且     

关于循环差集的一个性质

设v是一个正整数,D={a_1,…,a_k}是模v的k个不同剩余的集,如果对每一个a(?)0(mod v),同余式a_i-a_j≡a(mod v),a_i,a_j,∈D恰有λ对解(a_i,a_j,),则称D是一个参数为v、k、λ的循环差集(或称完全差集),简称v、k、λ差集。     

样条空间S_2~1(■_n)存在的条件

设x是普通集合,g∈(?)(1×X),(I=[0,1]),f是X的幂集P(X)到X的模糊幂集(?)(X)的映射。我们用以下的形式给出了(?)(X)上的变换g(?)f,并称之为广义的扩展原则。对于(?)A∈F(X)     

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

为适应不确定推理之需要,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.(?)).     

λQ-紧和λ超Q-紧基数的刻划

我们以κ表示不可及基数,λ≥κ为基数,的元两两不交∧|q|<κ},若p,q∈Q_κλ,则p≤q表示q是p的加细。若p∈Q_kλ,则。Q_κλ上的超滤称为Q-测度,如果(ⅰ)(是好的);(ⅱ)是κ-完全的。称κ是λQ-紧基数存在Q_κλ上的Q-测度。设是Q_κλ上的Q-测度,为     

四维球面上Grassmann丛的一些性质

1.设S~4表示四维球面,G_2(TS~4)为S~4上的具有通常的黎曼度量与殆复结构的Grassmann丛.设k是G_2(TS~4)的K(?)hler形式.若dk的(1.2)对部分恒为零,则称G_2(TS~4)为(1.2)辛流形.在本文中,我们将证明下面的结果:定理 设h_ 和J~G_±分别是G_2(TS~4)上的Riemann度量和殆复结构(t>0).则(G_2(TS~4)·J_~G_±·h_ )对于任何正数t不可能是(1.2)辛流形.特别,它不能成为K(?)hler流形.     

亚纯函数的Hardy-Stein-Spencer恒等式

设f(z)是在点集D上定义,n(f=w,D)表示方程f(z)=w在D内根的个数.如果f(z)=w在Δ={│Z│<1}内是解析的,令I_λ(r,f)=1/2π integral from n=0 to 2π│f(re~(iθ))(?)~λdθ,00,这就是Hardy-Stein-Spencer恒等式.当我们研究BMOA和面积平均p叶函数时,希望Hardy-Stein-Spencer恒等式对亚纯函数也成立.本文将解决这个问题.引理 1 设(?)D是分段光滑Jordan曲线,其内部区域为D,设z_0∈D.假设f(z)在(?)\{z_0}内解析且没有零点,又设z_0是f(z)的ι阶极点,对λ>0,有证令 容易知道设Ω表示(?)\h((?)D)的无界分支,由于z_0是g(z)的简单极点,因此n(h=ω,D)=1, ω∈Ω.如右图:     

基本域上的Bloch函数

设D={z∈C:|z|<1}是有限复平面C上的单位圆盘,而Γ为D上的Fuchs群.又设Ω={z∈D:|z|<|γz|,id≠γ∈Γ}是Γ作用下的基本域.如果Γ={id},那么就令Ω=D.若用Ω与(?)Ω分别表示Ω在D上的闭包与边界,则Ω具有如下三条性质:(i)当id≠γ∈Γ时,γΩ∩Ω=φ;(ii)(?)γ(?)=D;(iii)(?)Ω的二维Lebesgue测度为零.再用A(Γ)表示D上的关于Γ成自守的解析函数之全体.就f∈A(Γ)来说,如果     

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

令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为一个力迫条件.     

Fuzzy映象的不动度

设(x,d)为完备度量空间,(?)(x)表X上Fuzzy集的全体。A∈(?)(X),α∈(0,1],记ω_α(A)={x∈X:A(x)≥α},A_α={x∈X:A(x)=α}。B(X)表X中一切分明的非空有界闭集的族,H为由d导出的Hausdorff度量。若A、B∈(?)(X),ω_α(A)、     

可分解按对平衡设计的存在性理论

设■={B_1,B_2…,B_b}是v元集X的b个子集(称为区组)组成的族,K={k_1,k_2,…,k_m}为正整数组成的集,如果有     

交叉积Hopf代数的结构

Molnar在文献[1]中用Hopf代数范畴中的可裂及余可裂短正合裂刻画了半直积Hopf代数及其对偶.Radford及Majid分别将其推广成双积(biproduct)及双交叉积(bicrossproduct),前者成为Majid的bosonization定理的一个漂亮例子,后者给出了Drinfel’d的量子偶(Double)的通用构作用.本文从新的角度推广Molnar的构作,研究张量积余代数与交叉积代数结构一起成为双代数以及Hopf代数的条件.设K为域,所论代数、余代数均指域K上的,采用文献[6]中的Sigma记号,但上、下标中省去括号,(?)简记为(?).定义 设H为双代数,B为K上向量空间,若存在双线性映射σ:H(?)H→B和线性映射·:H(?)B→B,满足1)I_H·b=b,2)∑(h_1·(l_1·b))σ(h_2,l_2)=∑σ(h_1,l_1)(h_2l_2·b),(?)b∈B,h,l∈H,则称B为左H(?)扭曲模.若代数B是左H(?)扭曲模且满足3)h·ab=∑(h_1·a)(h_2·b),4)h·1_B=ε_H(h)1_B,(?)h∈H,a,b∈B,则称B为左H(?)扭曲模代数.若余代数B是左H(?)扭曲模且满足3′)△_B(h·b)=∑h_1·b_1(?)h_2·b_2,4′)ε_B(h·b)=ε_H(h)ε_B(b),(?)h∈H,b∈B,则称B为左H(?)扭曲模余代数.若双代数B同时是左H(?)扭曲模代数和左H(?)扭曲模余代数,则称B为左H(?)扭曲模双代数.设H为双代数,B同时是代数和余代数,但不一定是双代数.若B是左H(?)扭曲模     

关于随机集值映象的不动点定理

设(X,d)是一Polish空间,(Q,A,P)是完备概率空间。(?)x∈X,B(?)X,d(x,B)=inf{d(x,y):y∈B}。CB(X)(K(X))表X的全体非空有界闭(紧)子集,D表CB(X)上用d诱导的Hausdorff距离。我们说集值映象T:Q→CB(X)是A可测的,如果对于X的任意开子集B,     

度序列已给定的部分标定图的重构问题

设G=(V,E)是简单、无向的p阶部分标定图,V={v_1…,v_p},p≥3。设u,v∈V,X,Y(?)V。记N_Y(v)为顶点v在Y中的邻集,d_Y(v)=|N_Y(v)|为v关于Y的度,为v关于Y的邻接向量,它的第i个分量为0(或1),对应于v与y的第i个顶点不邻接(或邻接)。若d_Y(u)=d_Y(v),称u,v,关于Y等度;若u,v(?)Y,且u(Y)=v(Y),称u,v,关于Y