Metrizability of minimal and unbounded topologies (Q1645113)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Metrizability of minimal and unbounded topologies |
scientific article |
Statements
Metrizability of minimal and unbounded topologies (English)
0 references
28 June 2018
0 references
Given a locally solid topology \(\tau\) on a vector lattice \(X\), one can associate a topology \(u\tau\) in the following way. Let \(\{U_i\}_{i\in I}\) be a base at zero for \(\tau\) consisting of solid sets. If \(U_{i, u}:=\{x\in X:\;|x|\wedge u\in U_i\}\) for each \(i\in I\) and \(u\in X_+\), then the collection \(\mathcal N_0 = \{U_{i,u} : \;i\in I,\;u\in X_+\}\) is a base of neighbourhoods at zero for a new locally solid topology, denoted by \(u\tau\), and referred to as the unbounded \(\tau\)-topology. A Hausdorff locally solid topology \(\tau\) on a vector lattice \(X\) is said to be minimal if there is no coarser Hausdorff locally solid topology on \(X\). There is a connection between minimal topologies and unbounded topologies. Precisely, a Hausdorff locally solid topology \(\tau\) on a vector lattice \(X\) is minimal iff it is Lebesgue and the \(\tau\) and unbounded \(\tau\)-topologies agree. In the paper under review, the authors study metrizability, submetrizability, and local boundedness of the unbounded topology \(u\tau\) associated to a given locally solid topology \(\tau\) on a vector lattice \(X\). In particular, the authors prove that, if \(\tau\) is a locally solid metrizable topology, then \(u\tau\) is metrizable iff there is a countable set \(A\) such tat \(\overline{I(A)}^\tau = X\). They also prove that a minimal topology is metrizable iff \(X\) has the countable sup property and a countable order basis. Moreover, they prove relations between minimal topologies and \(uo\)-convergence that generalize classical relations between convergence almost everywhere and convergence in measure.
0 references
\(u\tau\)-topology
0 references
minimal topologies
0 references
metrizability
0 references
submetrizability
0 references
countable order basis
0 references
\(uo\)-convergence
0 references