On preparacompactness of uniform frames (Q653942): Difference between revisions
From MaRDI portal
Latest revision as of 19:11, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On preparacompactness of uniform frames |
scientific article |
Statements
On preparacompactness of uniform frames (English)
0 references
20 December 2011
0 references
A frame (\(\sigma\)-frame) is a complete (\(\sigma\)-complete) lattice \(L\) in which binary meet distributes over arbitrary (countable) join. Cover is defined suitably. A quasicover is a locally finite refinement of a cover. Lindelöfness and compactness are defined for frames via cover, and paracompactness of a frame is defined via cover and locally finite refinement. With certain constraints on a collection \(\mu\) of covers of a frame \(L\), the uniformity \(\mu\) for a frame \(L\) is defined; the concept of uniform homomorphism \(h\), which happens to be a frame map, is introduced and \textbf{UFrm} is used to designate the category of uniform frames and uniform homomorphisms. When the uniformity is generated by countable uniform covers, the uniform frame is called separable; necessary and sufficient conditions for separability are defined in terms of quasirefinement and weak Cauchyness of a \(\sigma\)-filter, respectively. A new concept of preparacompactness is defined and also it is defined when a uniform frame is complete; it is shown that the completion of a preparacompact uniform frame is preparacompact and strongly Cauchy-complete. Uniform frames that have a Lindelöf and a compact completion are defined using the notion of preparacompactness. Further, as an application of preparacompactness, filter conditions for the Lindelöfness of the Hewitt realcompactification \(\theta L\) of a completely regular frame \(L\) are provided.
0 references
uniform frame
0 references
metric frame
0 references
paracompactness
0 references
strong Cauchy completeness
0 references
weak Cauchy filter
0 references
Lindelöfness
0 references
precompactness
0 references
separability
0 references
preparacompactness
0 references
realcompactness
0 references