DOCSLIB.ORG

Banach Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Banach Spaces 2. Banach spaces Definition. Let K be one of the fields R or C.A Banach space over K is a normed K-vector space (X, k . k), which is complete with respect to the metric d(x, y) = kx − yk, x, y ∈ X. Remark 2.1. Completeness for a normed vector space is a purely topological property. This means that, if k . k is a norm on X, such that (X, k . k) is a Banch space, then so is (X, k . k0), where k . k0 is any norm equivalent to k . k. This is due to the fact that, if k . k0 is equivalent to k . k, then one has Ckxk ≤ kxk0 ≤ Dkxk, ∀ x ∈ X, ∞ for some constants C, D > 0. This clearly gives the fact that a sequence (xn)n=1 ⊂ X is Cauchy with respect to k . k, if and only if it is Cauchy with respect to k . k0. Example 2.1. The field K, equipped with the absolute value norm, is a Banach space. More generally, the vector space Kn, equipped with the norm k(λ1, . , λn)k∞ = max{|λ1|,..., |λn|}, is a Banach space. Remark 2.2. Since any two norms on a finite dimensional space are equivalent, by Proposition 1.4, it follows that any finite dimensional normed vector space is a Banach space. Below is an interesting application of this fact. Proposition 2.1. Let X be a normed vector space, and let Y ⊂ X be a finite dimensional linear subspace. (i) Y is closed. (ii) More generally, if Z ⊂ X is a closed subspace, then the linear subspace Y + Z is also closed. ∞ Proof. (i). Start with some sequence (yn)n=1 ⊂ Y, which is convergent to some point x ∈ X, and let us show that x ∈ Y. By the above Remark, when equipped with the norm coming from X, the normed vector space Y is complete. ∞ Since obviously (yn)n=1 is Cauchy, it will converge in Y to some vector y ∈ Y. Of course, this forces x = y, and we are done. (ii). Let us consider the quotient space X/Z, equipped with the quotient norm k . kX/Z, and the quotient map P : X → X/Z. By Proposition 1.5 we know that P is continuous. Since the linear subspace V = P (Y) ⊂ X/Z is finite dimensional, by part (i) it follows that V is closed in X/Z. By continuity, its preimage P −1(V) is closed in X. Now we are done since we obviously have the equality P −1(V) = Y + Z. Remark 2.3. Using the facts from the general theory of metric spaces, we know that for a normed vector space (X, k . k), the following are equivalent: (i) X is a Banach space; P∞ (ii) given any sequence (xn)n≥1 ⊂ X with n=1 kxnk < ∞, the sequence Pn (yn)n≥1 of partial sums, defined by yn = k=1 xk, is convergent; 79 80 CHAPTER II: ELEMENTS OF FUNCTIONAL ANALYSIS (iii) every Cauchy sequence in X has a convergent subsequence. This is pretty obvious, since the sequence of partial sums has the property that d(yn+1, yn) = kyn+1 − ynk = kxn+1k, ∀ n ≥ 1. There are several techniques for constructing new Banach space out of old ones. The result below is one example. Proposition 2.2. Let X be a Banach space, let Y be a normed vector space, and let T : X → Y be a surjective linear continuous map. Assume there exists some constant C > 0, such that • for every y ∈ Y, there exists x ∈ X with T x = y, and kxk ≤ Ckyk. Then Y is a Banach space. Proof. We are going to use the above characterization. Start with some ∞ P∞ ∞ sequence (yn)n=1 ⊂ Y, with n=1 kynk < ∞. Define the sequence (wn)n=1 ⊂ Y of Pn ∞ partial sums wn = k=1 yn, and let us prove that (wn)n=1 is convergent to some element in Y. Use the hypothesis to find, for each n ≥ 1, an element xn ∈ X, P∞ with T xn = yn, and kxnk ≤ Ckynk. In particular, we clearly have n=1 kxnk ≤ P∞ n=1 Ckynk < ∞. Using the fact that X is a Banach space, it follows that the ∞ Pn sequence (zn)n=1 defined by zn = k=1 xn is convergent to some z ∈ X. Since we have T zn = wn, ∀ n ≥ 1, by the continuity of T we get limn→∞ wn = T z. Corollary 2.1. Let X be a Banach space, and let Y be a closed linear subspace of X. When equipped with the quotient norm, the quotient space X/Y is a Banach space. Proof. Use the notations from Section 1. Consider the quotient map P : X 3 x 7−→ [x] ∈ X/Y. We know that P is linear, continnuous, and surjective. Let us check that P satisfies the hypothesis in Proposition 2.2, with C = 2. Start with some vector v ∈ X/Y, and let us show that there exists x ∈ X with P x = v (i.e. x ∈ v), such that kxk ≤ 2kvkX/Y . If v = 0, there is nothing to prove, because we can take x = 0. If v 6= 0, then we use the definition of the quotient norm kvkX/Y = inf kxk, x∈v combined with 2kvkX/Y > kvkX/Y . Exercise 1. Let X and Y be normed vector spaces. Consider the product X×Y, equipped with the natural vector space structure. (i) Prove that k(x, y)k = kxk + kyk,(x, y) ∈ X × Y defines a norm on X × Y. (ii) Prove that, when equipped with the above norm, X×Y is a Banach space, if and only if both X and Y are Banach spaces. Proposition 2.3. Let X be a normed vector space, and let Y be a Banach space. Then L(X, Y) is a Banach space, when equipped with the operator norm. Proof. Start with a Cauchy sequence (Tn)n≥1 ⊂ L(X, Y). This means that for every ε > 0, there exists some Nε such that (1) kTm − Tnk < ε, ∀ m, n ≥ Nε. §2. Banach spaces 81 Notice that, if one takes for example ε = 1, and we define C = 1 + max{kT1k, kT2k,..., kTN1 k}, then we clearly have (2) kTnk ≤ C, ∀ n ≥ 1. Notice that, using (1), we have (3) kTmx − Tnxk ≤ εkxk, ∀ m, n ≥ Nε, x ∈ X, which proves that • for every x ∈ X, the sequence (Tnx)n≥1 ⊂ Y is Cauchy. Since Y is a Banach space, for each x ∈ X, the sequence (Tn)n≥1 will be convergent. We define the map T : X → Y by T x = lim Tnx, x ∈ X. n→∞ Using (2) we immediately get kT xk ≤ Ckxk, ∀ x ∈ X. Since T is obviously linear, this prove that T is continuous. Finally, if we fix n ≥ Nε and we take limm→∞ in (3), we get kTnx − T xk ≤ εkxk, ∀ n ≥ Nε, x ∈ X, which proves precisely that we have the inequality kTn − T k ≤ ε, ∀ n ≥ Nε, hence (Tn)n≥1 is convergent to T in the norm topology. Corollary 2.2. If X is a normed vector space, then its topological dual X∗ = L(X, K) is a Banach space. Proof. Immediate from the fact that K is a Banach space. Example 2.2. Let K be either R or C, and let J be a non-empty set. For every p ∈ [1, ∞], the space `p (J), introduced in Section 1, is a Banach space. This K 1 ∗ p q ∗ follows from the isometric linear isomorphisms ` ' (c0) , and ` ' (` ) , where q is H¨older conjugate to p. Proposition 2.4. Let X be a Banach space, and let Z ⊂ X be a linear subspace. The following are equivalent: (i) Z is a Banach space, ehen equipped with the norm from X; (ii) Z is closed in X, in the norm topology. Proof. This is a particular case of a general result from the theory of complete metric spaces. Example 2.3. Let J be a non-empty set, and let K be one of the fields R or . Then cK(J) is a Banach space, since it is a closed linear subspace in `∞(J). C 0 K The following results give examples of Banach spaces coming from topology. Notation. Let K be one of the fields R or C, and let Ω be a topological space. We define K Cb (Ω) = {f :Ω → K : f bounded and continuous}. In the case when K = C we use the notation Cb(Ω). 82 CHAPTER II: ELEMENTS OF FUNCTIONAL ANALYSIS Proposition 2.5. With the notations above, if we define K kfk = sup |f(p)|, ∀ f ∈ Cb (Ω), p∈Ω K then Cb (Ω) is a Banach space. Proof. It is obvious that CK(Ω) is a linear subspace of `∞(Ω), and the norm b K is precisely the one coming from `∞(Ω). Therefore, it suffices to prove that CK(Ω) K b is closed in `∞(Ω). K K Start with some sequence (fn)n≥1 ⊂ Cb (Ω), which convergens in norm to some f ∈ `∞(Ω), and let us prove that f :Ω → is continuous (the fact that f is K K bounded is automatic). Fix some point p0 ∈ Ω, and some ε > 0. We need to find some neighborhood V of p0, such that |f(p) − f(p0)| < ε, ∀ p ∈ V. ε Start by choosing n such that kfn − fk < 3 . Use the fact that fn is continuous, to find a neighborhood V of p0, such that ε |f (p) − f (p )| < , ∀ Ω ∈ V. n n 0 3 Suppose now Ω ∈ V .
Load more

Recommended publications
  • On Quasi Norm Attaining Operators Between Banach Spaces
    ON QUASI NORM ATTAINING OPERATORS BETWEEN BANACH SPACES GEUNSU CHOI, YUN SUNG CHOI, MINGU JUNG, AND MIGUEL MART´IN Abstract. We provide a characterization of the Radon-Nikod´ymproperty in terms of the denseness of bounded linear operators which attain their norm in a weak sense, which complement the one given by Bourgain and Huff in the 1970's. To this end, we introduce the following notion: an operator T : X ÝÑ Y between the Banach spaces X and Y is quasi norm attaining if there is a sequence pxnq of norm one elements in X such that pT xnq converges to some u P Y with }u}“}T }. Norm attaining operators in the usual (or strong) sense (i.e. operators for which there is a point in the unit ball where the norm of its image equals the norm of the operator) and also compact operators satisfy this definition. We prove that strong Radon-Nikod´ymoperators can be approximated by quasi norm attaining operators, a result which does not hold for norm attaining operators in the strong sense. This shows that this new notion of quasi norm attainment allows to characterize the Radon-Nikod´ymproperty in terms of denseness of quasi norm attaining operators for both domain and range spaces, completing thus a characterization by Bourgain and Huff in terms of norm attaining operators which is only valid for domain spaces and it is actually false for range spaces (due to a celebrated example by Gowers of 1990). A number of other related results are also included in the paper: we give some positive results on the denseness of norm attaining Lipschitz maps, norm attaining multilinear maps and norm attaining polynomials, characterize both finite dimensionality and reflexivity in terms of quasi norm attaining operators, discuss conditions to obtain that quasi norm attaining operators are actually norm attaining, study the relationship with the norm attainment of the adjoint operator and, finally, present some stability results.
    [Show full text]
  • 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]
  • Functional Analysis Lecture Notes Chapter 3. Banach
    FUNCTIONAL ANALYSIS LECTURE NOTES CHAPTER 3. BANACH SPACES CHRISTOPHER HEIL 1. Elementary Properties and Examples Notation 1.1. Throughout, F will denote either the real line R or the complex plane C. All vector spaces are assumed to be over the field F. Definition 1.2. Let X be a vector space over the field F. Then a semi-norm on X is a function k · k: X ! R such that (a) kxk ≥ 0 for all x 2 X, (b) kαxk = jαj kxk for all x 2 X and α 2 F, (c) Triangle Inequality: kx + yk ≤ kxk + kyk for all x, y 2 X. A norm on X is a semi-norm which also satisfies: (d) kxk = 0 =) x = 0. A vector space X together with a norm k · k is called a normed linear space, a normed vector space, or simply a normed space. Definition 1.3. Let I be a finite or countable index set (for example, I = f1; : : : ; Ng if finite, or I = N or Z if infinite). Let w : I ! [0; 1). Given a sequence of scalars x = (xi)i2I , set 1=p jx jp w(i)p ; 0 < p < 1; 8 i kxkp;w = > Xi2I <> sup jxij w(i); p = 1; i2I > where these quantities could be infinite.:> Then we set p `w(I) = x = (xi)i2I : kxkp < 1 : n o p p p We call `w(I) a weighted ` space, and often denote it just by `w (especially if I = N). If p p w(i) = 1 for all i, then we simply call this space ` (I) or ` and write k · kp instead of k · kp;w.
    [Show full text]
  • The Nonstandard Theory of Topological Vector Spaces
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 172, October 1972 THE NONSTANDARDTHEORY OF TOPOLOGICAL VECTOR SPACES BY C. WARD HENSON AND L. C. MOORE, JR. ABSTRACT. In this paper the nonstandard theory of topological vector spaces is developed, with three main objectives: (1) creation of the basic nonstandard concepts and tools; (2) use of these tools to give nonstandard treatments of some major standard theorems ; (3) construction of the nonstandard hull of an arbitrary topological vector space, and the beginning of the study of the class of spaces which tesults. Introduction. Let Ml be a set theoretical structure and let *JR be an enlarge- ment of M. Let (E, 0) be a topological vector space in M. §§1 and 2 of this paper are devoted to the elementary nonstandard theory of (F, 0). In particular, in §1 the concept of 0-finiteness for elements of *E is introduced and the nonstandard hull of (E, 0) (relative to *3R) is defined. §2 introduces the concept of 0-bounded- ness for elements of *E. In §5 the elementary nonstandard theory of locally convex spaces is developed by investigating the mapping in *JK which corresponds to a given pairing. In §§6 and 7 we make use of this theory by providing nonstandard treatments of two aspects of the existing standard theory. In §6, Luxemburg's characterization of the pre-nearstandard elements of *E for a normed space (E, p) is extended to Hausdorff locally convex spaces (E, 8). This characterization is used to prove the theorem of Grothendieck which gives a criterion for the completeness of a Hausdorff locally convex space.
    [Show full text]
  • Eberlein-Šmulian Theorem and Some of Its Applications
    Eberlein-Šmulian theorem and some of its applications Kristina Qarri Supervisors Trond Abrahamsen Associate professor, PhD University of Agder Norway Olav Nygaard Professor, PhD University of Agder Norway This master’s thesis is carried out as a part of the education at the University of Agder and is therefore approved as a part of this education. However, this does not imply that the University answers for the methods that are used or the conclusions that are drawn. University of Agder, 2014 Faculty of Engineering and Science Department of Mathematics Contents Abstract 1 1 Introduction 2 1.1 Notation and terminology . 4 1.2 Cornerstones in Functional Analysis . 4 2 Basics of weak and weak* topologies 6 2.1 The weak topology . 7 2.2 Weak* topology . 16 3 Schauder Basis Theory 21 3.1 First Properties . 21 3.2 Constructing basic sequences . 37 4 Proof of the Eberlein Šmulian theorem due to Whitley 50 5 The weak topology and the topology of pointwise convergence on C(K) 58 6 A generalization of the Ebrlein-Šmulian theorem 64 7 Some applications to Tauberian operator theory 69 Summary 73 i Abstract The thesis is about Eberlein-Šmulian and some its applications. The goal is to investigate and explain different proofs of the Eberlein-Šmulian theorem. First we introduce the general theory of weak and weak* topology defined on a normed space X. Next we present the definition of a basis and a Schauder basis of a given Banach space. We give some examples and prove the main theorems which are needed to enjoy the proof of the Eberlein-Šmulian theorem given by Pelchynski in 1964.
    [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]
  • Functional Analysis Solutions to Exercise Sheet 6
    Institut für Analysis WS2019/20 Prof. Dr. Dorothee Frey 21.11.2019 M.Sc. Bas Nieraeth Functional Analysis Solutions to exercise sheet 6 Exercise 1: Properties of compact operators. (a) Let X and Y be normed spaces and let T 2 K(X; Y ). Show that R(T ) is separable. (b) Let X, Y , and Z be Banach spaces. Let T 2 K(X; Y ) and S 2 L(Y; Z), where S is injective. Prove that for every " > 0 there is a constant C ≥ 0 such that kT xk ≤ "kxk + CkST xk for all x 2 X. Solution: (a) Since bounded sets have a relatively compact image under T , for each n 2 N the sets T (nBX ) are totally bounded, where nBX := fx 2 X : kxk ≤ ng. Then it follows from Exercise 1 of Exercise sheet 3 that T (nBX ) is separable. But then ! [ [ T (nBX ) = T nBX = T (X) = R(T ) n2N n2N is also separable, as it is a countable union of separable sets. The assertion follows. (b) First note that by using a homogeneity argument, one finds that this result is true, ifand only it is true for x 2 X with kxk = 1. Thus, it remains to prove the result for x 2 X with kxk = 1. We argue by contradiction. If the result does not hold, then there is an " > 0 such that for all C ≥ 0 there exists and x 2 X with kxk = 1 such that kT xk > " + CkST xk. By choosing C = n for n 2 N, we find a sequence (xn)n2N in X with kxnk = 1 such that kT xnk > " + nkST xnk: (1) Since (xn)n2N is bounded and T is compact, there exists a subsequence (T xnj )j2N with limit y 2 Y .
    [Show full text]
  • Arxiv:2003.03538V1 [Math.FA] 7 Mar 2020 Ooois Otniy Discontinuity
    CONTINUITY AND DISCONTINUITY OF SEMINORMS ON INFINITE-DIMENSIONAL VECTOR SPACES. II JACEK CHMIELINSKI´ Department of Mathematics, Pedagogical University of Krak´ow Krak´ow, Poland E-mail: [email protected] MOSHE GOLDBERG1 Department of Mathematics, Technion – Israel Institute of Technology Haifa, Israel E-mail: [email protected] Abstract. In this paper we extend our findings in [3] and answer further questions regard- ing continuity and discontinuity of seminorms on infinite-dimensional vector spaces. Throughout this paper let X be a vector space over a field F, either R or C. As usual, a real-valued function N : X → R is a norm on X if for all x, y ∈ X and α ∈ F, N(x) > 0, x =06 , N(αx)= |α|N(x), N(x + y) ≤ N(x)+ N(y). Furthermore, a real-valued function S : X → R is called a seminorm if for all x, y ∈ X and α ∈ F, arXiv:2003.03538v1 [math.FA] 7 Mar 2020 S(x) ≥ 0, S(αx)= |α|S(x), S(x + y) ≤ S(x)+ S(y); hence, a norm is a positive-definite seminorm. Using standard terminology, we say that a seminorm S is proper if S does not vanish identically and S(x) = 0 for some x =6 0 or, in other words, if ker S := {x ∈ X : S(x)=0}, is a nontrivial proper subspace of X. 2010 Mathematics Subject Classification. 15A03, 47A30, 54A10, 54C05. Key words and phrases. infinite-dimensional vector spaces, Banach spaces, seminorms, norms, norm- topologies, continuity, discontinuity. 1Corresponding author. 1 2 JACEK CHMIELINSKI´ AND MOSHE GOLDBERG Lastly, just as for norms, we say that seminorms S1 and S2 are equivalent on X, if there exist positive constants β ≤ γ such that for all x ∈ X, βS1(x) ≤ S2(x) ≤ γS1(x).
    [Show full text]
  • 1 the Principal of Uniform Boundedness
    THE PRINCIPLE OF UNIFORM BOUNDEDNESS 1 The Principal of Uniform Boundedness Many of the most important theorems in analysis assert that pointwise hy- potheses imply uniform conclusions. Perhaps the simplest example is the theorem that a continuous function on a compact set is uniformly contin- uous. The main theorem in this section concerns a family of bounded lin- ear operators, and asserts that the family is uniformly bounded (and hence equicontinuous) if it is pointwise bounded. We begin by defining these terms precisely. Definition 1.1 Let A be a family of linear operators from a normed space X to a normed space Y . We say that A is pointwise bounded if supA2AfkAxkg < 1 for every x 2 X. We say A is uniformly bounded if supA2AfkAkg < 1. It is possible for a single linear operator to be pointwise bounded without being bounded (Exercise), so the hypothesis in the next theorem that each individual operator is bounded is essential. Theorem 1.2 (The Principle of Uniform Boundedness) Let A ⊆ L(X; Y ) be a family of bounded linear operators from a Banach space X to a normed space Y . Then A is uniformly bounded if and only if it is pointwise bounded. Proof We will assume that A is pointwise bounded but not uniformly bounded, and obtain a contradiction. For each x 2 X, define M(x) := supA2AfkAxkg; our assumption is that M(x) < 1 for every x. Observe that if A is not uniformly bounded, then for any pair of positive numbers and C there must exist some A 2 A with kAk > C/, and hence some x 2 X with kxk = but kAxk > C.
    [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]
  • ARZEL`A-ASCOLI's THEOREM in UNIFORM SPACES Mateusz Krukowski 1. Introduction. Around 1883, Cesare Arzel`
    DISCRETE AND CONTINUOUS doi:10.3934/dcdsb.2018020 DYNAMICAL SYSTEMS SERIES B Volume 23, Number 1, January 2018 pp. 283{294 ARZELA-ASCOLI'S` THEOREM IN UNIFORM SPACES Mateusz Krukowski∗ L´od´zUniversity of Technology, Institute of Mathematics W´olcza´nska 215, 90-924L´od´z, Poland Abstract. In the paper, we generalize the Arzel`a-Ascoli'stheorem in the setting of uniform spaces. At first, we recall the Arzel`a-Ascolitheorem for functions with locally compact domains and images in uniform spaces, coming from monographs of Kelley and Willard. The main part of the paper intro- duces the notion of the extension property which, similarly as equicontinuity, equates different topologies on C(X; Y ). This property enables us to prove the Arzel`a-Ascoli'stheorem for uniform convergence. The paper culminates with applications, which are motivated by Schwartz's distribution theory. Using the Banach-Alaoglu-Bourbaki's theorem, we establish the relative compactness of 0 n subfamily of C(R; D (R )). 1. Introduction. Around 1883, Cesare Arzel`aand Giulio Ascoli provided the nec- essary and sufficient conditions under which every sequence of a given family of real-valued continuous functions, defined on a closed and bounded interval, has a uniformly convergent subsequence. Since then, numerous generalizations of this result have been obtained. For instance, in [10], p. 278 the compact families of C(X; R), with X a compact space, are exactly those which are equibounded and equicontinuous. The space C(X; R) is given with the standard norm kfk := sup jf(x)j; x2X where f 2 C(X; R).
    [Show full text]
  • Interpolation of Multilinear Operators Acting Between Quasi-Banach Spaces
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 142, Number 7, July 2014, Pages 2507–2516 S 0002-9939(2014)12083-1 Article electronically published on April 8, 2014 INTERPOLATION OF MULTILINEAR OPERATORS ACTING BETWEEN QUASI-BANACH SPACES L. GRAFAKOS, M. MASTYLO, AND R. SZWEDEK (Communicated by Alexander Iosevich) Abstract. We show that interpolation of multilinear operators can be lifted to multilinear operators from spaces generated by the minimal methods to spaces generated by the maximal methods of interpolation defined on a class of couples of compatible p -Banach spaces. We also prove the multilinear interpolation theorem for operators on Calder´on-Lozanovskii spaces between Lp-spaces with 0 <p≤ 1. As an application we obtain interpolation theorems for multilinear operators on quasi-Banach Orlicz spaces. 1. Introduction In the study of the many problems which appear in various areas of analysis it is essential to know whether important operators are bounded between certain quasi-Banach spaces. Motivated in particular by applications in harmonic analysis, we are interested in proving new abstract multilinear interpolation theorems for multilinear operators between quasi-Banach spaces. Based on ideas from the theory of operators between Banach spaces, we use the universal method of interpolation defined on proper classes of quasi-Banach spaces. It should be pointed out that in general the interpolation methods used in the case of Banach spaces do not apply in the setting of quasi-Banach spaces. The main reason is that the topological dual spaces of quasi-Banach spaces could be trivial and the same may be true for spaces of continuous linear operators between spaces from a wide class of quasi-Banach spaces.
    [Show full text]