Sublattices of Euclidean spaces (Q580389): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:41, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sublattices of Euclidean spaces |
scientific article |
Statements
Sublattices of Euclidean spaces (English)
0 references
1987
0 references
A full sublattice L of \({\mathbb{R}}^ n\) is the closure of an open bounded connected subset closed under componentwise minima and maxima. In particular, L is a completely distributive compact topological lattice. The spectrum Prime(L) of all prime elements is, therefore, an important invariant. It is known that, under the present circumstances, Prime(L) is a finite union of inf-closed chains. A point, where two or more of them meet is called a knot. The first section contributes information on the set of nonidentity meet irreducible elements in a continuous lattice. Such an element is completely meet irreducible iff it is a local maximum. If L is a topological lattice with respect to the Lawson topology, then such elements exist iff L is disconnected. If L is a continuous lattice in which every interval is connected and if the set of irreducible elements in closed, then this latter set is connected. In particular, Prime(L) is connected for a full lattice L in euclidean space. Any knot in Prime(L) below the top is a local minimum in Prime(L). The major theorem is as follows: Let L be a compact metrizable distributive lattice of finite breadth n such that Prime(L) is closed. Then the following assertions are equivalent: (1) L is isomorphic to a full sublattice in \({\mathbb{R}}^ n\). (2) Prime(L) is the union of n maximal compact connected chains \(X_ 1,...,X_ n\), all having the top as supremum and being such that for all i and all p in Prime(L), the relation \(p\leq \inf X_ i\) implies \(p=\inf X_ j\) for some j. Moreover, in this case, for \(i\neq j\) we have \(X_ i\cap X_ j\supset \{top,\inf X_ i\}\). The proof of this result is long, nontrivial, and requires a considerable apparatus on continuous lattices, point set topology and order theory.
0 references
completely distributive compact topological lattice
0 references
spectrum
0 references
prime elements
0 references
meet irreducible elements
0 references
continuous lattice
0 references
Lawson topology
0 references
euclidean space
0 references
compact metrizable distributive lattice
0 references
compact connected chains
0 references