Section 31

Linear functions

[50/82%]
Show
LaTeX
Problem 31.1

What conditions single out linear functions from other linear mappings?

?
Problem 31.2

How does the row of coefficients of a linear function transform under a change of basis?

?
Problem 31.3

How are the coefficients of a linear function in the basis e\mathbf{e} expressed in terms of the basis vectors?

?
Problem 31.4

Write out the row of coefficients of the zero linear function.

?
Problem 31.5

Can the following hold, for a linear function f\mathrm{f} given on Ln\mathcal{L}_{n}, for all x∈Lnx\in \mathcal{L}_{n}:

?
(1)

the inequality f(x)>0\mathrm{f}(x) > 0

(2)

the inequality f(x)⩾0\mathrm{f}(x) \geqslant 0

(3)

the equality f(x)=α\mathrm{f}(x) = \alpha?

Problem 31.6

A linear function f\mathrm{f} on Ln\mathcal{L}_{n} and a number α\alpha are given. Does there always exist a vector xx in Ln\mathcal{L}_{n} such that f(x)=α\mathrm{f}(x) = \alpha?

?
Problem 31.7

Determine the set of values of an arbitrary linear function on a real vector space.

?
Problem 31.8

Let (ξ1,ξ2,ξ3)T\left(\xi_{1}, \xi_{2}, \xi_{3}\right)^{T} be the coordinate column of a vector x∈L3x\in \mathcal{L}_{3} in some basis. Will the function f\mathrm{f} on L3\mathcal{L}_{3}, defined by the equality, be linear:

?
(1)

f(x)=ξ1+ξ2\mathrm{f}(x) = \xi_{1} + \xi_{2}

(2)

f(x)=ξ1−(ξ2)2\mathrm{f}(x) = \xi_{1} - \left(\xi_{2}\right)^{2}

(3)

f(x)=ξ1+1\mathrm{f}(x) = \xi_{1} + 1

(4)

f(x)=ξ1+2ξ2−3ξ3\mathrm{f}(x) = \xi_{1} + 2\xi_{2} - 3\xi_{3}

?

Problem 31.9

Write out the row of coefficients of the function f\mathrm{f} in cases 1, 4 of problem 31. 8.

?
Problem 31.10

In some basis of the space L3\mathcal{L}_{3}, the functions f\mathrm{f} and g\mathrm{g} have coordinate rows (1,2,3)(1, 2, 3) and (3,2,1)(3, 2, 1), respectively. Find the coordinate rows of the functions:

?
(1)

f+g\mathrm{f} + \mathrm{g}

(2)

2f2\mathrm{f}

(3)

3 g3\mathrm{~ g}

(4)

f−g\mathrm{f} - \mathrm{g}.

Problem 31.11
?
(1)

Let a\mathbf{a} be a vector of the space E3\mathcal{E}_{3}. Assign to each vector x\mathbf{x} of E3\mathcal{E}_{3} its scalar orthogonal projection onto the axis determined by the vector a\mathbf{a}. Prove that this defines a linear function on E3\mathcal{E}_{3}. Find the coordinate row of this function in some orthonormal basis of the space E3\mathcal{E}_{3}.

(2)

Let m\mathrm{m} be some plane in the space E3\mathcal{E}_{3}. Assign to each vector of E3\mathcal{E}_{3} the length of its orthogonal projection onto m\mathrm{m}. Will the resulting numerical function be linear?

Problem 31.12
?
(1)

Let a\mathbf{a} be a fixed vector on the plane E2\mathcal{E}_{2}. Assign to each vector x\mathbf{x} of E2\mathcal{E}_{2} the number equal to the area of the oriented parallelogram built on the vectors a\mathbf{a} and x\mathbf{x}. Prove that this defines a linear function on E2\mathcal{E}_{2}, and compute its coordinate row in some orthonormal basis.

(2)

Let a\mathbf{a} be a fixed vector on the plane E2\mathcal{E}_{2}. Assign to each vector x∈E2\mathbf{x} \in \mathcal{E}_{2} the number equal to the area of the parallelogram built on the vectors a\mathbf{a} and x\mathbf{x}. Will the resulting function be linear?

Problem 31.13
?
(1)

Let a\mathbf{a} and b\mathbf{b} be fixed vectors in the space E3\mathcal{E}_{3}. Assign to an arbitrary vector x∈E3\mathbf{x} \in \mathcal{E}_{3} the number equal to the volume of the oriented parallelepiped built on the vectors a,b\mathbf{a}, \mathbf{b} and x\mathbf{x}, or zero if a,b\mathbf{a}, \mathbf{b} and x\mathbf{x} are coplanar. Prove that this defines a linear function, and compute its coordinate row in some orthonormal basis.

(2)

Let a\mathbf{a} and b\mathbf{b} be fixed vectors in the space E3\mathcal{E}_{3}. Assign to an arbitrary vector x∈E3\mathbf{x} \in \mathcal{E}_{3} the number equal to the volume of the parallelepiped built on the vectors a,b\mathbf{a}, \mathbf{b} and x\mathbf{x}, or zero if a,b\mathbf{a}, \mathbf{b} and x\mathbf{x} are coplanar. Will the resulting function be linear?

Problem 31.14
?
(1)

Assign to a column of height nn the ratio of its first two elements. Will this define a function on Rn\mathcal{R}_{n}?

(2)

Assign to each column of height nn the sum of the squares of all its elements. Will this define a linear function on Rn\mathcal{R}_{n}?

(3)

Assign to each column of height nn its ii-th element. Prove that this defines a linear function on Rn\mathcal{R}_{n}, and find its coordinate row in the standard basis of the space Rn\mathcal{R}_{n}.

(4)

Assign to each column of height nn the sum of its elements. Prove that this defines a linear function on Rn\mathcal{R}_{n}, and find its coordinate row in the standard basis of the space Rn\mathcal{R}_{n}.

Problem 31.15

The function tr⁡X\operatorname {tr} X assigns to each square matrix XX of order nn its trace. Verify that this function is linear, and find its coordinate row (coordinate matrix) in the standard basis of the space of matrices.

?
Problem 31.16

Let CC be a square matrix of order nn. Assign to each square matrix XX of order nn the number tr⁡(CTX)\operatorname {tr}\left(C^{T} X\right). Show that this defines a linear function on the space Rn×n\mathcal{R}_{n \times n}, and find its coordinate row (coordinate matrix).

?
Problem 31.17

Let f be some linear function defined on the space Rn×n\mathcal{R}_{n \times n}. Prove that there exists a square matrix CC such that for an arbitrary matrix X∈Rn×nX\in \mathcal{R}_{n \times n} the equality f(X)=tr⁡(CTX)\mathrm{f}(X) = \operatorname {tr}\left(C^{T} X\right) holds.

?
Problem 31.18

Let a linear function f\mathrm{f} on the space Rn×n\mathcal{R}_{n \times n} satisfy the condition f(AB)=f(BA)\mathrm{f}(AB) = \mathrm{f}(BA) for any two square matrices AA and BB of order nn. Prove that f\mathrm{f} is given by the equality f(X)=αtr⁡X\mathrm{f}(X) = \alpha \operatorname {tr} X.

?
Problem 31.19
?
(1)

Assign to each polynomial p(t)p(t) of degree ⩽3\leqslant 3 the number f(p)=∫−11(1+t2)p(t)dt\mathrm{f}(p) = \int_{ - 1}^{1}\left(1 + t^{2}\right) p(t) dt. Prove that this defines a linear function on the space of polynomials P(3)\mathcal{P}^{(3)}, and compute its coordinate row in the basis of polynomials 1,t,t2,t31, t, t^{2}, t^{3}.

(2)

Assign to each polynomial p(t)p(t) of degree ⩽3\leqslant 3 the number f(p)=∫01p(t2)dt\mathrm{f}(p) = \int_{0}^{1} p\left(t^{2}\right) dt. Prove that this defines a linear function on the space of polynomials P(3)\mathcal{P}^{(3)}, and compute its coordinate row in the basis of polynomials 1,t,t2,t31, t, t^{2}, t^{3}.

Problem 31.20

Assign to each polynomial p(t)p(t) of degree ⩽n\leqslant n its value at t=0t = 0. Prove that this defines a linear function on P(n)\mathcal{P}^{(n)}, and compute its coordinate row in the basis 1,t,t2,…,tn1, t, t^{2}, \ldots , t^{n}.

?
Problem 31.21

Let t0t_{0} be a fixed number. Assign to each polynomial p(t)p(t) of degree ⩽n\leqslant n its value at t=t0t = t_{0}. Prove that this defines a linear function φ\varphi on the space P(n)\mathcal{P}^{(n)}. Compute the coordinate row of the function φ\varphi in the bases

?
(1)

1,t,…,tn1, t, \ldots , t^{n};

(2)

1,t−t0,…,(t−t0)n1, t - t_{0}, \ldots , \left(t - t_{0}\right)^{n}.

Problem 31.22

Let t1,…,tn+1t_{1}, \ldots , t_{n + 1} be pairwise distinct points of the number line, and let φ1,…,φn+1\varphi_{1}, \ldots , \varphi_{n + 1} be the linear functions on the space P(n)\mathcal{P}^{(n)} corresponding to these points, defined in problem 31. 21.

?
(1)

Prove that the functions φ1,…,φn+1\varphi_{1}, \ldots , \varphi_{n + 1} are linearly independent.

(2)

Prove that an arbitrary linear function on the space P(n)\mathcal{P}^{(n)} can be decomposed into a linear combination of the functions φ1,…,φn+1\varphi_{1}, \ldots , \varphi_{n + 1}.

Problem 31.23

A linear function δ\delta assigns to each polynomial p(t)p(t) of degree n(n⩽2)n\quad (n \leqslant 2) its constant term. Decompose this function into a linear combination of the functions φ1,φ2,φ3\varphi_{1}, \varphi_{2}, \varphi_{3} which assign to each polynomial its value at t=1,t=2t = 1, t = 2 and t=3t = 3, respectively.

?
Problem 31.24

Let t0t_{0} be some, and t1,…,tn+1t_{1}, \ldots , t_{n + 1} pairwise distinct, real numbers. Prove that there exist numbers λ1,…,λn+1\lambda_{1}, \ldots , \lambda_{n + 1} such that for any polynomial p(t)∈P(n)p(t) \in \mathcal{P}^{(n)} the equality p(t0)=λ1p(t1)+…+λn+1p(tn+1)p\left(t_{0}\right) = \lambda_{1} p\left(t_{1}\right) + \ldots + \lambda_{n + 1} p\left(t_{n + 1}\right) holds.

?
Problem 31.25

Let kk be a natural number. Assign to each polynomial p(t)p(t) of degree ⩽n\leqslant n the value of its kk-th derivative at t=0t = 0. Prove that this defines a linear function on the space P(n)\mathcal{P}^{(n)}, and compute its coordinate row in the basis 1,t,t2,…,tn1, t, t^{2}, \ldots , t^{n}.

?
Problem 31.26

Let kk be a natural number, k⩽nk \leqslant n, and t0t_{0} a real number. Assign to each polynomial p(t)p(t) of degree at most nn the value of its kk-th derivative at t=t0t = t_{0}. Prove that this defines a linear function on the space P(n)\mathcal{P}^{(n)}. Compute its coordinate row in the bases:

?
(1)

1,t,…,tn1, t, \ldots , t^{n}

(2)

1,t−t0,…,(t−t0)n1, t - t_{0}, \ldots , \left(t - t_{0}\right)^{n}.

Problem 31.27

Linear functions δ0,δ1,…,δn\delta_{0}, \delta_{1}, \ldots , \delta_{n} are defined on the space P(n)\mathcal{P}^{(n)} by the equalities

δk(p)=dk(p)dtk∣t=t0(k=0,1,…,n). \delta _{k}(p) = \left. \frac{d^{k}(p)}{dt^{k}}\right|_{t = t_{0}} \quad (k = 0, 1, \ldots , n).

Prove that the functions δ0,δ1,…,δn\delta_{0}, \delta_{1}, \ldots , \delta_{n} are linearly independent.

?
Problem 31.28

The functions δ0,δ1,…,δn\delta_{0}, \delta_{1}, \ldots , \delta_{n} are defined in the same way as in problem 31. 27. Prove that an arbitrary linear function given on the space P(n)\mathcal{P}^{(n)} can be decomposed into a linear combination of the functions δk(k=0,1,…,n)\delta_{k}(k = 0, 1, \ldots , n).

?
Problem 31.29

Let in the basis e1,e2,e3e_{1}, e_{2}, e_{3} a linear function ff be expressed in terms of the coordinates ξ1,ξ2,ξ3\xi_{1}, \xi_{2}, \xi_{3} of the vector xx by the formula f(x)=ξ1+2ξ2+3ξ3\mathrm{f}(x) = \xi_{1} + 2\xi_{2} + 3\xi_{3}. By what formula is f(x)\mathrm{f}(x) expressed in terms of the coordinates of xx in the basis e1′=e1+e2,e2′=e2+e3,e3′=e3+e1e_{1}^{\prime } = e_{1} + e_{2}, e_{2}^{\prime } = e_{2} + e_{3}, e_{3}^{\prime } = e_{3} + e_{1}?

?
Problem 31.30

Prove that any nonzero linear function f\mathrm{f} on Ln\mathcal{L}_{n} can be reduced, by a suitable choice of basis in Ln\mathcal{L}_{n}, to the form f(x)=ξ1\mathrm{f}(x) = \xi_{1}, where ξ1\xi_{1} is the first coordinate of the vector xx.

?
Problem 31.31

In a basis ee, a linear function f\mathrm{f} has coefficient row ϰ\varkappa. Find its coefficient row x′x^{\prime } in the basis e′=eS\mathbf{e}^{\prime } = \mathbf{e} S, if:

?
(1)

ϰ=c52T,S=A201\varkappa = \mathbf{c}_{52}^{T}, \quad S = \mathbf{A}_{201}. c52=[1−11],A201=[21−131−2101]\mathbf{c}_{52} = \left[\begin{smallmatrix} 1 \\ -1 \\ 1 \end{smallmatrix}\right], \mathbf{A}_{201} = \left[\begin{smallmatrix} 2 & 1 & -1 \\ 3 & 1 & -2 \\ 1 & 0 & 1 \end{smallmatrix}\right].

(2)

ϰ=c64T,S=A202\varkappa = \mathbf{c}_{64}^{T}, \quad S = \mathbf{A}_{202}. c64=[−112],A202=[12221−22−21]\mathbf{c}_{64} = \left[\begin{smallmatrix} -1 \\ 1 \\ 2 \end{smallmatrix}\right], \mathbf{A}_{202} = \left[\begin{smallmatrix} 1 & 2 & 2 \\ 2 & 1 & -2 \\ 2 & -2 & 1 \end{smallmatrix}\right].

(3)

ϰ=c66T,S=A203\varkappa = \mathbf{c}_{66}^{T}, \quad S = \mathbf{A}_{203}. c66=[111],A203=[22−12−12−122]\mathbf{c}_{66} = \left[\begin{smallmatrix} 1 \\ 1 \\ 1 \end{smallmatrix}\right], \mathbf{A}_{203} = \left[\begin{smallmatrix} 2 & 2 & -1 \\ 2 & -1 & 2 \\ -1 & 2 & 2 \end{smallmatrix}\right].

(4)

ϰ=c51T,S=A204\varkappa = \mathbf{c}_{51}^{T}, \quad S = \mathbf{A}_{204}. c51=[11−1],A204=[−231362121]\mathbf{c}_{51} = \left[\begin{smallmatrix} 1 \\ 1 \\ -1 \end{smallmatrix}\right], \mathbf{A}_{204} = \left[\begin{smallmatrix} -2 & 3 & 1 \\ 3 & 6 & 2 \\ 1 & 2 & 1 \end{smallmatrix}\right].

Problem 31.32

The functions φ1,φ2,φ3\varphi_{1}, \varphi_{2}, \varphi_{3}, defined in problem 31. 23, as well as the functions δ0,δ1,δ2\delta_{0}, \delta_{1}, \delta_{2}, defined by means of the formulas

δk(p)=dk(p)dtk∣t=2,k=0,1,2, \delta _{k}(p) = \left. \frac{d^{k}(p)}{dt^{k}}\right|_{t = 2}, \quad k = 0, 1, 2,

form a pair of bases in the space P(2)∗\mathcal{P}^{(2) * }. Write out the transition formulas from the first basis to the second.

?
Problem 31.33
?
(1)

The polynomials 1,t,…,tn1, t, \ldots , t^{n} form a basis in the space P(n)\mathcal{P}^{(n)}. Find the corresponding biorthogonal basis.

(2)

The polynomials 1,t−t0,…,(t−t0)n1, t - t_{0}, \ldots , \left(t - t_{0}\right)^{n} form a basis in the space P(n)\mathcal{P}^{(n)}. Find the corresponding biorthogonal basis.

Problem 31.34

How does the biorthogonal basis transform if the given basis is transformed by the transition matrix SS?

?
Problem 31.35
?
(1)

Let the basis f1,f2,f3\mathrm{f}_{1}, \mathrm{f}_{2}, \mathrm{f}_{3} of the space L3∗\mathcal{L}_{3}^{ * } be biorthogonal to the basis e1,e2,e3e_{1}, e_{2}, e_{3} of the space L3\mathcal{L}_{3}. Find the basis biorthogonal to the basis e1′=e1+e2,e2′=e2+e3,e3′=e3e_{1}^{\prime } = e_{1} + e_{2}, e_{2}^{\prime } = e_{2} + e_{3}, e_{3}^{\prime } = e_{3}.

(2)

In a four-dimensional arithmetic space, the columns of the matrix A433\mathbf{A}_{433} form a basis. Find the coefficient rows of the elements of the biorthogonal basis. A433=[1−21001−21001−20001]\mathbf{A}_{433} = \left[\begin{smallmatrix} 1 & -2 & 1 & 0 \\ 0 & 1 & -2 & 1 \\ 0 & 0 & 1 & -2 \\ 0 & 0 & 0 & 1 \end{smallmatrix}\right].

Problem 31.36

Construct a basis of the space P(2)\mathcal{P}^{(2)} biorthogonal to the basis of functions φ1,φ2,φ3\varphi_{1}, \varphi_{2}, \varphi_{3} defined in problem 31. 23.

?
Problem 31.37

Find a basis of the space P(n)\mathcal{P}^{(n)} biorthogonal to the basis of functions φ1,φ2,…,φn+1\varphi_{1}, \varphi_{2}, \ldots , \varphi_{n + 1} constructed in problems 31.21,31.2231. 21, 31. 22. Compute the coordinates of an arbitrary polynomial in the basis found.

?
Problem 31.38

Construct a basis of the space P(2)\mathcal{P}^{(2)} biorthogonal to the basis of functions δ0,δ1,δ2\delta_{0}, \delta_{1}, \delta_{2} defined in problem 31. 32.

?
Problem 31.39

Let e1,…,ene_{1}, \ldots , e_{n} be a basis in the space Ln\mathcal{L}_{n}, and let f1,…,fn\mathrm{f}_{1}, \ldots , \mathrm{f}_{n} be the basis in Ln∗\mathcal{L}_{n}^{ * } biorthogonal to it. Prove that for all x∈Lnx\in \mathcal{L}_{n} the equality holds

x=f1(x)e1+…+fn(x)en x = \mathrm{f}_{1}(x) e_{1} + \ldots + \mathrm{f}_{n}(x) e_{n}

and for all y ∈Ln∗\in \mathcal{L}_{n}^{ * } the equality

y=y(e1)f1+…+y(en)fn. \mathrm{y} = \mathrm{y}\left(e_{1}\right) \mathrm{f}_{1} + \ldots + \mathrm{y}\left(e_{n}\right) \mathrm{f}_{n}.

Apply formula (1) to the bases considered in problem 31. 34.

?
Problem 31.40

Using the result of problem 31. 34, prove that polynomials p0,…,pkp_{0}, \ldots , p_{k} of degree at most kk are linearly independent if and only if for some t0t_{0} we have det⁡∥p2(ȷ)(t0)∥≠0\operatorname {det}\left\| p_{2}^{(\jmath)}\left(t_{0}\right)\right\| \neq 0.

?
Problem 31.41

Find the basis biorthogonal to the standard basis of the space Rn×n\mathcal{R}_{n \times n}. Compute the matrices CC corresponding to the functions of this basis (in the sense of problem 31. 17).

?
Problem 31.42

The Pauli matrices

σ0=[1001],σ1=[0110],σ2=[0−ii0],σ3=[100−1] \sigma _{0} =\left[\begin{smallmatrix} 1 & 0 \\ 0 & 1\end{smallmatrix}\right], \quad \sigma _{1} =\left[\begin{smallmatrix} 0 & 1 \\ 1 & 0\end{smallmatrix}\right], \quad \sigma _{2} =\left[\begin{smallmatrix} 0 & - i \\ i & 0\end{smallmatrix}\right], \quad \sigma _{3} =\left[\begin{smallmatrix} 1 & 0 \\ 0 & - 1\end{smallmatrix}\right]

form a basis in the space of complex square matrices of order 2. Find the basis biorthogonal to the basis σ0,σ1\sigma_{0}, \sigma_{1}, σ2,σ3\sigma_{2}, \sigma_{3}, and compute the matrices CC corresponding to the functions of this basis in the sense of problem 31. 17.

?
Problem 31.43

Prove that the product of two linear functions on Ln\mathcal{L}_{n} is identically equal to 0 if and only if at least one of the functions is zero.

?
Problem 31.44

Let f\mathrm{f} be a linear function on Ln\mathcal{L}_{n}. Prove that the set N\mathcal{N} of vectors for which f(x)=0\mathrm{f}(x) = 0 is a linear subspace of Ln\mathcal{L}_{n}. What is the dimension of N\mathcal{N}? Is it possible for N\mathcal{N} to coincide with Ln\mathcal{L}_{n}?

?
Problem 31.45

Let f, g\mathrm{g} be linear functions on Ln\mathcal{L}_{n} and let f(x)=0\mathrm{f}(x) = 0 for all those xx for which g(x)=0\mathrm{g}(x) = 0. Prove that then there exists a number α\alpha such that f=αg\mathrm{f} = \alpha \mathrm{g}.

?
Problem 31.46

In the space L4\mathcal{L}_{4} a basis is chosen, and linear functions with coordinate rows (5,24,−7,−1)(5, 24, - 7, - 1) and (−1,−2,7,3)(- 1, - 2, 7, 3) are given. Find the set of vectors on which these functions simultaneously vanish.

?
Problem 31.47

Let N\mathcal{N} be a linear subspace of Ln\mathcal{L}_{n}, and let K\mathcal{K} be the set of all linear functions vanishing on N\mathcal{N}. Prove that K\mathcal{K} is a linear subspace of Ln∗\mathcal{L}_{n}^{ * }, and compute its dimension.

?
Problem 31.48

A subspace N\mathcal{N} in L5\mathcal{L}_{5} is given in some basis as the linear span of the vectors with coordinate columns [00111]\left[\begin{smallmatrix} 0\\ 0\\ 1\\ 1\\ 1\end{smallmatrix}\right] and [01001]\left[\begin{smallmatrix} 0\\ 1\\ 0\\ 0\\ 1\end{smallmatrix}\right]. Find, in the same basis, the coordinate rows of all linear functions vanishing on N\mathcal{N}.

?
Problem 31.49

A subspace N⊂P(6)\mathcal{N} \subset \mathcal{P}^{(6)} is given as the set of all polynomials of the form (t−1)(t−2)2p(t)(t - 1)(t - 2)^{2} p(t), where p(t)∈P(3)p(t) \in \mathcal{P}^{(3)}. Find the set of linear functions defined on P(6)\mathcal{P}^{(6)} that vanish on N\mathcal{N}.

?
Problem 31.50

Let f1,…,fk\mathrm{f}_{1}, \ldots , \mathrm{f}_{k} and f\mathrm{f} be linear functions on a vector space L\mathcal{L}, and let N\mathcal{N} be the set of vectors from L\mathcal{L} such that f1(x)=…=fk(x)=0\mathrm{f}_{1}(x) = \ldots = \mathrm{f}_{k}(x) = 0. Prove that f\mathrm{f} decomposes in terms of f1,…,fk\mathrm{f}_{1}, \ldots , \mathrm{f}_{k} if and only if f(x)=0\mathrm{f}(x) = 0 for all xx from N\mathcal{N}.

?