For any topic related to matrices. This includes: systems of linear equations, eigenvalues and eigenvectors (diagonalization, triangularization), determinant, trace, characteristic polynomial, adjugate, transpose, Jordan normal form, matrix algorithms (e.g. LU, Gauss elimination, SVD, QR), ...

learn more… | top users | synonyms (2)

17
votes
2answers
240 views

Show that the kernel of the map $SL(n, \mathbb{Z}) \to SL(n, \mathbb{Z}/3\mathbb{Z})$ has no torsion.

I am trying to show that the kernel of the natural map $SL(n, \mathbb{Z}) \to SL(n, \mathbb{Z}/3\mathbb{Z})$ has no torsion. That is, if $A$ is in the kernel then $A = I$ or $A^n \neq I$ for all $n ...
17
votes
4answers
1k views

The arithmetic-geometric mean for symmetric positive definite matrices

A while back, I wanted to see if the notion of the arithmetic-geometric mean could be extended to a pair of symmetric positive definite matrices. (I considered positive definite matrices only since ...
17
votes
1answer
925 views

Proof of $\det(\textbf{ST})=\det(\textbf{S})\det(\textbf{T})$ in Penrose graphical notation

For two matrices $\textbf{S}$ and $\textbf{T}$, a proof of $\det(\textbf{ST})=\det(\textbf{S})\det(\textbf{T})$ is given below in the diagrammatic tensor notation. Here $\det$ denotes the ...
16
votes
8answers
1k views

How can I show that $\begin{pmatrix} 1 & 1 \\ 0 & 1\end{pmatrix}^n = \begin{pmatrix} 1 & n \\ 0 & 1\end{pmatrix}$?

Well, the original task was to figure out what the following expression evaluates to for any $n$. $$\begin{pmatrix} 1 & 1 \\ 0 & 1\end{pmatrix}^{\large n}$$ By trying out different values of ...
16
votes
4answers
4k views

Intuitive explanation of a positive-semidefinite matrix

What is an intuitive explanation of a positive-semidefinite matrix? Or a simple example which gives more intuition for it rather than the bare definition. Say $x$ is some vector in space and $M$ is ...
16
votes
10answers
499 views

$2\times2$ matrices are not big enough

Olga Tausky-Todd had once said that "If an assertion about matrices is false, there is usually a 2x2 matrix that reveals this." There are, however, assertions about matrices that are true for ...
16
votes
5answers
862 views

Every integer vector in $\mathbb R^n$ with integer length is part of an orthogonal basis of $\mathbb R^n$

Suppose $\vec x$ is a (non-zero) vector with integer coordinates in $\mathbb R^n$ such that $\|\vec x\| \in \mathbb Z$. Is it true that there is an orthogonal basis of $\mathbb R^n$ containing $\vec ...
16
votes
4answers
1k views

A matrix is diagonalizable, so what?

I mean, you can say it's similar to a diagonal matrix, it has n independent eigenvectors, etc., but what's the big deal of having diagonalizability? Can I solidly perceive the differences between two ...
16
votes
4answers
7k views

Determining whether a symmetric matrix is positive-definite (algorithm)

I'm trying to create a program, that will decompose a matrix using the Cholesky decomposition. The decomposition itself isn't a difficult algorithm, but a matrix, to be eligible for Cholesky ...
16
votes
3answers
6k views

Eigenvalues for the rank one matrix $uv^T$

Suppose $A=uv^T$ where $u$ and $v$ are non-zero column vectors in ${\mathbb R}^n$, $n\geq 3$. $\lambda=0$ is an eigenvalue of $A$ since $A$ is not of full rank. $\lambda=v^Tu$ is also an eigenvalue of ...
16
votes
2answers
476 views

$AB=BA$ implies $AB^T=B^TA$.

I am looking for an elementary proof (if such exists) of the following: $$ AB=BA \quad\Longrightarrow\quad AB^T=B^TA, $$ where $A$ and $B$ are $n\times n$ real matrices, and $A$ is a normal matrix, ...
16
votes
4answers
701 views

Determinant of a generalized Pascal matrix

Let $M$ denote the infinite matrix defined recursively by $$ M_{ij} = \begin{cases} 1, & \text{if } i=1 \text{ and } j=1; \\ aM_{i-1,j}+bM_{i,j-1}+cM_{i-1,j-1}, & ...
16
votes
4answers
486 views

Powers of random matrices

Let $M$ be an $n \times n$ matrix whose elements are random reals in [0,1]. Two questions. What is the growth rate of the magnitude of the elements of $M^k$ as a function of $k$? It is definitely ...
16
votes
3answers
987 views

Matrices - Conditions for $AB+BA=0$

The Problem Let $A$ be the matrix $\bigl(\begin{smallmatrix}a&b\\c&d\end{smallmatrix} \bigr)$, where no one of $a,b,c,d$ is $0$. Let $B$ be a $2\times 2$ matrix such that ...
15
votes
1answer
11k views

Simultaneously Diagonalizable Proof

Two $n\times n$ matrices $A, B$ are said to be simultaneously diagonalizable if there is a nonsingular matrix $S$ such that both $S^{-1}AS$ and $S^{-1}BS$ are diagonal matrices. a.) Show ...
15
votes
3answers
19k views

A matrix and its transpose have the same set of eigenvalues

Let $ \sigma(A)$ be the set of all eigenvalues of $A$. Show that $ \sigma(A) = \sigma(A^T)$ where $A^T$ is the transposed matrix of $A$.
15
votes
4answers
727 views

Relation of this antisymmetric matrix $r = \left(\begin{smallmatrix}0 &1\\-1&0\end{smallmatrix}\right)$ to $i$

I was reviewing some matrices and found this interesting if $r = \begin{pmatrix} 0&1\\ -1&0 \end{pmatrix}$ then $rr=-I$, also $$\exp{(\theta r)} = \cos\theta I + \sin\theta r$$ No wonder, the ...
15
votes
5answers
735 views

Is this matrix obviously positive definite?

Consider the matrix $A$ whose elements are $A_{ij} = a^{|i-j|}$ for $-1<a<1$ and $i,j=1,\dots,n$ e.g. for $n=4$ the matrix is $$A = \left[ \begin{matrix} 1 & a & a^2 & a^3 \\ a ...
15
votes
5answers
3k views

$\sin(A)$, where $A$ is a matrix

If $A$ is an $n\times n$ matrix with elements $a_{ij}$ $i=$i'th row, $j=$j'th column. Then $e^A$ is also a matrix as can be seen by expanding it in a power series.Is $e^A$ always convergent and ...
15
votes
9answers
996 views

Why do determinants have their particular form?

I know that for a matrix $A$, if $\det(A)=0$ then the matrix does not have an inverse, and hence the associated system of equations does not have a unique solution. However, why do the determinant ...
15
votes
4answers
2k views

Why is the determinant of a symplectic matrix 1?

suppose $A \in M_{2n}(\mathbb{R})$. and$$J=\begin{pmatrix} 0 & E_n\\ -E_n&0 \end{pmatrix}$$ where $E_n$ represents identity matrix. if $A$ satisfies $$AJA^T=J$$ How to figure out ...
15
votes
5answers
4k views

How to prove and interpret $\operatorname{rank}(AB) \leq \operatorname{min}(\operatorname{rank}(A), \operatorname{rank}(B))$?

Let A and B be two matrices which can be multiplied. Then $\operatorname{rank}(AB) \leq \operatorname{min}(\operatorname{rank}(A), \operatorname{rank}(B))$ I proved $\operatorname{rank}(AB) \leq ...
15
votes
2answers
595 views

easier way of calculating the determinant for this matrix

I have to calculate the determinant of this matrix: $$ \begin{pmatrix} a&b&c&d\\b&c&d&a\\c&d&a&b\\d&a&b&c \end{pmatrix} $$ Is there an easier way of ...
15
votes
1answer
953 views

Why does the inverse of the Hilbert matrix have integer entries?

Let $A$ be the $n\times n$ matrix given by $ A_{ij}=\frac{1}{i + j - 1}$. I need to show that $A$ is invertible and the inverse has integer entries. I was able to show that $A$ is invertible. How do I ...
15
votes
4answers
4k views

Square root of a matrix

Under what conditions does a matrix $A$ have a square root? I saw somewhere that this is true for Hermitian positive definite matrices(whose definition I just looked up). Moreover, is it possible ...
15
votes
1answer
154 views

How to calculate the number of factorizations of a square matrix?

I need to write a function, that, given a square matrix M of non-negative integers, calculates the number of representations of M as a product of two square matrices of non-negative integers. Could ...
15
votes
1answer
135 views

When do two matrices have the same exponential?

Let $A$ and $B$ be $n\times n$ hermitean matrices. When do we have $e^{iA}=e^{iB}$? Can we somehow classify those pairs of matrices that have the same exponential? Here are some observations that I ...
14
votes
5answers
741 views

Does there exist a matrix $\mathbf{A}\in\mathbb{R}^{3\times3}$ such that $\mathbf{A}^{2}=-\mathbf{I}$?

Is it possible for a matrix $\mathbf{A}\in\mathbb{R}^{3\times3}$, $$\mathbf{A}^2=-\mathbf{I}$$ I know that It is possible for $2\times2$ matrix, but is it possible for $3\times3$ matrix ?
14
votes
5answers
1k views

A symmetric matrix whose square is zero

I was once asked in an oral exam whether there can be a symmetric non zero matrix whose square is zero. After some thought I replied that there couldn't be because the minimal polynomial of such a ...
14
votes
2answers
35k views

Transpose of inverse vs inverse of transpose

I can't seem to find the answer to this using Google. Is the transpose of the inverse of a square matrix the same as the inverse of the transpose of that same matrix? Thanks!
14
votes
6answers
527 views

How to show path-connectedness of $GL(n,\mathbb{C})$

Well, I am not getting any hint how to show $GL_n(\mathbb{C})$ is path connected. So far I have thought that let $A$ be any invertible complex matrix and $I$ be the idenity matrix, I was trying to ...
14
votes
6answers
10k views

Matrix Inverses and Eigenvalues

I was working on this problem here below, but seem to not know a precise or clean way to show the proof to this question below. I had about a few ways of doing it, but the statements/operations were ...
14
votes
4answers
9k views

What is the geometric meaning of singular matrix

Could anyone help explain what is the geometric meaning of singular matrix ? What's the difference between singular and non-singular matrix ? I know the definition, but couldn't understand it very ...
14
votes
4answers
1k views

How does multiplying by trigonometric functions in a matrix transform the matrix?

I found this comic: But I can't understand the humor because I can't understand how trig functions affect matrix multiplication. Can someone please explain?
14
votes
3answers
385 views

Theorem about positive matrices

We will call a matrix positive matrix if all elements in the matrix are positive, and we will denote the largest eigenvalue with $\lambda_{\max}$, what is exist because of the Perron–Frobenius ...
14
votes
2answers
486 views

Geometric interpretation of the cofactor expansion theorem

I find the geometric interpretation of determinants to be really intuitive - they are the "area" created by the column vectors of the matrix. Could someone give me a geometric interpretation of the ...
14
votes
2answers
3k views

Integral of matrix exponential

Let $A$ be an $n \times n$ matrix. Then the solution of the initial value problem \begin{align*} \dot{x}(t) = A x(t), \quad x(0) = x_0 \end{align*} is given by $x(t) = \mathrm{e}^{At} x_0$. I am ...
14
votes
2answers
3k views

Topology of matrices

1.Consider the set of all $n×n$ matrices with real entries as the space $\mathbb R^{n^2}$ . Which of the following sets are compact? (a) The set of all orthogonal matrices. (b) The set of all ...
14
votes
1answer
4k views

Effect of elementary row operations on determinant?

1) Switching two rows or columns causes the determinant to switch sign 2) Adding a multiple of one row to another causes the determinant to remain the same 3) Multiplying a row as a constant results ...
14
votes
1answer
983 views

Max dimension of a subspace of singular $n\times n$ matrices

I am sure the answer to this is (kind of) well known. I've searched the web and the site for a proof and found nothing, and if this is a duplicate, I'm sorry. The following question was given in a ...
14
votes
2answers
264 views

Why does calculating matrix inverses, roots, etc. using the spectrum of a matrix work?

Suppose $A$ is a $n \times n$ matrix from $M_n(\mathbb{C})$ with eigenvalues $\lambda_1, \ldots, \lambda_s$. Let $$m(\lambda) = (\lambda - \lambda_1)^{m_1} \ldots (\lambda - \lambda_s)^{m_s}$$ be the ...
14
votes
1answer
262 views

What do characteristic polynomials characterize?

Let $R$ be an integral domain and $F$ a finitely generated free module over $R$. For a linear transformation $\alpha\in\operatorname{End}_R(F)$, the characteristic polynomial is \begin{equation} ...
14
votes
0answers
192 views

Fundamental domain of $\operatorname{GL}(n,\mathbb R)$ acted on by $\operatorname{GL}(n, \mathbb Z)$

What is a simple description of a fundamental domain of $\operatorname{GL}(n,\mathbb R)$ acted on by $\operatorname{GL}(n,\mathbb Z)$? $\operatorname{GL}(n,\mathbb R)$ is the group of all real ...
13
votes
8answers
2k views

I need to calculate $x^{50}$ [duplicate]

$x=\begin{pmatrix}1&0&0\\1&0&1\\0&1&0\end{pmatrix}$, I need to calculate $x^{50}$ Could anyone tell me how to proceed? Thank you.
13
votes
2answers
694 views

What's the name for the property of a function $f$ that means $f(f(x))=x$?

I can think of several examples of functions such that twice application of the function is equivalent to no application of it. Additive inverse Multiplicative inverse Fourier transform Complex ...
13
votes
4answers
726 views

Expected Value of a Determinant

Suppose that I construct an $n \times n$ matrix $A$ such that each entry of $A$ is a random integer in the range $[1, \, n]$. I'd like to calculate the expected value of $\det(A)$. My conjecture is ...
13
votes
4answers
5k views

How to calculate the matrix exponential explicitly for a matrix which isn't diagonalizable?

How can I compute an expression for $(\exp(Qt))_{i,j}$ for some fixed $i, j$ and matrix $Q$? When $Q$ is diagonalizable, we can diagonalize, but what can be done otherwise? Thanks.
13
votes
4answers
313 views

Is it true that all matrices in $M_2(\mathbb R)$ is the sum of two squares?

I recently show that every polynomial with real coefficient and $P$ is always positive. is a sum of two squares of polynomials. These questions also appear often in arithmetic. What if we change ...
13
votes
2answers
592 views

Characteristic polynomials exhaust all monic polynomials?

Let $A$ be an $n\times n$ matrix, then $\mathrm{char}_A(x):=\det(xI-A)$ is a monic polynomial of degree $n$. It is called the characteristic polynomial of $A$. My question is the converse: Let ...
13
votes
3answers
2k views

Recovering the two $SU(2)$ matrices from$ SO(4)$ matrix

Since there is a $2$-$1$ homomorphism from $SU(2)\times SU(2)$ to $SO(4)$ there should be a way to recover the two $SU(2)$ matrices given an $SO(4)$ matrix. I believe I could set this up as a ...