The Cauchy-Schwarz Inequality in Complex Normed Spaces
|
|
- Jane Stone
- 6 years ago
- Views:
Transcription
1 The Cauchy-Schwarz Inequality in Complex Normed Spaces VOLKER W THÜREY Bremen, Germany arxiv:700603v [mathfa] 5 Jul 07 July 8, 07 We introduce a product in all complex normed vector spaces, which generalizes the inner product of complex inner product spaces Naturally the question occurs whether the Cauchy-Schwarz inequality is fulfilled We provide a positive answer This also yields a new proof of the Cauchy-Schwarz inequality in complex inner product spaces, which does not rely on the linearity of the inner product The proof depends only on the norm in the vector space Further we present some properties of the generalized product Keywords and phrases: complex normed space, complex inner product space, Cauchy-Schwarz inequality AMS subject classification: 46B99 Introduction We deal with vector spaces X over the complex field C, provided with a norm As a motivation we begin with the special case of an inner product space (X,< > The inner product < > generates a norm by x = < x x >, for all x X By the same token it is well known that the inner product can be expressed by this norm, namely for x, y X we can write < x y > = 4 [ x+ y x y +i ( x+i y xi y ], ( where the symbol i means the imaginary unit We use an idea in [3] to generate a continuous product in all complex normed vector spaces (X,, which is just the inner product in the special case of a complex inner product space Definition Let x, y be two arbitrary elements of X In the case of x = 0 or y = 0 we set < x y > := 0, and if both x, y 0 (ie x y > 0 we define the complex number [ x y 4 x x + y y 49 ( , volker@thuereyde x x y y < x y > := x +i ( x +i y y x x i y ] y
2 It is easy to show that the product fulfills the conjugate symmetry (< x y > = < y x >, where < y x > means the complex conjugate of < y x >, the positive definiteness (< x x > 0, and < x x > = 0 only for x = 0, and the homogeneity for real numbers (< r x y > = r < x y > = < x r y >, and the homogeneity for pure imaginary numbers (< r i x y > = r i < x y > = < x r i y >, for x, y X, r R Further, for x X it holds x = < x x > The product from Definition opens the possibility to define a generalized angle both in real normed spaces, see [4], and in complex normed spaces, see [5] In this paper we turn our focus on the product We prove the famous Cauchy-Schwarz-Bunjakowsky inequality, or briefly the Cauchy-Schwarz inequality Further we notice some properties of the product Let (X, be an arbitrary complex normed vector space In Definition we defined a continuous product < > on X This is an inner product in the case that the norm generates this product by the equation of line ( Generally, for spaces X { 0}, the codomain of the product from Definition is the entire complex plane C, ie we have a surjective map < >: X C If we restrict the domain of the product < > on unit vectors of X, it is easy to see that the codomain changes into the complex square {r +i s C r,s +} We can improve this statement: Actually the codomain is the complex unit circle {r +i s C r +s } This is a consequence of the Cauchy-Schwarz-Bunjakowsky inequality or CSB inequality First we show that for a proof of this inequality we can restrict our research on the two dimensional complex vector space C, provided with all possible norms General Definitions and Properties Let (X, be an arbitrary complex vector space provided with a norm, this means that there is a continuous map : X R + {0} which fulfills the following axioms z x = z x ( absolute homogeneity, x+ y x + y ( triangle inequality, and x = 0 only for x = 0 ( positive definiteness, for x, y X and z C Let < > : X C be a map from the product space X X into the field C Such a map is called a product Assume that the complex vector space X is provided with a norm, and further there is a product < >: X X C We say that the triple (X,,< > satisfies the Cauchy-Schwarz-Bunjakowsky Inequality or CSB inequality, or briefly the Cauchy-Schwarz Inequality, if and only if for all x, y X there is the inequality < x y > x y It is well known that a complex normed space (X,, where the product of Definition is actually an inner product, fulfills the CSB inequality Let (X, bean arbitrary complex normedvector space < > on X In theintroduction we already mentioned that the product of Definition is an inner product in the case that the norm generates this product by the equation in line ( Proposition For all vectors x, y (X, and for real numbers r the product < > of Definition has the following properties (a < x y > = < y x > (conjugate symmetry, (b < x x > 0, and < x x > = 0 only for x = 0 (positive definiteness, (c < r x y > = r < x y > = < x r y > (homogeneity for real numbers, (d < r i x y > = r i < x y > = < x r i y > (homogeneity for pure imaginary
3 (e x = < x x > numbers, (the norm can be expressed by the product Proof We use Definition, and the proofs for (a and (b are easy For positive r R the point (c is trivial We can prove < x y >= < x y >=< x y >, and (c follows immediately The point (d is similar to (c, and (e is clear Lemma For a pair x, y X of unit vectors, ie x = = y, it holds that both the real part and the imaginary part of < x y > are in the interval [,] Proof The lemma can be proven easily with the triangle inequality Corollary 3 Lemma means, that {< x y > x, y X, x = = y } is a subset of the complex square {r+i s C r,s +} Immediately, it follows for unit vectors x, y the estimate < x y > Now we notice a few facts about the general product < > from Definition Lemma 4 In a complex normed space (X, for x, y X and real ϕ there are identities < e i ϕ x x > = e i ϕ < x x >, and < e i ϕ x e i ϕ y > = < x y > Proof To prove the first equation take an unit vector x, and write e i ϕ = cos(ϕ +i sin(ϕ, and use Definition The second identity comes directly from Defintion Corollary 5 For an unit vector x X we have that the set {< e i ϕ x x > ϕ [0,π]} is the complex unit circle, since < e i ϕ x x > = e i ϕ < x x > = e i ϕ The next example shows that in a complex normed space (X, generally we have the inequality < e i ϕ x y > e i ϕ < x y > This statement seems to be probable, but we need an example, which we yield in the proof of the following { lemma This inequality means, that the set of products < e i ϕ x y > ϕ [0,π] } commonly does not generate a proper Euclidean circle (with radius < x y > in C If we take ϕ {π,π/, π 3/}, however, we get with Proposition three identities < x y > = < x y >, < i x y > = i < x y >, and < i x y > = i < x y > Lemma 6 In a complex normed space (X, generally it holds the inequality < e i ϕ x y > e i ϕ < x y >, even their moduli are different Proof We use the most simple non-trivial example of a complex normed space, let (X, := ( C,, where for two complex numbers r+i s, v+i w C we have its norm by ( r+i s v +i w { = max r +s, } v +w The following calculations are easy, but tiring We define two unit vectors x, y of ( C,, x := ( +i 5 4 +i and y := ( 4 +i 3+i 7 Some calculations yield the complex number < x y > = ( [ ] i i 086 3
4 We choose e i ϕ := / (+i 3 from the complex unit circle, and we get approximately e i ϕ < x y > 030+i 0598 After that we take the unit vector e i ϕ x = ( ] 45+i [ i [+ 3 ], and we compute the product < e i ϕ x y >, < e i ϕ x y > = (p +i q/64 03+i 068, where p and q abbreviate real numbers ( p = ( 5, q = This proves the inequality < e i ϕ x y > e i ϕ < x y >, and the lemma is confirmed The above lemma suggests the following conjecture One direction is trivial Conjecture 7 In a complex normed space (X, for all x, y X, ϕ R, it holds < e i ϕ x y > = e i ϕ < x y > if and only if its product < > from Definition is actually an inner product, ie (X,< > is an inner product space 3 The Cauchy-Schwarz-Bunjakowsky Inequality In this section we deal with the famous Cauchy-Schwarz-Bunjakowsky inequality or CSB inequality, or briefly the Cauchy-Schwarz inequality Another name is the Polarization Inequality Let X be a complex normed space, let be the norm on X and let < > be the product from Definition We ask whether in the triple (X,,< > the inequality is fulfilled for all x, y X The answer is positive < x y > x y (3 Theorem 3 The Cauchy-Schwarz-Bunjakowsky inequality in line (3 holds in all complex vector spaces X, provided with a norm and the product < > from Definition Remark 3 This theorem is the main contribution of the paper The proof of the Cauchy- Schwarz inequality in inner product spaces is well documented in many books about functional analysis by using the linearity of the inner product, see for instance [7], p04 This new proof of the Cauchy-Schwarz inequality depends only on the norm in the vector space Proof First we need a lemma, which shows that for a complete answer it suffices to investigate the complex vector space C, provided with all possible norms Lemma 33 The following two statements ( and ( are equivalent ( There exists a complex normed vector space (X, and two vectors a, b X with < a b > > a b (3 ( There is a norm on C and two unit vectors x, y C with < x y > > (33 Proof ( ( Trivial ( ( Easy Let us consider the two-dimensional subspace U of X which is spaned by the linear independent vectors a, b This space U is isomorphic to C We take the norm from X on U We normalize a, b, ie we define unit vectors x := a/ a, and y := b/ b Hence the inequality (3 turns into (33 4
5 The lemma means, that we can restrict our investigations on the complex vector space C By a transformation of coordinates we state that instead of the unit vectors x, y of inequality (33 we set (,0 := x, and (0, := y With Definition the product < (,0 (0, > has the presentation ( 0 ( 0 [ = ( 4 ( ( + i ( i We take four suitable real numbers s,t,v,w, and we define four positive values ( ( ( ( =: s, =: t, =: i v, =: i or, equivalently, we have four unit vectors (s,s,(t,t,(v,i v,(w,i w, i e = (s,s = (t,t = (v,i v = (w,i w Hence the product < (,0 (0, > changes into ( 0 ( 0 = 4 [ ( s ( + i t ( ( v ( ] w ( i ] (34 w, (35 (36 Further, instead of the CSB inequality < (,0 (0, >, for an easier handling we can deal with the equivalent inequality 4 ( ( [ 0 ( ( ] [ ( ( ] = + 6 (37 0 s t v w Lemma 34 All four numbers s,t,v,w are greater or equal / Proof For instance to show / s, use the equation (s,s = s (,0 +s (0, Apply the triangle inequality, and note (s,s =, and also (0, = = (,0 The next lemma means, that we can assume that both the real part and the imaginary part of < (,0 (0, > are positive Lemma 35 Without restriction of generality we assume s < t and v < w Proof In the case of s = t, the first sumand of the middle term in line (37 is zero From Lemma 34 follows /v Hence 4 < (,0 (0, > (/v 4 ( 4 = 6, it holds (37 In the case of s > t, ie /s < /t, ie we have a negative real part of < (,0 (0, >, we consider instead < (, 0 (0, > By Proposition (c, we get a positive real part With a transformation of coordinates we rename (, 0 into (, 0, to get a representation < (,0 (0, > with positive real part In the case that the imaginary part of < (,0 (0, > is still negative, we take the product < (0, (,0 > Now, by Proposition (a, also the imaginary part is positive We make a second transformation of coordinates, and in new coordinates we call this < (,0 (0, > The following propositions Proposition 36 and Proposition 37 collect general properties of the product < (,0 (0, > from line (34 The proofs always rely on the triangle inequality of a normed space, which is equivalent to the fact that its unit ball is convex The next proposition looks weird, but it will give the deciding hint for the proof Proposition 36 We get for each b R the following two inequalities s + b b+ b w, v + b b+ b t (38 5
6 Proof Please see the following Proposition 30 From the line (30 we get /s (a +b + (b +a + a +b /w, which is true for arbitrary real numbers a,b If we choose b = a, it follows the first inequality of Proposition 36 The second inequality uses the corresponding equation of line (3 The above Proposition 36 has an important consequence Proposition 37 If w it holds inequality (A, and in the case of t it holds inequality (B, where (A : ( 4 w + s w and (B : ( 4 t + v t Proof To prove inequality (A we consider again Proposition 36, and we investigate the right hand side of the first inequality in line (38 For all constants w /, we define a function R(b, b R, R(b := + b b + b w (39 Obviously we get the limits lim b + R(b = lim b R(b = + and since the parabola + b b has only positive values, we state that R has a codomain of positive numbers, R : R R + By Proposition 36 it holds /s R(b for all b, hence we are interested in minimums of R, to get an estimate for /s as small as possible Since R(b > R(b for all positive b, the minimum must occur at a non negative b Therefore, we consider the function R for non negative b The search for a minimum is the standard method, we have R (b = 4 b + b b + w, for all b 0 In the case of < w the equation R (b E = 0 has one positive solution b E, b E = [ ] ( We have w > / by the lemmas 34 and 35 4 w Recall that we are looking for positive b E s, hence we are investigating the positive part in the definition (39 of R(b, ie b 0 Note that the condition 0 b E holds if w We add this as an assumption, ie in this Proposition we assume w,t As an intermediate step we mention that for the term + b b for b = b E we get the value w 4 w Finally we get an expression of R at b E, we have (b E,R(b E = ( [ ], 4 w [ w + 4 w ] ByProposition36weget anestimate for/s, butactually wearemoreinterested inanestimate for (/s We calculate (R(b E 4 w = + w, which finishes the proof of Proposition 37 6
7 The above propositions may be a useful tool for further computations, but we do not know whether the list is complete For our purpose it will be sufficient With Proposition 37 we are able to do the final stroke We are still proving Theorem 3, ie we try to confirm the Cauchy-Schwarz inequality (37 To prove the theorem, we need to distinguish between three cases (Casea,(Caseb,(Casec; only the third will be difficult [ ] (Casea: Let both t,w be in the closed interval /, / Hence 4 < (,0 (0, > = [ (/s (/t ] [ + (/v (/w ] [ 4(/ ] = [] = 8 (Caseb: Let / < t / < w or the contrary / < w / < t We use the estimate (A or (B from Proposition 37, and we compute 4 ( 0 ( 0 [ 4 w + w = 4 w w 4 + ( ] [ + [ 6+ w 4 8 ] w ( ] (30 w = 4 w +6 8 w, (3 and it is trivial that the last sum is less than 6, hence the Cauchy Schwarz inequality (37 is confirmed for (Caseb Before we deal with the last case (Casec, one more lemma is necessary Lemma 38 Let t, w The following two inequalities (C and (D are equivalent, and both are true (C : [ 4 w + ( ] [ 4 t w + + t t ( ] 6 w (D : ( t 4 w + ( w 4 t 4 t w Proof Starting with (C, the proof of the equivalence is straightforward The last step is to confirm the second inequality (D for all t, w This needs two tricky substitutions The first is p := 4 t and z := 4 w The inequality (D leads to ( ( p+ z + z + p (p z +p+z + (3 4 p z z + z p p (p z +p+z + (33 The second substitution is h := p and k := z It follows the equivalent inequalities h kk +k hh (h k +h +k + (34 ( h k k ( + h (k k+ k + 0 (35 We multiply it by (, and we get h ( k+k + h (k + ( k +k + 0 (36 [h (k (k+] 0 (37 Obviously, the last inequality is true Hence, both inequalities (C and (D in the lemma are also correct, for real t,w with t, w 7
8 Remark 39 In the above Lemma 38 in the second inequality (D it occurs equality if and only if h (k = k +, or equivalently if the two variables t and w fulfill the relation w t = 4 w, for w and t, w Note that in this formula the variables t and w can be exchanged Further we remark that in inequality (D, for t = or w = both sides of (D have a constant difference of Now we regard the last case (Casec: Let / < t,w From Proposition 37 we have the estimates (A and (B, hence we get the inequality 4 ( 0 ( 0 [ 4 w + w ( ] + t [ 4 t + t ( ] w Together with Lemma 38 this yields the last step to prove the Cauchy-Schwarz-Bunjakowsky inequality, since from inequality (C in Lemma 38 follows the CSB inequality, ie Theorem 3 finally is confirmed We add a few propositions which we do not use (except the lines (39, (30 and (3 in the proof of Theorem 3 We define the map G, G : R R R +, (a,b (a +b + (b +a + a +b We look for the infimum M of G This infimum M must be a minimum, since it is easy to see that it occurs in the closed square {(a,b R R 0 a,b } The values of G can be interpreted as the sum of three hypotenuses of three rectangle triangles We are not able to find M, but if we restrict our search on the diagonal a = b, we find there with elementary analysis at a = b = (3 3/6 0 the minimum M, where M M = + ( 3 = + 6 / 93 This also might be the true global minimum M of the map G Please note that we just considered here the special case w = from line (39 in Proposition 37 Proposition 30 It holds s { M for w M w for w >, v { M for t M t for t > (38 Proof We show the first of the two inequalities Please see the equation ( ( ( ( 0 = [(ai b] + [(b+i a] + [a+i b] 0 i which is true for arbitrary a,b R By the triangle inequality, we get (39 /s = (, (a +b + (b +a + a +b (,i (30 Either (,i or (,i > It follows the first inequality in this proposition The other inequality uses the corresponding equation of the next line (3 (,i = [(a+i b] (,0 + [i (b+a] (0, + [ai b] (, (3 8
9 Proposition 3 Let s > / and v > /, respectively It holds s s s, and v v v, respectively Proof We prove s s s This is equivalent to s Due to the proof of the following proposition this is always true Proposition 3 It holds both s and v Proof Please see the equation (s,0 = / (s,s +/ (s,s Note the norms (s,0 = s, (s,s = = (t,t Sinces twehave (s,s Nowapplythetriangle inequality to the equation Proposition 33 Let s, t > / The following two tripels (t,t,(,0,( t t, t t and (s,s,(,0,( s s, s s are collinear (On two different lines, of course, except the special cases s t = s+t [ Proof The first statement is proven by (t,t (,0 = ( t t t ] (,(,0 The second statement uses (s,s(,0 = ( s [ s s (,(,0 ] Proposition 34 min{t,w} Proof We use e i π/4 from the complex unit circle, where e i 45 = e i π/4 = cos(π/4+i sin(π/4 = + i First assume w t We write ( ( w = + i 0 [ ( i w i w + ( w i w ] By w t, we have thenorms (i w,i w = (w,w (t,t =, and (w,i w = By the triangle inequality it follows w + The case t w is treated with the corresponding equation t (,0 = ( + i [ (i t,i t + (t,i t] Proposition 35 There are two inequalities s v + t + w, and v s + t + w Proof For instance, /v /s+/t+/w is proven by the following equation, (,i = (,+(,(,i Proposition 36 It holds s t s + t and v w v + w Proof For the first inequality use two times the equation (, = (,0(, 9
10 Proposition 37 Let α {s,t}, and γ {v,w} It holds α γ α + γ Proof We need to show v t and s w and t + w Note +i = i =, and consider ( i = ( ( 0 + (+i Hence it follows v t + Please see also (, = (,i + ( + i (0, and (i (0, = (,i(, Proposition 38 It holds s [ ] v w v +w Proof We show s ] [ v w v+w We use ( The other inequality needs = i ( v v i v ( i = +i s ( s s and v [ ] s t s+t + +i ( w w i w ( t + i t t Acknowledgements: We wish to thank Prof Dr Eberhard Oeljeklaus for a careful reading of the paper and some helpful calculations, and Dr Malte von Arnim, who found the substitutions in the proof of inequality (D in Lemma 38 References [] IN Bronstein, KA Semendjajew, Taschenbuch der Mathemetik, 9 Auflage, Harri Deutsch (980 [] Walter Rudin, Functional Analysis, Edition, McGraw-Hill (99 [3] Ivan Singer, Unghiuri Abstracte şi Funcţii Trigonometrice î n Spaţii Banach, Buletin Ştiinţific, Secţia de Ştiinţe Matematice şi Fizice, Academia Republicii Populare Romîne 9 (957, 9-4 [4] Volker W Thürey, A Generalization of the Euclidean Angle, Journal of Convex Analysis, Volume 0, Number 4 (03, [5] Volker W Thürey, The Complex Angle in Normed Spaces, Revue Roumaine de Mathématiques Pures et Appliquées, Volume 60, Number (05, [6] Volker W Thürey, The Polarization Inequality in Complex Normed Spaces, Methods of Functional Analysis and Topology To appear [7] D Werner, Funktionalanalysis, 7 Auflage, Springer (0 0
Angles and a Classification of Normed Spaces
Angles and a Classification of Normed Spaces VOLKER W. THÜREY Rheinstr. 9 899 Bremen, Germany July 3, 0 arxiv:07.0074v [math.fa] 30 Jun 0 00 AMS-classification: 46B0, 5A0 Keywords: generalized angle, normed
More informationThe Complex Angle in Normed Spaces
The Complex Angle in Normed Spaces VOLKER W. THÜREY Rheinstr. 9 899 Bremen, Germany arxiv:308.54v [math.fa] 5 Aug 03 August 7, 03 We consider a generalized angle in complex normed vector spaces. Its definition
More informationTHE COMPLEX ANGLE IN NORMED SPACES
THE COMPLEX ANGLE IN NORMED SPACES VOLKER W. TH UREY Communicated by Vasile Br nzänescu We consider a concept of a generalized angle in complex normed vector spaces. Its denition corresponds to the denition
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationCHAPTER II HILBERT SPACES
CHAPTER II HILBERT SPACES 2.1 Geometry of Hilbert Spaces Definition 2.1.1. Let X be a complex linear space. An inner product on X is a function, : X X C which satisfies the following axioms : 1. y, x =
More information1.4 The Jacobian of a map
1.4 The Jacobian of a map Derivative of a differentiable map Let F : M n N m be a differentiable map between two C 1 manifolds. Given a point p M we define the derivative of F at p by df p df (p) : T p
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationTHE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS
THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU Abstract. This is an edited version of a
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More informationProjection Theorem 1
Projection Theorem 1 Cauchy-Schwarz Inequality Lemma. (Cauchy-Schwarz Inequality) For all x, y in an inner product space, [ xy, ] x y. Equality holds if and only if x y or y θ. Proof. If y θ, the inequality
More informationStudying Rudin s Principles of Mathematical Analysis Through Questions. August 4, 2008
Studying Rudin s Principles of Mathematical Analysis Through Questions Mesut B. Çakır c August 4, 2008 ii Contents 1 The Real and Complex Number Systems 3 1.1 Introduction............................................
More informationFunctional Analysis HW #5
Functional Analysis HW #5 Sangchul Lee October 29, 2015 Contents 1 Solutions........................................ 1 1 Solutions Exercise 3.4. Show that C([0, 1]) is not a Hilbert space, that is, there
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationTheorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers
Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower
More informationNormed Vector Spaces and Double Duals
Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces
More informationNormed and Banach spaces
Normed and Banach spaces László Erdős Nov 11, 2006 1 Norms We recall that the norm is a function on a vectorspace V, : V R +, satisfying the following properties x + y x + y cx = c x x = 0 x = 0 We always
More informationIntroduction to Proofs
Real Analysis Preview May 2014 Properties of R n Recall Oftentimes in multivariable calculus, we looked at properties of vectors in R n. If we were given vectors x =< x 1, x 2,, x n > and y =< y1, y 2,,
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationFUNCTIONAL ANALYSIS-NORMED SPACE
MAT641- MSC Mathematics, MNIT Jaipur FUNCTIONAL ANALYSIS-NORMED SPACE DR. RITU AGARWAL MALAVIYA NATIONAL INSTITUTE OF TECHNOLOGY JAIPUR 1. Normed space Norm generalizes the concept of length in an arbitrary
More informationAN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES
AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES JOEL A. TROPP Abstract. We present an elementary proof that the spectral radius of a matrix A may be obtained using the formula ρ(a) lim
More informationLinear Algebra I. Ronald van Luijk, 2015
Linear Algebra I Ronald van Luijk, 2015 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents Dependencies among sections 3 Chapter 1. Euclidean space: lines and hyperplanes 5 1.1. Definition
More informationA SYNOPSIS OF HILBERT SPACE THEORY
A SYNOPSIS OF HILBERT SPACE THEORY Below is a summary of Hilbert space theory that you find in more detail in any book on functional analysis, like the one Akhiezer and Glazman, the one by Kreiszig or
More informationThe weak topology of locally convex spaces and the weak-* topology of their duals
The weak topology of locally convex spaces and the weak-* topology of their duals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Introduction These notes
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More informationA NICE PROOF OF FARKAS LEMMA
A NICE PROOF OF FARKAS LEMMA DANIEL VICTOR TAUSK Abstract. The goal of this short note is to present a nice proof of Farkas Lemma which states that if C is the convex cone spanned by a finite set and if
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationProf. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India
CHAPTER 9 BY Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India E-mail : mantusaha.bu@gmail.com Introduction and Objectives In the preceding chapters, we discussed normed
More informationLecture Notes 1: Vector spaces
Optimization-based data analysis Fall 2017 Lecture Notes 1: Vector spaces In this chapter we review certain basic concepts of linear algebra, highlighting their application to signal processing. 1 Vector
More informationSystems of Linear Equations
Systems of Linear Equations Math 108A: August 21, 2008 John Douglas Moore Our goal in these notes is to explain a few facts regarding linear systems of equations not included in the first few chapters
More informationLinear Algebra. Preliminary Lecture Notes
Linear Algebra Preliminary Lecture Notes Adolfo J. Rumbos c Draft date April 29, 23 2 Contents Motivation for the course 5 2 Euclidean n dimensional Space 7 2. Definition of n Dimensional Euclidean Space...........
More information11691 Review Guideline Real Analysis. Real Analysis. - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4)
Real Analysis - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4) 1 The Real and Complex Number Set: a collection of objects. Proper subset: if A B, then call A a proper subset
More informationAnalysis-3 lecture schemes
Analysis-3 lecture schemes (with Homeworks) 1 Csörgő István November, 2015 1 A jegyzet az ELTE Informatikai Kar 2015. évi Jegyzetpályázatának támogatásával készült Contents 1. Lesson 1 4 1.1. The Space
More informationarxiv: v1 [math.na] 9 Feb 2013
STRENGTHENED CAUCHY-SCHWARZ AND HÖLDER INEQUALITIES arxiv:1302.2254v1 [math.na] 9 Feb 2013 J. M. ALDAZ Abstract. We present some identities related to the Cauchy-Schwarz inequality in complex inner product
More informationMATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES
MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of
More informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationA simple case of Nash-Moser-Ekeland theorem
A simple case of Nash-Moser-Ekeland theorem arxiv:1809.00630v2 [math.fa] 19 Sep 2018 M. Ivanov and N. Zlateva September 21, 2018 Abstract We present simple and direct proof to an important case of Nash-
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More information1.6 Lecture 2: Conjugation and inequalities
1.6. LECTURE 2: CONJUGATION AND INEQUALITIES 21 Lastly, we have the exceptional case αβ = 2δ and α 2 β 2 < 4γ. In this case, z = 1 [ ( α + i β ± )] β 2 2 α 2 + 4γ. As can be seen clearly from this exercise,
More informationLinear Normed Spaces (cont.) Inner Product Spaces
Linear Normed Spaces (cont.) Inner Product Spaces October 6, 017 Linear Normed Spaces (cont.) Theorem A normed space is a metric space with metric ρ(x,y) = x y Note: if x n x then x n x, and if {x n} is
More informationLecture 5. Ch. 5, Norms for vectors and matrices. Norms for vectors and matrices Why?
KTH ROYAL INSTITUTE OF TECHNOLOGY Norms for vectors and matrices Why? Lecture 5 Ch. 5, Norms for vectors and matrices Emil Björnson/Magnus Jansson/Mats Bengtsson April 27, 2016 Problem: Measure size of
More informationLecture 16 : Definitions, theorems, proofs. MTH299 Transition to Formal Mathematics Michigan State University 1 / 8
Lecture 16 : Definitions, theorems, proofs MTH299 Transition to Formal Mathematics Michigan State University 1 / 8 Meanings Definition : an explanation of the mathematical meaning of a word. Theorem :
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationChapter 3: Baire category and open mapping theorems
MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A
More informationLecture 2: A crash course in Real Analysis
EE5110: Probability Foundations for Electrical Engineers July-November 2015 Lecture 2: A crash course in Real Analysis Lecturer: Dr. Krishna Jagannathan Scribe: Sudharsan Parthasarathy This lecture is
More informationHomework Assignment #5 Due Wednesday, March 3rd.
Homework Assignment #5 Due Wednesday, March 3rd. 1. In this problem, X will be a separable Banach space. Let B be the closed unit ball in X. We want to work out a solution to E 2.5.3 in the text. Work
More informationHilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.
Hilbert Spaces Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space. Vector Space. Vector space, ν, over the field of complex numbers,
More informationINNER PRODUCT SPACE. Definition 1
INNER PRODUCT SPACE Definition 1 Suppose u, v and w are all vectors in vector space V and c is any scalar. An inner product space on the vectors space V is a function that associates with each pair of
More informationA NOTE ON LINEAR FUNCTIONAL NORMS
A NOTE ON LINEAR FUNCTIONAL NORMS YIFEI PAN AND MEI WANG Abstract. For a vector u in a normed linear space, Hahn-Banach Theorem provides the existence of a linear functional f, f(u) = u such that f = 1.
More informationBanach Spaces II: Elementary Banach Space Theory
BS II c Gabriel Nagy Banach Spaces II: Elementary Banach Space Theory Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we introduce Banach spaces and examine some of their
More informationPOLARS AND DUAL CONES
POLARS AND DUAL CONES VERA ROSHCHINA Abstract. The goal of this note is to remind the basic definitions of convex sets and their polars. For more details see the classic references [1, 2] and [3] for polytopes.
More informationSEMI-INNER PRODUCTS AND THE NUMERICAL RADIUS OF BOUNDED LINEAR OPERATORS IN HILBERT SPACES
SEMI-INNER PRODUCTS AND THE NUMERICAL RADIUS OF BOUNDED LINEAR OPERATORS IN HILBERT SPACES S.S. DRAGOMIR Abstract. The main aim of this paper is to establish some connections that exist between the numerical
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More information6 Inner Product Spaces
Lectures 16,17,18 6 Inner Product Spaces 6.1 Basic Definition Parallelogram law, the ability to measure angle between two vectors and in particular, the concept of perpendicularity make the euclidean space
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationHilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality
(October 29, 2016) Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2016-17/03 hsp.pdf] Hilbert spaces are
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationON SOME RESULTS ON LINEAR ORTHOGONALITY SPACES
ASIAN JOURNAL OF MATHEMATICS AND APPLICATIONS Volume 2014, Article ID ama0155, 11 pages ISSN 2307-7743 http://scienceasia.asia ON SOME RESULTS ON LINEAR ORTHOGONALITY SPACES KANU, RICHMOND U. AND RAUF,
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationFREMLIN TENSOR PRODUCTS OF CONCAVIFICATIONS OF BANACH LATTICES
FREMLIN TENSOR PRODUCTS OF CONCAVIFICATIONS OF BANACH LATTICES VLADIMIR G. TROITSKY AND OMID ZABETI Abstract. Suppose that E is a uniformly complete vector lattice and p 1,..., p n are positive reals.
More informationLinear Algebra. Preliminary Lecture Notes
Linear Algebra Preliminary Lecture Notes Adolfo J. Rumbos c Draft date May 9, 29 2 Contents 1 Motivation for the course 5 2 Euclidean n dimensional Space 7 2.1 Definition of n Dimensional Euclidean Space...........
More informationNORMS ON SPACE OF MATRICES
NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system
More informationVector Calculus. Lecture Notes
Vector Calculus Lecture Notes Adolfo J. Rumbos c Draft date November 23, 211 2 Contents 1 Motivation for the course 5 2 Euclidean Space 7 2.1 Definition of n Dimensional Euclidean Space........... 7 2.2
More informationTHE L 2 -HODGE THEORY AND REPRESENTATION ON R n
THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some
More informationABSTRACT CONDITIONAL EXPECTATION IN L 2
ABSTRACT CONDITIONAL EXPECTATION IN L 2 Abstract. We prove that conditional expecations exist in the L 2 case. The L 2 treatment also gives us a geometric interpretation for conditional expectation. 1.
More informationINDEX. Bolzano-Weierstrass theorem, for sequences, boundary points, bounded functions, 142 bounded sets, 42 43
INDEX Abel s identity, 131 Abel s test, 131 132 Abel s theorem, 463 464 absolute convergence, 113 114 implication of conditional convergence, 114 absolute value, 7 reverse triangle inequality, 9 triangle
More informationVector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.
Vector Spaces Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms. For each two vectors a, b ν there exists a summation procedure: a +
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More information4th Preparation Sheet - Solutions
Prof. Dr. Rainer Dahlhaus Probability Theory Summer term 017 4th Preparation Sheet - Solutions Remark: Throughout the exercise sheet we use the two equivalent definitions of separability of a metric space
More informationS chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.
Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More information(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X.
A short account of topological vector spaces Normed spaces, and especially Banach spaces, are basic ambient spaces in Infinite- Dimensional Analysis. However, there are situations in which it is necessary
More informationCHAPTER 8: EXPLORING R
CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed
More informationNormed and Banach Spaces
(August 30, 2005) Normed and Banach Spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ We have seen that many interesting spaces of functions have natural structures of Banach spaces:
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationMath 117: Topology of the Real Numbers
Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few
More informationy 2 . = x 1y 1 + x 2 y x + + x n y n 2 7 = 1(2) + 3(7) 5(4) = 3. x x = x x x2 n.
6.. Length, Angle, and Orthogonality In this section, we discuss the defintion of length and angle for vectors and define what it means for two vectors to be orthogonal. Then, we see that linear systems
More informationProblem Set 6: Solutions Math 201A: Fall a n x n,
Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series
More informationNumerical Range in C*-Algebras
Journal of Mathematical Extension Vol. 6, No. 2, (2012), 91-98 Numerical Range in C*-Algebras M. T. Heydari Yasouj University Abstract. Let A be a C*-algebra with unit 1 and let S be the state space of
More informationVector spaces. DS-GA 1013 / MATH-GA 2824 Optimization-based Data Analysis.
Vector spaces DS-GA 1013 / MATH-GA 2824 Optimization-based Data Analysis http://www.cims.nyu.edu/~cfgranda/pages/obda_fall17/index.html Carlos Fernandez-Granda Vector space Consists of: A set V A scalar
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationOptimization and Optimal Control in Banach Spaces
Optimization and Optimal Control in Banach Spaces Bernhard Schmitzer October 19, 2017 1 Convex non-smooth optimization with proximal operators Remark 1.1 (Motivation). Convex optimization: easier to solve,
More informationI teach myself... Hilbert spaces
I teach myself... Hilbert spaces by F.J.Sayas, for MATH 806 November 4, 2015 This document will be growing with the semester. Every in red is for you to justify. Even if we start with the basic definition
More informationADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS
J. OPERATOR THEORY 44(2000), 243 254 c Copyright by Theta, 2000 ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS DOUGLAS BRIDGES, FRED RICHMAN and PETER SCHUSTER Communicated by William B. Arveson Abstract.
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationMath 413/513 Chapter 6 (from Friedberg, Insel, & Spence)
Math 413/513 Chapter 6 (from Friedberg, Insel, & Spence) David Glickenstein December 7, 2015 1 Inner product spaces In this chapter, we will only consider the elds R and C. De nition 1 Let V be a vector
More informationLecture 7: Semidefinite programming
CS 766/QIC 820 Theory of Quantum Information (Fall 2011) Lecture 7: Semidefinite programming This lecture is on semidefinite programming, which is a powerful technique from both an analytic and computational
More informationIn English, this means that if we travel on a straight line between any two points in C, then we never leave C.
Convex sets In this section, we will be introduced to some of the mathematical fundamentals of convex sets. In order to motivate some of the definitions, we will look at the closest point problem from
More information3 Orthogonality and Fourier series
3 Orthogonality and Fourier series We now turn to the concept of orthogonality which is a key concept in inner product spaces and Hilbert spaces. We start with some basic definitions. Definition 3.1. Let
More informationNon-linear factorization of linear operators
Submitted exclusively to the London Mathematical Society doi:10.1112/0000/000000 Non-linear factorization of linear operators W. B. Johnson, B. Maurey and G. Schechtman Abstract We show, in particular,
More informationJordan Journal of Mathematics and Statistics (JJMS) 8(3), 2015, pp THE NORM OF CERTAIN MATRIX OPERATORS ON NEW DIFFERENCE SEQUENCE SPACES
Jordan Journal of Mathematics and Statistics (JJMS) 8(3), 2015, pp 223-237 THE NORM OF CERTAIN MATRIX OPERATORS ON NEW DIFFERENCE SEQUENCE SPACES H. ROOPAEI (1) AND D. FOROUTANNIA (2) Abstract. The purpose
More information1. Continuous Functions between Euclidean spaces
Math 441 Topology Fall 2012 Metric Spaces by John M. Lee This handout should be read between Chapters 1 and 2 of the text. It incorporates material from notes originally prepared by Steve Mitchell and
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationLecture Notes on Metric Spaces
Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1],
More information