同伦满与同伦单的局部化

映射f:X→Y称为同伦满(同伦单),如果对任意空间W及映射u,v:Y→W(u,v:W→X),若u○f(?)v○f(f○u(?)f○v),则u(?)v.本文考虑同伦满与同伦单的局部化,即考虑下述问题.问题 设f:X→Y为同伦满(同伦单),问f的p-局部化f_p:X_p→Y_p是否为同伦满(同伦单)?这里p是素数或0.     

关于同伦正则单态

同伦单态在文献[1]和[2]中被提出以后已成为同伦论的一个经典论题.本文引进同伦正则单态的概念,它严格介于同伦单态与同伦等价之间,并且在某种意义下刻划了同伦等价的一个特征.本文在点标拓扑空间的范畴Top~*中讨论,所有基点与常值映射均用*表示.范畴C的一个射j:E→A称为正则单态,如果存在两个射f,g:A→B(对某个B)使得j是f与g的等化子,即fj=gj,且对满足fh=gh的任意射h:X→A,存在唯一的射k:X→E使得jk=h.在Top~*的同伦范畴HTop~*中也就有了正则单态的概念.我们定义一个稍有差别的同伦正则单态的概念如下:     

同伦满保持幂零性

称映射f:X→Y为同伦满(单),如果对任意的空间W及u,v:Y→W(u,v:W→X),u(?)f(?)v(?)f蕴涵u(?)v(f(?)u(?)f(?)v蕴涵u(?)v).在文献[1]中,林红与沈文淮证明了定理A 设f:X→Y为同伦满(单).如果X和Y是幂零空间,则f的p局部化f_p:X_p→Y_p亦是同伦满(单).这里p是素数或零.     

局部化扩张的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     

纤维化又是上纤维化的刻划定理

1974年,Milgram首先发现,纤维化序列K(Q/Z,n)→K(Z,n 1)→K(Q,n 1)(n≥1)又是上纤维化序列,注意到K(Q,n 1)=K(Z,n 1)_0,即K(Z,n 1)→K(Q,n 1)是单连通空间K(Z,n 1)的有理化(0-局部化).1981年,Schiffman将Milgram的例子推广到一般的单连通空间,即证明了:对于单连通空间X,局部化纤维化序列F→X→Xp又是上纤维化序列,这里Xp是X的p-局部化,p为素数或0.1983年,Alons再将Schiffman的结果推广到幂零空间,即证明了:对于幂零空间X,如果Xp是单连通的,则局部化纤维化序列F→X→Xp又是上纤维化序列.同时,Alonso也给出了纤维化序列又是上纤维化序列的充分必要条件.定理1纤维化序列F→E→B又是上纤维化序列,即诱导映射EUCF→B是同伦等价,当且仅当存在一族素数P,使得同调群(?)(F)和(?)(ΩB)中一个为P-局部的,另一个为P’-挠群,这里P’为P的余集.     

特殊流形之间的同伦等价

判定两个拓扑空间之间的连续映射的同伦等价性是代数拓扑学中的重要问题之一。对CW复形,Whitehead于1949年在文献[1]中证明了重要的结果:CW复形之间的连续映射f:x→Y是同伦等价的充分必要条件是它诱导各维同伦群之间的同构f_*:π_q     

关于同伦偶范畴的注记

文献[1]对同伦偶范畴HPM的映照引进了等价分类。本文视此等价为同伦,在良点拓扑空间范畴T_(op)~w中讨论,基点*均为闭子集。令为内射,为投影。HPM与PM的对象均为T_(op)~w映射,称为偶,偶f到g的映照分别是     

关于Riemann曲面长度谱的一个猜想

设s_0是一个给定的紧致Riemann曲面,其亏格为g,g>1,对于任意一个亏格为g的紧致Riemann曲面s及任意一个保向同胚f:s_0→s,称偶(s,f)为一个标记Riemann曲面。两个标记Riemann曲面(s_1,f_1)与(s_2,f_2)被称为等价的,如果存在一个共形映射φ:s_1→s_2同伦于f_2(?)f_1~(-1)。将(s,f)的等价类记为[s,f],全体这种等价类组成了Teichm(?)ller空间T_g.     

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

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

关于Lindelf空间三个问题的回答

1983年,文[1]提出了三个尚未解决的问题:(1)c.c.c.(?)~*Lindel(?)f 性成立吗?(2)文[1]定理18(对于可展空间类,*~Lindel(?)f 性等价于可分性)的可展性条件能减弱到何种程度?(3)两个*~Lindel(?)f 空间的积空间是*~Lindel(?)f 空间吗?对于问题(1),我们赋予集合(?)(R)={F(?)R|F 是有限集}(其中R 是实数直线,通常拓扑)以拓扑,其拓扑基为(?)={[A,V]|V 是     

自由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-子代数,     

经济均衡单纯同伦算法的几何与实施

1.经济均衡模型 对于具有n+1种商品的有限纯交换经济,因为重要的是商品的相对价格,所以价格调节可以表达为S~n={p∈R~(n+1):p≥0,e~Tp=1}的连续自映射f。于是,f的不动点就是经济的均衡点,从而Brouwer定理给出均衡的存在性。 本文讨论经济均衡的单纯同伦算法。     

无穷维Teichmüller空间的Teichmüller余度量的不可微性

设Y为一个Riemann曲面,用T(Y)表示Y的Teichmüller空间.对于[X,f]∈T(Y),其中[X,f]表示标记Riemann曲面(X f)所在的等价类,用Q_x表示Riemann曲面X上所有满足下述条件的全纯二次微分Φ=Φ(z)dz~2的集合     

与一类超过程相关的Dirichlet问题

设ξ=(∈_ι,Π_x)是R~d中的右过程,令 (?)(x,z)=a(x)z b(x)z~2 integral from n =1 to ∞(e~(-uz)-1 uz)n_x (du), x∈R~d,z∈R~ ,(1)考虑下面Dirichlet问题 Av(x)-(?)(x,u(x))=0,x ∈　 D,(2) (?) u(x)=f(a),a∈(?)D~r,(3)这里D是R~d中有界区域,(?)D~r表示(?)D中正规点全体,且A是ξ关于D的特征算子. 我们用M表示(?)(R~d)上的有限测度全体,用(?)表示M上由fB(μ)=μ(B),B∈(?)产生的σ-代数.本文中τ都表示开集D的首出时.根据Dynkin存在取值于(M,(?))的具有参数(ξ,(?))的超过程 X={X_t,X_τ,P_μ,μ∈ M}.Dynkin在文献[1]中证明了如果ξ是光滑一致椭圆算子,关于x局部Lipshitz连续,公式 v(x)=- log Pδexp(-(f, X_τ))(4)是方程(2)Dirichlet问题的唯一解.本文将上面结果推广到一些一般型条件(底过程不一定连续).     

实轴上光滑函数类的多重取样的最优恢复

1 引言设自然数r≥2,1≤P,q≤∞。置L_(pq)(R)={f:f在全实轴R上可测且‖f‖_(pq)<∞}。用W′_(pq)(R)表示所有满足如下条件的函数f的集合: (i)f在R上局部r—1次绝对连续; (ii)f∈L_q(R),‖f~(r)‖_(pq)≤1。这里范数‖·‖_(pq)按文献[1]定义为     

关于李国平的一个猜想

设f[x]是单位圆内零级半纯函数,T(r,f)是它的Nevanlinna特征函数,满足按照Valiron的结果存在,f(x)的型函数(?)(X)(X=log1/(1-r))满足     

Banach函数空间内的В.В.Немыцкий算子的连续性和有界性

定义1设G是欧氏空间中的可测集且mesG<∞,G×R~1上的实函数f(x,u)满足Caratheadory条件,即它对于几乎所有的x∈G关于u连续,而对于每个u关于x可测。算子h表示 (hu)(x)=f(x,u(x))。定义2 对于G上的Banach函数空间X,如果(i)存在C>0使当U(X)∈(X)时‖u‖_1 ≤C‖u‖_x,(ii)当u_1(x)∈L_1,u_2(x)∈X和|u_1(x)|≤|u_2(x)|时,u_1(x)∈X且‖u_1‖x≤‖u_2‖x,(iii)G上的特征函数x_G(x)∈X;则称X为理想空间。X的闭子空间X_o是具有绝对连续范数的函数的全体(见文[2])。     

关于Banach空间上对称乘积映射的不动点

设X~n为拓扑空间X的n次笛卡尔积,G为n个元素的全置换群,对,定义;则G可看作X~n上的一个同胚变换群,称X~n在群G作用下的轨道空间X~n/G为X的n次对称乘积空间,记作X~(n)。定义1 映射F:X→X~(n)称为X上的n次对称乘积映射,或简称为n映射;记,若为X~(n)中紧集,则称F为紧映     

关于Herz空间的嵌入定理

设00.记(?)_q~(α,p)(R~n)和(?)_q~(α,p)(R~n)分别齐次和非齐次的Herz空间(见文献[1]).伴随Herz空间的Hardy空间被定义为H(?)_q~(α,p)(R~n)={f:Gf∈(?)_q~(α,p)(R~n)}(1)和HK_q~(α,p)(R~n)={f:Gf∈K_q~(α,p)(R~n)}(2)其中Gf为f的Grand极大函数,并规定     

用5-进制小数描述Smale马蹄映射

Smale构造了著名的马蹄(horseshoe)模型。人们从这个模型知道,即使是并不复杂的平面圆盘上的自同胚,也可能存在着混沌现象。关于Smale马蹄,一个主要的结论是定理A 存在着圆盘B~2上的微分自同胚f及f的不变闭子集X使得f|X与双边符号空间∑(2)上的移位映射σ拓扑共轭(参看文献[2])。