an:02121007
Zbl 1063.16051
Arnautov, V. I.; Filippov, K. M.
On prebox module topologies
EN
Math. Notes 74, No. 1, 12-17 (2003); translation from Mat. Zametki 74, No. 1, 12-18 (2003).
00099522
2003
j
16W80 46H05 54H13 54A10
prebox module topologies; premaximal module topologies; measurable cardinals; coatoms; lattices of topologies; topological division rings
Let \(k\) be a division ring with an absolute value \(|\cdot|\) and \(\tau\) the topology on \(k\) generated by \(|\cdot|\). For a vector \(k\)-space \(V\) and a fixed linear base \(X\) of \(V\) a \((k,\tau)\)-space topology \(\tau_b\) on \(V\) is defined as follows: A base at \(0\) for \(\tau_b\) consists of subsets \(U(f):=\sum_{x\in X}U_{f(x)}x\) where for each \(x\in X\) \(U_{f(x)}\) is a \(0\)-neighborhood of \((k,\tau)\) and \(f\colon X\to\omega\) is a mapping.
The main result of the paper is: If \((k,\tau)\) is a complete topological division ring then \(V\) admits a \((k,\tau)\)-space topology \(\tau_1\) such that \(\tau_1<\tau_b\) and there is no \((k,\tau)\)-space topology \(\tau_2\) on \(V\) such that \(\tau_1<\tau_2<\tau_b\Leftrightarrow|X|\) is a measurable cardinal.
Similar results were proved in the authors' papers [On premaximal topologies on vector spaces, Izv. Akad. Nauk Respub. Moldova Mat. 20, No. 1, 96-105 (1996) and Sib. Mat. Zh. 42, No. 3, 491-506 (2001; Zbl 1020.16033)].
Mihail I. Ursul (Oradea)
Zbl 1020.16033