DOCSLIB.ORG

Embedding Banach Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Embedding Banach Spaces Embedding Banach spaces. Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, and Andras Zsak January 24, 2009 Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, andEmbedding Andras Zsak Banach spaces. Definition (Banach space) A normed vector space (X ; k · k) is called a Banach space if X is complete in the norm topology. Definition (Schauder basis) 1 A sequence (xi )i=1 ⊂ X is called a basis for X if for every x 2 X there exists a 1 P1 unique sequence of scalars (ai )i=1 such that x = i=1 ai xi . Question (Mazur '36) Does every separable Banach space have a basis? Theorem (Enflo '72) No. Background Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, andEmbedding Andras Zsak Banach spaces. Definition (Schauder basis) 1 A sequence (xi )i=1 ⊂ X is called a basis for X if for every x 2 X there exists a 1 P1 unique sequence of scalars (ai )i=1 such that x = i=1 ai xi . Question (Mazur '36) Does every separable Banach space have a basis? Theorem (Enflo '72) No. Background Definition (Banach space) A normed vector space (X ; k · k) is called a Banach space if X is complete in the norm topology. Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, andEmbedding Andras Zsak Banach spaces. Question (Mazur '36) Does every separable Banach space have a basis? Theorem (Enflo '72) No. Background Definition (Banach space) A normed vector space (X ; k · k) is called a Banach space if X is complete in the norm topology. Definition (Schauder basis) 1 A sequence (xi )i=1 ⊂ X is called a basis for X if for every x 2 X there exists a 1 P1 unique sequence of scalars (ai )i=1 such that x = i=1 ai xi . Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, andEmbedding Andras Zsak Banach spaces. Theorem (Enflo '72) No. Background Definition (Banach space) A normed vector space (X ; k · k) is called a Banach space if X is complete in the norm topology. Definition (Schauder basis) 1 A sequence (xi )i=1 ⊂ X is called a basis for X if for every x 2 X there exists a 1 P1 unique sequence of scalars (ai )i=1 such that x = i=1 ai xi . Question (Mazur '36) Does every separable Banach space have a basis? Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, andEmbedding Andras Zsak Banach spaces. No. Background Definition (Banach space) A normed vector space (X ; k · k) is called a Banach space if X is complete in the norm topology. Definition (Schauder basis) 1 A sequence (xi )i=1 ⊂ X is called a basis for X if for every x 2 X there exists a 1 P1 unique sequence of scalars (ai )i=1 such that x = i=1 ai xi . Question (Mazur '36) Does every separable Banach space have a basis? Theorem (Enflo '72) Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, andEmbedding Andras Zsak Banach spaces. Background Definition (Banach space) A normed vector space (X ; k · k) is called a Banach space if X is complete in the norm topology. Definition (Schauder basis) 1 A sequence (xi )i=1 ⊂ X is called a basis for X if for every x 2 X there exists a 1 P1 unique sequence of scalars (ai )i=1 such that x = i=1 ai xi . Question (Mazur '36) Does every separable Banach space have a basis? Theorem (Enflo '72) No. Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, andEmbedding Andras Zsak Banach spaces. Every separable Banach space is isometric to a subspace of C[0; 1]. Question Given a Banach space X with some desirable structure, does X embed into a Banach space Y with a basis having some related structure? Theorem (Zippin '88) A separable Banach space X is reflexive if and only if X embeds into a Banach space Y with a basis which is boundedly complete and shrinking. A separable Banach space X has separable dual if and only if X embeds into a Banach space Y with a basis which is shrinking. Old embedding results Theorem (Banach) Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, andEmbedding Andras Zsak Banach spaces. Question Given a Banach space X with some desirable structure, does X embed into a Banach space Y with a basis having some related structure? Theorem (Zippin '88) A separable Banach space X is reflexive if and only if X embeds into a Banach space Y with a basis which is boundedly complete and shrinking. A separable Banach space X has separable dual if and only if X embeds into a Banach space Y with a basis which is shrinking. Old embedding results Theorem (Banach) Every separable Banach space is isometric to a subspace of C[0; 1]. Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, andEmbedding Andras Zsak Banach spaces. Theorem (Zippin '88) A separable Banach space X is reflexive if and only if X embeds into a Banach space Y with a basis which is boundedly complete and shrinking. A separable Banach space X has separable dual if and only if X embeds into a Banach space Y with a basis which is shrinking. Old embedding results Theorem (Banach) Every separable Banach space is isometric to a subspace of C[0; 1]. Question Given a Banach space X with some desirable structure, does X embed into a Banach space Y with a basis having some related structure? Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, andEmbedding Andras Zsak Banach spaces. A separable Banach space X is reflexive if and only if X embeds into a Banach space Y with a basis which is boundedly complete and shrinking. A separable Banach space X has separable dual if and only if X embeds into a Banach space Y with a basis which is shrinking. Old embedding results Theorem (Banach) Every separable Banach space is isometric to a subspace of C[0; 1]. Question Given a Banach space X with some desirable structure, does X embed into a Banach space Y with a basis having some related structure? Theorem (Zippin '88) Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, andEmbedding Andras Zsak Banach spaces. A separable Banach space X has separable dual if and only if X embeds into a Banach space Y with a basis which is shrinking. Old embedding results Theorem (Banach) Every separable Banach space is isometric to a subspace of C[0; 1]. Question Given a Banach space X with some desirable structure, does X embed into a Banach space Y with a basis having some related structure? Theorem (Zippin '88) A separable Banach space X is reflexive if and only if X embeds into a Banach space Y with a basis which is boundedly complete and shrinking. Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, andEmbedding Andras Zsak Banach spaces. Old embedding results Theorem (Banach) Every separable Banach space is isometric to a subspace of C[0; 1]. Question Given a Banach space X with some desirable structure, does X embed into a Banach space Y with a basis having some related structure? Theorem (Zippin '88) A separable Banach space X is reflexive if and only if X embeds into a Banach space Y with a basis which is boundedly complete and shrinking. A separable Banach space X has separable dual if and only if X embeds into a Banach space Y with a basis which is shrinking. Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, andEmbedding Andras Zsak Banach spaces. Definition (Schauder frame) 1 Let X be an infinite dimensional separable Banach space. A sequence (xi ; fi )i=1 1 1 ∗ with (xi )i=1 ⊂ X and (fi )i=1 ⊂ X is called a frame of X if for every x 2 X , P x = fi (x)xi . 1 P The sequence (xi ; fi )i=1 is called an unconditional frame of X if fi (x)xi converges unconditionally to x 2 X . Theorem (Casazza, Han, Larson '99 and Casazza, Dilworth, Odell, Schlumprecht, Zsak '07) 1 1 ∗ Let X be a separable Banach space and let (xi )i=1 ⊂ X and (fi )i=1 ⊂ X . 1 (xi ; fi )i=1 is a frame of X if and only if there is a Banach space Z with a basis 1 ∗ 1 (zi )i=1 having coordinate functionals (zi )i=1 and an isomorphic embedding T : X ! Z and a bounded linear surjection S : Z ! X such that S ◦ T = IdX ∗ ∗ and S(zi ) = xi and T (zi ) = fi for all i 2 N with xi 6= 0. Essentially, frames are characterized as projections of bases onto complemented subspaces. Banach frames Daniel Freeman with Edward Odell, Thomas Schlumprecht, Richard Haydon, andEmbedding Andras Zsak Banach spaces. 1 Let X be an infinite dimensional separable Banach space. A sequence (xi ; fi )i=1 1 1 ∗ with (xi )i=1 ⊂ X and (fi )i=1 ⊂ X is called a frame of X if for every x 2 X , P x = fi (x)xi . 1 P The sequence (xi ; fi )i=1 is called an unconditional frame of X if fi (x)xi converges unconditionally to x 2 X . Theorem (Casazza, Han, Larson '99 and Casazza, Dilworth, Odell, Schlumprecht, Zsak '07) 1 1 ∗ Let X be a separable Banach space and let (xi )i=1 ⊂ X and (fi )i=1 ⊂ X . 1 (xi ; fi )i=1 is a frame of X if and only if there is a Banach space Z with a basis 1 ∗ 1 (zi )i=1 having coordinate functionals (zi )i=1 and an isomorphic embedding T : X ! Z and a bounded linear surjection S : Z ! X such that S ◦ T = IdX ∗ ∗ and S(zi ) = xi and T (zi ) = fi for all i 2 N with xi 6= 0.
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]
  • Quantitative Hahn-Banach Theorems and Isometric Extensions for Wavelet and Other Banach Spaces
    Axioms 2013, 2, 224-270; doi:10.3390/axioms2020224 OPEN ACCESS axioms ISSN 2075-1680 www.mdpi.com/journal/axioms Article Quantitative Hahn-Banach Theorems and Isometric Extensions for Wavelet and Other Banach Spaces Sergey Ajiev School of Mathematical Sciences, Faculty of Science, University of Technology-Sydney, P.O. Box 123, Broadway, NSW 2007, Australia; E-Mail: [email protected] Received: 4 March 2013; in revised form: 12 May 2013 / Accepted: 14 May 2013 / Published: 23 May 2013 Abstract: We introduce and study Clarkson, Dol’nikov-Pichugov, Jacobi and mutual diameter constants reflecting the geometry of a Banach space and Clarkson, Jacobi and Pichugov classes of Banach spaces and their relations with James, self-Jung, Kottman and Schaffer¨ constants in order to establish quantitative versions of Hahn-Banach separability theorem and to characterise the isometric extendability of Holder-Lipschitz¨ mappings. Abstract results are further applied to the spaces and pairs from the wide classes IG and IG+ and non-commutative Lp-spaces. The intimate relation between the subspaces and quotients of the IG-spaces on one side and various types of anisotropic Besov, Lizorkin-Triebel and Sobolev spaces of functions on open subsets of an Euclidean space defined in terms of differences, local polynomial approximations, wavelet decompositions and other means (as well as the duals and the lp-sums of all these spaces) on the other side, allows us to present the algorithm of extending the main results of the article to the latter spaces and pairs. Special attention is paid to the matter of sharpness. Our approach is quasi-Euclidean in its nature because it relies on the extrapolation of properties of Hilbert spaces and the study of 1-complemented subspaces of the spaces under consideration.
    [Show full text]
  • Proximal Analysis and Boundaries of Closed Sets in Banach Space, Part I: Theory
    Can. J. Math., Vol. XXXVIII, No. 2, 1986, pp. 431-452 PROXIMAL ANALYSIS AND BOUNDARIES OF CLOSED SETS IN BANACH SPACE, PART I: THEORY J. M. BORWEIN AND H. M. STROJWAS 0. Introduction. As various types of tangent cones, generalized deriva­ tives and subgradients prove to be a useful tool in nonsmooth optimization and nonsmooth analysis, we witness a considerable interest in analysis of their properties, relations and applications. Recently, Treiman [18] proved that the Clarke tangent cone at a point to a closed subset of a Banach space contains the limit inferior of the contingent cones to the set at neighbouring points. We provide a considerable strengthening of this result for reflexive spaces. Exploring the analogous inclusion in which the contingent cones are replaced by pseudocontingent cones we have observed that it does not hold any longer in a general Banach space, however it does in reflexive spaces. Among the several basic relations we have discovered is the following one: the Clarke tangent cone at a point to a closed subset of a reflexive Banach space is equal to the limit inferior of the weak (pseudo) contingent cones to the set at neighbouring points. This generalizes the results of Penot [14] and Cornet [7] for finite dimensional spaces and of Penot [14] for reflexive spaces. What is more we show that this equality characterizes reflex­ ive spaces among Banach spaces, similarly as the analogous equality with the contingent cones instead of the weak contingent cones, characterizes finite dimensional spaces among Banach spaces. We also present several other related characterizations of reflexive spaces and variants of the considered inclusions for boundedly relatively weakly compact sets.
    [Show full text]
  • Almost Transitive and Maximal Norms in Banach Spaces
    JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000{000 S 0894-0347(XX)0000-0 ALMOST TRANSITIVE AND MAXIMAL NORMS IN BANACH SPACES S. J. DILWORTH AND B. RANDRIANANTOANINA Dedicated to the memory of Ted Odell 1. Introduction The long-standing Banach-Mazur rotation problem [2] asks whether every sepa- rable Banach space with a transitive group of isometries is isometrically isomorphic to a Hilbert space. This problem has attracted a lot of attention in the literature (see a survey [3]) and there are several related open problems. In particular it is not known whether a separable Banach space with a transitive group of isometries is isomorphic to a Hilbert space, and, until now, it was unknown if such a space could be isomorphic to `p for some p 6= 2. We show in this paper that this is impossible and we provide further restrictions on classes of spaces that admit transitive or almost transitive equivalent norms (a norm on X is called almost transitive if the orbit under the group of isometries of any element x in the unit sphere of X is norm dense in the unit sphere of X). It has been known for a long time [28] that every separable Banach space (X; k·k) is complemented in a separable almost transitive space (Y; k · k), its norm being an extension of the norm on X. In 1993 Deville, Godefroy and Zizler [9, p. 176] (cf. [12, Problem 8.12]) asked whether every super-reflexive space admits an equiva- lent almost transitive norm.
    [Show full text]
  • FUNCTIONAL ANALYSIS 1. Banach and Hilbert Spaces in What
    FUNCTIONAL ANALYSIS PIOTR HAJLASZ 1. Banach and Hilbert spaces In what follows K will denote R of C. Definition. A normed space is a pair (X, k · k), where X is a linear space over K and k · k : X → [0, ∞) is a function, called a norm, such that (1) kx + yk ≤ kxk + kyk for all x, y ∈ X; (2) kαxk = |α|kxk for all x ∈ X and α ∈ K; (3) kxk = 0 if and only if x = 0. Since kx − yk ≤ kx − zk + kz − yk for all x, y, z ∈ X, d(x, y) = kx − yk defines a metric in a normed space. In what follows normed paces will always be regarded as metric spaces with respect to the metric d. A normed space is called a Banach space if it is complete with respect to the metric d. Definition. Let X be a linear space over K (=R or C). The inner product (scalar product) is a function h·, ·i : X × X → K such that (1) hx, xi ≥ 0; (2) hx, xi = 0 if and only if x = 0; (3) hαx, yi = αhx, yi; (4) hx1 + x2, yi = hx1, yi + hx2, yi; (5) hx, yi = hy, xi, for all x, x1, x2, y ∈ X and all α ∈ K. As an obvious corollary we obtain hx, y1 + y2i = hx, y1i + hx, y2i, hx, αyi = αhx, yi , Date: February 12, 2009. 1 2 PIOTR HAJLASZ for all x, y1, y2 ∈ X and α ∈ K. For a space with an inner product we define kxk = phx, xi . Lemma 1.1 (Schwarz inequality).
    [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]
  • Elements of Linear Algebra, Topology, and Calculus
    00˙AMS September 23, 2007 © Copyright, Princeton University Press. No part of this book may be distributed, posted, or reproduced in any form by digital or mechanical means without prior written permission of the publisher. Appendix A Elements of Linear Algebra, Topology, and Calculus A.1 LINEAR ALGEBRA We follow the usual conventions of matrix computations. Rn×p is the set of all n p real matrices (m rows and p columns). Rn is the set Rn×1 of column vectors× with n real entries. A(i, j) denotes the i, j entry (ith row, jth column) of the matrix A. Given A Rm×n and B Rn×p, the matrix product Rm×p ∈ n ∈ AB is defined by (AB)(i, j) = k=1 A(i, k)B(k, j), i = 1, . , m, j = 1∈, . , p. AT is the transpose of the matrix A:(AT )(i, j) = A(j, i). The entries A(i, i) form the diagonal of A. A Pmatrix is square if is has the same number of rows and columns. When A and B are square matrices of the same dimension, [A, B] = AB BA is termed the commutator of A and B. A matrix A is symmetric if −AT = A and skew-symmetric if AT = A. The commutator of two symmetric matrices or two skew-symmetric matrices− is symmetric, and the commutator of a symmetric and a skew-symmetric matrix is skew-symmetric. The trace of A is the sum of the diagonal elements of A, min(n,p ) tr(A) = A(i, i). i=1 X We have the following properties (assuming that A and B have adequate dimensions) tr(A) = tr(AT ), (A.1a) tr(AB) = tr(BA), (A.1b) tr([A, B]) = 0, (A.1c) tr(B) = 0 if BT = B, (A.1d) − tr(AB) = 0 if AT = A and BT = B.
    [Show full text]
  • Linear Spaces
    Chapter 2 Linear Spaces Contents FieldofScalars ........................................ ............. 2.2 VectorSpaces ........................................ .............. 2.3 Subspaces .......................................... .............. 2.5 Sumofsubsets........................................ .............. 2.5 Linearcombinations..................................... .............. 2.6 Linearindependence................................... ................ 2.7 BasisandDimension ..................................... ............. 2.7 Convexity ............................................ ............ 2.8 Normedlinearspaces ................................... ............... 2.9 The `p and Lp spaces ............................................. 2.10 Topologicalconcepts ................................... ............... 2.12 Opensets ............................................ ............ 2.13 Closedsets........................................... ............. 2.14 Boundedsets......................................... .............. 2.15 Convergence of sequences . ................... 2.16 Series .............................................. ............ 2.17 Cauchysequences .................................... ................ 2.18 Banachspaces....................................... ............... 2.19 Completesubsets ....................................... ............. 2.19 Transformations ...................................... ............... 2.21 Lineartransformations.................................. ................ 2.21
    [Show full text]
  • Four Proofs of Cocompacness for Sobolev Embeddings 3
    Four proofs of cocompacness for Sobolev embeddings Cyril Tintarev Abstract. Cocompactness is a property of embeddings between two Banach spaces, similar to but weaker than compactness, defined relative to some non- compact group of bijective isometries. In presence of a cocompact embedding, bounded sequences (in the domain space) have subsequences that can be rep- resented as a sum of a well-structured“bubble decomposition” (or defect of compactness) plus a remainder vanishing in the target space. This note is an exposition of different proofs of cocompactness for Sobolev-type embeddings, which employ methods of classical PDE, potential theory, and harmonic anal- ysis. 1. Introduction Cocompactness is a property of continuous embeddings between two Banach spaces, defined as follows. Definition 1.1. Let X be a reflexive Banach space continuously embedded into a Banach space Y . The embedding X ֒→ Y is called cocompact relative to a group G of bijective isometries on X if every sequence (xk), such that gkxk ⇀ 0 for any choice of (gk) ⊂ G, converges to zero in Y . In particular, a compact embedding is cocompact relative to the trivial group {I} (and therefore to any other group of isometries), but the converse is generally false. In this note we study embedding of the Sobolev space H˙ 1,p(RN ), defined 1 ∞ RN p p as the completion of C0 ( ) with respect to the gradient norm ( |∇u| dx) , Np 1 <p<N, into the Lebesgue space L N−p (RN ). This embedding is not´ compact, arXiv:1601.04873v1 [math.FA] 19 Jan 2016 but it is cocompact relative to the rescaling group (see (1.1) below).
    [Show full text]
  • Functional Analysis and Parabolic Equations
    Functional analysis and parabolic equations Florin A. Radu April 12, 2017 Chapter 1 Introduction Functional analysis can be seen as a natural extension of the real analysis to more general spaces. As an example we can think at the Heine - Borel theorem (closed and bounded is equivalent with compact) which will be now extended to any finite dimensional space. Moreover, it will be shown that the theorem is not true in an infinite dimensional space. Functional analysis is furnishing plenty of techniques of proofs, the proof be- ing sometimes more important as the result itself. A special attention should be given to the proofs presented in this lecture (including the exercises). Another benefit in learning functional analysis is that one reaches a higher level of abstractization when dealing with mathematical objects and understands that many times is easier to prove for a general case as for a particular case. The latter is because when you deal with an explicitly described mathematical object (e.g. a space) one does not know which properties are now relevant for the specific question to be answered (in other words one has a problem of too much informa- tion). It is often much easier to answer the question when you think about the object as part of a class, means trying to identify properties which are general, valid for many objects of a certain type. As an example: imagine you have to show that the space of continuous functions on the interval [0; 1], denoted in this script C[0; 1] can not have an infinite but countable Hamel basis.
    [Show full text]
  • Basic Differentiable Calculus Review
    Basic Differentiable Calculus Review Jimmie Lawson Department of Mathematics Louisiana State University Spring, 2003 1 Introduction Basic facts about the multivariable differentiable calculus are needed as back- ground for differentiable geometry and its applications. The purpose of these notes is to recall some of these facts. We state the results in the general context of Banach spaces, although we are specifically concerned with the finite-dimensional setting, specifically that of Rn. Let U be an open set of Rn. A function f : U ! R is said to be a Cr map for 0 ≤ r ≤ 1 if all partial derivatives up through order r exist for all points of U and are continuous. In the extreme cases C0 means that f is continuous and C1 means that all partials of all orders exists and are continuous on m r r U. A function f : U ! R is a C map if fi := πif is C for i = 1; : : : ; m, m th where πi : R ! R is the i projection map defined by πi(x1; : : : ; xm) = xi. It is a standard result that mixed partials of degree less than or equal to r and of the same type up to interchanges of order are equal for a C r-function (sometimes called Clairaut's Theorem). We can consider a category with objects nonempty open subsets of Rn for various n and morphisms Cr-maps. This is indeed a category, since the composition of Cr maps is again a Cr map. 1 2 Normed Spaces and Bounded Linear Oper- ators At the heart of the differential calculus is the notion of a differentiable func- tion.
    [Show full text]
  • Nonlinear Spectral Theory Henning Wunderlich
    Nonlinear Spectral Theory Henning Wunderlich Dr. Henning Wunderlich, Frankfurt, Germany E-mail address: [email protected] 1991 Mathematics Subject Classification. 46-XX,47-XX I would like to sincerely thank Prof. Dr. Delio Mugnolo for his valuable advice and support during the preparation of this thesis. Contents Introduction 5 Chapter 1. Spaces 7 1. Topological Spaces 7 2. Uniform Spaces 11 3. Metric Spaces 14 4. Vector Spaces 15 5. Topological Vector Spaces 18 6. Locally-Convex Spaces 21 7. Bornological Spaces 23 8. Barreled Spaces 23 9. Metric Vector Spaces 29 10. Normed Vector Spaces 30 11. Inner-Product Vector Spaces 31 12. Examples 31 Chapter 2. Fixed Points 39 1. Schauder-Tychonoff 39 2. Monotonic Operators 43 3. Dugundji and Quasi-Extensions 51 4. Measures of Noncompactness 53 5. Michael Selection 58 Chapter 3. Existing Spectra 59 1. Linear Spectrum and Properties 59 2. Spectra Under Consideration 63 3. Restriction to Linear Operators 76 4. Nonemptyness 77 5. Closedness 78 6. Boundedness 82 7. Upper Semicontinuity 84 Chapter 4. Applications 87 1. Nemyckii Operator 87 2. p-Laplace Operator 88 3. Navier-Stokes Equations 92 Bibliography 97 Index 101 3 Introduction The term Spectral Theory was coined by David Hilbert in his studies of qua- dratic forms in infinitely-many variables. This theory evolved into a beautiful blend of Linear Algebra and Analysis, with striking applications in different fields of sci- ence. For example, the formulation of the calculus of Quantum Mechanics (e.g., POVM) would not have been possible without such a (Linear) Spectral Theory at hand.
    [Show full text]