Weak Rickart and dual weak Rickart objects in abelian categories

We introduce and investigate weak relative Rickart objects and dual weak relative Rickart objects in abelian categories. Several types of abelian categories are characterized in terms of (dual) weak relative Rickart properties. We relate our theory to the study of relative regular objects and (dual) relative Baer objects. We also give some applications to module and comodule categories.     

强定向图的k-强距离

对强连通有向图D的一个非空顶点子集S,D中包含S的具有最少弧数的强连通有向子图称为S的Steiner子图,S的强Steiner距离d(S)等于S的Steiner子图的弧数. 如果|S|=k, 那么d(S)称为S的k-强距离. 对整数k≥2和强有向图D的顶点v,v的k-强离心率sek(v)为D中所有包含v的k个顶点的子集的k-强距离的最大值. D中顶点的最小k-强离心率称为D的k-强半径,记为sradk(D),最大k-强离心率称为D的k-强直径,记为sdiamk(D). 本文证明了,对于满足k+1≤r,d≤n的任意整数r,d,存在顶点数为n的强竞赛图T′和T″,使得sradk(T′)=r和sdiamk(T″)=d;进而给出了强定向图的k-强直径的一个上界.     

离散指数分布序列的强偏差与强逼近

本文引入离散指数分布概念,建立了关于离散型指数分布序列的强偏差定理和强大数定律.同时,得到离散指数分布序列对连续指数分布序列的强逼近.     

L-拓扑空间的强拟半开集

在L-拓扑空间给出了强拟半开集和强拟半闭集的概念,并且讨论了它们的一些性质.     

Yoneda Structures from 2-toposes

A 2-categorical generalisation of the notion of elementary topos is provided, and some of the properties of the Yoneda structure (Street and Walters, J. Algebra, 50:350–379, 1978) it generates are explored. Results enabling one to exhibit objects as cocomplete in the sense definable within a Yoneda structure are presented. Examples relevant to the globular approach to higher dimensional category theory are discussed. This paper also contains some expository material on the theory of fibrations internal to a finitely complete 2-category (Street, Lecture Notes in Math., 420:104–133, 1974) and provides a self-contained development of the necessary background material on Yoneda structures.      

L-拓扑空间的弱局部强F紧性及单点强F紧化

以R.Lowen的强F紧性为基础,定义了L-拓扑空间的弱局部强F紧性及单点强F紧化,推广了有关弱局部紧拓扑空间和拓扑空间的单点紧化的若干结果,证明了L-拓扑空间的弱局部强F紧性是拓扑空间的弱局部紧性的L-推广。     

Monomorphisms and epimorphisms in pro-categories

A morphism of a category which is simultaneously an epimorphism and a monomorphism is called a bimorphism. We give characterizations of monomorphisms (respectively, epimorphisms) in pro-category pro-C, provided C has direct sums (respectively, pushouts).Let E(C) (respectively, M(C)) be the subcategory of C whose morphisms are epimorphisms (respectively, monomorphisms) of C. We give conditions in some categories C for an object X of pro-C to be isomorphic to an object of pro-E(C) (respectively, pro-M(C)).A related class of objects of pro-C consists of X such that there is an epimorphism X→P∈Ob(C) (respectively, a monomorphism P∈Ob(C)→X). Characterizing those objects involves conditions analogous (respectively, dual) to the Mittag-Leffler property. One should expect that the object belonging to both classes ought to be stable. It is so in the case of pro-groups. The natural environment to discuss those questions are balanced categories with epimorphic images. The last part of the paper deals with that question in pro-homotopy.     

涉及迹同伦范畴的几对伴随函子

Ｋ．Ａ．Ｈａｒｄｉｅ与Ｋ．Ｈ．Ｋａｍｐｓ研究过固定空间Ｂ上的迹同伦范畴（［１］）．他们引进了两对伴随函子ＰＢ┤ＮＢ与ｍ┤ｍ,此处ｍ：ＡＢ是固定映射,ＰＢ：ＨＢＨＢ与ｍ：ＨＡＨＢ是函子．我们在［２］中引进了分裂的范畴纤维化Ｌ：ＨｂＨＢ,并且证明了Ｌ┤Ｊ,Ｊ┤Ｌ．本文首先将ＰＢ┤ＮＢ推广到ＰＢｂ┤ＮＢｂ＃,其中ｂ：ＢＢ是任一固定映射,并且我们还得到涉及迹同伦范畴Ｈｂ与Ｈｂ的两对伴随函子,此处Ｈｂ是Ｈｂ的对偶．特别,Ｎｂ┤Ｐｂ不同于ＰＢ┤ＮＢ．     

Strong uniform continuity

Let be an ideal of subsets of a metric space X,d. This paper considers a strengthening of the notion of uniform continuity of a function restricted to members of which reduces to ordinary continuity when consists of the finite subsets of X and agrees with uniform continuity on members of when is either the power set of X or the family of compact subsets of X. The paper also presents new function space topologies that are well suited to this strengthening. As a consequence of the general theory, we display necessary and sufficient conditions for continuity of the pointwise limit of a net of continuous functions.     

正规子么半群与强码

设∑为字母表,∑是由∑生成的自由么半群.本文得到∑的任一正规子么半群恰是∑上的强码所生成的语言,讨论由强码导出的同余的性质,并给出码成为极大强码的充要条件.     

Strong uniqueness for the plate equations

In this paper we show the strong uniqueness for the plate equations. By using the idea due to Lebeau we transform the given operator to the elliptic operators to which we apply the Carleman estimates given by Alinhac and Lerner.

     

带逆断面的正则半群上的强模糊同余

带逆断面的正则半群是一类重要的正则半群.就带逆断面的正则半群类引入强模糊同余的概念,进而用所谓的强模糊同余三元组抽象地刻画带逆断面的正则半群上的强模糊同余.     

经典命题逻辑中的近似推理与强近似推理

基于命题逻辑公式之间相似度的概念,在经典命题逻辑系统中提出了两种近似推理模式,得到了它们的一些基本性质。讨论了这两种推理模式与经典推理模式之间的关系。此外,当理论Γ有限时,本文分别给出Γ在α程度上近似推出公式A和理论Σ的充要条件。最后,我们给出公式A与有限理论Γ的结论集D(Γ)之间距离的计算公式。     

Triangular objects and systematic K-theory

We investigate modules over “systematic” rings. Such rings are “almost graded” and have appeared under various names in the literature; they are special cases of the G-systems of Grzeszczuk. We analyse their K-theory in the presence of conditions on the support, and explain how this generalises and unifies calculations of graded and filtered K-theory scattered in the literature. Our treatment makes systematic use of the formalism of idempotent completion and a theory of triangular objects in additive categories, leading to elementary and transparent proofs throughout.     

Strong semimodular lattices and Frankl's conjecture

In this paper, we show that Frankl's conjecture holds for strong semimodular lattices. The result is the first step to deal with the case of upper semimodular lattices. Received May 30, 2000; accepted in final form August 14, 2000.     

Strong asymptotics in Lagrange interpolation with equidistant nodes

In this paper we prove three conjectures of Revers on Lagrange interpolation for f_λ(t)=|t|^λ,λ>0, at equidistant nodes. In particular, we describe the rate of divergence of the Lagrange interpolants L_N( f_λ,t) for 0<|t|<1, and discuss their convergence at t=0. We also establish an asymptotic relation for max_|t|1| |t|^λ−L_N( f_λ,t)|. The proofs are based on strong asymptotics for |t|^λ−L_N( f_λ,t), 0|t|<1.     

Strong edge colorings of uniform graphs

For a graph G=(V(G),E(G)), a strong edge coloring of G is an edge coloring in which every color class is an induced matching. The strong chromatic index of G, χ_s(G), is the smallest number of colors in a strong edge coloring of G. The strong chromatic index of the random graph G(n,p) was considered in Discrete Math. 281 (2004) 129, Austral. J. Combin. 10 (1994) 97, Austral. J. Combin. 18 (1998) 219 and Combin. Probab. Comput. 11 (1) (2002) 103. In this paper, we consider χ_s(G) for a related class of graphs G known as uniform or ε-regular graphs. In particular, we prove that for 0<ε?d<1, all (d,ε)-regular bipartite graphs G=(U∪V,E) with |U|=|V|?n₀(d,ε) satisfy χ_s(G)?ζ(ε)Δ(G)², where ζ(ε)→0 as ε→0 (this order of magnitude is easily seen to be best possible). Our main tool in proving this statement is a powerful packing result of Pippenger and Spencer (Combin. Theory Ser. A 51(1) (1989) 24).     

强非零线性系统有正解的判定

本文给出了判定强非零线系统有正解的一系列结果。