THE SETS of MONOMORPHISMS and of ALMOST OPEN OPERATORS BETWEEN LOCALLY CONVEX SPACES 1. Introduction and Preliminaries Bounded B

Total Page:16

File Type:pdf, Size:1020Kb

THE SETS of MONOMORPHISMS and of ALMOST OPEN OPERATORS BETWEEN LOCALLY CONVEX SPACES 1. Introduction and Preliminaries Bounded B PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 129, Number 12, Pages 3683{3690 S 0002-9939(01)06248-7 Article electronically published on June 27, 2001 THE SETS OF MONOMORPHISMS AND OF ALMOST OPEN OPERATORS BETWEEN LOCALLY CONVEX SPACES JOSE´ BONET AND JOSE´ A. CONEJERO (Communicated by Jonathan M. Borwein) Abstract. If the set of monomorphisms between locally convex spaces is not empty, then it is an open subset of the space of all continuous and linear oper- ators endowed with the topology of the uniform convergence on the bounded sets if and only if the domain space is normable. The corresponding charac- terization for the set of almost open operators is also obtained; it is related to the lifting of bounded sets and to the quasinormability of the domain space. Other properties and examples are analyzed. 1. Introduction and preliminaries Bounded below and almost open continuous linear operators between normed spaces, their relation with the topological divisors of zero in the normed algebra of all operators, and the approximate point spectrum have been extensively studied. We refer to the books of Berberian [3, Sections 56, 57], Harte [8], and the articles of Abramovich, Aliprantis and Polyrakis [2] and Harte [9]. In [2, Proposition 2.2] it is shown that the set of bounded below operators (or monomorphisms) between two normed spaces X and Y is open in the normed space of operators L(X; Y ). The corresponding result for almost open operators can be seen in [8, Theorem 3.4.3]. These results are extensions of the well-known fact (see e.g. [10, Theorem 18.12]) that the set of isomorphisms from a Banach space X onto a Banach space Y is an open subset of the Banach space L(X; Y ), a result which can be proved using the Neumann series for a linear operator. We refer to the recent article by Casazza and Kalton [5] for extensions of Paley-Wiener perturbation theory. In the case of continuous linear operators from a locally convex space E into itself, it was proved by Kasahara in 1972 in [12] that if the set of isomorphisms is open in the space of operators Lb(E) endowed with the topology of the uniform convergence on the bounded subsets of E, then the space E must be normable (see the quotation in M. Akkar [1]). If E is complete, in the terminology of topological algebras, Lb(E) is a Q-algebra if and only if E is normable. Received by the editors May 2, 2000. 2000 Mathematics Subject Classification. Primary 46A32, 46A03, 46H35, 47A05, 47L05. Key words and phrases. Bounded below operators, monomorphisms, almost open operators, locally convex spaces, quasinormable spaces. The authors were partially supported by the project DGESIC, PB97-0333. The second author was also supported by the Universidad Polit´ecnica de Valencia, grant 19980998. c 2001 American Mathematical Society 3683 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 3684 JOSE´ BONET AND JOSE´ A. CONEJERO The purpose of this note is to characterize completely when the set of monomor- phisms and the set of almost open operators are open in the set of all operators L(E;F) between two locally convex spaces E and F for the topology of uniform convergence on the bounded subsets of E. The characterizations are obtained in Theorems 2.1 and 2.2. The role of the quasinormability of the space E is analyzed in Proposition 2.4 and Corollary 2.5. Theorem 2.6 studies the set of surjective and open operators between non-complete normed spaces. Several examples and propositions discuss other properties of these classes of operators. Our notation for Banach spaces, operator theory and locally convex spaces is standard and we refer to the books [3, 8, 10, 11, 15, 17, 18]. Unless explicitly mentioned, E and F denote Hausdorff locally convex spaces. If E is a locally convex space, the set of continuous seminorms on E is denoted by cs(E). If p 2 cs(E), the unit ball of this seminorm is denoted by Up := fx 2 E j p(x) ≤ 1g. The family of all closed absolutely convex neighbourhoods of the origin in E is denoted by U0(E). The Minkowski functional of U 2U0(E) is denoted by pU , and pU 2 cs(E). If E is a normed space with the norm jj:jj, its closed unit ball is denoted by UE := fx 2 E jjjxjj ≤ 1g. The set of all closed absolutely convex bounded subsets of a locally convex space E is denoted by B(E). If B 2B(E), we denote by EB the normed space given by the linear span of B endowed with the norm defined by the Minkowski functional pB of B.ThesetB 2B(E)isa Banach disc if EB is a Banach space. The space E is called locally complete if every B 2B(E) is a Banach disc. Every complete space is locally complete. As usual, the symbol Lb(E;F) denotes the locally convex space of all (always linear and continuous) operators from a locally convex space E into a locally convex space F , endowed with the locally convex topology of uniform convergence on the bounded subsets of E. A basis of neighbourhoods of zero of Lb(E;F)isgivenby the sets W(B;V ):=fT 2 L(E;F) j T (B) ⊆ V g as B runs in B(E)andV runs in U0(F ). This topology is defined by the seminorms qB(T ):=supfq(T (b)) j b 2 Bg,forB 2B(E)andq 2 cs(F ). If E and F are normed, then Lb(E;F) is the usual normed space of operators. If E = F ,wewrite Lb(E). An operator T 2 L(E;F) is called bounded below if for every p 2 cs(E)there is q 2 cs(F )withp(x) ≤ q(T (x)) for each x 2 E. Compare with the definition in the case of normed spaces in [2, Definition 2.1], [3, p. 173] and [8, Definition 3.3.1]. Clearly every bounded below operator is injective. It is easy to see that an operator T 2 L(E;F) is bounded below if and only if T is an isomorphism from E into F , i.e. T is a monomorphism in the sense of [11, vol. II, p. 2 ff.], i.e. T is linear continuous injective and open into its image. The set of all monomorphisms from E to F is denoted by mo(E;F). An operator T 2 L(E;F) is called almost open,andwewriteT 2 ao(E;F)if for every U 2U0(E)thereisV 2U0(F ) such that V ⊆ T (U), the closure taken in F . Clearly every almost open operator has dense range. Almost open operators are precisely the nearly open operators with dense range in the sense of Pt´ak (see [11, vol. II, p. 24]). The case of almost open operators between normed spaces is studied in [8, p. 65 ff.]. The class of almost open operators between Fr´echet spaces coincides with the class of surjective operators by the Banach-Schauder open mapping theorem (see [11, vol. I, p. 166] or [15, Chapter 8]). The relation between License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use OPERATORS BETWEEN LOCALLY CONVEX SPACES 3685 the properties of T 2 L(E;F) mentioned above and its transpose T t : F 0 ! E0 is analyzed in [3, 57.16{18], [8, 5.5.2{4], and [9, Section 2] for normed spaces E and F . The situation for locally convex spaces is more complicated; we refer to Dierolf and Zarnadze [6]. 2. Results Theorem 2.1. Assume that mo(E;F) is not empty. The set mo(E;F) is open in Lb(E;F) if and only if E is normable. Proof. First we suppose that mo(E;F) is open and non-empty. We select T0 2 mo(E;F), and a pair B 2B(E)andV 2U0(F ) such that every S 2 L(E;F)with (S − T0)(B) ⊆ V satisfies that S 2 mo(E;F). We claim that V \ T0(E) ⊆ T0(B), which implies that V \T0(E) is a bounded neighbourhood of zero in T0(E), whence E is normable by Kolmogorov's theorem. We prove the claim by contradiction: Suppose that there is x 2 E with T0(x) 2 V n T0(B), in particular x =6 0. We apply 0 the Hahn-Banach theorem to find v 2 F such that v(T0(x)) = 1, jv(T0(b))j < 1for all b 2 B. We define S : E ! F by S(z):=T0(z) − v(T0(z))T0(x) for every z 2 E. Clearly S 2 L(E;F). For every b 2 B we have (T0 −S)(b)=v(T0(b))T0(x) 2 V .By assumption S 2 mo(E;F). But S(x) = 0, and this implies that S is not injective, a contradiction. Now we assume that E is a normed space with a norm jj:jj, and we fix T0 2 mo(E;F). By definition, there is q 2 cs(F ) such that jjxjj ≤ q(T0(x)) for each 2 2 f − jjj jj ≤ }≤ 1 x E.IfS L(E;F) satisfies sup q(T0(x) S(x)) x 1 2 ,wehave 1 jjxjj ≤ q(T (x)) ≤ q(S(x)) + q(T (x) − S(x)) ≤ q(S(x)) + jjxjj for x 2 E: 0 0 2 This implies jjxjj ≤ 2q(S(x)) for each x 2 E and we conclude that S 2 mo(E;F).
Recommended publications
  • Arxiv:1702.07867V1 [Math.FA]
    TOPOLOGICAL PROPERTIES OF STRICT (LF )-SPACES AND STRONG DUALS OF MONTEL STRICT (LF )-SPACES SAAK GABRIYELYAN Abstract. Following [2], a Tychonoff space X is Ascoli if every compact subset of Ck(X) is equicontinuous. By the classical Ascoli theorem every k- space is Ascoli. We show that a strict (LF )-space E is Ascoli iff E is a Fr´echet ′ space or E = ϕ. We prove that the strong dual Eβ of a Montel strict (LF )- space E is an Ascoli space iff one of the following assertions holds: (i) E is a ′ Fr´echet–Montel space, so Eβ is a sequential non-Fr´echet–Urysohn space, or (ii) ′ ω D E = ϕ, so Eβ = R . Consequently, the space (Ω) of test functions and the space of distributions D′(Ω) are not Ascoli that strengthens results of Shirai [20] and Dudley [5], respectively. 1. Introduction. The class of strict (LF )-spaces was intensively studied in the classic paper of Dieudonn´eand Schwartz [3]. It turns out that many of strict (LF )-spaces, in particular a lot of linear spaces considered in Schwartz’s theory of distributions [18], are not metrizable. Even the simplest ℵ0-dimensional strict (LF )-space ϕ, n the inductive limit of the sequence {R }n∈ω, is not metrizable. Nyikos [16] showed that ϕ is a sequential non-Fr´echet–Urysohn space (all relevant definitions are given in the next section). On the other hand, Shirai [20] proved the space D(Ω) of test functions over an open subset Ω of Rn, which is one of the most famous example of strict (LF )-spaces, is not sequential.
    [Show full text]
  • S-Barrelled Topological Vector Spaces*
    Canad. Math. Bull. Vol. 21 (2), 1978 S-BARRELLED TOPOLOGICAL VECTOR SPACES* BY RAY F. SNIPES N. Bourbaki [1] was the first to introduce the class of locally convex topological vector spaces called "espaces tonnelés" or "barrelled spaces." These spaces have some of the important properties of Banach spaces and Fréchet spaces. Indeed, a generalized Banach-Steinhaus theorem is valid for them, although barrelled spaces are not necessarily metrizable. Extensive accounts of the properties of barrelled locally convex topological vector spaces are found in [5] and [8]. In the last few years, many new classes of locally convex spaces having various types of barrelledness properties have been defined (see [6] and [7]). In this paper, using simple notions of sequential convergence, we introduce several new classes of topological vector spaces which are similar to Bourbaki's barrelled spaces. The most important of these we call S-barrelled topological vector spaces. A topological vector space (X, 2P) is S-barrelled if every sequen­ tially closed, convex, balanced, and absorbing subset of X is a sequential neighborhood of the zero vector 0 in X Examples are given of spaces which are S-barrelled but not barrelled. Then some of the properties of S-barrelled spaces are given—including permanence properties, and a form of the Banach- Steinhaus theorem valid for them. S-barrelled spaces are useful in the study of sequentially continuous linear transformations and sequentially continuous bilinear functions. For the most part, we use the notations and definitions of [5]. Proofs which closely follow the standard patterns are omitted. 1. Definitions and Examples.
    [Show full text]
  • Recent Developments in the Theory of Duality in Locally Convex Vector Spaces
    [ VOLUME 6 I ISSUE 2 I APRIL– JUNE 2019] E ISSN 2348 –1269, PRINT ISSN 2349-5138 RECENT DEVELOPMENTS IN THE THEORY OF DUALITY IN LOCALLY CONVEX VECTOR SPACES CHETNA KUMARI1 & RABISH KUMAR2* 1Research Scholar, University Department of Mathematics, B. R. A. Bihar University, Muzaffarpur 2*Research Scholar, University Department of Mathematics T. M. B. University, Bhagalpur Received: February 19, 2019 Accepted: April 01, 2019 ABSTRACT: : The present paper concerned with vector spaces over the real field: the passage to complex spaces offers no difficulty. We shall assume that the definition and properties of convex sets are known. A locally convex space is a topological vector space in which there is a fundamental system of neighborhoods of 0 which are convex; these neighborhoods can always be supposed to be symmetric and absorbing. Key Words: LOCALLY CONVEX SPACES We shall be exclusively concerned with vector spaces over the real field: the passage to complex spaces offers no difficulty. We shall assume that the definition and properties of convex sets are known. A convex set A in a vector space E is symmetric if —A=A; then 0ЄA if A is not empty. A convex set A is absorbing if for every X≠0 in E), there exists a number α≠0 such that λxЄA for |λ| ≤ α ; this implies that A generates E. A locally convex space is a topological vector space in which there is a fundamental system of neighborhoods of 0 which are convex; these neighborhoods can always be supposed to be symmetric and absorbing. Conversely, if any filter base is given on a vector space E, and consists of convex, symmetric, and absorbing sets, then it defines one and only one topology on E for which x+y and λx are continuous functions of both their arguments.
    [Show full text]
  • On Nonbornological Barrelled Spaces Annales De L’Institut Fourier, Tome 22, No 2 (1972), P
    ANNALES DE L’INSTITUT FOURIER MANUEL VALDIVIA On nonbornological barrelled spaces Annales de l’institut Fourier, tome 22, no 2 (1972), p. 27-30 <http://www.numdam.org/item?id=AIF_1972__22_2_27_0> © Annales de l’institut Fourier, 1972, tous droits réservés. L’accès aux archives de la revue « Annales de l’institut Fourier » (http://annalif.ujf-grenoble.fr/) implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une in- fraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Ann. Inst. Fourier, Grenoble 22, 2 (1972), 27-30. ON NONBORNOLOGICAL BARRELLED SPACES 0 by Manuel VALDIVIA L. Nachbin [5] and T. Shirota [6], give an answer to a problem proposed by N. Bourbaki [1] and J. Dieudonne [2], giving an example of a barrelled space, which is not bornological. Posteriorly some examples of nonbornological barrelled spaces have been given, e.g. Y. Komura, [4], has constructed a Montel space which is not bornological. In this paper we prove that if E is the topological product of an uncountable family of barrelled spaces, of nonzero dimension, there exists an infinite number of barrelled subspaces of E, which are not bornological.We obtain also an analogous result replacing « barrelled » by « quasi-barrelled ». We use here nonzero vector spaces on the field K of real or complex number. The topologies on these spaces are sepa- rated.
    [Show full text]
  • Appropriate Locally Convex Domains for Differential
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 86, Number 2, October 1982 APPROPRIATE LOCALLYCONVEX DOMAINS FOR DIFFERENTIALCALCULUS RICHARD A. GRAFF AND WOLFGANG M. RUESS Abstract. We make use of Grothendieck's notion of quasinormability to produce a comprehensive class of locally convex spaces within which differential calculus may be developed along the same lines as those employed within the class of Banach spaces and which include the previously known examples of such classes. In addition, we show that there exist Fréchet spaces which do not belong to any possible such class. 0. Introduction. In [2], the first named author introduced a theory of differential calculus in locally convex spaces. This theory differs from previous approaches to the subject in that the theory was an attempt to isolate a class of locally convex spaces to which the usual techniques of Banach space differential calculus could be extended, rather than an attempt to develop a theory of differential calculus for all locally convex spaces. Indeed, the original purpose of the theory was to study the maps which smooth nonlinear partial differential operators induce between Sobolev spaces by investigating the differentiability of these mappings with respect to a weaker (nonnormable) topology on the Sobolev spaces. The class of locally convex spaces thus isolated (the class of Z)-spaces, see Definition 1 below) was shown to include Banach spaces and several types of Schwartz spaces. A natural question to ask is whether there exists an easily-char- acterized class of D-spaces to which both of these classes belong. We answer this question in the affirmative in Theorem 1 below, the proof of which presents a much clearer picture of the nature of the key property of Z)-spaces than the corresponding result [2, Theorem 3.46].
    [Show full text]
  • Arxiv:1712.05521V4 [Math.GN]
    MAXIMALLY ALMOST PERIODIC GROUPS AND RESPECTING PROPERTIES SAAK GABRIYELYAN Abstract. For a Tychonoff space X, denote by P the family of topological properties P of being a convergent sequence or being a compact, sequentially compact, countably compact, pseudocompact and functionally bounded subset of X, respectively. A maximally almost periodic (MAP ) group G respects P if P(G)= P(G+), where G+ is the group G endowed with the Bohr topology. We study relations between different respecting properties from P and show that the respecting convergent sequences (=the Schur property) is the weakest one among the properties of P. We characterize respecting properties from P in wide classes of MAP topological groups including the class of metrizable MAP abelian groups. Every real locally convex space (lcs) is a quotient space of an lcs with the Schur property, and every locally quasi-convex (lqc) abelian group is a quotient group of an lqc abelian group with the Schur property. It is shown that a reflexive group G has the Schur ∧ property or respects compactness iff its dual group G is c0-barrelled or g-barrelled, respectively. We prove that an lqc abelian kω-group respects all properties P ∈ P. As an application of the obtained results we show that (1) the space Ck(X) is a reflexive group for every separable metrizable space X, and (2) a reflexive abelian group of finite exponent is a Mackey group. 1. Introduction Let X be a Tychonoff space. If P is a topological property, we denote by P(X) the set of all subspaces of X with P.
    [Show full text]
  • Locally Convex Spaces Manv 250067-1, 5 Ects, Summer Term 2017 Sr 10, Fr
    LOCALLY CONVEX SPACES MANV 250067-1, 5 ECTS, SUMMER TERM 2017 SR 10, FR. 13:15{15:30 EDUARD A. NIGSCH These lecture notes were developed for the topics course locally convex spaces held at the University of Vienna in summer term 2017. Prerequisites consist of general topology and linear algebra. Some background in functional analysis will be helpful but not strictly mandatory. This course aims at an early and thorough development of duality theory for locally convex spaces, which allows for the systematic treatment of the most important classes of locally convex spaces. Further topics will be treated according to available time as well as the interests of the students. Thanks for corrections of some typos go out to Benedict Schinnerl. 1 [git] • 14c91a2 (2017-10-30) LOCALLY CONVEX SPACES 2 Contents 1. Introduction3 2. Topological vector spaces4 3. Locally convex spaces7 4. Completeness 11 5. Bounded sets, normability, metrizability 16 6. Products, subspaces, direct sums and quotients 18 7. Projective and inductive limits 24 8. Finite-dimensional and locally compact TVS 28 9. The theorem of Hahn-Banach 29 10. Dual Pairings 34 11. Polarity 36 12. S-topologies 38 13. The Mackey Topology 41 14. Barrelled spaces 45 15. Bornological Spaces 47 16. Reflexivity 48 17. Montel spaces 50 18. The transpose of a linear map 52 19. Topological tensor products 53 References 66 [git] • 14c91a2 (2017-10-30) LOCALLY CONVEX SPACES 3 1. Introduction These lecture notes are roughly based on the following texts that contain the standard material on locally convex spaces as well as more advanced topics.
    [Show full text]
  • Functional Properties of Hörmander's Space of Distributions Having A
    Functional properties of Hörmander’s space of distributions having a specified wavefront set Yoann Dabrowski, Christian Brouder To cite this version: Yoann Dabrowski, Christian Brouder. Functional properties of Hörmander’s space of distributions having a specified wavefront set. 2014. hal-00850192v2 HAL Id: hal-00850192 https://hal.archives-ouvertes.fr/hal-00850192v2 Preprint submitted on 3 May 2014 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Communications in Mathematical Physics manuscript No. (will be inserted by the editor) Functional properties of H¨ormander’s space of distributions having a specified wavefront set Yoann Dabrowski1, Christian Brouder2 1 Institut Camille Jordan UMR 5208, Universit´ede Lyon, Universit´eLyon 1, 43 bd. du 11 novembre 1918, F-69622 Villeurbanne cedex, France 2 Institut de Min´eralogie, de Physique des Mat´eriaux et de Cosmochimie, Sorbonne Univer- sit´es, UMR CNRS 7590, UPMC Univ. Paris 06, Mus´eum National d’Histoire Naturelle, IRD UMR 206, 4 place Jussieu, F-75005 Paris, France. Received: date / Accepted: date ′ Abstract: The space Γ of distributions having their wavefront sets in a closed cone Γ has become importantD in physics because of its role in the formulation of quantum field theory in curved spacetime.
    [Show full text]
  • Closed Linear Maps from a Barrelled Normed Space Into Itself Need Not Be Continuous
    BULL. AUSTRAL. MATH. SOC. 46AO8, 46A30 VOL. 57 (1998) [177-179] CLOSED LINEAR MAPS FROM A BARRELLED NORMED SPACE INTO ITSELF NEED NOT BE CONTINUOUS JOSE BONET Examples of normed barrelled spaces E or quasicomplete barrelled spaces E are given such that there is a non-continuous linear map from the space E into itself with closed graph. In this note we give a negative answer to a question of Okada and Ricker. In fact, we construct a normed barrelled space E and a linear map / : E —> E which has closed graph but is not continuous. The problem is relevant in connection with spectral measures and automatic continuity. (See [4, 5, 6].) Our construction is rather simple, but it seems to have been overlooked in the literature. A variation of our method permits us to construct quasicomplete barrelled spaces E and non-continuous closed linear maps from E to E. This second example was motivated by certain results given in [2]. Since the classical work of Banach, the closed graph theorems constitute one of the main tools of functional analysis. Barrelled spaces are those locally convex spaces for which the uniform boundedness principle of Banach Steinhaus holds. We refer the reader to [3] and [7]. Clearly, if a barrelled space E belongs simultaneously to the domain and the range classes of a closed graph theorem, then every closed linear map from E to E is continuous. This happens for example if E is ultrabornological and has a C-web. In particular, if E is a Banach space, a Frechet space or an (LF)-space (for example the space of test functions V of distribution theory) or an ultrabornological projective limit of (LB)-spaces (for example the space of distributions V) (see [3] or [7]), then this is the case.
    [Show full text]
  • 181. on Nuclear Spaces with Fundamental System O F Bounded Sets
    No. 8] Proc. Japan Acad., 44 (1968) 807 181. On Nuclear Spaces with Fundamental System o f Bounded Sets. II By Shunsuke FUNAKOs1 (Comm. by Kinjiro KuNUGI, M. J. A., Oct. 12, 1968) A locally convex vector space with a countable fundamental system of bounded sets has already been developed in several bibliog- raphies. Barrelled spaces and quasi-barrelled spaces with a count- able fundamental system of compact sets has been studied by J. Dieudonne [2] and by M. Mahowald and G. Gould [7] respectively. We considered, the open mapring and closed graph theorems on a nuclear dualmetric space in the previous paper [4]. Let E be a nonmed space then E is a nuclear space if and only if it is finite dimentional. It is also known that a nonmed space can only be a Montel (i.e., barrelled and perfect) space if it is finite dimen- sional. In this paper, we prove a nuclear dualmetric space which is quasi-complete is Montel space, and using this result, we consider analogous theorem to M. Mahowald and G. Gould [7], in nuclear space. For nuclear spaces and its related notion, see A. Pietsch [8] and S. Funakosi [4]. Most of the definitions and notations of the locally convex vector spaces are taken' from N. Bourbaki [1] and T. Husain [5]. Definition. Let E be a locally convex space and E' its dual. (1) I f only all countable strong bounded subset o f E' are equi- continuous, then E is called the oW-quasi-barrelled. (2) Let E be a a-quasi-barrelled space, if there exists a countable fundamental system o f bounded subset in E, then E is called the dual- metric space.
    [Show full text]
  • Mean Ergodic Operators in Fréchet Spaces
    Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 34, 2009, 401–436 MEAN ERGODIC OPERATORS IN FRÉCHET SPACES Angela A. Albanese, José Bonet* and Werner J. Ricker Università del Salento, Dipartimento di Matematica “Ennio De Giorgi” C.P. 193, I-73100 Lecce, Italy; [email protected] Universidad Politécnica de Valencia, Instituto Universitario de Matemática Pura y Aplicada Edificio IDI5 (8E), Cubo F, Cuarta Planta, E-46071 Valencia, Spain; [email protected] Katholische Universität Eichstätt-Ingolstadt, Mathematisch-Geographische Fakultät D-85072 Eichstätt, Germany; [email protected] Abstract. Classical results of Pelczynski and of Zippin concerning bases in Banach spaces are extended to the Fréchet space setting, thus answering a question posed by Kalton almost 40 years ago. Equipped with these results, we prove that a Fréchet space with a basis is reflexive (resp. Montel) if and only if every power bounded operator is mean ergodic (resp. uniformly mean ergodic). New techniques are developed and many examples in classical Fréchet spaces are exhibited. 1. Introduction and statement of the main results A continuous linear operator T in a Banach space X (or a locally convex Haus- dorff space, briefly lcHs) is called mean ergodic if the limits 1 Xn (1.1) P x := lim T mx; x 2 X; n!1 n m=1 exist (in the topology of X). von Neumann (1931) proved that unitary operators in Hilbert space are mean ergodic. Ever since, intensive research has been undertaken concerning mean ergodic operators and their applications; for the period up to the 1980’s see [19, Ch. VIII Section 4], [25, Ch.
    [Show full text]
  • Complemented Basic Sequences in Frechet Spaces with Finite
    Complemented basic sequences in Frechet spaces with finite dimensional decomposition Hasan G¨ul∗ and S¨uleyman Onal¨ † September 23, 2018 Abstract: Let E be a Frechet-Montel space and (En)n∈N be a finite dimen- sional unconditional decomposition of E with dim(En) ≤ k for some fixed k ∈ N and for all n ∈ N. Consider a sequence (xn)n∈N formed by taking an element xn from each En for all n ∈ N. Then (xn)n∈N has a subsequence which is complemented in E. MSC: 46A04 Keywords: finite dimensional decomposition, Frechet-Montel space, com- plemented basic sequence 1 Introduction Dubinsky has professed that approximation of an infinite dimensional space by its finite dimensional subspaces is one of the basic tenets of Grothendieck’s mathematical philosophy in creating nuclear Frechet spaces [4]. That ap- arXiv:1612.05049v1 [math.FA] 15 Dec 2016 proach encompasses bases, finite dimensional decompositions and the bounded approximation property of spaces and raises questions about conditions for which a space must satisfy in order to admit such structures and also about the relation of existence or absence of these structures with subspaces, quo- tient spaces, complemented subspaces, etc. of the space. He has ended his survey with a list of problems that were settled and open at that time [4], that is, in 1989. For example, it has been shown that quotient ∗Middle East Technical University, [email protected] †Middle East Technical University, [email protected] 1 spaces of a nuclear Frechet space may not have a basis [6], or similarly, that a nuclear Frechet space does not necessarily have a basis [1].
    [Show full text]