Hostname: page-component-77c89778f8-vsgnj Total loading time: 0 Render date: 2024-07-16T11:31:27.200Z Has data issue: false hasContentIssue false

Convergence in neighbourhood lattices

Published online by Cambridge University Press:  17 April 2009

Frank P. Prokop
Affiliation:
Department of MathematicsThe University of WollongongWollongong, N.S.W.Australia
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

A consideration of the separation properties of pre-neighbourhood lattices, leads to the definition and characterisation of T1-neighbourhood lattices in terms of the properties of the neighbourhood mapping, independently of points. It is then shown that if net convergence is defined in neighbourhood lattices as a consequence of replacing ‘point’ by ‘set’ in topological convergence, then the limits of convergent nets are unique. The relationship between continuity and convergence is established with the proof of the statement that a residuated function between conditionally complete T1-neighbourhood lattices is continuous if and only if it preserves the limit of convergent nets. If P(X) denotes the power set of X, then the observation that a filter in a topological space (X, T) is a net in P(X) leads to a discussion of the net convergence of a filter as a special case of net convergence. Particular attention is paid to maximal filters, Fréchet filters and to the filter generated by the limit elements of a net. Further, if the ‘filter’ convergence of a filter F in a topological space (X, T) is given by , if η(x) ⊆ F, then the relationship between ‘filter’ convergence and the net convergence of a filter in P(X) is established. Finally, it is proved that, in the neighbourhood system ‘lifted’ from a topological space to P(P(X)), the continuous image of a filter which converges to a singleton set is a convergent filter with the appropriate image set as the limit.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1989

References

[1]Berge, C., Topological spaces (Oliver and Boyd, Edinburgh, 1963).Google Scholar
[2]Birkhoff, G., Lattice theory (A.M.S., Providence, 1967).Google Scholar
[3]Blythe, T.S. and Janowitz, M.F., Residuation theory (Pergammon Press, Oxford, 1972).Google Scholar
[4]Bourbaki, N., General topology, Part 1 (Addison-Wesley, Reading, Mass., 1966).Google Scholar
[5]Čech, E., Topological spaces, Vols I and II (Interscience Publishers, London, N.Y., Sydney, 1966).Google Scholar
[6]Choquet, G., ‘Convergences’, Grenoble Universite Annales 23 (1947), 57112.Google Scholar
[7]Comfort, W.W. and Negrepontis, S., The theory of ultrafilters (Springer-Verlag, Berlin, Heidelberg, 1974).Google Scholar
[8]Dugundji, J., Topology (Allyn and Bacon, Inc., Boston, 1966).Google Scholar
[9]Eilenberg, S., ‘Ordered topological spaces’, Amer. J. Math. 63 (1941), 3945.CrossRefGoogle Scholar
[10]Gaal, S.A., Point set topology (Academic Press, New York, 1964).Google Scholar
[11]Gratzer, G., Lattice theory: first concepts and distributive lattices (Freeman, San Francisco, 1971).Google Scholar
[12]Hausdorff, F., Mengenlehre (Berlin-Leipzig, 1927).Google Scholar
[13]Kelley, J.L., General topology (D. Van Nostrand Co., Inc., Princeton, New Jersey, 1955).Google Scholar
[14]Kuratowski, K., Introduction to set theory and topology (Addison-Wesley, Reading, Mass., 1962).Google Scholar
[15]Kuratowski, C., ‘Sur la notion de limite topologique d'eusembles’, Polski Towarzystwo Matematyczne Rocznik 21 (1949), 219225.Google Scholar
[16]Kuratowski, C., ‘Sur les familles manonotones d'ensenmbles fermes et leurs applications à la theorie des espaces connexes’, Fund. Math. 30 (1938), 1733.Google Scholar
[17]Mrowa, S., ‘On the convergence of nets of sets’, Fund. Math. 45 (1958), 237246.Google Scholar
[18]Nachbin, L., Topology and order (D. Van Nostrand Co, Inc., Princeton, New Jersey, 1965).Google Scholar
[19]Praha, Z.F., ‘Concerning topological convergence of sets’, Czechoslovak Math. J. 10 (1960), 168179.Google Scholar
[20]Prokop, F.P., ‘Neighbourhood lattices–a poset approach to topological spaces’, Bull. Austral. Math. Soc. 39 (1989), 3148.Google Scholar
[21]Prokop, F.P., Ph.D. thesis (Univ. of Wollongong, Wollongong, N.S.W., 1980).Google Scholar
[22]Sikorsky, R., Boolean algebras (Springer-Verlag, Berlin, Heidelberg, New.York, 1964).Google Scholar