DOCSLIB.ORG

2.2 Annihilators, Complemented Subspaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
2.2 Annihilators, Complemented Subspaces 34CHAPTER 2. WEAK TOPOLOGIES, REFLEXIVITY, ADJOINT OPERATORS 2.2 Annihilators, complemented subspaces Definition 2.2.1. [Annihilators, Pre-Annihilators] Assume X is a Banach space. Let M X and N X . We call ⊂ ⊂ ∗ M ⊥ = x∗ X∗ : x M x∗,x =0 X∗, { ∈ ∀ ∈ $ % }⊂ the annihilator of M and N = x X : x∗ N x∗,x =0 X, ⊥ { ∈ ∀ ∈ $ % }⊂ the pre-annihilator of N. Proposition 2.2.2. Let X be a Banach space, and assume M X and ⊂ N X . ⊂ ∗ a) M ⊥ is a closed subspace of X∗, M ⊥ =(span(M))⊥, and (M ⊥) = span(M), ⊥ b) N is a closed subspace of X, N = (span(N)) , and span(N) ⊥ ⊥ ⊥ ⊂ (N )⊥. ⊥ c) span(M)=X M = 0 . ⇐⇒ ⊥ { } Proposition 2.2.3. If X is Banach space an Y X a closed subspace then ⊂ (X/Y )∗ is isometrically isomorphic to Y ⊥ via the operator Φ:( X/Y )∗ Y ⊥, with Φ(z∗)(x)=z∗(x). → (recall x := x + Y X/Y for x X). ∈ ∈ Proof. Let Q : X X/Y be the quotient map → For z (X/Y ) ,Φ(z ), as defined above, can be written as Φ(z )= ∗ ∈ ∗ ∗ ∗ z Q thus Φ(z ) X since Q(Y )= 0 it follows that Φ(z ) Y . For ∗ ◦ ∗ ∈ ∗ { } ∗ ∈ ⊥ z (X/Y ) we have ∗ ∈ ∗ Φ(z∗) = sup z∗,Q(x) = sup z∗, x = z∗ (X/Y )∗ , * * x B $ % x B $ % * * ∈ X ∈ X/Y where the second equality follows on the one hand from the fact that Q(x) * *≤ x , for x X, and on the other hand, from the fact that for any x = x+Y * * ∈ ∈ X/Y there is a sequence (yn) Y so that lim supn x + yn 1. ⊂ →∞ * *≤ Thus Φis an isometric embedding. If x Y X , we define ∗ ∈ ⊥ ⊂ ∗ z∗ : X/Y K,x+ Y x∗,x . → ,→ $ % 2.2. ANNIHILATORS, COMPLEMENTED SUBSPACES 35 First note that this map is well defined (since x ,x+ y = x ,x+ y for $ ∗ 1% $ ∗ 2% y ,y Y ). Since x is linear, z is also linear, and z , x = x ,x , for all 1 2 ∈ ∗ ∗ |$ ∗ %| |$ ∗ %| x X, and thus z = x . Finally, since Φ(z ),x = z ,Q(x) = ∈ * ∗*(X/Y )∗ * ∗* $ ∗ % $ ∗ % x ,x , it follows that Φ(z )=x , and thus that Φis surjective. $ ∗ % ∗ ∗ Proposition 2.2.4. Assume X and Y are Banach spaces and T L(X, Y ). ∈ Then (2.1) T (X)⊥ = (T ∗) and T (Y ) (T )⊥ N ∗ ∗ ⊂N (2.2) T (X)= (T ∗) and T ∗(Y ∗) = (T ). N ⊥ ⊥ N Proof. We only prove (2.1) .The verification of (2.1) is similar. For y Y ∗ ∈ ∗ y∗ T (X)⊥ x X y∗,T(x) =0 ∈ ⇐⇒ ∀ ∈ $ % x X T ∗(y∗),x =0 ⇐⇒ ∀ ∈ $ % T ∗(y∗)=0 y∗ (T ∗), ⇐⇒ ⇐⇒ ∈N which proves the first part of (2.1), and for y Y and all x (T ), ∗ ∈ ∗ ∈N it follows that T (y ),x = y ,T(x) = 0, which implies that T (Y ) $ ∗ ∗ % $ ∗ % ∗ ∗ ⊂ (T ) , and, thus, T (X ) (T ). N ⊥ ∗ ∗ ⊂N Definition 2.2.5. Let X be a Banach space and let U and V be two closed subspaces of X. We say that X is the complemented sum of U and V and we write X = U V , if for every x X there are u U and v V , so that ⊕ ∈ ∈ ∈ x = u + v and so that this representation of x as sum of an element of U and an element of V is unique. We say that a closed subspace Y of X is complemented in X If there is a closed subspace Z of X so that X = Y Z. ⊕ Remark. Assume that the Banach space X is the complemented sum of the two closed subspaces U and V . We note that this implies that U V = 0 . ∩ { } We can define two maps P : X U and Q : X V → → where we define P (x) U and Q(x) V by the equation x = P (x)+Q(y), ∈ ∈ with P (x) U and Q(x) V (which, by assumption, has a unique solution). ∈ ∈ Note that P and Q are linear. Indeed if P (x1)=u1, P (x2)=u2, Q(x1)=v1, Q(x2)=v2, then for λ, µ K we have λx1 +µx2 = λu1 +µu2 +λv1 +µv2, and ∈ thus, by uniqueness P (λx1+µx2)=λu1+µu2, and Q(λx1+µx2)=λv1+µv2. Secondly it follows that P P = P , and Q Q = Q. Indeed, for any ◦ ◦ x X we we write P (x)=P (x) + 0 U + V , and since this representation ∈ ∈ 36CHAPTER 2. WEAK TOPOLOGIES, REFLEXIVITY, ADJOINT OPERATORS of P (x) is unique it follows that P (P (x)) = P (x). The argument for Q is the same. Finally it follows that, again using the uniqueness argument, that P is the identity on U and Q is the identity on V . We therefore proved that a) P is linear, b) the image of P is U c) P is idempotent, i.e. P 2 = P We say in that case that P is a linear projection onto U. Similarly Q is a a linear projection onto V , and P and Q are complementary to each other., Meaning that P (X) Q(X)= 0 and P +Q = Id. A linear map P : X X ∩ { } → with the properties (a) and (c) is called projection. The next Proposition will show that P and Q as defined in above remark are actually bounded. Lemma 2.2.6. Assume that X is the complemented sum of two closed sub- spaces U and V . Then the projections P and Q as defined in above remark are bounded. Proof. Consider the norm on X defined by |||· ||| x = P (x) + Q(x) , for x X. ||| ||| * * * * ∈ We claim that (X, ) is also a Banach space. Indeed if (x ) X with |||· ||| n ⊂ ∞ ∞ ∞ x = P (x ) + Q(x ) < . ||| n||| * n * * n * ∞ n=1 n=1 n=1 ! ! ! Then u = ∞ P (x ) U, v = ∞ Q(x ) V (U and V are assumed n=1 n ∈ n=1 n ∈ to be closed) converge in U and V , respectively, and since also " " *·*≤||| · ||| x = n∞=1 xn converges and n n n "∞ x = xn = lim P (xn)+Q(xn) = lim P (xn)+ lim Q(xn)=u+v, n n n n=1 →∞ →∞ →∞ ! !j=1 !j=1 !j=1 and n n n x x = u P (x )+v Q(x ) − n − n − n ### j=1 ### ### j=1 j=1 ### ### ! ### ### ! ! ### ### ### ### ### 2.2. ANNIHILATORS, COMPLEMENTED SUBSPACES 37 n n = u P (xn) + v Q(xn) n 0, − − → →∞ $ j=1 $ $ j=1 $ $ ! $ $ ! $ which proves that (X, $ ) is complete.$ $ $ |||· ||| Since the identity is a bijective linear bounded operator from (X, ) to |||·||| (X, ) it has by Corollary 1.3.6 of the Closed Graph Theorem a continuous *·* inverse and is thus an isomorphy. Since P (x) x and Q(x) x * *≤||| ||| * *≤||| ||| we deduce our claim. Proposition 2.2.7. Assume that X is a Banach space and that P : X X, → is a bounded projection onto a closed subspace of X. Then X = P (X) (P ). ⊕N Theorem 2.2.8. There is no linear bounded operator T : " " so that ∞ → ∞ the kernel of T equals to c0. Corollary 2.2.9. c0 is not complemented in " . ∞ Proof of Theorem 2.2.10. For n N we let e∗ be the n-th coordinate func- ∈ n tional on " , i.e. ∞ en∗ : " K,x=(xj) xn. ∞ → ,→ Step 1. If T : " " is bounded and linear, then ∞ → ∞ ∞ (T )= (e∗ T ). N N n ◦ n=1 % Indeed, note that x (T ) n N e∗ (T (x)) = e∗ ,T(x) =0. ∈N ⇐⇒ ∀ ∈ n $ n % In order to prove our claim we will show that c0 cannot be the intersection of the kernel of countably many functionals in "∗ . ∞ Step 2. There is an uncountable family (Nα : α I) of infinite subsets of N ∈ for which N N is finite whenever α = β are in I. α ∩ β 1 Write the rationales Q as a sequence (qj : j N), and choose for each ∈ r R a sequence (nk(r):k N), so that (qn (r) : k N) converges to r. ∈ ∈ k ∈ Then, for r R let Nr = nk(r):k N . ∈ { ∈ } Step 3. For i I, put xα =1Nα " , i.e. ∈ ∈ ∞ (α) (α) 1 if k Nα xα =(ξk : k N) with ξk = ∈ ∈ &0 if k Nα. 1∈ 38CHAPTER 2. WEAK TOPOLOGIES, REFLEXIVITY, ADJOINT OPERATORS If f "∗ and c0 (f) then α I : f(xα) =0 is countable. ∈ ∞ ⊂N { ∈ 1 } In order to verify Step 3 let An = α : f(xα) 1/n , for n N. { | |≥ } ∈ It is enough to show that for n N the set An is finite. To do so, let ∈ k α1,α2,...,αk be distinct elements of An and put x = j=1 sign f(xαj ) xαj (for a C we put sign(a)=a/ a ) and deduce that f(x) k/n. Now ∈ | | " ≥' ( consider M = N N . Then N M is finite, and thus it follows j αj \ i=j αi αj \ j for & ) k x˜ = sign(f(xαj ))1Mj !j=1 that f(x)=f(˜x) (since x x˜ c ). Since the M , j =1, 2 . k are pairwise − ∈ 0 j disjoint, it follows that x˜ = 1, and thus * *∞ k f(x)=f(˜x) f . n ≤ ≤* * Which implies that that A can have at most n f elements. n * * Step 4. If c0 n∞=1 (fn), for a sequence (fn) "∗ , then there is an α I ⊂ N ⊂ ∞ ∈ so that xα ∞ (fn). In particular this implies that c0 = (fn). ∈ *n=1 N 1 n N N Indeed, from Step 2 it follows that ∈ * * C = α I : fn(xα) = 0 for some n N = α I : fn(xα) =0 , { ∈ 1 ∈ } { ∈ 1 } n +∈N is countable, and thus I C is not empty.
Load more

Recommended publications
  • Subprojective Banach Spaces
    Subprojective Banach spaces T. Oikhberg Dept. of Mathematics, University of Illinois at Urbana-Champaign, Urbana IL 61801, USA E. Spinu Dept. of Mathematical and Statistical Sciences, University of Alberta Edmonton, Alberta T6G 2G1, CANADA Abstract A Banach space X is called subprojective if any of its infinite dimensional sub- spaces contains a further infinite dimensional subspace complemented in X. This paper is devoted to systematic study of subprojectivity. We examine the stability of subprojectivity of Banach spaces under various operations, such us direct or twisted sums, tensor products, and forming spaces of operators. Along the way, we obtain new classes of subprojective spaces. Keywords: Banach space, complemented subspace, tensor product, space of operators. 1. Introduction and main results Throughout this note, all Banach spaces are assumed to be infinite dimen- sional, and subspaces, infinite dimensional and closed, until specified otherwise. A Banach space X is called subprojective if every subspace Y X contains a further subspace Z Y , complemented in X. This notion was introduced in [41], in order to study the (pre)adjoints of strictly singular operators. Recall that an operator T P BpX; Y q is strictly singular (T P SSpX; Y q) if T is not an isomorphism on any subspace of X. In particular, it was shown that, if Y is subprojective, and, for T P BpX; Y q, T ¦ P SSpY ¦;X¦q, then T P SSpX; Y q. Later, connections between subprojectivity and perturbation classes were discovered. More specifically, denote by Φ pX; Y q the set of upper semi-Fredholm operators { that is, operators with closed range, and finite dimensional kernel.
    [Show full text]
  • THE BANACH SPACES C(K) and I/O*)1 My Concern in This Talk Is With
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 81, Number 5, September 1975 THE BANACH SPACES C(K) AND I/O*)1 BY HASKELL P. ROSENTHAL My concern in this talk is with isomorphic, as opposed to isometric, properties of Banach spaces. I shall present here a limited discussion, from the isomorphic viewpoint, on the vast domain of the Banach spaces C(K) and LP(JLL). The study of these spaces from this viewpoint leads to deep applications of many results in classical analysis and probability theory, and also to the discovery of new results which should be of classical interest. This study also provides a unified manner in which to comprehend a great deal of classical mathematics. These special Banach spaces play a vital role in the study of general Banach spaces. They admit beautiful characterizations singling them out from the general theory. Their particular structure is rich and remarkable. Moreover, invariants for general Banach spaces have resulted from some of those initially established for these special spaces. We take up the structure of quotient spaces and complemented subspaces of C([0,1]) in §1. In §2 we briefly review the results concerning com­ plemented subspaces of Lp([0,1]) and in §3 we discuss reflexive subspaces of L1. We also include some Banach-space consequences of the Radon- Nikodym property in an Appendix. We do not discuss here one of the powerful general techniques in Banach space theory, that of p-summing operators from a C(K)-space to a given Banach space. This technique was used in [36] for studying quotient spaces of C(K)-spaces; the methods developed there have turned out to hold in considerable generality.
    [Show full text]
  • Closed Ideals of Operators on and Complemented Subspaces of Banach Spaces of Functions with Countable Support
    CLOSED IDEALS OF OPERATORS ON AND COMPLEMENTED SUBSPACES OF BANACH SPACES OF FUNCTIONS WITH COUNTABLE SUPPORT WILLIAM B. JOHNSON, TOMASZ KANIA, AND GIDEON SCHECHTMAN c Abstract. Let λ be an infinite cardinal number and let `1(λ) denote the subspace of `1(λ) consisting of all functions which assume at most countably many non zero values. c We classify all infinite dimensional complemented subspaces of `1(λ), proving that they c are isomorphic to `1(κ) for some cardinal number κ. Then we show that the Banach c algebra of all bounded linear operators on `1(λ) or `1(λ) has the unique maximal ideal consisting of operators through which the identity operator does not factor. Using similar techniques, we obtain an alternative to Daws' approach description of the lattice of all closed ideals of B(X), where X = c0(λ) or X = `p(λ) for some p 2 [1; 1), and we classify c the closed ideals of B(`1(λ)) that contain the ideal of weakly compact operators. 1. Introduction and the statements of the main results The aim of this paper is to contribute to two the closely related programs of classifying complemented subspaces of Banach spaces and classifying the maximal ideals of (bounded, linear) operators acting thereon. Our results constitute a natural continuation of the research undertaken by the authors in [7, 14, 15, 16] concerning the maximal ideals of the Banach algebras B(X) for certain classical Banach spaces X. From this perspective, we complement results ([9, 22]) of Gramsch and Luft who classified all closed ideals of operators acting on Hilbert spaces and a result ([4]) of Daws, who classified all closed ideals of operators acting on c0(λ) and `p(λ) for λ uncountable and p 2 [1; 1).
    [Show full text]
  • Complemented Subspaces of Spaces Obtained by Interpolation
    Complemented Subspaces of Spaces Obtained by Interpolation D.J.H. Garling St. John's College, Cambridge CB2 1TP, England. S.J. Montgomery-Smith Department of Mathematics, University of Missouri, Columbia, MO 65211, U.S.A. ABSTRACT: If Z is a quotient of a subspace of a separable Banach space X, and V is any separable Banach space, then there is a Banach couple (A0;A1) such that A0 and A1 are isometric to X V , and any intermediate space obtained using the real ⊕ or complex interpolation method contains a complemented subspace isomorphic to Z. Thus many properties of Banach spaces, including having non-trivial cotype, having the Radon{Nikodym property, and having the analytic unconditional martingale difference sequence property, do not pass to intermediate spaces. There are many Banach space properties that pass to spaces obtained by the complex method of interpolation. For example, it is known that if a couple (A0;A1) is such that A0 and A1 both have the UMD (unconditional martingale difference sequence) property, and if Aθ is the space obtained using the complex interpolation method with parameter θ, then Aθ has the UMD property whenever 0 < θ < 1. Another example is type of Banach spaces: if A0 has type p0 and A1 has type p1, then Aθ has type pθ, where 1=pθ = (1 θ)=p0 +θ=p1. − Similar results are true for the real method of interpolation. If we denote by Aθ;p the space obtained using the real interpolation method from a couple (A0;A1) with parameters θ and p, then Aθ;p has the UMD property whenever A0 and A1 have the UMD property, 0 < θ < 1, and 1 < p < .
    [Show full text]
  • PROJECTIONS in the SPACE (M)1
    i9J5l PROJECTIONSIN THE SPACE (m) 899 5. G. P61ya and G. Szego, Aufgaben und Lehrstttze aus der Analysis, I, Berlin, Springer, 1925. 6. G. B. Price, Bounds for determinants with dominant principal diagonal, Proc. Amer. Math. Soc. vol. 2 (1951) pp. 497-502. 7. A. Wintner, Spektraltheorie der unendlichen Matrizen, von S. Hirzel, 1929. 8. Y. K. Wong, Some inequalities of determinants of Minkowski type, Duke Math. J. vol. 19 (1952) pp. 231-241. 9. -, An inequality for Minkowski matrices, Proc. Amer. Math. Soc. vol. 4 (1953) pp. 139-141. 10. -, On nonnegative valued matrices, Proc. Nat. Acad. Sci. U.S.A. vol. 40 (1954) pp. 121-124. 11. J. H. Curtiss, "Monte Carlo" methods for the iteration of linear operators, Journal of Mathematics and Physics vol. 32 (1954) pp. 209-232. Princeton University PROJECTIONS IN THE SPACE (m)1 ROBERT C. JAMES A projection in a Banach space is a continuous linear mapping P of the space into itself which is such that P2=P. Two closed linear manifolds M and N of a Banach space B are said to be complementary if each z of B is uniquely representable as x+y, where x is in M and y in N. This is equivalent to the existence of a projection for which M and N are the range and null space [7, p. 138]. It is therefore also true that closed linear subsets M and N of B are complementary if and only if the linear span of M and N is dense in B and there is a number «>0 such that ||x-|-y|| ^e||x|| if x is in Mand y in N.
    [Show full text]
  • University Microfilms, a XEROX Company, Ann Arbor, Michigan
    I I 71-22,526 PUJARA, Lakhpat Rai, 1938- SPACES AND DECOMPOSITIONS IN BANACH SPACES. The Ohio State University, Ph.D., 1971 Mathematics University Microfilms, A XEROX Company, Ann Arbor, Michigan THIS DISSERTATION HAS BEEN MICROFILMED EXACTLY AS RECEIVED Z SPACES AND DECOMPOSITIONS IN BANACH SPACES P DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Lakhpat Rai Pujara, B.A. (Hons.)* M.A., M.S. ****** The Ohio State University 1971 Approved By ) D a * r J p t Adviser Department of Mathematics ACKNOWLEDGMENTS I would like to express my sincere thanks to ny adviser Dr. David W. Dean for his guidance, help and constant encouragement. I would also like to thank Dr. William J. Davis for his help and guidance. Finally I would like to thank my wife Nimmi and son Tiriku who had to face a lot of difficult days during the course of my graduate work at Ohio State. ii VITA May 19, 1938..................Born- Hussein, India (now West Pakistan) 19^9................... B.A. (Hons.) University of Delhi, India 1961................... M.A. University of Delhi, India 19&L -1 9 6 5................... Lecturer in Math., Hans Raj College University of Delhi, India 1965 - 1967. ............... Teaching Assistant, Department of Mathematics, The Ohio State Univer­ sity, Columbus, Ohio 1967................... M.S., The Ohio State University, Coluabus, Ohio 1967 - 1968................... Teaching Assistant, Department of Mathematics, The Ohio State Univer­ sity, Columbus, Ohio 1 9 6 8 -1 9 6................... 9 Dissertation Fellow, The Graduate School, The Ohio State University, Columbus, Ohio 1969 - 1971..................
    [Show full text]
  • Banach Spaces and Complemented Subspaces of L P
    THE ALSPACH NORM IN CLASSIFYING COMPLEMENTED SIIBSPACES OF L p , p > 2 Isaac DeF'ram A Thesis Submitted to the Faculty of The Wilkes Honors College in Partial Fulfillment of the Requirements for the Degree of Bachelor of the Arts in Liberal Arts and Sciences with a Concentration in Mathematics and Physics Wilkes Honors College of Florida Atlantic University Jupiter, Florida May 2010 THE ALSPACH NORM IN CLASSIFYING COMPLEMENTED SUBSPACES OF L p , p > 2 Qy Isaac DeFrain This thesis was prepared under the direction of the candidate's thesis advisor, Dr. Terje Hoim, and has been approved by the members of his supervisory committee. It was submitted to the faculty of The Harriet L. Wilkes Honors College and was accepted in partial fulfillment of the requirements for the degree of Bachelor of Arts in Liberal Arts and Sciences. SUPERVISORY COMMITTEE: Dr. TeI]e HOlm I)r Mereditb Bille Dean, Harriet L. Wilkes Honors College 11 ACKNOWLEDGEMENTS I would like to thank my advisor, Dr. Hoim, and my second reader, Dr. Blue, for their time, effort, and patience. Your input was invaluable and dearly appreciated. As to all of the knowledge that these two people have imparted to me, I am forever indebted. I can only hope to do a similar thing in the future. I would also like to thank the NSF for funding the REU program at the University of Wisconsin - Eau Claire, my REO advisor, Dr. Simei Tong, and my partner on this project, Mitch Phillipson. I would also like to thank my parents for encouraging me to pursue my goals and continue my studies.
    [Show full text]
  • The Pullback for Bornological and Ultrabornological Spaces
    Note di Matematica 25, n. 1, 2005/2006, 63{67. The Pullback for bornological and ultrabornological spaces J. Bonet E.T.S. Arquitectura, Departemento de Matem´atica Aplicada, Universidad Polit´ecnica de Valencia, E-46071 Valencia, Spain [email protected] S. Dierolf Universit¨at Trier, Fachbereich IV - Mathematik, Universit¨atsring 15, 54286 Trier, Germany, Tel. [+49]0651-201-3511 [email protected] Abstract. Counter examples show that the notion of a pullback cannot be transferred from the category of locally convex spaces to the category of bornological or ultrabornological locally convex spaces. This answers in the negative a question asked to the authors by W. Rump. Keywords: pullback, bornological spaces, ultrabornological spaces. MSC 2000 classification: 46A05, 46A09. To the memory of our dear friend Klaus Floret Introduction The purpose of this paper is to construct the counter examples mentioned in the abstract. Unexplained notation about locally convex spaces can be seen in [8] and [10]. Let X, Y be locally convex spaces, L X a linear subspace, q : X X=L ⊂ −! the corresponding quotient map and let j : Y X=L be a linear continuous −! map. Then the space Z := (x; y) X Y : q(x) = j(y) provided with the f 2 × g relative topology induced by the product X Y together with the restricted × projections p : Z X and p : Z Y (the latter of which is a quotient X −! Y −! map) is called the corresponding pullback in the category of locally convex spaces LCS. In fact, Z has the following universal property. Whenever a triple (E, f, g) consisting of a locally convex space E and linear continuous maps f : E X, g : E Y such that q f = j g, then there is a linear −! −! ◦ ◦ continuous map h : E Z satisfying f = p h and g = p h.
    [Show full text]
  • Complemented Basic Sequences in Frechet Spaces with Finite
    Complemented basic sequences in Frechet spaces with finite dimensional decomposition Hasan G¨ul∗ and S¨uleyman Onal¨ † September 23, 2018 Abstract: Let E be a Frechet-Montel space and (En)n∈N be a finite dimen- sional unconditional decomposition of E with dim(En) ≤ k for some fixed k ∈ N and for all n ∈ N. Consider a sequence (xn)n∈N formed by taking an element xn from each En for all n ∈ N. Then (xn)n∈N has a subsequence which is complemented in E. MSC: 46A04 Keywords: finite dimensional decomposition, Frechet-Montel space, com- plemented basic sequence 1 Introduction Dubinsky has professed that approximation of an infinite dimensional space by its finite dimensional subspaces is one of the basic tenets of Grothendieck’s mathematical philosophy in creating nuclear Frechet spaces [4]. That ap- arXiv:1612.05049v1 [math.FA] 15 Dec 2016 proach encompasses bases, finite dimensional decompositions and the bounded approximation property of spaces and raises questions about conditions for which a space must satisfy in order to admit such structures and also about the relation of existence or absence of these structures with subspaces, quo- tient spaces, complemented subspaces, etc. of the space. He has ended his survey with a list of problems that were settled and open at that time [4], that is, in 1989. For example, it has been shown that quotient ∗Middle East Technical University, [email protected] †Middle East Technical University, [email protected] 1 spaces of a nuclear Frechet space may not have a basis [6], or similarly, that a nuclear Frechet space does not necessarily have a basis [1].
    [Show full text]
  • MATH 754: Collected Facts About Normed Spaces
    MATH 754: Collected facts about normed spaces 1. Facts about Hilbert spaces Hilbert spaces have the richest geometry among normed spaces. Their 4 basic proper- ties are: (a) Best approximation. Every non-empty closed convex subset of a Hilbert space X has a unique element of minimal norm. The proof is based on the Parallelogram Law, that characterizes the norm of a Hilbert space. (b) Orthogonality. The inner product in a Hilbert space X allows us to define that two elements x; y 2 X are orthogonal if and only if hx; yi = 0. The orthogonal of a set M is a closed subspace M ? = fy 2 X : hx; yi = 0 8x 2 Mg. If M is a closed subspace of a Hilbert space X, then M is complemented, i.e. there exists a closed subspace N of X such that M \N = f0g and X = M +N. In ? ? fact, N = M . The orthogonal projections PM : X ! M and PM ? : X ! M 2 2 2 are linear and continuous, and for every x 2 X, kxk = kPM (x)k + kPM ? (x)k . (c) Duality. Riesz Representation Theorem: Every Hilbert space X is isometrically isomorphic to its dual X∗. The isometry is I : X ! X∗ y ! Λy; where Λy(x) = hx; yi. (d) Basis. Every Hilbert space X has an orthonormal basis fe g 2A, such that for every x 2 X, x can be written as the orthogonal sum X x = hx; e ie : 2A The sum is to be understood in the norm of the space X. As a consequence, every Hilbert space X is isometrically isomorphic to `2(A), where A is the index set of any basis of X.
    [Show full text]
  • 1-Complemented Subspaces of Banach Spaces of Universal Disposition
    New York Journal of Mathematics New York J. Math. 24 (2018) 251{260. 1-complemented subspaces of Banach spaces of universal disposition Jes´usM.F. Castillo, Yolanda Moreno and Marilda A. Sim~oes Abstract. We first unify all notions of partial injectivity appearing in the literature |(universal) separable injectivity, (universal) @-injectivity | in the notion of (α; β)-injectivity ((α; β)λ-injectivity if the parameter λ has to be specified). Then, extend the notion of space of universal dis- position to space of universal (α; β)-disposition. Finally, we characterize the 1-complemented subspaces of spaces of universal (α; β)-disposition as precisely the spaces (α; β)1-injective. Contents The push-out construction 252 The basic multiple push-out construction 252 References 259 The purpose of this paper is to establish the connection between spaces (universally) 1-separably injective and the spaces of universal disposition. A Banach space E is said to be λ-separably injective if for every separable Banach space X and each subspace Y ⊂ X, every operator t : Y ! E extends to an operator T : X ! E with kT k ≤ λktk. Gurariy [10] introduced the property of a Banach space to be of universal disposition with respect to a given class M of Banach spaces (or M-universal disposition, in short): U is said to be of universal disposition for M if given A; B 2 M and into isometries u : A ! U and { : A ! B there is an into isometry u0 : B ! U such that u = u0{. We are particularly interested in the choices M 2 fF; Sg, where F (resp S) denote the classes of finite-dimensional (resp.
    [Show full text]
  • Lectures on Fréchet Spaces
    Lectures on Fr´echet spaces Dietmar Vogt Bergische Universit¨atWuppertal Sommersemester 2000 Contents 1 Definition and basic properties 2 2 The dual space of a Fr´echet space 6 3 Schwartz spaces and nuclear spaces 14 4 Diametral Dimension 33 5 Power series spaces and their related nuclearities 44 6 Tensor products and nuclearity 60 6.1 Tensor products with function spaces . 71 6.2 Tensor products with spaces L1(µ) . 73 6.3 The "-tensor product . 79 6.4 Tensor products and nuclearity . 86 6.5 The kernel theorem . 92 7 Interpolational Invariants 96 1 1 Definition and basic properties All linear spaces will be over the scalar field K = C oder R. Definition: A Fr´echet space is a metrizable, complete locally convex vector space. We recall that a sequence (xn)n2N in a topological vector space is a Cauchy sequence if for every neighborhood of zero U there is n0 so that for n; m ≥ n0 we have xn − xm 2 U. Of course a metrizable topological vector space is complete if every Cauchy sequence is convergent. If E is a vector space and A ⊂ E absolutely convex then the Minkowski functional k kA is defined as kxkA = inff t > 0 j x 2 tA g: k k k k 1 A is a extendedS real valued seminorm and x A < if and only if 2 f g x span A = t>0 tA. \ ker k kA = f x j kxkA = 0 g = tA t>0 is the largest linear space contained in A. We have f x j kxkA < 1 g ⊂ A ⊂ f x j kxkA ≤ 1 g: If p is a seminorm, A = f x j p(x) ≤ 1 g then k kA = p.
    [Show full text]