DOCSLIB.ORG

A GENERALIZED INDUCTIVE LIMIT TOPOLOGY for LINEAR SPACES by S

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A GENERALIZED INDUCTIVE LIMIT TOPOLOGY for LINEAR SPACES by S A GENERALIZED INDUCTIVE LIMIT TOPOLOGY FOR LINEAR SPACES by S. O. IYAHEN and J. O. POPOOLA (Received 24 September, 1971; revised 19 April, 1972) 1. In the usual definition of an inductive limit of locally convex spaces, one is given a linear space E, a family (£a) of locally convex spaces and a set (/„) of linear maps from Ex into E. Garling in [2] studies an extension of this, looking at absolutely convex subsets Sa of Ea and restrictions ja of /„ to such sets. If, in the definition of Garling [2, p. 3], each Sa is instead a balanced semiconvex set, then the finest linear (not necessarily locally convex) topology on E for which the maps ja are continuous, will be referred to as the generalized *-inductive limit topology of the semiconvex sets. This topology is our object of study in the present paper; we find applications in the closed graph theorem. 2. The lemma on page 3 of [2] allows Garling to restrict attention to behaviour at the origin on the absolutely convex sets; Lemma 6.1 of [5] is a suitable replacement for our situation. An analogue of Theorem 2 of [2] can be proved and so also can the analogue of [5, Proposition 2.8, Corollary]. As in [2, p. 16, Example A], any separated almost convex ultrabornological space [5, Definitions 2.2 and 4.1] has a generalized *-inductive limit topology (see [5, p. 303, paragraph 1]). Let E be a linear space of uncountable dimension. Let x(E, E*) and s, respectively, denote the finest locally convex topology and the finest linear topology on E. As the bounded subsets of (E, z(E, E*)) and (E, s) are contained in finite-dimensional linear subspaces, T(E, E*) and s induce the same topology on bounded sets. By [2, p. 16, Example A or B], (E, x(E, E*)) is the generalized inductive limit of a family of absolutely convex bounded sets. Clearly (E, s) is the generalized *-inductive limit of this family. Since, by [9, Theorem 3.1], T(£, £*) is strictly coarser than s, we deduce that the complete separated bornological space (E, T(E, E*)) does not have a generalized *-inductive limit topology of bounded subsets. We also see from this example that the dual of a complete separated locally convex space under the topology of compact convergence need not be a generalized *-inductive limit space. However, in view of [2, Proposition 5 and p. 16, Example B], the dual of a Frechet space under the topology of compact convergence has a generalized *-inductive limit topology, and so has any DF-space because of [2, p. 16, Example C]. The notion of a countably quasi-u.b. space, where u.b. is used as an abbreviation for ultra-barrelled, is introduced in [6, p. 609]. Such a space is called an ultra-DF space if it has a fundamental sequence of bounded sets. It follows from [6, Proposition 3.1] that the strong dual of any metrizable locally convex space is an ultra-DF space. The strict *-inductive limit of a sequence of separated ultra-DF spaces is ultra-DF. (To prove this, use the analogue for *-inductive limits of Theorem 2 (2) of [2], and [6, Theorem 3.1].) PROPOSITION 2.1. For each positive integer i, let <%t be a base of balanced neighbourhoods of the origin in a linear topological space (£,, T,). Suppose that St is a balanced semiconvex Downloaded from https://www.cambridge.org/core. IP address: 170.106.33.14, on 30 Sep 2021 at 07:50:19, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/S001708950000183X 106 S. O. IYAHEN AND J. O. POPOOLA ' subset of Et and that (E, x) is the generalized *-inductive limit of (Sj) by one-to-one maps tt. Then the family of sets ngli=l as Ui varies over "U^ is a base of neighbourhoods of the origin in (£, x). Proof. Cf [5, Proposition 2.2]. PROPOSITION 2.2. If an ultra-DF space (£, x) has a fundamental sequence (Sn) of balanced 1 bounded sets such that, for some fixed k^2 and all n, S ,, + Sn £ kSn, then (E, T) necessarily has a generalized ^-inductive limit topology. Proof. Let (Sn) be such a sequence; we may assume that it is increasing. Let x' be its generalized *-inductive limit topology. For each m = 0, 1, 2,..., let Um be a balanced r'-neighbourhood such that Um+1 + m Tjm+i s rjm By prOpOSition 2.1, we may suppose that U is of the form ngli=l where each 17/" is a balanced i-neighbourhood, and the sequence (C/J": m = 0,1, 2,...) may be so chosen that We are going to construct a bornivorous ultrabarrel W° £ C/° of type (a) in (£, T) (see [6, p. 609] for definition) and, since (E, x) is countably quasi-u.b., it will follow that U° is a T-neighbourhood. We shall construct W" £ U" for each n. +1 + l With n fixed, write U for U" and U' for £/" , so that U'+ U' £ U; write Vt for U"t +2 and VI for [7? , so that V; + Vt' £ K,. Thus f/and C7' are r'-neighbourhoods and Vt, V,' are r-neighbourhoods, and 5,n Ff £ [/' for all i. Put r = fc"", Wt = (rSJnU' + Vi' and W= f] Wt. If xe W, then xer5j for some i, since £ = (J rSt; hence, to show that W £ C/, it is enough to show that (rS^Wi^U for all i. Now W, £ (rSf)n C/' + V( and so, if Are x = y+z, where ye(rS^nU' and zeK,. Hence jc-jerfc5( £ 5, and so zeS.-nKfE U'. Hence xe C/. Now to show that W is bornivorous, we show that W absorbs each S,. First (r5j)nt/' absorbs S, and, for; ^ /, (rS,)nU' £ (rSj)nW £ JF;, so that f) JV, absorbs 5,. For y < i, V'j £ ^ and V'j is a t-neighbourhood, and therefore f] Wj also absorbs St. Downloaded from https://www.cambridge.org/core. IP address: 170.106.33.14, on 30 Sep 2021 at 07:50:19, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/S001708950000183X INDUCTIVE LIMIT TOPOLOGY FOR LINEAR SPACES 107 n+1 +2 Recall that, for each n, we put U' = U and V,' for U? . If we label such Wt as Wf, then and thus Examples of (£, T) covered by Proposition 2.2 include locally convex ultra-DF spaces and locally bounded spaces. If Hx is the strong dual of a metrizable locally convex space and N2 is a separated locally bounded space that is not locally convex, then the product space C = WjX//2as well as the *-direct sum [5, p. 288] of countably many copies of G satisfies the restrictions on (£, T) (Use [5, Proposition 2.6]). We cannot as yet prove this result for almost convex ultra-DF spaces. 3. Let (£, £) be a separated linear topological space (abbreviated to l.t.s. in future) and B a sequentially complete balanced semiconvex bounded subset of (E, £). We shall denote by £B the complete separated locally bounded topology on the linear span EB of B with the sequence (n~1B: n = 1, 2,...) of sets as a base of neighbourhoods of the origin. Notice that £B is finer than the ^-induced topology on Eg. Throughout this section, (£, T) is the *-inductive limit of separated l.t.s. (£„, ra) by linear maps tx, where each Ex is spanned by a ^-sequentially, complete balanced semiconvex bounded set Sa. Let The a pointwise bounded set of continuous linear maps from (E, T) into an l.t.s. H. If V is a closed balanced neighbourhood of the origin in H, then T~\V) = f] t~\V) is an l ultrabarrel in (£, T). This implies that t~\T~ (V)) is an ultrabarrel in (£„ xa), and, by an application of Lemma 5.1 of [5], each set Tota(Sx) is bounded in H. (Cf [8, 12.4].) PROPOSITION 3.1. Let a separated l.t.s. (F, ^) be the generalized ^-inductive limit of a sequence (Cn) of sequentially complete bounded subsets of(Fn, £„). If T is a pointwise bounded set of linear maps from (E, T) into (F, £,) such that the graph of each member of T is closed in (E, T) x (F, 0, then each set Totx(SJ is bounded in (F, £,)• Proof. We may suppose that Fn is the linear span of Cn. Write r\n for £Cn and T, for TOSIX. If (F, rj) is the *-inductive limit of (Fn, nn), then r\ is finer than £,. It is sufficient to prove the proposition for the situation where (E, T) is separated and spanned by some sequentially complete balanced semiconvex bounded set S. In this case, write T0 for TS. If t is in T, the graph of / is closed in (E, T0) X (F, tj). By Theorem 4.2 of [4] then, the map t: (E, T0) -»• (F, n) is continuous. The result now follows from the remark preceding the statement of the proposition. It is easily verified that the examples given in this paper of spaces with generalized •-inductive limit topologies satisfy the restriction imposed on (E, T) if sequentially complete. Using the non-locally convex analogue of Theorem 2(2) of [2], we deduce from Proposition 3.1 that, if (£, T) is the generalized *-inductive limit of an increasing sequence (Sn) of complete bounded sets, where the topology of Sn coincides with that induced by Sn+i, then the set Tis uniformly bounded on bounded sets.
Load more

Recommended publications
  • Sequential Completeness of Inductive Limits
    Internat. J. Math. & Math. Sci. Vol. 24, No. 6 (2000) 419–421 S0161171200003744 © Hindawi Publishing Corp. SEQUENTIAL COMPLETENESS OF INDUCTIVE LIMITS CLAUDIA GÓMEZ and JAN KUCERAˇ (Received 28 July 1999) Abstract. A regular inductive limit of sequentially complete spaces is sequentially com- plete. For the converse of this theorem we have a weaker result: if indEn is sequentially complete inductive limit, and each constituent space En is closed in indEn, then indEn is α-regular. Keywords and phrases. Regularity, α-regularity, sequential completeness of locally convex inductive limits. 2000 Mathematics Subject Classification. Primary 46A13; Secondary 46A30. 1. Introduction. In [2] Kuˇcera proves that an LF-space is regular if and only if it is sequentially complete. In [1] Bosch and Kuˇcera prove the equivalence of regularity and sequential completeness for bornivorously webbed spaces. It is natural to ask: can this result be extended to arbitrary sequentially complete spaces? We give a partial answer to this question in this paper. 2. Definitions. Throughout the paper {(En,τn)}n∈N is an increasing sequence of Hausdorff locally convex spaces with continuous identity maps id : En → En+1 and E = indEn its inductive limit. A topological vector space E is sequentially complete if every Cauchy sequence {xn}⊂E is convergent to an element x ∈ E. An inductive limit indEn is regular, resp. α-regular, if each of its bounded sets is bounded, resp. contained, in some constituent space En. 3. Main results Theorem 3.1. Let each space (En,τn) be sequentially complete and indEn regular. Then indEn is sequentially complete. Proof. Let {xk} be a Cauchy sequence in indEn.
    [Show full text]
  • View of This, the Following Observation Should Be of Some Interest to Vector Space Pathologists
    Can. J. Math., Vol. XXV, No. 3, 1973, pp. 511-524 INCLUSION THEOREMS FOR Z-SPACES G. BENNETT AND N. J. KALTON 1. Notation and preliminary ideas. A sequence space is a vector subspace of the space co of all real (or complex) sequences. A sequence space E with a locally convex topology r is called a K- space if the inclusion map E —* co is continuous, when co is endowed with the product topology (co = II^Li (R)*). A i£-space E with a Frechet (i.e., complete, metrizable and locally convex) topology is called an FK-space; if the topology is a Banach topology, then E is called a BK-space. The following familiar BK-spaces will be important in the sequel: ni, the space of all bounded sequences; c, the space of all convergent sequences; Co, the space of all null sequences; lp, 1 ^ p < °°, the space of all absolutely ^-summable sequences. We shall also consider the space <j> of all finite sequences and the linear span, Wo, of all sequences of zeros and ones; these provide examples of spaces having no FK-topology. A sequence space is solid (respectively monotone) provided that xy £ E whenever x 6 m (respectively m0) and y £ E. For x £ co, we denote by Pn(x) the sequence (xi, x2, . xn, 0, . .) ; if a i£-space (E, r) has the property that Pn(x) —» x in r for each x G E, then we say that (£, r) is an AK-space. We also write WE = \x Ç £: P„.(x) —>x weakly} and ^ = jx Ç E: Pn{x) —>x in r}.
    [Show full text]
  • Arxiv:2006.03419V2 [Math.GM] 3 Dec 2020 H Eain Ewe Opeeesadteeitneo fixe of [ Existence [7]
    COMPLETENESS IN QUASI-PSEUDOMETRIC SPACES – A SURVEY S. COBZAS¸ Abstract. The aim of this paper is to discuss the relations between various notions of se- quential completeness and the corresponding notions of completeness by nets or by filters in the setting of quasi-metric spaces. We propose a new definition of right K-Cauchy net in a quasi-metric space for which the corresponding completeness is equivalent to the sequential completeness. In this way we complete some results of R. A. Stoltenberg, Proc. London Math. Soc. 17 (1967), 226–240, and V. Gregori and J. Ferrer, Proc. Lond. Math. Soc., III Ser., 49 (1984), 36. A discussion on nets defined over ordered or pre-ordered directed sets is also included. Classification MSC 2020: 54E15 54E25 54E50 46S99 Key words: metric space, quasi-metric space, uniform space, quasi-uniform space, Cauchy sequence, Cauchy net, Cauchy filter, completeness 1. Introduction It is well known that completeness is an essential tool in the study of metric spaces, particularly for fixed points results in such spaces. The study of completeness in quasi-metric spaces is considerably more involved, due to the lack of symmetry of the distance – there are several notions of completeness all agreing with the usual one in the metric case (see [18] or [6]). Again these notions are essential in proving fixed point results in quasi-metric spaces as it is shown by some papers on this topic as, for instance, [4], [10], [16], [21] (see also the book [1]). A survey on the relations between completeness and the existence of fixed points in various circumstances is given in [7].
    [Show full text]
  • 1.2.3 Banach–Steinhaus Theorem Another Fundamental Theorem Of
    16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach{Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach{Steinhaus theorem, or the Uniform Boundedness Principle. It is based on a fundamental topological results known as the Baire Category Theorem. Theorem 1.13. Let X be a complete metric space and let fXngn≥1 be a sequence of closed subsets in X. If Int Xn = ; for any n ≥ 1, then 1 S Int Xn = ;. Equivalently, taking complements, we can state that a count- n=1 able intersection of open dense sets is dense. Remark 1.14. Baire's theorem is often used in the following equivalent form: if X is a complete metric space and fXngn≥1 is a countable family of closed 1 S sets such that Xn = X, then IntXn 6= ; at least for one n. n=1 Chaotic dynamical systems We assume that X is a complete metric space, called the state space. In gen- eral, a dynamical system on X is just a family of states (x(t))t2T parametrized by some parameter t (time). Two main types of dynamical systems occur in applications: those for which the time variable is discrete (like the observation times) and those for which it is continuous. Theories for discrete and continuous dynamical systems are to some extent parallel. In what follows mainly we will be concerned with continuous dynam- ical systems. Also, to fix attention we shall discuss only systems defined for t ≥ 0, that are sometimes called semidynamical systems. Thus by a contin- uous dynamical system we will understand a family of functions (operators) (x(t; ·))t≥0 such that for each t, x(t; ·): X ! X is a continuous function, for each x0 the function t ! x(t; x0) is continuous with x(0; x0) = x0.
    [Show full text]
  • Arxiv:1808.01914V1 [Math.FA] 3 Aug 2018 Eirus Elpsdes Oal Ovxspaces
    STATIONARY DENSE OPERATORS IN SEQUENTIALLY COMPLETE LOCALLY CONVEX SPACES DANIEL VELINOV, MARKO KOSTIC,´ AND STEVAN PILIPOVIC´ Abstract. The purpose of this paper is to investigate the stationary dense operators and their connection to distribution semigroups and abstract Cauchy problem in sequentially complete spaces. 1. Introduction and Preliminaries In [15] and [12] are given definitions of a distribution semigroups with densely and non densely defined generators. Stationary dense operators in a Banach space E and their connections to densely defined distribution semigroups are introduced and analyzed in [11]. Our main aim in this paper is to consider such operators when E is sequentially complete locally convex space. When we are dealing with a semigroup in a locally convex space, in order to have the existence of the resolvent of an infinitesimal generator A, we suppose that the semigroup is equicontinuous. Moreover for A, we are led to study the behavior of A∞ in D∞(A). If A is stationary dense, the information lost in passing from A in E to A∞ in D∞(A), can be retrieved. Let us emphasize that the interest for the stationarity of A comes out from the solvability of the Cauchy problem u′ = Au, n u(0) = u0, for every u ∈ D(A ) for some n. This is noted in Proposition 2.3. In Theorem 2.12 we have a partial answer to the converse question: Whether the solvability for every x ∈ D(An) implies n-stationarity. Also, we extend the results of [2], [11], [18] and give new examples of stationary dense operators on sequentially complete locally convex spaces.
    [Show full text]
  • Full Text in PDF (158K)
    E extracta mathematicae Vol. 32, N´um.1, 1 { 24 (2017) A Note on Some Isomorphic Properties in Projective Tensor Products Ioana Ghenciu Mathematics Department, University of Wisconsin-River Falls, Wisconsin, 54022, USA [email protected] Presented by Jes´usM. F. Castillo Received May 23, 2016 Abstract: A Banach space X is sequentially Right (resp. weak sequentially Right) if every Right subset of X∗ is relatively weakly compact (resp. weakly precompact). A Banach space X has the L-limited (resp. the wL-limited) property if every L-limited subset of X∗ is relatively weakly compact (resp. weakly precompact). We study Banach spaces with the weak sequentially Right and the wL-limited properties. We investigate whether the projective tensor product of two Banach spaces X and Y has the sequentially Right property when X and Y have the respective property. Key words: R-sets, L-limited sets, sequentially Right spaces, L-limited property. AMS Subject Class. (2010): 46B20, 46B25, 46B28. 1. Introduction A bounded subset A of a Banach space X is called a Dunford-Pettis (DP) ∗ ∗ (resp. limited) subset of X if every weakly null (resp. w -null) sequence (xn) in X∗ tends to 0 uniformly on A; i.e., ( ) lim supfjx∗ (x)j : x 2 Ag = 0: n n A sequence (xn) is DP (resp. limited) if the set fxn : n 2 Ng is DP (resp. limited). A subset S of X is said to be weakly precompact provided that every sequence from S has a weakly Cauchy subsequence. Every DP (resp. limited) set is weakly precompact [37, p.
    [Show full text]
  • A Counterexample for One Variant of Mcintosh Closed Graph Theorem
    MATEMATIQKI VESNIK UDC 517.982.2 originalni nauqni rad 45 (1993), 55{56 research pap er A COUNTEREXAMPLE FOR ONE VARIANT OF MCINTOSH CLOSED GRAPH THEOREM Lj. Cukic Abstract. Counterexamples for two closed graph theorems from Kothe's monograph [5] are given. In Kothe's monograph [5] the following two theorems ([5] x35.10.(1) and (2)) are "proved": (1) Let E (t) be a sequential ly complete local ly convex space, t the Mackey 0 0 topology, and let E ( (E ;E)) becomplete. Let F be a semi-re exive webbedspace. Then every sequential ly closed linear mapping A from E in F is continuous. (2) Let E and F be (F)-spaces and A aweakly sequential ly closed linear map- 0 0 ping from E into F . Then A is weakly continuous. The rst of these theorems is a generalization of McIntosh closed graph theo- rem. We shall prove here that both these theorems are incorrect, even if A is a sequentially continuous linear functional. Both theorems are correct if we assume that the linear mapping A has a closed graph ([2]). The notations we use here for weak and strong top ology are as in [6]. Let us remark that in [5] by a sequentailly closed mapping it is assumed a mapping with 0 0 a sequentially closed graph and bya weak continuity of a mapping A : E ! F it 0 0 is assumed its (E ;E)- (F ;F)continuity. Example 1. Let T be a P -space which is not realcomplete (see [3], 9.L. or [1], Example 2.6-1), E = C (T ) space of all b ounded continuous real-valued functions b on T and t the strongest of all lo cally convex top ologies on E which coincide with compact-op en top ology on the set f x 2 E : sup jx(s)j1 g (i.e.
    [Show full text]
  • Ishihara's Contributions to Constructive Analysis
    Ishihara’s Contributions to Constructive Analysis Douglas S. Bridges University of Canterbury, Christchurch, New Zealand dsb, Kanazawa meeting for Ishihara’s 60th 010318 The framework Bishop-style constructive mathematics (BISH): mathematics with intuitionistic logic and some appropriate set- or type-theoretic foundation such as — the CST of Myhill, Aczel, and Rathjen; — the Constructive Morse Set Theory of Bridges & Alps; — Martin-Löf type theory. We also accept dependent choice, If S is a subset of A A,andforeachx A there exists × 2 y A such that (x, y) S, then for each a A there exists 2 2 2 asequence(an) such that a = a and (an,an ) S n>1 1 +1 2 for each n, We also accept dependent choice, If S is a subset of A A,andforeachx A there exists × 2 y A such that (x, y) S, then for each a A there exists 2 2 2 asequence(an) such that a = a and (an,an ) S n>1 1 +1 2 for each n, and hence countable choice, If X is an inhabited set, S is a subset of N+ X,andforeach × positive integer n there exists x X such that (n, x) S, 2 2 then there is a function f : N+ X such that (n, f(n)) S ! 2 for each n N+. 2 The aim To present some of Ishihara’s fundamental contributions to Bishop-style constructive analysis, and their consequences. Part I Ishihara’s Tricks and BD-N Our first results together AlinearmappingT : X Y between normed spaces is well behaved ! if for each x X, 2 y ker T (x = y) Tx =0.
    [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]
  • Topological Vector Spaces, by A
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 82, Number 4, July 1976 BOOK REVIEWS Topological vector spaces, by A. Grothendieck, Gordon and Breach, New York, London, Paris, 1973, x 4- 245 pp., $19.50. (Translated by Orlando Chaljub) This book is a translation of the notes of a course given by Grothendieck in Sao Paulo in 1954 and published in French during the same year (a second edition came out in 1958, a third in 1964). The original lecture notes had several distinctions: they constituted the first expository treatment of locally convex spaces, they contained much material which could not be found anywhere else, and, most importantly, they were written by a man who had become one of the leading mathematicians of the 20th century. Grothendieck was engaged in research on topological vector spaces between 1950 and 1953. During this period he put his stamp on the theory and proved some of its deepest results. In 1954 he wrote his lectures in complete mastery of the whole field as the top expert on the subject: already for this reason alone the notes deserve to appear as a printed book. It begins with a Chapter 0 entitled "Topological introduction" and contain­ ing preliminary material concerning topics which were less well known in 1954 than they are now: initial and final topologies, precompact sets, topologies in function spaces and equicontinuity. The writing is very concise, and since Chapters I-IV, VIII and IX of Bourbaki's "Topologie générale" are stated to be prerequisites anyway, the reader is advised to study the material in Bourbaki's Chapter X, preferably in the "entirely recast" 1961 edition.
    [Show full text]
  • Topological Vector Spaces
    An introduction to some aspects of functional analysis, 3: Topological vector spaces Stephen Semmes Rice University Abstract In these notes, we give an overview of some aspects of topological vector spaces, including the use of nets and filters. Contents 1 Basic notions 3 2 Translations and dilations 4 3 Separation conditions 4 4 Bounded sets 6 5 Norms 7 6 Lp Spaces 8 7 Balanced sets 10 8 The absorbing property 11 9 Seminorms 11 10 An example 13 11 Local convexity 13 12 Metrizability 14 13 Continuous linear functionals 16 14 The Hahn–Banach theorem 17 15 Weak topologies 18 1 16 The weak∗ topology 19 17 Weak∗ compactness 21 18 Uniform boundedness 22 19 Totally bounded sets 23 20 Another example 25 21 Variations 27 22 Continuous functions 28 23 Nets 29 24 Cauchy nets 30 25 Completeness 32 26 Filters 34 27 Cauchy filters 35 28 Compactness 37 29 Ultrafilters 38 30 A technical point 40 31 Dual spaces 42 32 Bounded linear mappings 43 33 Bounded linear functionals 44 34 The dual norm 45 35 The second dual 46 36 Bounded sequences 47 37 Continuous extensions 48 38 Sublinear functions 49 39 Hahn–Banach, revisited 50 40 Convex cones 51 2 References 52 1 Basic notions Let V be a vector space over the real or complex numbers, and suppose that V is also equipped with a topological structure. In order for V to be a topological vector space, we ask that the topological and vector spaces structures on V be compatible with each other, in the sense that the vector space operations be continuous mappings.
    [Show full text]
  • Arxiv:1811.10987V1 [Math.FA]
    FRECHET´ ALGEBRAS IN ABSTRACT HARMONIC ANALYSIS Z. ALIMOHAMMADI AND A. REJALI Abstract. We provide a survey of the similarities and differences between Banach and Fr´echet algebras including some known results and examples. We also collect some important generalizations in abstract harmonic anal- ysis; for example, the generalization of the concepts of vector-valued Lips- chitz algebras, abstract Segal algebras, Arens regularity, amenability, weak amenability, ideal amenability, etc. 0. Introduction The class of Fr´echet algebras which is an important class of locally convex algebras has been widely studied by many authors. For a full understanding of Fr´echet algebras, one may refer to [27, 36]. In the class of Banach algebras, there are many concepts which were generalized to the Fr´echet case. Examples of these concepts are as follows. Biprojective Banach algebras were studied by several authors, notably A. Ya. Helemskii [35] and Yu. V. Selivanov [62]. A number of papers appeared in the literature concerned with extending the notion of biprojectivity and its results to the Fr´echet algebras; see for example [48, 63]. Flat cyclic Fr´echet modules were investigated by A. Yu. Pirkovskii [49]. Let A be a Fr´echet algebra and I be a closed left ideal in A. Pirkovskii showed that there exists a necessary and sufficient condition for a cyclic Fr´echet A-module A♯/I to be strictly flat. He also generalized a number of characterizations of amenable Ba- nach algebras to the Fr´echet algebras (ibid.). In 2008, P. Lawson and C. J. Read [43] introduced and studied the notions of approximate amenability and approxi- mate contractibility of Fr´echet algebras.
    [Show full text]