DOCSLIB.ORG

10. Uniformly Convex Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
10. Uniformly Convex Spaces Researcher, 1(1), 2009, http://www.sciencepub.net, sciencepub@gmail.com Uniformly Convex Spaces Usman, M .A, Hammed, F.A. And Olayiwola, M.O Department Of Mathematical Sciences Olabisi Onabanjo University Ago-Iwoye, Nigeria usmanma@yahoo.com ABSTARACT: This paper depicts the class OF Banach Spaces with normal structure and that they are generally referred to as uniformly convex spaces. A review of properties of a uniformly convex spaces is also examined with a view to show that all non-expansive mapping have a fixed point on this space. With the definition of uniformly convex spaces in mind, we also proved that some spaces are uniformly spaces. [Researcher. 2009;1(1):74-85]. (ISSN: 1553-9865). Keywords: Banach Spaces, Convex spaces, Uniformly Convex Space. INTRODUCTION The importance of Uniformly convex spaces in Applied Mathematics and Functional Analysis, it has developed into area of independent research, where several areas of Mathematics such as Homology theory, Degree theory and Differential Geometry have come to play a very significant role. [1,3,4] Classes of Banach spaces with normal structure are those generally refer to as Uniformly convex spaces. In this paper, we review properties of the space and show that all non- expansive maps have a fixed-point on this space. [2] Let x be a Banach Space. A Branch space x is said to be Uniformly convex if for ε > 0 there exist a ∂ = (ε ) > 0 such that if x, y £ x with //x//=1, //y//=1 and //x-y// ≥ ε , then 1 ()x+ y // ≤ 1 − ∂ // 2 . THEOREM (1.0) Let x = LP (µ) denote the space of measurable function f such that //f// are integrable, endowed with the norm. ()∂x// f ∂μ 1 // f // = P Then for 1<P<+ ∞ , the space LP(μ) is uniformly convex for the proof of the above theorem, we need the following basic lemma. Lemma (1.0) 1+ 1 =1 Let X=Lp, then for p q>0, such p q and for each pair f, g £ x, the following inequalities hold. (i) For 1<p ≤ 2 // 1 ()f+ g// q + // 1 () f + g// q ≤ // 2−1 ( //f // p+ // g // q) 2 2 And (ii) For 2 ≤p < ∞ − p //(f+ g // p + //( f − g // p ≤ // 2( //f // pp+ // g // q) 74 Researcher, 1(1), 2009, http://www.sciencepub.net, sciencepub@gmail.com We now apply lemma (1.0) to prove theorem (1.0) Proof of theorem (1.0) Choose f1 gε X= Lp, such that //f //≤ 1, // g //≤ 1 and for any ε > 0 , we have //f− g // ≥ ε . Two cases arise: Case1: 1<p ≤ 2 In this case (1.0) yield // 1 ()f+ g// q + // 1 () f − g// q ≤ 2 − ( q − 1)( // f // p+ // g //)q−1 // 2 2 ≤2 −)()(q − 1 2( q − 1) = 1 f− g (ε )q // 1 ()f+ g// q ≤ 1 − / /q ≤ 1 − 2 g 2 Thus, q ()ε 1 >0 // 1 ()f+ g // ≤ 1 − // p Or 2 2 ()ε δ =1 − // // 1 > 0 So that by choosing 2 q // 1 ()f+ g // ≤ 1 − δ We obtain 2 and so x= Lp( kp ≤ 2) is uniformly convex. Case 2: 2 ≤p < ∞ As in Case 1, we use (ii) of Lemma (3.1.1) to show that x= Lp( kp < ∞) is uniformly convex, completing the proof of the theorem. Since Lemma (3.1.1) is also valid for 1p, 1 ≤ p < ∞ , the following theorem is also true. Theorem (2.0) 1 ≤p < ∞ For , the space 1p of all infinite (real or complex) sequence, (x1,x2,x3,……) ∞ ∑ //xi p < +∞ such that i=1 is uniformly convex. A s a special case of theorem (1.0), we have the following. Corollary (1.0) Every Hibert space H is Uniformly convex. Although theorem (1.0) and (3.0) provide large classes of space which are Uniformly convex, a few well known spaces are known not to be Uniformly convex. 1. The Space λ is not Uniformly convex To see this ε =1 and choose π (1,0,0,0,..........) , //Υ //λ1 //π − Υ //λ1 = 2 > ε .. However, // 1 ()π − Υ// ≤ 1 // 1 (Χ − Υ// ≤ 1 − δ 2 and there is no ε = 0 such that 2 , showing that λ1 is not uniformly convex. 2. The space λ∞ is not uniformly convex Consider U = ()1,1,0,0,0,............, and V = (1,1,0,0,0,..........) , Both U and V ελ∞ . Take ε =1, then // 1 (UV−λ)//= 1 and so //U //∞ = 1, //V // ∞ and //U - V//∞ = 2 > ε . However, 2 ∞ is not 75 Researcher, 1(1), 2009, http://www.sciencepub.net, sciencepub@gmail.com uniformly convex. 3. Consider c(a,b) the space of real-valued continuous function on the compact interval (a,b) with Sup norm. Then C (a,b) is not uniformly convex. To see this, choose two function f(t), g(t) defined as follows: F(t) = 1 for all tε () a, b And b− t g() t = for each tε () a, b b− a 1 ε = Take 2 clearly f(t), g(t)ε c() a,b .//f //− // g //= 1 and //f - g// ⇒ ε . // 1 ()f+ g // = 1 Also, 2 and so c(a, b) is Not uniformly convex. The following propositions are the consequences of the definition of uniform convexity. Proposition (1.0) Suppose x is Uniformly convex Banach space, then for any ∂ >0, ε > 0 arbitrary ⎧ (ε )⎫ δ > 0 such that // 1 x +y // ≤ 1 − δ ∂ 2 ()⎨ ⎬ Vectors x,y£x with //x// ≤ ∂ , //y//≥ , there exists a ⎩ ∂ ⎭ Proof ε = ε Let ε > 0 be given and let z1 = x/ ∂ , z2 = y / ∂ and suppose we set d . 1 ε //z 1 //≤ 1 and //z1−z 2 // =//x − y // ≥ / d = ε 2 0 Now, by uniform convexity, we have =// 1 z + z // ≤ 1 − δ() ε 2 1 2 ()ε // 1 ∂()x + y // ≤ 1δ That is 2 4 ⎧ (ε )⎫ // 1 x+ y // ≤ 1 − δ ∂ 2 ()⎨ ⎬ Which implies, ⎩ ∂ ⎭ Proposition (2.0) Let x be a uniformly convex Banach space. Then for any ε >0,ε > 0 and ∂ε()0,1 if x, yεΧ such that // x//≤ ∂ , // x - y// > ε , then exist a; δ = ∂(ε )> 0 such that ∂ //αx+ 1 − α y // − 2()ε 1 minα , 1- α // d () ∂ ) Proof ε (0, 1 ) Without loss of generality, we may take 2 Now, //αx+() 1 −α y // = //α )( +y + (1− 2α ) //y // ≤ 2α // 1 x+ y // + 1 − 2α //y //..............................(1.0) 2 ()() But by proposition (1.0), we have that there exists aδ > 0 , such that // 1 ()x+ y // ≤ // −δ( ε ) // ∂ 2 Substitute this into (1.0), to have 76 Researcher, 1(1), 2009, http://www.sciencepub.net, sciencepub@gmail.com ⎧ (ε ) ⎫ Since //y// ≤ ∂ =⎨ ∂ - 2αδ ∂⎬ ⎩ ∂ ⎭ ⎛ ()ε ⎞ =⎜1 − 2α ∂ ∂⎟ ⎝ ∂ ⎠ αε (0, 1 ), have α≥ min( α ,1- α ) Put by the choice of 2 Thus, we have, (ε ) //α x+() 1- α // ≤ //1 − 2δ min()α ,1− α // ∂ ∂ We now discuss a characteristic of some Banach space, which is related to uniform convexity. 2.0 STRICTLY CONVEX BANACH SPACES Definition (1.0) A Banach space X is said to be strictly convex (or strictly rotund if for any pair of vecors x, y £ x, the equation //x + y//=//x+//y//, implies that there exists a λ ≥ 0 such that x=λ x ()or y = λ x . The following Lemma on uniform convexity will be useful in the sequence. Lemma (1.0) Let X be a uniformly convex Banach space. λ + 0, // x -λ y//≥ 0, then // 1 ()x+λ y // ≤ //x // If 2 Proof Suppose 0< // x // < //y // . (The proof for the case 0< // x // < // y // is similar) . // x // λ = and set a= x, b = λ y. The // a - b // = // x -λ y //> 0, Take // y // Let ε > 0 such that //x -λ y // ≥ ε Observe that, // x //// y // // a //= //x//, // b // =λ // y // = = // x // // y // δ (ε ) > 0 δ = So by proposition (3.1.1), there exist a // x // ∂()ε // 1 ()a+ b // < 1- // x //< // x //, Such that 2 // x // // 1 ()x+ y // < // x //. That is 2 Completing the proof of the lemma, we now prove the following theorem. Theorem (1.2) Every uniformly convex space is strictly convex Proof Suppose x is uniformly convex Let x, yεΧ be non-zero vectors such that //x+y//=//x//+//y// We need to show that there exist aλ > 0 such that x= λ y . We consider two possible cases. Case I: // x //=// y // Case II: 0< // y// < // x //, (The other case 0< // x // < / y // is treated) Similarly, 77 Researcher, 1(1), 2009, http://www.sciencepub.net, sciencepub@gmail.com Proof of Case I // x // x≠ y; then as =1 If x=, then (II) holds with λ =1, so, suppose // y // and // x+y //<2 //x // =+ // y // (Since // x // y //). That is, // x + y // <1 // x // + //y //. Contradicting (I). Thus, x ≠ y is not possible and this proves case I. Proof of Case 2 Suppose // x=y // = // x // + // y // and that x ≠ λ y. Since x is uniform convex, lemma (2.0) yields. // 1 x+λ y // < // x // .................................(1.1) 2 () // x // 0< //y // < // x//, let λ = //x+ y // = // x// + //y// For // y // And x ≠ λ y λ()// x //+ // y // =λ //x + y//= //λ x+ λ y - x+ x // We have ≤//x +λ y // +() λ + 1 //x //................(1.2) λ()// x //+ // y // ≤ //x // + λ // y//+ λ // x// - // x // That is, =λ()// x // + // y // ................(1.3) The inequalities (b) and (c) gives λ()// x //+ // y // = // x+ λ y //+ (λ -1) //x // // x // λ = 1 x+λ y = // x // 2 () From which we obtain (since // y // Contracting (1.1). This completes the proof of the theorem. Theorem (3.2.2) gives a large class of strict convex Banach spaces.
Load more

Recommended publications
  • ON the STABILITY of the DIFFERENTIAL PROCESS GENERATED by COMPLEX INTERPOLATION Contents 1. Introduction 2 2. Preliminary Result
    ON THE STABILITY OF THE DIFFERENTIAL PROCESS GENERATED BY COMPLEX INTERPOLATION JESUS´ M. F. CASTILLO, WILLIAN H. G. CORREA,^ VALENTIN FERENCZI, MANUEL GONZALEZ´ Abstract. We study the stability of the differential process of Rochberg and Weiss associated to an analytic family of Banach spaces obtained using the complex interpolation method for families. In the context of K¨othefunction spaces we complete earlier results of Kalton (who showed that there is global bounded stability for pairs of K¨othespaces) by showing that there is global (bounded) stability for families of up to three K¨othespaces distributed in arcs on the unit sphere while there is no (bounded) stability for families of four or more K¨othespaces. In the context of arbitrary pairs of Banach spaces we present some local stability results and some global isometric stability results. Contents 1. Introduction 2 2. Preliminary results 4 3. Kalton spaces of analytic functions 6 3.1. Derivations, centralizers and twisted sums 6 3.2. Distances and isomorphisms 8 3.3. Bounded stability 10 4. Stability of splitting for K¨othefunction spaces 11 4.1. Stability for pairs of K¨othespaces 12 4.2. Complex interpolation for families 15 4.3. Stability for families of three K¨othespaces 17 4.4. (Bounded) stability fails for families of four K¨othespaces 22 5. Stability of splitting for pairs of Banach spaces 25 5.1. Local bounded stability for coherent pairs 26 5.2. Isometric rigidity of linear derivations for optimal interpolation pairs 28 References 30 2010 Mathematics Subject Classification. 46B70, 46E30, 46M18. Key words and phrases.
    [Show full text]
  • Some Types of Banach Spaces, Hermitian Operators, And
    SOME TYPES OF BANACHSPACES, HERMITIAN OPERATORS,AND BADE FUNCTIONAL^1) BY EARL BERKSON Introduction. In [6] and [ll] a general notion of hermitian operator has been developed for arbitrary complex Banach spaces (see §1 below). In terms of this notion, a family of operators on a Banach space is said to be hermitian-equivalent if the operators of this family can be made simultaneously hermitian by equivalent renorming of the underlying space [7]. Let X be a complex Banach space with norm || ||, and let F be a commutative hermitian-equivalent family of operators on X. A norm for X equivalent to || ||, and relative to which the operators of F are hermitian will be called an F-norm. Such families have been studied in [7], where it is shown that if X is a Hilbert space, then there is an F-norm which is also a Hilbert space norm. It is natural to seek other properties which, if enjoyed by X, can be preserved by choosing an F-norm appro- priately. Such an investigation is conducted in this paper. Specifically, we show in §§3 and 4 that if the Banach space X has uniformly Frechet differentiable norm (resp., is uniformly convex), then there is an F-norm which preserves uniform Frechet differentiability (resp., uniform con- vexity). Moreover, we show in §6 that if X = Lp(fi), <*>> p > 1, M a meas- ure, then there is an F-norm which preserves both uniform Frechet differ- entiability and uniform convexity. Our result for'the case where X is uniformly convex enables us to es- tablish in Theorem (5.4) a strong link between the notions of semi-inner- product (see §1) and Bade functional.
    [Show full text]
  • When Is There a Representer Theorem?
    Journal of Global Optimization https://doi.org/10.1007/s10898-019-00767-0 When is there a representer theorem? Nondifferentiable regularisers and Banach spaces Kevin Schlegel1 Received: 25 July 2018 / Accepted: 28 March 2019 © The Author(s) 2019 Abstract We consider a general regularised interpolation problem for learning a parameter vector from data. The well known representer theorem says that under certain conditions on the regu- lariser there exists a solution in the linear span of the data points. This is at the core of kernel methods in machine learning as it makes the problem computationally tractable. Necessary and sufficient conditions for differentiable regularisers on Hilbert spaces to admit a repre- senter theorem have been proved. We extend those results to nondifferentiable regularisers on uniformly convex and uniformly smooth Banach spaces. This gives a (more) complete answer to the question when there is a representer theorem. We then note that for regularised interpolation in fact the solution is determined by the function space alone and independent of the regulariser, making the extension to Banach spaces even more valuable. Keywords Representer theorem · Regularised interpolation · Regularisation · Semi-inner product spaces · Kernel methods Mathematics Subject Classification 68T05 1 Introduction Regularisation is often described as a process of adding additional information or using pre- vious knowledge about the solution to solve an ill-posed problem or to prevent an algorithm from overfitting to the given data. This makes it a very important method for learning a function from empirical data from very large classes of functions. Intuitively its purpose is to pick from all the functions that may explain the data the function which is the simplest in some suitable sense.
    [Show full text]
  • Arxiv:1911.04892V2 [Math.FA] 21 Feb 2020 Lnso Htst H Aeascae Ihagvndirectio Given a with Associated Face the Set
    Noname manuscript No. (will be inserted by the editor) Faces and Support Functions for the Values of Maximal Monotone Operators Bao Tran Nguyen · Pham Duy Khanh Received: date / Accepted: date Abstract Representation formulas for faces and support functions of the values of maximal monotone operators are established in two cases: either the operators are defined on uniformly Banach spaces with uniformly convex duals, or their domains have nonempty interiors on reflexive real Banach spaces. Faces and support functions are characterized by the limit values of the minimal-norm selections of maximal monotone operators in the first case while in the second case they are represented by the limit values of any selection of maximal monotone operators. These obtained formulas are applied to study the structure of maximal monotone operators: the local unique determination from their minimal-norm selections, the local and global decompositions, and the unique determination on dense subsets of their domains. Keywords Maximal monotone operators · Face · Support function · Minimal-norm selection · Yosida approximation · Strong convergence · Weak convergence Mathematics Subject Classification (2010) 26B25 · 47B48 · 47H04 · 47H05 · 54C60 1 Introduction Faces and support functions are important tools in representation and analysis of closed convex sets (see [11, arXiv:1911.04892v2 [math.FA] 21 Feb 2020 Chapter V]). For a closed convex set, a face is the set of points on the given set which maximizes some (nonzero) linear form while the support function is
    [Show full text]
  • View This Volume's Front and Back Matter
    Selected Title s i n Thi s Serie s 48 Yoa v Benyamin i an d Jora m Lindenstrauss , Geometri c nonlinea r functiona l analysis , Volume 1 , 200 0 47 Yur i I . Manin , Frobeniu s manifolds , quantu m cohomology , an d modul i spaces , 199 9 46 J . Bourgain , Globa l solution s o f nonlinear Schrodinge r equations , 199 9 45 Nichola s M . Kat z an d Pete r Sarnak , Rando m matrices , Frobeniu s eigenvalues , an d monodromy, 199 9 44 Max-Alber t Knus , Alexande r Merkurjev , an d Marku s Rost , Th e boo k o f involutions, 199 8 43 Lui s A . Caffarell i an d Xavie r Cabre , Full y nonlinea r ellipti c equations , 199 5 42 Victo r Guillemi n an d Shlom o Sternberg , Variation s o n a theme b y Kepler , 199 0 41 Alfre d Tarsk i an d Steve n Givant , A formalization o f set theor y without variables , 198 7 40 R . H . Bing , Th e geometri c topolog y o f 3-manifolds , 198 3 39 N . Jacobson , Structur e an d representation s o f Jordan algebras , 196 8 38 O . Ore , Theor y o f graphs, 196 2 37 N . Jacobson , Structur e o f rings, 195 6 36 W . H . Gottschal k an d G . A . Hedlund , Topologica l dynamics , 195 5 35 A . C . Schaeffe r an d D . C . Spencer , Coefficien t region s fo r Schlich t functions , 195 0 34 J . L . Walsh , Th e locatio n o f critical point s o f analytic an d harmoni c functions , 195 0 33 J .
    [Show full text]
  • On Ψ Direct Sums of Banach Spaces and Convexity
    J.Aust. Math. Soc. 75(2003), 413^22 ON ^-DIRECT SUMS OF BANACH SPACES AND CONVEXITY MIKIO KATO, KICHI-SUKE SAITO and TAKAYUKITAMURA Dedicated to Maestro Ivry Gitlis on his 80th birthday with deep respect and affection (Received 18 April 2002; revised 31 January 2003) Communicated by A. Pryde Abstract Let Xi, Xi,..., XN be Banach spaces and \jf a continuous convex function with some appropriate 1 conditions on a certain convex set in K^" . Let (Xi ©X2ffi- • -(&XN)t be the direct sum of X\, X2 XN equipped with the norm associated with f. We characterize the strict, uniform, and locally uniform convexity of (X\ © X2 © • • • © XN)j, by means of the convex function \jr. As an application these convexities are characterized for the ^,,,,,-sum (X! © X2 ffi • • • © XN)pq (1 < q < p < 00, q < 00), which includes the well-known facts for the ip-sam (Xx © X2 © • • • © XN)P in the case p = q. 2000 Mathematics subject classification: primary 46B20,46B99, 26A51, 52A21, 90C25. Keywords and phrases: absolute norm, convex function, direct sum of Banach spaces, strictly convex space, uniformly convex space, locally uniformly convex space. 1. Introduction and preliminaries A norm || • || on C is called absolute if ||(*,,..., zN)\\ = ||(|zi|,..., |z*|)|| for all (zi,..., zN) € C, and normalized if ||(1, 0 0)|| = • • • = ||(0 0, 1)|| = 1 (see for example [3, 2]). In case of N = 2, according to Bonsall and Duncan [3] (see also [12]), for every absolute normalized norm || • || on C2 there corresponds a unique continuous convex function \)r on the unit interval [0, 1] satisfying max{l -/,/}< The authors are supported in part by Grants-in-Aid for Scientific Research, Japan Society for the Promotion of Science.
    [Show full text]
  • The Daugavet Equation in Uniformly Convex Banach Spaces*
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF FUNCTIONAL ANALYSIS 97, 215-230 (1991) The Daugavet Equation in Uniformly Convex Banach Spaces* Y. A. ABRAMOVICH Department of Mathematics, Indiana University-Purdue University at Indianapolis, Indianapolis, Indiana 46205 C. D. ALIPRANTIS Department of Mathematics, California Institute of Technology, Pasadena, California PI125 AND 0. BURK~NSHAW Department of Mathematics, Indiana University-Purdue University at Indianapolis, Indianapolis, Indiana 46205 Communicated by the Editors Received November 3, 1989 It is shown that a continuous operator T: A’ + X on a uniformly convex Banach space satisfies the Daugavet equation IIf+ TII = 1 + 11TI/ if and only if the norm I/ T/I of the operator lies in the spectrum of T. Specializing this result to compact operators, we see that a compact operator on a uniformly convex Banach space satisfies the Daugavet equation if and only if its norm is an eigenvalue. The latter conclusion is in sharp contrast with the standard facts on the Daugavet equation for the spaces L,(p) and L,(p). A discussion of the Daugavet property in the latter spaces is also included in the paper. 6 1991 Acadcmc Press, Inc. 1. INTRODUCTION We start with a formal definition. DEFINITION 1.1. A continuous operator T: X + X on a Banach space is said to satisfy the Daugavet equation whenever III+ TII = 1 + II TII, where Z is the identity operator on X. * Research supportea in part by a Chrysler Corporation grant to IUPUI. 215 0022-1236/91 $3.00 Copyright B> 1991 by Academic Press, Inc.
    [Show full text]
  • Chapter 1 Introduction
    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. The proof is in one line if one just know that not any Banach space can have such a basis (see Section 2.7 for details).
    [Show full text]
  • Lecture Notes in Functional Analysis
    Lecture Notes in Functional Analysis Please report any mistakes, misprints or comments to aulikowska@mimuw.edu.pl LECTURE 1 Banach spaces 1.1. Introducton to Banach Spaces Definition 1.1. Let X be a K{vector space. A functional p X 0; is called a seminorm, if (a) p λx λ p x ; λ K; x X, ∶ → [ +∞) (b) p x y p x p y ; x; y X. ( ) = S S ( ) ∀ ∈ ∈ Definition 1.2. Let p be a seminorm such that p x 0 x 0. Then, p is a norm ( + ) ≤ ( ) + ( ) ∀ ∈ (denoted by ). ( ) = ⇒ = Definition 1.3. A pair X; is called a normed linear space. Y ⋅ Y Lemma 1.4. Each normed space X; is a metric space X; d with a metric given by ( Y ⋅ Y) d x; y x y . ( Y ⋅ Y) ( ) Definition 1.5. A sequence x in a normed space X; is called a Cauchy se- ( ) = Y − Y n n N quence, if ∈ " 0 N{ " } N n; m N " (xn Yx⋅ mY) ": Definition 1.6. A sequence x converges to x (which is denoted by lim x x), ∀ > ∃ (n) n∈ N ∀ ≥ ( ) ⇒ Y − Y ≤ n n if ∈ →+∞ " 0 { N}" N n N " xn x ": = Definition 1.7. If every Cauchy sequence x converges in X, then X; is called ∀ > ∃ ( ) ∈ ∀ ≥n n (N ) ⇒ Y − Y < a complete space. { } ∈ ( Y ⋅ Y) Definition 1.8. A normed linear space X; which is complete is called a Banach space. ( 1 Y ⋅ Y) 2 LECTURE NOTES, FUNCTIONAL ANALYSIS Lemma 1.9. Let X; be a Banach space and U be a closed linear subspace of X.
    [Show full text]
  • NONLINEAR CLASSIFICATION of BANACH SPACES a Dissertation by NIRINA LOVASOA RANDRIANARIVONY Submitted to the Office of Graduate S
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Texas A&amp;M Repository NONLINEAR CLASSIFICATION OF BANACH SPACES A Dissertation by NIRINA LOVASOA RANDRIANARIVONY Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY August 2005 Major Subject: Mathematics NONLINEAR CLASSIFICATION OF BANACH SPACES A Dissertation by NIRINA LOVASOA RANDRIANARIVONY Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Approved by: Chair of Committee, William B. Johnson Committee Members, Harold Boas N. Sivakumar Jerald Caton Head of Department: Albert Boggess August 2005 Major Subject: Mathematics iii ABSTRACT Nonlinear Classification of Banach Spaces. (August 2005) Nirina Lovasoa Randrianarivony, Licence de Math´ematiques; Maˆıtrise de Math´ematiques, Universit´e d’Antananarivo Madagascar Chair of Advisory Committee: Dr. William B. Johnson We study the geometric classification of Banach spaces via Lipschitz, uniformly continuous, and coarse mappings. We prove that a Banach space which is uniformly homeomorphic to a linear quotient of `p is itself a linear quotient of `p when p<2. We show that a Banach space which is Lipschitz universal for all separable metric spaces cannot be asymptotically uniformly convex. Next we consider coarse embedding maps as defined by Gromov, and show that `p cannot coarsely embed into a Hilbert space when p>2. We then build upon the method of this proof to show that a quasi- Banach space coarsely embeds into a Hilbert space if and only if it is isomorphic to a subspace of L0(µ) for some probability space (Ω; B,µ).
    [Show full text]
  • An Introduction to the Theory of Hilbert Spaces
    An Introduction to the Theory of Hilbert Spaces Eberhard Malkowsky Abstract These are the lecture notes of a mini–course of three lessons on Hilbert spaces taught by the author at the First German–Serbian Summer School of Modern Mathematical Physics in Sokobanja, Yu- goslavia, 13–25 August, 2001. The main objective was to present the fundamental definitions and results and their proofs from the theory of Hilbert spaces that are needed in applications to quantum physics. In order to make this paper self–contained, Section 1 was added; it contains well–known basic results from linear algebra and functional analysis. 1 Notations, Basic Definitions and Well–Known Results In this section, we give the notations that will be used throughout. Fur- thermore, we shall list the basic definitions and concepts from the theory of linear spaces, metric spaces, linear metric spaces and normed spaces, and deal with the most important results in these fields. Since all of them are well known, we shall only give the proofs of results that are directly applied in the theory of Hilbert spaces. 352 Throughout, let IN, IR and C| denote the sets of positive integers, real and complex numbers, respectively. For n ∈ IN , l e t IR n and C| n be the sets of n–tuples x =(x1,x2,...,xn) of real and complex numbers. If S is a set then |S| denotes the cardinality of S.Wewriteℵ0 for the cardinality of the set IN. In the proof of Theorem 4.8, we need Theorem 1.1 The Cantor–Bernstein Theorem If each of two sets allows a one–to–one map into the other, then the sets are of equal cardinality.
    [Show full text]
  • A Compilation of Some Well-Known Results in Renorming Theory
    A COMPILATION OF SOME WELL-KNOWN RESULTS IN RENORMING THEORY HADI HAGHSHENAS Department of Mathematics, Birjand University, Iran haghshenas60@gmail.com Abstract. The problems concerning equivalent norms of Banach spaces lie at the heart of Banach space theory. Our aim in this paper is to present a history of the subject, and to introduce some open problems. 1. Introduction. Banach space theory is a classic topic in functional analysis. The study of the structure of Banach spaces provides a framework for many branches of mathematics like differential calculus, linear and nonlinear analysis, abstract analysis, topology, probability, harmonic analysis, etc. The geometry of Banach spaces plays an im- portant role in Banach space theory. Since it is easier to do analysis on a Banach space which has a norm with good geometric properties than on a general space, we consider in this survey an area of Banach space theory known as renorming theory. Renorming theory is involved with problems concerning the construction of equivalent norms on a Banach space with nice geometrical properties of convex- ity or differentiability. An excellent monograph containing the main advances on arXiv:0901.3029v9 [math.FA] 21 Feb 2011 renorming theory until 1993 is [14]. Before continuing we set the following main definition: 0 2010 Mathematics Subject Classification: 46B20. Keywords and Phrases: Gateaux differentiable norm, Fr´echet differentiable norm, smooth norm, strictly convex space, uniformly convex space, Kadec-Klee property, Asplund space, weakly- compactly-generated space, Vasak space, Mazur intersection property, isomorphically polyhedral space, Schauder basis, uniform Eberlein compact space, super reflexive space. This paper is based on a part of the author,s MSc thesis written under the supervision of professor Aman A.
    [Show full text]