The trace of a matrix satisfies the following equation
$$tr(A+B)=tr(A)+tr(B)$$
The trace is also the coefficient of the second highest power of the characteristic polynomial (up to a factor of $-1$).
The determinant of a matrix satisfies the following equation
$$det(AB)=det(A)det(B)$$
The determinant is also the constant term of the characteristic polynomial (up to a factor of $-1$).
Thus, for both the trace and the determinant functions, there is a binary operation that is defined for both matrices and numbers, and the functions distribute over the corresponding binary operations. Furthermore, both functions appear in the characteristic polynomial.
If the matrix is 3x3 or larger, then there are many coefficients between that of the determinant and that the second highest power. We can think of these as generalizations of the trace and determinant.
That is, suppose that $f_k(A)$ is the coefficient of $\lambda^k$ in the characteristic polynomial $p(\lambda)$ of the $n\times n$ matrix $A$. Then $tr(A)=f_{n-1}(A)$ and $det(A)=f_0(A)$.
That leads to the following question. For each of the $k$, does there exist a binary operation, say $\circ_k$, that is defined for both square matrices and numbers such that $f_k(A\circ_k B)=f_k(A)\circ_k f_k(B)$ (up to a factor of $-1$)? Note that we want $A\circ_k B$ to be a matrix and $a\circ_k b$ to be a number.
We can take $\circ_{n-1}$ to be the trace function and $\circ_0$ to be the determinant function, so the answer is yes for $k=n-1$ and $k=0$.
The coefficient of $\lambda^n$ is always $\pm 1$. Define $\circ$ by $a\circ b=1$ and $A\circ B=I$. Then $f_n(A\circ B)=f_n(I)=1$ and $f_n(A)\circ f_n(B)=1\circ 1=1$. Thus,
$$f_n(A\circ B)=f_n(A)\circ f_n(B)$$
So we could take $\circ_n$ to be the binary operation $\circ$ defined here. So the answer is yes for $k=n$ as well. Note that $a\circ b$ must be defined to be 1 in order to satisfy the desired property, but $A\circ B$ could be defined to be any matrix, since $f_n$ is always $\pm 1$.
What can be said about $\circ_k$ for $k\in\{1,\ldots,n-2\}$?
There was some freedom in how we defined $\circ_n$. It is not unique. Is this true about the other $\circ_k$, if they even exist?
Randy Elzinga's mathematics blog. Graph theory, algebra, and real life. Not peer reviewed.
Saturday, 3 August 2013
Coefficient Operation
Labels:
characteristic polynomial
,
determinant
,
linear algebra
,
Matrix
,
trace
Subscribe to:
Post Comments
(
Atom
)
No comments :
Post a Comment