Multilinear Algebra¶
Bilinear forms¶
Definition of bilinear form
A bilinear form on \(V\) is a function \(\beta:V\times V\rightarrow \mathbb{F}\), such that
are both linear functionals on \(V\) for each \(u\in V\).
Example.
(i) \(\mathbb{F}=\mathbb{R}\), inner product on \(V\), i.e. \((u,v)\mapsto \langle u,v\rangle\) is a bilinear form.
Note that for \(\mathbb{F}=\mathbb{R}\), a bilinear form differs from inner product in that inner product requires symmetry (\(\beta (u,v)=\beta(v,u)\)) and positive definiteness (\(\beta(v,v)>0\) for all \(v\in V-\{\theta\}\)), whereas these properties are not required for a bilinear form.
Example. Show that a bilinear form \(\beta\) on \(V\), is also a linear map on \(V\times V\), then \(\beta=\theta\).
\(\square\)
For simplicity, we denote the set of all the bilinear forms on \(V\) by \(V^{(2)}\).
Matrix form for a bilinear form
composition of a bilinear form and an operator
Suppose \(\beta\) is a bilinear form on \(V\) and \(T\) is a linear operator on \(V\). Define two supplimentary bilinear form
Let \(e_1,\cdots, e_n\) be a basis of \(V\), then
\(\square\)
change-of-basis formula
Symmetric bilinear form¶
Definition of Symmetric bilinear form
A bilinear form \(\rho \in V^{(2)}\) is called symmetric if
for all \(u,w \in V\). The set of symmetric bilinear form on \(V\) is denoted by \(V_{sym}^{(2)}\).
Example.
(i) Suppose \(V\) is a real inner product space, then
is symmetric bilinear form iff \(T\) is self-adjoint.
Alternating bilinear form(交错双线性型)
A bilinear form \(\alpha\) on \(V\) is call alternating, if
The set of all alternating bilinear form is denoted by \(V^{(2)}_{alt}\).
Example.
(i) Suppose \(n\geq 3\) and then \(\alpha:\mathbb{F}^n \times \mathbb{F}^n \rightarrow \mathbb{F}\) defined by
is alternating.
Characterization of alternating bilinear form
A bilinear form \(\alpha\) on \(V\) is alternating, iff
Now the following theorem describes the composition of \(V^{(2)}\).
Theorem
The set \(V^{(2)}_{sym}\) and \(V^{(2)}_{alt}\) are subsets of \(V^{(2)}\). Furthermore,
-
Show that \(V^{(2)}_{sym}\) and \(V^{(2)}_{alt}\) are subsets of \(V^{(2)}\) by definition.
-
Show that \(V^{(2)}=V^{(2)}_{sym} + V^{(2)}_{alt}\). Suppose \(\beta\in V^{(2)}\), then define \(\rho, \alpha \in V^{(2)}\) by
so \(\rho \in V^{(2)}_{sym}\) and \(\alpha \in V^{(2)}_{alt}\), and \(\beta = \rho + \alpha\).
- Show that \(V^{(2)}_{sym}\cap V^{(2)}_{alt}=\{0\}\). That is, let \(\beta \in V^{(2)}_{sym} \cap V^{(2)}_{alt}\), then
So \(\beta = 0\).
\(\square\)
Quadratic form¶
Quadratic form induced by bilinear form
Suppose \(\beta\) is a bilinear form on \(V\), define a function \(q_\beta : V \rightarrow \mathbb{F}\) by \(q_\beta (v)=\beta (v,v)\).
A function \(q : V \rightarrow \mathbb{F}\) is called a quadratic form on \(V\) if there exists a bilinear form \(\beta\) such that \(q=q_\beta\).
Example. Quadratic form.
(i) For \(\beta((x_1,x_2,x_3),(x_1,x_2,x_3)) = x_1y_1-4x_1y_2+8x_1y_3-3x_3y_3\), \(q_\beta\) is given by
Quadratic form on \(\mathbb{F}^n\)
Suppose \(n\) is an positive integer and \(q\) is a function from \(\mathbb{F}^n\) to \(\mathbb{F}\). Then \(q\) is a quadratic form on \(V\) iff there exist numbers \(A_{j,k}\) for \(j, k = 1,\cdots, n\) such that
-
Necessary. By definition.
-
Sufficient. Given a quadratic form, define a corresponding bilinear form.
\(\square\)
characterization of quadratic forms
Suppose \(q:V\rightarrow \mathbb{F}\) is a function. TFAE.
(i) \(q\) is a quadratic form.
(ii) There exists a unique symmetric bilinear form \(\rho\) on \(V\) such that \(q=q_\rho\).
(iii) \(q(\lambda v)=\lamnda^2 q(v)\) for all \(\lambda \in \mathbb{F}\) and all \(v\in V\). Furthermore, the function
is a symmetric bilinear form on \(V\).
(iv) \(q(2v)=4q(v)\) for all \(v\in V\). Furthermore, the function
is a symmetric bilinear form on \(V\).
(i) \(\Rightarrow\) (ii). By decomposition of \(V^{(2)}\).
(ii) \(\Rightarrow\) (iii). By utilizing the bilinear form.
(iii) \(\Rightarrow\) (iv) is apparent.
(iv) \(\Rightarrow\) (i). Just define
which is a symmetric bilinear form. Then the corresponding \(q_\rho\) satisfies
which means \(q\) is a quadratic form.
diagonalization of quadratic form
Suppose \(q\) is a quadratic form on \(V\).
(i) There exists a basis \(e_1,\cdots, e_n\) of \(V\) and \(\lambda_1,\cdots, \lambda_n\in \mathbb{F}\) such that
(ii) If \(\mathbb{F}=\mathbb{R}\) and \(V\) is an inner product space, then the basis in (a) can be chosen to be an orthogonal basis of \(V\).