Functionalanalysis 1
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
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. -
The Hahn-Banach Theorem and Infima of Convex Functions
The Hahn-Banach theorem and infima of convex functions Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology (JAIST) Nomi, Ishikawa 923-1292, Japan first CORE meeting, LMU Munich, 7 May, 2016 Normed spaces Definition A normed space is a linear space E equipped with a norm k · k : E ! R such that I kxk = 0 $ x = 0, I kaxk = jajkxk, I kx + yk ≤ kxk + kyk, for each x; y 2 E and a 2 R. Note that a normed space E is a metric space with the metric d(x; y) = kx − yk: Definition A Banach space is a normed space which is complete with respect to the metric. Examples For 1 ≤ p < 1, let p N P1 p l = f(xn) 2 R j n=0 jxnj < 1g and define a norm by P1 p 1=p k(xn)k = ( n=0 jxnj ) : Then lp is a (separable) Banach space. Examples Classically the normed space 1 N l = f(xn) 2 R j (xn) is boundedg with the norm k(xn)k = sup jxnj n is an inseparable Banach space. However, constructively, it is not a normed space. Linear mappings Definition A mapping T between linear spaces E and F is linear if I T (ax) = aTx, I T (x + y) = Tx + Ty for each x; y 2 E and a 2 R. Definition A linear functional f on a linear space E is a linear mapping from E into R. Bounded linear mappings Definition A linear mapping T between normed spaces E and F is bounded if there exists c ≥ 0 such that kTxk ≤ ckxk for each x 2 E. -
On Order Preserving and Order Reversing Mappings Defined on Cones of Convex Functions MANUSCRIPT
ON ORDER PRESERVING AND ORDER REVERSING MAPPINGS DEFINED ON CONES OF CONVEX FUNCTIONS MANUSCRIPT Lixin Cheng∗ Sijie Luo School of Mathematical Sciences Yau Mathematical Sciences Center Xiamen University Tsinghua University Xiamen 361005, China Beijing 100084, China [email protected] [email protected] ABSTRACT In this paper, we first show that for a Banach space X there is a fully order reversing mapping T from conv(X) (the cone of all extended real-valued lower semicontinuous proper convex functions defined on X) onto itself if and only if X is reflexive and linearly isomorphic to its dual X∗. Then we further prove the following generalized “Artstein-Avidan-Milman” representation theorem: For every fully order reversing mapping T : conv(X) → conv(X) there exist a linear isomorphism ∗ ∗ ∗ U : X → X , x0, ϕ0 ∈ X , α> 0 and r0 ∈ R so that ∗ (Tf)(x)= α(Ff)(Ux + x0)+ hϕ0, xi + r0, ∀x ∈ X, where F : conv(X) → conv(X∗) is the Fenchel transform. Hence, these resolve two open questions. We also show several representation theorems of fully order preserving mappings de- fined on certain cones of convex functions. For example, for every fully order preserving mapping S : semn(X) → semn(X) there is a linear isomorphism U : X → X so that (Sf)(x)= f(Ux), ∀f ∈ semn(X), x ∈ X, where semn(X) is the cone of all lower semicontinuous seminorms on X. Keywords Fenchel transform · order preserving mapping · order reversing mapping · convex function · Banach space 1 Introduction An elegant theorem of Artstein-Avidan and Milman [5] states that every fully order reversing (resp. -
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 . -
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 . -
Bootstrapping the Mazur–Orlicz-König Theorem and the Hahn–Banach Lagrange Theorem
Journal of Convex Analysis Volume 25 (2018), No. 2, 1–xx Bootstrapping the Mazur–Orlicz-König Theorem and the Hahn–Banach Lagrange Theorem Stephen Simons Department of Mathematics, University of California, Santa Barbara, CA 93106-3080, U.S.A. [email protected] Dedicated to Antonino Maugeri on the occasion of his 70th birthday. Received: December 25, 2015 Accepted: August 4, 2016 We give some extensions of König’s extension of the Mazur–Orlicz theorem. These extensions include generalizations of a surprising recent result of Sun Chuanfeng, and generalizations to the product of more than two spaces of the “Hahn–Banach–Lagrange” theorem. Keywords: Sublinear functional, convex function, affine function, Hahn–Banach theorem, Mazur–Orlicz–König theorem. 2010 Mathematics Subject Classification: 46A22, 46N10. 1. Introduction In this paper, all vector spaces are real. We shall use the terms sublinear, linear, convex, concave and affine in their usual senses. This paper is about extensions of the Mazur–Orlicz theorem, which first ap- peared in [5]: Let E be a vector space, S : E ! R be sublinear and C be a nonempty convex subset of E. Then there exists a linear map L: E ! R such that L ≤ S on E and infC L = infC S: Early improvements and applications of this result were given, in chronological order, by Sikorski [6], Pták [4], König [1], Landsberg–Schirotzek [3] and König [2]. By a convex–affine version of a known result we mean that it corresponds to the known result with the word sublinear in the hypothesis replaced by convex and the word linear in the conclusion replaced by affine. -
Constructing Sublinear Expectations on Path Space
Constructing Sublinear Expectations on Path Space Marcel Nutz∗ Ramon van Handel† January 21, 2013 Abstract We provide a general construction of time-consistent sublinear ex- pectations on the space of continuous paths. It yields the existence of the conditional G-expectation of a Borel-measurable (rather than quasi-continuous) random variable, a generalization of the random G- expectation, and an optional sampling theorem that holds without exceptional set. Our results also shed light on the inherent limitations to constructing sublinear expectations through aggregation. Keywords Sublinear expectation; G-expectation; random G-expectation; Time- consistency; Optional sampling; Dynamic programming; Analytic set AMS 2000 Subject Classification 93E20; 60H30; 91B30; 28A05 1 Introduction d We study sublinear expectations on the space Ω= C0(R+, R ) of continuous arXiv:1205.2415v3 [math.PR] 11 Apr 2013 paths. Taking the dual point of view, we are interested in mappings P ξ 0(ξ)= sup E [ξ], 7→ E P ∈P where ξ is a random variable and is a set of probability measures, possibly P non-dominated. In fact, any sublinear expectation with certain continuity ∗Dept. of Mathematics, Columbia University, New York. [email protected] The work of MN is partially supported by NSF grant DMS-1208985. †Sherrerd Hall rm. 227, Princeton University, Princeton. [email protected] The work of RvH is partially supported by NSF grant DMS-1005575. 1 properties is of this form (cf. [10, Sect. 4]). Under appropriate assumptions on , we would like to construct a conditional expectation (ξ) at any P Eτ stopping time τ of the the filtration generated by the canonical process {Ft} B and establish the tower property ( (ξ)) = (ξ) for stopping times σ τ, (1.1) Eσ Eτ Eσ ≤ a property also known as time-consistency in this context. -
The Constructive Hahn-Banach Theorem, Revisited
The constructive Hahn-Banach theorem, revisited Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology (JAIST) Nomi, Ishikawa 923-1292, Japan Workshop: Constructive Mathematics HIM Bonn, 6{10 August, 2018 The Hahn-Banach theorem The Hahn-Banach theorem is a central tool in functional analysis, which is named after the mathematicians Hans Hahn and Stefan Banach who proved it independently in the late 1920s. The theorem has several forms. I The continuous extension theorem which allows the extension of a bounded linear functional defined on a subspace of a normed space to the whole space; I The separation theorem which allows a separation of two convex subsets of a normed space by a hyperplane, and has numerous uses in convex analysis (geometry); I The dominated extension theorem which is the most general form of the theorem, and allows the extension of a linear functional defined on a subspace of a normed space, and dominated by a sublinear function, to the whole space. Normed spaces Definition 1 A normed space is a linear space E equipped with a norm k · k : E ! R such that I kxk = 0 $ x = 0, I kaxk = jajkxk, I kx + yk ≤ kxk + kyk, for each x; y 2 E and a 2 R. Note that a normed space E is a metric space with the metric d(x; y) = kx − yk: Definition 2 A Banach space is a normed space which is complete with respect to the metric. Examples For 1 ≤ p < 1, let N P1 p lp = f(xn) 2 R j n=0 jxnj < 1g and define a norm by P1 p 1=p k(xn)k = ( n=0 jxnj ) : Then lp is a (separable) Banach space. -
Bounded Operator - Wikipedia, the Free Encyclopedia
Bounded operator - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Bounded_operator Bounded operator From Wikipedia, the free encyclopedia In functional analysis, a branch of mathematics, a bounded linear operator is a linear transformation L between normed vector spaces X and Y for which the ratio of the norm of L(v) to that of v is bounded by the same number, over all non-zero vectors v in X. In other words, there exists some M > 0 such that for all v in X The smallest such M is called the operator norm of L. A bounded linear operator is generally not a bounded function; the latter would require that the norm of L(v) be bounded for all v, which is not possible unless Y is the zero vector space. Rather, a bounded linear operator is a locally bounded function. A linear operator on a metrizable vector space is bounded if and only if it is continuous. Contents 1 Examples 2 Equivalence of boundedness and continuity 3 Linearity and boundedness 4 Further properties 5 Properties of the space of bounded linear operators 6 Topological vector spaces 7 See also 8 References Examples Any linear operator between two finite-dimensional normed spaces is bounded, and such an operator may be viewed as multiplication by some fixed matrix. Many integral transforms are bounded linear operators. For instance, if is a continuous function, then the operator defined on the space of continuous functions on endowed with the uniform norm and with values in the space with given by the formula is bounded. -
Chapter 6 Linear Transformations and Operators
Chapter 6 Linear Transformations and Operators 6.1 The Algebra of Linear Transformations Theorem 6.1.1. Let V and W be vector spaces over the field F . Let T and U be two linear transformations from V into W . The function (T + U) defined pointwise by (T + U)(v) = T v + Uv is a linear transformation from V into W . Furthermore, if s F , the function (sT ) ∈ defined by (sT )(v) = s (T v) is also a linear transformation from V into W . The set of all linear transformation from V into W , together with the addition and scalar multiplication defined above, is a vector space over the field F . Proof. Suppose that T and U are linear transformation from V into W . For (T +U) defined above, we have (T + U)(sv + w) = T (sv + w) + U (sv + w) = s (T v) + T w + s (Uv) + Uw = s (T v + Uv) + (T w + Uw) = s(T + U)v + (T + U)w, 127 128 CHAPTER 6. LINEAR TRANSFORMATIONS AND OPERATORS which shows that (T + U) is a linear transformation. Similarly, we have (rT )(sv + w) = r (T (sv + w)) = r (s (T v) + (T w)) = rs (T v) + r (T w) = s (r (T v)) + rT (w) = s ((rT ) v) + (rT ) w which shows that (rT ) is a linear transformation. To verify that the set of linear transformations from V into W together with the operations defined above is a vector space, one must directly check the conditions of Definition 3.3.1. These are straightforward to verify, and we leave this exercise to the reader. -
Linear Algebra Review
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic facts about real and complex numbers. In particular, both R and C are fields; they satisfy the field axioms. For p z = x + iy 2 C, the modulus, i.e. jzj = x2 + y2 ≥ 0, represents the distance from z to the origin in the complex plane. (As such, it coincides with the absolute value for real z.) For z = x + iy 2 C, complex conjugation, i.e. z = x − iy, represents reflection about the x-axis in the complex plane. It will also be important that both R and C are complete, as metric spaces, when equipped with the metric d(z; w) = jz − wj. 1.1. Vector Spaces. One of the most important notions in this course is that of a vector space. Although vector spaces can be defined over any field, we will (by and large) restrict our attention to fields F 2 fR; Cg. The following definition is fundamental. Definition 1.1. Let F be a field. A vector space V over F is a non-empty set V (the elements of V are called vectors) over a field F (the elements of F are called scalars) equipped with two operations: i) To each pair u; v 2 V , there exists a unique element u + v 2 V . This operation is called vector addition. ii) To each u 2 V and α 2 F, there exists a unique element αu 2 V . -
Multi-Dimensional Central Limit Theorems and Laws of Large
Multi-dimensional central limit theorems and laws of large numbers under sublinear expectations Ze-Chun Hu∗ and Ling Zhou Nanjing University Abstract In this paper, we present some multi-dimensional central limit theorems and laws of large numbers under sublinear expectations, which extend some previous results. Keywords central limit theorem, laws of large numbers, sublinear expectation MSC(2000): 60H10, 60H05 1 Introduction The classic central limit theorems and strong (weak) laws of large numbers play an important role in the development of probability theory and its applications. Recently, motivated by the risk measures, superhedge pricing and modeling uncertain in finance, Peng [1, 2, 3, 4, 5, 6] initiated the notion of independent and identically distributed (IID) random variables under sublinear expectations, and proved the central limit theorems and the weak law of large numbers among other things. In [7], Hu and Zhang obtained a central limit theorem for capacities induced by sublinear expectations. In [8], Li and Shi proved a central limit theorem without the requirement of identical distribution, which extends Peng’s central limit theorems in [2, 4]. In [9], Hu proved that for any arXiv:1211.1090v2 [math.PR] 19 Jun 2013 continuous function ψ satisfying the growth condition ψ(x) C(1+ x p) for some C > 0,p 1 depending on ψ, central limit theorem under sublinear| expectations| ≤ | obtained| by Peng [4] still≥ holds. In [10], Zhang obtained a central limit theorem for weighted sums of independent random variables under sublinear expectations, which extends the results obtained by Peng, Li and Shi. Now we recall the existing results about the laws of large numbers under sublinear expec- tations.