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
    0 references
    0 references

    Identifiers