Functional Analysis
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Duality for Outer $ L^ P \Mu (\Ell^ R) $ Spaces and Relation to Tent Spaces
p r DUALITY FOR OUTER Lµpℓ q SPACES AND RELATION TO TENT SPACES MARCO FRACCAROLI p r Abstract. We prove that the outer Lµpℓ q spaces, introduced by Do and Thiele, are isomorphic to Banach spaces, and we show the expected duality properties between them for 1 ă p ď8, 1 ď r ă8 or p “ r P t1, 8u uniformly in the finite setting. In the case p “ 1, 1 ă r ď8, we exhibit a counterexample to uniformity. We show that in the upper half space setting these properties hold true in the full range 1 ď p,r ď8. These results are obtained via greedy p r decompositions of functions in Lµpℓ q. As a consequence, we establish the p p r equivalence between the classical tent spaces Tr and the outer Lµpℓ q spaces in the upper half space. Finally, we give a full classification of weak and strong type estimates for a class of embedding maps to the upper half space with a fractional scale factor for functions on Rd. 1. Introduction The Lp theory for outer measure spaces discussed in [13] generalizes the classical product, or iteration, of weighted Lp quasi-norms. Since we are mainly interested in positive objects, we assume every function to be nonnegative unless explicitly stated. We first focus on the finite setting. On the Cartesian product X of two finite sets equipped with strictly positive weights pY,µq, pZ,νq, we can define the classical product, or iterated, L8Lr,LpLr spaces for 0 ă p, r ă8 by the quasi-norms 1 r r kfkL8ppY,µq,LrpZ,νqq “ supp νpzqfpy,zq q yPY zÿPZ ´1 r 1 “ suppµpyq ωpy,zqfpy,zq q r , yPY zÿPZ p 1 r r p kfkLpppY,µq,LrpZ,νqq “ p µpyqp νpzqfpy,zq q q , arXiv:2001.05903v1 [math.CA] 16 Jan 2020 yÿPY zÿPZ where we denote by ω “ µ b ν the induced weight on X. -
1 Bounded and Unbounded Operators
1 1 Bounded and unbounded operators 1. Let X, Y be Banach spaces and D 2 X a linear space, not necessarily closed. 2. A linear operator is any linear map T : D ! Y . 3. D is the domain of T , sometimes written Dom (T ), or D (T ). 4. T (D) is the Range of T , Ran(T ). 5. The graph of T is Γ(T ) = f(x; T x)jx 2 D (T )g 6. The kernel of T is Ker(T ) = fx 2 D (T ): T x = 0g 1.1 Operations 1. aT1 + bT2 is defined on D (T1) \D (T2). 2. if T1 : D (T1) ⊂ X ! Y and T2 : D (T2) ⊂ Y ! Z then T2T1 : fx 2 D (T1): T1(x) 2 D (T2). In particular, inductively, D (T n) = fx 2 D (T n−1): T (x) 2 D (T )g. The domain may become trivial. 3. Inverse. The inverse is defined if Ker(T ) = f0g. This implies T is bijective. Then T −1 : Ran(T ) !D (T ) is defined as the usual function inverse, and is clearly linear. @ is not invertible on C1[0; 1]: Ker@ = C. 4. Closable operators. It is natural to extend functions by continuity, when possible. If xn ! x and T xn ! y we want to see whether we can define T x = y. Clearly, we must have xn ! 0 and T xn ! y ) y = 0; (1) since T (0) = 0 = y. Conversely, (1) implies the extension T x := y when- ever xn ! x and T xn ! y is consistent and defines a linear operator. -
Fundamentals of Functional Analysis Kluwer Texts in the Mathematical Sciences
Fundamentals of Functional Analysis Kluwer Texts in the Mathematical Sciences VOLUME 12 A Graduate-Level Book Series The titles published in this series are listed at the end of this volume. Fundamentals of Functional Analysis by S. S. Kutateladze Sobolev Institute ofMathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia Springer-Science+Business Media, B.V. A C.I.P. Catalogue record for this book is available from the Library of Congress ISBN 978-90-481-4661-1 ISBN 978-94-015-8755-6 (eBook) DOI 10.1007/978-94-015-8755-6 Translated from OCHOBbI Ij)YHK~HOHaJIl>HODO aHaJIHsa. J/IS;l\~ 2, ;l\OIIOJIHeHHoe., Sobo1ev Institute of Mathematics, Novosibirsk, © 1995 S. S. Kutate1adze Printed on acid-free paper All Rights Reserved © 1996 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 1996. Softcover reprint of the hardcover 1st edition 1996 No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording or by any information storage and retrieval system, without written permission from the copyright owner. Contents Preface to the English Translation ix Preface to the First Russian Edition x Preface to the Second Russian Edition xii Chapter 1. An Excursion into Set Theory 1.1. Correspondences . 1 1.2. Ordered Sets . 3 1.3. Filters . 6 Exercises . 8 Chapter 2. Vector Spaces 2.1. Spaces and Subspaces ... ......................... 10 2.2. Linear Operators . 12 2.3. Equations in Operators ........................ .. 15 Exercises . 18 Chapter 3. Convex Analysis 3.1. -
ON SEQUENCE SPACES DEFINED by the DOMAIN of TRIBONACCI MATRIX in C0 and C Taja Yaying and Merve ˙Ilkhan Kara 1. Introduction Th
Korean J. Math. 29 (2021), No. 1, pp. 25{40 http://dx.doi.org/10.11568/kjm.2021.29.1.25 ON SEQUENCE SPACES DEFINED BY THE DOMAIN OF TRIBONACCI MATRIX IN c0 AND c Taja Yaying∗;y and Merve Ilkhan_ Kara Abstract. In this article we introduce tribonacci sequence spaces c0(T ) and c(T ) derived by the domain of a newly defined regular tribonacci matrix T: We give some topological properties, inclusion relations, obtain the Schauder basis and determine α−; β− and γ− duals of the spaces c0(T ) and c(T ): We characterize certain matrix classes (c0(T );Y ) and (c(T );Y ); where Y is any of the spaces c0; c or `1: Finally, using Hausdorff measure of non-compactness we characterize certain class of compact operators on the space c0(T ): 1. Introduction Throughout the paper N = f0; 1; 2; 3;:::g and w is the space of all real valued sequences. By `1; c0 and c; we mean the spaces all bounded, null and convergent sequences, respectively. Also by `p; cs; cs0 and bs; we mean the spaces of absolutely p-summable, convergent, null and bounded series, respectively, where 1 ≤ p < 1: We write φ for the space of all sequences that terminate in zero. Moreover, we denote the space of all sequences of bounded variation by bv: A Banach space X is said to be a BK-space if it has continuous coordinates. The spaces `1; c0 and c are BK- spaces with norm kxk = sup jx j : Here and henceforth, for simplicity in notation, `1 k k the summation without limit runs from 0 to 1: Also, we shall use the notation e = (1; 1; 1;:::) and e(k) to be the sequence whose only non-zero term is 1 in the kth place for each k 2 N: Let X and Y be two sequence spaces and let A = (ank) be an infinite matrix of real th entries. -
Surjective Isometries on Grassmann Spaces 11
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Repository of the Academy's Library SURJECTIVE ISOMETRIES ON GRASSMANN SPACES FERNANDA BOTELHO, JAMES JAMISON, AND LAJOS MOLNAR´ Abstract. Let H be a complex Hilbert space, n a given positive integer and let Pn(H) be the set of all projections on H with rank n. Under the condition dim H ≥ 4n, we describe the surjective isometries of Pn(H) with respect to the gap metric (the metric induced by the operator norm). 1. Introduction The study of isometries of function spaces or operator algebras is an important research area in functional analysis with history dating back to the 1930's. The most classical results in the area are the Banach-Stone theorem describing the surjective linear isometries between Banach spaces of complex- valued continuous functions on compact Hausdorff spaces and its noncommutative extension for general C∗-algebras due to Kadison. This has the surprising and remarkable consequence that the surjective linear isometries between C∗-algebras are closely related to algebra isomorphisms. More precisely, every such surjective linear isometry is a Jordan *-isomorphism followed by multiplication by a fixed unitary element. We point out that in the aforementioned fundamental results the underlying structures are algebras and the isometries are assumed to be linear. However, descriptions of isometries of non-linear structures also play important roles in several areas. We only mention one example which is closely related with the subject matter of this paper. This is the famous Wigner's theorem that describes the structure of quantum mechanical symmetry transformations and plays a fundamental role in the probabilistic aspects of quantum theory. -
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). -
The Index of Normal Fredholm Elements of C* -Algebras
proceedings of the american mathematical society Volume 113, Number 1, September 1991 THE INDEX OF NORMAL FREDHOLM ELEMENTS OF C*-ALGEBRAS J. A. MINGO AND J. S. SPIELBERG (Communicated by Palle E. T. Jorgensen) Abstract. Examples are given of normal elements of C*-algebras that are invertible modulo an ideal and have nonzero index, in contrast to the case of Fredholm operators on Hubert space. It is shown that this phenomenon occurs only along the lines of these examples. Let T be a bounded operator on a Hubert space. If the range of T is closed and both T and T* have a finite dimensional kernel then T is Fredholm, and the index of T is dim(kerT) - dim(kerT*). If T is normal then kerT = ker T*, so a normal Fredholm operator has index 0. Let us consider a generalization of the notion of Fredholm operator intro- duced by Atiyah. Let X be a compact Hausdorff space and consider continuous functions T: X —>B(H), where B(H) is the set of bounded linear operators on a separable infinite dimensional Hubert space with the norm topology. The set of such functions forms a C*- algebra C(X) <g>B(H). A function T is Fredholm if T(x) is Fredholm for each x . Atiyah [1, Appendix] showed how such an element has an index which is an element of K°(X). Suppose that T is Fredholm and T(x) is normal for each x. Is the index of T necessarily 0? There is a generalization of this question that we would like to consider. -
Functional Analysis 1 Winter Semester 2013-14
Functional analysis 1 Winter semester 2013-14 1. Topological vector spaces Basic notions. Notation. (a) The symbol F stands for the set of all reals or for the set of all complex numbers. (b) Let (X; τ) be a topological space and x 2 X. An open set G containing x is called neigh- borhood of x. We denote τ(x) = fG 2 τ; x 2 Gg. Definition. Suppose that τ is a topology on a vector space X over F such that • (X; τ) is T1, i.e., fxg is a closed set for every x 2 X, and • the vector space operations are continuous with respect to τ, i.e., +: X × X ! X and ·: F × X ! X are continuous. Under these conditions, τ is said to be a vector topology on X and (X; +; ·; τ) is a topological vector space (TVS). Remark. Let X be a TVS. (a) For every a 2 X the mapping x 7! x + a is a homeomorphism of X onto X. (b) For every λ 2 F n f0g the mapping x 7! λx is a homeomorphism of X onto X. Definition. Let X be a vector space over F. We say that A ⊂ X is • balanced if for every α 2 F, jαj ≤ 1, we have αA ⊂ A, • absorbing if for every x 2 X there exists t 2 R; t > 0; such that x 2 tA, • symmetric if A = −A. Definition. Let X be a TVS and A ⊂ X. We say that A is bounded if for every V 2 τ(0) there exists s > 0 such that for every t > s we have A ⊂ tV . -
Intrinsic Volumes and Polar Sets in Spherical Space
1 INTRINSIC VOLUMES AND POLAR SETS IN SPHERICAL SPACE FUCHANG GAO, DANIEL HUG, ROLF SCHNEIDER Abstract. For a convex body of given volume in spherical space, the total invariant measure of hitting great subspheres becomes minimal, equivalently the volume of the polar body becomes maximal, if and only if the body is a spherical cap. This result can be considered as a spherical counterpart of two Euclidean inequalities, the Urysohn inequality connecting mean width and volume, and the Blaschke-Santal´oinequality for the volumes of polar convex bodies. Two proofs are given; the first one can be adapted to hyperbolic space. MSC 2000: 52A40 (primary); 52A55, 52A22 (secondary) Keywords: spherical convexity, Urysohn inequality, Blaschke- Santal´oinequality, intrinsic volume, quermassintegral, polar convex bodies, two-point symmetrization In the classical geometry of convex bodies in Euclidean space, the intrinsic volumes (or quermassintegrals) play a central role. These functionals have counterparts in spherical and hyperbolic geometry, and it is a challenge for a geometer to find analogues in these spaces for the known results about Euclidean intrinsic volumes. In the present paper, we prove one such result, an inequality of isoperimetric type in spherical (or hyperbolic) space, which can be considered as a counterpart to the Urysohn inequality and is, in the spherical case, also related to the Blaschke-Santal´oinequality. Before stating the result (at the beginning of Section 2), we want to recall and collect the basic facts about intrinsic volumes in Euclidean space, describe their noneuclidean counterparts, and state those open problems about the latter which we consider to be of particular interest. -
On the Origin and Early History of Functional Analysis
U.U.D.M. Project Report 2008:1 On the origin and early history of functional analysis Jens Lindström Examensarbete i matematik, 30 hp Handledare och examinator: Sten Kaijser Januari 2008 Department of Mathematics Uppsala University Abstract In this report we will study the origins and history of functional analysis up until 1918. We begin by studying ordinary and partial differential equations in the 18th and 19th century to see why there was a need to develop the concepts of functions and limits. We will see how a general theory of infinite systems of equations and determinants by Helge von Koch were used in Ivar Fredholm’s 1900 paper on the integral equation b Z ϕ(s) = f(s) + λ K(s, t)f(t)dt (1) a which resulted in a vast study of integral equations. One of the most enthusiastic followers of Fredholm and integral equation theory was David Hilbert, and we will see how he further developed the theory of integral equations and spectral theory. The concept introduced by Fredholm to study sets of transformations, or operators, made Maurice Fr´echet realize that the focus should be shifted from particular objects to sets of objects and the algebraic properties of these sets. This led him to introduce abstract spaces and we will see how he introduced the axioms that defines them. Finally, we will investigate how the Lebesgue theory of integration were used by Frigyes Riesz who was able to connect all theory of Fredholm, Fr´echet and Lebesgue to form a general theory, and a new discipline of mathematics, now known as functional analysis. -
On the Space of Generalized Fluxes for Loop Quantum Gravity
Home Search Collections Journals About Contact us My IOPscience On the space of generalized fluxes for loop quantum gravity This article has been downloaded from IOPscience. Please scroll down to see the full text article. 2013 Class. Quantum Grav. 30 055008 (http://iopscience.iop.org/0264-9381/30/5/055008) View the table of contents for this issue, or go to the journal homepage for more Download details: IP Address: 194.94.224.254 The article was downloaded on 07/03/2013 at 11:02 Please note that terms and conditions apply. IOP PUBLISHING CLASSICAL AND QUANTUM GRAVITY Class. Quantum Grav. 30 (2013) 055008 (24pp) doi:10.1088/0264-9381/30/5/055008 On the space of generalized fluxes for loop quantum gravity B Dittrich1,2, C Guedes1 and D Oriti1 1 Max Planck Institute for Gravitational Physics, Am Muhlenberg¨ 1, D-14476 Golm, Germany 2 Perimeter Institute for Theoretical Physics, 31 Caroline St N, Waterloo ON N2 L 2Y5, Canada E-mail: [email protected], [email protected] and [email protected] Received 5 September 2012, in final form 13 January 2013 Published 5 February 2013 Online at stacks.iop.org/CQG/30/055008 Abstract We show that the space of generalized fluxes—momentum space—for loop quantum gravity cannot be constructed by Fourier transforming the projective limit construction of the space of generalized connections—position space— due to the non-Abelianess of the gauge group SU(2). From the Abelianization of SU(2),U(1)3, we learn that the space of generalized fluxes turns out to be an inductive limit, and we determine the consistency conditions the fluxes should satisfy under coarse graining of the underlying graphs. -
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 .