DOCSLIB.ORG

TOPOLOGIES on RIESZ GROUPS and APPLICATIONS to MEASURE THEORY by N

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
TOPOLOGIES on RIESZ GROUPS and APPLICATIONS to MEASURE THEORY by N TOPOLOGIES ON RIESZ GROUPS AND APPLICATIONS TO MEASURE THEORY By N. J. KALTON [Received 17 December 1972] 1. Introduction In [16] the author proved a theorem equivalent to the statement that a finitely additive measure defined on a cr-algebra SP and taking values in a complete metric separable additive group O is countably additive provided it is countably additive for some weaker Hausdorff group topology on 0. This generalized to abelian groups the well-known Orlicz-Pettis theorem (Dunford and Schwartz, [9], p. 318). It was then natural to investigate whether any similar result was available for so-called exhaustive or strongly bounded measures, which instead of being countably additive simply have the property that whenever (Sn) is a sequence of disjoint sets then fx(Sn) -» 0. In the context of locally convex spaces, such a result is available (Diestel, [4]) and is a close relative of a theorem due to Grothendieck ([13]) that every bounded linear operator T.l^^-X, where X is a complete separable locally convex space, is weakly compact. The solution of this problem is realized in Theorem 7. However, the course of the proof leads us rather away from the original setting as it requires the definition of a topology, the intrinsic topology (see §3), which has significance in any lattice-ordered abelian group or more generally in a group with the Riesz interpolation property. Therefore we have prefaced the main theorem with a study of this topology in a very general setting (§§3 and 4). In particular, we see that, in certain circumstances, the topological completion of a group in its intrinsic topology is also an order-completion. The main substance of the paper, however, stems from Theorem 2 in § 5, where it is shown that in a a-complete group the intrinsic topology has some properties reminiscent of the Baire category theorem; this is in fact a generalization of a theorem of Phillips ([21]) and involves no new techniques. These properties lead in § 6 to the closed graph theorem for ff-complete Riesz groups and the applications of this in § 7 solve the problem under consideration. Finally, in §8 we show the relevance of the intrinsic topology to attempts to generalize the Riesz representation theorem. Proc. London Math. Soc. (3) 28 (1974) 253-273 254 N. J. KALTON The intrinsic topology approach to measure theory is very closely related to the approach of Drewnowski ([6]) using Frechet-Nikodym topologies on rings of sets. However, we use a topology on the group of integer-valued measurable functions rather than the algebra of sets itself. 2. Preliminaries Throughout this paper all groups are abelian and written additively. Let 0 be a partially ordered groupf (Fuchs, [9], provides background on such groups); then we say that G is a Riesz group if whenever a,b,c,d E G such that a < c, b ^ c, a ^ d, and b ^ d (or (a,b ^ c,d)), then there exists g e G with a,b ^ g < c,d (the Riesz interpolation property). The reader may refer to Fuchs ([10]) or Jameson ([15]) for the study of the algebraic properties of Riesz groups; particularly important are the equivalent formulations of the property ([12], p. 14). A special case of a Riesz group is a lattice group, also called an J-group ([11], p. 66), in which there is a supremum av6 and an infimum a/\b of any two elements. In this case we use the notation \a\ = We say that a Riesz group is a-complete if every monotone increasing sequence (an) which is bounded above has a supremum, and order-complete if every bounded monotone increasing net has a supremum (an order- complete Riesz group is automatically a lattice group). A quasi-norm 77 on an abelian group G is a map rj: G -> R+ such that *?(0) = 0, rj(a + b)^ r)(a) + i)(b) {a, b e G), -q{a) = 7)(-a) (aeO). Any group topology on G may be induced by a family of quasi-norms. We say that a subset B of G is bounded if suprj(b) < 00 beB whenever ^ is a continuous quasi-norm on G. HG has a given quasi-norm then we may also refer to metrically bounded sets on which the given quasi-norm is bounded. If G is a lattice group then a subset V of G is solid if a e V and \x\ ^ | a I imply that x e V. If G is a topological lattice group which has a base of solid neighbourhoods of zero then G is called locally solid, and ([15], p. 151) the lattice operations are uniformly continuous on G. t We shall always assume that 0 is positively generated (see Lemma 3). TOPOLOGIES ON RIESZ GROUPS 255 A subset V of G is called order-convex if a, b e V and a ^ x ^ b imply x G V, and an order-ideal if it is also directed (that is, given a, b e F, there exists c e V with c ^ a, c ^ 6). For details, again see [11]. 3. A topology for Riesz groups Suppose G is a Riesz group; we shall say that a test sequence is a sequence (an) such that (i) <UaB(»=l,2,...), (ii) there exists b e G with Tn=iai ^b (n = 1,2,...). We shall also write an ->-> 0 if an = bn — cn, where both (bn) and (cn) are test sequences. LEMMA 1. Suppose r) is a quasi-norm on G; then the following are equivalent: (i) 7] is bounded on every order-interval; (ii) 7) is bounded on every test sequence; (iii) 7] is bounded on any bounded monotone increasing sequence; (iv) if an ->->• 0 then sup?7(an) < oo. n Proof. The implications (ii) o (iii) o (iv) are easy and we omit the details. Clearly also (i) => (ii). (ii) => (i) (cf. [1], p. 856). It is enough to show that if a e G with a ^ 0 then r] is bounded on [0, a]. For a e G with a^Owe define 7)*(a) = sup?7(c). Now suppose a = x + y and c < a. By the Riesz decomposition property c = cx + c2, where 0 ^ cx ^ x and 0 ^ c2 ^ y. Hence n v and therefore r7*(a)^*(z)+ ,?%). (1) Now suppose 7]*(a0) = oo; we construct a sequence (an: n = 1,2,...) such that (a) 0^ «„<«„_! (w=l,2,...), 08) *?*K) = oo, (y) ^K) >w+iy(an_x). For given an-1 satisfying (a), (/?), and (y), we may choose x (0 ^ x ^ a>n-\) such that T](X) ^ n + 27)(an_1). Then if 7)*{x) = oo, let an = x; otherwise by (1) r)*{an_x — x) = oo and we let an = an_x — x. In either case, (a), (j8), and (y) are satisfied. Now if c a a c a a a and S( n = n-\- n (w = 1, 2,...) then cn ^ 0 and JX-i i = o~ »i ^ o5 > 256 N. J. KALTON (cn) is a test sequence. Clearly rj(cn) ^ n and so we have a contradiction to (ii). The conditions of Lemma 1 are not 'topological', for any quasi-norm is equivalent to a bounded quasi-norm. However, we can introduce a topological condition thus: a quasi-norm 77 is called limiting if for every test sequence {an) we have \imr)(an) = 0. This means that in the topology ra-»oo induced by 77 every test sequence is null. LEMMA 2. Let G be a Riesz group and suppose rj is a quasi-norm on G; the following are equivalent: (i) rj is limiting; (ii) any bounded monotone increasing sequence has the rj-Cauchy property; (iii) any bounded monotone increasing net has the rj-Cauchy property; (iv) if an -?~» 0 then, given e > 0, there exists an integer m such that for a E any finite subset F of {m+ l,m + 2,...} we have r](Yii€F i) ^ - Proof, (i) => (iv). If (iv) fails then for some e > 0 and some sequence an -*-> 0 we may construct an increasing sequence (mn; n = 1, 2,...) and a sequence (Fn) of finite subsets of integers with Fn £ {mn + l, '.-,mn+1} such that v)(TneFnai) > e. (The construction is a standard induction argument.) Suppose ai — bj — Cj, where (&3) and (Cj) are test sequences; b and both and C aIe then Sie^^i = 2,ieFn i-I>UFnCi (TueF^i) (2>ieF» J test sequences. We quickly obtain a contradiction. (iv) => (ii). This is immediate, for if an is bounded monotone and increasing then an+1 — an ->-> 0. (ii) => (iii). Suppose {aa) is bounded monotone and increasing but does not have the 77-Cauchy property. Then, for some e > 0 and anj^ j3, there exists a ^ /? with ^(a^ — afi) ^ e. Hence we may construct an increasing sequence (an) such that ^(a^ — attn_1) ^ e. But (a^) must be -jy-Cauchy by (ii), and we have a contradiction. (iii) => (i). This is immediate. Now we are ready to define the intrinsic topology on G. This is the topology induced by the family of all limiting quasi-norms; we denote it by A. We collect together some elementary remarks in PROPOSITION 1. (i) A is the finest topology on G such that every bounded monotone net is a Cauchy net. (ii) A quasi-norm rj is X-continuous if and only if it is limiting. Given a quasi-norm rj which is bounded on every test sequence we can define a new quasi-norm 1771 as follows: let rj*(a) = sup{rj(a;): 0 ^ x ^ a} (a ^ 0) TOPOLOGIES ON RIESZ GROUPS 257 and define The fact that 177 J is a quasi-norm follows from (1) without difficulty.
Load more

Recommended publications
  • Weak Topologies
    Weak topologies David Lecomte May 23, 2006 1 Preliminaries from general topology In this section, we are given a set X, a collection of topological spaces (Yi)i∈I and a collection of maps (fi)i∈I such that each fi maps X into Yi. We wish to define a topology on X that makes all the fi’s continuous. And we want to do this in the cheapest way, that is: there should be no more open sets in X than required for this purpose. −1 Obviously, all the fi (Oi), where Oi is an open set in Yi should be open in X. Then finite intersections of those should also be open. And then any union of finite intersections should be open. By this process, we have created as few open sets as required. Yet it is not clear that the collection obtained is closed under finite intersections. It actually is, as a consequence of the following lemma: Lemma 1 Let X be a set and let O ⊂ P(X) be a collection of subsets of X, such that • ∅ and X are in O; • O is closed under finite intersections. Then T = { O | O ⊂ O} is a topology on X. OS∈O Proof: By definition, T contains X and ∅ since those were already in O. Furthermore, T is closed under unions, again by definition. So all that’s left is to check that T is closed under finite intersections. Let A1 and A2 be two elements of T . Then there exist O1 and O2, subsets of O, such that A = O and A = O 1 [ 2 [ O∈O1 O∈O2 1 It is then easy to check by double inclusion that A ∩ A = O ∩ O 1 2 [ 1 2 O1∈O1 O2∈O2 Letting O denote the collection {O1 ∩ O2 | O1 ∈ O1 O2 ∈ O2}, which is a subset of O since the latter is closed under finite intersections, we get A ∩ A = O 1 2 [ O∈O This set belongs to T .
    [Show full text]
  • Distinguished Property in Tensor Products and Weak* Dual Spaces
    axioms Article Distinguished Property in Tensor Products and Weak* Dual Spaces Salvador López-Alfonso 1 , Manuel López-Pellicer 2,* and Santiago Moll-López 3 1 Department of Architectural Constructions, Universitat Politècnica de València, 46022 Valencia, Spain; [email protected] 2 Emeritus and IUMPA, Universitat Politècnica de València, 46022 Valencia, Spain 3 Department of Applied Mathematics, Universitat Politècnica de València, 46022 Valencia, Spain; [email protected] * Correspondence: [email protected] 0 Abstract: A local convex space E is said to be distinguished if its strong dual Eb has the topology 0 0 0 0 b(E , (Eb) ), i.e., if Eb is barrelled. The distinguished property of the local convex space Cp(X) of real- valued functions on a Tychonoff space X, equipped with the pointwise topology on X, has recently aroused great interest among analysts and Cp-theorists, obtaining very interesting properties and nice characterizations. For instance, it has recently been obtained that a space Cp(X) is distinguished if and only if any function f 2 RX belongs to the pointwise closure of a pointwise bounded set in C(X). The extensively studied distinguished properties in the injective tensor products Cp(X) ⊗# E and in Cp(X, E) contrasts with the few distinguished properties of injective tensor products related to the dual space Lp(X) of Cp(X) endowed with the weak* topology, as well as to the weak* dual of Cp(X, E). To partially fill this gap, some distinguished properties in the injective tensor product space Lp(X) ⊗# E are presented and a characterization of the distinguished property of the weak* dual of Cp(X, E) for wide classes of spaces X and E is provided.
    [Show full text]
  • On Sandwich Theorem for Delta-Subadditive and Delta-Superadditive Mappings
    Results Math 72 (2017), 385–399 c 2016 The Author(s). This article is published with open access at Springerlink.com 1422-6383/17/010385-15 published online December 5, 2016 Results in Mathematics DOI 10.1007/s00025-016-0627-7 On Sandwich Theorem for Delta-Subadditive and Delta-Superadditive Mappings Andrzej Olbry´s Abstract. In the present paper, inspired by methods contained in Gajda and Kominek (Stud Math 100:25–38, 1991) we generalize the well known sandwich theorem for subadditive and superadditive functionals to the case of delta-subadditive and delta-superadditive mappings. As a conse- quence we obtain the classical Hyers–Ulam stability result for the Cauchy functional equation. We also consider the problem of supporting delta- subadditive maps by additive ones. Mathematics Subject Classification. 39B62, 39B72. Keywords. Functional inequality, additive mapping, delta-subadditive mapping, delta-superadditive mapping. 1. Introduction We denote by R, N the sets of all reals and positive integers, respectively, moreover, unless explicitly stated otherwise, (Y,·) denotes a real normed space and (S, ·) stands for not necessary commutative semigroup. We recall that a functional f : S → R is said to be subadditive if f(x · y) ≤ f(x)+f(y),x,y∈ S. A functional g : S → R is called superadditive if f := −g is subadditive or, equivalently, if g satisfies g(x)+g(y) ≤ g(x · y),x,y∈ S. If a : S → R is at the same time subadditive and superadditive then we say that it is additive, in this case a satisfies the Cauchy functional equation a(x · y)=a(x)+a(y),x,y∈ S.
    [Show full text]
  • Let H Be a Hilbert Space. on B(H), There Is a Whole Zoo of Topologies
    Let H be a Hilbert space. On B(H), there is a whole zoo of topologies weaker than the norm topology – and all of them are considered when it comes to von Neumann algebras. It is, however, a good idea to concentrate on one of them right from the definition. My choice – and Murphy’s [Mur90, Chapter 4] – is the strong (or strong operator=STOP) topology: Definition. A von Neumann algebra is a ∗–subalgebra A ⊂ B(H) of operators acting nonde- generately(!) on a Hilbert space H that is strongly closed in B(H). (Every norm convergent sequence converges strongly, so A is a C∗–algebra.) This does not mean that one has not to know the other topologies; on the contrary, one has to know them very well, too. But it does mean that proof techniques are focused on the strong topology; if we use a different topology to prove something, then we do this only if there is a specific reason for doing so. One reason why it is not sufficient to worry only about the strong topology, is that the strong topology (unlike the norm topology of a C∗–algebra) is not determined by the algebraic structure alone: There are “good” algebraic isomorphisms between von Neumann algebras that do not respect their strong topologies. A striking feature of the strong topology on B(H) is that B(H) is order complete: Theorem (Vigier). If aλ λ2Λ is an increasing self-adjoint net in B(H) and bounded above (9c 2 B(H): aλ ≤ c8λ), then aλ converges strongly in B(H), obviously to its least upper bound in B(H).
    [Show full text]
  • Chapter 14. Duality for Normed Linear Spaces
    14.1. Linear Functionals, Bounded Linear Functionals, and Weak Topologies 1 Chapter 14. Duality for Normed Linear Spaces Note. In Section 8.1, we defined a linear functional on a normed linear space, a bounded linear functional, and the functional norm. In Proposition 8.1 (the proof is Exercise 8.2) it is shown that the collection of bounded linear functionals themselves form a normed linear space called the dual space of X, denoted X∗. In Chapters 14 and 15 we consider the mapping from X × X∗ → R defined by (x, ψ) 7→ ψ(x) to “uncover the analytic, geometric, and topological properties of Banach spaces.” The “departure point for this exploration” is the Hahn-Banach Theorem which is started and proved in Section 14.2 (Royden and Fitzpatrick, page 271). Section 14.1. Linear Functionals, Bounded Linear Functionals, and Weak Topologies Note. In this section we consider the linear space of all real valued linear function- als on linear space X (without requiring X to be named or the functionals to be bounded), denoted X]. We also consider a new topology on a normed linear space called the weak topology (the old topology which was induced by the norm we now may call the strong topology). For the deal X∗ of normed linear space X, the weak topology is called the weak-∗ topology. 14.1. Linear Functionals, Bounded Linear Functionals, and Weak Topologies 2 Note. Recall that if Y and Z are subspaces of a linear space then Y + Z is also a subspace of X (by Exercise 13.2) and that if Y ∩ Z = {0} then Y + Z is denoted T ⊕ Z and is called the direct sum of Y and Z.
    [Show full text]
  • The Banach-Alaoglu Theorem for Topological Vector Spaces
    The Banach-Alaoglu theorem for topological vector spaces Christiaan van den Brink a thesis submitted to the Department of Mathematics at Utrecht University in partial fulfillment of the requirements for the degree of Bachelor in Mathematics Supervisor: Fabian Ziltener date of submission 06-06-2019 Abstract In this thesis we generalize the Banach-Alaoglu theorem to topological vector spaces. the theorem then states that the polar, which lies in the dual space, of a neighbourhood around zero is weak* compact. We give motivation for the non-triviality of this theorem in this more general case. Later on, we show that the polar is sequentially compact if the space is separable. If our space is normed, then we show that the polar of the unit ball is the closed unit ball in the dual space. Finally, we introduce the notion of nets and we use these to prove the main theorem. i ii Acknowledgments A huge thanks goes out to my supervisor Fabian Ziltener for guiding me through the process of writing a bachelor thesis. I would also like to thank my girlfriend, family and my pet who have supported me all the way. iii iv Contents 1 Introduction 1 1.1 Motivation and main result . .1 1.2 Remarks and related works . .2 1.3 Organization of this thesis . .2 2 Introduction to Topological vector spaces 4 2.1 Topological vector spaces . .4 2.1.1 Definition of topological vector space . .4 2.1.2 The topology of a TVS . .6 2.2 Dual spaces . .9 2.2.1 Continuous functionals .
    [Show full text]
  • Weak Topologies Weak-Type Topologies on Vector Spaces. Let X
    Weak topologies Weak-type topologies on vector spaces. Let X be a vector space with the algebraic dual X]. Let Y ½ X] be a subspace. We want to de¯ne a topology σ on X in order to make continuous all elements of Y . Fix x0 2 X. If σ is such a topology, then the sets of the form x0 V";g := fx 2 X : jg(x) ¡ g(x0)j < "g = fx 2 X : jg(x ¡ x0)j < "g (" > 0; g 2 Y ) are open neighborhoods of x0. But this family is not a basis of σ-neighborhoods of x0, since the intersection of two of its members does not necessarily contain another member of the family. This is the reason why we instead consider the sets of the form x0 (1) V";g1;:::;gn := fx 2 X : jgi(x ¡ x0)j < "; i = 1; : : : ; ng (" > 0; n 2 N; gi 2 Y ) : x0 x0 It is easy to see that the intersection V \ V 0 of two of such sets ";g1;:::;gn " ;h1;:::;hm x0 00 0 contains V 00 where " = minf"; " g. " ;g1;:::;gn;h1;:::;hm Theorem 0.1. Let X be a vector space, and Y ½ X] a subspace which separates the points of X (that is, a so-called total subspace). 1. There exists a (unique) topology on X such that, for each x0 2 X, the sets (1) form a basis of neighborhoods of x0. This topology, denoted by σ(X; Y ), is called the weak topology determined by Y . 2. σ(X; Y ) is the weakest topology on X that makes continuous all elements of Y .
    [Show full text]
  • Order-Quasiultrabarrelled Vector Lattices and Spaces
    Periodica Mathematica Hungarica YoL 6 (4), (1975), pp. 363--371. ~ ORDER-QUASIULTRABARRELLED VECTOR LATTICES AND SPACES by T. HUSAIN and S. M. KHALEELULLA (Hamilton) 1. Introduetion In this paper, we introduce and study a class of topological vector lattices (more generally, ordered topological vector spaces) which we call the class of order-quasiultrabarreUed vector lattices abbreviated to O. Q. U. vector lattices (respectively, O. Q. U. spaces). This class replaces that of order-infrabarrened Riesz spaces (respectively, order-infrabarrelled spaces) [8] in situations where local convexity is not assumed. We obtain an analogue of the Banach--Stein- haus theorem for lattice homom0rphisms on O. Q. U. vector lattices (respec- tively positive linear maps on O. Q. U. spaces) and the one for O. Q. U. spaces is s used successfully to obtain an analogue of the isomorphism theorem concerning O. Q.U. spaces and similar Schauder bases. Finally, we prove a closed graph theorem for O. Q. U, spaces, analogous to that for ultrabarrelled spa~s [6]. 2. Notations and preliminaries We abbreviate locally convex space, locally convex vector lattice, tope- logical vector space, and topological vector lattice to 1.c.s., 1.c.v.l., t.v.s., and t.v.l., respectively. We write (E, C) to denote a vector lattice (or ordered vector space) over the field of reals, with positive cone (or simply, cone) C. A subset B of a vector lattice (E, G) is solid if Ixl ~ ]y], yEB implies xEB; a vector subspace M of (~, C) which is also solid is called a lattice ideal.
    [Show full text]
  • Notes on Elementary Linear Algebra
    Notes on Elementary Linear Algebra Adam Coffman Contents 1 Real vector spaces 2 2 Subspaces 6 3 Additive Functions and Linear Functions 8 4 Distance functions 10 5 Bilinear forms and sesquilinear forms 12 6 Inner Products 18 7 Orthogonal and unitary transformations for non-degenerate inner products 25 8 Orthogonal and unitary transformations for positive definite inner products 29 These Notes are compiled from classroom handouts for Math 351, Math 511, and Math 554 at IPFW. They are not self-contained, but supplement the required texts, [A], [FIS], and [HK]. 1 1 Real vector spaces Definition 1.1. Given a set V , and two operations + (addition) and · (scalar multiplication), V is a “real vector space” means that the operations have all of the following properties: 1. Closure under Addition: For any u ∈ V and v ∈ V , u + v ∈ V . 2. Associative Law for Addition: For any u ∈ V and v ∈ V and w ∈ V ,(u + v)+w = u +(v + w). 3. Existence of a Zero Element: There exists an element 0 ∈ V such that for any v ∈ V , v + 0 = v. 4. Existence of an Opposite: For each v ∈ V , there exists an element of V , called −v ∈ V , such that v +(−v)=0. 5. Closure under Scalar Multiplication: For any r ∈ R and v ∈ V , r · v ∈ V . 6. Associative Law for Scalar Multiplication: For any r, s ∈ R and v ∈ V ,(rs) · v = r · (s · v). 7. Scalar Multiplication Identity: For any v ∈ V ,1· v = v. 8. Distributive Law: For all r, s ∈ R and v ∈ V ,(r + s) · v =(r · v)+(s · v).
    [Show full text]
  • Locally Convex Spaces Manv 250067-1, 5 Ects, Summer Term 2017 Sr 10, Fr
    LOCALLY CONVEX SPACES MANV 250067-1, 5 ECTS, SUMMER TERM 2017 SR 10, FR. 13:15{15:30 EDUARD A. NIGSCH These lecture notes were developed for the topics course locally convex spaces held at the University of Vienna in summer term 2017. Prerequisites consist of general topology and linear algebra. Some background in functional analysis will be helpful but not strictly mandatory. This course aims at an early and thorough development of duality theory for locally convex spaces, which allows for the systematic treatment of the most important classes of locally convex spaces. Further topics will be treated according to available time as well as the interests of the students. Thanks for corrections of some typos go out to Benedict Schinnerl. 1 [git] • 14c91a2 (2017-10-30) LOCALLY CONVEX SPACES 2 Contents 1. Introduction3 2. Topological vector spaces4 3. Locally convex spaces7 4. Completeness 11 5. Bounded sets, normability, metrizability 16 6. Products, subspaces, direct sums and quotients 18 7. Projective and inductive limits 24 8. Finite-dimensional and locally compact TVS 28 9. The theorem of Hahn-Banach 29 10. Dual Pairings 34 11. Polarity 36 12. S-topologies 38 13. The Mackey Topology 41 14. Barrelled spaces 45 15. Bornological Spaces 47 16. Reflexivity 48 17. Montel spaces 50 18. The transpose of a linear map 52 19. Topological tensor products 53 References 66 [git] • 14c91a2 (2017-10-30) LOCALLY CONVEX SPACES 3 1. Introduction These lecture notes are roughly based on the following texts that contain the standard material on locally convex spaces as well as more advanced topics.
    [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]
  • Mackey +0-Barrelled Spaces Stephen A
    Advances in Mathematics 145, 230238 (1999) Article ID aima.1998.1815, available online at http:ÂÂwww.idealibrary.com on Mackey +0-Barrelled Spaces Stephen A. Saxon* Department of Mathematics, University of Florida, P.O. Box 118105, Gainesville, Florida 32611-8105 E-mail: saxonÄmath.ufl.edu and Ian Tweddle* Department of Mathematics, University of Strathclyde, Glasgow G11XH, Scotland, United Kingdom E-mail: i.tweddleÄstrath.ac.uk CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - PublisherReceived Connector March 25, 1998; accepted December 14, 1998 In the context of ``Reinventing weak barrelledness,'' the best possible versions of the RobertsonSaxonRobertson Splitting Theorem and the SaxonTweddle Fit and Flat Components Theorem are obtained by weakening the hypothesis from ``barrelled'' to ``Mackey and +0-barreled.'' An example showing that the latter does not imply the former validates novelty, answers an old question, and completes a robust linear picture of ``Mackey weak barrelledness'' begun several decades ago. 1999 Academic Press Key Words: weak barrelledness; Mackey topology; splitting theorem. 1. INTRODUCTION Barrelled spaces have occupied an important place in the theory of locally convex spaces since its earliest days. This is probably due to the fact that they provide a vehicle for generalizing certain important properties of Banach spaces; for example, they form the class of domain spaces for a natural generalization of Banach's closed graph theorem and, in their dual characterization, they embody the conclusion of the BanachSteinhaus theorem for continuous linear functionals. Unlike Banach spaces, they are closed under the taking of inductive limits, countable-codimensional subspaces, products, etc. A barrel in a locally convex space is a closed * We are grateful for support and hospitality from EPSRC GRÂL67257 and Strathclyde University, and for helpful discussions with Professors J.
    [Show full text]