Definition:Strict Lower Closure/Element

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\left({S, \preccurlyeq}\right)$ be an ordered set.

Let $a \in S$.


The strict lower closure of $a$ (in $S$) is defined as:

$a^\prec := \left\{{b \in S: b \preccurlyeq a \land a \ne b}\right\}$

or:

$a^\prec := \left\{{b \in S: b \prec a}\right\}$


That is, $a^\prec$ is the set of all elements of $S$ that strictly precede $a$.


Also known as

The strict lower closure of an element $a$ also goes by the names:

strict down-set
strict down set
initial segment (particularly when $\left({S, \preccurlyeq}\right)$ is a well-ordered set)
strict initial segment
set of (strictly) preceding elements to $a$


The term (strict) initial segment is usually seen in discussion of the properties of ordinals.

In this context, the notation $S_a$ or $s \left({a}\right)$ can often be found for $a \in S$.


On $\mathsf{Pr} \infty \mathsf{fWiki}$, the term an initial segment of $S$ is specifically reserved for the strict lower closure of some element $a$ of $S$.

In particular, see Initial Segment of Natural Numbers


Notation

On $\mathsf{Pr} \infty \mathsf{fWiki}$ we employ the following notational conventions for the closure operators on $\left({S, \preccurlyeq}\right)$ of an element $a$ of $S$.

$a^\preccurlyeq := \left\{{b \in S: b \preccurlyeq a}\right\}$: the lower closure of $a \in S$: everything in $S$ that precedes $a$
$a^\succcurlyeq := \left\{{b \in S: a \preccurlyeq b}\right\}$: the upper closure of $a \in S$: everything in $S$ that succeeds $a$
$a^\prec := \left\{{b \in S: b \preccurlyeq a \land a \ne b}\right\}$: the strict lower closure of $a \in S$: everything in $S$ that strictly precedes $a$
$a^\succ := \left\{{b \in S: a \preccurlyeq b \land a \ne b}\right\}$: the strict upper closure of $a \in S$: everything in $S$ that strictly succeeds $a$.


Similarly for the closure operators on $\left({S, \preccurlyeq}\right)$ of a subset $T$ of $S$:

$\displaystyle T^\preccurlyeq := \bigcup \left\{{t^\preccurlyeq: t \in T:}\right\}$: the lower closure of $T \in S$: everything in $S$ that precedes some element of $T$
$\displaystyle T^\succcurlyeq := \bigcup \left\{{t^\succcurlyeq: t \in T:}\right\}$: the upper closure of $T \in S$: everything in $S$ that succeeds some element of $T$
$\displaystyle T^\prec := \bigcup \left\{{t^\prec: t \in T:}\right\}$: the strict lower closure of $T \in S$: everything in $S$ that strictly precedes some element of $T$
$\displaystyle T^\succ := \bigcup \left\{{t^\succ: t \in T:}\right\}$: the strict upper closure of $T \in S$: everything in $S$ that strictly succeeds some element of $T$.


The astute reader may point out that, for example, $a^\preccurlyeq$ is ambiguous as to whether it means:

The lower closure of $a$ with respect to $\preccurlyeq$
The upper closure of $a$ with respect to the dual ordering $\succcurlyeq$

By Lower Closure is Dual to Upper Closure and Strict Lower Closure is Dual to Strict Upper Closure, the two are seen to be equal.


Also denoted as

Other notations for closure operators include:

${\downarrow} a, {\bar \downarrow} a$ for lower closure of $a \in S$
${\uparrow} a, {\bar \uparrow} a$ for upper closure of $a \in S$
${\downarrow} a, {\dot \downarrow} a$ for strict lower closure of $a \in S$
${\uparrow} a, {\dot \uparrow} a$ for strict upper closure of $a \in S$

and similar for upper closure, lower closure, strict upper closure and strict lower closure of a subset.

However, as there is considerable inconsistency in the literature as to exactly which of these arrow notations is being used at any one time, its use is not endorsed on $\mathsf{Pr} \infty \mathsf{fWiki}$.


Also see


Sources