流形的双连通和分解

所论流形均假设为无边微分或PL紧致流形。设M_1和M_2为两个n维流形,从M_1,M_2各挖去两个不相交的n维闭胞腔之内部,而得M_1,M_2。然后将M_1的边缘与M_2的边缘用一个同胚来粘合,而得一新的n维流形,称为M_1和M_2的双连通和,记作M_1§M_2。一个流形若可表示为两个连通流形的双连通和,则称为可约化的;否则称为不可约化的。     

不动点集为RP(2m)∪RP(2n)的带有对合的流形

§1予备知识设 RP(k)为 k 维实射影空间,在[4]中讨论了不动点集为 RP(m)∪RP(n)的带有对合的闭流形。对于 RP(2m)∪RP(2n)和RP(2 n)∪RP(2n)这两种情形还没有讨论。前者我们在§2—§4中进行讨论;后者在§5中完全解决。本文中所出现的流形和对合(Involution)都是光滑的,不再声明。另外,全文都在 Z_2中讨论。w_i表示第 i 个stiefel-whitney 示性类。[M]表示流形 M 的基本同调类。     

大距离Heegaard分解的三穿孔球面和

设$M_i~(i=1,2)$是一个紧致可定向的三维流形, $F_i$是$M_i$边界上的一个不可压缩曲面, $M=M_{1}\cup_{f}M_{2}$, 其中$f$是$F_1$到$F_2$一个同胚,对于具有特定条件的相粘曲面$F_i$, 如果$M_i$具有一个Heegaard距离至少是$2(g(M_1)+g(M_2))+1$的Heegaard分解,则$g(M)=g(M_1)+g(M_2)$.     

不动点集为RP(2)∪L~1(p)的对合

(M3+ k,T)是在光滑闭流形上的一个非平凡光滑对合 ,它的不动点集为 RP(2 )∪ L 1 (p ) .本文给出了带对合的流形 (M3+ k,T)的协边类     

乘积复流形上的Szabó度量

设(M_1,α),(M_2,β)均为Hermitian流形,本文证明了积流形M_1×M_2上的复Szabó度量F_ε是Berwald度量,且当α,β为K(?)hler度量时,F_ε是强Kahler-Finsler度量,此外本文还给出了F_ε的全纯曲率的显式表达式．     

乘积复流形上的Szabó度量

设(M_1,α),(M_2,β)均为Hermitian流形,本文证明了积流形M_1×M_2上的复Szabó度量F_ε是Berwald度量,且当α,β为K(?)hler度量时,F_ε是强Kahler-Finsler度量,此外本文还给出了F_ε的全纯曲率的显式表达式．     

M_2(R)上的非线性Lie导子

设R是一个含有单位元的2无扰的交换环,M_2(R)是定义在R上的全矩阵代数,证明了M_2(R)上的每一个非线性Lie导子都可以表示成一个内导子,一个可加诱导导子和一个映所有二次换位子为零的中心映射的和.     

什么是“梅审数”?

以十七世纪法国数学家马兰·梅尔塞纳(M·Mersenne)的名字定名把形如2p-1(p为素数)的整数叫作“梅审数”。它可以是素数,也可以是合数。例如M_2=2~2-1=3,M_3=2~3-1=7,M_5=2~5-1=31,M_7=2~7-1=127均为素数,但M_(11)=2~(11)-1=2047=23·89,则是一个合数。判定一个梅审数是否为素数,或是当已知其为合数时分解其素因数,均非易事。截至1978年止共找到25个梅审数,第25个梅审数于1978年得到。它是一个6533位数:M_(21701)=2_(21701)-1 1984年2月-7日《参考消息》第3版上刊登了一篇文章《三十二小时解开三世纪之久的难题》中提到了一个梅审数2~(251)-1说它是一个69位数     

高连通紧带边流形到欧氏空间的嵌入

周学光在[1]中给出了(m-1)-连通的2m、2m 1、2m 2维差不多闭流形到欧氏空间的嵌入定理.本文是利用[1]中的方法,给出了(m-1)-连通的、边界为(m-2)-连通的2m、2m 1、2m 2维紧带边流形到欧氏空间的嵌入定理,这些结果推广了[1]中的相应结果,且在以下两个方面改进了[1]中的相应结果:     

M_1-空间的和定理

1961年,Ceder于文〔1〕引入了M_i-空间类(i=1,2,3)作为度量空间的推广。 对M_2M_2-空间和M_3-空间,他证明了局部有限闭和定理。然后Ceder问局部有限闭和定理对M_1-空间是否成立。高国士〔2〕给出了M_1-空间的两个局部有限和定理,部分地回答了Ceder的问题。本文的定理2和定理3分别改进了〔2〕的这两个结果。另外本文的定理4部分地回答了Nagata曾提出的问题:强零维的M_1-空间是M_0-空间吗?本文中所论空间均是正则T_1的拓扑空间,N表示自然数集。     

紧带边流形到欧氏空间的嵌入

本文研究了紧带边流形到欧氏空间的嵌入问题,证明了K-连通、边界为(K-1)-连通的紧带边流形能嵌入和整齐嵌入到某些欧氏空间的一个充分必要条件;作为应用,给出了多个边界分支的K-连通紧带边流形,在每个边界分支为(K-1)-连通的情况下,到某些欧氏空间的嵌入结果。     

双挠积复Finsler流形的局部对偶平坦性

设(M₁,F₁)和(M₂,F₂)是两个强凸的复Finsler流形,λ₁和λ₂是乘积流形M=M₁×M₂上的光滑实值函数,双挠积复Finsler流形(M₁×(λ₁,λ₂) M2,F)是在乘积流形上赋予了复Finsler度量F²=λ₁²F₁²+λ₂²F₂²的复Finsler流形.本文给出了双挠积复Finsler流形是局部对偶平坦流形的充要条件.     

偶数维Riemannian流形的直径估计

设M~(2n)是2n维紧致无边单连通的Riemannian流形, S~(2n)为欧氏空间R~(2n+1)中的单位球面.探讨了满足截面曲率K_M∈(0,1),体积0相似文献   

用合分比解分式方程的同解研究

施合分比于方程 f_1(x) f_2(x)/f_1(x)-f_2(x)=f_3(x) f_4(x)/f_3(x)-f_4(x) (Ⅰ) 得方程 f_1(x)/f_2(x)=f_3(x)/f_4(x) (Ⅱ) 往往会引进增根和失去应有的根。現在我們規定用M_1表示由全部增根組成的集合,再規定用M_2表示由全部失根組成的集合。本文給出一个法則,用它可以确定M_1和M_2的所有元素,从而帮助檢查用合分比解分式方程的可靠性。     

关于拓扑流形到某些欧氏空间的拓扑嵌入

本文研究了拓扑流形的拓扑嵌入问题,得出了边界为(k—1)-连通的n维k-连通紧带边拓扑流形能局部平坦地整齐嵌入D^2n-h,局部平坦地嵌入S^2n-h-1的一个充分性条件(0≤h≤2k),且给出了它的一些应用。     

问题与解答

一本期问题 1.△A_1A_2A_3内接于圆,过A_1、A_2作三角形的中线分别交圆于M_1,M_2,过A_1,A_2作三角形的内角平分线分别交圆于T_1、T_2,证明或否定|A_1M_1-A_2M_2|≤|A_1T_1-A_2T_2|。 2.已知在△ABC中,A=(a+1)β,B=αβ,C=(α一1)β,且sin~2A=sin~2β+sin~2C,求α和β的值。 3.求证:从数列1,1/2,1/2,1/3,…中一定能挑出一个无穷等比数列,使它的和等于1/2。 4.设x>0,x+y<1,x一y<3,求证6x-8x~2-4xy+2x~3-2xy~2+9x~2/27x~3+4≤73/27。     

关于M_1-空间的又一注记

本文的主要结果是:“设f是由M_1-空间X到q-空间(或点可数型(pointwise countable type)空间)Y上的拟开的(quasi-open)闭映射,则Y是M_1-空间。”这一结果部份地回答了[1]中的一个问题。 本文中的映射都是连续满映射,仿紧性是T_2的,正规性、正则性是T_1的。未定义的概念见[2]及[3]。     

不动点集为RP（1）×CP（N）的带有对合的流形

令 (M,T)是一个在光滑闭流形上的光滑对合 ,它的不动点集为 F ,本文确定了 F=RP(1 )× CP(N )的对合的协边分类     

黎曼流形M~n在常曲率空间S~(n+1)的局部等距嵌入(英文)

本文求得黎曼流形M~n能够作为常曲率空间超曲面的内蕴充要条件,并举出这些条件的若干应用。设常曲率空间S~(n+1)的线素是ds~2=eg_(αβ)dy~αdy~β(e=±1),即gαβdy~αdy~β不一定是正定的,n+l维的S~(n+1)的曲率是K_0,记为S~(n+1)(K_0)。M~n是n维的黎曼流形,g_(ij)是M~n等距嵌入于S~(n+1)中所诱导的黎曼尺度,R_(ijkl)是M~n的黎曼曲率张量,记 T_(ijkl)(?)R_(ijkl)-K_0(g_(ik)g_(jl)-g_(il)g_(jk)), P_(jlim)(?)T_(jl)T_(im)-T_(ip)T_(jlm)~p+T_(pl)T_(mij)~p+T_(jlq)~pT_(ipm)~q-1/2T_(klm)~qT_(qij)~k,式内 T_(li)=g~(jm)T_(jlim), T_(jlm)~p=g~(pk)T_(kjlm)~(pk), T=g~(li)T_(li).经过冗长的计算可以证明下列诸定理。 定理1 设黎曼流形M~n的矩阵(T_(ijkl))的秩≥4,T≠0,则M~n可等距嵌入于一个S~(n+1)(K_0)的充要条件是 (2P_(hphk)T_k~p-P_(khk)T)T_(abcd)=P_(achk)P_(bdhk)-P_(adhk)P_(bchk),a,b,c,d=1,…,n;任意固定一组指标h,k使上式两边不恒等于0。 定理2 设黎曼流形M~n(n≥4)可等距嵌入于S~(n+1)(K_0)和S~(n+1)(K_1),K_1;≠K_0,则M~n是共形平坦的。 定理3 常曲率a的黎曼流形M~n(n≥14)可等距嵌入于一个S~(n+1)(K_0),K_0≠a,K_0是任意常数。 但必须指出如e=1,即S~(n+1)的基本二次形式g_(αβ)dy~α     

最大匹配的路变换图

图G的最大匹配的路变换图NM(G)是这样一个图,它以G的最大匹配为顶点,如果两个最大匹配M_1与M_2的对称差导出的图是一条路(长度没有限制),那么M_1和M_2在NM(G)中相邻.研究了这个变换图的连通性,分别得到了这个变换图是一个完全图或一棵树或一个圈的充要条件.