On relations between non-Archimedean power series spaces (Q2385795): Difference between revisions

Some of the most important examples of non-Archimedean nuclear Fréchet spaces are the power series spaces \(A_1(a)\) and \(A_{\infty}(a)\) of finite and infinite type, respectively. In [Indag.\ Math.\ 44, 423--439 (1982; Zbl 0509.46062)], \textit{N.\,De Grande--De Kimpe} proved that \(A_{\infty}(a)\) has no subspace isomorphic to \(A_1(b)\) and that \(A_1(a)\) has no quotient isomorphic to \(A_{\infty}(b)\) (where \(a = (a_n)_n\) and \(b = (b_n)_n\) are non-decreasing unbounded sequences of positive real numbers). In the present paper, the author shows that for certain sequences \(a,b\) one verifies that \(A_1(a)\) has a subspace isomorphic to \(A_{\infty}(b)\) and that \(A_{\infty}(a)\) has a quotient isomorphic to \(A_1(b)\). The main results of the paper in this respect can be summarized as follows. Consider the following properties. (i) \(\sup_n(a_{n+1}/a_n) < \infty\) and \(\lim_n (b_{n+1}/b_n) = \infty\). (1.i) \(\sup_n (a_n / b_n) < \infty\) and \(\sup_n (a_{2n}/a_n) < \infty\). (1.ii) \(A_1(a)\) has a subspace isomorphic to \(A_{\infty}(b)\). (1.iii) \(\sup_n (a_n / b_n) < \infty\). (2.i) \(\lim_n(a_n / b_n) =0\) and \(\sup_n (a_{2n}/a_n) < \infty\). (2.ii) \(A_{\infty}(a)\) has a quotient isomorphic to \(A_1(b)\). (2.iii) \(\lim_n(a_n / b_n) =0\). Then we have: (a) (i) \(\Rightarrow \) (1.ii), (i) \(\Rightarrow\) (2.ii). (b) (1.i) \(\Rightarrow\) (1.ii) \(\Rightarrow\) (1.iii). (c) (2.i) \(\Rightarrow\) (2.ii) \(\Rightarrow\) (2.iii). As a consequence, it is proved that: I. For any \(b\), there is an \(a\) with \(\sup_n (a_{2n}/a_n) < \infty\) for which (1.ii) and (2.ii) hold. II. For any \(a\) with \(\sup_n(a_{n+1}/a_n) < \infty\), there is a \(b\) for which (1.ii) and (2.ii) hold. For a future work, it would be interesting to study whether some of the implications appearing in (a), (b), (c) are equivalences. Affirmative answer(s) will mean characterization(s) of the fact ``\(A_1(a)\) has a subspace isomorphic to \(A_{\infty}(b)\)'' or ``\(A_{\infty}(a)\) has a quotient isomorphic to \(A_1(b)\)''.