廖山涛教授的代数拓扑研究工作

§1 局部乘积与Poincar6-A1exande-Lefschetz型对偶定理 设x为紧致Hausdotff空间,X_0,E为X的闭子集.证E_0=X_0∩E_0.(X_0,E_0)在(X,E)中以G为系数群的局部上、下同调群H~i(X_0|x,E;G)、Hi(X_0|X,E_0|E;G)已有定义.一空间在一子集处的局部同调群的运用早已隐含在Lefschetz①和Wilder②的书中,设G_1,G_2,G_0为系数群,且有配对G_1·G2→G_0,廖山涛在局部同调群中进一步引入局部上积与卡积如下:     

实(四元)Stiefel流形V_(n,2)(X_(n,2))的KO-群和J-群

<正> 命V_(n,2),X_(n,2)为实、四元Stiefel流形(实、四元n维欧氏空间中的所有二维正交标架)。本文在§1中计算了KO~(-i)(V_(n,2)以及J(V_(n,2)):在§2中计算了KO~(-i)(X_(n,2)以及J(X_(n,2)).映射c,r分别表示为复化和实化,定义可见[1,610页].     

某些有边缘的流形的H_(2n-m)(M)

<正> 设X是一个拓扑空间,我们用X表示它的去核乘积X×X-△X,其中△X是X×X中的对角线.在[1]中我们已经得到了某些闭流形的去核乘积的同调群.在这篇短文中我们将考虑一些有边缘的流形的情况. 定理1 设M是一个单连通的n维流形,可能有边缘,并且可三角剖分.我们有     

重乘积的计算

<正> §1.对弧连通的拓扑空间 X J.H.C.Whitehead 介绍了一种乘积,它使α∈πm(X),β∈πn(X)对应(?),这种乘积使我们有可能去了解低维同伦群的元素对高维同伦群的影响.     

Stiefel流形 O_(n,3)的KO-群

<正> §1.引言设 O_(n,3)为向量空间 K~n 中的所有三维正交标架所组成的 Stiefel 流形.当 K 为实数(复数、四元数)时,分别记为 V_(n,3)(W_(n,3)、X_(n,3)).本文分别计算它们的 KO-群.对于 O_(n,3),按照[8,第四章]指出的方法给以胞腔剖分.     

多维秩的极限定理(Ⅱ)

<正> 设■是m维随机向量族。对每n,j,以X_(nl)~(j)≤…≤X_(nk_n)~(j)记X_(nl)~(j),…X_(nl)~(j)的次序统计量，设l≤r-n~(j)≤k_n，并简记■，称■的秩化列。文献[1]中我们对一秩秩人列的极限分布进行了讨论，现在讨论变秩，即{r_n}满足时秩化列的极限分布问题.§1是准备工作,其中包括[2]关于一维结果的一点改进.§2讨论m维秩化列的极限分布.§3对二维情况得到了更完善的结果.最后,在§4中把我们在§2,§3中得到的结论用于多维次序统计量,推进了Siddiqui、Weiss等人的工作.     

弱次-ortho-紧空间的σ-积

本文研究了具有覆盖性质的弱次-ortho-紧空间的σ-积问题,证明存在可数仿紧空间族{X_α:α∈ω_1}满足:(1)空间σ{X_α:α∈ω_1}的每个有限子乘积是弱次-ortho-紧的;(2)空间σ{X_α:α∈ω_1}不是弱次-ortho-紧的.利用拓扑空间乘积性理论,获得了如下结果:设X=σ{X_α:α∈A}是|A|-仿紧空间.如果X的每个有限子乘积是弱次-ortho-紧的,则X也是弱次-ortho-紧的.从而推广了文献[8]的结果.     

周期变换与不动点定理——Ⅱ.流形

<正> 本文是[3]一文的延续.在本文中,我们考虑一个在一紧致可定向流形 M~n 上有素数周期 p 的变换 T,n≥1.我们讨论在 M~n 内,T 下不变的闭子集与 M~n 相关的局部特异上同调性质;特別地,是 T 的不动点集的这样的性质.我们用的是流形的对偶性质及[3,§§5,8]中的定理及推广综合起来的法子.这理论较主要的应用在将来一文中.     

集值Fredholm映射及其拓扑度

本文推广C~1-Fredholm映射的概念到上半连续集值映射的情形,并对零指标的集值Fredbolm映射及其集值紧摄动建立拓扑度理论。§1.集值Fredholm映射设X是C~0-Banach流形,模空间为Banach空间E,图册为A=     

Kac-Moody群及其旗流形的庞加莱级数和有理同伦型

研究了不定型的Kac-Moody群及其旗流形的有理上同调.通过从庞加莱级数提取关于同调的信息,能够决定Kac-Moody群及其旗流形的有理上同调环.因为这些空间都是有理formal的空间,也决定了它们的有理同伦群及有理同伦型.     

二分(0,mf-m+1)-图的正交(0,f)-因子分解

设G=(X,Y,E(G))是一个二分图,分别用V(G)=XUY和E(G)表示G的顶点集和边集.设f是定义在V(G)上的整数值函数且对(A)x∈V(G)有f(x)≥k.设H_1,H_2,…,H_k是G的k个顶点不相交的子图,且|E(H_i)|=m,1≤i≤k.本文证明了每个二分(0,mf-m+1)-图G有一个(0,f)-因子分解正交于Hi(i=1,2,…,k).     

模态系统与蕴涵系统

<正> 在本文中我们采用(?)ukasiewicz 符号,以(?)分別表示“非α或β”(实质蕴涵)“α或β”(析取)“α与β“(舍取)“C_(αβ)且C_(αβ)”(实质等价)“非α”(否定).此外,我们更引入下列符号“□α”——α是必然的,必然α;“◇α”——α是可能的,可能α;“Fαβ”表示口 C_(αβ),G_(αβ)”表示 KF_(αβ)F_(αβ)(注意,它与□E_(αβ)未必相同).但须注意,在最后一节内,F_(αβ)另有意义.我们采用公理模式而不采用合有命题变元的公理,因此在证明过程中可以用不到代入规则.     

Depencence of solutions of the nonlinear Schrödinger equation on dissipation parameters

We consider an initial-boundary-value problem for the nonlinear Schrödinger equation in the complexvalued functionE=E(x,z): (1) $\partial _z E + i\Delta E + i\alpha \left| E \right|^p E + \beta \left| E \right|^q E = 0, q > p \geqslant 0, \beta > 0,$ (2) $\left. E \right|_{z = 0} = E_0 \in H^2 (\Omega ) \cap H_0^1 (\Omega ), \left. E \right|_{\partial \Omega } = 0, \Omega \subset R^2 , \partial \Omega \in C^2 .$ We investigate the behavior of the solution of problem (1)–(2) as β→0 and its closeness to the solution of the degenerate equation (β=0). Given the consistency conditionq(β)=p+εln(1/β), 00, we establish boundedness of the norm $\left\| E \right\|_{C([0,z_0 ]):H_0^1 (\Omega ))} + \left\| {\partial _z E} \right\|_{C([0,z_0 ]);L^2 (\Omega ))} $ for every finitez ₀>0 as β→0. For α≤0 and a fixedq, we prove uniform (in β) boundness of solutions of problem (1)–(2) on some interval [0,Z] and their convergence as β→0 to the solution of the degenerate problem (β=0) in the normC([0,Z];L ² (Ω)).     

復式乘積和球面乘積的關係

<正> 1.設X為一拓撲空間,以a_i表示X的n_i次同偷羣∏_(ni)(X)的一個元素.在球面乘積S~(n1)×…×S~(nr)中,最高次元的腔胞記為e~(n1+…+nr).在S~(n1)×…×S~(nr)中除去e~(n1+…+nr)而得一空間Y.設S~(nl)為nl次元球,為了印刷方便起見,把S~(nl)記作S(nl).在S(ni)中取一參考點x_i~o.設i_1相似文献   

Über die Gleichstetigkeit von Mengen von linearen Abbildungen und eine Klasse von topologischen linearen Räumen

In the first part of this paper we proof the following theorem: Let E and F be topological linear spaces, α an infinite cardinal number, and H a set of linear mappings from E into F such that every subset G of H with cardinality |G|≤α is equicontinuous. Then H is equicontinuous on every linear subspace of E which is the closed linear hull of a family (B_L;L∈I), |I|≤α, of precompact subsets of E. In the second part we introduce the class of all topological linear spaces E with the following property: A set H of linear mappings from E into a topological linear space is equicontinuous, if every countable subset of H is equicontinuous. We show that this class is closed with respect to forming topological products and linear final topologies.     

一类二分图的k-匹配数

设G是一个具有二分类(X_1,X_2)的简单偶图,|X_1|=|X_2|=n,如果对于给定的c>0,|M(S)|≥(1+c)|S|对任意满足|S|≤n/2的S(?)X_i(i=1,2)都成立,其中N(S)是S的邻集,则称G是(n,c)-扩张图.给出了(n,c)-扩张图的k-匹配数与完美匹配数之比的顺从界.     

Strong Convergence of the Kernel Estimates of Nonparametric Regression Functions

Let (X, Y), (X_1, Y_1),\cdots, (X_n, Y_n) be i. i. d. random vectors taking values in R_d\times R with E(|Y|)<\infinity, To estimate the regression function m(x)=E(Y|X=x), we use the kernel estimate $m_n(x)=[\sum\limits_{i = 1}^n {K(\frac{{{X_i} - x}}{{{h_n}}}){Y_i}/} \sum\limits_{i = 1}^n {K(\frac{{{X_j} - x}}{{{h_n}}})} \]$ where K(x) is a kernel function and h_n a window width. In this paper, we establish the strong consistency of m_n(x) when E(|Y|^p)<\infinity for some p>l or E{exp(t|Y|^\lambda)}<\infinity for some \lambda>0 and t>0. It is remakable that other conditions imposed here are independent of the distribution of (X, Y).     

U-统计量的精致渐近性

设{X_n．n≥1}是一非退化的i．i．d．随机变量序列,U_n是以二维Borel可测对称函数h(x,y)为核函数的U-统计量．记U_n=2/(n(n-1))Σ_≤i≤j≤nh(X_i,X_j)．本文分别在核函数h(x,y)只有4/3阶矩或4/3+δ,0＜δ≤1的情况下,对非常广泛的一类权函数(x)与边界函数b(x)得到了如下关于U-统计量U_n的精致渐近性:不仅使得已有的结果成为我们的特况,还大大降低了其中的矩条件．     

Variation of Potentials in the Unit Ball of $ {\shadC}^n$

In this paper, we study the variation of invariant Green potentials G w in the unit ball B of $ {\shadC}^n$ , which for suitable measures w are defined by $$ G_{\mu}(z) = \int_{B}G(z,w)\, d\mu(w), $$ where G is the invariant Green function for the Laplace-Beltrami operator ¨ j on B . The main result of the paper is as follows. Let w be a non-negative regular Borel measure on B satisfying $$ \int_{B}(1-|w|^2)^n\log {1 \over (1-|w|^2)}\, \d\mu(w) ] B , { z denotes the holomorphic automorphism of B satisfying { z (0) = z , { z ( z ) = 0 and ( { z { z )( w ) = w for every w ] B .     

强分次环与非分次模范畴

设R是强群G-分次环,日是G的指数有限的子群.本文讨论强分次环R上一般非分次模的一些性质.首先证明一个与非分次R-模和R(H)-子模有关的Maschke-type定理,然后证明从模范畴R(H)-mod到R-mod的函子HomR(H)(R,-)与R(?)R(H)-是一对自然同构的函子以及等价条件.