Non-archimedean function spaces and the Lebesgue dominated convergence theorem (Q2428784): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Latest revision as of 07:09, 5 March 2024

scientific article
Language Label Description Also known as
English
Non-archimedean function spaces and the Lebesgue dominated convergence theorem
scientific article

    Statements

    Non-archimedean function spaces and the Lebesgue dominated convergence theorem (English)
    0 references
    0 references
    0 references
    21 April 2012
    0 references
    Let \(X\) a compact Hausdorff 0-dimensional topological space, \(\Omega(X)\) the algebra of clopen (closed and open) subsets of \(X\), and \(\mathbb K\) a complete non-Archimedean (n.a.) valued field. Denote by \(C(X,\mathbb K)\) the Banach space of all continuous functions \(f:X\to\mathbb K\) with the supremum norm and let \(C_p(X,\mathbb K)\) be the space \(C(X,\mathbb K)\) with the pointwise topology. It is known that the dual of \(C(X,\mathbb K)\) is the space \(M(X,\mathbb K)\) of all bounded additive measures \(\mu:\Omega(X)\to\mathbb K\) with the norm \(\|\mu\|:=\sup\{|\mu(U)| : U\in\Omega(X)\}.\) One says that \(X\) has the \(\mathbb K\)-Lebesgue property if \(\int_Xf_n d\mu\to 0,\,\forall \mu\in M(X,\mathbb K),\) for every uniformly bounded sequence \((f_n)\) in \(C(X,\mathbb K)\) which converges pointwisely to 0. Since the Banach space \(C(X,\mathbb K)\) has the Orlicz-Pettis property (see \textit{C. Perez-Garcia} and \textit{W. H. Schikhof} [Collect. Math. 43, No. 3, 225--233 (1992; Zbl 0788.46078)]) this is equivalent to \(\|f_n\|\to 0.\) By the Lebesgue dominated convergence theorem, in the case \(\mathbb K=\mathbb R \) any compact Hausdorff space \(X\) has the Lebesgue property, but in the non-Archimedean case \(X\) has the \(\mathbb K\)-Lebesgue property iff \(X\) is finite (Theorem 2). In the same theorem one shows that the \(\mathbb K\)-Lebesgue property is also equivalent to the following ones: (ii) the unit ball of \(C(X,\mathbb K)\) is a Fréchet-Urysohn space; (iii) every decreasing sequence of clopen subsets of \(X\) is eventually constant; (v) every uniformly bounded \(C_p(X,\mathbb K)\)-compact (\(C_p(X,\mathbb K)\)-metrizable) subset of \(C(X,\mathbb K)\) is weakly compact. In the second part of the paper, the authors give characterizations of weakly Lindelöf n.a. Banach spaces \(E\) with a basis as well as of Corson \(\sigma(E',E)\)-compact unit balls in their duals, completing and extending the results obtained by \textit{J. Kakol} and \textit{W. Śliwa} [Topology Appl. 158, No. 9, 1131--1135 (2011; Zbl 1230.46060)]. An n.a. version of Kunen compact space is also considered.
    0 references
    non-Archimedean fields
    0 references
    non-Archimedean functional analysis
    0 references
    non-Archimedean function spaces
    0 references
    Fréchet-Urysohn space
    0 references
    \(K\)-analytic space
    0 references
    Lindelöf space
    0 references
    Corson compact
    0 references
    Kunen compact space
    0 references
    Lebesgue dominated convergence theorem
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references