|
|
|
|
example of non-complete lattice homomorphism
|
(Example)
|
|
|
The real number line $[-\infty,\infty]=\mathbb{R}\union\{-\infty,\infty\}$ is complete in its usual ordering of numbers. Furthermore, the meet of a subset $S$ of $\mathbb{R}$ is the infimum of the set $S$ .
Now define the map $f:[-\infty,\infty]\to [-\infty,\infty]$ as
First notice that if $x\leq y$ then $f(x)\leq f(y)$ , for either $x\leq y\leq 0$ in which case $f(x)=0=f(y)$ , or $x\leq 0< y$ which gives $f(x)=0<1=f(y)$ or $0<x\leq y$ so $f(x)=1=f(y)$ .
In the second place, if $S$ is a finite subset of $\mathbb{R}$ then $S$ contains a minimum element $s\in S$ . So $f(s)\in f(S)$ and $f(s)\leq f(t)$ for all $t\in S$ , so $f(\min S)=f(s)=\min f(S)$ . Hence $f$ is a lattice homomorphism.
However, $f$ is not a complete lattice homomorphism. To see this let $S=\{x\in \mathbb{R}: 0< x\}$ . Then $\inf S=0$ . However, $f(\inf S)=f(0)=0$ while $\inf f(S)=\inf \{1\}=1$ .
|
"example of non-complete lattice homomorphism" is owned by Algeboy.
|
|
(view preamble | get metadata)
Cross-references: complete lattice homomorphism, lattice homomorphism, contains, finite, place, map, infimum, subset, meet, numbers, ordering, complete, line, real number
This is version 1 of example of non-complete lattice homomorphism, born on 2007-04-24.
Object id is 9253, canonical name is ExampleOfNonCompleteLatticeHomomorphism.
Accessed 911 times total.
Classification:
| AMS MSC: | 06B05 (Order, lattices, ordered algebraic structures :: Lattices :: Structure theory) | | | 06B99 (Order, lattices, ordered algebraic structures :: Lattices :: Miscellaneous) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|