DOCSLIB.ORG

Part XII, Chapter a Banach and Hilbert Spaces A.1 Normed Vector Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Part XII, Chapter a Banach and Hilbert Spaces A.1 Normed Vector Spaces Part XII, Chapter A Banach and Hilbert Spaces The goal of this appendix is to recall fundamental results on Banach and Hilbert spaces. The results collected herein provide a theoretical framework for the mathematical analysis of the finite element method. Some classical results are stated without proof; see Aubin [24], Brezis [97], Lax [321], Rudin [399], Yosida [483], Zeidler [486] for further insight. One important outcome of this appendix is the characterization of bijective operators in Banach spaces. To get started, let us recall the following definition of injective, surjective, and bijective maps. Definition A.1 (Injection, surjection, bijection). Let E and F be two sets. A function (or map) f : E F is said to be injective if every element of the codomain (i.e., F ) is mapped−→ to by at most one element of the domain (i.e., E). The function is said to be surjective if every element of the codomain is mapped to by at least one element of the domain. Finally, f is bijective if every element of the codomain is mapped to by exactly one element of the domain (i.e., f is both injective and surjective). A.1 Normed vector spaces Definition A.2 (Norm). Let V be a vector space over the field K = R or C. A norm on V is a map : V v v [0, ), (A.1) k·kV ∋ 7−→ k kV ∈ ∞ satisfying the following three properties: (i) Definiteness: v = 0 v = 0. k kV ⇐⇒ (ii) 1-homogeneity: λv V = λ v V , for all λ K and all v V . (iii) Triangle inequality:k k v + |w| k k v + w∈ , for all v,w∈ V . k kV ≤ k kV k kV ∈ 774 Appendix A. Banach and Hilbert Spaces A seminorm on V is a map from V to [0, ) which satisfies only properties (ii) and (iii). ∞ Definition A.3 (Equivalent norms). Two norms V,1 and V,2 are said to be equivalent on V if there exists a positive numberk·kc such thatk·k 1 c v v c− v , v V. (A.2) k kV,2 ≤ k kV,1 ≤ k kV,2 ∀ ∈ Remark A.4 (Finite dimension). If the vector space V has finite di- mension, all the norms in V are equivalent. This result is false in infinite- dimensional vector spaces. ⊓⊔ Proposition A.5 (Compactness of unit ball). Let V be a normed vector space and let B(0, 1) be the closed unit ball in V . Then, B(0, 1) is compact (for the norm topology) if and only if V is finite-dimensional. Proof. See Brezis [97, Thm. 6.5], Lax [321, 5.2]. § ⊓⊔ Definition A.6 (Bounded linear maps). Let V and W be two normed vector spaces. (V ; W ) is the vector space of bounded linear maps from V to W . The actionL of A (V ; W ) on an element v V is denoted A(v) or, more simply, Av. Maps∈ inL (V ; W ) are often called∈operators. L Example A.7 (Continuous embedding). Let V and W be two normed vector spaces. Assume that V W and that there is c such that v ⊂ k kW ≤ c v V for all v V . This property means that the embedding of V into W isk continuous.k We∈ say that V is continuously embedded into W and we write . V ֒ W → A.2 Banach spaces Definition A.8 (Banach space). A vector space V equipped with a norm V such that every Cauchy sequence (with respect to the metric d(x,y) = k·kx y ) in V has a limit in V is called a Banach space. k − kV A.2.1 Operators in Banach spaces Proposition A.9 (Banach space). Let V be a normed vector space and let W be a Banach space. Equip (V ; W ) with the norm L A(v) W A (V ;W ) = sup k k , A (V ; W ). (A.3) k kL v V v V ∀ ∈L ∈ k k Then, (V ; W ) is a Banach space. L Proof. See Rudin [399, p. 87], Yosida [483, p. 111]. ⊓⊔ Part XII. Appendices 775 Remark A.10 (Notation). In this book, we systematically abuse the no- A(v) W A(v) W tation by writing supv V k v k instead of supv V 0 k v k . ∈ k kV ∈ \{ } k kV ⊓⊔ The Uniform Boundedness Principle (or Banach–Steinhaus Theorem) is a useful tool to study the limit of a sequence of operators in Banach spaces. Theorem A.11 (Uniform Boundedness Principle). Let V and W be two Banach spaces. Let Ai i I be a family (not necessarily countable) of operators in (V ; W ). Assume{ that} ∈ L sup Aiv W < , v V. (A.4) i I k k ∞ ∀ ∈ ∈ Then, there is a constant C such that A v C v , v V, i I. (A.5) k i kW ≤ k kV ∀ ∈ ∀ ∈ Proof. See Brezis [97, p. 32], Lax [321, Chap. 10]. ⊓⊔ Corollary A.12 (Point-wise convergence). Let V and W be two Banach spaces. Let (An)n N be a sequence of operators in (V ; W ) such that, for all ∈ L v V , the sequence (Anv)n N converges as n to a limit in W denoted ∈ ∈ → ∞ Av (this means that the sequence (An)n N converges pointwise to A). Then, the following holds: ∈ (i) supn N An (V ;W ) < ; (ii) A ∈ (Vk; Wk)L; ∞ ∈L (iii) A (V ;W ) lim infn An (V ;W ). k kL ≤ →∞ k kL Proof. Statement (i) is just a consequence of Theorem A.11. Owing to (A.5), we infer that A v C v for all v V and all n N. Letting n , k n kW ≤ k kV ∈ ∈ → ∞ we obtain that Av W C v V , and since A is obviously linear, we infer that statement (ii)k holds.k ≤ Finally,k k statement (iii) results from the fact that Anv W An (V ;W ) v V for all v V and all n N. k k ≤ k kL k k ∈ ∈ ⊓⊔ Remark A.13 (Uniform convergence on compact sets). Note that Corollary A.12 does not claim that (An)n N converges to A in (V ; W ), i.e., uniformly on bounded sets. However, a∈ standard argument showsL that (An)n N converges uniformly to A on compact sets. Indeed, let K V be a ∈ ⊂ compact set. Let ǫ > 0. Set C := supn N An (V ;W ); this quantity is finite owing to statement (i) in Corollary A.12.∈ k K kbeingL compact, we infer that there is a finite set of points xi i I in K such that, for all v K, there is { } ∈1 ∈ i I such that v xi V (6C)− ǫ. Owing to the pointwise convergence of ∈ k − k ≤ 1 (An)n N to A, there is Ni such that, for all n Ni, Anxi Axi W 3 ǫ. Using∈ the triangle inequality and statement (iii)≥ above,k we infer− thatk ≤ A v Av A (v x ) + A x Ax + A(v x ) ǫ, k n − kW ≤ k n − i kW k n i − ikW k − i kW ≤ for all v K and all n maxi I Ni. ∈ ≥ ∈ ⊓⊔ 776 Appendix A. Banach and Hilbert Spaces Compact operators are encountered in various important situations, e.g., the Peetre–Tartar Lemma A.53 and the spectral theory developed in A.5.1. § Definition A.14 (Compact operator). Let V and W be two Banach spaces. T (V ; W ) is called a compact operator if from every bounded ∈ L sequence (vn)n N in V , one can extract a subsequence (vn )k N such that the ∈ k ∈ sequence (Tvnk )k N converges in W ; equivalently, T maps the unit ball in V into a relatively compact∈ set in W . Proposition A.15 (Composition with compact operator). Let W , X, Y , Z be four Banach spaces and A (Z; Y ), K (Y ; X), B (X; W ). Assume that K is compact. Then B∈ LK A is compact.∈ L ∈ L ◦ ◦ Example A.16 (Compact injection). A classical example is the case where V and W are two Banach spaces such that the injection of V into W is compact. Then from every bounded sequence (vn)n N in V , one can extract a subsequence that converges in W . ∈ ⊓⊔ A.2.2 Duality We start with real vector spaces and then discuss the extension to complex vector spaces. Definition A.17 (Dual space, Bounded linear forms). Let V be a normed vector space over R. The dual space of V is defined to be (V ; R) L and is denoted V ′. An element A V ′ is called a bounded linear form. Its action on an element v V is either∈ denoted A(v) (or Av) or by means of duality brackets in the form∈ A, v for all v V . h iV ′,V ∈ Owing to Proposition A.9, V ′ is a Banach space when equipped with the norm A(v) A, v V ′,V A V ′ = sup | | = sup |h i |, A V ′. (A.6) k k v V v V v V v V ∀ ∈ ∈ k k ∈ k k Note that the absolute value can be omitted from the numerators since A is linear and R-valued, and v can be considered in the supremum. ± Theorem A.18 (Hahn–Banach). Let V be a normed vector space over R and let W be a subspace of V . Let B W ′ = (W ; R) be a bounded linear B(w)∈ L map with norm B W ′ = supw W w . Then, there exists a bounded linear k k ∈ k kV form A V ′ with the following properties: ∈ (i) A is an extension of B, i.e., A(w)= B(w) for all w W .
Load more

Recommended publications
  • Constructive Closed Range and Open Mapping Theorems in This Paper
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Indag. Mathem., N.S., 11 (4), 509-516 December l&2000 Constructive Closed Range and Open Mapping Theorems by Douglas Bridges and Hajime lshihara Department of Mathematics and Statistics, University of Canterbury, Private Bag 4800, Christchurch, New Zealand email: d. [email protected] School of Information Science, Japan Advanced Institute of Science and Technology, Tatsunokuchi, Ishikawa 923-12, Japan email: [email protected] Communicated by Prof. AS. Troelstra at the meeting of November 27,200O ABSTRACT We prove a version of the closed range theorem within Bishop’s constructive mathematics. This is applied to show that ifan operator Ton a Hilbert space has an adjoint and a complete range, then both T and T’ are sequentially open. 1. INTRODUCTION In this paper we continue our constructive exploration of the theory of opera- tors, in particular operators on a Hilbert space ([5], [6], [7]). We work entirely within Bishop’s constructive mathematics, which we regard as mathematics with intuitionistic logic. For discussions of the merits of this approach to mathematics - in particular, the multiplicity of its models - see [3] and [ll]. The technical background needed in our paper is found in [I] and [IO]. Our main aim is to prove the following result, the constructive Closed Range Theorem for operators on a Hilbert space (cf. [18], pages 99-103): Theorem 1. Let H be a Hilbert space, and T a linear operator on H such that T* exists and ran(T) is closed.
    [Show full text]
  • Sisältö Part I: Topological Vector Spaces 4 1. General Topological
    Sisalt¨ o¨ Part I: Topological vector spaces 4 1. General topological vector spaces 4 1.1. Vector space topologies 4 1.2. Neighbourhoods and filters 4 1.3. Finite dimensional topological vector spaces 9 2. Locally convex spaces 10 2.1. Seminorms and semiballs 10 2.2. Continuous linear mappings in locally convex spaces 13 3. Generalizations of theorems known from normed spaces 15 3.1. Separation theorems 15 Hahn and Banach theorem 17 Important consequences 18 Hahn-Banach separation theorem 19 4. Metrizability and completeness (Fr`echet spaces) 19 4.1. Baire's category theorem 19 4.2. Complete topological vector spaces 21 4.3. Metrizable locally convex spaces 22 4.4. Fr´echet spaces 23 4.5. Corollaries of Baire 24 5. Constructions of spaces from each other 25 5.1. Introduction 25 5.2. Subspaces 25 5.3. Factor spaces 26 5.4. Product spaces 27 5.5. Direct sums 27 5.6. The completion 27 5.7. Projektive limits 28 5.8. Inductive locally convex limits 28 5.9. Direct inductive limits 29 6. Bounded sets 29 6.1. Bounded sets 29 6.2. Bounded linear mappings 31 7. Duals, dual pairs and dual topologies 31 7.1. Duals 31 7.2. Dual pairs 32 7.3. Weak topologies in dualities 33 7.4. Polars 36 7.5. Compatible topologies 39 7.6. Polar topologies 40 PART II Distributions 42 1. The idea of distributions 42 1.1. Schwartz test functions and distributions 42 2. Schwartz's test function space 43 1 2.1. The spaces C (Ω) and DK 44 1 2 2.2.
    [Show full text]
  • Operator Algebras Generated by Left Invertibles Derek Desantis [email protected]
    University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Dissertations, Theses, and Student Research Papers Mathematics, Department of in Mathematics 3-2019 Operator algebras generated by left invertibles Derek DeSantis [email protected] Follow this and additional works at: https://digitalcommons.unl.edu/mathstudent Part of the Analysis Commons, Harmonic Analysis and Representation Commons, and the Other Mathematics Commons DeSantis, Derek, "Operator algebras generated by left invertibles" (2019). Dissertations, Theses, and Student Research Papers in Mathematics. 93. https://digitalcommons.unl.edu/mathstudent/93 This Article is brought to you for free and open access by the Mathematics, Department of at DigitalCommons@University of Nebraska - Lincoln. It has been accepted for inclusion in Dissertations, Theses, and Student Research Papers in Mathematics by an authorized administrator of DigitalCommons@University of Nebraska - Lincoln. OPERATOR ALGEBRAS GENERATED BY LEFT INVERTIBLES by Derek DeSantis A DISSERTATION Presented to the Faculty of The Graduate College at the University of Nebraska In Partial Fulfilment of Requirements For the Degree of Doctor of Philosophy Major: Mathematics Under the Supervision of Professor David Pitts Lincoln, Nebraska March, 2019 OPERATOR ALGEBRAS GENERATED BY LEFT INVERTIBLES Derek DeSantis, Ph.D. University of Nebraska, 2019 Adviser: David Pitts Operator algebras generated by partial isometries and their adjoints form the basis for some of the most well studied classes of C*-algebras. Representations of such algebras encode the dynamics of orthonormal sets in a Hilbert space. We instigate a research program on concrete operator algebras that model the dynamics of Hilbert space frames. The primary object of this thesis is the norm-closed operator algebra generated by a left y invertible T together with its Moore-Penrose inverse T .
    [Show full text]
  • Multilinear Algebra
    Appendix A Multilinear Algebra This chapter presents concepts from multilinear algebra based on the basic properties of finite dimensional vector spaces and linear maps. The primary aim of the chapter is to give a concise introduction to alternating tensors which are necessary to define differential forms on manifolds. Many of the stated definitions and propositions can be found in Lee [1], Chaps. 11, 12 and 14. Some definitions and propositions are complemented by short and simple examples. First, in Sect. A.1 dual and bidual vector spaces are discussed. Subsequently, in Sects. A.2–A.4, tensors and alternating tensors together with operations such as the tensor and wedge product are introduced. Lastly, in Sect. A.5, the concepts which are necessary to introduce the wedge product are summarized in eight steps. A.1 The Dual Space Let V be a real vector space of finite dimension dim V = n.Let(e1,...,en) be a basis of V . Then every v ∈ V can be uniquely represented as a linear combination i v = v ei , (A.1) where summation convention over repeated indices is applied. The coefficients vi ∈ R arereferredtoascomponents of the vector v. Throughout the whole chapter, only finite dimensional real vector spaces, typically denoted by V , are treated. When not stated differently, summation convention is applied. Definition A.1 (Dual Space)Thedual space of V is the set of real-valued linear functionals ∗ V := {ω : V → R : ω linear} . (A.2) The elements of the dual space V ∗ are called linear forms on V . © Springer International Publishing Switzerland 2015 123 S.R.
    [Show full text]
  • Calculus on a Normed Linear Space
    Calculus on a Normed Linear Space James S. Cook Liberty University Department of Mathematics Fall 2017 2 introduction and scope These notes are intended for someone who has completed the introductory calculus sequence and has some experience with matrices or linear algebra. This set of notes covers the first month or so of Math 332 at Liberty University. I intend this to serve as a supplement to our required text: First Steps in Differential Geometry: Riemannian, Contact, Symplectic by Andrew McInerney. Once we've covered these notes then we begin studying Chapter 3 of McInerney's text. This course is primarily concerned with abstractions of calculus and geometry which are accessible to the undergraduate. This is not a course in real analysis and it does not have a prerequisite of real analysis so my typical students are not prepared for topology or measure theory. We defer the topology of manifolds and exposition of abstract integration in the measure theoretic sense to another course. Our focus for course as a whole is on what you might call the linear algebra of abstract calculus. Indeed, McInerney essentially declares the same philosophy so his text is the natural extension of what I share in these notes. So, what do we study here? In these notes: How to generalize calculus to the context of a normed linear space In particular, we study: basic linear algebra, spanning, linear independennce, basis, coordinates, norms, distance functions, inner products, metric topology, limits and their laws in a NLS, conti- nuity of mappings on NLS's,
    [Show full text]
  • Recent Developments in the Theory of Duality in Locally Convex Vector Spaces
    [ VOLUME 6 I ISSUE 2 I APRIL– JUNE 2019] E ISSN 2348 –1269, PRINT ISSN 2349-5138 RECENT DEVELOPMENTS IN THE THEORY OF DUALITY IN LOCALLY CONVEX VECTOR SPACES CHETNA KUMARI1 & RABISH KUMAR2* 1Research Scholar, University Department of Mathematics, B. R. A. Bihar University, Muzaffarpur 2*Research Scholar, University Department of Mathematics T. M. B. University, Bhagalpur Received: February 19, 2019 Accepted: April 01, 2019 ABSTRACT: : The present paper concerned with vector spaces over the real field: the passage to complex spaces offers no difficulty. We shall assume that the definition and properties of convex sets are known. A locally convex space is a topological vector space in which there is a fundamental system of neighborhoods of 0 which are convex; these neighborhoods can always be supposed to be symmetric and absorbing. Key Words: LOCALLY CONVEX SPACES We shall be exclusively concerned with vector spaces over the real field: the passage to complex spaces offers no difficulty. We shall assume that the definition and properties of convex sets are known. A convex set A in a vector space E is symmetric if —A=A; then 0ЄA if A is not empty. A convex set A is absorbing if for every X≠0 in E), there exists a number α≠0 such that λxЄA for |λ| ≤ α ; this implies that A generates E. A locally convex space is a topological vector space in which there is a fundamental system of neighborhoods of 0 which are convex; these neighborhoods can always be supposed to be symmetric and absorbing. Conversely, if any filter base is given on a vector space E, and consists of convex, symmetric, and absorbing sets, then it defines one and only one topology on E for which x+y and λx are continuous functions of both their arguments.
    [Show full text]
  • An Introduction to Basic Functional Analysis
    AN INTRODUCTION TO BASIC FUNCTIONAL ANALYSIS T. S. S. R. K. RAO . 1. Introduction This is a write-up of the lectures given at the Advanced Instructional School (AIS) on ` Functional Analysis and Harmonic Analysis ' during the ¯rst week of July 2006. All of the material is standard and can be found in many basic text books on Functional Analysis. As the prerequisites, I take the liberty of assuming 1) Basic Metric space theory, including completeness and the Baire category theorem. 2) Basic Lebesgue measure theory and some abstract (σ-¯nite) measure theory in- cluding the Radon-Nikodym theorem and the completeness of Lp-spaces. I thank Professor A. Mangasuli for carefully proof reading these notes. 2. Banach spaces and Examples. Let X be a vector space over the real or complex scalar ¯eld. Let k:k : X ! R+ be a function such that (1) kxk = 0 , x = 0 (2) k®xk = j®jkxk (3) kx + yk · kxk + kyk for all x; y 2 X and scalars ®. Such a function is called a norm on X and (X; k:k) is called a normed linear space. Most often we will be working with only one speci¯c k:k on any given vector space X thus we omit writing k:k and simply say that X is a normed linear space. It is an easy exercise to show that d(x; y) = kx ¡ yk de¯nes a metric on X and thus there is an associated notion of topology and convergence. If X is a normed linear space and Y ½ X is a subspace then by restricting the norm to Y , we can consider Y as a normed linear space.
    [Show full text]
  • Characterizations of the Reflexive Spaces in the Spirit of James' Theorem
    Characterizations of the reflexive spaces in the spirit of James' Theorem Mar¶³aD. Acosta, Julio Becerra Guerrero, and Manuel Ruiz Gal¶an Since the famous result by James appeared, several authors have given char- acterizations of reflexivity in terms of the set of norm-attaining functionals. Here, we o®er a survey of results along these lines. Section 1 contains a brief history of the classical results. In Section 2 we assume some topological properties on the size of the set of norm-attaining functionals in order to obtain reflexivity of the space or some weaker conditions. Finally, in Section 3, we consider other functions, such as polynomials or multilinear mappings instead of functionals, and state analogous versions of James' Theorem. Hereinafter, we will denote by BX and SX the closed unit ball and the unit sphere, respectively, of a Banach space X. The stated results are valid in the complex case. However, for the sake of simplicity, we will only consider real normed spaces. 1. James' Theorem In 1950 Klee proved that a Banach space X is reflexive provided that for every space isomorphic to X, each functional attains its norm [Kl]. James showed in 1957 that a separable Banach space allowing every functional to attain its norm has to be reflexive [Ja1]. This result was generalized to the non-separable case in [Ja2, Theorem 5]. After that, a general characterization of the bounded, closed and convex subsets of a Banach space that are weakly compact was obtained: Theorem 1.1. ([Ja3, Theorem 4]) In order that a bounded, closed and convex subset K of a Banach space be weakly compact, it su±ces that every functional attain its supremum on K: See also [Ja3, Theorem 6] for a version in locally convex spaces.
    [Show full text]
  • A Linear Finite-Difference Scheme for Approximating Randers Distances on Cartesian Grids Frédéric Bonnans, Guillaume Bonnet, Jean-Marie Mirebeau
    A linear finite-difference scheme for approximating Randers distances on Cartesian grids Frédéric Bonnans, Guillaume Bonnet, Jean-Marie Mirebeau To cite this version: Frédéric Bonnans, Guillaume Bonnet, Jean-Marie Mirebeau. A linear finite-difference scheme for approximating Randers distances on Cartesian grids. 2021. hal-03125879v2 HAL Id: hal-03125879 https://hal.archives-ouvertes.fr/hal-03125879v2 Preprint submitted on 9 Jun 2021 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. A linear finite-difference scheme for approximating Randers distances on Cartesian grids J. Frédéric Bonnans,∗ Guillaume Bonnet,† Jean-Marie Mirebeau‡ June 9, 2021 Abstract Randers distances are an asymmetric generalization of Riemannian distances, and arise in optimal control problems subject to a drift term, among other applications. We show that Randers eikonal equation can be approximated by a logarithmic transformation of an anisotropic second order linear equation, generalizing Varadhan’s formula for Riemannian manifolds. Based on this observation, we establish the convergence of a numerical method for computing Randers distances, from point sources or from a domain’s boundary, on Cartesian grids of dimension 2 and 3, which is consistent at order 2=3, and uses tools from low- dimensional algorithmic geometry for best efficiency.
    [Show full text]
  • Intersections of Fréchet Spaces and (LB)–Spaces
    Intersections of Fr¶echet spaces and (LB){spaces Angela A. Albanese and Jos¶eBonet Abstract This article presents results about the class of locally convex spaces which are de¯ned as the intersection E \F of a Fr¶echet space F and a countable inductive limit of Banach spaces E. This class appears naturally in analytic applications to linear partial di®erential operators. The intersection has two natural topologies, the intersection topology and an inductive limit topology. The ¯rst one is easier to describe and the second one has good locally convex properties. The coincidence of these topologies and its consequences for the spaces E \ F and E + F are investigated. 2000 Mathematics Subject Classi¯cation. Primary: 46A04, secondary: 46A08, 46A13, 46A45. The aim of this paper is to investigate spaces E \ F which are the intersection of a Fr¶echet space F and an (LB)-space E. They appear in several parts of analysis whenever the space F is determined by countably many necessary (e.g. di®erentiability of integrabil- ity) conditions and E is the dual of such a space, in particular E is de¯ned by a countable sequence of bounded sets which may also be determined by concrete estimates. Two nat- ural topologies can be de¯ned on E \ F : the intersection topology, which has seminorms easy to describe and which permits direct estimates, and a ¯ner inductive limit topology which is de¯ned in a natural way and which has good locally convex properties, e.g. E \ F with this topology is a barrelled space.
    [Show full text]
  • Approximation Numbers of Linear Operators and Nuclear Spaces HA
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 46, 292-311 (1974) Approximation Numbers of Linear Operators and Nuclear Spaces CHUNG-WEI HA* University qf California, Santa Barbara, California 93106 Submitted by Ky Fan 1. DEFINITIONS AND NOTATIONS Let T be a compact operator on a Hilbert space H. It is well-known that (T*T)1/2 is a nonnegative compact operator on H, and its spectrum consists of a countable number of eigenvalues, which are all nonnegative, with 0 the only possible accumulation point of the spectrum. The singular numbers of T are defined to be the eigenvalues of (T*T)lj2, each of which is counted as many times as its multiplicity. The singular numbers {s~(T)}~~,, of T are enumerated in decreasing order and, for the sake of simplicity, O’s are supplied to the sequence if the operator (T*T)l/* has only a finite number of eigenvalues. The singular numbers play a significant role in the Theory of Operators [l, 31. The present work is an attempt to generalize the notion of singular numbers for compact operators on a Hilbert space to bounded linear operators between normed linear spaces. There are a number of equivalent formulations for singular numbers that do not involve the inner product, and so they are readily applicable to bounded linear operators between normed linear spaces. Before stating them, we first introduce some notations and definitions in the general setting of normed linear spaces. Let E and F be two real or complex normed linear spaces and let L(E, F) denote the normed linear space of all bounded linear operators of E into F with the usual supremum norm.
    [Show full text]
  • Frames and Representing Systems in Fréchet Spaces and Their Duals
    Frames and representing systems in Fr´echet spaces and their duals J. Bonet, C. Fern´andez,A. Galbis, J.M. Ribera Abstract Frames and Bessel sequences in Fr´echet spaces and their duals are defined and studied. Their relation with Schauder frames and representing systems is analyzed. The abstract results presented here, when applied to concrete spaces of analytic functions, give many examples and consequences about sampling sets and Dirichlet series expansions. 1 Introduction and preliminaries The purpose of this paper is twofold. On the one hand we study Λ-Bessel sequences 0 (gi)i ⊂ E , Λ-frames and frames with respect to Λ in the dual of a Hausdorff locally convex space E, in particular for Fr´echet spaces and complete (LB)-spaces E, with Λ a sequence space. We investigate the relation of these concepts with representing systems in the sense of Kadets and Korobeinik [12] and with the Schauder frames, that were investigated by the authors in [7]. On the other hand our article emphasizes the deep connection of frames for Fr´echet and (LB)-spaces with the sufficient and weakly sufficient sets for weighted Fr´echet and (LB)-spaces of holomorphic functions. These concepts correspond to sampling sets in the case of Banach spaces of holomorphic functions. Our general results in Sections 2 and 3 permit us to obtain as a consequence many examples and results in the literature in a unified way in Section 4. Section 2 of our article is inspired by the work of Casazza, Christensen and Stoeva [9] in the context of Banach spaces.
    [Show full text]