Norm and Inner Products in Cn, and Abstract Inner Product Spaces Math 130 Linear Algebra

$Norm and Inner Products in Cn, and Abstract Inner Product Spaces Math 130 Linear Algebra$

when c is a complex number and v is a complex vector. Furthermore, the triangle inequality for complex norms holds kv − wk ≤ kvk + kwk. Norm and inner products in Cn, We’ll prove it later. and abstract inner product spaces Math 130 Linear Algebra The inner product hv|wi of two complex vec- D Joyce, Fall 2015 tors. We would like to have a complex inner product that (1) extends the real product, (2) is We’ve seen how norms and inner products work connected to the complex norm by the equation n n in R . They can also be defined for C . There’s a kvk2 = hv|vi, and (3) has nice algebraic properties wrinkle in the definition of complex inner products. such as bilinearity. In order to get property (2), we’ll have to intro- The norm of a complex vector v. We’ll start duce a wrinkle into the definition. We cannot de- with the norm for C which is the one-dimensional fine h(v1, . . . , vn)|(w1, . . . , wn)i as v1w1 +···+vnwn, 1 vector space C , and extend it to higher dimen- because then h(v1, . . . , vn)|(v1, . . . , vn)i would equal 2 2 2 2 sions. v1 + ··· + vn which doesn’t equal |v1| + ··· + |vn| . Recall that if z = x + iy is a complex number If we throw in a complex conjugate, however, it will with real part x and imaginary part y, the complex work. That explains the following definition. conjugate of z is defined as z = x − iy, and the absolute value, also called the norm, of z is defined Definition 1. The standard complex inner product of two vectors v and w in Cn is defined by as √ p 2 2 |z| = x + y = z z. hv|wi = h(v1, v2, . . . , vn)|(w1, w2, . . . , wn)i n n Now, if v = (v1, v2, . . . , vn) is a vector in C X = v1w1 + v2w2 + ··· + vnwn = vkwk where each vi is a complex number, we’ll define its k=1 norm kvk as It follows that for each v ∈ Cn, our desired con- kvk = k(v1, v2, . . . , vn)k dition (2) above, holds v u n kvk2 = hv|vi. p 2 2 2 uX 2 = |v1| + |v2| + ··· + |vn| = t |vk| . k=1 Also, condition (1) holds. If v and w happen to be a real vectors, then their complex inner product is Note that if the coordinates of v all happen to be the same as their real inner product. real numbers, then this definition agrees with the Most of the algebraic properties of complex inner norm for real vector spaces. products are the same as those of real inner prod- Norms on Cn enjoy many of the same properties uct. For instance, inner products distribute over that norms on Rn do. For instance, the norm of addition, any vector is nonnegative, and the only vector with norm 0 is the 0 vector. Also, norms are multiplica- hu|v + wi = hu|vi + hu|wi, tive in the sense that and over subtraction, kcvk = |c| kvk hu|v − wi = hu|vi − hu|wi,

1 and the inner product of any vector and the 0 vec- (d). hv|vi > 0 if v 6= 0. tor is 0 For an inner product space, the norm of a vector v hv|0i = 0. is defined as kvk = phv|vi. However, complex inner products are not com- Note that when F = R, condition (c) simply says mutative. Instead they have the property that the inner product is commutative. hu|vi = hv|ui. Properties (a) and (b) state that the inner product is linear in the first argument. Using those and Complex inner products are linear in their first (c), you can show that the inner product is conju- argument. If c is a complex scalar, then gate linear in the second argument. Condition (d) says that the norm kvk of a vector hcu|vi = chu|vi is always positive except in the one case the that v = 0. From condition (b) you can infer k0k = 0. In for the second argument, we have instead Another property of norms is that kcvk = |c| kvk. Finally, two more properties of inner products are hu|cvi = chu|vi. the Cauchy-Schwarz inequality |hv|wi| ≤ kvk kwk, and the triangle inequality kv + wk ≤ kvk + kwk. The complex conjugate of c comes from our defini- We’ll prove them later. tion where we use the complex conjugates of coordinates of the second vector. Examples. The standard inner products on Rn In summary, complex inner products are not bi- n linear, but they are linear in the first argument and and C are, of course, the primary examples of in- conjugate linear in the second argument. ner product spaces. Our text describes some other inner product spaces besides the standard ones Rn and Cn. One Abstract linear spaces. So far, we’ve looked at is a real inner product on the vector space of con- the standard real inner product on Rn and the stan- tinuous real-valued functions on [0, 1]. Another is dard complex inner product on Cn. Although we’re an inner product on m × n matrices over either R primarily concerned with standard inner products, or C. We’ll discuss those briefly in class. There’s there are other inner products, and we should con- another example of the vector space of complex- sider the generalization of these standard inner valued functions on the unit circle we won’t have products. We’ll call a vector space equipped with time for. an inner product an inner product space. We can make the definitions for abstract inner Math 130 Home Page at product spaces for both the real case and the com- http://math.clarku.edu/~ma130/ plex case at the same time. In the definition, we’ll take the scalar field F to be either R or C.