图的去点主子图相对同调群的可重构性

本文证明了图与其去点主子图的独立集复形构成的相对同调群族是可重构的；当图满足一定的条件时，图与其去点主子图的邻域复形构成的相对同调群族也是可重构的．     

可分图的邻域同调群的分解性

图的邻城复形的同调样称为图的邻域同调群．本文建立了可分连通图的邻城同调群与这个图的所有块的邻城同调群的直和之间的关系，并且利用这个关系给出了树和仙人掌图的邻域同调分类的条件．     

高度图的独立集复形

给定图G，称以G的所有独立集为单形的抽象复形I（G）为G的独立集复形．如果两个图G和H的独立集复形I（G）和I（H）的各阶同调群都是同构的，则称两个图是独立同调的．J（G）表示Gc的连通分支数，J3K2（G）表示Gc中同构于（3H2）c的连通分支数．本文研究了最小次δ（G）至少为其阶数|V（G）|减5的图G的独立集复形的结构，对满足δ（G）≥|V（C）|5，δ（H）≥|V（H）|－5的两个图G和H，（I）证明了，G和H独立同调的充要条件为J（G）＝J（H），J3K2（G）＝J3K2（H），且I（G）和I（H）的Euler示性数相同．（Ⅱ）给出了一个在图上计算I（G）的一维Betti数的方法，得到了一个I（G）是无圈复形的充要条件     

关于诱导克莱门斯-施米德正合序列的复形:孤立奇点的情况

一个很自然的问题是如何找到一组复形,使得它们诱导出上述的同调群.这样,我们就可以在复形的水平上研究同调群的性质.在一般的情形下,要找到这样的复形并不是很容易的.当单参数代数簇的奇异纤维上的奇点是孤立奇点时,我们得到了这样的复形(详见下面§2(2.13)),这就是本文主要的结果.     

(a,b,n)-临界图的几个充分条件

设G是一个图 .设g和f是两个定义在V(G)上的整值函数使得对V(G)所有顶点x有g(x) ≤f(x) .图G被称为 (g ,f,n) 临界图 ,如果删去G的任意n个顶点后的子图都含有G的 (g ,f) 因子 .本文给出了图是 (a ,b ,n) 临界图几个充分条件 ,即度和邻域条件 .进一步指出这些条件是最佳的 .     

对于X-join不可分解的无三角形的图

本文中的图都是有限简单图.仅含一个点的图叫作平凡图,不含边的图叫作空图.V(G)与 E(G)分别表示图 G 的点的集合与边的集合.有时以 G 代替 V(G),以 x∈G代替 x∈V(G).对 x∈G,N_G(x)={y∈G|xy∈E(G)}叫作 x 的邻域.下面的概念是 Sabidussi 引入的:令{G_x|x∈X}是图的一个族,指标取自另一个图 X.令#表示 X 中的邻接关系,⊥_x表示 G_x 中的邻接关系,则这一族图的 X-join 是指图 G,G=(?)(G_x×{x}),且 G 中的邻接关系⊥定义为:对 G 中任两个点(a,r)与(b,s),(a,r)⊥(b,s)当且仅当 r#s 或r=s 且 a⊥_rb.     

同调群同构的几个充要条件及其应用

本给出了空间与子空间或复形与子复形的同调群同构的几个充要条件，以及它们的一些应用。     

团复形是无圈的平面图是可伸缩图

许宝刚猜想:若图G的团复形是无圈的,则G为可伸缩图．本文证明了该猜想对平面图成立,即:若G是团复形为无圈的平面图,则G为可伸缩图．     

关于Poincaré定理的注记

§1.引言命p,q,n是三个正整数,p+q=n,通常,从考虑n维定向组合同调流形K及其对偶复形K~＊的定向元素之相交指数出发,可以证明(见[2],467-483页).定理1.复形K的p维上同调群~PH~G(K)与复形K~＊的q维同调群~qH_G(K~＊)彼此同构.由于K和K~＊具有同一的重心重分K′,而同调群是重心重分的不变量,所以,从定理     

左模张量积函子(Ⅱ)

在§3中,我们已经给出了zh~R-平坦模的一些初步性质与判别法则。本节给出zh~R-平坦模与古典的投射模、内射模、平坦模之间的关系,即下列定理4.1,这说明我们引入的Zh~R-平坦模的概念是合理的。先引进一条引理,它实际上是文献的一个习题。 引理 如T是从模范畴到模范畴的共变正合函子,则对于中任一复形A,n均有:H_n(TA)≌TH_n(A),其中H_n(A)表示复形A的第n个同调群,H_n(TA)表示中复形TA的第n个同调群。 定理4.1 取定K、R、S,则以下条件等价:     

[a,b]-对等图的范-型条件

既是[a,b]-覆盖又是[a,b]-消去的图称为[a,b]-对等图.设1≤aan+1a+b,则G为[a,b]-对等图.给出了一个图是[a,b]-对等图的关于范-型条件及邻域并的若干充分条件,并指出定理中的条件在一定意义上是最好可能的.     

持续同调在图像分类和识别中的应用

运用持续同调和单纯复形同调群计算的方法对图像做定性分析.将彩色数字图像看作为5维欧氏空间的一个子空间,构造出这个空间在不同参数下的单纯复形;然后,通过计算单纯复形的同调得到相应的条形码,从而基于该条形码来获取图像的拓扑特征以及相应的几何结构信息;最后,探讨了将持续同调应用在图像的分类和识别工作中的可行性.     

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

§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,廖山涛在局部同调群中进一步引入局部上积与卡积如下:     

准传递定向图上的Seymour点

有向图D是准传递的,如果对D中任意三个不同的顶点x, y和z,只要在D中存在弧xy, yz, x和z之间就至少存在一条弧. Seymour二次邻域猜想为:在任何一个定向图D中都存在一个顶点x,满足d_D~+(x)d_D~(++)(x).这里,定向图是指没有2圈的有向图.称满足Seymour二次邻域猜想的点为Seymour点. Fisher证明了Seymour二次邻域猜想适用于竞赛图,也就是每个竞赛图至少包含一个Seymour点. Havet和Thomassé证明了,无出度为零的点的竞赛图至少包含两个Seymour点.注意到,竞赛图是准传递有向图的子图类.研究Seymour二次邻域猜想在准传递定向图上的正确性,通过研究准传递定向图与扩张竞赛图的Seymour点之间的关系,证明了准传递定向图上Seymour二次邻域猜想的正确性,得到:每个准传递定向图至少包含一个Seymour点;无出度为零的点的准传递定向图至少包含两个Seymour点.     

有约束条件的图的(g,f)-因子

设G是一个图,用V(G)和E(G)表示它的顶点集和边集,并设g和f是定义在V(G)上的两个整数值函数且g＜f.图G的一个(g,f)-因子是G的一个支撑子图F使对任意的x∈V(G)有g(x)≤dF(x)≤f(x).如果过图G的任意k条边都有一个(g,f)-因子,则称图G是一个(g,f)-k-覆盖图.如果图G的任意k条边不属于它的一个(g,f)-因子,则称图G是一个(g,f)-k-消去图.作者分别给出了一个图是(g,f)-k-覆盖图和(g,f)-k-消去图的充分条件.     

图的(g,t)-因子分解

§1.定义和记号 本文中所考虑的图是可以有重边际没有环的图,G是一个图,g,f是定义在V(G)上的整数值函数,对∈V(G),满足g(x)≤f(x),H是G的一个支撑子图且满足g(x)≤d_H(x)≤f(x),∈V(G),则称H是G的一个(g,f)一因子。     

(g,f)-消去图的若干充分条件

设 G是一个图 ,用 V(G)和 E(G)表示它的顶点集和边集 ,并设 g和 f是定义在 V(G)上的两个整数值函数且 g 相似文献   

f—因子覆盖的图

设G为图,f是定义在V(G)上的正整数值函数。称图G的支撑子图F为f-因子如果d_(?)(x)-f(x),x∈V(G).称图G是f-因子覆盖的如果G的每条边包含在一个f-因子中.本文给出了一个图是f-因子覆盖的图的充要条件,其结果推广了C.H.C.Little et al.[1]的1-因子覆盖定理。     

二分(mg,mf)-图中的(g,f)-因子

设G是一个二分图具有顶点集V（G）和边集E（G）。设g和f是定义在V（G）上的两个正整值函数使对任意的x∈V（G）有g(x)≤f(x)，G的一个（g,f）－因子H是G的一个生成子图满足g(x)≤dH(x)≤f(x）。若图G本身是一个（g,f）－因子，则称G是一个（g,f）－图。本文得到一个（mg,mf）－图具有特殊性质的（g,f）－因子的充分条件，从而推广了文献[6]中的一个结果。     

一个关于图是分数(k,n)-临界的邻域并条件

设G是一个图,以及k是满足1≤k的整数.一个图G在删除任意n个顶点后的子图均含有分数k-因子,则称G是一个分数(k,n)-临界图.给出了图是一个分数(k,n)-临界图的一个邻域并条件,并且该条件是最佳的.