首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 251 毫秒
1.
Various embedding problems of lattices into complete lattices are solved. We prove that for any join-semilattice S with the minimal join-cover refinement property, the ideal lattice Id S of S is both algebraic and dually algebraic. Furthermore, if there are no infinite D-sequences in J(S), then Id S can be embedded into a direct product of finite lower bounded lattices. We also find a system of infinitary identities that characterize sublattices of complete, lower continuous, and join-semidistributive lattices. These conditions are satisfied by any (not necessarily finitely generated) lower bounded lattice and by any locally finite, join-semidistributive lattice. Furthermore, they imply M. Erné’s dual staircase distributivity.On the other hand, we prove that the subspace lattice of any infinite-dimensional vector space cannot be embedded into any ℵ0-complete, ℵ0-upper continuous, and ℵ0-lower continuous lattice. A similar result holds for the lattice of all order-convex subsets of any infinite chain.Dedicated to the memory of Ivan RivalReceived April 4, 2003; accepted in final form June 16, 2004.This revised version was published online in August 2005 with a corrected cover date.  相似文献   

2.
Our work is a foundational study of the notion of approximation in Q-categories and in (U,Q)-categories, for a quantale Q and the ultrafilter monad U. We introduce auxiliary, approximating and Scott-continuous distributors, the way-below distributor, and continuity of Q- and (U,Q)-categories. We fully characterize continuous Q-categories (resp. (U,Q)-categories) among all cocomplete Q-categories (resp. (U,Q)-categories) in the same ways as continuous domains are characterized among all dcpos. By varying the choice of the quantale Q and the notion of ideals, and by further allowing the ultrafilter monad to act on the quantale, we obtain a flexible theory of continuity that applies to partial orders and to metric and topological spaces. We demonstrate on examples that our theory unifies some major approaches to quantitative domain theory.  相似文献   

3.
On the basis of concepts of bipolar fuzzy sets, we establish a new framework of bipolar fuzzy subsemirings(resp., ideals) which is a generalization of traditional fuzzy subsemirings(resp., ideals) in semirings. The concepts of bipolar fuzzy subsemirings(resp., ideals) are introduced and related properties are investigated by means of positive t-cut, negative s-cut and equivalence relation. Particularly, the notion of a normal bipolar fuzzy ideal is given, and some basic properties are studied in this paper.  相似文献   

4.
Let K be an ultrametric complete field and let E be an ultrametric space. Let A be the Banach K-algebra of bounded continuous functions from E to K and let B be the Banach K-algebra of bounded uniformly continuous functions from E to K. Maximal ideals and continuous multiplicative semi-norms on A (resp. on B) are studied by defining relations of stickiness and contiguousness on ultrafilters that are equivalence relations. So, the maximal spectrum of A (resp. of B) is in bijection with the set of equivalence classes with respect to stickiness (resp. to contiguousness). Every prime ideal of A or B is included in a unique maximal ideal and every prime closed ideal of A (resp. of B) is a maximal ideal, hence every continuous multiplicative semi-norms on A (resp. on B) has a kernel that is a maximal ideal. If K is locally compact, every maximal ideal of A (resp. of B) is of codimension 1. Every maximal ideal of A or B is the kernel of a unique continuous multiplicative semi-norm and every continuous multiplicative semi-norm is defined as the limit along an ultrafilter on E. Consequently, on A as on B the set of continuous multiplicative semi-norms defined by points of E is dense in the whole set of all continuous multiplicative semi-norms. Ultrafilters show bijections between the set of continuous multiplicative semi-norms of A, Max(A) and the Banaschewski compactification of E which is homeomorphic to the topological space of continuous multiplicative semi-norms. The Shilov boundary of A (resp. B) is equal to the whole set of continuous multiplicative semi-norms.  相似文献   

5.
We say that a rank-unimodal poset P has rapidly decreasing rank numbers, or the RDR property, if above (resp. below) the largest ranks of P, the size of each level is at most half of the previous (resp. next) one. We show that a finite rank-unimodal, rank-symmetric, normalized matching, RDR poset of width w has a partition into w chains such that the sizes of the chains are one of two consecutive integers. In particular, there exists a partition of the linear lattices Ln(q) (subspaces of an n-dimensional vector space over a finite field, ordered by inclusion) into chains such that the number of chains is the width of Ln(q) and the sizes of the chains are one of two consecutive integers.  相似文献   

6.
G. Grätzer  E. T. Schmidt 《Order》1995,12(3):221-231
A universal algebra isaffine complete if all functions satisfying the Substitution Property are polynomials (composed of the basic operations and the elements of the algebra). In 1962, the first author proved that a bounded distributive lattice is affine complete if and only if it does not contain a proper Boolean interval. Recently, M. Ploica generalized this result to arbitrary distributive lattices.In this paper, we introduce a class of functions on a latticeL, we call themID-polynomials, that derive from polynomials on the ideal lattice (resp., dual ideal lattice) ofL; they are isotone functions and satisfy the Substitution Property. We prove that for a distributive latticeL, all unary functions with the Substitution Property are ID-polynomials if and only ifL contains no proper Boolean interval.The research of the first author was supported by the NSERC of Canada. The research of the second author was supported by the Hungarian National Foundation for Scientific Research, under Grant No. 1903.  相似文献   

7.
 We study the relation of to the subspaces and quotients of Banach spaces of continuous vector-valued functions , where K is an arbitrary dispersed compact set. More precisely, we prove that every infinite dimensional closed subspace of totally incomparable to X contains a copy of complemented in . This is a natural continuation of results of Cembranos-Freniche and Lotz-Peck-Porta. We also improve our result when K is homeomorphic to an interval of ordinals. Next we show that complemented subspaces (resp., quotients) of which contain no copy of are isomorphic to complemented subspaces (resp., quotients) of some finite sum of X. As a consequence, we prove that every infinite dimensional quotient of which is quotient incomparable to X, contains a complemented copy of . Finally we present some more geometric properties of spaces. Received 8 November 2000; in revised form 7 December 2001  相似文献   

8.
Marcel Erné 《Order》1991,8(2):197-221
By a recent observation of Monjardet and Wille, a finite distributive lattice is generated by its doubly irreducible elements iff the poset of all join-irreducible elements has a distributive MacNeille completion. This fact is generalized in several directions, by dropping the finiteness condition and considering various types of bigeneration via arbitrary meets and certain distinguished joins. This leads to a deeper investigation of so-called L-generators resp. C-subbases, translating well-known notions of topology to order theory. A strong relationship is established between bigeneration by (minimal) L-generators and so-called principal separation, which is defined in order-theoretical terms but may be regarded as a strong topological separation axiom. For suitable L, the complete lattices with a smallest join-dense L-subbasis consisting of L-primes are the L-completions of principally separated posets.  相似文献   

9.
John A. Tiller 《Order》1986,3(3):299-306
The purpose of this paper is to introduce a notion which is a generalization of convex sets and to use this notion to construct continuous lattices which are shown to be related to lattices of lower-semicontinuous functions. The end results of this development is a characterization of lattices of lower-semicontinuous functions in terms of a class of continuous lattices introduced in this paper (see Theorem 8). Then material is introduced which leads to a complementary result in Theorem 11 which characterizes the continuous lattices that can be lattices of lower-semicontinuous functions.  相似文献   

10.
Let S be an ordered semigroup.In this paper,we characterize ordered semigroups in which the radical of every ideal(right ideal,bi-ideal) is an ordered subsemigroup(resp.,ideal,right ideal,left ideal,bi-ideal,interior ideal) by using some binary relations on S.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号