DOCSLIB.ORG

Arxiv:2101.00653V1 [Math.FA] 3 Jan 2021

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2101.00653V1 [Math.FA] 3 Jan 2021 Uniform Boundedness Principle and Hahn-Banach Theorem for b-linear functional related to linear 2-normed space Prasenjit Ghosh Department of Pure Mathematics, University of Calcutta, 35, Ballygunge Circular Road, Kolkata, 700019, West Bengal, India e-mail: [email protected] Sanjay Roy Department of Mathematics, Uluberia College, Uluberia, Howrah, 711315, West Bengal, India e-mail: [email protected] T. K. Samanta Department of Mathematics, Uluberia College, Uluberia, Howrah, 711315, West Bengal, India e-mail: mumpu−[email protected] Abstract In this paper, we will see that the Cartesian product of two 2- Banach spaces is also 2-Banach space and discuss some properties of closed linear operator in linear 2-normed space . We also describe the concept of different types of continuity of b-linear functional and derive the Uniform Boundedness Principle and Hahn-Banach exten- sion theorem for b-linear functionals in the case of linear 2-normed spaces . We also introduce the notion of weak * convergence for the sequence of bounded b-linear functionals relative to linear 2-normed space . Keywords: linear 2-normed space, 2-Banach space, Closed operator, Uniform Bound- edness Principle, Hahn-Banach extension Theorem . arXiv:2101.00653v1 [math.FA] 3 Jan 2021 2010 Mathematics Subject Classification: 46A22, 46B07, 46B25 . 1 Introduction The Uniform boundedness principle is one of the most useful results in func- tional analysis which was obtained by S. Banach and H. Steinhaus in 1927 and it is also familiar as Banach-Steinhaus Theorem . The Uniform boundedness principle tells us that if a sequence of bounded linear operators T n ∈ B ( X,Y ), where X is a Banach space and Y a normed space, is pointwise bounded, then the sequence { T n } is uniformly bounded . The Hahn-Banach theorem is another useful and important theorem in functional analysis and it is frequently applied in other branches of mathematics viz . , algebra, 2 Prasenjit Ghosh & T. K. Samanta geometry, optimization, partial differential equation and so on . In fact, in this the- orem a bounded linear functional defined on a subspace can be extended into the entire space . The idea of linear 2-normed space was first introduced by S. Gahler ([3]) and there- after the geometric structure of linear 2-normed spaces was developed by the great mathematicians like A. White, Y. J. Cho, R. W. Freese, S. C. Gupta and others [4, 5, 6] . In recent times, some important results in classical normed spaces have been proved into 2-norm setting by many researchers . In this paper, we will see that in the Cartesian product X × Y , we can induce a 2-norm using the 2-norms of X and Y and then we describe the concept of differ- ent types of continuity of b-linear functional in the case of linear 2-normed spaces and establish some results related to such types of continuity . In this paper, we are going to construct the uniform boundedness principle and Hahn-Banach extension theorem for a bounded b-linear functional defined on a 2-Banach space . Moreover we introduce a notion of weak * convergence of the sequence of bounded b-linear functionals in linear 2-normed spaces . 2 Preliminaries Definition 2.1. ([3]) Let X be a linear space of dimension greater than 1 over the field K , where K is the real or complex numbers field and k · , · k be a K-valued function defined on X × X satisfying the following conditions: (N1) k x, y k = 0 if and only if x, y are linearly dependent, (N2) k x, y k = k y, x k , (N3) k αx, y k = | α | k x, y k ∀ α ∈ K , (N4) k x, y + z k ≤ k x, y k + k x , z k . Then k · , · k is called a 2-norm on X and the pair ( X , k · , · k ) is called a linear 2-normed space . The non-negativity condition of 2-norm can be obtained by using ( N3)&( N4 ) . Definition 2.2. ([6]) Let X be a linear 2-normed space . A sequence { x n } in X is said to be convergent to some x ∈ X if lim k x n − x, y k = 0 n→∞ for every y ∈ X and it is called Cauchy sequence if lim k x n − x m , z k = 0 n , m→∞ for every z ∈ X . X is said to be complete if every Cauchy sequence in this space is convergent in X . A linear 2-normed space is called 2-Banach space if it is complete . Uniform Boundedness Principle related to linear 2-normed space 3 Definition 2.3. ([9]) Define the following open and closed ball in linear 2-normed space X : B e ( a , δ ) = { x ∈ X : k x − a , e k < δ } B e [ a , δ ] = { x ∈ X : k x − a , e k ≤ δ } , where a , e ∈ X and δ be a positive number . Definition 2.4. ([9]) A subset G of a linear 2-normed space X is said to be open in X if for all a ∈ G, there exists e ∈ X and δ > 0 such that B e ( a , δ ) ⊆ G . Definition 2.5. ([10]) Let X be a linear 2-normed space and A ⊆ X . Then a point a ∈ A is said to an interior point of A if there exists e ∈ X and δ > 0 such that Be ( a , δ ) ⊆ A . Definition 2.6. ([9]). Let X be a linear 2-normed space . Then G ⊆ X is said to be dense in X if V ∩ G 6= φ for every open set V in X . Definition 2.7. ([10]) Let X be a linear 2-normed space and A ⊆ X . Then the closure of A is denoted by A and defined as , { x ∈ X | ∃ { x n } ∈ A with lim x n = x } . n →∞ The set A is said to be closed if A = A. Theorem 2.8. (Baire’s theorem for 2-Banach spaces)([1, 9]) Let X be a 2- Banach space . Then the intersection of a countable number of dense open subsets of X is dense in X . Definition 2.9. ([1]) Let X and Y be two linear 2-normed spaces over the field K . Then a linear operator T : X → Y is said to be closed if for every { x n } in X with x n → x and T ( x n ) → y in Y we have x ∈ X and T ( x ) = y . Definition 2.10. ([9]) Let X and Y be two linear 2-normed spaces over R and T : X → Y be a linear operator . The operator T is said to be sequentially continuous at x ∈ X if and only if for every sequence { x n } in X that converges to x, the sequence { T ( x n ) } converges to T ( x ) . Theorem 2.11. ([9]) Let X and Y be two linear 2-normed spaces over R . If X is finite dimensional, then every linear operator T : X → Y is sequentially continuous . Definition 2.12. ([2]) Let ( X , k · , · k ) be a linear 2-normed space over the field K with b ∈ X be fixed and h b i is the subspace of X generated by b . Let W be a subspace of X, then a mapping T : W × h b i → K is called a b-linear functional on W × h b i, if the following two hold: (1) T ( x + y , b ) = T ( x , b ) + T ( y , b ) ∀ x, y ∈ W . (2) T ( k x , b ) = k T ( x , b ) ∀ k ∈ K . 4 Prasenjit Ghosh & T. K. Samanta A b-linear functional T : W × h b i → K is said to be bounded if there exists a real number M > 0 such that | T ( x , b ) | ≤ M k x , b k ∀ x ∈ W . Now we can define the norm of the b-linear functional T : W × h b i → K as k T k = inf { M > 0 : | T ( x , b ) | ≤ M k x , b k ∀ x ∈ W } . Then one can easily verified that, k T k = sup{ | T ( x , b ) | : k x , b k ≤ 1 } k T k = sup{ | T ( x , b ) | : k x , b k = 1 } | T ( x , b ) | k T k = sup : k x , b k 6= 0 k x , b k and then | T ( x , b ) | ≤ k T k k x , b k ∀ x ∈ W . ∗ Let X b denote the Banach space of all bounded b-linear functionals defined on X × h b i . 3 Analogous Results in the classical normed spaces to 2-normed spaces Theorem 3.1. Let ( X , k · , · kX ) and ( Y , k · , · kY ) be two linear 2-normed linear spaces over the field K , Then in the Cartesian product X × Y , we can induce a 2-norm k · , · k using the 2-norms of X and Y . Furthermore, if X and Y are 2-Banach spaces then X × Y is also 2-Banach space . Proof. Define a function k · , · k : ( X × Y ) × ( X × Y ) → R by, k ( x 1 , y 1 ) , ( x 2 , y 2 ) k = k x 1 , x 2 kX + k y 1 , y 2 kY for all ( x 1 , y 1 ) , ( x 2 , y 2 ) ∈ ( X × Y ) . We now verify that this function is a 2-norm on X × Y . (N1) Suppose k ( x 1 , y 1 ) , ( x 2 , y 2 ) k = 0 ∀ ( x 1 , y 1 ) , ( x 2 , y 2 ) ∈ ( X × Y ) ⇔ k x 1 , x 2 kX + k y 1 , y 2 kY = 0 ⇔ k x 1 , x 2 kX = 0 , k y 1 , y 2 kY = 0 for x 1 , x 2 ∈ X & y 1 , y 2 ∈ Y ⇔ { x 1 , x 2 } and { y 1 , y 2 } are linearly dependent in X & Y ⇔ ( x 1 , y 1 ) , ( x 2 , y 2 ) are linearly dependent in X × Y .
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]
  • A Study of Uniform Boundedness
    CANADIAN THESES H pap^^ are missmg, contact the university whch granted the Sil manque des pages, veuiflez communlquer avec I'univer- degree.-. sit6 qui a mf&B b grade. henaPsty coWngMed materiats (journal arbcks. puMished Les documents qui tont c&j& robjet dun dfoit dautew (Wicks tests, etc.) are not filmed. de revue, examens pubiles, etc.) ne scmt pas mlcrofiimes. Repockbm in full or in part of this film is governed by the lareproduction, m&ne partielk, de ce microfibn est soumise . Gawc&n CoWnght Act, R.S.C. 1970, c. G30. P!ease read B h Ldcanaden ne sur b droit &auteur, SRC 1970, c. C30. the alrhmfm fmwhich mpanythfs tksts. Veuikz pm&e des fmhdautortsetion qui A ac~ompegnentcette Mse. - - - -- - - -- - -- ppp- -- - THIS DISSERTATlON LA W&E A - - -- EXACTLY AS RECEIVED NOUS L'AVONS RECUE d the fitsr. da prdrer w de vervke des exsaplairas du fib, *i= -4 wit- tM arrhor's rrrittm lsrmissitn. (Y .~-rmntrep&ds sns rrror;s~m&rite de /.auefa. e-zEEEsXs-a--==-- , THE RZ~lREHEHTFOR THE DEGREB OF in the Wpartesent R.T. SBantunga, 1983 SLW PRllSER BNFJERSI'PY Decenber 1983 Hae: Degree: Title of Thesis: _ C, Godsil ~srtsrnalgnamniner I3e-t of Hathematics Shmn Praser University 'i hereby grant to Simn Fraser University tba right to .lend ,y 'hcsis, or ~.ndadessay 4th title of which is 5taun helor) f to users ot the 5imFrasar University Library, and to mke partial or r'H.lgtrt copies oniy for such users 5r in response to a request fram the 1 Ibrary oh any other university, or other educationat institution, on its orn behaif or for one of its users.
    [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]
  • Let H Be a Hilbert Space. on B(H), There Is a Whole Zoo of Topologies
    Let H be a Hilbert space. On B(H), there is a whole zoo of topologies weaker than the norm topology – and all of them are considered when it comes to von Neumann algebras. It is, however, a good idea to concentrate on one of them right from the definition. My choice – and Murphy’s [Mur90, Chapter 4] – is the strong (or strong operator=STOP) topology: Definition. A von Neumann algebra is a ∗–subalgebra A ⊂ B(H) of operators acting nonde- generately(!) on a Hilbert space H that is strongly closed in B(H). (Every norm convergent sequence converges strongly, so A is a C∗–algebra.) This does not mean that one has not to know the other topologies; on the contrary, one has to know them very well, too. But it does mean that proof techniques are focused on the strong topology; if we use a different topology to prove something, then we do this only if there is a specific reason for doing so. One reason why it is not sufficient to worry only about the strong topology, is that the strong topology (unlike the norm topology of a C∗–algebra) is not determined by the algebraic structure alone: There are “good” algebraic isomorphisms between von Neumann algebras that do not respect their strong topologies. A striking feature of the strong topology on B(H) is that B(H) is order complete: Theorem (Vigier). If aλ λ2Λ is an increasing self-adjoint net in B(H) and bounded above (9c 2 B(H): aλ ≤ c8λ), then aλ converges strongly in B(H), obviously to its least upper bound in B(H).
    [Show full text]
  • Representations of a Compact Group on a Banach Space
    Journal of the Mathematical Society of Japan Vol. 7, No. 3, June, 1955 Representations of a compact group on a Banach space. By Koji SHIGA (Received Jan. 14, 1955) Introduction. Let G be a compact group and IYIa complex normed linear space. We mean by a representation {, T(a)} a homomorphism of G into the group of bounded linear operators on such that a --~ T(a). The following types of representations are important : i) algebraic repre- sentation, ii) bounded algebraic representation,l' iii) weakly measurable representation,2' iv) strongly measurable representation,3' v) weakly continuous representation,4' vi) strongly continuous representation.5' Clearly each condition above becomes gradually stronger when it runs from i) to vi), except iv). When the representation space 1 of {IJI,T(a)} is a Banach space, it is called a B-representation. In considering a B-representation {8, T(a)}, what we shall call the conjugate representation {8*, T *(a)} arouses our special interest. For example, we can prove, by considering {**, T **(a)} of a weakly continuous B-representation {8, T(a)}, the equivalence of all four condi- tions (Theorem 2) : 1) {l3, T(a)} is completely decomposable, 2) {8, T(a)} is strongly continuous, 3) {3, T(a)} is strongly measurable, 4) for any given x e 3, the closed invariant subspace generated by T(a)x, 1) Algebraicreps esentation such that IIT(a) II< M for a certain M(> 0). 2) Boundedalgebraic representation such that f(T(a)x) is a measurable function on G for any xe3 and f€3,*where 9* meansthe conjugatespace of .
    [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]