Smooth格和强Smooth格

引入了强smooth格的概念,讨论了smooth格与强smooth格的一些基本性质,证明了强smooth格可用保任意交和Scott闭集之并的映射嵌入到某方体[0,1]X之中.     

广义半Smooth格

引入了广义半Smooth格和广义半Smooth代数格的概念,讨论了它们的一些基本性质,证明了完备格L是广义完全分配格当且仅当L是拟连续的广义半Smooth格。     

可加广义代数格上的 Tietze 扩张定理

可加的广义代数格范畴与 T₀ 拓扑空间范畴相等价, 从这个观点出发, 作者把可加广义代数格作为一个闭集格, 在其上建立 Urysohn 引理和 Tietze 扩张定理. 这是拓扑理论在格上的一种新推广, 有助于格上拓扑理论的研究和广义连续格理论的应用.     

广义拓扑分子格中分子网的θ—收敛性

本文在广义拓扑分子格中建立了分子网的Ｍｏｏｒｅ－Ｓｍｉｔｈθ收敛理论。借助于此理论，我们得到了刻划弱连续序同态的三个特征定理。     

HV-拟格

利用HV-结构的概念,引入了HV-拟格,子HV-拟格概念,并研究了HV-拟格的直积以及HV-拟格的同态和同构,得到了关于HV-拟格的一些结果.     

J-子空间格代数上中心化子和广义导子的刻画

设L是Banach空间X上的J-子空间格,AlgL是相应的(J-子空间格代数.设φ:AlgL→AlgL是可加映射,对每个K∈(J)(L),dimK≥2.该文证明了下列表述等价:(1)φ是中心化子;(2)φ满足AB=0■φ(A)B=Aφ(B)=0;(3)φ满足AB+BA=0■φ(A)B+φ(B)A=Aφ(B)+Bφ(A)=0;(4)φ满足ABC+CBA=0■φ(A)BC+φ(C)BA=ABφ(C)+CBφ(A)=0.作为应用,得到AlgL上在零点广义可导的可加映射的完全刻画.     

格蕴涵代数上的同余关系

本文研究格蕴涵代数上的同余关系，给出了同余关系诱导的商格蕴涵代数，格蕴涵同态诱导的同命关系，滤子与同余关系之间的联系．     

格蕴涵代数的左幂等元

为了研究命题真值取于格上的逻辑系统,文献[1]给出了格蕴涵供数的概念,文献[2-6]给出了格蕴涵代数的滤子,同态和性质（P）的概念,并讨论了它们的一些性质。本文在格蕴函代数中引入左幂等元的概念,讨论格蕴函代数中左幂等元的性质及由全体左幂等元所构成集合的代数结构,得到格蕴涵代数的分解定理：格蕴涵代数可以分解为由左幂等元构成左映射的像集合与对偶核的直和。     

广义λ超连续格的关系表示

给出广义λ超连续格的几个刻画。特别地,我们证明了完备格L上的λ-区间拓扑θλ(L)是严格T2的L是广义λ超连续格L上的关系是广义λ正则的。     

拟连续Domain与广义完全分配格

本文证明了(1)在合适的态射下,拟连续domain范畴与广义完全分配范畴等价;(2)对有界完备的拟连续domain P,(P,σ(P))为极大极限空间.     

完全分配格上的格值Smooth点式拟一致结构

在完全分配格上定义L—smooth点式拟一致结构概念，并研究它与点式拟一致结构之间的关系以及与smooth拓扑之间的关系，给出分解定理、表现定理及构造条件。     

Generalized Linear Additive Smooth Structures

This article proposes a practical modeling approach that can accommodate a rich variety of predictors, united in a generalized linear model (GLM) setting. In addition to the usual ANOVA-type or covariatelinear (L) predictors, we consider modeling any combination of smooth additive (G) components, varying coefficient (V) components, and (discrete representations of) signal (S) components. We assume that G is, and the coefficients of V and S are, inherently smooth—projecting each of these onto B-spline bases using a modest number of equally spaced knots. Enough knots are used to ensure more flexibility than needed; further smoothness is achieved through a difference penalty on adjacent B-spline coefficients (P-splines). This linear re-expression allows all of the parameters associated with these components to be estimated simultaneously in one large GLM through penalized likelihood. Thus, we have the advantage of avoiding both the backfitting algorithm and complex knot selection schemes. We regulate the flexibility of each component through a separate penalty parameter that is optimally chosen based on cross-validation or an information criterion.     

Quasi-Varieties,Congruences, and Generalized Dowling Lattices

Dowling lattices and their generalizations introduced by Hanlon are interpreted as lattices of congruences associated to certain quasi-varieties of sets with group actions. This interpretation leads, by a simple application of Möbius inversion, to polynomial identities which specialize to Hanlon's evaluation of the characteristic polynomials of generalized Dowling lattices. Analogous results are obtained for a few other quasi-varieties.     

Distributive Lattices with a Generalized Implication: Topological Duality

In this paper we introduce the notion of generalized implication for lattices, as a binary function ⇒ that maps every pair of elements of a lattice to an ideal. We prove that a bounded lattice A is distributive if and only if there exists a generalized implication ⇒ defined in A satisfying certain conditions, and we study the class of bounded distributive lattices A endowed with a generalized implication as a common abstraction of the notions of annihilator (Mandelker, Duke Math J 37:377–386, 1970), Quasi-modal algebras (Celani, Math Bohem 126:721–736, 2001), and weakly Heyting algebras (Celani and Jansana, Math Log Q 51:219–246, 2005). We introduce the suitable notions of morphisms in order to obtain a category, as well as the corresponding notion of congruence. We develop a Priestley style topological duality for the bounded distributive lattices with a generalized implication. This duality generalizes the duality given in Celani and Jansana (Math Log Q 51:219–246, 2005) for weakly Heyting algebras and the duality given in Celani (Math Bohem 126:721–736, 2001) for Quasi-modal algebras.     

Generalized Cardinal Properties of Lattices and Lattice Ordered Groups

We denote by K the class of all cardinals; put K = K {}. Let be a class of algebraic systems. A generalized cardinal property f on is defined to be a rule which assings to each A an element fA of K such that, whenever A₁, A₂ and A₁ A₂, then fA ₁ = fA ₂. In this paper we are interested mainly in the cases when (i) is the class of all bounded lattices B having more than one element, or (ii) is a class of lattice ordered groups.     

Smooth Transformation of the Generalized Minimax Problem

We consider the generalized minimax problem, that is, the problem of minimizing a function (x)=F(g ₁(x),...,g _m(x)), where F is a smooth function and each g _i is the maximum of a finite number of smooth functions. We prove that, under suitable assumptions, it is possible to construct a continuously differentiable exact barrier function, whose minimizers yield the minimizers of the function . In this way, the nonsmooth original problem can be solved by usual minimization techniques for unconstrained differentiable functions.