connected poset
Let be a poset. Write if either or . In other words, if and are comparable. A poset is said to be connected if for every pair , there is a finite sequence , with each , such that for each .
For example, a poset with the property that any two elements are either bounded from above or bounded from below is a connected poset. In particular, every semilattice is connected. A fence is always connected. If has more than one element and contains an element that is both maximal and minimal, then it is not connected. A connected component in a poset is a maximal connected subposet. In the last example, the maximal-minimal point is a component in . Any poset can be written as a disjoint union of its components.
It is true that a poset is connected if its corresponding Hasse diagram is a connected graph. However, the converse is not true. Before we see an example of this, let us recall how to construct a Hasse diagram from a poset . The diagram so constructed is going to be an undirected graph (since this is all we need in our discussion). Draw an edge between if either covers or covers . Let us denote this relation between and by . Let be the collection of all these edges. Then is a graph where elements of serve as vertices and as the constructed edges. From this construction, one sees that a finite path exists between if there is a finite sequence , with each , such that for . In other words, and can be “joined” by a finite number of edges, such that is a vertex on the first edge and is the vertex on the last edge.
As promised, here is an example of a connected poset whose underlying Hasse diagram is not connected. take the real line with adjoined to the right (meaning every element is less than or equal to ). Then the resulting poset is connected, but its underlying Hasse diagram is not, since no element in can be joined to by a finite path.
Title | connected poset |
---|---|
Canonical name | ConnectedPoset |
Date of creation | 2013-03-22 17:08:31 |
Last modified on | 2013-03-22 17:08:31 |
Owner | CWoo (3771) |
Last modified by | CWoo (3771) |
Numerical id | 6 |
Author | CWoo (3771) |
Entry type | Definition |
Classification | msc 06A07 |
Related topic | ConnectedGraph |
Defines | connected |
Defines | connected component |