nLab
compact element

Definition

Let $P$ be a poset such that every directed subset of $P$ has a join; that is, $P$ is a dcpo. A compact element, or finite element, of $P$ is a compact object in $P$ regarded as a thin category; that is, homs out of it commute with these directed joins.

In other words, $c\in P$ is compact precisely if for every directed subset $\{d_i\}$ of $P$ we have

$$(c\le \underset{i}{\bigvee }{d}_i)\iff {\exists }_i(c\le d_i).$$(c \leq \bigvee_i d_i ) \Leftrightarrow \exists_i (c \leq d_i) \,.

Of course, the $\Leftarrow$ part of this is automatic, so the real condition is the $\Rightarrow$ part. In more elementary terms:

• If $c\le \bigvee D$ for $D$ a directed subset, then $c\le d$ for some $d\in D$.

Examples

• Given a set $X$, the finite elements of its power set are precisely the (Kuratowski)-finite subsets of $X$. (This is the origin of the term ‘finite element’.)

• Given a topological space (or locale) $X$, the compact elements of its frame of open subspaces are precisely the compact open subspaces of $X$. (This is the origin of the term ‘compact element’.)