The closedness of complete subsemilattices in functionally Hausdorff semitopological semilattices

Abstract: A topologized semilattice

X

is complete if each non-empty chain

C s u b s e t X

has

and

. It is proved that for any complete subsemilattice

X

of a functionally Hausdorff semitopological semilattice

Y

the partial order

P = (x, y) i n X i m e s X : x y = x

of

X

is closed in

Y i m e s Y

and hence

X

is closed in

Y

. This implies that for any continuous homomorphism

h : X o Y

from a compete topologized semilattice

X

to a functionally Hausdorff semitopological semilattice

Y

the image

h (X)

is closed in

Y

. The functional Hausdorffness of

Y

in these two results can be replaced by the weaker separation axiom

v e c T_{2 d e l t a}

, defined in this paper.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: The closedness of complete subsemilattices in functionally Hausdorff semitopological semilattices