解析簇上非孤立奇点的C0-R_V-V(f) -充分性

给出了某类解析簇上具有非孤立奇点的函数芽f在某种等价关系下的C~0-R_V-V(f)-充分性及它的某些形变平凡性的充分条件.它推广了具有非孤立奇点的函数芽的R-Z-充分性的一个判别准则.     

p-超循环嵌入子群的一个判别准则

令E是有限群G的一个正规子群,且U是所有有限超可解群的集合.E称为在G中是p-超循环嵌入的,如果E的每个pd-阶的G-主因子是循环的.G的子群H称为在G中是U-Φ-可补充的,如果存在G的一个次正规子群T,使得G=HT,且(H∩T)H_G/H_G≤Φ/(H/H_G)Z_U(G/H_G),其中Z_U(G/H_G)是商群G/H_G的U-超中心.作者证明,如果E的一些p-子群在G中是U-Φ-可补充的,那么E在G中是p-超循环嵌入的.作为应用,得到了有限群是p-超可解的若干判断准则,并且推广了一些已知的结果.     

Ext_F-投射生成子与Ext_F-内射余生成子

设A是Abel范畴,F是Ext_A~1(-,-):A~(op)×A→A的加法子双函子.首先研究了Ext_(F-)投射生成子与Ext_F-内射余生成子的同调性质,其次引入了W_F-Gorenstein模的概念.特别地,证明了如果重复W_F-Gorenstein模的定义程序将不会产生新的模类.最后,统一并推广了许多参考文献中的结论.     

IG-内射模和SI-代数

研究了IG-内射模和SI-代数,证明了单SG-内射模均是IG-内射模,给出了SI-代数详细的分类,刻画了每个单模都是SG-内射模的代数.     

图的广义Randi\'{c} Estrada 指标的界

受图的Randi\'{c} Estrada 指标和广义 Randi\'{c} 能量的启发, 定义了图的广义 Randi\'{c} Estrada 指标. 利用代数方法和初等分析方法给出了n 阶简 单连通图和 r-正则图的广义Randi\'{c} Estrada指标的上下界, 推广了Bozkurt等人有关Randi\'{c} Estrada指标的结论.     

Lp-混合相交体

首先引进``$L_{p}$-\!全对偶混合体积"的概念,拟拓宽经典的对偶混合体积理论. 其次, 将相交体理论拓展,提出``$L_{p}$-\!相交体"和``$L_{p}$-\!混合相交体"的概念. 作为应用,建立了$L_{p}$-\!混合相交体的$L_{p}$-\!全对偶混合体积的不等式,这些结果不仅推广了现有的一些相关成果, 而且给出了该类极值问题新的估算.     

定向图的斜Randic能量

图G是一个简单无向图,G~σ是图G在定向σ下的定向图,G被称作G~σ的基础图.定向图G~σ的斜Randi6矩阵是实对称n×n矩阵R_s(G~σ)=[(r_s)_(ij)].如果(v_i,v_j)是G~σ的弧,那么(r_s)_(ij)=(d_id_j)~(-1/2)且(r_s)_(ji)=(d_id_j)~(-1/2),否则(r_s)_(ij)=(r_s)_(ji)=0.定向图G~σ的斜Randi能量RE_s(G~σ)是指R_s(G~σ)的所有特征值的绝对值的和.首先刻画了定向图G~σ的斜Randi矩阵R_s(G~σ)的特征多项式的系数.然后给出了定向图G~σ的斜Randi能量RE_s(G~σ)的积分表达式.之后给出了RE_s(G~σ)的上界.最后计算了定向圈的斜Randi能量RE_s(G~σ).     

用二值矩阵表示研究格矩阵的{1}-广义逆和{1,2}-广义逆

用二值矩阵表示的方法(即将格矩阵表示成二值矩阵的线性组合)研究了分配格上矩阵的{1}-广义逆和{1,2}-广义逆. 讨论了{1}-广义逆和{1,2}-广义逆存在的充分必要条件. 给出了判断这些逆是否存在且存在时找出所有这些逆的算法. 从而解决了Kim和Roush(K.H.Kim,F.W.Roush. Generalized fuzzy matrix. Fuzzy Sets and Systems,1980,4(3):293～315)及部分解决了Cao和Kim(Z.Q.Cao,K.H.Kim,F.W.Roush. Incline algebra and applications. New York:John Wiley,1984)提出的问题.     

$\mathbb{Z}^{k}$-作用一维子系统的Lipschitz跟踪性

本文主要研究了$\mathbb{Z}^{k}$-作用一维子系统的跟踪性质. 文中运用两种等价的方式引入了$\mathbb{Z}^{k}$-作用一维子系统的伪轨以及跟踪性的概念. 对于一个闭黎曼流形上的光滑$\mathbb{Z}^{k}$-作用$T$, 我们通过诱导的非自治动力系统提出了Anosov方向的概念. 借助Bowen几何的方法, 我们证明了$T$沿着任意Anosov方向具有Lipschitz跟踪性.     

图P2×Cn的全符号{k}-控制数北大核心

给出了图P2×Cn的全符号{k}-控制数,该结果纠正了Bohdan Zelinka(2001)的一个错误.     

Finiteness conditions and PD<Subscript><Emphasis Type="Italic">r</Emphasis></Subscript>-group covers of PD<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-complexes

We show that an infinite cyclic covering space M′ of a PD _n -complex M is a PD _n-1-complex if and only if χ(M) = 0, M′ is homotopy equivalent to a complex with finite [(n−1)/2]-skeleton and π₁(M′) is finitely presentable. This is best possible in terms of minimal finiteness assumptions on the covering space. We give also a corresponding result for covering spaces M _ν with covering group a PD _r -group under a slightly stricter finiteness condition.      

Lacunary Strong (<Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">σ</Emphasis></Subscript><Emphasis Type="Italic">, p</Emphasis>)-Convergence

The definition of lacunary strongly convergence is extended to the definition of lacunary strong (A _σ , p)-convergence with respect to invariant mean when A is an infinite matrix and p = (p _i ) is a strictly positive sequence. We study some properties and inclusion relations.     

A new multivariable <Subscript><Emphasis Type="BoldItalic">6</Emphasis></Subscript><Emphasis Type="BoldItalic">ψ</Emphasis><Subscript><Emphasis Type="BoldItalic">6</Emphasis></Subscript> summation formula

By multidimensional matrix inversion, combined with an A _r extension of Jackson’s ₈ φ ₇ summation formula by Milne, a new multivariable ₈ φ ₇ summation is derived. By a polynomial argument this ₈ φ ₇ summation is transformed to another multivariable ₈ φ ₇ summation which, by taking a suitable limit, is reduced to a new multivariable extension of the nonterminating ₆ φ ₅ summation. The latter is then extended, by analytic continuation, to a new multivariable extension of Bailey’s very-well-poised ₆ ψ ₆ summation formula. Partly supported by FWF Austrian Science Fund grants P17563-N13, and S9607 (the second is part of the Austrian National Research Network “Analytic Combinatorics and Probabilistic Number Theory”).     

Cc （X） Spaces with X Locally Compact

In this paper, we show, among other results, that if X is a [separable] locally compact space X [satisfying the first countability axiom] then the space Cc （X） has countable tightness [if and only if it has bounding tightness] if and only if it is Frechet-Urysohn, if and only if Cc （X） contains a dense （LM） subspace and if and only if X is a-compact.     

On <Emphasis Type="Italic">n</Emphasis> × <Emphasis Type="Italic">m</Emphasis>-valued Łukasiewicz-Moisil algebras

n×m-valued Łukasiewicz algebras with negation were introduced and investigated in [20, 22, 23]. These algebras constitute a non trivial generalization of n-valued Łukasiewicz-Moisil algebras and in what follows, we shall call them n×m-valued Łukasiewicz-Moisil algebras (or LM _n×m -algebras). In this paper, the study of this new class of algebras is continued. More precisely, a topological duality for these algebras is described and a characterization of LM _n×m -congruences in terms of special subsets of the associated space is shown. Besides, it is determined which of these subsets correspond to principal congruences. In addition, it is proved that the variety of LM _n×m -algebras is a discriminator variety and as a consequence, certain properties of the congruences are obtained. Finally, the number of congruences of a finite LM _n×m -algebra is computed.      

Lifting elementary embeddings <Emphasis Type="Italic">j</Emphasis>: <Emphasis Type="Italic">V</Emphasis><Subscript>λ</Subscript> → <Emphasis Type="Italic">V</Emphasis><Subscript>λ</Subscript>

We describe a fairly general procedure for preserving I₃ embeddings j: V _λ → V _λ via λ-stage reverse Easton iterated forcings. We use this method to prove that, assuming the consistency of an I₃ embedding, V = HOD is consistent with the theory ZFC + WA where WA is an axiom schema in the language {∈, j} asserting a strong but not inconsistent form of “there is an elementary embedding V → V”. This improves upon an earlier result in which consistency was established assuming an I₁ embedding.      

Analog of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> with a subadditive measure

For a subadditive fuzzy measure (not assumed finite), a Minkowski type triangle inequality, with Choquet integrals in place of Lebesgue integrals, is shown to hold. It is immediate that the set of functions for which a certain positive power of the absolute values have finite Choquet integrals is closed under addition, leading to a linear space analogous to the Lebesgue space L ^p , with a metric related to the integral of that power. Under the additional condition that the subadditive fuzzy measure is inner continuous (Sugeno), the space is shown to be complete. Consequences of the Minkowski type inequality are illustrated in two specific instances.      

Frame Wavelets with Compact Supports for L^2（R^n）

The construction of frame wavelets with compact supports is a meaningful problem in wavelet analysis. In particular, it is a hard work to construct the frame wavelets with explicit analytic forms. For a given n × n real expansive matrix A, the frame-sets with respect to A are a family of sets in R^n. Based on the frame-sets, a class of high-dimensional frame wavelets with analytic forms are constructed, which can be non-bandlimited, or even compactly supported. As an application, the construction is illustrated by several examples, in which some new frame wavelets with compact supports are constructed. Moreover, since the main result of this paper is about general dilation matrices, in the examples we present a family of frame wavelets associated with some non-integer dilation matrices that is meaningful in computational geometry.     

On locally <Emphasis Type="Italic">A</Emphasis>-convex <Emphasis Type="Italic">H</Emphasis>*-algebras

We endow any proper A-convex H*-algebra (E, τ) with a locally pre-C*-topology. The latter is equivalent to that introduced by the pre C*-norm given by Ptàk function when (E, τ) is a Q-algebra. We also prove that the algebra of complex numbers is the unique proper locally A-convex H*-algebra which is barrelled and Q-algebra.