Namespaces
Variants
Actions

Jordan-Dedekind space

From Encyclopedia of Mathematics
Revision as of 06:32, 15 July 2024 by Chapoton (talk | contribs) (→‎References: zbl)
Jump to: navigation, search


Let $ {\mathcal C} $ be a closure space on a set $ S $. The elements of $ {\mathcal C} $, partially ordered by set-inclusion, form a complete atomic lattice [a3] (cf. also Atom). For any subset $ X $ of $ S $, let $ \langle X \rangle $ denote the closure of $ X $. A chain in a closed set $ A $ is a totally ordered set of closed subsets of $ A $. The rank $ r ( X ) $ of a set $ X $ is

$$ \max \left \{ {\left | M \right | } : {M \textrm{ a chain of } \left \langle X \right \rangle } \right \} - 1 . $$

A Jordan–Dedekind space is a closure space of finite rank satisfying the Jordan–Dedekind chain condition (see Jordan–Dedekind lattice).

Characterizations of Jordan–Dedekind spaces in terms of an exchange property and in terms of independence were given by L.M. Batten in [a1] and [a2]. In particular, let $ {\mathcal C} $ be a closure space. $ {\mathcal C} $ is said to have the weak exchange property if for all elements $ y $ of $ S $ and subsets $ X $ of $ S $,

$$ r ( \left \langle {X \cup \{ y \} } \right \rangle ) = 1 + r ( \left \langle X \right \rangle ) . $$

The following theorem holds: In any closure space of finite rank, the weak exchange property is equivalent to the Jordan–Dedekind chain condition (cf. Jordan–Dedekind property).

The notion of an independent set is recursively defined: $ X $ is independent if $ X = \emptyset $ or a singleton; $ X $ is independent if for some $ x \in X $, $ X \setminus \{ x \} $ is independent and $ x \notin \langle {X \setminus \{ x \} } \rangle $. The set $ X $ is $ m $- independent if for all $ x \in X $, $ x \notin \langle {X \setminus \{ x \} } \rangle $.

The following theorem holds: For a Jordan–Dedekind space $ {\mathcal C} $ the following assertions are equivalent: 1) $ {\mathcal C} $ is a matroid [a4]; and 2) $ m $- independence and independence are the same.

References

[a1] L.M. Batten, "A rank-associated notion of independence" , Finite Geometries , M. Dekker (1983)Zbl 0511.05026
[a2] L.M. Batten, "Jordan–Dedekind spaces" Quart. J. Math. Oxford , 35 (1984) pp. 373–381
[a3] G. Birkhoff, "Lattice theory" , Colloq. Publ. , Amer. Math. Soc. (1967) (Edition: Third)
[a4] D.J.A. Welsh, "Matroid theory" , Acad. Press (1976)
How to Cite This Entry:
Jordan-Dedekind space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Jordan-Dedekind_space&oldid=47468
This article was adapted from an original article by L.M. Batten (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article