请输入您要查询的字词:

 

单词 CompactElement
释义

compact element


Let X be a set and 𝒯 be a topologyMathworldPlanetmath on X, a well-known concept is that of a compact set: a set A is compact if every open cover of A has a finite subcover. Another way of putting this, symbolically, is that if

A𝒮,

where 𝒮𝒯, then there is a finite subset of 𝒮, such that

A.

A more general concept, derived from above, is that of a compact element in a latticeMathworldPlanetmath. Let L be a lattice and aL. Then a is said to be compact if

whenever a subset S of L such that S exists and aS, then there is a finite subset FS such that aF.

If we let 𝒟 to be the collectionMathworldPlanetmath of closed subsets of X, and partial orderMathworldPlanetmath 𝒟 by inclusion, then 𝒟 becomes a lattice with meet and join defined by set theoretic intersectionMathworldPlanetmathPlanetmath and union. It is easy to see that an element A𝒟 is a compact element iff D is a compact closed subset in X.

Here are some other common examples:

  1. 1.

    Let C be a set and 2C the subset lattice (power setMathworldPlanetmath) of C. The compact elements of 2C are the finite subsets of C.

  2. 2.

    Let V be a vector space and L(V) be the subspaceMathworldPlanetmathPlanetmath lattice of V. Then the compact elements of L(V) are exactly the finite dimensional subspaces of V.

  3. 3.

    Let G be a group and L(G) the subgroup lattice of G. Then the compact elements are the finitely generated subgroups of G.

  4. 4.

    Note in all of the above examples, atoms are compact. However, this is not true in general. Let’s construct one such example. Adjoin the symbol to the lattice of natural numbersMathworldPlanetmath (with linear order), so that n< for all n. So is the top element of {} (and 1 is the bottom element!). Next, adjoin a symbol a to {}, and define the meet and join properties with a by

    • an=, an=1 for all n, and

    • a=, a=a.

    The resulting set L={,a} is a lattice where a is a non-compact atom.

Remarks.

  • As we have seen from the examples above, compactness is closely associated with the concept of finiteness, a compact element is sometimes called a finite element.

  • Any finite join of compact elements is compact.

  • An element a in a lattice L is compact iff for any directed (http://planetmath.org/DirectedSet) subset D of L such that D exists and aD, then there is an element dD such that ad.

  • As the last example indicates, not all atoms are compact. However, in an algebraic lattice, atoms are compact. The first three examples are all instances of algebraic lattices.

  • A compact element may be defined in an arbitrary poset P: aP is compact iff a is way below itself: aa.

References

  • 1 G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove, D. S. Scott, ContinuousPlanetmathPlanetmath Lattices and Domains, Cambridge University Press, Cambridge (2003).
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 11:41:33