Subsection 27.1

Definition (27.1-27.9)

[9/33%]
Show
LaTeX
Problem 27.1

Will a complex two-dimensional vector space be unitary if the scalar product in it is defined by the following function of the coordinates of the vectors:

?
(1)

x1y1+x2y2x_{1} y_{1} + x_{2} y_{2}

(2)

xˉ1y1+xˉ2y2\bar{x}_{1} y_{1} + \bar{x}_{2} y_{2}

(3)

xˉ1yˉ1+xˉ2yˉ2\bar{x}_{1} \bar{y}_{1} + \bar{x}_{2} \bar{y}_{2}

(4)

xˉ1yˉ1+x2y2\bar{x}_{1} \bar{y}_{1} + x_{2} y_{2}.

Problem 27.2
?
(1)

Prove that the function F(X,Y)=tr⁡XTYF(X, Y) = \operatorname {tr} X^{T} Y can be taken as a unitary scalar product in the space of complex matrices of size m×nm \times n.

(2)

Find the lengths of the vectors of the standard basis and the angles between them with respect to this scalar product.

(3)

Consider the space of complex square matrices of order nn, with each pair of matrices assigned the number F(X,Y)=tr⁡Xtr⁡YˉF(X, Y) = \operatorname {tr} X\operatorname {tr} \bar{Y}. Can such a function be taken as a unitary scalar product?

Problem 27.3

The unitary norm of a matrix is defined as its length under the scalar product defined in problem 27.2(1). Prove that the unitary norm equals the square root of the sum of the squares of the moduli of all elements of the matrix.

?
Problem 27.4

Let ee be a basis in a complex vector space E\mathcal{E}. Prove that in E\mathcal{E} there exists one and only one unitary scalar product with respect to which the basis ee is orthonormal.

?
Problem 27.5

Let two unitary scalar products (x,y)1(x, y)_{1} and (x,y)2(x, y)_{2} be given in a complex vector space. Prove that for any positive real numbers λ\lambda and μ\mu the function (x,y)=λ(x,y)1+μ(x,y)2(x, y) = \lambda (x, y)_{1} + \mu (x, y)_{2} is also a unitary scalar product.

?
Problem 27.6

Prove that in a unitary space the identities from problem 25. 13 do not hold for all pairs of vectors.

?
Problem 27.7

Let two scalar products (x,y)1=(x,y)2(x, y)_{1} = (x, y)_{2} be given in a complex vector space, and let every vector have equal lengths in each of them: (x,x)1=(x,x)2(x, x)_{1} = (x, x)_{2}. Prove that the scalar products coincide.

?
Problem 27.8

Prove that a triangle with sides x,yx, y and zz in a unitary space is right-angled if ∣z∣=∣x∣cos⁡(x,z^)\left|z\right| = \left|x\right| \cos (\widehat{x, z}), and may fail to be right-angled if ∣z∣=∣x∣cos⁡(z,x^)\left|z\right| = \left|x\right| \cos (\widehat{z, x}).

?
Problem 27.9

Prove that in a unitary space (x,y)=0(x, y) = 0 implies ∣x∣2+∣y∣2=∣x+y∣2\left|x\right|^{2} + \left|y\right|^{2} = \left|x + y\right|^{2}. What can be said about the product (x,y)(x, y) if the latter equality holds?

?