On order continuous norms (Q4955787)

The following two theorems have to be regarded as main results of the present paper. Theorem 2.2. Let \(E\) be a vector lattice. Suppose \(\|\cdot\|_1\) (respectively, \(\|\cdot\|_2\)) is an order continuous norm (respectively, \(\sigma\)-order continuous norm) on \(E\). Then on every order interval of \(E\) the \(\|\cdot\|_1\)-topology and \(\|\cdot\|_2\)-topology coincide and the \(\sigma(E,(E,\|\cdot\|_1)')\)-topology and \(\sigma(E,(E,\|\cdot\|_2)')\)-topology coincide. Here \((E,\|\cdot\|_i)'\) denotes the dual space of \((E,\|\cdot\|_i)\), \(i=1,2\). Theorem 2.2 is a refinement of an early theorem of Amemiya whose condition contained an additional supposition that \((E,\|\cdot\|_i)\) is an ideal in its norm completion for \(i=1,2\). Theorem 2.3. Let \((E,\|\cdot\|)\) be a normed vector lattice , and let \(\widehat{E}\) be its norm completion. The following assertions are equivalent. (1) \((E,\|\cdot\|)\) is order continuous. (2) For every lattice norm \(\rho\) on \(E\) with \(\rho\leq \|\cdot\|\) the \(\|\cdot\|\)-topology and \(\rho\)-topology coincide on every order interval of \(E\). (3) \(E\) is strongly order dense in \(\widehat{E}\) (i.e. each order interval of \(\widehat{E}\) contains at least one non-zero element of \(E\)), and \(\widehat{E}\) is order continuous.