The order topology for function lattices and realcompactness

A lattice K(X,Y) of continuous functions on space X is associated to each compactification Y of X. It is shown for K(X,Y) that the order topology is the topology of compact convergence on X if and only if X is realcompact in Y. This result is used to provide a representation of a class of vector lat...

Full description

Saved in:
Bibliographic Details
Main Authors: W. A. Feldman, J. F. Porter
Format: Article
Language:English
Published: Wiley 1981-01-01
Series:International Journal of Mathematics and Mathematical Sciences
Subjects:
Online Access:http://dx.doi.org/10.1155/S0161171281000173
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1832555365090197504
author W. A. Feldman
J. F. Porter
author_facet W. A. Feldman
J. F. Porter
author_sort W. A. Feldman
collection DOAJ
description A lattice K(X,Y) of continuous functions on space X is associated to each compactification Y of X. It is shown for K(X,Y) that the order topology is the topology of compact convergence on X if and only if X is realcompact in Y. This result is used to provide a representation of a class of vector lattices with the order topology as lattices of continuous functions with the topology of compact convergence. This class includes every C(X) and all countably universally complete function lattices with 1. It is shown that a choice of K(X,Y) endowed with a natural convergence structure serves as the convergence space completion of V with the relative uniform convergence.
format Article
id doaj-art-e20df8021f2342e796229a07ab7d4ff4
institution Kabale University
issn 0161-1712
1687-0425
language English
publishDate 1981-01-01
publisher Wiley
record_format Article
series International Journal of Mathematics and Mathematical Sciences
spelling doaj-art-e20df8021f2342e796229a07ab7d4ff42025-02-03T05:48:25ZengWileyInternational Journal of Mathematics and Mathematical Sciences0161-17121687-04251981-01-014228930410.1155/S0161171281000173The order topology for function lattices and realcompactnessW. A. Feldman0J. F. Porter1Department of Mathematics, University of Arkansas, Fayetteville 72701, AR, USADepartment of Mathematics, University of Arkansas, Fayetteville 72701, AR, USAA lattice K(X,Y) of continuous functions on space X is associated to each compactification Y of X. It is shown for K(X,Y) that the order topology is the topology of compact convergence on X if and only if X is realcompact in Y. This result is used to provide a representation of a class of vector lattices with the order topology as lattices of continuous functions with the topology of compact convergence. This class includes every C(X) and all countably universally complete function lattices with 1. It is shown that a choice of K(X,Y) endowed with a natural convergence structure serves as the convergence space completion of V with the relative uniform convergence.http://dx.doi.org/10.1155/S0161171281000173order topologyrelative uniform convergencerealcompactnessuniversally complete function latticeconvergence space completion.
spellingShingle W. A. Feldman
J. F. Porter
The order topology for function lattices and realcompactness
International Journal of Mathematics and Mathematical Sciences
order topology
relative uniform convergence
realcompactness
universally complete function lattice
convergence space completion.
title The order topology for function lattices and realcompactness
title_full The order topology for function lattices and realcompactness
title_fullStr The order topology for function lattices and realcompactness
title_full_unstemmed The order topology for function lattices and realcompactness
title_short The order topology for function lattices and realcompactness
title_sort order topology for function lattices and realcompactness
topic order topology
relative uniform convergence
realcompactness
universally complete function lattice
convergence space completion.
url http://dx.doi.org/10.1155/S0161171281000173
work_keys_str_mv AT wafeldman theordertopologyforfunctionlatticesandrealcompactness
AT jfporter theordertopologyforfunctionlatticesandrealcompactness
AT wafeldman ordertopologyforfunctionlatticesandrealcompactness
AT jfporter ordertopologyforfunctionlatticesandrealcompactness