超级模数博弈的存在性

本文定义了一类在有序Banach空间上的超模博弈,并利用著名的Birkhoff不动点定理证明了有序Banach空间上超模博弈Nash均衡的存在性.     

带基数约束的次模+超模(BP)函数最大化问题的流算法

本文研究在基数约束下具有单调性的次模+超模函数最大化问题的流模型。该问题在数据处理、机器学习和人工智能等方面都有广泛应用。借助于目标函数的收益递减率（$\gamma$）,我们设计了单轮读取数据的过滤-流算法,并结合次模、超模函数的全局曲率（$\kappa^{g}$）得到算法的近似比为$\min\left\{\frac{（1-\varepsilon）\gamma}{2^{\gamma}},1-\frac{\gamma}{2^{\gamma}（1-\kappa^{g}）^{2}}\right\}$。数值实验验证了过滤-流算法对BP最大化问题的有效性并且得出：次模函数和超模函数在同量级条件下,能保证在较少的时间内得到与贪婪算法相同的最优值。     

带基数约束的次模+超模(BP)函数最大化问题的流算法

本文研究在基数约束下具有单调性的次模+超模函数最大化问题的流模型。该问题在数据处理、机器学习和人工智能等方面都有广泛应用。借助于目标函数的收益递减率（$\gamma$）,我们设计了单轮读取数据的过滤-流算法,并结合次模、超模函数的全局曲率（$\kappa^{g}$）得到算法的近似比为$\min\left\{\frac{（1-\varepsilon）\gamma}{2^{\gamma}},1-\frac{\gamma}{2^{\gamma}（1-\kappa^{g}）^{2}}\right\}$。数值实验验证了过滤-流算法对BP最大化问题的有效性并且得出：次模函数和超模函数在同量级条件下,能保证在较少的时间内得到与贪婪算法相同的最优值。     

图论中若干重要定理的历史注记

考察了图论中若干重要定理的历史背景,这些定理包括图论基本定理,矩阵-树定理,门格尔定理,霍尔定理,柯尼希定理,塔特定理,彼得森定理,库拉托夫斯基定理,布鲁克斯定理和维津定理.     

积分型中值定理的推广及统一表示

通过减弱连续的条件,推广了一类积分型中值定理,在适当的条件下,用一个式子将Lagrange中值定理、Cauchy微分中值定理、积分型Cauchy中值定理、积分中值定理、积分第一中值定理、Lagrange型积分中值定理、Cauchy型积分中值定理及推广的积分第一中值定理这8个中值定理统一起来.     

播挪运算及其性质

在现有的播挪定义基础上,引入了对偶播挪的概念和任意论域子集族的内并、内交两种新运算,提出了十个定理.它们是：平凡播挪空间定理,最小播挪定理,播挪内运算封闭性定理,播挪任意交定理,播挪上确界定理,播挪运算分配性定理,播挪基判定定理,播挪基闭包定理,播挪基约简定理,播挪基内运算封闭性定理.这些定理对于播挪空间的研究具有一定的理论价值.     

托勒密定理与西姆松线定理的等价性及折射定律的一个初等证明

托勒密定理与西姆松线定理是两个有名的经典定理,蔡聪明在[1]中对托勒密定理及其有关性质做了细致的综述,但从西姆松线定理与托勒密定理的关系入手,更容易看清这两个经典定理的实质.     

发现法讲授中值定理的一种尝试

微分学中值定理通常包括费尔马定理、罗尔定理、拉格朗日定理、柯西定理、泰勒定理。用启发式讲授这些定理的方案很多。笔者设计一种用发现法讲述这组定理的一种方案。最近的教法研讨会上,笔者介绍这种方案,同行们希     

圆幂定理及其应用

圆幂定理,实质上是反映两条相交直线与圆的位置关系的性质定理,共包含如正三个定理(1)相交弦定理;(2)割线定理;(3)切割线定理.如果把以上三定理按交点在圆内和圆外进行讨论,则交点在圆内:相交弦定理;交点在圆外;割线定理、切割线定理、切线长定理.     

关于“拉特马吼级数表示的函数”一文中一个定理的简单证明和推广

王斯雷在[1]中建立了下述定理1。但是他的证明似乎太长,本文指出,这个定理只需用初等微积分的方法就可以很简单地证明出来。用新证明的类似方法我们还可以得到定理2及定理3。定理2将原定理中F(x)连续的条件减弱为近似连续,定理3又在定理2的基础上把定理1进一步推广。定理1.设F(x)是[0,1]上的连续函数,级数     

Free hypermodules: a categorical approach

Abstract

In category theory, the existence of free objects is very important, especially free modules that play an important role in homological algebra. Although algebraic hyperstructures are a natural extension of algebraic structures, due to the major difference between them, study-free objects in algebraic hyperstructures become very difficult. In this article, we provide a categorical approach for the construction of free hypermodules. In fact, by considering appropriate morphisms between hypermodules, we characterize free hypermodules from three different perspectives.     

Free and cyclic hypermodules

Summary This paper is a study of the theory of hypermodules. At first an example of a hypermodule is given which leads us to some interesting applications. After that the free and the cyclid hypermodules are introduced and examined.     

θ*-Relation on Hypermodules and Fundamental Modules Over Commutative Fundamental Rings

The main tools in the theory of hyperstructues are the fundamental relations. The fundamental relation on a hypermodule over a hyperring was already introduced by Vougiouklis. The fundamental relation on a hypermodule over a hyperring is defined as the smallest equivalence relation so that the quotient would be the module over a ring. Note that generally the commutativity with respect to both sum in the (fundemental) module and product in the (fundamental) ring are not assumed. In this article we introduce a new strongly regular equivalence relation on hypermodules so that the quotient is module (with abelin group) over a commutative ring. Also we state the conditions that is equivalent with the transitivity of this relation and finally we characterize the complete hypermodules over hyperrings.     

Hypergroupes régulières et hypermodules

Sommaire Dans ce travail on peut distinguer trois parties étroitement liées. Dans la première on étudie la structure de coeur d'un hypergroupe régulier et on arrive à la déterminer complètement. Dans la deuxième on analyse qualques propriétés des hypermodules et enfin dans la dernière on étend aux hypermodules, la notion de produit tensoriel: on donne trois définitions différentes qui débouchent au même résultat.

---

Riassunto In questo lavoro si possono distinguere tre parti strettamente legate. Nella prima si studia la struttura del cuore di un ipergruppo regolare e si giunge a determinarla in modo completo. Nella seconda si analizzano alcune proprietà degli ipermoduli e infine nell'ultima si estende agli ipermoduli la nozione di prodotto tensoriale: si danno tre definizioni differenti e se ne dimostra l'equivalenza.

     

A hyperstructural approach to essentiality

Let M be a hypermodule over a hyperring R such that the intersection of any two subhypermodules of M, is a subhypermodule of M. We introduce the concept of an essential subhypermodule in M relative to an arbitrary subhypermodule T of M, which is called a T-essential subhypermodule of M. Our main goal in this work is to investigate properties of (relative) essential subhypermodules. We apply this concept to introduce extending hypermodules. Examples are provided to illustrate different concepts.     

Derived representation type and cleaving functors

We introduce the notation of weakly derived tameness, and establish the equivalence of derived tameness and weakly derived tameness for algebras of finite global dimension. Moreover, we observe the relation between derived representation type and cleaving functors, and obtain a method to judge an algebra to be derived wild. As an application, we determine the derived representation type of self-injective Nakayama algebras.     

导集运算及其条件的独立性

对点集拓扑学中由导集运算决定拓扑的方法进行了讨论,给出了导集运算的定义,导集运算决定拓扑定理,并讨论了导集运算中条件的相互独立性.进一步完善了点集拓扑学中有关导集概念的内容.     

Basic structures on derived critical loci

We review the derived algebraic geometry of derived zero loci of sections of vector bundles, with particular emphasis on derived critical loci. In particular we some of the structures carried by derived critical loci: the homotopy Batalin-Vilkovisky structure, the action of the 2-monoid of the self-intersection of the zero section, and the derived symplectic structure of degree −1. We also show how this structure exists, more generally, on derived lagrangian intersections inside a symplectic algebraic manifold.     

Brauer-Thrall Type Theorems for Derived Module Categories

The numerical invariants (global) cohomological length, (global) cohomological width, and (global) cohomological range of a complex (an algebra) are introduced. Cohomological range leads to the concepts of derived bounded algebra and strongly derived unbounded algebra naturally. The first and second Brauer-Thrall type theorems for the bounded derived category of a finite-dimensional algebra over an algebraically closed field are obtained. The first Brauer-Thrall type theorem says that derived bounded algebras are just derived finite algebras. The second Brauer-Thrall type theorem says that an algebra is either derived discrete or strongly derived unbounded, but not both. Moreover, piecewise hereditary algebras and derived discrete algebras are characterized as the algebras of finite global cohomological width and the algebras of finite global cohomological length respectively.     

内导集与内导集运算

给出了内导集的定义,证明了其性质,并且讨论了内导集与导集之间的关系.随之定义了内导集运算,利用内导集运算定义了拓扑,并讨论了内导集运算条件之间的独立性.