DOCSLIB.ORG

Topological Vector Spaces III: Finite Dimensional Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Topological Vector Spaces III: Finite Dimensional Spaces TVS III c Gabriel Nagy Topological Vector Spaces III: Finite Dimensional Spaces Notes from the Functional Analysis Course (Fall 07 - Spring 08) Convention. Throughout this note K will be one of the fields R or C, equipped with the standard topology. All vector spaces mentioned here are over K. In this section we take a closer look at finite dimensional topological vector spaces, and we will learn that they are uninteresting from the topological point of view. The main tool in our investigation will be the study of linear continuous maps, either defined on, or taking values in finite dimensional spaces. Lemma 1. If T is a linear topology on some vector space X , then for any vector x ∈ X , the map φx : K 3 α 7−→ αx ∈ X is continuous with respect to T. Proof. Consider the map ωx : K 3 α 7−→ (α, x) ∈ K × X . When we equip K × X with the product topology, ωx is clearly continuous. The continuity of φx is then clear, since we can write it as a composition of continuous maps ωx multiplication φx : K −→ K × X −−−−−−−→X . Proposition 1. Let T be a linear topology on some vector space X and let n be a positive integer. If we equip the product space Kn with the product topology, then all linear maps T : Kn → X are continuous with respect to T. n Proof. Let {e1, . , en} be the standard basis in K , so that n (α1, . , αn) = α1e1 + ··· + αnen, ∀ (α1, . , αn) ∈ K . n Fix some linear map T : K → X , and let xk = T ek, k = 1, . , n. Using the notations from Lemma 1, we clearly have n T (α1, . , αn) = φx1 (α1) + ··· + φxn (αn), ∀ (α1, . , αn) ∈ K , which means that T can be written as a composition φx1 ×···×φxn addition T : K × · · · × K −−−−−−−→X × · · · × X −−−−→X . | {z } | {z } n factors n factors The addition map is continuous. By Lemma 1, the map φx1 × · · · × φxn is continuous, so T is also continuous. 1 Lemma 2. Suppose X is a vector space, equipped with a linear topology T. For a linear map φ : X → K, the following are equivalent: (i) φ is continuous; (i’) φ is continuous at 0; (ii) the linear subspace Ker φ = {x ∈ X : φ(x) = 0} is closed in X ; Proof. The implications (i0) ⇒ (i) ⇒ (ii) are pretty clear1. (ii) ⇒ (i0). Without any loss of generality, we can assume that φ is not identically 0, so there exists some e ∈ X with φ(e) = 1. Denote for simplicity Ker φ by Y. Since φx − φ(x)e = φ(x) − φ(x)φ(e) = 0, ∀ x ∈ X , we see that X = Y +Ke (direct sum). Suppose now we have a net (xλ)λ∈Λin X , with xλ → 0, and let us prove that φ(xλ) → 0. If we write each xλ as xλ = yλ + αλe, with yλ ∈ Y and αλ ∈ K, then all we have to show is that αλ → 0. Assume the contrary, which means that there exists some ε > 0, such that the set Σ = {σ ∈ Λ: |αλ| ≥ ε} is cofinal in Λ, i.e. (∗) for every λ ∈ Λ, there exists σ ∈ Σ with σ λ. In particular, restricting to Σ we get two subnets (yσ)σ∈Σ in Y and (ασ)σ∈Σ in K, such that (a) (yσ + ασe) → 0 (in X ); (b) |ασ| ≥ ε, ∀ σ ∈ Σ. Consider then the net γσ = ε/ασ. By (b) we have |γσ| ≤ 1, ∀ σ ∈ Σ, so using Exercise ?? from TVS I we still have γσ(yσ + ασe) → 0. This simply reads: (γσyσ + εe) → 0, or equivalently (γσyσ) → −e. Since Y is closed, this would force −e to belong to Y, which is impossible, since φ(−e) = −1. Proposition 2. The only Hausdorff linear topology on K is the natural topology TK. Proof. Let T be an arbitrary Hausdorff linear topology on K, so that we need to prove that both identity maps Id : (K, TK) → (K, T), (1) Id : (K, T) → (K, TK) (2) are continuous. The continuity of the map (1) follows immediately from Lemma 1. (In the notation used there, Id = φ1.) Since Id is linear and Ker Id = {0}, which is closed in (K, T), by Lemma 2 it follows that the map (2) is continuous. 1 See Exercise 10 from TVS I. 2 Exercise 1. Show that the only other linear (non-Hausdorff) topology on K is the trivial topology T = {∅, K}. Theorem 1. A. On every finite dimensional vector space X there is a unique topological vector space structure. In other words, any two Hausdorff linear topologies on X coincide. B. If Y is a topological vector space, then any finite dimensional linear subspace X ⊂ Y is closed. Proof. To prove statement A it suffices to prove a special case: X = Kn. (Indeed, if n = dim X , and we fix some linear isomorphism φ : X → Kn, then any Hausdorff linear topology S on X is of the form φ∗T, where T is a Hausdorff linear topology on Kn, namely T = {φ(S): S ∈ S}.) Both statements A and B will be proved simultaneously, by showing that for any positive integer n, the following statements hold: n (an) The product topology Tprod is the only Hausdorff linear topology on K . (bn) Given a topological vector space X , all n-dimensional linear subspaces in X are closed. We prove (an) and (bn) by simultaneous induction on n. To begin, first notice that statement (a1) is already contained in Proposition 2. To prove (b1), fix some topological vector space (X , T) and a non-zero vector x ∈ X , and let us prove that Kx is closed in X . Suppose we have a net (αλ)λ∈Λ in K, and some vector y ∈ X , such that αλx → y. Consider the double net (αλ − αµ)(λ,µ)∈Λ×Λ, which has the property that (αλ − αµ)x → 0, relative to T. (3) If we consider the map φx : K 3 α 7−→ αx ∈ X , ∗ and the resulting pull-back topology S = φxT, then (3) simply states that (αλ − αµ) → 0, in (K, S). (4) But by (a1) the topology S (which is Hausdorff) coincides with the natural topology TK on K, and then condition (4) simply states that the net (αλ)λ∈Λ is Cauchy in K. Therefore αλ → α, for some α ∈ K, and then by Lemma 1 it follows that αλx → αx. Since T is Hausdorff, this forces y = αx ∈ Kx, and we are done. We now proceed with the inductive step. Assume statements (an) and (bn) are true, and let us prove statements (an+1) and (bn+1). n+1 To prove statement (an+1), let T be some Hausdorff linear topology on K , and let us show the continuity of the identity maps n+1 n+1 Id : (K , Tprod) → (K , T), (5) n+1 n+1 Id : (K , T) → (K , Tprod). (6) 3 The continuity of (5) is immediate from Proposition 1. To prove the continuity of (6) we notice that, by the definition of the product topology (see TVS II), all we need to do is prove the continuity of the coordinate maps n+1 πi :(K , T) 3 (α1, . , αn+1) 7−→ αi ∈ K, i = 1, 2, . , n + 1. But this follows immediately from Lemma 2 and the inductive hypothesis (bn), since Ker πi are all n-dimensional, hence closed in (Kn+1, T). To prove property (bn+1) start with some topological vector space X , an (n + 1)- dimensional linear subspace Y ⊂ X , and let us show that Y is closed. Fix some non-zero vector y ∈ Y and consider the quotient space X /(Ky), together with the quotient map π : X → X /(Ky). We know (see TVS II; by (b1) the space Ky is closed in X ) that X /(Ky) comes naturally equipped with a topological vector space structure, which makes π contin- uous. Since 0 6= y ∈ Y, it follows that π(Y) is an n-dimensional linear subspace in X /(Ky), so by the inductive hypothesis (bn) it follows that π(Y) is closed. But now by the continuity of π, the pre-image π−1π(Y) = Y is closed in X . Exercises 2-4. 2. Suppose X is a topological vector space, and let Y, Z ⊂ X be two linear subspaces. Show that, if Y is closed and Z is finite dimensional, then Y + Z is closed. 3. Suppose X and Y are topological vector spaces and T : X → Y is a linear map with finite dimensional range. Prove that the following are equivalent: (i) T is continuous; (ii) Ker T is closed. 4*. Suppose X is equipped with a linear topology, n is a positive integer, and φ : X → Kn is a surjective linear continuous map. Show that φ is open, i.e. n A open in X ⇒ φ(A) open in K . (Hint2 Endow Kn with the quotient topology.) Comment. In connection with Exercise 2, it is possible to construct (infinite dimen- sional) topological vector spaces X , together with (infinite dimensional) closed subspaces Y, Z ⊂ X , so that the subspace Y + Z is not closed. Such constructions will be clarified when we will study Banach spaces. We conclude this section with an interesting characterization of finite dimensionality. Theorem 2. for a topological vector space K, the following are equivalent: (i) X is finite dimensional; (ii) X is locally compact. 2 Exercises marked with an asterisk are non-trivial, but important. 4 Proof. By Theorem 1, the implication (i) ⇒ (ii) is trivial, since the product topology on Kn is locally compact. (ii) ⇒ (i). Fix V a compact neighborhood of 0 in X .
Load more

Recommended publications
  • 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]
  • Topological Vector Spaces and Algebras
    Joseph Muscat 2015 1 Topological Vector Spaces and Algebras [email protected] 1 June 2016 1 Topological Vector Spaces over R or C Recall that a topological vector space is a vector space with a T0 topology such that addition and the field action are continuous. When the field is F := R or C, the field action is called scalar multiplication. Examples: A N • R , such as sequences R , with pointwise convergence. p • Sequence spaces ℓ (real or complex) with topology generated by Br = (a ): p a p < r , where p> 0. { n n | n| } p p p p • LebesgueP spaces L (A) with Br = f : A F, measurable, f < r (p> 0). { → | | } R p • Products and quotients by closed subspaces are again topological vector spaces. If π : Y X are linear maps, then the vector space Y with the ini- i → i tial topology is a topological vector space, which is T0 when the πi are collectively 1-1. The set of (continuous linear) morphisms is denoted by B(X, Y ). The mor- phisms B(X, F) are called ‘functionals’. +, , Finitely- Locally Bounded First ∗ → Generated Separable countable Top. Vec. Spaces ///// Lp 0 <p< 1 ℓp[0, 1] (ℓp)N (ℓp)R p ∞ N n R 2 Locally Convex ///// L p > 1 L R , C(R ) R pointwise, ℓweak Inner Product ///// L2 ℓ2[0, 1] ///// ///// Locally Compact Rn ///// ///// ///// ///// 1. A set is balanced when λ 6 1 λA A. | | ⇒ ⊆ (a) The image and pre-image of balanced sets are balanced. ◦ (b) The closure and interior are again balanced (if A 0; since λA = (λA)◦ A◦); as are the union, intersection, sum,∈ scaling, T and prod- uct A ⊆B of balanced sets.
    [Show full text]
  • Bornologically Isomorphic Representations of Tensor Distributions
    Bornologically isomorphic representations of distributions on manifolds E. Nigsch Thursday 15th November, 2018 Abstract Distributional tensor fields can be regarded as multilinear mappings with distributional values or as (classical) tensor fields with distribu- tional coefficients. We show that the corresponding isomorphisms hold also in the bornological setting. 1 Introduction ′ ′ ′r s ′ Let D (M) := Γc(M, Vol(M)) and Ds (M) := Γc(M, Tr(M) ⊗ Vol(M)) be the strong duals of the space of compactly supported sections of the volume s bundle Vol(M) and of its tensor product with the tensor bundle Tr(M) over a manifold; these are the spaces of scalar and tensor distributions on M as defined in [?, ?]. A property of the space of tensor distributions which is fundamental in distributional geometry is given by the C∞(M)-module isomorphisms ′r ∼ s ′ ∼ r ′ Ds (M) = LC∞(M)(Tr (M), D (M)) = Ts (M) ⊗C∞(M) D (M) (1) (cf. [?, Theorem 3.1.12 and Corollary 3.1.15]) where C∞(M) is the space of smooth functions on M. In[?] a space of Colombeau-type nonlinear generalized tensor fields was constructed. This involved handling smooth functions (in the sense of convenient calculus as developed in [?]) in par- arXiv:1105.1642v1 [math.FA] 9 May 2011 ∞ r ′ ticular on the C (M)-module tensor products Ts (M) ⊗C∞(M) D (M) and Γ(E) ⊗C∞(M) Γ(F ), where Γ(E) denotes the space of smooth sections of a vector bundle E over M. In[?], however, only minor attention was paid to questions of topology on these tensor products.
    [Show full text]
  • 1 Lecture 09
    Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) September 29, 2015 1 Lecture 09 1.1 Equicontinuity First let's recall the conception of \equicontinuity" for family of functions that we learned in classical analysis: A family of continuous functions defined on a region Ω, Λ = ffαg ⊂ C(Ω); is called an equicontinuous family if 8 > 0; 9δ > 0 such that for any x1; x2 2 Ω with jx1 − x2j < δ; and for any fα 2 Λ, we have jfα(x1) − fα(x2)j < . This conception of equicontinuity can be easily generalized to maps between topological vector spaces. For simplicity we only consider linear maps between topological vector space , in which case the continuity (and in fact the uniform continuity) at an arbitrary point is reduced to the continuity at 0. Definition 1.1. Let X; Y be topological vector spaces, and Λ be a family of continuous linear operators. We say Λ is an equicontinuous family if for any neighborhood V of 0 in Y , there is a neighborhood U of 0 in X, such that L(U) ⊂ V for all L 2 Λ. Remark 1.2. Equivalently, this means if x1; x2 2 X and x1 − x2 2 U, then L(x1) − L(x2) 2 V for all L 2 Λ. Remark 1.3. If Λ = fLg contains only one continuous linear operator, then it is always equicontinuous. 1 If Λ is an equicontinuous family, then each L 2 Λ is continuous and thus bounded. In fact, this boundedness is uniform: Proposition 1.4. Let X,Y be topological vector spaces, and Λ be an equicontinuous family of linear operators from X to Y .
    [Show full text]
  • S-Barrelled Topological Vector Spaces*
    Canad. Math. Bull. Vol. 21 (2), 1978 S-BARRELLED TOPOLOGICAL VECTOR SPACES* BY RAY F. SNIPES N. Bourbaki [1] was the first to introduce the class of locally convex topological vector spaces called "espaces tonnelés" or "barrelled spaces." These spaces have some of the important properties of Banach spaces and Fréchet spaces. Indeed, a generalized Banach-Steinhaus theorem is valid for them, although barrelled spaces are not necessarily metrizable. Extensive accounts of the properties of barrelled locally convex topological vector spaces are found in [5] and [8]. In the last few years, many new classes of locally convex spaces having various types of barrelledness properties have been defined (see [6] and [7]). In this paper, using simple notions of sequential convergence, we introduce several new classes of topological vector spaces which are similar to Bourbaki's barrelled spaces. The most important of these we call S-barrelled topological vector spaces. A topological vector space (X, 2P) is S-barrelled if every sequen­ tially closed, convex, balanced, and absorbing subset of X is a sequential neighborhood of the zero vector 0 in X Examples are given of spaces which are S-barrelled but not barrelled. Then some of the properties of S-barrelled spaces are given—including permanence properties, and a form of the Banach- Steinhaus theorem valid for them. S-barrelled spaces are useful in the study of sequentially continuous linear transformations and sequentially continuous bilinear functions. For the most part, we use the notations and definitions of [5]. Proofs which closely follow the standard patterns are omitted. 1. Definitions and Examples.
    [Show full text]
  • Extension of Compact Operators from DF-Spaces to C(K) Spaces
    Applied General Topology c Universidad Polit´ecnica de Valencia @ Volume 7, No. 2, 2006 pp. 165-170 Extension of Compact Operators from DF-spaces to C(K) spaces Fernando Garibay Bonales and Rigoberto Vera Mendoza Abstract. It is proved that every compact operator from a DF- space, closed subspace of another DF-space, into the space C(K) of continuous functions on a compact Hausdorff space K can be extended to a compact operator of the total DF-space. 2000 AMS Classification: Primary 46A04, 46A20; Secondary 46B25. Keywords: Topological vector spaces, DF-spaces and C(K) the spaces. 1. Introduction Let E and X be topological vector spaces with E a closed subspace of X. We are interested in finding out when a continuous operator T : E → C(K) has an extension T˜ : X → C(K), where C(K) is the space of continuous real functions on a compact Hausdorff space K and C(K) has the norm of the supremum. When this is the case we will say that (E,X) has the extension property. Several advances have been made in this direction, a basic resume and bibliography for this problem can be found in [5]. In this work we will focus in the case when the operator T is a compact operator. In [4], p.23 , it is proved that (E,X) has the extension property when E and X are Banach spaces and T : E → C(K) is a compact operator. In this paper we extend this result to the case when E and X are DF-spaces (to be defined below), for this, we use basic tools from topological vector spaces.
    [Show full text]
  • Arxiv:Math/0405137V1 [Math.RT] 7 May 2004 Oino Disbecniuu Ersnain Fsc Group)
    Draft: May 4, 2004 LOCALLY ANALYTIC VECTORS IN REPRESENTATIONS OF LOCALLY p-ADIC ANALYTIC GROUPS Matthew Emerton Northwestern University Contents 0. Terminology, notation and conventions 7 1. Non-archimedean functional analysis 10 2. Non-archimedean function theory 27 3. Continuous, analytic, and locally analytic vectors 43 4. Smooth, locally finite, and locally algebraic vectors 71 5. Rings of distributions 81 6. Admissible locally analytic representations 100 7. Representationsofcertainproductgroups 124 References 135 Recent years have seen the emergence of a new branch of representation theory: the theory of representations of locally p-adic analytic groups on locally convex p-adic topological vector spaces (or “locally analytic representation theory”, for short). Examples of such representations are provided by finite dimensional alge- braic representations of p-adic reductive groups, and also by smooth representations of such groups (on p-adic vector spaces). One might call these the “classical” ex- amples of such representations. One of the main interests of the theory (from the point of view of number theory) is that it provides a setting in which one can study p-adic completions of the classical representations [6], or construct “p-adic interpolations” of them (for example, by defining locally analytic analogues of the principal series, as in [20], or by constructing representations via the cohomology of arithmetic quotients of symmetric spaces, as in [9]). Locally analytic representation theory also plays an important role in the analysis of p-adic symmetric spaces; indeed, this analysis provided the original motivation for its development. The first “non-classical” examples in the theory were found by Morita, in his analysis of the p-adic upper half-plane (the p-adic symmetric arXiv:math/0405137v1 [math.RT] 7 May 2004 space attached to GL2(Qp)) [15], and further examples were found by Schneider and Teitelbaum in their analytic investigations of the p-adic symmetric spaces of GLn(Qp) (for arbitrary n) [19].
    [Show full text]
  • Sufficient Generalities About Topological Vector Spaces
    (November 28, 2016) Topological vector spaces Paul Garrett [email protected] http:=/www.math.umn.edu/egarrett/ [This document is http://www.math.umn.edu/~garrett/m/fun/notes 2016-17/tvss.pdf] 1. Banach spaces Ck[a; b] 2. Non-Banach limit C1[a; b] of Banach spaces Ck[a; b] 3. Sufficient notion of topological vector space 4. Unique vectorspace topology on Cn 5. Non-Fr´echet colimit C1 of Cn, quasi-completeness 6. Seminorms and locally convex topologies 7. Quasi-completeness theorem 1. Banach spaces Ck[a; b] We give the vector space Ck[a; b] of k-times continuously differentiable functions on an interval [a; b] a metric which makes it complete. Mere pointwise limits of continuous functions easily fail to be continuous. First recall the standard [1.1] Claim: The set Co(K) of complex-valued continuous functions on a compact set K is complete with o the metric jf − gjCo , with the C -norm jfjCo = supx2K jf(x)j. Proof: This is a typical three-epsilon argument. To show that a Cauchy sequence ffig of continuous functions has a pointwise limit which is a continuous function, first argue that fi has a pointwise limit at every x 2 K. Given " > 0, choose N large enough such that jfi − fjj < " for all i; j ≥ N. Then jfi(x) − fj(x)j < " for any x in K. Thus, the sequence of values fi(x) is a Cauchy sequence of complex numbers, so has a limit 0 0 f(x). Further, given " > 0 choose j ≥ N sufficiently large such that jfj(x) − f(x)j < " .
    [Show full text]
  • On Almost S-Topological Vector Spaces
    Journal of Advanced Studies in Topology 9:2 (2018), 139–146 On almost s-topological vector spaces a, a a a Madhu Ram ∗, Shallu Sharma , Sahil Billawria , Amjad Hussain aDepartment of Mathematics, University of Jammu, JK-180006, India. Abstract In this paper, we introduce the notion of almost s-topological vector spaces and present some examples and counterexamples of almost s-topological vector spaces. Some general properties of almost s-topological vector spaces are investigated. Keywords: Semi-open sets, regular open sets, almost s-topological vector spaces. 2010 MSC: 57N17, 57N99. 1. Introduction The concept of topological vector spaces was first given by Kolmogroff [4] in 1934. Since then, different researchers have been explored many interesting and useful properties of topological vector spaces. Due to nice properties, topological vector spaces earn a great importance and remain a fundamental notion in fixed point theory, operator theory, variational inequalities, etc. Nowadays the researchers not only make use of topological vector spaces in other fields for developing new notions but also stretch and extend the concept of topological vector spaces with every possible way, making this field of study a more convenient and understandable. Recently, M. Khan et al. [2] introduced the s-topological vector spaces; a generalization of topological vector spaces. In 2016, Khan and Iqbal [3] introduced the irresolute topological vector spaces which are a particular brand of s-topological vector spaces but irresolute topological vector spaces are independent of topological vector spaces. Ibrahim [1] initiated the study of α topological vector spaces. − S. Sharma et. al. [7] put forth the concept of almost pretopological vector spaces.
    [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]
  • On Some Topological Vector Spaces Related to the General Open Mapping Theorem
    Acta Math. Hung. 61 (8-4) (1993), 235-240. ON SOME TOPOLOGICAL VECTOR SPACES RELATED TO THE GENERAL OPEN MAPPING THEOREM L. M. SANCHEZ RUIZ (Valencia) 1. Introduction The spaces Vr, Wr, V and W were introduced by Valdivia [4], showing they were maximal classes of locally convex spaces for the isomorphism and homomorphism theorem, respectively, when in the range a class of locally convex spaces containing barrelled spaces was desired. Mas [2] gave new characterizations of these classes of spaces without using the dual spaces, showing that a locally convex space E(T) is a V~- space if, and only if, there is no locally convex and barrelled topology on E, strictly coarser than T; and E(T) is a V-space, if, and only if, every separated quotient of E(T) is a V~-space. This allowed him to find easy proofs of Valdivia's isomorphism and homomorphism theorem and generalizations to classes of topological spaces. In this way we shall say that a topological vector space E(T) is an E - V~-space if there is no Hausdorff E-barrelled linear topology on E, strictly coarser than T. Moreover, a topological vector space E(:T) is an Z:-V-space if every separated quotient of E(7") is an E-Vr- space. In this paper we introduce the E-strongly almost open mappings and characterize E - Vr- and s - V-spaces in an analogous way as Valdivia [5] characterizes the V~- and V-spaces by means of the strongly almost open mappings. We also obtain some results concerning Z:- B~-complete and s complete spaces, analogous to those obtained by Valdivia [6] in the locally convex case though with different proofs since we are not able to use the dual spaces.
    [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]