DOCSLIB.ORG

Topological Modules

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Topological Modules International Journal of Science and Research (IJSR) ISSN: 2319-7064 ResearchGate Impact Factor (2018): 0.28 | SJIF (2018): 7.426 Topological Modules Gayathri .G1, Gayathri .V2 (Masters in Mathematics, Thassim Beevi Abdul Kader College for Women, Kilakarai, Ramanathapuram (dist), India Abstract: In this article we discuss the Topological Modules. If Topological Modules is Hausdorff then its structure is usual one meaning by this that there exists an isomorphism of M onto R. If M is a module then M is algebraically isomorphic to R. Consider modules over the ring R of real or complex numbers which is given the usual Euclidean Topology defined by means of the vector spaces. Keywords: Topological modules, Isomorphism, Euclidean Topology 1. Introduction Abelian group V of “vectors”. Field F of “scalars”. A modules M overℝ is called a topological module if M is f.v is a “scaledvector” provided with a topology τ which is compatible with the Distributive properties: modules structure of M, i.e. τ makes the modules operations 1. f. (푣1+푣2) = f.푣1+f.푣2 both continuous. 2. (푓1 + 푓2). v = 푓1.v+푓2 .v Associative property: More precisely, the condition in the definition of topological (푓1. 푓2). v = 푓1.(푓2.v) modules requires that: 1.v = v M × M → M (a, b) → a + b vector addition 2.4 Definition ℝ × M → M (µ,a) → µa scalar multiplication Let R be a ring. A left R-module or a left module over R is a are both continuous when we endow M with the topology τ, set M together with, ℝ with the Euclidean topology, M × M and ℝ × M with the Abelian group M of “elements”. correspondent product topologies. Ring R of “scalars”. r.m is a “scaledelements”. 2. Preliminaries Distributive properties: 1. r. (푚1 + 푚2) = r.푚1 + 푟. 푚2 2.1 Definition 2. (푟1 + 푟2).m = 푟1. 푚 + 푟2. 푚 Associative property: A nonempty set G together with a binary operation (푟1. 푟2).m = 푟1.(푟2.m) ∗:G×G→G is called a Group if the following conditions are 1.m = m satisfied 1) ∗ is associative 2.5 Definition i.e) a*(b*c)=(a*b) *c for all a, b, c ∈ G 2) There exists an element e ∈G such that A topological vector space X is a vector space over a a*e = e*a =a for all a ∈ G topological field K that is endowed with a topology such that e is called the identity element of G. vector addition X×X→X and scalar multiplication K×X→X ′ 3) For any element a in G there exists an element a ∈ G are continuous functions. such that ′ ′ a*푎 = 푎 *a = e 2.6 Remark ′ 푎 is called the inverse of a. If (x,τ) is a topological vector space then it is clear that 2.2. Definition 푁 (푛) (푛) 푁 푘=1 휆푘 푥푘 → 푘=1 휆푘 푥푘 as n → ∞ with respect to τ if for (푛) A nonempty set R together with two binary operation each k = 1,…..,N as n → ∞ we have that 휆푘 → 휆푘 with (푛) denoted by “+” and “.” are called addition and multiplication respect to the Euclidean topology on ℝ and 푥푘 → 푥푘 with which satisfy the following axioms is called a Ring. respect to τ. 1) (R, +) is an abelian group. 2) “.” is an associative binary operation on R. 2.7 Example 3) a.(b+c) = a.b + a.c & (a+b).c = a.c + b.c for all a, b, c∈R. a) Every vector space X over 핂 endowed with the trivial topology is a topological vector space. 2.3 Definition b) Every normed vector space endowed with the topology given by the metric induced by the norm is a topological Let F be a field and V be a nonempty set. Then V is called a vector space. vector space over F if the following axioms hold: Volume 9 Issue 2, February 2020 www.ijsr.net Licensed Under Creative Commons Attribution CC BY Paper ID: ART20204532 DOI: 10.21275/ART20204532 230 International Journal of Science and Research (IJSR) ISSN: 2319-7064 ResearchGate Impact Factor (2018): 0.28 | SJIF (2018): 7.426 c) There are also examples of spaces whose topologycannot be induced by a norm or a metric but that are topological If a metric d on a modules M is translation invariant, i.e. d vector space, e.g. the space of infinitely differentiable (a+c, b+c) = d (a, b) for all a, b∈ M, then the topology functions, the space of test functions and the spaces of induced by the metric is translation invariant and the distributions (we will see later in details their topology). addition is always continuous. However, the multiplication by scalars does not need to be necessarily continuous (take d 3. Main Result to be the discrete metric, then the topology generated by the metric is the discrete topology which is not compatible with 3.1 Definition the scalar multiplication see proposition 3.3). Two topological modules M and N overℝare (topologically) 3.5. Theorem isomorphic if there exists a modulesisomorphism M → N which is at the same time a homeomorphism (i.e. bijective, A filter ℱ of a modules M over ℝ is the filter of linear, continuous and inverse continuous). neighbourhoods of the origin with respect to some topology compatible with the module structure of M if and only if 3.2 Definition 1) The origin belongs to every set P ∈ ℱ 2) ∀ P ∈ ℱ, ∃ Q ∈ ℱ s.t. Q + Q ⊂ P Let M and N be two topological moduli on ℝ. 3) ∀P ∈ ℱ, ∀ µ ∈ ℝ with µ ≠ 0 we have µ P ∈ ℱ A topological homomorphism from M to N is a linear 4) ∀ P ∈ ℱ, P is absorbing. mapping which is also continuous and open. 5) ∀ P ∈ ℱ, ∃ Q ∈ ℱ s.t. Q ⊂ P is balanced. A topological monomorphism from M to N is an injective topological homomorphism. Proof A topological isomorphism from M to N is a bijective topological homomorphism. Necessity part A topological automorphism of M is a topological isomorphism from m into itself. Suppose that M is a topological module then we aim to show that the filter of neighbourhoods of the origin ℱ satisfies the 3.3. Proposition properties 1, 2, 3,4,5. Let P∈ ℱ. 1) Obvious, since every set P∈ ℱ is a neighbourhood of the Every modules M overℝ endowed with the discrete origin o. topology is not a topological module. Unless M = {0}. 2) Since by the definition of topological modules the addition (a, b) → a+b is a continuous mapping, the Proof: preimage of P under this map must be a neighbourhood Assume by a contradiction that it is a topological moduleand of (o, o) ∈ M×M. Therefore, it must contain a rectangular ′ ′ 1 neighbourhood G×퐺 where G, 퐺 ∈ ℱ. Taking Q = take 0≠ m ∈ M. The sequence 훼 = in ℝ converges to 0 in 푛 푛 G∩ 퐺′ we get the conclusion, i.e. Q + Q ⊂ P. the Euclidean topology. 3) By proposition 3.4, fixed an arbitrary 0 ≠ µ ∈ ℝ, the map a → 휇−1 a of M into itself is continuous. Therefore, the Therefore, since the scalar multiplication is continuous, pre image of any neighbourhood P of the origin must be 훼푛 푥 → 0, i.e. for any neighbourhood U of 0 in M there also such a neighbourhood. This preimage is clearly µP, exists m ∈ ℕ such that 훼푛 푥 ∈U for all n ≥ m. hence µP ∈ ℱ. 4) Suppose by contradiction that P is not absorbing. Then In particular, we can take U = {0} since it is itself open in 1 there exists y ∈ M such that ∀ n∈ ℕ we have that 푦 ∉ P. the discrete topology. Hence, 훼 푥 = 0, which implies that 푛 푚 1 m = 0 and so a contradiction. This contradicts the convergence of 푦 → 0 as n → ∞ 푛 (because P ∈ ℱ must contain infinitely many terms of the 3.4. Proposition 1 sequence ( 푦) ). 푛 n∈ℕ Given a topological modules M we have that: 5) Since by the definition of topological modules the scalar multiplication ℝ ×M→M, (µ, a) → µa is continuous, the 1) For any 푚0 ∈ M, the mapping m → m +푚0 is a homeomorphism of M onto itself. preimage of P under this map must be a neighbourhood 2) For any 0 ≠ µ ∈ ℝ, the mapping m → µm is a topological H×G where H is a neighbourhood of (0, o) ∈ ℝ ×M. automorphism of M. Therefore, it contains a rectangular neighbuorhood H×G where H is a neighbourhood of 0 in the Euclidean Proof: topology on ℝ and G∈ ℱ. on the other hand, there exists Both mappings are continuous by the very definition of ρ>0 such that 퐵 0 = {µ∈ ℝ : |µ| ≤ ρ} ⊆ H. Thus topological modules. Moreover, they are bijections by the 퐵 0 ×G is contained in the preimage of P under the module’s axioms and their inverses m → m -푚0 and m scalar multiplication, i.e. µG ⊂ P for all µ∈ ℝ with |µ| ≤ 1 → m is also continuous. Note that the second map is also ρ. Hence, the set Q = ∪|µ| ≤ ρ µG ⊂ P. Now Q ∈ ℱ since 휇 each µG ∈ ℱ by 3 and v is clearly balanced ( since for linear so it is a topological automorphism. any a ∈ Q there exists µ∈ ℝ with |µ| ≤ ρ s.t. a ∈ 휇G and 3.5 Example therefore for any |α| ≤ 1 we get αa ∈ αµG ⊂ Q because |αµ| ≤ ρ ). Volume 9 Issue 2, February 2020 www.ijsr.net Licensed Under Creative Commons Attribution CC BY Paper ID: ART20204532 DOI: 10.21275/ART20204532 231 International Journal of Science and Research (IJSR) ISSN: 2319-7064 ResearchGate Impact Factor (2018): 0.28 | SJIF (2018): 7.426 Sufficiency part.
Load more

Recommended publications
  • An Abstract Algebraic–Topological Approach to the Notions of a First
    An abstract algebraic{topological approach to the notions of a ¯rst and a second dual space I H. Poppe, R. Bartsch 1 Introduction By IR and C= we denote the reals and the complex numbers respectively and by IK we mean IR or C= . Now let (X; jj ¢ jj) be a normed IK{vector space and X0 := ff : X ! IKj f linear and continuousg the (¯rst) dual space (dual) of X. Hence X0 consists of functions which at the same time are an algebraic homomorphism (a linear map) and a topological homomorphism (a continuous map). By the usual operatornorm, (X0; jj ¢ jj) again becomes a normed space (even a Banach{space) meaning that X and X0 belong to the same class of spaces. Hence at once we can construct the second dual space (bidual) X00 by: X00 := ((X; jj ¢ jj)0; jj ¢ jj)0. Then the canonical map J : X ! X00 is de¯ned via the evaluation map(1) ! : X £ IKX ! IK by J(x) := !(x; ¢) 2 X00 with 8x 2 X : !(x; ¢): X0 ! IK; 8x0 2 X0 : !(x; ¢)(x0) = !(x; x0) = x0(x). 1.1 Proposition X !(x; ¢):(IK ;¿p) ! IK is continuous for all x 2 X. X X ¿p Proof: For any net (fi)i2I from IK , f 2 IK , fi ¡! f implies especially fi(x) ! f(x) and thus !(x; fi) = fi(x) ! f(x) = !(x; f). 1.2 Remark So the map J is well{de¯ned since we have 8x 2 X : !(x; ¢) 2 X00, i.e. !(x; ¢): 0 (X ; jj ¢ jj) ! IK is linear and continuous (w.r.t.
    [Show full text]
  • On Hereditary Reflexivity of Topological Vector Spaces
    GLASNIK MATEMATICKIˇ Vol. 43(63)(2008), 397 – 422 ON HEREDITARY REFLEXIVITY OF TOPOLOGICAL VECTOR SPACES. THE DE RHAM COCHAIN AND CHAIN SPACES Ju. T. Lisica Peoples’ Friendship University of Russia, Russia Dedicated to Professor Sibe Mardeˇsi´c Abstract. For proving reflexivity of the spaces of de Rham coho- mology and homology of C∞-manifolds the author considers the notion of hereditary reflexivity as well as the notion of dual hereditary reflexivity of locally convex topological vector spaces which is interesting in itself. Com- plete barrelled nuclear spaces with complete nuclear duals turn out to be hereditarily reflexive. The Pontryagin duality in locally convex topological spaces is also considered. 1. Introduction p p c Let Ω (M), Ωc (M), Ωp(M), Ωp(M), p ≥ 0, be the de Rham cochain com- plex of C∞-differential forms, the de Rham cochain complex of C∞-differential forms with compact supports and the de Rham chain complex of C∞-differen- tial forms with coefficients in Schwartz distributions with compact sup- ports (currents with compact supports), the de Rham chain complex of C∞-differential forms with coefficients in Schwartz distributions (currents) of a C∞-manifold M, respectively. The locally convex topology on Ωp(M) is the topology of compact con- p vergence for all derivatives, on Ωc (M) it is the topology of the strict inductive 2000 Mathematics Subject Classification. 46A03, 46A04, 55N07, 55P55. Key words and phrases. De Rham cohomology, currents, nuclear spaces, hereditary reflexivity, dual hereditary reflexivity, Pontryagin duality. This research was supported by a grant of Russia’s Fund of Fundamental Researches (Grant # 06-01-00341).
    [Show full text]
  • A General Form of Gelfand-Kazhdan Criterion
    A GENERAL FORM OF GELFAND-KAZHDAN CRITERION BINYONG SUN AND CHEN-BO ZHU Abstract. We formalize the notion of matrix coefficients for distributional vectors in a representation of a real reductive group, which consist of generalized functions on the group. As an application, we state and prove a Gelfand-Kazhdan criterion for a real reductive group in very general settings. 1. Tempered generalized functions and Casselman-Wallach representations In this section, we review some basic terminologies in representation theory, which are necessary for this article. The two main ones are tempered generalized functions and Casselman-Wallach representations. We refer the readers to [W1, W2] as general references. Let G be a real reductive Lie group, by which we mean that (a) the Lie algebra g of G is reductive; (b) G has finitely many connected components; and (c) the connected Lie subgroup of G with Lie algebra [g, g] has a finite center. We say that a (complex valued) function f on G is of moderate growth if there is a continuous group homomorphism ρ : G → GLn(C), for some n ≥ 1, such that t t |f(x)| ≤ tr(ρ(x) ρ(x)) + tr(ρ(x−1) ρ(x−1)), x ∈ G. Here “¯” stands for the complex conjugation, and “ t” the transpose, of a matrix. ∞ arXiv:0903.1409v6 [math.RT] 25 Jan 2011 A smooth function f ∈ C (G) is said to be tempered if Xf has moderate growth for all X in the universal enveloping algebra U(gC). Here and as usual, gC is the complexification of g, and U(gC) is identified with the space of all left invariant differential operators on G.
    [Show full text]
  • Nonlinear Spectral Theory Henning Wunderlich
    Nonlinear Spectral Theory Henning Wunderlich Dr. Henning Wunderlich, Frankfurt, Germany E-mail address: [email protected] 1991 Mathematics Subject Classification. 46-XX,47-XX I would like to sincerely thank Prof. Dr. Delio Mugnolo for his valuable advice and support during the preparation of this thesis. Contents Introduction 5 Chapter 1. Spaces 7 1. Topological Spaces 7 2. Uniform Spaces 11 3. Metric Spaces 14 4. Vector Spaces 15 5. Topological Vector Spaces 18 6. Locally-Convex Spaces 21 7. Bornological Spaces 23 8. Barreled Spaces 23 9. Metric Vector Spaces 29 10. Normed Vector Spaces 30 11. Inner-Product Vector Spaces 31 12. Examples 31 Chapter 2. Fixed Points 39 1. Schauder-Tychonoff 39 2. Monotonic Operators 43 3. Dugundji and Quasi-Extensions 51 4. Measures of Noncompactness 53 5. Michael Selection 58 Chapter 3. Existing Spectra 59 1. Linear Spectrum and Properties 59 2. Spectra Under Consideration 63 3. Restriction to Linear Operators 76 4. Nonemptyness 77 5. Closedness 78 6. Boundedness 82 7. Upper Semicontinuity 84 Chapter 4. Applications 87 1. Nemyckii Operator 87 2. p-Laplace Operator 88 3. Navier-Stokes Equations 92 Bibliography 97 Index 101 3 Introduction The term Spectral Theory was coined by David Hilbert in his studies of qua- dratic forms in infinitely-many variables. This theory evolved into a beautiful blend of Linear Algebra and Analysis, with striking applications in different fields of sci- ence. For example, the formulation of the calculus of Quantum Mechanics (e.g., POVM) would not have been possible without such a (Linear) Spectral Theory at hand.
    [Show full text]
  • Topological Vector Spaces
    Chapter 2 Topological Vector Spaces 2.1 Definition and properties of a topological vector space In this section we are going to consider vector spaces over the field K of real or complex numbers which is given the usual euclidean topology defined by means of the modulus. Definition 2.1.1. A vector space X over K is called a topological vector space (t.v.s.) if X is provided with a topology ⌧ which is compatible with the vector space structure of X, i.e. ⌧ makes the vector space operations both continuous. More precisely, the condition in the definition of t.v.s. requires that: X X X ⇥ ! (x, y) x + y vector addition 7! K X X ⇥ ! (λ, x) λx scalar multiplication 7! are both continuous when we endow X with the topology ⌧, K with the eu- clidean topology, X X and K X with the correspondent product topologies. ⇥ ⇥ Remark 2.1.2. If (X,⌧) is a t.v.s then it is clear from Definition 2.1.1 that N (n) (n) N k=1 λk xk k=1 λkxk as n w.r.t. ⌧ if for each k =1,...,N ! (n) !1 as n we have that λ λk w.r.t. the euclidean topology on K and P !1 P k ! x(n) x w.r.t. ⌧. k ! k Let us discuss now some examples and counterexamples of t.v.s. Examples 2.1.3. a) Every vector space X over K endowed with the trivial topology is a t.v.s.. 15 2. Topological Vector Spaces b) Every normed vector space endowed with the topology given by the metric induced by the norm is a t.v.s.
    [Show full text]
  • Subspaces and Quotients of Topological and Ordered Vector Spaces
    Zoran Kadelburg Stojan Radenovi´c SUBSPACES AND QUOTIENTS OF TOPOLOGICAL AND ORDERED VECTOR SPACES Novi Sad, 1997. CONTENTS INTRODUCTION::::::::::::::::::::::::::::::::::::::::::::::::::::: 1 I: TOPOLOGICAL VECTOR SPACES::::::::::::::::::::::::::::::: 3 1.1. Some properties of subsets of vector spaces ::::::::::::::::::::::: 3 1.2. Topological vector spaces::::::::::::::::::::::::::::::::::::::::: 6 1.3. Locally convex spaces :::::::::::::::::::::::::::::::::::::::::::: 12 1.4. Inductive and projective topologies ::::::::::::::::::::::::::::::: 15 1.5. Topologies of uniform convergence. The Banach-Steinhaus theorem 21 1.6. Duality theory ::::::::::::::::::::::::::::::::::::::::::::::::::: 28 II: SUBSPACES AND QUOTIENTS OF TOPOLOGICAL VECTOR SPACES ::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 39 2.1. Subspaces of lcs’s belonging to the basic classes ::::::::::::::::::: 39 2.2. Subspaces of lcs’s from some other classes :::::::::::::::::::::::: 47 2.3. Subspaces of topological vector spaces :::::::::::::::::::::::::::: 56 2.4. Three-space-problem for topological vector spaces::::::::::::::::: 60 2.5. Three-space-problem in Fr´echet spaces:::::::::::::::::::::::::::: 65 III: ORDERED TOPOLOGICAL VECTOR SPACES :::::::::::::::: 72 3.1. Basics of the theory of Riesz spaces::::::::::::::::::::::::::::::: 72 3.2. Topological vector Riesz spaces ::::::::::::::::::::::::::::::::::: 79 3.3. The basic classes of locally convex Riesz spaces ::::::::::::::::::: 82 3.4. l-ideals of topological vector Riesz spaces :::::::::::::::::::::::::
    [Show full text]
  • SCUOLA NORMALE SUPERIORE DI PISA Classe Di Scienze
    ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze ALDO ANDREOTTI ARNOLD KAS Duality on complex spaces Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 3e série, tome 27, no 2 (1973), p. 187-263 <http://www.numdam.org/item?id=ASNSP_1973_3_27_2_187_0> © Scuola Normale Superiore, Pisa, 1973, tous droits réservés. L’accès aux archives de la revue « Annali della Scuola Normale Superiore di Pisa, Classe di Scienze » (http://www.sns.it/it/edizioni/riviste/annaliscienze/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ DUALITY ON COMPLEX SPACES by ALDO ANDREOTTI and ARNOLD KAS This paper has grown out of a seminar held at Stanford by us on the subject of Serre duality [20]. It should still be regarded as a seminar rather than as an original piece of research. The method of presentation is as elementary as possible with the intention of making the results available and understandable to the non-specialist. Perhaps the main feature is the introduction of Oech homology; the duality theorem is essentially divided into two steps, first duality between cohomology and homology and then an algebraic part expressing the homology groups in terms of well-known functors. We have wished to keep these steps separated as it is only in the first part that the theory of topological vector spaces is of importance.
    [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]
  • Topological Vector Spaces
    Topological Vector Spaces Maria Infusino University of Konstanz Winter Semester 2015/2016 Contents 1 Preliminaries3 1.1 Topological spaces ......................... 3 1.1.1 The notion of topological space.............. 3 1.1.2 Comparison of topologies ................. 6 1.1.3 Reminder of some simple topological concepts...... 8 1.1.4 Mappings between topological spaces........... 11 1.1.5 Hausdorff spaces...................... 13 1.2 Linear mappings between vector spaces ............. 14 2 Topological Vector Spaces 17 2.1 Definition and main properties of a topological vector space . 17 2.2 Hausdorff topological vector spaces................ 24 2.3 Quotient topological vector spaces ................ 25 2.4 Continuous linear mappings between t.v.s............. 29 2.5 Completeness for t.v.s........................ 31 1 3 Finite dimensional topological vector spaces 43 3.1 Finite dimensional Hausdorff t.v.s................. 43 3.2 Connection between local compactness and finite dimensionality 46 4 Locally convex topological vector spaces 49 4.1 Definition by neighbourhoods................... 49 4.2 Connection to seminorms ..................... 54 4.3 Hausdorff locally convex t.v.s................... 64 4.4 The finest locally convex topology ................ 67 4.5 Direct limit topology on a countable dimensional t.v.s. 69 4.6 Continuity of linear mappings on locally convex spaces . 71 5 The Hahn-Banach Theorem and its applications 73 5.1 The Hahn-Banach Theorem.................... 73 5.2 Applications of Hahn-Banach theorem.............. 77 5.2.1 Separation of convex subsets of a real t.v.s. 78 5.2.2 Multivariate real moment problem............ 80 Chapter 1 Preliminaries 1.1 Topological spaces 1.1.1 The notion of topological space The topology on a set X is usually defined by specifying its open subsets of X.
    [Show full text]
  • Topological Vector Spaces II
    Topological Vector Spaces II Maria Infusino University of Konstanz Winter Semester 2019-2020 Contents 1 Special classes of topological vector spaces1 1.1 Metrizable topological vector spaces ............... 1 1.2 Fr´echet spaces............................ 9 1.3 Inductive topologies and LF-spaces................ 14 1.4 Projective topologies and examples of projective limits . 23 1.5 Open mapping theorem ...................... 25 2 Bounded subsets of topological vector spaces 33 2.1 Preliminaries on compactness................... 33 2.2 Bounded subsets: definition and general properties . 36 2.3 Bounded subsets of special classes of t.v.s............. 39 3 Topologies on the dual space of a t.v.s. 45 3.1 The polar of a subset of a t.v.s................... 45 3.2 Polar topologies on the topological dual of a t.v.s. 46 3.3 The polar of a neighbourhood in a locally convex t.v.s. 53 i 4 Tensor products of t.v.s. 57 4.1 Tensor product of vector spaces.................. 57 4.2 Topologies on the tensor product of locally convex t.v.s. 62 4.2.1 π−topology......................... 62 4.2.2 "−topology......................... 68 Bibliography 73 Contents The primary source for these notes is [5]. However, especially in the pre- sentation of Section 1.3, 1.4 and 3.3, we also followed [4] and [3] are. The references to results from TVS-I (WS 2018/19) appear in the following ac- cording to the enumeration used in [2]. iii Chapter 1 Special classes of topological vector spaces In these notes we consider vector spaces over the field K of real or complex numbers given the usual euclidean topology defined by means of the modulus.
    [Show full text]
  • If M and N Are Linear Subspaces of a Linear Space E Over the Real Or Complex Number Field, Then the Algebraic Sum M+ N of M
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector MATHEMATICS Proceedings A 88 (2), June 17, 1985 A note on the sum of two closed linear subspaces by W.A.J. Luxemburg” Dept. of Mathematics, 253-37 Pasadena, Cal. 91125, U.S.A. Dedicated to Professor Dr. Ph. Dwinger on the occasion of his seventieth birthday Communicated at the meeting of November 26, 1984 ABSTRACT Some results are presented giving conditions under which the algebraic sum of two closed linear subspaces is closed. It is shown that these results imply a theorem of Davies and Lotz that in Frechet lattices, and in particular in Banach lattices the algebraic sum of two closed lattice ideals is a closed lattice ideal. 1. INTRODUCTION If M and N are linear subspaces of a linear space E over the real or complex number field, then the algebraic sum M+ N of M and N is the linear subspace of E generated by the union of M and N, i.e., an element of M+N can be written as the sum of an element of Mand an element of N. This decomposition need not be unique. If A4 and N have only the zero element in common, then the decomposition is unique and A4 and N are called linearly independent. In this case the algebraic sum is a direct sum. In the infinite dimensional case the algebraic sum of two closed linear sub- spaces of a normed linear space or even of a Hiibert space need not be closed.
    [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]