Examples of Function Spaces 1. Non-Banach Limits C K(R)

Total Page:16

File Type:pdf, Size:1020Kb

Examples of Function Spaces 1. Non-Banach Limits C K(R) (February 11, 2017) Examples of function 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/examples.pdf] 1. Non-Banach limits Ck(R), C1(R) of Banach spaces Ck[a; b] k k 2. Banach completion Co (R) of Cc (R) 3. Rapid-decay functions, Schwartz functions 1 4. Non-Fr´echet colimit Cc (R) of Fr´echet spaces 5. LF-spaces of moderate-growth functions 6. Strong operator topology 7. Generalized functions (distributions) on R 8. Tempered distributions and Fourier transforms on R 9. Test functions and Paley-Wiener spaces We review natural topological vectorspaces of functions on relatively simple geometric objects, such as R or the circle T. In all cases, we specify a natural topology, in which differentiation or other natural operators are continuous, and so that the space is suitably complete. Many familiar and useful spaces of continuous or differentiable functions, such as Ck[a; b], have natural metric structures, and are complete. Often, the metric d(; ) comes from a norm j · j, on the functions, giving Banach spaces. Other natural function spaces, such as C1[a; b], Co(R), are not Banach, but still do have a metric topology and are complete: these are Fr´echetspaces, appearing as (projective) limits of Banach spaces, as below. These lack some of the conveniences of Banach spaces, but their expressions as limits of Banach spaces is often sufficient. o Other important spaces, such as compactly-supported continuous functions Cc (R) on R, or compactly- 1 supported smooth functions (test functions) D(R) = Cc (R) on R, are not metrizable so as to be complete. Nevertheless, some are expressible as colimits (sometimes called inductive limits) of Banach or Fr´echet spaces, and such descriptions suffice for many applications. An LF-space is a countable ascending union of Fr´echet spaces with each Fr´echet subspace closed in the next. These are strict colimits or strict inductive limits of Fr´echet spaces. These are generally not complete in the strongest sense, but, nevertheless, as demonstrated earlier, are quasi-complete, and this suffices for applications. 1. Non-Banach limits Ck(R), C1(R) of Banach spaces Ck[a; b] For a non-compact topological space such as R, the space Co(R) of continuous functions is not a Banach space with sup norm, because the sup of the absolute value of a continuous function may be +1. o But, C (R) has a Fr´echet-space structure: express R as a countable union of compact subsets Kn = [−n; n]. o o o Despite the likely non-injectivity of the map C (R) ! C (Ki), giving C (R) the (projective) limit topology o o o limi C (Ki) is reasonable: certainly the restriction map C (R) ! C (Ki) should be continuous, as should o o all the restrictions C (Ki) ! C (Ki−1), whether or not these are surjective. o o The argument in favor of giving C (R) the limit topology is that a compatible family of maps fi : Z ! C (Ki) gives compatible fragments of functions F on R. That is, for z 2 Z, given x 2 R take Ki such that x is in the interior of Ki. Then for all j ≥ i the function x ! fj(z)(x) is continuous near x, and the compatibility assures that all these functions are the same. 1 Paul Garrett: Examples of function spaces (February 11, 2017) That is, the compatibility of these fragments is exactly the assertion that they fit together to make a function o x ! Fz(x) on the whole space X. Since continuity is a local property, x ! Fz(x) is in C (X). Further, there is just one way to piece the fragments together. Thus, diagrammatically, o * o ' o C (R) ::: / C (K2) / C (K1) 4 c f v; f j j 2 v 1 j j z!F v j j z v j j Z jv j o o k k Thus, C (X) = limn C (Kn) is a Fr´echet space. Similarly, C (R) = limn C (Kn) is a Fr´echet space. o o o o [1.1] Remark: The question of whether the restriction maps C (Kn) ! C (Kn−1) or C (R) ! C (Kn) are surjective need not be addressed. Unsurprisingly, we have d k k−1 [1.2] Theorem: dx : C (R) ! C (R) is continuous. d 1 1 Proof: The argument is structurally similar to the argument for dx : C [a; b] ! C [a; b]. The d k k−1 differentiations dx : C (Kn) ! C (Kn) are a compatible family, fitting into a commutative diagram * * k−1 k−1 k−1 C (R) ::: / C (Kn+1) / C (Kn) / ::: O O d d dx dx k k k C (R) ::: / C (Kn+1) / C (Kn) / ::: 5 4 Composing the projections with d=dx gives (dashed) induced maps from Ck(R) to the limitands, inducing a unique (dotted) continuous linear map to the limit, as in * * k−1 k−1 k−1 C (R) ::: / C (Kn+1) / C (Kn) / ::: O 5 O f f2 O j j f f f d j j f f dx j j f f f j j f f f k fj f f k k−1 C (R) ::: / C (Kn+1) / C (Kn) / ::: 5 4 d k k−1 That is, there is a unique continuous linear map dx : C (R) ! C (R) compatible with the differentiations on finite intervals. === Similarly, 1 k 1 1 d 1 1 [1.3] Theorem: C (R) = limk C (R), also C (R) = limn C (Kn), and dx : C (R) ! C (R) is continuous. 1 k Proof: From C (R) = limk C (R) we can obtain the induced map d=dx, as follows. Starting with the commutative diagram ) * C1( ) ::: Ck−1( ) Ck−1( ) ::: R / R / R / ; d r9 d ww dx rr dx ww rr ww rr ww rrr ww C1(R) ::: / Ck(R) / Ck(R) / ::: 5 5 2 Paul Garrett: Examples of function spaces (February 11, 2017) Composing the projections with d=dx gives (dashed) induced maps from Ck(R) to the limitands, inducing a unique (dotted) continuous linear map to the limit, as in ) * C1(R) ::: / Ck−1(R) / Ck−1(R) / ::: O 5 g3 9 w; k k g g g rr ww d k g g rr w dx k g r ww k k g g rr ww k g g g rrr ww 1 gk g k k C (R) ::: / C (R) / C (R) / ::: 5 5 k A novelty is the assertion that (projective) limits commute with each other, so that the limits of C (Kn) in k and in n can be taken in either order. Generally, in a situation a _ ] [ h e c Y V j _ \ T R l f b X + ( limj(limi Vij) ::: / limi Vi2 / limi Vi1 limi(limj Vij) £¤ ¨ . . ( 1 : ( limj V2j ::: / V22 / V21 1 2 4 6 ; ? Ö Ö limj V1j ::: /2 V12 /4 V11 the maps limj(limi Vij) ! Vk` induce a map limj(limi Vij) ! lim` Vk`, which induce a unique limj(limi Vij) ! limk(lim` Vk`). Similarly, a unique map is induced in the opposite direction, and, for the usual reason, these are mutual inverses. === [1.4] Claim: For fixed x 2 R and fixed non-negative integer k, the evaluation map f ! f (k)(x) is continuous. Proof: Take n large enough so that x 2 [−n; n]. Evaluation f ! f (k)(x) was shown to be continuous on Ck[−n; n]. Composing with the continuous C1(R) ! Ck(R) ! Ck[−n; n] gives the continuity. === k k 2. Banach completion Co (R) of Cc (R) o It is reasonable to ask about the completion of the space Cc (R) of compactly-supported continuous functions k in the metric given by the sup-norm, and, more generally, about the completion of the space Cc (R) of compactly-supported k-times continuously differentiable functions in the metric given by the sum of the sups of the k derivatives. k The spaces Cc (R) are not complete with those norms, because supports can leak out to infinity: for example, in fix any u such that u(x) = 1 for jxj ≤ 1, 0 ≤ u(x) ≤ 1 for 1 ≤ jxj ≤ 2, and u(x) = 0 for jxj ≥ 2. Then 1 X u(x − n) f(x) = n2 n=0 3 Paul Garrett: Examples of function spaces (February 11, 2017) converges in sup-norm, the partial sums have compact support, but the whole does not have compact support. o [2.1] Claim: The completion of the space Cc (R) of compactly-supported continuous functions in the metric o given by the sup-norm jfj o = sup jf(x)j is the space C ( ) of continuous functions f vanishing at C x2R o R infinity, in the sense that, given " > 0, there is a compact interval K = [−N; N] ⊂ X such that jf(x)j < " for x 62 K. o o [2.2] Remark: Since we need to distinguish compactly-supported functions Cc (R) from functions Co (R) going to 0 at infinity, we cannot use the latter notation for the former, unlike some sources. o Proof: This is almost a tautology. Given f 2 Co (R), given " > 0, let K = [−N; N] ⊂ X be compact such that jf(x)j < " for x 62 K. It is easy to make an auxiliary function ' that is continuous, compactly-supported, real-valued function such that ' = 1 on K and 0 ≤ ' ≤ 1 on X.
Recommended publications
  • Distributions:The Evolutionof a Mathematicaltheory
    Historia Mathematics 10 (1983) 149-183 DISTRIBUTIONS:THE EVOLUTIONOF A MATHEMATICALTHEORY BY JOHN SYNOWIEC INDIANA UNIVERSITY NORTHWEST, GARY, INDIANA 46408 SUMMARIES The theory of distributions, or generalized func- tions, evolved from various concepts of generalized solutions of partial differential equations and gener- alized differentiation. Some of the principal steps in this evolution are described in this paper. La thgorie des distributions, ou des fonctions g&&alis~es, s'est d&eloppeg 2 partir de divers con- cepts de solutions g&&alis6es d'gquations aux d&i- &es partielles et de diffgrentiation g&&alis6e. Quelques-unes des principales &apes de cette &olution sont d&rites dans cet article. Die Theorie der Distributionen oder verallgemein- erten Funktionen entwickelte sich aus verschiedenen Begriffen von verallgemeinerten Lasungen der partiellen Differentialgleichungen und der verallgemeinerten Ableitungen. In diesem Artikel werden einige der wesentlichen Schritte dieser Entwicklung beschrieben. 1. INTRODUCTION The founder of the theory of distributions is rightly con- sidered to be Laurent Schwartz. Not only did he write the first systematic paper on the subject [Schwartz 19451, which, along with another paper [1947-19481, already contained most of the basic ideas, but he also wrote expository papers on distributions for electrical engineers [19481. Furthermore, he lectured effec- tively on his work, for example, at the Canadian Mathematical Congress [1949]. He showed how to apply distributions to partial differential equations [19SObl and wrote the first general trea- tise on the subject [19SOa, 19511. Recognition of his contri- butions came in 1950 when he was awarded the Fields' Medal at the International Congress of Mathematicians, and in his accep- tance address to the congress Schwartz took the opportunity to announce his celebrated "kernel theorem" [195Oc].
    [Show full text]
  • Arxiv:0704.2891V3 [Math.AG] 5 Dec 2007 Schwartz Functions on Nash Manifolds
    Schwartz functions on Nash manifolds Avraham Aizenbud and Dmitry Gourevitch ∗ July 11, 2011 Abstract In this paper we extend the notions of Schwartz functions, tempered func- tions and generalized Schwartz functions to Nash (i.e. smooth semi-algebraic) manifolds. We reprove for this case classically known properties of Schwartz functions on Rn and build some additional tools which are important in rep- resentation theory. Contents 1 Introduction 2 1.1 Mainresults................................ 3 1.2 Schwartz sections of Nash bundles . 4 1.3 Restricted topologyand sheaf properties . .... 4 1.4 Possibleapplications ........................... 5 1.5 Summary ................................. 6 1.6 Remarks.................................. 6 2 Semi-algebraic geometry 8 2.1 Basicnotions ............................... 8 arXiv:0704.2891v3 [math.AG] 5 Dec 2007 2.2 Tarski-Seidenberg principle of quantifier elimination anditsapplications............................ 8 2.3 Additional preliminary results . .. 10 ∗Avraham Aizenbud and Dmitry Gourevitch, Faculty of Mathematics and Computer Science, The Weizmann Institute of Science POB 26, Rehovot 76100, ISRAEL. E-mails: [email protected], [email protected]. Keywords: Schwartz functions, tempered functions, generalized functions, distributions, Nash man- ifolds. 1 3 Nash manifolds 11 3.1 Nash submanifolds of Rn ......................... 11 3.2 Restricted topological spaces and sheaf theory over them........ 12 3.3 AbstractNashmanifolds . 14 3.3.1 ExamplesandRemarks. 14 3.4 Nashvectorbundles ........................... 15 3.5 Nashdifferentialoperators . 16 3.5.1 Algebraic differential operators on a Nash manifold . .... 17 3.6 Nashtubularneighborhood . 18 4 Schwartz and tempered functions on affine Nash manifolds 19 4.1 Schwartzfunctions ............................ 19 4.2 Temperedfunctions. .. .. .. 20 4.3 Extension by zero of Schwartz functions . .. 20 4.4 Partitionofunity ............................. 21 4.5 Restriction and sheaf property of tempered functions .
    [Show full text]
  • Arxiv:1404.7630V2 [Math.AT] 5 Nov 2014 Asoffsae,Se[S4 P8,Vr6.Isedof Instead Ver66]
    PROPER BASE CHANGE FOR SEPARATED LOCALLY PROPER MAPS OLAF M. SCHNÜRER AND WOLFGANG SOERGEL Abstract. We introduce and study the notion of a locally proper map between topological spaces. We show that fundamental con- structions of sheaf theory, more precisely proper base change, pro- jection formula, and Verdier duality, can be extended from contin- uous maps between locally compact Hausdorff spaces to separated locally proper maps between arbitrary topological spaces. Contents 1. Introduction 1 2. Locally proper maps 3 3. Proper direct image 5 4. Proper base change 7 5. Derived proper direct image 9 6. Projection formula 11 7. Verdier duality 12 8. The case of unbounded derived categories 15 9. Remindersfromtopology 17 10. Reminders from sheaf theory 19 11. Representability and adjoints 21 12. Remarks on derived functors 22 References 23 arXiv:1404.7630v2 [math.AT] 5 Nov 2014 1. Introduction The proper direct image functor f! and its right derived functor Rf! are defined for any continuous map f : Y → X of locally compact Hausdorff spaces, see [KS94, Spa88, Ver66]. Instead of f! and Rf! we will use the notation f(!) and f! for these functors. They are embedded into a whole collection of formulas known as the six-functor-formalism of Grothendieck. Under the assumption that the proper direct image functor f(!) has finite cohomological dimension, Verdier proved that its ! derived functor f! admits a right adjoint f . Olaf Schnürer was supported by the SPP 1388 and the SFB/TR 45 of the DFG. Wolfgang Soergel was supported by the SPP 1388 of the DFG. 1 2 OLAFM.SCHNÜRERANDWOLFGANGSOERGEL In this article we introduce in 2.3 the notion of a locally proper map between topological spaces and show that the above results even hold for arbitrary topological spaces if all maps whose proper direct image functors are involved are locally proper and separated.
    [Show full text]
  • MATH 418 Assignment #7 1. Let R, S, T Be Positive Real Numbers Such That R
    MATH 418 Assignment #7 1. Let r, s, t be positive real numbers such that r + s + t = 1. Suppose that f, g, h are nonnegative measurable functions on a measure space (X, S, µ). Prove that Z r s t r s t f g h dµ ≤ kfk1kgk1khk1. X s t Proof . Let u := g s+t h s+t . Then f rgsht = f rus+t. By H¨older’s inequality we have Z Z rZ s+t r s+t r 1/r s+t 1/(s+t) r s+t f u dµ ≤ (f ) dµ (u ) dµ = kfk1kuk1 . X X X For the same reason, we have Z Z s t s t s+t s+t s+t s+t kuk1 = u dµ = g h dµ ≤ kgk1 khk1 . X X Consequently, Z r s t r s+t r s t f g h dµ ≤ kfk1kuk1 ≤ kfk1kgk1khk1. X 2. Let Cc(IR) be the linear space of all continuous functions on IR with compact support. (a) For 1 ≤ p < ∞, prove that Cc(IR) is dense in Lp(IR). Proof . Let X be the closure of Cc(IR) in Lp(IR). Then X is a linear space. We wish to show X = Lp(IR). First, if I = (a, b) with −∞ < a < b < ∞, then χI ∈ X. Indeed, for n ∈ IN, let gn the function on IR given by gn(x) := 1 for x ∈ [a + 1/n, b − 1/n], gn(x) := 0 for x ∈ IR \ (a, b), gn(x) := n(x − a) for a ≤ x ≤ a + 1/n and gn(x) := n(b − x) for b − 1/n ≤ x ≤ b.
    [Show full text]
  • 171 Composition Operator on the Space of Functions
    Acta Math. Univ. Comenianae 171 Vol. LXXXI, 2 (2012), pp. 171{183 COMPOSITION OPERATOR ON THE SPACE OF FUNCTIONS TRIEBEL-LIZORKIN AND BOUNDED VARIATION TYPE M. MOUSSAI Abstract. For a Borel-measurable function f : R ! R satisfying f(0) = 0 and Z sup t−1 sup jf 0(x + h) − f 0(x)jp dx < +1; (0 < p < +1); t>0 R jh|≤t s n we study the composition operator Tf (g) := f◦g on Triebel-Lizorkin spaces Fp;q(R ) in the case 0 < s < 1 + (1=p). 1. Introduction and the main result The study of the composition operator Tf : g ! f ◦ g associated to a Borel- s n measurable function f : R ! R on Triebel-Lizorkin spaces Fp;q(R ), consists in finding a characterization of the functions f such that s n s n (1.1) Tf (Fp;q(R )) ⊆ Fp;q(R ): The investigation to establish (1.1) was improved by several works, for example the papers of Adams and Frazier [1,2 ], Brezis and Mironescu [6], Maz'ya and Shaposnikova [9], Runst and Sickel [12] and [10]. There were obtained some necessary conditions on f; from which we recall the following results. For s > 0, 1 < p < +1 and 1 ≤ q ≤ +1 n s n s n • if Tf takes L1(R ) \ Fp;q(R ) to Fp;q(R ), then f is locally Lipschitz con- tinuous. n s n • if Tf takes the Schwartz space S(R ) to Fp;q(R ), then f belongs locally to s Fp;q(R). The first assertion is proved in [3, Theorem 3.1].
    [Show full text]
  • (Measure Theory for Dummies) UWEE Technical Report Number UWEETR-2006-0008
    A Measure Theory Tutorial (Measure Theory for Dummies) Maya R. Gupta {gupta}@ee.washington.edu Dept of EE, University of Washington Seattle WA, 98195-2500 UWEE Technical Report Number UWEETR-2006-0008 May 2006 Department of Electrical Engineering University of Washington Box 352500 Seattle, Washington 98195-2500 PHN: (206) 543-2150 FAX: (206) 543-3842 URL: http://www.ee.washington.edu A Measure Theory Tutorial (Measure Theory for Dummies) Maya R. Gupta {gupta}@ee.washington.edu Dept of EE, University of Washington Seattle WA, 98195-2500 University of Washington, Dept. of EE, UWEETR-2006-0008 May 2006 Abstract This tutorial is an informal introduction to measure theory for people who are interested in reading papers that use measure theory. The tutorial assumes one has had at least a year of college-level calculus, some graduate level exposure to random processes, and familiarity with terms like “closed” and “open.” The focus is on the terms and ideas relevant to applied probability and information theory. There are no proofs and no exercises. Measure theory is a bit like grammar, many people communicate clearly without worrying about all the details, but the details do exist and for good reasons. There are a number of great texts that do measure theory justice. This is not one of them. Rather this is a hack way to get the basic ideas down so you can read through research papers and follow what’s going on. Hopefully, you’ll get curious and excited enough about the details to check out some of the references for a deeper understanding.
    [Show full text]
  • Function Spaces Mikko Salo
    Function spaces Lecture notes, Fall 2008 Mikko Salo Department of Mathematics and Statistics University of Helsinki Contents Chapter 1. Introduction 1 Chapter 2. Interpolation theory 5 2.1. Classical results 5 2.2. Abstract interpolation 13 2.3. Real interpolation 16 2.4. Interpolation of Lp spaces 20 Chapter 3. Fractional Sobolev spaces, Besov and Triebel spaces 27 3.1. Fourier analysis 28 3.2. Fractional Sobolev spaces 33 3.3. Littlewood-Paley theory 39 3.4. Besov and Triebel spaces 44 3.5. H¨olderand Zygmund spaces 54 3.6. Embedding theorems 60 Bibliography 63 v CHAPTER 1 Introduction In mathematical analysis one deals with functions which are dif- ferentiable (such as continuously differentiable) or integrable (such as square integrable or Lp). It is often natural to combine the smoothness and integrability requirements, which leads one to introduce various spaces of functions. This course will give a brief introduction to certain function spaces which are commonly encountered in analysis. This will include H¨older, Lipschitz, Zygmund, Sobolev, Besov, and Triebel-Lizorkin type spaces. We will try to highlight typical uses of these spaces, and will also give an account of interpolation theory which is an important tool in their study. The first part of the course covered integer order Sobolev spaces in domains in Rn, following Evans [4, Chapter 5]. These lecture notes contain the second part of the course. Here the emphasis is on Sobolev type spaces where the smoothness index may be any real number. This second part of the course is more or less self-contained, in that we will use the first part mainly as motivation.
    [Show full text]
  • Mathematics Support Class Can Succeed and Other Projects To
    Mathematics Support Class Can Succeed and Other Projects to Assist Success Georgia Department of Education Divisions for Special Education Services and Supports 1870 Twin Towers East Atlanta, Georgia 30334 Overall Content • Foundations for Success (Math Panel Report) • Effective Instruction • Mathematical Support Class • Resources • Technology Georgia Department of Education Kathy Cox, State Superintendent of Schools FOUNDATIONS FOR SUCCESS National Mathematics Advisory Panel Final Report, March 2008 Math Panel Report Two Major Themes Curricular Content Learning Processes Instructional Practices Georgia Department of Education Kathy Cox, State Superintendent of Schools Two Major Themes First Things First Learning as We Go Along • Positive results can be • In some areas, adequate achieved in a research does not exist. reasonable time at • The community will learn accessible cost by more later on the basis of addressing clearly carefully evaluated important things now practice and research. • A consistent, wise, • We should follow a community-wide effort disciplined model of will be required. continuous improvement. Georgia Department of Education Kathy Cox, State Superintendent of Schools Curricular Content Streamline the Mathematics Curriculum in Grades PreK-8: • Focus on the Critical Foundations for Algebra – Fluency with Whole Numbers – Fluency with Fractions – Particular Aspects of Geometry and Measurement • Follow a Coherent Progression, with Emphasis on Mastery of Key Topics Avoid Any Approach that Continually Revisits Topics without Closure Georgia Department of Education Kathy Cox, State Superintendent of Schools Learning Processes • Scientific Knowledge on Learning and Cognition Needs to be Applied to the classroom to Improve Student Achievement: – To prepare students for Algebra, the curriculum must simultaneously develop conceptual understanding, computational fluency, factual knowledge and problem solving skills.
    [Show full text]
  • Stone-Weierstrass Theorems for the Strict Topology
    STONE-WEIERSTRASS THEOREMS FOR THE STRICT TOPOLOGY CHRISTOPHER TODD 1. Let X be a locally compact Hausdorff space, E a (real) locally convex, complete, linear topological space, and (C*(X, E), ß) the locally convex linear space of all bounded continuous functions on X to E topologized with the strict topology ß. When E is the real num- bers we denote C*(X, E) by C*(X) as usual. When E is not the real numbers, C*(X, E) is not in general an algebra, but it is a module under multiplication by functions in C*(X). This paper considers a Stone-Weierstrass theorem for (C*(X), ß), a generalization of the Stone-Weierstrass theorem for (C*(X, E), ß), and some of the immediate consequences of these theorems. In the second case (when E is arbitrary) we replace the question of when a subalgebra generated by a subset S of C*(X) is strictly dense in C*(X) by the corresponding question for a submodule generated by a subset S of the C*(X)-module C*(X, E). In what follows the sym- bols Co(X, E) and Coo(X, E) will denote the subspaces of C*(X, E) consisting respectively of the set of all functions on I to £ which vanish at infinity, and the set of all functions on X to £ with compact support. Recall that the strict topology is defined as follows [2 ] : Definition. The strict topology (ß) is the locally convex topology defined on C*(X, E) by the seminorms 11/11*,,= Sup | <¡>(x)f(x)|, xçX where v ranges over the indexed topology on E and </>ranges over Co(X).
    [Show full text]
  • Fourier Analysis in Function Space Theory
    Course No. 401-4463-62L Fourier Analysis in Function Space Theory Dozent: Tristan Rivi`ere Assistant: Alessandro Pigati Contents 1 The Fourier transform of tempered distributions 1 1.1 The Fourier transforms of L1 functions . 1 1.2 The Schwartz Space S(Rn)........................... 4 1.3 Frechet Spaces . 6 1.4 The space of tempered distributions S0(Rn).................. 12 1.5 Convolutions in S0(Rn)............................. 21 2 The Hardy-Littlewood Maximal Function 26 2.1 Definition and elementary properties. 26 2.2 Hardy-Littlewood Lp−theorem for the Maximal Function. 27 2.3 The limiting case p =1. ............................ 30 3 Quasi-normed vector spaces 32 3.1 The Metrizability of quasi-normed vector spaces . 32 3.2 The Lorentz spaces Lp;1 ............................ 36 3.3 Decreasing rearrangement . 37 3.4 The Lorentz spaces Lp;q ............................ 39 3.5 Functional inequalities for Lorentz spaces . 44 3.6 Dyadic characterization of some Lorentz spaces and another proof of Lorentz{ Sobolev embedding (optional) . 49 4 The Lp−theory of Calder´on-Zygmund convolution operators. 52 4.1 Calder´on-Zygmund decompositions. 52 4.2 An application of Calder´on-Zygmund decomposition . 54 4.3 The Marcinkiewicz Interpolation Theorem - The Lp case . 56 4.4 Calderon Zygmund Convolution Operators over Lp ............. 58 4.4.1 A \primitive" formulation . 60 4.4.2 A singular integral type formulation . 64 4.4.3 The case of homogeneous kernels . 69 4.4.4 A multiplier type formulation . 71 4.4.5 Applications: The Lp theory of the Riesz Transform and the Laplace and Bessel Operators . 74 4.4.6 The limiting case p =1........................
    [Show full text]
  • Learning Support Competencies-Math
    Mathematics Learning Support Curriculum The mathematics curriculum sub-committee was tasked with developing a curriculum designed to prepare students to be successful in their first college level mathematics course. To satisfy federal guidelines for financial aid, alignment of curriculum with the Department of Education high school mathematics curriculum standards established a floor for the mathematics learning support curriculum. The mathematics sub- committee was directed to use the ACT college readiness standards and alignment with a mathematics ACT benchmark sub score of 22 as guidelines to set a ceiling for curriculum designated for learning support credit. Based on the statewide curriculum survey, comparisons’ with ACT readiness standards as well as the committee members’ teaching experience, the mathematics curriculum sub-committee recommends the following: Primary Recommendations: 1) Mathematics curriculum should be defined and organized into competencies points for assessment, placement, and transferability. 2) In order to prepare students to enter into non-algebra intensive college-level math courses, the committee recommends that students demonstrate mastery of five competencies points prior to enrollment in any college level math course. 3) Additional curriculum is necessary to prepare students for algebra intensive courses and should be provided at the college level. The students will o Develop study skills for success . Understand students’ learning styles. Use the textbook, software and note taking to assist the learning process . Read and follow instructions. o Communicate mathematically (with appropriate vocabulary) . Articulate the process of finding and interpreting the meaning of solutions. Use symbols, diagrams, graphs and words to reason logically and form appropriate implications. o Be problem solvers . Experiment with problem solving strategies.
    [Show full text]
  • A Simpler Description of the $\Kappa $-Topologies on the Spaces
    A simpler description of the κ-topologies on p 1 the spaces DLp, L , M Christian Bargetz,∗ Eduard A. Nigsch,† Norbert Ortner‡ November 2017 Abstract p 1 The κ-topologies on the spaces DLp , L and M are defined by a neighbourhood basis consisting of polars of absolutely convex and compact subsets of their (pre-)dual spaces. In many cases it is more convenient to work with a description of the topology by means of a family of semi-norms defined by multiplication and/or convolution with functions and by classical norms. We give such families of semi- norms generating the κ-topologies on the above spaces of functions and measures defined by integrability properties. In addition, we present a sequence-space representation of the spaces DLp equipped with the κ-topology, which complements a result of J. Bonet and M. Maestre. As a byproduct, we give a characterisation of the compact subsets of 1 p 1 the spaces DLp , L and M . Keywords: locally convex distribution spaces, topology of uniform conver- gence on compact sets, p-integrable smooth functions, compact sets arXiv:1711.06577v2 [math.FA] 27 Nov 2018 MSC2010 Classification: 46F05, 46E10, 46A13, 46E35, 46A50, 46B50 ∗Institut f¨ur Mathematik, Universit¨at Innsbruck, Technikerstraße 13, 6020 Innsbruck, Austria. e-mail: [email protected]. †Wolfgang Pauli Institut, Oskar-Morgenstern-Platz 1, 1090 Wien, Austria. e-mail: [email protected]. ‡Institut f¨ur Mathematik, Universit¨at Innsbruck, Technikerstraße 13, 6020 Innsbruck, Austria. e-mail: [email protected]. 1 1 Introduction In the context of the convolution of distributions, L.
    [Show full text]