Centerline1a L <[MS< Begin 1 Array L1cl 6 << I-Dieresis -U <End1

Total Page:16

File Type:pdf, Size:1020Kb

Centerline1a L <[MS< Begin 1 Array L1cl 6 << I-Dieresis -U <End1 a n centerlineRow 1 6 Rowfa 2g i-dieresis-u . sub e y-d to the power of m-e E-a n s-O-dieresis-t sub n a-T e-l h-a n-n i-d T-a sub o-l U-s u i-n-n T-e sub r-e s-r z-i t-i sub o-y g-breve lu n [MDepartment−Sn begin f ofarray Mathematicsgf cg 6 nn i−d i e r e s i s −u nendf array g l−d f e y−d ^f m−e E−a g n g s−O−d i e r e s i s −t f n a−T g e−l h−a n−n i−d T−a f o−l Ua−s u i−n−n g T−e f r−e s−r z−i g t−i f o−y nbrevefgg g lu n ] 6 M−S l−dey−dm−eE−ans − O − dieresis − tna−Te − lh − an − ni − dT − ao−lU−sui−n−nT − er−es−rz−it − io−y˘glu nnoindent iDepartment− dieresis − u of Mathematics Department of Mathematics CONTENTS n centerlineIntroductionfCONTENTS .... period .... period ....g period .... period .... period .... period .... period .... period .... period .... period .... period .... period .... period .... period .... period .... period .... period .... period .... period .... period .... period .... period .... period .... period .... period .... periodnnoindent .... periodIntroduction .... period ....n periodh f i l l ..... periodn h f i ....l l period. n h f .... i l l period. n h .... f i lperiod l . n ....h f period i l l . ....n h 5 f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l . n h f i l l 5 1 period .. Almost bounded sets and operators ..CONTENTS period .. period .. period .. period .. period .. period .. period .. period .. period .. period ..nnoindent periodIntroduction .. period1 . ..n .quad period . .Almost .. period . bounded .. period . .. sets period . and ... period . operators . .. period . .n ..quad . period . .. ..nquad period . .. .. .n periodquad . .. .. period .nquad . .. 56. nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad 6 22 . period1nquad . .. Almost EidelheitEidelheit bounded quoteright ' sets s and theorem s theorem operatorsn ..quad period .. ..nquad period .. ...n periodquad . .. periodnquad . .. .. periodnquad . .. period. n .quad .. period.. n .quad .. period . n ..quad period. ..nquad period. .. nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad 1 3 period. .. period . .. period . .. period . .. period . 6 .. 2period . Eidelheit .. period ' s.. theorem period .. period . .. period . .. period . .. period . .. period . .. period .. period .. periodnnoindent....................13 .. period3 .. periodnquad ..Nuclear period .. 1 K 3 $ nddotfog $ the quotients nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad 20 43 . period3nquad . .. Nuclear NuclearNuclear K Ko¨ o-dieresisKthe quotients $ nddot the quotientsfo .g $ . ..the period. subspaces . .. period . ..and period . completing . .. period . .. sequences period . .. period .nquad ... period .nquad .. period. n ..quad period. ..n periodquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad 22 .. period. .. period . .. period . .. period . .. period . .. period . .. period . 20 .. period 4 . .. Nuclear period K ..o¨ periodthe subspaces .. period and .. period completing .. period .. period .. period .. periodnnoindentsequences .. period5 .. 20n .quad .Applications . .nquad . .. nquad . .. n .quad .. .nquad .. .nquad 22 . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad 25 64 . period5nquad . .. Applications NuclearSpaces K of o-dieresis . continuous . the . subspaces . functions . and . completingn .quad . sequences. .nquad . ... periodnquad . .. period. nquad . .. period. n .quad .. .period. .nquad .. period. ..nquad period. ..n periodquad ... nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad 30 periodReferences. .. period . ...nquad period .. ...n periodquad . .. .. periodnquad . .. .. periodn .quad .. period. .nquad .. period. 25nquad ..6 . 22 Spaces. nquad of continuous. nquad functions. nquad .. n .quad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad . nquad 35 5 period......................30 .. Applications .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. periodn hspaceReferences .. period∗fn f i l.. l periodg .1 9 . 9 .. period1 . Mathematics . .. period . .. periodSubject . .. period . Classification . .. period . .. period . : Primary. .. period . 46 .. period .A 3 . ,.. 46period . A . 4 .. period, . 46 A .. 45period ; Secondary .. period .. 46 A 1 1 , period. .. period . ... period . ... period . .. period . .. 25 . 35 nnoindent6 period ..46A13 Spaces1 of9 9 continuous 1 ,46E10Mathematics functions Subject . .. Classification period .. period: Primary .. period 46 A .. 3 period , 46 A 4.. , period 46 A 45 .. ;period Secondary .. period 46 A 1 .. 1 ,period .. period .. period .. period46 .. periodA 1 3 , ..46 period E 1 0 . .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. 30 n centerlineReferences ..f Received period .. period 1 0Received .. period6 . 1 1 0 .. 99 6period . 1 1 99 ; .. 1 revised ; period revised .. version versionperiod 1 ..2 . period 1 1 2 . 1 . .. 99 1 period 1 1 . .. 1 period 99 1 .. periodg .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. period .. 35 1 9 9 1 Mathematics Subject Classification : Primary 46 A 3 comma 46 A 4 comma 46 A 45 semicolon Secondary 46 A 1 1 comma 46 A 1 3 comma 46 E 1 0 period Received 1 0 period 6 period 1 99 1 semicolon revised version 1 2 period 1 1 period 1 99 1 period Introduction n centerlineIn this articlef Introduction our purpose willg be t o examine the conditions under which a locally convex space has a subspace or a quotient space which i s isomorphic to Ina this Fr acute-e article chet space our period purpose .. The will concrete be t Fr o e-acute examine chet spacesthe conditions we have in mind under are the which nuclear a locallyK o-dieresis convex the spaces space or the has space a subspace omega simeq orIntroduction K a to quotient the power of space N period which .. By i anuclear s isomorphic K o-dieresis to the space we mean a nuclear aFr Fr acute-e $Inn thisacute chet article spacefeg ourwhich$ purpose chet has a space basis will be and . t aonquadcontinuous examineThe the norm concrete conditions period Fr under $ whichnacute a locallyfeg $ convex chet space spaces has a we have in mind are the nuclear In opensubspace square or bracket a quotient 8 closing space squarewhich i bracket s isomorphic Eidelheit to a has Fr provede ´ chet spacethat every . The proper concrete Fr acute-e Fre ´ chet space spaces has we omega as a quotient nnoindentspacehave period inK mind .. $ For arenddot another thef nuclearog proof$ theof this spaces and results or about the space kernels of $ surjectionsnomega ontonsimeq omega commaK ^f N g . $ nquad By a nuclear K N $ nweddotK refero ¨fothe tg o$ spaces Vogt the .. or openspace the space square we! bracket mean' K : a 19 nuclearBy closing a nuclear square K bracketo ¨ the space period we .. mean The asearch nuclear for Fr nucleare ´ chet K space o-dieresis which the quotients of Fr acute-e chetFr spaceshas $ n aacute basisf andeg a$ continuous chet space norm . which has a basis and a continuous norm . was ..In initiated [ 8 ] Eidelheit by .. Bellenot has proved .. and that .. Dubinsky every proper .. open Fre ´ squarechet space bracket has 1! closingas a quotient square space bracket . period For another .. The present .. authors .. in .. openIn [ squareproof 8 ] ofEidelheitbracket this and 1 3 results closing has about proved square kernels bracket that of surjections.. every open parenthesis proper onto !; Frwe cf referperiod $ n tacute o Vogtfeg [ 19$ ] . chet The space search for has nuclear $ nomega $ as a quotient spacealsoK openo ¨ . then squarequad quotients bracketFor of another Fr 1 2e ´ closingchet proofspaces square was of bracket this initiated closing and by parenthesisresults Bellenot about showed and kernels that Dubinsky the assumption of [surjections 1 ] . of Theseparability present onto in the $ n theoremomega of Bellenot, $ weand referauthors Dubinsky t o in i Vogts redundant [ 1 3nquad ] ( period cf[ . 19 .. ]More . n preciselyquad The comma search they have for proved nuclear that K either $ n everyddotfog $ the quotients of Fr $ nacutefeg $ chetcontinuousalso spaces [ 1 2 operator ] ) showed from that a given the assumption Fr acute-e of chet separability space E into in the any theorem nuclear of Fr Bellenot e-acute andchet Dubinsky space comma i s redundant waswhich.nquad admits Moreinitiated precisely a continuous , they by normn havequad comma provedB e il l s that e boundedn o t eithernquad or every Eand has continuous an nuclearquad Dubinsky operator K dieresis-o fromn thequad aquotient given[ Fr1 periode ]´ chet .
Recommended publications
  • 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]
  • NONARCHIMEDEAN COALGEBRAS and COADMISSIBLE MODULES 2 of Y
    NONARCHIMEDEAN COALGEBRAS AND COADMISSIBLE MODULES ANTON LYUBININ Abstract. We show that basic notions of locally analytic representation the- ory can be reformulated in the language of topological coalgebras (Hopf alge- bras) and comodules. We introduce the notion of admissible comodule and show that it corresponds to the notion of admissible representation in the case of compact p-adic group. Contents Introduction 1 1. Banach coalgebras 4 1.1. Banach -Coalgebras 5 ̂ 1.2. Constructions⊗ in the category of Banach -coalgebras 6 ̂ 1.3. Banach -bialgebras and Hopf -algebras⊗ 8 ̂ ̂ 1.4. Constructions⊗ in the category of⊗ Banach -bialgebras and Hopf ̂ -algebras. ⊗ 9 ̂ 2. Banach comodules⊗ 9 2.1. Basic definitions 9 2.2. Constructions in the category of Banach -comodules 10 ̂ 2.3. Induction ⊗ 11 2.4. Rational -modules 14 ̂ 2.5. Tensor identities⊗ 15 3. Locally convex -coalgebras 16 ̂ Preliminaries ⊗ 16 3.1. Topological Coalgebras 18 3.2. Topological Bialgebras and Hopf algebras. 20 4. modules and comodules 21 arXiv:1410.3731v2 [math.RA] 26 Jul 2017 4.1. Definitions 21 4.2. Rationality 22 4.3. Quotients, subobjects and simplicity 22 4.4. Cotensor product 23 5. Admissibility 24 Appendix 28 References 29 Introduction The study of p-adic locally analytic representation theory of p-adic groups seems to start in 1980s, with the first examples of such representations studied in the works 1 NONARCHIMEDEAN COALGEBRAS AND COADMISSIBLE MODULES 2 of Y. Morita [M1, M2, M3] (and A. Robert, around the same time), who considered locally analytic principal series representations for p-adic SL2.
    [Show full text]
  • Arxiv:2105.06358V1 [Math.FA] 13 May 2021 Xml,I 2 H.3,P 31.I 7,Qudfie H Ocp Fa of Concept the [7]) Defined in Qiu Complete [7], Quasi-Fast for in As See (Denoted 1371]
    INDUCTIVE LIMITS OF QUASI LOCALLY BAIRE SPACES THOMAS E. GILSDORF Department of Mathematics Central Michigan University Mt. Pleasant, MI 48859 USA [email protected] May 14, 2021 Abstract. Quasi-locally complete locally convex spaces are general- ized to quasi-locally Baire locally convex spaces. It is shown that an inductive limit of strictly webbed spaces is regular if it is quasi-locally Baire. This extends Qiu’s theorem on regularity. Additionally, if each step is strictly webbed and quasi- locally Baire, then the inductive limit is quasi-locally Baire if it is regular. Distinguishing examples are pro- vided. 2020 Mathematics Subject Classification: Primary 46A13; Sec- ondary 46A30, 46A03. Keywords: Quasi locally complete, quasi-locally Baire, inductive limit. arXiv:2105.06358v1 [math.FA] 13 May 2021 1. Introduction and notation. Inductive limits of locally convex spaces have been studied in detail over many years. Such study includes properties that would imply reg- ularity, that is, when every bounded subset in the in the inductive limit is contained in and bounded in one of the steps. An excellent introduc- tion to the theory of locally convex inductive limits, including regularity properties, can be found in [1]. Nevertheless, determining whether or not an inductive limit is regular remains important, as one can see for example, in [2, Thm. 34, p. 1371]. In [7], Qiu defined the concept of a quasi-locally complete space (denoted as quasi-fast complete in [7]), in 1 2 THOMASE.GILSDORF which each bounded set is contained in abounded set that is a Banach disk in a coarser locally convex topology, and proves that if an induc- tive limit of strictly webbed spaces is quasi-locally complete, then it is regular.
    [Show full text]
  • Models of Linear Logic Based on the Schwartz Ε-Product
    Theory and Applications of Categories, Vol. 34, No. 45, 2019, pp. 1440–1525. MODELS OF LINEAR LOGIC BASED ON THE SCHWARTZ "-PRODUCT. YOANN DABROWSKI AND MARIE KERJEAN Abstract. From the interpretation of Linear Logic multiplicative disjunction as the epsilon product defined by Laurent Schwartz, we construct several models of Differential Linear Logic based on the usual mathematical notions of smooth maps. This improves on previous results by Blute, Ehrhard and Tasson based on convenient smoothness where only intuitionist models were built. We isolate a completeness condition, called k-quasi-completeness, and an associated no- tion which is stable under duality called k-reflexivity, allowing for a star-autonomous category of k-reflexive spaces in which the dual of the tensor product is the reflexive version of the epsilon- product. We adapt Meise’s definition of smooth maps into a first model of Differential Linear Logic, made of k-reflexive spaces. We also build two new models of Linear Logic with con- veniently smooth maps, on categories made respectively of Mackey-complete Schwartz spaces and Mackey-complete Nuclear Spaces (with extra reflexivity conditions). Varying slightly the notion of smoothness, one also recovers models of DiLL on the same star-autonomous cate- gories. Throughout the article, we work within the setting of Dialogue categories where the tensor product is exactly the epsilon-product (without reflexivization). Contents 1 Introduction 1441 I. Models of MALL 1447 2 Preliminaries 1447 3 The original setting for the Schwartz "-product and smooth maps. 1457 4 Models of MALL coming from classes of smooth maps 1471 5 Schwartz locally convex spaces, Mackey-completeness and the ρ-dual.
    [Show full text]
  • Časopis Pro Pěstování Matematiky
    Časopis pro pěstování matematiky Pedro Pérez Carreras Some aspects of the theory of barreled spaces Časopis pro pěstování matematiky, Vol. 112 (1987), No. 2, 123--161 Persistent URL: http://dml.cz/dmlcz/118303 Terms of use: © Institute of Mathematics AS CR, 1987 Institute of Mathematics of the Academy of Sciences of the Czech Republic provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This paper has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://project.dml.cz 112(1987) ČASOPIS PRO PĚSTOVÁNÍ MATEMATIKY No. 2,123—161 SOME ASPECTS OF THE THEORY OF BARRELED SPACES PEDRO PEREZ CARRERAS, Valencia (Received December 27, 1983) Summary. This is an expository article in which certain aspects of the theory of barreled spaces are discussed. Recent results concerning the problem about conditions on spaces assuring continuity of mappings between them which have the closed graph are presented. Further, if a metrizable barreled space is the union of a nondecreasing sequence of closed absolutely convex sets then at least one of them is a neighbourhood of the origin. Recent research related to this property is analysed as well as the question of preservation of barreledness in pro­ jective tensor products. Keywords: Barrel space, Br complete space, Baire space. This is an expository article and contains a somewhat expanded version of the content of the talk given by the author at Cesky Krumlov in the 14th Seminar in Functional Analysis in May 83.
    [Show full text]
  • The Closed Graph Theorem and the Space of Henstock-Kurzweil Integrable Functions with the Alexiewicz Norm
    Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 476287, 4 pages http://dx.doi.org/10.1155/2013/476287 Research Article The Closed Graph Theorem and the Space of Henstock-Kurzweil Integrable Functions with the Alexiewicz Norm Luis Ángel Gutiérrez Méndez, Juan Alberto Escamilla Reyna, Maria Guadalupe Raggi Cárdenas, and Juan Francisco Estrada García Facultad de Ciencias F´ısico Matematicas,´ Benemerita´ Universidad Autonoma´ de Puebla, Avenida San Claudio y 18 Sur, ColoniaSanManuel,72570Puebla,PUE,Mexico Correspondence should be addressed to Luis Angel´ Gutierrez´ Mendez;´ [email protected] Received 5 June 2012; Accepted 25 December 2012 Academic Editor: Martin Schechter Copyright © 2013 Luis Angel´ Gutierrez´ Mendez´ et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. WeprovethatthecardinalityofthespaceHK([a, b]) is equal to the cardinality of real numbers. Based on this fact we show that there exists a norm on HK([a, b]) under which it is a Banach space. Therefore if we equip HK([a, b]) with the Alexiewicz topology then HK([a, b]) is not K-Suslin, neither infra-(u) nor a webbed space. 1. Introduction Afterwards, using the same technique used byHoning,¨ Merino improves Honing’s¨ results in the sense that those [, ] R Let be a compact interval in .Inthevectorspaceof results arise as corollaries of the following theorem. Henstock-Kurzweil integrable functions on [, ] with values in R the Alexiewicz seminorm is defined as Theorem 1 (see [2]). There exists no ultrabornological, infra- (), natural, and complete topology on HK([, ]).
    [Show full text]
  • Infinite Systems of Linear Equations for Real Analytic Functions
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 132, Number 12, Pages 3607{3614 S 0002-9939(04)07435-0 Article electronically published on July 20, 2004 INFINITE SYSTEMS OF LINEAR EQUATIONS FOR REAL ANALYTIC FUNCTIONS P. DOMANSKI´ AND D. VOGT (Communicated by N. Tomczak-Jaegermann) Abstract. We study the problem when an infinite system of linear functional equations µn(f)=bn for n 2 N d has a real analytic solution f on ! ⊆ R for every right-hand side (bn)n2N ⊆ C and give a complete characterization of such sequences of analytic functionals d (µn). We also show that every open set ! ⊆ R has a complex neighbourhood Ω ⊆ Cd such that the positive answer is equivalent to the positive answer for the analogous question with solutions holomorphic on Ω. Introduction One of the first classical examples of an infinite system of linear equations is related to the so-called moment problem solved by Hausdorff. It is the question of finding a Borel measure µ on [0; 1]R such that a given sequence of reals (bn)n2N is 1 n the sequence of moments of µ (i.e., t dµ(t)=bn for n 2 N). More generally, we 0 0 can look for a functional f 2 X such that for the given sequence of scalars (bn) and of vectors (xn) belonging to a locally convex (Banach) space X the following holds: (1) f(xn)=bn for n 2 N: First solutions for spaces X = C[0; 1] or Lp[0; 1] are due to F. Riesz (1909) and the functional analytic approach to the problem is contained in the famous book of Banach [1, Ch.
    [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]
  • On the Closed Graph Theorem and the Open Mapping Theorem Henri Bourlès
    On the Closed Graph Theorem and the Open Mapping Theorem Henri Bourlès To cite this version: Henri Bourlès. On the Closed Graph Theorem and the Open Mapping Theorem. 2019. hal-02372404 HAL Id: hal-02372404 https://hal.archives-ouvertes.fr/hal-02372404 Preprint submitted on 20 Nov 2019 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. 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.
    [Show full text]
  • Quasi-Suprabarrelled Spaces
    J. Austral. Math. Soc. (Series A) 46 (1989), 0137-145 QUASI-SUPRABARRELLED SPACES J. C. FERRANDO and M. L6PEZ-PELLICER (Received 13 April 1987; revised 14 September 1987) Communicated by J. H. Rubinstein Abstract In this paper a proper class of barrelled spaces which strictly contains the suprabarrelled spaces is considered. A closed graph theorem and some permanence properties are given. This allows us to prove the necessity of a condition of a theorem of S. A. Saxon and P. P. Narayanaswami by constructing an example of a non-suprabarrelled Baire-like space which is a dense subspace of a Frechet space and is not an (LF)-space under any strong locally convex topology. 1980 Mathematics subject classification (Amer. Math. Soc.) (1985 Revision): primary 46 A 07; secondary 46 A 30. Keywords and phrases: barrelled space. In [9], S. A. Saxon and P. P. Narayanaswami prove that if E is a Frechet space and F is a barrelled dense subspace, then F is not suprabarrelled if and only if there exists a subspace G of E such that G contains F and G with a topology stronger than the relative one is an (LF)-space. In this paper we give an example which allows us to prove that G cannot be replaced by F in the former theo- rem. We introduce the quasi-suprabarrelled spaces which satisfy the inclusion relationships indicated by suprabarrelled => quasi-suprabarrelled =>• barrelled. A closed graph theorem together with some permanence properties are given. We use some of those results later in order to construct the quoted example.
    [Show full text]
  • Surjections in Locally Convex Spaces
    Ghent University Faculty of Sciences Department of Mathematics Surjections in locally convex spaces by Lenny Neyt Supervisor: Prof. Dr. H. Vernaeve Master dissertation submitted to the Faculty of Sciences to obtain the academic degree of Master of Science in Mathematics: Pure Mathematics. Academic Year 2015{2016 Preface For me, in the past five years, mathematics metamorphosed from an interest into my greatest passion. I find it truly fascinating how the combination of logical thinking and creativity can produce such rich theories. Hopefully, this master thesis conveys this sentiment. I hereby wish to thank my promotor Hans Vernaeve for the support and advice he gave me, not only during this thesis, but over the last three years. Furthermore, I thank Jasson Vindas and Andreas Debrouwere for their help and suggestions. Last but not least, I wish to express my gratitude toward my parents for the support and stimulation they gave me throughout my entire education. The author gives his permission to make this work available for consultation and to copy parts of the work for personal use. Any other use is bound by the restrictions of copyright legislation, in particular regarding the obligation to specify the source when using the results of this work. Ghent, May 31, 2016 Lenny Neyt i Contents Preface i Introduction 1 1 Preliminaries 3 1.1 Topology . 3 1.2 Topological vector spaces . 7 1.3 Banach and Fr´echet spaces . 11 1.4 The Hahn-Banach theorem . 13 1.5 Baire categories . 15 1.6 Schauder's theorem . 16 2 Locally convex spaces 18 2.1 Definition .
    [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]