DOCSLIB.ORG

Arxiv:1508.01563V1 [Math.FA] 6 Aug 2015 R 05”Ihrivrat.Itrcin Ewe Arithme Between Interactions Invariants

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1508.01563V1 [Math.FA] 6 Aug 2015 R 05”Ihrivrat.Itrcin Ewe Arithme Between Interactions Invariants CLOSED GRAPH THEOREMS FOR BORNOLOGICAL SPACES FEDERICO BAMBOZZI Abstract. The aim of this paper is that of discussing Closed Graph Theorems for bornological vector spaces in a way which is accessible to non-experts. We will see how to easily adapt classical arguments of functional analysis over R and C to deduce Closed Graph Theorems for bornological vector spaces over any complete, non-trivially valued field, hence encompassing the non-Archimedean case too. We will end this survey by discussing some applications. In particular, we will prove de Wilde’s Theorem for non-Archimedean locally convex spaces and then deduce some results about the automatic boundedness of algebra morphisms for a class of bornological algebras of interest in analytic geometry, both Archimedean (complex analytic geometry) and non-Archimedean. Introduction This paper aims to discuss the Closed Graph Theorems for bornological vector spaces in a way which is accessible to non-specialists and to fill a gap in literature about the non-Archimedean side of the theory at the same time. In functional anal- ysis over R or C bornological vector spaces have been used since long time ago, without becoming a mainstream tool. It is probably for this reason that bornologi- cal vector spaces over non-Archimedean valued fields were rarely considered. Over the last years, for several reasons, bornological vector spaces have drawn new atten- tions: see for example [1], [2], [3], [5] and [15]. These new developments involve the non-Archimedean side of the theory too and that is why it needs adequate founda- tions. Among the classical books on the theory of bornological vector spaces, the only one considering also non-Archimedean base fields, in a unified fashion with the Archimedean case, is [10]. But that book cannot cover all the theory, and in partic- ular it lacks of a unified treatment of the Closed Graph Theorems. This work comes out from the author’s need for a reference for these theorems and also in the hope that in the future bornological vector spaces will gain more popularity and that this work may be useful for others. The Closed Graph Theorem for Banach spaces over R and C is one of the most celebrated classical theorems of functional analysis. Over the years it has been generalized in many ways, for example to Fr´echet and LF spaces as a consequence of arXiv:1508.01563v1 [math.FA] 6 Aug 2015 the Open Mapping Theorems. Although it is a classical argument that the Closed Graph Theorem can be deduced from the Open Mapping Theorem, people have understood that the Closed Graph Theorem can be proved in an independent way, with argumentations that also work when the Open Mapping Theorem fails. The two most famous examples of this kind of proofs are given in [19] by Popa and [7] by de Wilde. In particular, de Wilde’s Theorem is probably the most general Closed Graph Theorem for locally convex spaces, and states the following: The author acknowledges the University of Regensburg with the support of the DFG funded CRC 1085 ”Higher Invariants. Interactions between Arithmetic Geometry and Global Analysis”. 1 2 FEDERICO BAMBOZZI Theorem 0.1. (De Wilde’s Closed Graph Theorem) If E is an ultrabornological locally convex space and F is a webbed locally convex space over R or C, then every linear map f : E Ñ F which has bornologically closed graph with respect to the convex bornologies on E and F that are generated by all bounded Banach disks in E and in F , respectively, is continuous even if regarded as a mapping into the ultrabornologification Fuborn of F . The terminology of the theorem will be explained in the course of this work. What is interesting to notice is that, although we would like to prove a theorem for locally convex spaces we are naturally led to talk about bornologies and bounded maps. Popa’s Theorem, on the contrary, is an explicit bornological statement which is the Archimedean case of our Theorem 2.7. The content of the paper is the following: in the first section we give an overview of the theory of bornological vector spaces. In particular, since we adopt the unusual attitude of discussing the Archimedean and non-Archimedean case of the theory at the same time, we spend some time in recalling basic definitions and discuss in details the notions from the theory bornological vector spaces that will be used. In the second section we will introduce the notion of bornological nets and then give the main examples of bornological vector spaces endowed with nets. We will then deduce our first Closed Graph Theorem, which is the unified version of Popa’s Theorem (cf. [19]), stated as follows: Theorem 0.2. Let E and F be separated convex bornological vector spaces, where E is complete and F has a net compatible with its bornology. Then, every linear map f : E Ñ F with bornologically closed graph is bounded. In the subsequent section the notion of bornological net is generalized by the notion of bornological web and the analogous Closed Graph Theorem for webbed bornological vector spaces is proved quite easily as a consequence of the previous discussion. In this case our theorem is the direct generalization, for all base fields, of the Closed Graph Theorem proved by Gach in [8], Theorem 4.3. In the last section we discuss some applications of the theorems we proved. We will see how one can deduce Isomorphism Theorems from Closed Graph Theorems and following [8] we will see how de Wilde’s Closed Graph Theorem can be deduced. We would like to remark that for non-Archimedean base fields we need to add some restrictions, that do not affect the Archimedean side of the theory. Our generalization of de Wilde’s Theorem is the following: Theorem 0.3. If E is an ultrabornological locally convex space and F is a polar webbed locally convex space defined over a spherically complete field K, then every linear map f : E Ñ F which has bornologically closed graph with respect to the convex bornologies on E and F that are generated by all bounded Banach disks in E and in F , respectively, is continuous even if regarded as a mapping into the ultrabornologification Fuborn of F . Therefore, in order to deduce de Wilde’s Theorem for non-Archimedean base fields we needed to suppose that the base field K is spherically complete and that F is a polar locally convex space (cf. Definition 4.16), conditions which are always satisfied when K is Archimedean. We remark that these hypothesis on K and F are only used in Lemma 4.19 and in Lemma 4.20; one might ask if it is possible to prove that lemmata without these restrictions. We do not address this problem in this work. CLOSED GRAPH THEOREMS FOR BORNOLOGICAL SPACES 3 Finally, in the last part of the paper we show how to use the Closed Graph Theorems for bornological spaces to deduce that all algebra morphisms between dagger affinoid algebras, as defined in [1], are bounded. This application, and others coming in [3] and planned in future works, are our main motivations for this study. 1. Bornological spaces and Closed Graph Theorems Closed graph. Let u : E Ñ F be a map of sets, then the set Γpuq “ tpx,yq P E ˆ F |y “ upxq u is called the graph of u. If E and F are Hausdorff topological spaces and u a continuous map, then Γpuq is a closed subspace of E ˆ F endowed with the product topology. This is a basic property of Hausdorff topological spaces. If E and F are vector spaces over a field K and u is a linear map, then Γpuq is a vector subspace of E ˆ F . If E and F are separated bornological vector spaces over a complete, non-trivially valued field K and u is linear and bounded, then Γpuq is bornologically closed in EˆF endowed with the product bornology (see below for what it means for a subset of a bornological vector space to be bornologically closed). This assertion is pretty easy to check. Let pxn, upxnqq be a sequence of elements of Γpuq which converges bornologically to px,yq in EˆF . Then, by definition of product bornology, xn Ñ x in E and upxnqÑ y in Y . Since u is bounded, the sequence pupxnqq converges bornologically to upxq and since Y is separated, we must have y “ upxq. Therefore px,yq P Γpuq and Γpuq is bornologically closed in E ˆ F . The Closed Graph Theorems are converses of the above statements for some special class of bornological or topological K-vector spaces. Here we pursue the main ideas of [8] for which the bornological Closed Graph Theorems are of more fundamental nature and extend it for non-Archimedean base fields. The statements of our Closed Graph Theorems assert that if u : E Ñ F is a linear map which has bornologically closed graph then it is bounded when E and F belong to some particular classes of bornological vector spaces: we will prove it when E is a complete bornological vector space and F a separated bornological vector space endowed with a net, in Section 2, and when F is endowed with a web in Section 3. Both the proofs of these sections are adaptations of results from [11] and [8] on bornological vector spaces over Archimedean base fields to any non-trivially valued, complete base field K Archimedean or not. Bornologies. Bornological vector spaces are well studied objects in functional anal- ysis over R and C.
Load more

Recommended publications
  • 209 a Note on Closed Graph Theorems
    Acta Math. Univ. Comenianae 209 Vol. LXXV, 2(2006), pp. 209–218 A NOTE ON CLOSED GRAPH THEOREMS F. GACH Abstract. We give a common generalisation of the closed graph theorems of De Wilde and of Popa. 1. Introduction In the theory of locally convex spaces, M. De Wilde’s notion of webs is the abstrac- tion of all that is essential in order to prove very general closed graph theorems. Here we concentrate on his theorem in [1] for linear mappings with bornologically closed graph that have an ultrabornological space as domain and a webbed lo- cally convex space as codomain. Henceforth, we shall refer to this theorem as ‘De Wilde’s closed graph theorem’. As far as the category of bounded linear mappings between separated convex bornological spaces is concerned, there exists a corresponding bornological notion of so-called nets that enabled N. Popa in [5] to prove a bornological version of the closed graph theorem which we name ‘Popa’s closed graph theorem’. Although M. De Wilde’s theorem in the locally convex and N. Popa’s theorem in the convex bornological setting are conceptually similar (see also [3]), they do not directly relate to each other. In this manuscript I present a bornological closed graph theorem that generalises the one of N. Popa and even implies the one of M. De Wilde. First of all, I give a suitable definition of bornological webs on separated convex bornological spaces with excellent stability properties and prove the aforementioned general bornological closed graph theorem. It turns out that there is a connection between topological webs in the sense of M.
    [Show full text]
  • Uniform Boundedness Principle for Unbounded Operators
    UNIFORM BOUNDEDNESS PRINCIPLE FOR UNBOUNDED OPERATORS C. GANESA MOORTHY and CT. RAMASAMY Abstract. A uniform boundedness principle for unbounded operators is derived. A particular case is: Suppose fTigi2I is a family of linear mappings of a Banach space X into a normed space Y such that fTix : i 2 Ig is bounded for each x 2 X; then there exists a dense subset A of the open unit ball in X such that fTix : i 2 I; x 2 Ag is bounded. A closed graph theorem and a bounded inverse theorem are obtained for families of linear mappings as consequences of this principle. Some applications of this principle are also obtained. 1. Introduction There are many forms for uniform boundedness principle. There is no known evidence for this principle for unbounded operators which generalizes classical uniform boundedness principle for bounded operators. The second section presents a uniform boundedness principle for unbounded operators. An application to derive Hellinger-Toeplitz theorem is also obtained in this section. A JJ J I II closed graph theorem and a bounded inverse theorem are obtained for families of linear mappings in the third section as consequences of this principle. Go back Let us assume the following: Every vector space X is over R or C. An α-seminorm (0 < α ≤ 1) is a mapping p: X ! [0; 1) such that p(x + y) ≤ p(x) + p(y), p(ax) ≤ jajαp(x) for all x; y 2 X Full Screen Close Received November 7, 2013. 2010 Mathematics Subject Classification. Primary 46A32, 47L60. Key words and phrases.
    [Show full text]
  • Some Simple Applications of the Closed Graph Theorem
    SHORTER NOTES The purpose of this department is to publish very short papers of an unusually elegant and polished character, for which there is normally no other outlet. SOME SIMPLE APPLICATIONS OF THE CLOSED GRAPH THEOREM JESÚS GIL DE LAMADRID1 Our discussion is based on the following two simple lemmas. Our field of scalars can be either the reals or the complex numbers. Lemma 1. Let Ebea Banach space under a norm || || and Fa normed space under a norm || ||i. Suppose that || H2is a second norm of F with respect to which F is complete and such that || ||2^^|| \\ifor some k>0. Assume finally that T: E—+Fis a linear transformation which is bounded with respect toll II and II IK. Then T is bounded with respect to\\ \\ and Proof. The product topology oî EX F with respect to || || and ||i is weaker (coarser) than the product topology with respect to || and || 112.Since T is bounded with respect to j| || and || ||i, its graph G is (|| | , II ||i)-closed. Hence G is also (|| ||, || ||2)-closed. Therefore T is ( | [[, || ||2)-bounded by the closed graph theorem. Lemma 2. Assume that E is a Banach space under a norm || ||i and that Fis a vector subspace2 of E, which is a Banach space under a second norm || ||2=è&|| ||i, for some ft>0. Suppose that T: E—>E is a bounded operator with respect to \\ \\i and \\ ||i smcA that T(F)EF. Then the re- striction of T to F is bounded with respect to || H2and || ||2. Proof.
    [Show full text]
  • 1 the Principal of Uniform Boundedness
    THE PRINCIPLE OF UNIFORM BOUNDEDNESS 1 The Principal of Uniform Boundedness Many of the most important theorems in analysis assert that pointwise hy- potheses imply uniform conclusions. Perhaps the simplest example is the theorem that a continuous function on a compact set is uniformly contin- uous. The main theorem in this section concerns a family of bounded lin- ear operators, and asserts that the family is uniformly bounded (and hence equicontinuous) if it is pointwise bounded. We begin by defining these terms precisely. Definition 1.1 Let A be a family of linear operators from a normed space X to a normed space Y . We say that A is pointwise bounded if supA2AfkAxkg < 1 for every x 2 X. We say A is uniformly bounded if supA2AfkAkg < 1. It is possible for a single linear operator to be pointwise bounded without being bounded (Exercise), so the hypothesis in the next theorem that each individual operator is bounded is essential. Theorem 1.2 (The Principle of Uniform Boundedness) Let A ⊆ L(X; Y ) be a family of bounded linear operators from a Banach space X to a normed space Y . Then A is uniformly bounded if and only if it is pointwise bounded. Proof We will assume that A is pointwise bounded but not uniformly bounded, and obtain a contradiction. For each x 2 X, define M(x) := supA2AfkAxkg; our assumption is that M(x) < 1 for every x. Observe that if A is not uniformly bounded, then for any pair of positive numbers and C there must exist some A 2 A with kAk > C/, and hence some x 2 X with kxk = but kAxk > C.
    [Show full text]
  • Metrizable Barrelled Spaces, by J . C. Ferrando, M. López Pellicer, And
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 34, Number 1, January 1997 S 0273-0979(97)00706-4 Metrizable barrelled spaces,byJ.C.Ferrando,M.L´opez Pellicer, and L. M. S´anchez Ruiz, Pitman Res. Notes in Math. Ser., vol. 332, Longman, 1995, 238 pp., $30.00, ISBN 0-582-28703-0 The book targeted by this review is the next monograph written by mathemati- cians from Valencia which deals with barrelledness in (metrizable) locally convex spaces (lcs) over the real or complex numbers and applications in measure theory. This carefully written and well-documented book complements excellent mono- graphs by Valdivia [21] and by P´erez Carreras, Bonet [12] in this area. Although for the reader some knowledge of locally convex spaces is requisite, the book under re- view is self-contained with all proofs included and may be of interest to researchers and graduate students interested in locally convex spaces, normed spaces and mea- sure theory. Most chapters contain some introductory facts (with proofs), which for the reader greatly reduces the need for original sources. Also a stimulating Notes and Remarks section ends each chapter of the book. The classical Baire category theorem says that if X is either a complete metric space or a locally compact Hausdorff space, then the intersection of countably many dense, open subsets of X is a dense subset of X. This theorem is a principal one in analysis, with applications to well-known theorems such as the Closed Graph Theorem, the Open Mapping Theorem and the Uniform Boundedness Theorem.
    [Show full text]
  • Intersections of Fréchet Spaces and (LB)–Spaces
    Intersections of Fr¶echet spaces and (LB){spaces Angela A. Albanese and Jos¶eBonet Abstract This article presents results about the class of locally convex spaces which are de¯ned as the intersection E \F of a Fr¶echet space F and a countable inductive limit of Banach spaces E. This class appears naturally in analytic applications to linear partial di®erential operators. The intersection has two natural topologies, the intersection topology and an inductive limit topology. The ¯rst one is easier to describe and the second one has good locally convex properties. The coincidence of these topologies and its consequences for the spaces E \ F and E + F are investigated. 2000 Mathematics Subject Classi¯cation. Primary: 46A04, secondary: 46A08, 46A13, 46A45. The aim of this paper is to investigate spaces E \ F which are the intersection of a Fr¶echet space F and an (LB)-space E. They appear in several parts of analysis whenever the space F is determined by countably many necessary (e.g. di®erentiability of integrabil- ity) conditions and E is the dual of such a space, in particular E is de¯ned by a countable sequence of bounded sets which may also be determined by concrete estimates. Two nat- ural topologies can be de¯ned on E \ F : the intersection topology, which has seminorms easy to describe and which permits direct estimates, and a ¯ner inductive limit topology which is de¯ned in a natural way and which has good locally convex properties, e.g. E \ F with this topology is a barrelled space.
    [Show full text]
  • Note on the Solvability of Equations Involving Unbounded Linear and Quasibounded Nonlinear Operators*
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 56, 495-501 (1976) Note on the Solvability of Equations Involving Unbounded Linear and Quasibounded Nonlinear Operators* W. V. PETRYSHYN Deportment of Mathematics, Rutgers University, New Brunswick, New Jersey 08903 Submitted by Ky Fan INTRODUCTION Let X and Y be Banach spaces, X* and Y* their respective duals and (u, x) the value of u in X* at x in X. For a bounded linear operator T: X---f Y (i.e., for T EL(X, Y)) let N(T) C X and R(T) C Y denote the null space and the range of T respectively and let T *: Y* --f X* denote the adjoint of T. Foranyset vinXandWinX*weset I”-={uEX*~(U,X) =OV~EV) and WL = {x E X 1(u, x) = OVu E W). In [6] Kachurovskii obtained (without proof) a partial generalization of the closed range theorem of Banach for mildly nonlinear equations which can be stated as follows: THEOREM K. Let T EL(X, Y) have a closed range R(T) and a Jinite dimensional null space N(T). Let S: X --f Y be a nonlinear compact mapping such that R(S) C N( T*)l and S is asymptotically zer0.l Then the equation TX + S(x) = y is solvable for a given y in Y if and only if y E N( T*)l. The purpose of this note is to extend Theorem K to equations of the form TX + S(x) = y (x E WY, y E Y), (1) where T: D(T) X--f Y is a closed linear operator with domain D(T) not necessarily dense in X and such that R(T) is closed and N(T) (CD(T)) has a closed complementary subspace in X and S: X-t Y is a nonlinear quasi- bounded mapping but not necessarily compact or asymptotically zero.
    [Show full text]
  • Closed Graph Theorems for Bornological Spaces
    Khayyam J. Math. 2 (2016), no. 1, 81{111 CLOSED GRAPH THEOREMS FOR BORNOLOGICAL SPACES FEDERICO BAMBOZZI1 Communicated by A. Peralta Abstract. The aim of this paper is that of discussing closed graph theorems for bornological vector spaces in a self-contained way, hoping to make the subject more accessible to non-experts. We will see how to easily adapt classical arguments of functional analysis over R and C to deduce closed graph theorems for bornological vector spaces over any complete, non-trivially valued field, hence encompassing the non-Archimedean case too. We will end this survey by discussing some applications. In particular, we will prove De Wilde's Theorem for non-Archimedean locally convex spaces and then deduce some results about the automatic boundedness of algebra morphisms for a class of bornological algebras of interest in analytic geometry, both Archimedean (complex analytic geometry) and non-Archimedean. Introduction This paper aims to discuss the closed graph theorems for bornological vector spaces in a self-contained exposition and to fill a gap in the literature about the non-Archimedean side of the theory at the same time. In functional analysis over R or C bornological vector spaces have been used since a long time ago, without becoming a mainstream tool. It is probably for this reason that bornological vector spaces over non-Archimedean valued fields were rarely considered. Over the last years, for several reasons, bornological vector spaces have drawn new attentions: see for example [1], [2], [3], [5], [15] and [22]. These new developments involve the non-Archimedean side of the theory too and that is why it needs adequate foundations.
    [Show full text]
  • Non-Archimedean Closed Graph Theorems
    Filomat 32:11 (2018), 3933–3945 Published by Faculty of Sciences and Mathematics, https://doi.org/10.2298/FIL1811933L University of Nis,ˇ Serbia Available at: http://www.pmf.ni.ac.rs/filomat Non-Archimedean Closed Graph Theorems Toivo Leigera aInstitute of Mathematics and Statistics, University of Tartu, J. Liivi Str. 2, Tartu 50409 ESTONIA Abstract. We consider linear maps T : X Y, where X and Y are polar local convex spaces over a complete ! non-archimedean field K. Recall that X is called polarly barrelled, if each weakly∗ bounded subset in the dual X0 is equicontinuous. If in this definition weakly∗ bounded subset is replaced by weakly∗ bounded sequence or sequence weakly∗ converging to zero, then X is said to be `1-barrelled or c0-barrelled, respectively. For each of these classes of locally convex spaces (as well as the class of spaces with weakly∗ sequentially complete dual) as domain class, the maximum class of range spaces for a closed graph theorem to hold is characterized. As consequences of these results, we obtain non-archimedean versions of some classical closed graph theorems. The final section deals with the necessity of the above-named barrelledness-like properties in closed graph theorems. Among others, counterparts of the classical theorems of Mahowald and Kalton are proved. 1. Introduction The Banach closed graph theorem is valid under very general circumstances. If X and Y are complete metrizable topological vector spaces over an arbitrary complete valued field K, then each linear map T : X Y with closed graph is continuous. In the classical case, where K = R or K = C, a well-known result ! of V.
    [Show full text]
  • 1. Topological Vector Spaces
    TOPOLOGICAL VECTOR SPACES PRADIPTA BANDYOPADHYAY 1. Topological Vector Spaces Let X be a linear space over R or C. We denote the scalar field by K. Definition 1.1. A topological vector space (tvs for short) is a linear space X (over K) together with a topology J on X such that the maps (x, y) → x+y and (α, x) → αx are continuous from X × X → X and K × X → X respectively, K having the usual Euclidean topology. We will see examples as we go along. Remark 1.2. Let X be a tvs. Then (1) for fixed x ∈ X, the translation map y → x + y is a homeomor- phism of X onto X and (2) for fixed α 6= 0 ∈ K, the map x → αx is a homeomorphism of X onto X. Definition 1.3. A base for the topology at 0 is called a local base for the topology J . Theorem 1.4. Let X be a tvs and let F be a local base at 0. Then (i) U, V ∈ F ⇒ there exists W ∈ F such that W ⊆ U ∩ V . (ii) If U ∈ F, there exists V ∈ F such that V + V ⊆ U. (iii) If U ∈ F, there exists V ∈ F such that αV ⊆ U for all α ∈ K such that |α| ≤ 1. (iv) Any U ∈ J is absorbing, i.e. if x ∈ X, there exists δ > 0 such that ax ∈ U for all a such that |a| ≤ δ. Conversely, let X be a linear space and let F be a non-empty family of subsets of X which satisfy (i)–(iv), define a topology J by : These notes are built upon an old set of notes by Professor AK Roy.
    [Show full text]
  • On the Closed Graph Theorem and the Open Mapping Theorem
    On the Closed Graph Theorem and the Open Mapping Theorem Henri Bourl`es∗ Abstract Let E, F be two topological spaces and u : E → F be a map. If F is Haudorff and u is continuous, then its graph is closed. The Closed Graph Theorem establishes the converse when E and F are suitable objects of topological algebra, and more specifically topological groups, topological vector spaces (TVS’s) or locally vector spaces (LCS’s) of a special type. The Open Mapping Theo- rem, also called the Banach-Schauder theorem, states that under suitable conditions on E and F, if v : F → E is a continuous linear surjective map, it is open. When the Open Mapping The- orem holds true for v, so does the Closed Graph Theorem for u. The converse is also valid in most cases, but there are exceptions. This point is clarified. Some of the most important versions of the Closed Graph Theorem and of the Open Mapping Theorem are stated without proof but with the detailed reference. arXiv:1411.5500v1 [math.FA] 20 Nov 2014 1 Introduction Let E, F be two topological spaces and u : E → F be a map. If F is Haudorff and u is continuous, then its graph is closed (see Lemma 2 below). The Closed Graph Theorem establishes the converse when E and F are suitable objects of topological algebra, and more specifically topological groups, topological vector spaces (TVS’s) or locally vector spaces (LCS’s) of a special type. Banach’s theorem states that when E and F are Fr´echet spaces and u is linear, this map is continuous if, and only if its graph is closed ([3], p.
    [Show full text]
  • A STUDY of a CLOSED GRAPH THEOREM and THEIR APPLICATIONS in BANACH SPACES for CLOSED LINEAR TRANSFORMATIONS Tsegaye Kebede Irena1, Dr.Tadesse Zegeye2, Dr
    A STUDY OF A CLOSED GRAPH THEOREM AND THEIR APPLICATIONS IN BANACH SPACES FOR CLOSED LINEAR TRANSFORMATIONS 1 2 3 Tsegaye Kebede Irena , Dr.Tadesse Zegeye , Dr. Vasudevarao Kota 1Lecturer, 3Assistant Professor, Department of Mathematics, Ambo University, Ambo, Ethiopia. 2Assistant Professor, Department of Mathematics, Bahir Dar University, Bahir Dar, Ethiopia I. INTRODUCTION In this paper we deal with one of the fundamental theorems for Banach spaces, namely, the closed graph theorem and bounded linear operators and have proved some theorems concerning such operators. In applications, therefore, whenever one encounters a map, if one is able to prove that the map is linear and bounded, then one has those theorems at ones disposal. It turns out, however, that some of the important maps which are defined in applications, under certain conditions, are linear but not bounded. In particular, many maps defined in terms of differentiation (ordinary or partial) are discontinuous. Luckily, these operators often posses another property which, in a way, makes up for the fact that they are not bounded. These operators are closed (or have closed graphs ) with the definitions and some properties of closed linear maps, closed graphs and these will lead to one of the key theorems of functional analysis - the closed graph theorem. A mapping from one topological space to another is called an open mapping if the image of each open set is open. Thus a one-to-one continuous open mapping is a homeomorphism. We shall show that a continuous linear transformation of one Banach space onto another is always an open mapping and use this to give criteria for the continuity of linear transformation.
    [Show full text]