irredundant
Definition. Let be a lattice. A finite join
of elements in is said to be irredundant if one can not delete an element from from the join without resulting in a smaller join. In other words,
for all .
If the join is not irredundant, it is redundant
Irredundant meets are dually defined.
Remark. The definitions above can be extended to the case where the join (or meet) is taken over an infinite number of elements, provided that the join (or meet) exists.
Example. In the lattice of all subsets (ordered by inclusion) of , the set of all integers, the join
is irredudant. Another irredundant join representation of is just the join of all atoms, the singletons consisting of the individual elements of . However,
is redundant, since can be removed whenever is a composite number. The join of all doubletons is also redundant, for , for any .
Definition. An element in a lattice is join irredundant if it can not be written as a redundant join of elements. Dually, an element is meet irredundant if each of its representation as a meet of elements is irredundant.
Example. In the two lattice diagrams (Hasse diagram) below,
The on the left diagram is not join irredundant, since . On the other hand, the on the right is join irredundant. Similarly, the on the right is not meet irredundant, while the corresponding one on the right is.
Title | irredundant |
---|---|
Canonical name | Irredundant |
Date of creation | 2013-03-22 18:10:08 |
Last modified on | 2013-03-22 18:10:08 |
Owner | CWoo (3771) |
Last modified by | CWoo (3771) |
Numerical id | 8 |
Author | CWoo (3771) |
Entry type | Definition |
Classification | msc 06B05 |
Defines | redundant |
Defines | irredundant meet |
Defines | irredundant join |
Defines | meet irredundant |
Defines | join irredundant |