Where is matrix multiplication locally open?

Size: px
Start display at page:

Download "Where is matrix multiplication locally open?"

Transcription

1 Linear Algebra and its Applications 517 (2017) Contents lists available at ScienceDirect Linear Algebra and its Applications Where is matrix multiplication locally open? Ehrhard Behrends Mathematisches Institut, Freie Universität Berlin, Arnimallee 6, D Berlin, Germany a r t i c l e i n f o a b s t r a c t Article history: Received 30 March 2016 Accepted 10 December 2016 Available online 15 December 2016 Submitted by V. Mehrmann MSC: 46B20 46E15 Keywords: Locally open Matrices Singularity theory Let (M 1, d 1 ), (M 2, d 2 )be metric spaces. A map f : M 1 M 2 is said to be locally open at an x 1 M 1, if for every ε > 0 one finds a δ >0such that B ( f(x 1 ), δ ) f ( B(x 1, ε) ) ; here B(x, r) stands for the closed ball with center x and radius r. We are particularly interested in the following special case: X, Y, Z are normed spaces, the spaces L(X, Y ), L(Y, Z), L(X, Z) of linear continuous operators are provided with the operator norm, and the map under consideration is the bilinear map (S, T ) S T (from L(Y, Z) (L(X, Y ) to L(X, Z)). For which pairs (S 0, T 0 ) L(Y, Z) (L(X, Y )is it locally open? The main result of the paper gives a complete characterization of pairs (S, T )at which this map is locally open in the case of finite-dimensional spaces X, Y, Z Elsevier Inc. All rights reserved. 1. The problem Let A be a normed algebra and (x 0, y 0 ) A. We say that multiplication is locally open at (x 0, y 0 )if for every ε > 0one can find a δ >0such that {x 0 y 0 + w w δ} {(x 0 + x) (y 0 + y) x, y ε}. address: behrends@math.fu-berlin.de / 2016 Elsevier Inc. All rights reserved.

2 168 E. Behrends / Linear Algebra and its Applications 517 (2017) The case of commutative A has been investigated in several papers (see [1 7]). Here we aim at characterizing the pairs (x 0, y 0 ) where multiplication is locally open in the noncommutative normed algebra M n of real or complex n n-matrices for arbitrary n N. In the framework of singularity theory the problem whether certain nonlinear maps are locally open at a given point has been studied for many decades. However, the interest in the special case of natural bilinear maps that occur in functional analysis is relatively new. Whereas the commutative case (like pointwise multiplication in spaces of measurables or continuous functions) leads to problems in measure theory and topology the noncommutative matrix multiplication corresponds to a nonlinear map from 2n 2 -to n 2 -dimensional space, and there seem to be no general results that could be used here unless this mapping has full rank. We will show that rather elementary linear algebra leads to a complete characterization. Another viewpoint is also possible. Let X, Y, Z be normed linear spaces and denote by L(X, Y ), L(Y, Z) and L(X, Z) the spaces of continuous linear operators from X to Y etc. (These spaces are provided with the operator norm.) One can consider the bilinear map Φ : L(Y, Z) L(X, Y ) L(X, Z), (S, T ) S T, and one may ask: at which pairs (S 0, T 0 )is Φ, the operator multiplication, locally open? The preceding case of normed algebras covers the situation X = Y = Z, but what can be said in general? We provide a complete characterization for the case of finite dimensional X, Y, Z in section 2, and section 3 is concerned with the special case of multiplication in M n. 2. Where is (S, T ) S T locally open? First we collect some facts that concern arbitrary normed spaces X, Y, Z over the scalar field K {R, C}. (We will drop the symbol for the composition of maps.) Lemma 2.1. Let S 0 L(Y, Z) and T 0 L(X, Y ) be given. (i) Suppose that T 0 has the following property: for every ε > 0 there exists T ε L(X, Y ) with T ε ε such that S 0 T ε = 0, and T 0 + T ε admits a left inverse (i.e., a T L(Y, X) with T (T 0 +T ε ) = Id X ). Then multiplication is locally open at (S 0, T 0 ). (ii) If S 0 is such that for every ε > 0 there exists S ε L(Y, Z) with S ε ε such that S ε T 0 = 0 and S 0 + S ε admits a right inverse (i.e., an S L(Z, Y ) with (S 0 + S ε ) S = Id Z ), then multiplication is locally open at (S 0, T 0 ). (iii) If T 0 admits a left inverse or S 0 admits a right inverse, then multiplication is locally open at (S 0, T 0 ). (iv) Suppose that for every ε > 0 there exists T ε with T ε ε (resp. S ε with S ε ε) such that T 0 + T ε has a left inverse (resp. S 0 + S ε has a right inverse). Then multiplication is locally open at (0, T 0 ) (resp. at (S 0, 0)).

3 E. Behrends / Linear Algebra and its Applications 517 (2017) Proof. (i) For a given ε > 0 put T := T ε and δ := ε/( T +1), where T is a left inverse of T 0 + T ε. For R L(X, Z) with R δ define S := R T. Then S ε and (S 0 + S)(T 0 + T )=S 0 T 0 + R T (T 0 + T ε )=S 0 T 0 + R. The proof of (ii) is similar, and (iii) and (iv) follow immediately from (i) and (ii). Now we will restrict ourselves to the case of finite dimensional spaces. We will consider normed spaces X, Y and Z that are n-, k- and m-dimensional, respectively, and T 0 : X Y as well as S 0 : Y Z are fixed linear maps. When is (S, T ) ST locally open at (S 0, T 0 )? Our strategy will be as follows: We will find conditions that will allow us to apply Lemma 2.1(i) and (ii) for the proof of local openness. And if both conditions are violated we will prove that multiplication is not locally open. We begin our investigations with some preparations. Denote by s and t the ranks of S 0 and T 0, respectively; we put t 2 = dim(range T 0 ker S 0 ), and t 1 := t t 2. Lemma 2.2. Let U be a subspace of Y. (i) There exists T L(X, Y ) with range T U such that T 0 + αt is one-to-one for every α 0iff n t + t U dim U; here t U := dim(u range T 0 ). (ii) There is an S L(Y, Z) with S U =0such that S 0 + αs is onto for every α 0iff s U := dim(u ker S 0 ) k m. Proof. (i) Suppose that such a T exists. ker T 0 is (n t)-dimensional so that we may choose a basis x 1,..., x n t of ker T 0. Let y n t+1,..., y n t+tu be a basis of U range T 0, and x n t+1,..., x n t+tu are vectors such that T 0 (x i ) = y i for i = n t +1,..., n t +t U. It is easy to see that x 1,..., x n t+tu are linearly independent so that we may select further t t U vectors x n t+tu +1,..., x n to arrive at a basis of X. T 0 +T is one-to-one so that the (T 0 +T )(x 1 ),...,(T 0 +T )(x n )are linearly independent. The range of T lies in U, and U contains the n t + t U linearly independent vectors T (x 1 ),..., T (x n t ), y n t+1 + T (x n t+1 ),..., y n t+tu + T (x n t+tu ). Thus n t + t U dim U. Now suppose that n t + t U dim U. This inequality implies that we may choose an (n t)-dimensional subspace W of U such that W range T 0 = {0}. Let I :ker T 0 W be a linear bijection and V X a complementary subspace of ker T 0. We define T L(X, Y )by D(x + v) := I(x) for arbitrary x ker T 0 and v V. We claim that T 0 + αt is one-to-one for every scalar α 0. In fact, if 0 = (T 0 + αt )(x + v) = T 0 (v) + αi(x) (where x ker T 0 and v V ), then T 0 (v) = I(x) = 0 (since W range T 0 = {0}) so that v V ker T 0 = {0} and x = 0. Thus x + v =0.

4 170 E. Behrends / Linear Algebra and its Applications 517 (2017) (ii) Whereas an approach similar to the ideas in the proof of (i) is possible we prefer to use a duality technique that will also be important later. As usual we denote by X the dual of a Banach space X, and for T L(X, Y )the dual map T L(Y, X )is defined by f f T. For a subspace U X the annihilator {f X f U =0} is denoted by U. The existence of an S L(X, Y )with S U =0such that S 0 + αs is onto for α 0 is equivalent with the existence of an S L(Y, X )with range S U such that S 0 + αs is one-to-one for these α. Part (i) of the lemma provides a criterion, we only have to check the new meaning of the numbers that are used there. The number t is the rank of S 0, it has to be replaced by s. The dimension of U is k dim U. We have (range S 0) = kers 0, and (ker S 0 ) U = (kers 0 + U). And since dim(v 1 + V 2 ) = dimv 1 +dimv 2 dim(v 1 V 2 )for subspaces V 1, V 2 we conclude that dim(u range S 0)=k [(k s)+dimu s U ]=s dim U + s U. The number n in (i) has to be replaced by m. In this way our characterization of (i) translates to m s +(s dim U +s U ) k dim U, or s U k m. Corollary 2.3. (i) There exists T L(X, Y ) with S 0 T =0such that T 0 + αt is one-to-one for every α 0iff n t 1 k s. (ii) There exists S L(Y, Z) such that ST 0 =0and S 0 + αs is onto for every α 0iff t 2 k m. Proof. One only has to apply the preceding lemma with U =kers 0 (for the proof of (i)) and U = range T 0 (for the proof of (ii)). So far we have avoided to use matrix representations of the maps under consideration. However, in the proof of our main theorem it will be necessary to switch between the original space and the dual space, and our argument will be much clearer if we only have to pass from columns to rows of a matrix. In the next lemma we describe the best possible matrix representation of S 0 and T 0 for our purposes. One should note that the transition to a matrix representation of a given linear map might change the operator norm of this map. But this will cause no difficulties here since the problem we are interested in only depends on the topologies of the operator spaces under consideration.

5 E. Behrends / Linear Algebra and its Applications 517 (2017) Lemma 2.4. We adopt the preceding notation and we suppose that s t. Then there are bases in X, Y, Z, respectively, such that S 0 and T 0 have matrix representations of the following form: ( ) E t1 Z t1,t 2 Z t1,n t E s Z s,k s Z s t1,t S 0 =, T 0 = 1 Z s t1,t 2 Z s t1,n t Z m s,s Z m s,k s Z t2,t 1 E t2 Z t2,n t. Z k t2 s,t 1 Z k t2 s,t 2 Z k t2 s,n t Here Z a,b denotes the a b zero matrix and E a stands for the a-dimensional identity matrix. Obviously, S 0 T 0 then has the form E t1 Z t1,n t 1 S 0 T 0 = Z s t1,t 1 Z s t1,n t 1. Z m s,t1 Z m s,n t1 Proof. Write Y as the direct sum of four subspaces Y 1, Y 2, Y 3, Y 4, where Y 1 is the t 2 -dimensional subspace range T 0 ker S 0 ; Y 2 ker S 0 is such that ker S 0 is the direct sum of Y 1 and Y 2 (this subspace is (k s t 2 )-dimensional); Y 3 is chosen such that range T 0 is the direct sum of Y 1 and Y 3 (this is a t 1 -dimensional subspace); finally, Y 4 is a complement of Y 1 + Y 2 + Y 3 in Y (an (s t 1 )-dimensional space). Here we make use of the fact that s t. Next we choose: y 1,..., y t1, a basis of Y 3 ; y t1 +1,..., y s, a basis of Y 4 ; y s+1,..., y s+t2, a basis of Y 1 ; y s+t2 +1,..., y k, a basis of Y 2. The first x 1,..., x t are determined such that T 0 x 1 = y 1,..., T 0 x t1 = y t1 and T 0 x t1 +1 = y s+1,..., T 0 x t1 +t 2 = y s+t2. Then the x 1,..., x t are linearly independent, and we choose vectors x t+1,..., x n ker T 0 such that x 1,..., x n are a basis of X. It remains to choose a basis z 1,..., z m in Z. The first z 1,..., z s are defined by z i := S 0 y i, and the remaining ones are arbitrary. (Note that S 0 is one-to-one on Y 3 + Y 4.) Then the matrix representations are as desired. Up to now we have provided no example where multiplication is not locally open. For trivial reasons this happens at all pairs (S 0, T 0 )if m, n >k: surely one can find R L(X, Z) with arbitrarily small R such that S 0 T 0 + R has rank bigger than k, but

6 172 E. Behrends / Linear Algebra and its Applications 517 (2017) the rank of a map (S 0 + S)(T 0 + T )is always bounded by k. We will now present a less trivial example where local openness also fails. A generalization of the proof of this fact will be the essential ingredient in the verification of our main result in Theorem 2.5. Example. We will consider the case n = k = m =4, and S 0, T 0 are defined by the following matrices: S 0 = , T = , S T 0 = Here s = t =2and t 1 = t 2 =1. We claim that multiplication is not locally open at (S 0, T 0 ). To this end we have to provide a positive ε 0 such that for arbitrarily small δ it is not possible to write all S 0 T 0 + R with R δ in the form (S 0 + S)(T 0 + T ), where S, T ε 0. We choose ε 0 > 0such that the following two conditions are satisfied: For each T with T ε 0 the second column of T 0 + T is not the zero column. For each S with S ε 0 the first two rows of S 0 + S are linearly independent. Surely such ε 0 exist. (In order to avoid to work with the operator norm of matrices we are not going to define ε 0 explicitly.) Now let δ>0be arbitrary. We claim that the definition R = 0 0 δ 0, i.e., S T 0 + R = 0 0 δ 0, δ δ leads to an R with the desired properties. Suppose that there were S, T with S, T ε 0 and (S 0 + S)(T 0 + T ) = S 0 T 0 + R: we will show that this leads to a contradiction. The second column of S 0 T 0 + R is zero, but the second column of T 0 + T is nontrivial by our choice of ε 0. Hence S 0 + S has a nontrivial kernel and therefore it cannot have full rank. We may choose scalars a 1, a 2, a 3, a 4 with (a 1, a 2, a 3, a 4 ) (0, 0, 0, 0) such that (a 1, a 2, a 3, a 4 )(S 0 +S) = (0, 0, 0, 0). (I.e., i a ir i =0, where r 1, r 2, r 3, r 4 denote the rows of S 0 + S.) It is not possible that a 3 = a 4 =0since r 1, r 2 are linearly independent due to the choice of ε 0 so that (a 3, a 4 ) (0, 0). From (a 1, a 2, a 3, a 4 )(S 0 + S) = (0, 0, 0, 0) it follows that

7 E. Behrends / Linear Algebra and its Applications 517 (2017) (0, 0, 0, 0) = (a 1,a 2,a 3,a 4 )(S 0 + S)(T 0 + T )=(a 1,a 2,a 3,a 4 )(S 0 T 0 + R). Or, to state it differently, i a ir i =(0, 0, 0, 0), with r i =the i th row of S 0T 0 + R. But this is surely not the case since the last two entries of i a ir i are a 3δ, a 4 δ, and (a 3, a 4 ) (0, 0). Here is our main result: Theorem 2.5. Let X, Y, Z be real or complex normed spaces with dimensions n, k and m, respectively. S 0 L(Y, Z) and T 0 L(X, Y ) are linear operators, we denote by s resp. t the rank of S 0 resp. the rank of T 0. The number t is written as t = t 1 + t 2, where t 2 is the dimension of range T 0 ker S 0. The following conditions are equivalent: (i) Multiplication is locally open at (S 0, T 0 ). (ii) t 2 k m, or n t 1 k s. (iii) There exists T L(X, Y ) with S 0 T =0such that T 0 + αt is one-to-one for every α 0, or there exists S L(Y, Z) such that ST 0 =0and S 0 + αs is onto for every α 0. Proof. The equivalence of (ii) and (iii) was shown in Corollary 2.3, and (iii) (i) is a consequence of Lemma 2.1(i) and (ii). One only has to note that a linear map between finite dimensional spaces has a left inverse (resp. a right inverse) iff it is one-to-one (resp. onto). So it remains to prove that (i) implies (ii). Assume that t 2 >k m and n t 1 >k s: we will show that multiplication is not locally open at (S 0, T 0 ). We will adopt the strategy that worked successful in the preceding example. Let us first assume that s t. We will work with the matrix representations of S 0 and T 0 from Lemma 2.4. Our ε 0 is chosen such that: If S is an m k-matrix such that S ε 0, then the first s rows of S 0 + S are linearly independent. If T is a k n-matrix with T ε 0, then the columns of T 0 + T at positions t 1 +1,..., t are linearly independent. Let δ >0be arbitrary. We will define R such that R δ, but S 0 T 0 + R cannot be written as (S 0 +S)(T 0 +T )with S, T ε 0. The idea will be to have nonzero entries of R only in the bottom right block of S 0 T 0. Let us first analyze how many rows are there below the E s -block in S 0. The kernel of S 0 is (k s)-dimensional, and there is at least a t 2 -dimensional subspace in this kernel. Thus k s t 2, or s k t 2. But k t 2 <m, and consequently we find at least p := k t 2 +1 s rows below E s. The inequality n t 1 >k s yields n t p, and this enables us to find a p (n t)-matrix R with linearly independent rows.

8 174 E. Behrends / Linear Algebra and its Applications 517 (2017) We now define R : all entries are zero, unless the entries in the rows at positions s +1,..., s + p between the columns t +1,..., n where we insert the entries of ˆR := τ R; here τ is chosen so small that R δ. We now proceed as in the preceding example. Suppose that one could write S 0 T 0 + R as (S 0 + S)(T 0 + T )with S, T ε 0. The linearly independent columns of T 0 + T at positions t 1 +1,..., t are mapped to zero by S 0 + S since the corresponding columns of S 0 T 0 + R are zero. Hence the kernel of S 0 + S is at least t 2 -dimensional so that the rank of this matrix is at most k t 2. We conclude as above that each k t 2 +1 rows of S 0 +S must be linearly dependent so that we may choose a nontrivial linear combination k t2 +1 i=1 a i r i =0. (By r 1,..., r m we denote the rows of S 0 + S.) But r 1,..., r s are linearly independent by our choice of ε 0 so that there must be nonzero numbers among the a s+1,..., a s+p. With r i =the rows of S 0T 0 + R we conclude (with an argument as in the special four-dimensional case that was discussed just before the theorem) that k t2 +1 i=1 a i r i =0. But this is not possible since it would imply that a nontrivial linear combination of the rows of ˆR is zero. It remains to deal with the case s <t. As in the proof of Lemma 2.2(ii) we will reduce it to the case s > tby using duality. Suppose that we assume (i). If multiplication is locally open at (S 0, T 0 ), then it is locally open also at (T 0, S 0)since T T is an isometrical isomorphism that reverses the order of multiplication. But the rank of T 0 is larger than the rank of S 0 so that by the first part of the proof we know that one of the inequalities t 2 k m, n t 1 k s holds. Here the numbers with the prime stand for the corresponding parameters for the new situation: k = k, m = n, n = m, t = s, s = t. t 2 = dim(range S 0 ker T 0) = s t 1 (cf. the proof of Lemma 2.2(ii)). t 1 = t t 2 = s (s t 1 ) = t 1. Thus t 2 k m in fact means s t 1 k n, and n t 1 k s is the same as m t 1 k t, or t 2 k m. 3. Multiplication in the Banach algebra M n We now consider the special case k = n = m: Theorem 3.1. Let S 0, T 0 M n be given. s and t stand for the rank of S 0 and T 0, respectively. t 2 is the dimension of range T 0 ker S 0, and t 1 := t t 2. (i) Suppose that s t. Then multiplication in M n is locally open at (S 0, T 0 ) iff t 2 =0 iff there exist S M n with ST 0 =0such that S 0 + αs is invertible for every α 0.

9 E. Behrends / Linear Algebra and its Applications 517 (2017) (ii) In the case s t multiplication in M n is locally open at (S 0, T 0 ) iff s t 1 iff there exist T M n with S 0 T =0such that T 0 + αt is invertible for every α 0. Proof. (i) If s t and k = n = m the condition s t 1 implies t 2 =0. Thus the assertion follows from Theorem 2.5 and Corollary 2.3. (ii) Here one only has to note that in the case s t the condition t 2 =0yields s t 1 so that Theorem 2.5 and Corollary 2.3 yield the result. Remark. If (under the assumption k = n = m) s = t holds the conditions t 2 =0and s t 1 are equivalent, and if they are satisfied one has both invertible S 0 + αs and invertible T 0 + αt. We supplement our theorem with some further results concerning local openness of multiplication in M n : Proposition 3.2. Let S 0, T 0 M n be given. (i) If multiplication is locally open at (S 0, T 0 ) it does not follow that it is locally open at (T 0, S 0 ). (ii) If multiplication is locally open at (S 0, T 0 ) then it is also locally open at (T 0, S 0 ); here S stands for the transpose of a matrix S. (iii) Suppose that K n is provided with the usual scalar product and that S denotes the adjoint of a matrix S. Then multiplication is locally open at (S 0, T 0 ) iff it is locally open at (T 0, S 0). In particular multiplication is locally open at (S 0, T 0 ) if it is locally open at (T 0, S 0 ) for self-adjoint S 0, T 0. (iv) The pairs where multiplication is locally open are dense in M n M n. Proof. (i) As a simple example where this can happen consider ( ) ( ) S 0 =, T 0 = We have ker S 0 = range S 0 =kert 0 = {0} K and range T 0 = K {0}. Thus s = t = 1, and Theorem 3.1 implies the assertion. (ii) and (iii) follow from the observation that S S (resp. S S ) are isometrical isomorphisms that reverse the order of multiplication. (iv) is a consequence of the fact than invertible matrices are dense in M n. Up to now we have no satisfactory characterization of local openness for the case of more general Banach algebras or multiplication in operator spaces. (Cf. the last section of [4] for the discussion of an example.) The formulation and the proof of our main theorem was strongly dependent on the fact that we are dealing with finite-dimensional

10 176 E. Behrends / Linear Algebra and its Applications 517 (2017) spaces: finiteness of the rank; a one-to-one operator has a right inverse; dim(range S) + dim(ker S) = k for operators on a k-dimensional space; the space has the same dimension as its dual etc. Parts of our results have a counterpart for continuous linear operators on a separable Hilbert space, but we are still far from an understanding how an interplay of properties of the ranges, the kernels and the spectra gives rise to local openness. References [1] M. Balcerzak, W. Wachowicz, W. Wilczyński, Multiplying balls in the space of continuous functions on [0, 1], Studia Math. 170 (2) (2005) [2] M. Balcerzak, E. Behrends, F. Strobin, On certain uniformly open multilinear mappings, Banach J. Math. Anal. 10 (2016) [3] E. Behrends, Walk the dog, or: products of open balls in the space of continuous functions, Funct. Approx. 44 (1) (2011) [4] E. Behrends, Products of n open subsets in the space of continuous functions on [0, 1], Studia Math. 204 (1) (2011) [5] E. Behrends, Where is pointwise multiplication on CK-spaces locally open?, Fund. Math. 236 (2017) [6] A. Komisarski, A connection between multiplication in CX and the dimension of X, Fund. Math. 189 (2) (2006) [7] A. Wachowicz, Multiplying balls in C (N) [0, 1], Real Anal. Exchange 34 (2) (2008)

Where is pointwise multiplication in real CK-spaces locally open?

Where is pointwise multiplication in real CK-spaces locally open? Where is pointwise multiplication in real CK-spaces locally open? Ehrhard Behrends Abstract. Let K be a compact Hausdorff space, the space CK of realvalued continuous functions on K is provided with the

More information

The small ball property in Banach spaces (quantitative results)

The 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

LINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS

LINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS LINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F has characteristic zero. The following are facts (in

More information

Pyramid Mysteries. Ehrhard Behrends

Pyramid Mysteries. Ehrhard Behrends Pyramid Mysteries Ehrhard Behrends In this article we describe the 3D version of a phenomenon that has been published under the title Triangle Mysteries [1]. There one starts with a row of n little squares

More information

Chapter 2 Linear Transformations

Chapter 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 information

Math 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. 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 information

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

08a. 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 information

Elementary linear algebra

Elementary linear algebra Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The

More information

Compact operators on Banach spaces

Compact operators on Banach spaces Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact

More information

Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP

Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,

More information

Abstract Vector Spaces

Abstract Vector Spaces CHAPTER 1 Abstract Vector Spaces 1.1 Vector Spaces Let K be a field, i.e. a number system where you can add, subtract, multiply and divide. In this course we will take K to be R, C or Q. Definition 1.1.

More information

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND

More information

Your first day at work MATH 806 (Fall 2015)

Your 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 information

Definition 3 A Hamel basis (often just called a basis) of a vector space X is a linearly independent set of vectors in X that spans X.

Definition 3 A Hamel basis (often just called a basis) of a vector space X is a linearly independent set of vectors in X that spans X. Economics 04 Summer/Fall 011 Lecture 8 Wednesday August 3, 011 Chapter 3. Linear Algebra Section 3.1. Bases Definition 1 Let X be a vector space over a field F. A linear combination of x 1,..., x n X is

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional 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 information

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

MAT 578 FUNCTIONAL ANALYSIS EXERCISES MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

FUNCTIONAL 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 information

René Bartsch and Harry Poppe (Received 4 July, 2015)

René Bartsch and Harry Poppe (Received 4 July, 2015) NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 2016, 1-8 AN ABSTRACT ALGEBRAIC-TOPOLOGICAL APPROACH TO THE NOTIONS OF A FIRST AND A SECOND DUAL SPACE III René Bartsch and Harry Poppe Received 4 July, 2015

More information

Factorizations of linear relations

Factorizations of linear relations Available online at www.sciencedirect.com Advances in Mathematics 233 (2013) 40 55 www.elsevier.com/locate/aim Factorizations of linear relations Dan Popovici a,, Zoltán Sebestyén b a Department of Mathematics,

More information

Spectral theory for compact operators on Banach spaces

Spectral theory for compact operators on Banach spaces 68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy

More information

Vector Spaces and Linear Transformations

Vector Spaces and Linear Transformations Vector Spaces and Linear Transformations Wei Shi, Jinan University 2017.11.1 1 / 18 Definition (Field) A field F = {F, +, } is an algebraic structure formed by a set F, and closed under binary operations

More information

Math 341: Convex Geometry. Xi Chen

Math 341: Convex Geometry. Xi Chen Math 341: Convex Geometry Xi Chen 479 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca CHAPTER 1 Basics 1. Euclidean Geometry

More information

Linear Algebra Lecture Notes-I

Linear Algebra Lecture Notes-I Linear Algebra Lecture Notes-I Vikas Bist Department of Mathematics Panjab University, Chandigarh-6004 email: bistvikas@gmail.com Last revised on February 9, 208 This text is based on the lectures delivered

More information

Abstract Vector Spaces and Concrete Examples

Abstract Vector Spaces and Concrete Examples LECTURE 18 Abstract Vector Spaces and Concrete Examples Our discussion of linear algebra so far has been devoted to discussing the relations between systems of linear equations, matrices, and vectors.

More information

CHEBYSHEV INEQUALITIES AND SELF-DUAL CONES

CHEBYSHEV INEQUALITIES AND SELF-DUAL CONES CHEBYSHEV INEQUALITIES AND SELF-DUAL CONES ZDZISŁAW OTACHEL Dept. of Applied Mathematics and Computer Science University of Life Sciences in Lublin Akademicka 13, 20-950 Lublin, Poland EMail: zdzislaw.otachel@up.lublin.pl

More information

Commutative Banach algebras 79

Commutative Banach algebras 79 8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)

More information

INF-SUP CONDITION FOR OPERATOR EQUATIONS

INF-SUP CONDITION FOR OPERATOR EQUATIONS INF-SUP CONDITION FOR OPERATOR EQUATIONS LONG CHEN We study the well-posedness of the operator equation (1) T u = f. where T is a linear and bounded operator between two linear vector spaces. We give equivalent

More information

Inner product on B -algebras of operators on a free Banach space over the Levi-Civita field

Inner product on B -algebras of operators on a free Banach space over the Levi-Civita field Available online at wwwsciencedirectcom ScienceDirect Indagationes Mathematicae 26 (215) 191 25 wwwelseviercom/locate/indag Inner product on B -algebras of operators on a free Banach space over the Levi-Civita

More information

MAT2342 : Introduction to Applied Linear Algebra Mike Newman, fall Projections. introduction

MAT2342 : Introduction to Applied Linear Algebra Mike Newman, fall Projections. introduction MAT4 : Introduction to Applied Linear Algebra Mike Newman fall 7 9. Projections introduction One reason to consider projections is to understand approximate solutions to linear systems. A common example

More information

Lecture Summaries for Linear Algebra M51A

Lecture Summaries for Linear Algebra M51A These lecture summaries may also be viewed online by clicking the L icon at the top right of any lecture screen. Lecture Summaries for Linear Algebra M51A refers to the section in the textbook. Lecture

More information

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS

THE 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 information

Chapter 1 Vector Spaces

Chapter 1 Vector Spaces Chapter 1 Vector Spaces Per-Olof Persson persson@berkeley.edu Department of Mathematics University of California, Berkeley Math 110 Linear Algebra Vector Spaces Definition A vector space V over a field

More information

RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES

RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES OLAV NYGAARD AND MÄRT PÕLDVERE Abstract. Precise conditions for a subset A of a Banach space X are known in order that pointwise bounded on A sequences of

More information

(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X.

(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 information

Lecture notes: Applied linear algebra Part 1. Version 2

Lecture notes: Applied linear algebra Part 1. Version 2 Lecture notes: Applied linear algebra Part 1. Version 2 Michael Karow Berlin University of Technology karow@math.tu-berlin.de October 2, 2008 1 Notation, basic notions and facts 1.1 Subspaces, range and

More information

Math 113 Midterm Exam Solutions

Math 113 Midterm Exam Solutions Math 113 Midterm Exam Solutions Held Thursday, May 7, 2013, 7-9 pm. 1. (10 points) Let V be a vector space over F and T : V V be a linear operator. Suppose that there is a non-zero vector v V such that

More information

Math 321: Linear Algebra

Math 321: Linear Algebra Math 32: Linear Algebra T. Kapitula Department of Mathematics and Statistics University of New Mexico September 8, 24 Textbook: Linear Algebra,by J. Hefferon E-mail: kapitula@math.unm.edu Prof. Kapitula,

More information

V (v i + W i ) (v i + W i ) is path-connected and hence is connected.

V (v i + W i ) (v i + W i ) is path-connected and hence is connected. Math 396. Connectedness of hyperplane complements Note that the complement of a point in R is disconnected and the complement of a (translated) line in R 2 is disconnected. Quite generally, we claim that

More information

Linear Algebra. Min Yan

Linear Algebra. Min Yan Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................

More information

MATH 323 Linear Algebra Lecture 12: Basis of a vector space (continued). Rank and nullity of a matrix.

MATH 323 Linear Algebra Lecture 12: Basis of a vector space (continued). Rank and nullity of a matrix. MATH 323 Linear Algebra Lecture 12: Basis of a vector space (continued). Rank and nullity of a matrix. Basis Definition. Let V be a vector space. A linearly independent spanning set for V is called a basis.

More information

Math 113 Final Exam: Solutions

Math 113 Final Exam: Solutions Math 113 Final Exam: Solutions Thursday, June 11, 2013, 3.30-6.30pm. 1. (25 points total) Let P 2 (R) denote the real vector space of polynomials of degree 2. Consider the following inner product on P

More information

Vector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition)

Vector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition) Vector Space Basics (Remark: these notes are highly formal and may be a useful reference to some students however I am also posting Ray Heitmann's notes to Canvas for students interested in a direct computational

More information

LINEAR PRESERVER PROBLEMS: generalized inverse

LINEAR PRESERVER PROBLEMS: generalized inverse LINEAR PRESERVER PROBLEMS: generalized inverse Université Lille 1, France Banach Algebras 2011, Waterloo August 3-10, 2011 I. Introduction Linear preserver problems is an active research area in Matrix,

More information

Review 1 Math 321: Linear Algebra Spring 2010

Review 1 Math 321: Linear Algebra Spring 2010 Department of Mathematics and Statistics University of New Mexico Review 1 Math 321: Linear Algebra Spring 2010 This is a review for Midterm 1 that will be on Thursday March 11th, 2010. The main topics

More information

The best generalised inverse of the linear operator in normed linear space

The best generalised inverse of the linear operator in normed linear space Linear Algebra and its Applications 420 (2007) 9 19 www.elsevier.com/locate/laa The best generalised inverse of the linear operator in normed linear space Ping Liu, Yu-wen Wang School of Mathematics and

More information

10. Smooth Varieties. 82 Andreas Gathmann

10. Smooth Varieties. 82 Andreas Gathmann 82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It

More information

Auerbach bases and minimal volume sufficient enlargements

Auerbach bases and minimal volume sufficient enlargements Auerbach bases and minimal volume sufficient enlargements M. I. Ostrovskii January, 2009 Abstract. Let B Y denote the unit ball of a normed linear space Y. A symmetric, bounded, closed, convex set A in

More information

GELFAND S THEOREM. Christopher McMurdie. Advisor: Arlo Caine. Spring 2004

GELFAND S THEOREM. Christopher McMurdie. Advisor: Arlo Caine. Spring 2004 GELFAND S THEOREM Christopher McMurdie Advisor: Arlo Caine Super Advisor: Dr Doug Pickrell Spring 004 This paper is a proof of the first part of Gelfand s Theorem, which states the following: Every compact,

More information

Overview of normed linear spaces

Overview of normed linear spaces 20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

Computational Approaches to Finding Irreducible Representations

Computational Approaches to Finding Irreducible Representations Computational Approaches to Finding Irreducible Representations Joseph Thomas Research Advisor: Klaus Lux May 16, 2008 Introduction Among the various branches of algebra, linear algebra has the distinctions

More information

arxiv:math/ v1 [math.fa] 31 Mar 1994

arxiv:math/ v1 [math.fa] 31 Mar 1994 arxiv:math/9403211v1 [math.fa] 31 Mar 1994 New proofs of Rosenthal s l 1 theorem and the Josefson Nissenzweig theorem Ehrhard Behrends Abstract. We give elementary proofs of the theorems mentioned in the

More information

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra. DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1

More information

Non commutative Khintchine inequalities and Grothendieck s theo

Non commutative Khintchine inequalities and Grothendieck s theo Non commutative Khintchine inequalities and Grothendieck s theorem Nankai, 2007 Plan Non-commutative Khintchine inequalities 1 Non-commutative Khintchine inequalities 2 µ = Uniform probability on the set

More information

A linear algebra proof of the fundamental theorem of algebra

A linear algebra proof of the fundamental theorem of algebra A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional

More information

arxiv: v1 [math.gr] 8 Nov 2008

arxiv: v1 [math.gr] 8 Nov 2008 SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra

More information

A linear algebra proof of the fundamental theorem of algebra

A linear algebra proof of the fundamental theorem of algebra A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional

More information

Supplementary Notes on Linear Algebra

Supplementary Notes on Linear Algebra Supplementary Notes on Linear Algebra Mariusz Wodzicki May 3, 2015 1 Vector spaces 1.1 Coordinatization of a vector space 1.1.1 Given a basis B = {b 1,..., b n } in a vector space V, any vector v V can

More information

2.2 Annihilators, complemented subspaces

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

More information

Normed Vector Spaces and Double Duals

Normed 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 information

LINEAR MAPS ON M n (C) PRESERVING INNER LOCAL SPECTRAL RADIUS ZERO

LINEAR MAPS ON M n (C) PRESERVING INNER LOCAL SPECTRAL RADIUS ZERO ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (757 763) 757 LINEAR MAPS ON M n (C) PRESERVING INNER LOCAL SPECTRAL RADIUS ZERO Hassane Benbouziane Mustapha Ech-Chérif Elkettani Ahmedou Mohamed

More information

On a Cauchy equation in norm

On a Cauchy equation in norm http://www.mathematik.uni-karlsruhe.de/ semlv Seminar LV, No. 27, 11 pp., 02.10.2006 On a Cauchy equation in norm by R O M A N G E R (Katowice) and P E T E R V O L K M A N N (Karlsruhe) Abstract. We deal

More information

SOME BANACH SPACE GEOMETRY

SOME BANACH SPACE GEOMETRY SOME BANACH SPACE GEOMETRY SVANTE JANSON 1. Introduction I have collected some standard facts about Banach spaces from various sources, see the references below for further results. Proofs are only given

More information

Mathematical foundations - linear algebra

Mathematical foundations - linear algebra Mathematical foundations - linear algebra Andrea Passerini passerini@disi.unitn.it Machine Learning Vector space Definition (over reals) A set X is called a vector space over IR if addition and scalar

More information

Footnotes to Linear Algebra (MA 540 fall 2013), T. Goodwillie, Bases

Footnotes to Linear Algebra (MA 540 fall 2013), T. Goodwillie, Bases Footnotes to Linear Algebra (MA 540 fall 2013), T. Goodwillie, Bases November 18, 2013 1 Spanning and linear independence I will outline a slightly different approach to the material in Chapter 2 of Axler

More information

Chapter 2 Subspaces of R n and Their Dimensions

Chapter 2 Subspaces of R n and Their Dimensions Chapter 2 Subspaces of R n and Their Dimensions Vector Space R n. R n Definition.. The vector space R n is a set of all n-tuples (called vectors) x x 2 x =., where x, x 2,, x n are real numbers, together

More information

A Brief Introduction to Functional Analysis

A Brief Introduction to Functional Analysis A Brief Introduction to Functional Analysis Sungwook Lee Department of Mathematics University of Southern Mississippi sunglee@usm.edu July 5, 2007 Definition 1. An algebra A is a vector space over C with

More information

Math 344 Lecture # Linear Systems

Math 344 Lecture # Linear Systems Math 344 Lecture #12 2.7 Linear Systems Through a choice of bases S and T for finite dimensional vector spaces V (with dimension n) and W (with dimension m), a linear equation L(v) = w becomes the linear

More information

Math Solutions to homework 5

Math Solutions to homework 5 Math 75 - Solutions to homework 5 Cédric De Groote November 9, 207 Problem (7. in the book): Let {e n } be a complete orthonormal sequence in a Hilbert space H and let λ n C for n N. Show that there is

More information

First we introduce the sets that are going to serve as the generalizations of the scalars.

First we introduce the sets that are going to serve as the generalizations of the scalars. Contents 1 Fields...................................... 2 2 Vector spaces.................................. 4 3 Matrices..................................... 7 4 Linear systems and matrices..........................

More information

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

Solution to Homework 1

Solution to Homework 1 Solution to Homework Sec 2 (a) Yes It is condition (VS 3) (b) No If x, y are both zero vectors Then by condition (VS 3) x = x + y = y (c) No Let e be the zero vector We have e = 2e (d) No It will be false

More information

MATH 2331 Linear Algebra. Section 2.1 Matrix Operations. Definition: A : m n, B : n p. Example: Compute AB, if possible.

MATH 2331 Linear Algebra. Section 2.1 Matrix Operations. Definition: A : m n, B : n p. Example: Compute AB, if possible. MATH 2331 Linear Algebra Section 2.1 Matrix Operations Definition: A : m n, B : n p ( 1 2 p ) ( 1 2 p ) AB = A b b b = Ab Ab Ab Example: Compute AB, if possible. 1 Row-column rule: i-j-th entry of AB:

More information

Linear Algebra. Preliminary Lecture Notes

Linear 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 information

Lemma 3. Suppose E, F X are closed subspaces with F finite dimensional.

Lemma 3. Suppose E, F X are closed subspaces with F finite dimensional. Notes on Fredholm operators David Penneys Let X, Y be Banach spaces. Definition 1. A bounded linear map T B(X, Y ) is called Fredholm if dim(ker T ) < and codim(t X)

More information

Chapter 3. Directions: For questions 1-11 mark each statement True or False. Justify each answer.

Chapter 3. Directions: For questions 1-11 mark each statement True or False. Justify each answer. Chapter 3 Directions: For questions 1-11 mark each statement True or False. Justify each answer. 1. (True False) Asking whether the linear system corresponding to an augmented matrix [ a 1 a 2 a 3 b ]

More information

Lecture Notes. Functional Analysis in Applied Mathematics and Engineering. by Klaus Engel. University of L Aquila Faculty of Engineering

Lecture Notes. Functional Analysis in Applied Mathematics and Engineering. by Klaus Engel. University of L Aquila Faculty of Engineering Lecture Notes Functional Analysis in Applied Mathematics and Engineering by Klaus Engel University of L Aquila Faculty of Engineering 2012-2013 http://univaq.it/~engel ( = %7E) (Preliminary Version of

More information

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d 66 2. Every family of seminorms on a vector space containing a norm induces ahausdorff locally convex topology. 3. Given an open subset Ω of R d with the euclidean topology, the space C(Ω) of real valued

More information

Kernel and range. Definition: A homogeneous linear equation is an equation of the form A v = 0

Kernel and range. Definition: A homogeneous linear equation is an equation of the form A v = 0 Kernel and range Definition: The kernel (or null-space) of A is ker A { v V : A v = 0 ( U)}. Theorem 5.3. ker A is a subspace of V. (In particular, it always contains 0 V.) Definition: A is one-to-one

More information

Chapter 1. Vectors, Matrices, and Linear Spaces

Chapter 1. Vectors, Matrices, and Linear Spaces 1.6 Homogeneous Systems, Subspaces and Bases 1 Chapter 1. Vectors, Matrices, and Linear Spaces 1.6. Homogeneous Systems, Subspaces and Bases Note. In this section we explore the structure of the solution

More information

I teach myself... Hilbert spaces

I 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 information

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32 Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak

More information

1.8 Dual Spaces (non-examinable)

1.8 Dual Spaces (non-examinable) 2 Theorem 1715 is just a restatement in terms of linear morphisms of a fact that you might have come across before: every m n matrix can be row-reduced to reduced echelon form using row operations Moreover,

More information

LINEAR ALGEBRA REVIEW

LINEAR ALGEBRA REVIEW LINEAR ALGEBRA REVIEW JC Stuff you should know for the exam. 1. Basics on vector spaces (1) F n is the set of all n-tuples (a 1,... a n ) with a i F. It forms a VS with the operations of + and scalar multiplication

More information

Normed and Banach Spaces

Normed 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 information

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator

More information

A NICE PROOF OF FARKAS LEMMA

A 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 information

Fredholm Theory. April 25, 2018

Fredholm Theory. April 25, 2018 Fredholm Theory April 25, 208 Roughly speaking, Fredholm theory consists of the study of operators of the form I + A where A is compact. From this point on, we will also refer to I + A as Fredholm operators.

More information

EXTENSION OF BILINEAR FORMS FROM SUBSPACES OF L 1 -SPACES

EXTENSION OF BILINEAR FORMS FROM SUBSPACES OF L 1 -SPACES Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 27, 2002, 91 96 EXENSION OF BILINEAR FORMS FROM SUBSPACES OF L 1 -SPACES Jesús M. F. Castillo, Ricardo García and Jesús A. Jaramillo Universidad

More information

0.2 Vector spaces. J.A.Beachy 1

0.2 Vector spaces. J.A.Beachy 1 J.A.Beachy 1 0.2 Vector spaces I m going to begin this section at a rather basic level, giving the definitions of a field and of a vector space in much that same detail as you would have met them in a

More information

October 25, 2013 INNER PRODUCT SPACES

October 25, 2013 INNER PRODUCT SPACES October 25, 2013 INNER PRODUCT SPACES RODICA D. COSTIN Contents 1. Inner product 2 1.1. Inner product 2 1.2. Inner product spaces 4 2. Orthogonal bases 5 2.1. Existence of an orthogonal basis 7 2.2. Orthogonal

More information

Extreme points of compact convex sets

Extreme points of compact convex sets Extreme points of compact convex sets In this chapter, we are going to show that compact convex sets are determined by a proper subset, the set of its extreme points. Let us start with the main definition.

More information

FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz

FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 33, 2009, 335 353 FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES Yılmaz Yılmaz Abstract. Our main interest in this

More information

Lemma 1.3. The element [X, X] is nonzero.

Lemma 1.3. The element [X, X] is nonzero. Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group

More information

MATRIX LIE GROUPS AND LIE GROUPS

MATRIX LIE GROUPS AND LIE GROUPS MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either

More information

MATH 240 Spring, Chapter 1: Linear Equations and Matrices

MATH 240 Spring, Chapter 1: Linear Equations and Matrices MATH 240 Spring, 2006 Chapter Summaries for Kolman / Hill, Elementary Linear Algebra, 8th Ed. Sections 1.1 1.6, 2.1 2.2, 3.2 3.8, 4.3 4.5, 5.1 5.3, 5.5, 6.1 6.5, 7.1 7.2, 7.4 DEFINITIONS Chapter 1: Linear

More information

(III.D) Linear Functionals II: The Dual Space

(III.D) Linear Functionals II: The Dual Space IIID Linear Functionals II: The Dual Space First I remind you that a linear functional on a vector space V over R is any linear transformation f : V R In IIIC we looked at a finite subspace [=derivations]

More information

A Do It Yourself Guide to Linear Algebra

A Do It Yourself Guide to Linear Algebra A Do It Yourself Guide to Linear Algebra Lecture Notes based on REUs, 2001-2010 Instructor: László Babai Notes compiled by Howard Liu 6-30-2010 1 Vector Spaces 1.1 Basics Definition 1.1.1. A vector space

More information

LINEAR ALGEBRA MICHAEL PENKAVA

LINEAR ALGEBRA MICHAEL PENKAVA LINEAR ALGEBRA MICHAEL PENKAVA 1. Linear Maps Definition 1.1. If V and W are vector spaces over the same field K, then a map λ : V W is called a linear map if it satisfies the two conditions below: (1)

More information

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need

More information