Giacobazzi, Roberto and Ranzato, Francesco (1997) Lifting complete orders to achieve co-additivity of closure operators. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
Postscript (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (113Kb) |
Abstract
We define the notion of meet-uniformity for closure operators on a complete lattice, which corresponds to co-additivity restricted to subsets mapped into the same element, and we study its properties. A class of closures given by principal filters and the downward closures are relevant examples of meet-uniform closures. Next, we introduce a lifting of a complete order by means of a meet-uniform closure. Our main results show that this lifting preserves the complete lattice structure, and allows the meet-uniform closure to become fully co-additive.
Item Type: | Book |
---|---|
Uncontrolled Keywords: | closure operators, additivity, co-additivity, lattices |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 23 Jan 2015 11:12 |
Last Modified: | 23 Jan 2015 11:12 |
URI: | http://eprints.adm.unipi.it/id/eprint/1977 |
Repository staff only actions
View Item |