Normed Spaces & Banach Spaces

Total Page:16

File Type:pdf, Size:1020Kb

Normed Spaces & Banach Spaces Contents 1 Normed Spaces. Banach Spaces. 2 1.1 Vector Space. 2 1.2 NormedSpace.BanachSpace.. 10 1.3 FurtherPropertiesofNormedSpaces.. 16 1.4 FiniteDimensionalNormedSpacesandSubspaces. 26 1.5 Linear Operators. 32 1.6 Bounded and Continuous Linear Operators. 38 1.7 LinearFunctionals. .............................. 46 1.8 Linear Operators and Functionals on Finite Dimensional Spaces. 55 1 Normed Spaces. Banach Spaces. 1.1 Vector Space. Definition 1.1. 1. An arbitrary subset M of a vector space X is said to be linearly independent if every non-empty finite subset of M is linearly independent. 2. A vector space X is said to be finite dimensional if there is a positive integer n such that X contains a linearly independent set of n vectors whereas any set of n +1 or more vectors of X is linearly dependent. n is called the dimension of X, written n = dim X. 3. If X is any vector space, not necessarily finite dimensional, and B is a linearly independent subset of X which spans X, then B is called a basis (or Hamel basis) of X. Hence if B is a basis for X, then every nonzero x X has a unique repre- • sentation as a linear combination of (finitely many!2 ) elements of B with nonzero scalars as coefficients. Theorem 1.2. Let X be an n-dimensional vector space. Then any proper subspace Y of X has dimension less than n. 1. Show that the set of all real numbers, with the usual addition and multiplication, constitutes a one-dimensional real vector space, and the set of all complex numbers constitutes a one-dimensional complex vector space. Solution: The usual addition on R and C are commutative and associative, while scalar multiplication on R and C are also associative and distributive. For R,the zero vector is 0R =0 R,theidentityscalaris1 =1 R,andtheadditive 2 R 2 inverse is x for any x R.ForC,thezerovectoris0 =0+0i C,the − 2 C 2 identity scalar is 1 =1+0i C and the additive inverse is z for all z C. C 2 − 2 2. Prove that 0x = 0, ↵0 = 0 and ( 1)x = x. − − Solution: 0x =(0+0)x =0x +0x = 0 =0x +( (0x)) ) − =0x +0x +( (0x)) − =0x + 0 =0x. ↵0 = ↵(0 + 0)=↵0 + ↵0 = 0 = ↵0 +( (↵0)) ) − = ↵0 + ↵0 +( (↵0)) − = ↵0 + 0 = ↵0. ( 1)x =( 1(1))x = 1(1x)= x. − − − − Page 2 3. Describe the span of M = (1, 1, 1), (0, 0, 2) in R3. { } Solution: The span of M is 1 0 span M = ↵ 1 + β 0 : ↵,β R 8 2 3 2 3 2 9 < 1 2 = 4 ↵5 4 5 : ; = ↵ : ↵,β R . 82 3 2 9 < ↵ +2β = 4 5 We see that span M corresponds: to the plane x = y on; R3. 4. Which of the following subsets of R3 constitute a subspace of R3? Here, x = (⇠1,⇠2,⇠3). (a) All x with ⇠1 = ⇠2 and ⇠3 =0. Solution: For any x, y W and any ↵,β R, 2 2 ⇠1 ⌘1 ↵⇠1 + ⌘1 ↵x + βy = ↵ ⇠ + β ⌘ = ↵⇠ + ⌘ W. 2 23 2 23 2 2 23 0 0 0 2 4 5 4 5 4 5 (b) All x with ⇠1 = ⇠2 +1. 2 3 Solution: Choose x = 1 W , x = 2 W ,then 1 2 3 2 2 3 0 2 0 2 4 5 4 5 2 3 5 x + x = 1 + 2 = 3 / W 1 2 2 3 2 3 2 3 0 0 0 2 4 5 4 5 4 5 since 5 =3+1. 6 (c) All x with positive ⇠1,⇠2,⇠3. Solution: Choose ↵ = 1, then for any x W , ↵x / W . − 2 2 (d) All x with ⇠ ⇠ + ⇠ = k. 1 − 2 3 Solution: For any x, y W , 2 ⇠1 + ⌘1 x + y = ⇠ + ⌘ . 2 2 23 ⇠3 + ⌘3 4 5 Page 3 Since ⇠ + ⌘ (⇠ + ⌘ )+(⇠ + ⌘ )=(⇠ ⇠ + ⇠ )+(⌘ ⌘ + ⌘ )=2k. 1 1 − 2 2 3 3 1 − 2 3 1 − 2 3 we see that W is a subspace of R3 if and only if k =0. j 5. Show that x1,...,xn ,wherexj(t)=t ,isalinearlyindependentsetinthespace C[a, b]. { } Solution: This is a simple consequence of Fundamental Theorem of Alge- bra. Fix a finite n>1. Suppose that for all t [a, b], we have 2 n n j λjxj(t)= λjt =0. j=1 j=1 X X Suppose λn = 0. Fundamental Theorem of Algebra states that any polynomials with degree 6n can have at most n real roots. Since the equation above is true for n all t [a, b], and the set of points in the interval [a, b]isuncountable, λ tj has 2 j j=1 to be the zero polynomial. Since n 1wasarbitrary(butfinite),thisshowsthatX ≥ any non-empty finite subset of xj j ⇤,⇤acountable/uncountableindexingset, 2 is linearly independent. { } 6. Show that in an n-dimensional vector space X, the representation of any x as a linear combination of a given basis vectors e1,...,en is unique. Solution: Let X is an n-dimensional vector space, with a basis e1,...,en . Suppose any x X has a representation as a linear combination{ of the basis} vectors, we claim2 that the representation is unique. Indeed, if x X has two representations 2 x = ↵1e1 + ...+ ↵nen = β1e1 + ...+ βnen. subtracting them gives n (↵ β )e + ...+(↵ β )e = (↵ β )e = 0. 1 − 1 1 n − n n j − j j j=1 X Since e1,...,en is a basis of X,bydefinitionitislinearlyindependent,which implies{ that ↵ }β =0forallj =1,...,n,i.e.therepresentationisunique. j − j 7. Let e1,...,en be a basis for a complex vector space X. Find a basis for X regarded as a{ real vector} space. What is the dimension of X in either case? Page 4 Solution: A basis for X regarded as a real vector space is e1,...,en, ie1, . , ien . The dimension of X is n as a complex vector space and 2n{ as a real vector space.} 8. If M is a linearly dependent set in a complex vector space X,isM linearly dependent in X,regardedasarealvectorspace? 1 i Solution: No. Let X = 2,withK = ,andconsiderx = and y = . C C i 1 − x, y is a linearly dependent set in X since ix = y. Now suppose K = R,and { } ↵ + βi 0+0i ↵x + βy = = 0 = . ↵i β 0+0i − Since ↵,β can only be real numbers, we see that (↵,β)=(0, 0) is the only solution to the equation. Hence x, y is a linearly independent set in X = C2 over R. { } 9. On a fixed interval [a, b] R,considerthesetX consisting of all polynomials with real coefficients and of degree⇢ not exceeding a given n,andthepolynomialx =0(for which a degree is not defined in the usual discussion of degree). (a) Show that X, with the usual addition and the usual multiplication by real num- bers, is a real vector space of dimension n + 1. Find a basis for X. Solution: Let X be the set given in the problem. It is clear that X is a real vector space. Indeed, for any P, Q X,withdeg(P ), deg(Q) n, 2 deg(P + Q) n and deg(↵P) n for any ↵ R.Asimilarargumentfrom Problem 5 shows that 1,t,t2,...,t n is a linearly2 independent set in X,and since 1,t,t2,...,tn spans{ X,itisabasisof} X and X has dimension n +1. { } (b) Show that we can obtain a complex vector space X˜ in a similar fashion if we let those coefficients be complex. Is X asubspaceofX˜? Solution: No. Consider P (t)=t X,choose↵ = i,then↵P(t)=it / X. 2 2 10. If Y and Z are subspaces of a vector space X,showthatY Z is a subspace of X, but Y Z need not be one. Give examples. \ [ Solution: Let Y and Z be subspaces of a vector space X.Takeanyx, y Y Z, note that x, y are both elements of Y and Z.Forany↵,β K, ↵x +2βy \ Y (since Y is a subspace of X)and↵x+βy Z (since Z is a subspace2 of X). Hence2 ↵x + βy Y Z. 2 2 \ Page 5 ↵ 0 For the second part, consider Y = : ↵ R and Z = : ↵ R .It 0 2 ↵ 2 ⇢ ⇢ can be (easily) deduced that Y and Z are subspaces of R2,butY Z is not a 1 0 [ 1 subspace of R2.Toseethis,choosex = and y = ,thenx + y = / 0 1 1 2 Y Z. [ 11. If M = ? is any subset of a vector space X,showthatspanM is a subspace of X. 6 Solution: This is immediate since a (scalar) field K is closed under addition and sums of two finite sums remain finite. 12. (a) Show that the set of all real two-rowed square matrices forms a vector space X. What is the zero vector in X? Solution: This follows from Problem 1 and the definition of matrix addition and matrix scalar multiplication: we prove that R is a vector space over R 00 or .ThezerovectorinX is 0 = . C 00 (b) Determine dim X. Find a basis for X. Solution: We claim that dim X = 4. To prove this, consider the following four vectors in X 10 01 00 00 e = e = e = e = . 1 00 2 00 3 10 4 01 ↵ ↵ Suppose ↵ e + ...+ ↵ e = 0 = 1 2 ,wehave↵ = ↵ = ↵ = ↵ =0, 1 1 4 4 ↵ ↵ 1 2 3 4 3 4 i.e. e1,e2,e3,e4 is a linearly independent set in X. However, any set of 5 { } ab or more vectors of X is linearly dependent, since any x = X can be cd2 written as a linear combination of e1,e2,e3,e4 ,i.e.
Recommended publications
  • On Quasi Norm Attaining Operators Between Banach Spaces
    ON QUASI NORM ATTAINING OPERATORS BETWEEN BANACH SPACES GEUNSU CHOI, YUN SUNG CHOI, MINGU JUNG, AND MIGUEL MART´IN Abstract. We provide a characterization of the Radon-Nikod´ymproperty in terms of the denseness of bounded linear operators which attain their norm in a weak sense, which complement the one given by Bourgain and Huff in the 1970's. To this end, we introduce the following notion: an operator T : X ÝÑ Y between the Banach spaces X and Y is quasi norm attaining if there is a sequence pxnq of norm one elements in X such that pT xnq converges to some u P Y with }u}“}T }. Norm attaining operators in the usual (or strong) sense (i.e. operators for which there is a point in the unit ball where the norm of its image equals the norm of the operator) and also compact operators satisfy this definition. We prove that strong Radon-Nikod´ymoperators can be approximated by quasi norm attaining operators, a result which does not hold for norm attaining operators in the strong sense. This shows that this new notion of quasi norm attainment allows to characterize the Radon-Nikod´ymproperty in terms of denseness of quasi norm attaining operators for both domain and range spaces, completing thus a characterization by Bourgain and Huff in terms of norm attaining operators which is only valid for domain spaces and it is actually false for range spaces (due to a celebrated example by Gowers of 1990). A number of other related results are also included in the paper: we give some positive results on the denseness of norm attaining Lipschitz maps, norm attaining multilinear maps and norm attaining polynomials, characterize both finite dimensionality and reflexivity in terms of quasi norm attaining operators, discuss conditions to obtain that quasi norm attaining operators are actually norm attaining, study the relationship with the norm attainment of the adjoint operator and, finally, present some stability results.
    [Show full text]
  • Uniform Boundedness Principle for Unbounded Operators
    UNIFORM BOUNDEDNESS PRINCIPLE FOR UNBOUNDED OPERATORS C. GANESA MOORTHY and CT. RAMASAMY Abstract. A uniform boundedness principle for unbounded operators is derived. A particular case is: Suppose fTigi2I is a family of linear mappings of a Banach space X into a normed space Y such that fTix : i 2 Ig is bounded for each x 2 X; then there exists a dense subset A of the open unit ball in X such that fTix : i 2 I; x 2 Ag is bounded. A closed graph theorem and a bounded inverse theorem are obtained for families of linear mappings as consequences of this principle. Some applications of this principle are also obtained. 1. Introduction There are many forms for uniform boundedness principle. There is no known evidence for this principle for unbounded operators which generalizes classical uniform boundedness principle for bounded operators. The second section presents a uniform boundedness principle for unbounded operators. An application to derive Hellinger-Toeplitz theorem is also obtained in this section. A JJ J I II closed graph theorem and a bounded inverse theorem are obtained for families of linear mappings in the third section as consequences of this principle. Go back Let us assume the following: Every vector space X is over R or C. An α-seminorm (0 < α ≤ 1) is a mapping p: X ! [0; 1) such that p(x + y) ≤ p(x) + p(y), p(ax) ≤ jajαp(x) for all x; y 2 X Full Screen Close Received November 7, 2013. 2010 Mathematics Subject Classification. Primary 46A32, 47L60. Key words and phrases.
    [Show full text]
  • Boundedness in Linear Topological Spaces
    BOUNDEDNESS IN LINEAR TOPOLOGICAL SPACES BY S. SIMONS Introduction. Throughout this paper we use the symbol X for a (real or complex) linear space, and the symbol F to represent the basic field in question. We write R+ for the set of positive (i.e., ^ 0) real numbers. We use the term linear topological space with its usual meaning (not necessarily Tx), but we exclude the case where the space has the indiscrete topology (see [1, 3.3, pp. 123-127]). A linear topological space is said to be a locally bounded space if there is a bounded neighbourhood of 0—which comes to the same thing as saying that there is a neighbourhood U of 0 such that the sets {(1/n) U} (n = 1,2,—) form a base at 0. In §1 we give a necessary and sufficient condition, in terms of invariant pseudo- metrics, for a linear topological space to be locally bounded. In §2 we discuss the relationship of our results with other results known on the subject. In §3 we introduce two ways of classifying the locally bounded spaces into types in such a way that each type contains exactly one of the F spaces (0 < p ^ 1), and show that these two methods of classification turn out to be identical. Also in §3 we prove a metrization theorem for locally bounded spaces, which is related to the normal metrization theorem for uniform spaces, but which uses a different induction procedure. In §4 we introduce a large class of linear topological spaces which includes the locally convex spaces and the locally bounded spaces, and for which one of the more important results on boundedness in locally convex spaces is valid.
    [Show full text]
  • Functional Analysis Lecture Notes Chapter 3. Banach
    FUNCTIONAL ANALYSIS LECTURE NOTES CHAPTER 3. BANACH SPACES CHRISTOPHER HEIL 1. Elementary Properties and Examples Notation 1.1. Throughout, F will denote either the real line R or the complex plane C. All vector spaces are assumed to be over the field F. Definition 1.2. Let X be a vector space over the field F. Then a semi-norm on X is a function k · k: X ! R such that (a) kxk ≥ 0 for all x 2 X, (b) kαxk = jαj kxk for all x 2 X and α 2 F, (c) Triangle Inequality: kx + yk ≤ kxk + kyk for all x, y 2 X. A norm on X is a semi-norm which also satisfies: (d) kxk = 0 =) x = 0. A vector space X together with a norm k · k is called a normed linear space, a normed vector space, or simply a normed space. Definition 1.3. Let I be a finite or countable index set (for example, I = f1; : : : ; Ng if finite, or I = N or Z if infinite). Let w : I ! [0; 1). Given a sequence of scalars x = (xi)i2I , set 1=p jx jp w(i)p ; 0 < p < 1; 8 i kxkp;w = > Xi2I <> sup jxij w(i); p = 1; i2I > where these quantities could be infinite.:> Then we set p `w(I) = x = (xi)i2I : kxkp < 1 : n o p p p We call `w(I) a weighted ` space, and often denote it just by `w (especially if I = N). If p p w(i) = 1 for all i, then we simply call this space ` (I) or ` and write k · kp instead of k · kp;w.
    [Show full text]
  • The Nonstandard Theory of Topological Vector Spaces
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 172, October 1972 THE NONSTANDARDTHEORY OF TOPOLOGICAL VECTOR SPACES BY C. WARD HENSON AND L. C. MOORE, JR. ABSTRACT. In this paper the nonstandard theory of topological vector spaces is developed, with three main objectives: (1) creation of the basic nonstandard concepts and tools; (2) use of these tools to give nonstandard treatments of some major standard theorems ; (3) construction of the nonstandard hull of an arbitrary topological vector space, and the beginning of the study of the class of spaces which tesults. Introduction. Let Ml be a set theoretical structure and let *JR be an enlarge- ment of M. Let (E, 0) be a topological vector space in M. §§1 and 2 of this paper are devoted to the elementary nonstandard theory of (F, 0). In particular, in §1 the concept of 0-finiteness for elements of *E is introduced and the nonstandard hull of (E, 0) (relative to *3R) is defined. §2 introduces the concept of 0-bounded- ness for elements of *E. In §5 the elementary nonstandard theory of locally convex spaces is developed by investigating the mapping in *JK which corresponds to a given pairing. In §§6 and 7 we make use of this theory by providing nonstandard treatments of two aspects of the existing standard theory. In §6, Luxemburg's characterization of the pre-nearstandard elements of *E for a normed space (E, p) is extended to Hausdorff locally convex spaces (E, 8). This characterization is used to prove the theorem of Grothendieck which gives a criterion for the completeness of a Hausdorff locally convex space.
    [Show full text]
  • On Domain of Nörlund Matrix
    mathematics Article On Domain of Nörlund Matrix Kuddusi Kayaduman 1,* and Fevzi Ya¸sar 2 1 Faculty of Arts and Sciences, Department of Mathematics, Gaziantep University, Gaziantep 27310, Turkey 2 ¸SehitlerMah. Cambazlar Sok. No:9, Kilis 79000, Turkey; [email protected] * Correspondence: [email protected] Received: 24 October 2018; Accepted: 16 November 2018; Published: 20 November 2018 Abstract: In 1978, the domain of the Nörlund matrix on the classical sequence spaces lp and l¥ was introduced by Wang, where 1 ≤ p < ¥. Tu˘gand Ba¸sarstudied the matrix domain of Nörlund mean on the sequence spaces f 0 and f in 2016. Additionally, Tu˘gdefined and investigated a new sequence space as the domain of the Nörlund matrix on the space of bounded variation sequences in 2017. In this article, we defined new space bs(Nt) and cs(Nt) and examined the domain of the Nörlund mean on the bs and cs, which are bounded and convergent series, respectively. We also examined their inclusion relations. We defined the norms over them and investigated whether these new spaces provide conditions of Banach space. Finally, we determined their a-, b-, g-duals, and characterized their matrix transformations on this space and into this space. Keywords: nörlund mean; nörlund transforms; difference matrix; a-, b-, g-duals; matrix transformations 1. Introduction 1.1. Background In the studies on the sequence space, creating a new sequence space and research on its properties have been important. Some researchers examined the algebraic properties of the sequence space while others investigated its place among other known spaces and its duals, and characterized the matrix transformations on this space.
    [Show full text]
  • 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 .
    [Show full text]
  • Eberlein-Šmulian Theorem and Some of Its Applications
    Eberlein-Šmulian theorem and some of its applications Kristina Qarri Supervisors Trond Abrahamsen Associate professor, PhD University of Agder Norway Olav Nygaard Professor, PhD University of Agder Norway This master’s thesis is carried out as a part of the education at the University of Agder and is therefore approved as a part of this education. However, this does not imply that the University answers for the methods that are used or the conclusions that are drawn. University of Agder, 2014 Faculty of Engineering and Science Department of Mathematics Contents Abstract 1 1 Introduction 2 1.1 Notation and terminology . 4 1.2 Cornerstones in Functional Analysis . 4 2 Basics of weak and weak* topologies 6 2.1 The weak topology . 7 2.2 Weak* topology . 16 3 Schauder Basis Theory 21 3.1 First Properties . 21 3.2 Constructing basic sequences . 37 4 Proof of the Eberlein Šmulian theorem due to Whitley 50 5 The weak topology and the topology of pointwise convergence on C(K) 58 6 A generalization of the Ebrlein-Šmulian theorem 64 7 Some applications to Tauberian operator theory 69 Summary 73 i Abstract The thesis is about Eberlein-Šmulian and some its applications. The goal is to investigate and explain different proofs of the Eberlein-Šmulian theorem. First we introduce the general theory of weak and weak* topology defined on a normed space X. Next we present the definition of a basis and a Schauder basis of a given Banach space. We give some examples and prove the main theorems which are needed to enjoy the proof of the Eberlein-Šmulian theorem given by Pelchynski in 1964.
    [Show full text]
  • Arxiv:1911.05823V1 [Math.OA] 13 Nov 2019 Al Opc Oooia Pcsadcommutative and Spaces Topological Compact Cally Edt E Eut Ntplg,O Ipie Hi Ros Nteothe the in Study Proofs
    TOEPLITZ EXTENSIONS IN NONCOMMUTATIVE TOPOLOGY AND MATHEMATICAL PHYSICS FRANCESCA ARICI AND BRAM MESLAND Abstract. We review the theory of Toeplitz extensions and their role in op- erator K-theory, including Kasparov’s bivariant K-theory. We then discuss the recent applications of Toeplitz algebras in the study of solid state sys- tems, focusing in particular on the bulk-edge correspondence for topological insulators. 1. Introduction Noncommutative topology is rooted in the equivalence of categories between lo- cally compact topological spaces and commutative C∗-algebras. This duality allows for a transfer of ideas, constructions, and results between topology and operator al- gebras. This interplay has been fruitful for the advancement of both fields. Notable examples are the Connes–Skandalis foliation index theorem [17], the K-theory proof of the Atiyah–Singer index theorem [3, 4], and Cuntz’s proof of Bott periodicity in K-theory [18]. Each of these demonstrates how techniques from operator algebras lead to new results in topology, or simplifies their proofs. In the other direction, Connes’ development of noncommutative geometry [14] by using techniques from Riemannian geometry to study C∗-algebras, led to the discovery of cyclic homol- ogy [13], a homology theory for noncommutative algebras that generalises de Rham cohomology. Noncommutative geometry and topology techniques have found ample applica- tions in mathematical physics, ranging from Connes’ reformulation of the stan- dard model of particle physics [15], to quantum field theory [16], and to solid-state physics. The noncommutative approach to the study of complex solid-state sys- tems was initiated and developed in [5, 6], focusing on the quantum Hall effect and resulting in the computation of topological invariants via pairings between K- theory and cyclic homology.
    [Show full text]
  • HYPERCYCLIC SUBSPACES in FRÉCHET SPACES 1. Introduction
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 134, Number 7, Pages 1955–1961 S 0002-9939(05)08242-0 Article electronically published on December 16, 2005 HYPERCYCLIC SUBSPACES IN FRECHET´ SPACES L. BERNAL-GONZALEZ´ (Communicated by N. Tomczak-Jaegermann) Dedicated to the memory of Professor Miguel de Guzm´an, who died in April 2004 Abstract. In this note, we show that every infinite-dimensional separable Fr´echet space admitting a continuous norm supports an operator for which there is an infinite-dimensional closed subspace consisting, except for zero, of hypercyclic vectors. The family of such operators is even dense in the space of bounded operators when endowed with the strong operator topology. This completes the earlier work of several authors. 1. Introduction and notation Throughout this paper, the following standard notation will be used: N is the set of positive integers, R is the real line, and C is the complex plane. The symbols (mk), (nk) will stand for strictly increasing sequences in N.IfX, Y are (Hausdorff) topological vector spaces (TVSs) over the same field K = R or C,thenL(X, Y ) will denote the space of continuous linear mappings from X into Y , while L(X)isthe class of operators on X,thatis,L(X)=L(X, X). The strong operator topology (SOT) in L(X) is the one where the convergence is defined as pointwise convergence at every x ∈ X. A sequence (Tn) ⊂ L(X, Y )issaidtobeuniversal or hypercyclic provided there exists some vector x0 ∈ X—called hypercyclic for the sequence (Tn)—such that its orbit {Tnx0 : n ∈ N} under (Tn)isdenseinY .
    [Show full text]
  • A Symplectic Banach Space with No Lagrangian Subspaces
    transactions of the american mathematical society Volume 273, Number 1, September 1982 A SYMPLECTIC BANACHSPACE WITH NO LAGRANGIANSUBSPACES BY N. J. KALTON1 AND R. C. SWANSON Abstract. In this paper we construct a symplectic Banach space (X, Ü) which does not split as a direct sum of closed isotropic subspaces. Thus, the question of whether every symplectic Banach space is isomorphic to one of the canonical form Y X Y* is settled in the negative. The proof also shows that £(A") admits a nontrivial continuous homomorphism into £(//) where H is a Hilbert space. 1. Introduction. Given a Banach space E, a linear symplectic form on F is a continuous bilinear map ß: E X E -> R which is alternating and nondegenerate in the (strong) sense that the induced map ß: E — E* given by Û(e)(f) = ü(e, f) is an isomorphism of E onto E*. A Banach space with such a form is called a symplectic Banach space. It can be shown, by essentially the argument of Lemma 2 below, that any symplectic Banach space can be renormed so that ß is an isometry. Any symplectic Banach space is reflexive. Standard examples of symplectic Banach spaces all arise in the following way. Let F be a reflexive Banach space and set E — Y © Y*. Define the linear symplectic form fiyby Qy[(^. y% (z>z*)] = z*(y) ~y*(z)- We define two symplectic spaces (£,, ß,) and (E2, ß2) to be equivalent if there is an isomorphism A : Ex -» E2 such that Q2(Ax, Ay) = ß,(x, y). A. Weinstein [10] has asked the question whether every symplectic Banach space is equivalent to one of the form (Y © Y*, üy).
    [Show full text]
  • 1 Definition
    Math 125B, Winter 2015. Multidimensional integration: definitions and main theorems 1 Definition A(closed) rectangle R ⊆ Rn is a set of the form R = [a1; b1] × · · · × [an; bn] = f(x1; : : : ; xn): a1 ≤ x1 ≤ b1; : : : ; an ≤ x1 ≤ bng: Here ak ≤ bk, for k = 1; : : : ; n. The (n-dimensional) volume of R is Vol(R) = Voln(R) = (b1 − a1) ··· (bn − an): We say that the rectangle is nondegenerate if Vol(R) > 0. A partition P of R is induced by partition of each of the n intervals in each dimension. We identify the partition with the resulting set of closed subrectangles of R. Assume R ⊆ Rn and f : R ! R is a bounded function. Then we define upper sum of f with respect to a partition P, and upper integral of f on R, X Z U(f; P) = sup f · Vol(B); (U) f = inf U(f; P); P B2P B R and analogously lower sum of f with respect to a partition P, and lower integral of f on R, X Z L(f; P) = inf f · Vol(B); (L) f = sup L(f; P): B P B2P R R R RWe callR f integrable on R if (U) R f = (L) R f and in this case denote the common value by R f = R f(x) dx. As in one-dimensional case, f is integrable on R if and only if Cauchy condition is satisfied. The Cauchy condition states that, for every ϵ > 0, there exists a partition P so that U(f; P) − L(f; P) < ϵ.
    [Show full text]