Free and Latest article publishing for websites and ezines!


The Theory of Semicontinuous Lattices

The content of this paper consist of three parts.The first part of the paper includes Chapters II, III, IV and V. In the 1970sScott was led by problems of semantics for computer languages to initiate thestudy of continuous lattices. Almost at the same time, in the fields of pureMathematics and Computer Sciences, Lawson, Ho?man, Stralka, etc. defined akind of complete lattices with special properties to characterize a class of compactsemilattices. They soon recognized that the complete lattice defined by themwas precisely the continuous lattice given by Scott. From the different areas,they discussed the same thing that led to the growth of continuous lattice theory.With continuous lattice theory development, it has been studied extensively bymany people from various fields due to its close connection to algebra, logics,general topology and computer science and a great many results about continuouslattices and domain theory were obtained.Later the continuous lattices were generalized to various classes of orderedstructures for di?erent motivations, for example, Gierz, Lawson, Jung, etc. intro-duced the concepts of generalized continuous lattices and hypercontinuous lat-tices, the L-domains, and the most general, continuous dcpos. With the deeperresearch, Bandelt and Erne introduced the concepts of Z-continuous posets. In1997, in order to get more general results on the relationship between primeand pseudo-prime elements in a complete lattice, two new classes of lattices re-lated to continuous lattices, namely the semicontinuous lattices and the stronglycontinuous lattices, were introduced by D. Zhao.In Chaper II, we study some basic properties of semicontinuous latticesand introduce semialgebraic lattices, quasi-semicontinuous lattices and meet-semicontinuous lattices. At the same time, we study some properties of them andthe relationship among them. Since there are two important intrinsic topologiesin continuous lattices: the Scott topology and the Lawson topology and thesetopologies have many good properties.In Chapter III, we introduce two new intrinsic topologies on complete lat-tices, which are then used to formulate new characterizations for semicontinuouslattices and strongly continuous lattices. Moveover, we give the new characteri-zations of strongly continuous lattices based on convergence of nets. In Chapter IV, we define several new types of mappings between completelattices and study the relationship among S-continuous mappings, Scott con-tinuous mappings, strongly continuous mappings and semicontinuous mappings.We also study the properties about fixed points of semicontinuous self-mappingsbetween semicontinuous lattices.In the application of computer science, Cartesian closedness of the domaincategory is usually the required property. Thus in Chapter V, we will consider thecategory of strongly continuous lattices and prove that the strongly continuouslattice category is Cartesian closed. It is also pointed out that the subcategoryof distributive continuous lattices is cartesian closed. We discuss the conditionsunder which the function space of semicontinuous lattices is semicontinuous.In the second part, i.e., Chapter VI, we mainly study the meet continuousposets. We will firstly extend these classical results of meet continuous dcpos tomeet continuous posets. And we establish the relations between meet continu-ous posets and W-continuous posets. Moveover, we will introduce the lim-inf*convergence in a poset which generalized the lim-inf convergence introduced byB. Zhao etc. We obtain the conditions under which the lim-inf* convergence istopological.In the third part, i.e., Chapter VII, we mainly study the characterizations ofcontinuous lattices and Z-continuous posets. We firstly introduce quasi-compactsin continuous lattices, which are different with meet-irreducible elements andjoin-irreducible elements. And then we give quasi-bases of continuous latticesand a procedure for generating continuous lattices using the quasi-bases. At last,we will introduce the concept of Z-embedded basis for posets and establish somecharacterization theorems for Z-continuous posets by the technique of embed-ded Z-basis. Moreover, we will discuss the conditions under which the Z-idealcompletion of a abstract Z-basis is Z-algebraic.

Recommended Articles from the Basic Sciences Category:

Most Viewed ScienceArticles in the Basic Sciences Category:

  1. Krylov Subspace Methods for Large Matrix Eigenvalue and Linear System Problems
  2. An Evaluation of Ecotourism Characteristics in Nature Reserves and Tourism Impacts on Breeding Behavi
  3. Oil and Gas Geological Condition and Prospect Evaluation in the Peripheral Down-Faulted Basins Group
  4. Inflow Performance Relationship and Application for Low Permeability-Defomed Media Reservoir
  5. Numerical Simulation of Engine Con-rod Fracture Splitting Process and Analysis on Effect Factors
  6. Lagrange Interpolation and Hermite Interpolation Along the Algebraic Manifold
  7. First-Principles Investigation on the Structures and Properties of Multiferroics
  8. The Theory of Copula and the Applications of Statistics of Extremes
  9. Key Parameters of Photobioreactor Cultivation of Macroalgal Cells
  10. Study on Polarization Maintaining Photonic Crystal Fiber and Its Application on Fiber Optic Gyroscope
  11. Simulation of the Effects of Landscape Fragmentation on Amur Tiger's Main Prey
  12. Home Range and Habitat Selection of Wolf in the Eastern Grassland of the Inner Mongolia
  13. Gold Nanotubes, Boron Nanotubes, and Metal-encapsulted Silicon Fullerenes: Ab Initio Predictions of C
  14. Roles of RNA Secondary Structure in Dengue Virus C Gene and Capsid Protein in Viral Replication
  15. Effect of Iron on Growth and Lipid Accumulation in Several Microalgae with Different Metabolic Type


© 2004-2009 Latest-Science-Articles.com - All Rights Reserved Worldwide.