scientific article; zbMATH DE number 1305622

From MaRDI portal
Publication:4252502





Let \(K\) be a non-Archimedean non-trivially valued spherically complete field and \(B_K= \{\lambda\in K: |\lambda|\leq 1\}\), \(B^-_K= \{\lambda\in K:|\lambda|< 1\}\) be submodules. A topological \(B_K\)-module is a pair \((A,\tau)\), where \(A\) is a \(B_K\)-module and \(\tau\) is a topology on \(A\) such that the addition \(A\times A\to A\) and the scalar multiplication \(B_K\times A\to A\) are continuous maps. A topological \(B_K\)-module \((A,\tau)\) is called locally convex if \(\tau\) has a base of \(0\)-neighbourhoods consisting of submodules of \(A\). A locally convex Hausdorff \(B_K\)-module \((A,\tau)\) is called \(c\)-compact if every collection of closed convex subsets of \(A\) with the finite intersection property has a non-empty intersection. A subset \(B\) of \(A\) is called bounded if for every \(0\)-neighbourhood \(U\) of \(A\) there exists a non-zero \(\lambda\in B_K\) with \(\lambda B\subseteq U\). For a topological \(B_K\)-module \(A\), \(A'\) denotes the topological dual of \(A\). If \(A\) is a locally convex \(B_K\)-module and \(\theta\) a bornology on \(A\) consisting of bounded subsets of \(A\), \(\tau_\theta\) denotes the topology of the uniform convergence on elements of \(\theta\) on \(A'\) and is called a \(\theta\)-topology. The main aim of the paper is to prove the following theorem: Let \(A\) be a locally convex \(B_K\)-module. The (Mackey) \(\theta\)-topology, when \(\theta\) is formed by the collection of all \(\sigma(A',A)\)-bounded and \(\sigma(A',A)\)-\(c\)-compact submodules of \(A'\), is the finest locally convex topology which is compatible with \((A,A')\). This extends a result of \textit{J. van Tiel} [``Espaces localement \(K\)-convexes, I--III, Nederl. Akad. Wet., Proc. Ser. A 68, 249-289 (1965; Zbl 0133.06502)] for locally convex spaces (van Tiel proved that every locally convex space \(E\) over a spherically complete field \(K\) admits the Mackey topology). Some additional facts for compatible topologies on \(c\)-compact \(B_K\)-modules are also obtained in this paper.











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4252502)