User Tools

Site Tools


math121b:ex2

See the chapter on dual vector space for notations. My canonical pairing is using pointed bracket ,\langle -, - \rangle, Halmos uses [,][-,-].

Solution

1. yy is a linear function in case (a) and (b). Case (d), yy is not taking value in R\R, but in C\C. we are considering here a vector space over R\R, hence linear functional should be valued in R\R as well. Case (e), this is an example of homoegeous function, that is, if you have a positive number cc, then y(cx)=cy(x)y(c x) = c y(x), however, it is not linear, as y(x1+x2)y(x1)+y(x2)y(x_1 + x_2) \neq y(x_1) + y(x_2).

2. (a), (d) are linear.

3. a,c,d,f are linear. For the case (e), dxdt\frac{d x}{dt} is a function, or element in P\gdef\pcal{\mathcal P} \pcal(the space of polynomials), but not a number in C\C.

4. One can check that y(x)y(x) is a linear function on P\pcal. To see that every linear function is of this form, we may do this: let FPF \in \pcal', and x(t)Px(t) \in \pcal. Say xx is of degree nn, we have F(x(t))=F(j=0nξjtj)=j=0nξjF(tj)=j=0nξjαj F(x(t)) = F(\sum_{j=0}^n \xi_j t^j) = \sum_{j=0}^n \xi_j F(t^j) = \sum_{j=0}^n \xi_j \alpha_j where we define αj=F(tj)\alpha_j = F(t^j) for any j0j \geq 0.

5. Yes. By definition, y:VRy: V \to \R is a function whose image is not just {0}\{0\}. Suppose vVv \in V, and y(v)0y(v) \neq 0. We consider the element w=v/y(v)Vw = v / y(v) \in V. Then y(w)=y(v/y(v))=y(v)/y(v)=1y(w) = y(v/y(v)) = y(v)/y(v) = 1. Hence, for any αR\alpha \in \R, we have αwV\alpha w \in V, such that αw,y=y(αw)=αy(w)=α.\langle \alpha w, y \rangle = y(\alpha w) = \alpha y(w) = \alpha.

math121b/ex2.txt · Last modified: 2020/02/10 13:00 by pzhou