PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] 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

$\displaystyle f(x)=\left\{\begin{array}{cc} 0 & x\leq 0\\ 1 & x>0.\end{array}\right$
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)

View style:

See Also: extended real numbers


This object's parent.
Log in to rate this entry.
(view current ratings)

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 906 times total.

Classification:
AMS MSC06B05 (Order, lattices, ordered algebraic structures :: Lattices :: Structure theory)
 06B99 (Order, lattices, ordered algebraic structures :: Lattices :: Miscellaneous)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)