Linear algebra is concerned with vector spaces of all dimensions and linear transformations between them, including systems of linear equations, bases, dimensions, subspaces, matrices, determinants, traces, eigenvalues and eigenvectors, diagonalization, Jordan forms, etc. For questions specifically ...

learn more… | top users | synonyms

6
votes
4answers
10k views

The transpose of a permutation matrix is its inverse.

This is a question from the free Harvard online abstract algebra lectures. I'm posting my solutions here to get some feedback on them. For a fuller explanation, see this post. This problem is from ...
0
votes
1answer
22 views

Iterative solutions of linear systems

I do not understand that why $M$ must be invertible for $x^{(k+1)}$ to be uniquely specified in equation below: $$ Mx^{(k+1)} = Nx^{(k)} + b \quad (k=0,1,\ldots).$$ Why $M$ must be invertible? And ...
2
votes
0answers
59 views

Help me to prove the determinant formula

Actually it is about the question of n-linear function, but it is so relevant to the determinant formula. Here is the notation of the theorem. If $n>1$ and $A$ is an $n \times n$ matrix over $K$, ...
1
vote
1answer
30 views

Prove there exists a self-adjoint transformation $C$ s.t. $CA=B$ if $A$ and $AB$ are self adjoint

If $A$ and $B$ are linear transformations such that $A$ and $AB$ are self adjoint and such that $Ker(A)\subset Ker(B)$, then prove there exists a self-adjoint transformation $C$ s.t. $CA=B$
3
votes
1answer
34 views

Prove the theorem of ideal (about g.c.d)

If $p_1,\ldots,p_n$ are polynomials over a field $F$, not all of which are $0$, there is a unique monic polynomial $d$ in $F[x]$ such that (a) $d$ is in the ideal generated by $p_1, \ldots, ...
1
vote
2answers
24 views

a symmetric bilinear form has a basis such that it's matrix with respect to it is diagonal

I'm reviewing a proof regarding $f$, a symmetric bilinear form having a basis such that it's matrix with respect to this basis is diagonal. Here's a summarization: For $n=1$ there's nothing to ...
5
votes
1answer
82 views

Largest eigenvalue of a Hermitian matrix

I have two Toeplitz positive semi-definite Hermitian matrices $\mathbf{R}_1, \mathbf{R}_2 \in \mathbb{C}^{M \times M}$. They are in fact covariance matrices satisfing the following conditions: (1) ...
1
vote
1answer
14 views

Columns Of The Diagonalization Matrix

After finding the eigenvectors, we can create a matrix $Q$ such that $Q^{-1}\cdot A \cdot Q=D$ when $A$ is a matrix and $D$ is a diagonal matrix with the eigenvalues on the diagonal. In which order ...
1
vote
1answer
32 views

does the following matrix update law, converge? if so, to what?

Assume $A$ and $B$ to be arbitrary matrices (but you can assume some conditions on their norm), We have $X_{i+1}=AX_{i}A^T+B$, We are looking for $X_{\infty}$ (if it exists). Does it converge, if ...
0
votes
0answers
22 views

Eigenvalues of integrals over similar matrices

Let $\rho = \rho(x)$ be a $2\times2$ matrix (don't know if it is necessary, but $\rho$ is a density operator) and $I$ be the (two-dimensional) identity matrix. I have two matrices $A$ and $B$, where ...
0
votes
1answer
51 views

Symmetric matrix problem

$A$ is a symmetric matrix and has a eigenvalue $\lambda$ of order $m$. Why $\lambda$ has $m$ independent eigenvectors? I want to prove $A$ is diagonalizable by proving it has $n$ independent ...
0
votes
1answer
51 views

Linear Algebra: Question about determinants

The following matrices are $4 \times 4$ matrices. $$A=\begin{bmatrix} 1 & 1 & 1 & 1 \\ 1 & 1 & 1 & 1\\ 1 & 1& 1 &0\\ 1 &1 &0 &0 \end{bmatrix}\\ B= ...
0
votes
1answer
18 views

Characterising Adjugate(adjoint) of a matrix

If $A$ is an $n\times n$ matrix over a field, then adj$(A)$ is an $n\times n$ matrix (obtained from $A$) such that $$\mathrm{adj}(A)\,A=A\,\mathrm{adj}(A)=\mathrm{det}(A)I_n.$$ Question: If $B$ is ...
1
vote
1answer
64 views

Preferred way to write elements of the direct sum of vector spaces

Suppose $V$ and $W$ are vector spaces over the same field and $V\oplus W$ is their direct sum. Reading through the literature I found essentially two ways of writing elements of $V\oplus W$. 1.) We ...
2
votes
4answers
146 views

Do row operations change the column space of a matrix?

I know that (i) row operations do not change the row space (ii) column operations do not change the column space and (iii) row rank = column rank (but this is sort of unrelated, I think). But, ...
0
votes
1answer
16 views

Sylvester's law of inertia for generic matrices.

By Sylvester's law of inertia, the positive and negative indices of a symmetric matrix $A$ are also the number of positive and negative eigenvalues of $A$. I was wondering if a similar result is known ...
5
votes
2answers
606 views

Largest eigenvalue of a symmetric positive definite matrix with rank-one updates

I have a $n \times n$ symmetric positive definite matrix $A$ which I will repeatedly update using two consecutive rank-one updates of the form $A' = A + e_j u^T +u e_j^T$ where $\{e_i: 1 \leq i \leq ...
20
votes
3answers
641 views

Old AMM problem

I am working on an old AMM problem: Suppose $A,B$ are $n\times n$ real symmetric matrices with $\operatorname{tr} ((A+B)^k)= \operatorname{tr}(A^k) + \operatorname{tr}(B^k) $ for every positive ...
1
vote
1answer
438 views

Diagonally Dominant Matrix Preserved after Gaussian Elimination (with a modification)

Prove or disprove: If a matrix has the property $0 \neq |a_{ii}| \geq \sum_{\substack{j=1 \\ j \neq i}} |a_{ij}| $ then Gaussian Elimination (without pivoting) will preserve this property. I assume ...
0
votes
0answers
20 views

Consider the ordered basis for the vector space V of lower 2x2 lower triangular matrices with zero trace.

Consider the ordered bases $$ \mathcal{B} =\left\{ \left[ \begin{matrix} -4 & 0\\ 0 & 4 \\ \end{matrix}\right]; \left[ \begin{matrix} 0 & 0\\ ...
2
votes
2answers
66 views

Finding Eigenvalue det(λI - A);

I want to know if what I'm doing to derive equation (2) from (M2) is correct or not; usually, before moving onto the next row in Guass-Jordan elimination we turn a_11 into a leading one or whatever ...
1
vote
1answer
51 views

I need help with a simple proof for the associative law of scalar multiplication of a vectors.

I need help with a simple proof for the associative law of scalar multiplication of a vectors. If $$(rs)X =r (sX)$$ Define the elements belonging to $\mathbb{R}^2$ as ...
36
votes
0answers
2k views

Limit of sequence of growing matrices

Let $$ H=\left(\begin{array}{cccc} 0 & 1/2 & 0 & 1/2 \\ 1/2 & 0 & 1/2 & 0 \\ 1/2 & 0 & 0 & 1/2\\ 0 & 1/2 & 1/2 & 0 \end{array}\right), $$ ...
-3
votes
0answers
32 views

Vector spaces and nontrivial subspace. [on hold]

Give an example of a subset of $\mathbb{R}^2$ that is a nontrivial subspace of $\mathbb{R}^2$? $\mathbb{R}^2$ as $\{(a, b) \mid a, b \in \mathbb{R}\}$
0
votes
2answers
24 views

In an inner product space, if the matrix is symmetric, is an eigenspace necessarily orthogonal to the range space?

Say I have 3 distinct eigenvalues for a symmetric matrix. By the Spectral Theorem, the three eigenspaces are mutually orthogonal. But, if I just wanted to compute the first eigenspace, ...
3
votes
0answers
54 views

Why we define the adjoint operator

Suppose in vector space $A: X\rightarrow Y$ is a linear map, the adjoint operator $A^{'}: Y^{'}\rightarrow X^{'}$ is defined as: $f(Ax)=(A^{'}f)(x)$. As I can understand, the adjoint operator just ...
3
votes
1answer
160 views

Asymptotic behavior of the minimum eigenvalue of a certain Gram matrix with linear independence

Consider the density matrices with the following spectral decompositions: $$\rho=\lambda_1|\nu_1\rangle+\lambda_{2}|\nu_2\rangle$$ and $$\sigma=\gamma_1|\omega_1\rangle+\gamma_2|\omega_2\rangle$$ such ...
10
votes
1answer
133 views

Generalizing Cauchy-Schwarz for more than two vectors

For a complex inner product space, $X$, Cauchy-Schwarz inequality states $$ | \langle x,y \rangle |^2 \leq \langle x,x\rangle \cdot \langle y, y\rangle , $$ for any $x,y \in X$. Equality holds if and ...
2
votes
2answers
46 views

Is this a circulant matrix?

It's symmetric, but I'm not sure whether it is circulant. In a question that I had asked on MSE a couple of weeks ago, several commenters had said that this is a circulant matrix, and to study the ...
0
votes
0answers
34 views

Wedge product of maps: functorial vs. exterior algebra

Suppose that $V$ and $W$ are finite-dimensional vector spaces over $\mathbb{F}$. If $\varphi, \psi \in \hom(V,W)$, there are at least two interpretations of the symbol $\varphi \wedge \psi$: It is ...
1
vote
1answer
28 views

Identification between wedge product and its dual

Let $\mathbb{F}$ be a field, and let $(e_i)$ be the usual elementary basis of $\mathbb{F}^n$. Let $\varphi_{ij}: \mathbb{F}^n \wedge \mathbb{F}^n \to \mathbb{F}$ be such that $v \wedge w \mapsto ...
2
votes
2answers
50 views

Do linear operators that map one space into a different space have a Jordan canonical form?

I know that this answer is most likely "yes", and that, in the setting of matrices, all matrices are similar to its Jordan form, which is unique (up to the ordering of the Jordan blocks.) But what ...
2
votes
3answers
56 views

Producing lower bounds for $\text{trace}(A^2)$ for a positive semidefinite, symmetric matrix $A$

Are there any lower bounds on $\DeclareMathOperator{trace}{trace}$ \begin{align*} \trace(A^2), \end{align*} where $A$ is positive semi-definite and symmetric? I am aware of the inequality $$ ...
2
votes
2answers
115 views

How to generate $3\times3$ matrices with integer eigenvalues?

I am looking for an easy way to generate non-trivial (i.e not just diagonal) examples of 3x3 matrices whose entries are integers and whose eigenvalues are also integers. I know how to do this for 2x2 ...
0
votes
1answer
63 views

Calculation of $trace(L^THL)$, L is lower triangular, H is symmetric.

I am working on a problem where I had to find the following expression: $$ l = Tr({P'HP})$$ I already modified my model formulation using cholesky decomposition for PSD matrices and came up with ...
-1
votes
0answers
46 views

Find the solution to the following LPP by solving its dual. [on hold]

Minimize : $ Z = 300X_1 + 110X_2$ Subject to : \begin{align*} 30X_1 + 5X_2 &\geq 6 \\ 20X_1 + 10X_2 &\geq 8 \\ X_1, X_2 &\geq 0 \end{align*}
0
votes
3answers
32 views

Finding Null Space Basis

let $v$ be a vector $v=(1,-1,1)$, find $Ker(v)$ or $v*x=0$ I have approached it this way $(y-z,-y,z)=(y,-y,0)+(-z,0,z)=y(1,-1,0)+z(-1,0,1)$ But the answer $(1,1,0),(-1,0,1)$ Where am I wrong?
2
votes
1answer
39 views

How do I extrac the anisotropic part of a tensor?

Given the elements $\chi_{ij}$ of a tensor in cartesian coordinates, with \begin{pmatrix} \chi_\bot& 0 &0 \\ 0 & \chi_\| &0\\ 0&0 & \chi_\| \end{pmatrix}, where the ...
0
votes
1answer
28 views

matrix multiplication manipulation

a,b $\in \mathbb{R^n}$ and C $\in \mathbb{R^{nxn}}$. I have $ab^TCab^TC$. I try to manipulate this multiplication into: $b^TCaab^TC$. I need help.
0
votes
2answers
25 views

Linear algebra: proving transformation matrix between orthogonal basis is unitary

The vector space $V$ is equipped with a Hermitian scalar product and an orthonormal basis $\{e_1,\ldots,e_n\}$. A second orthonormal basis $\{e_1',\ldots,e_n'\}$ is related to the first one by ...
1
vote
2answers
25 views

Determining all scalars $a \in \mathbb{R}$ for which a matrixrepresentation is orthogonal?

Problem: Let $a \in \mathbb{R}$ and \begin{align*} T: \mathbb{R}^{n \times n} \rightarrow \mathbb{R}^{n \times n}: A \mapsto aA. \end{align*} Determine all $a \in \mathbb{R}$ for which the matrix of ...
0
votes
1answer
66 views

If $A$ is an invertible $n\times n$ complex matrix and some power of $A$ is diagonal, then $A$ can be diagonalized

Prove or provide a counter-example: If $A$ is an invertible $n\times n$ complex matrix and some power of $A$ is diagonal, then $A$ can be diagonalized. If $A^n$ is a diagonal matrix, then clearly ...
2
votes
2answers
40 views

Sign of eigenvalues of $A$ by $\det(A-\lambda I)=\lambda \det(B+D-\lambda I).$

Let $A$ be a $n\times n$ matrix, $B$ be a $(n-1)\times (n-1)$ matrix and $D$ be a $(n-1)\times (n-1)$ diagonal matrix with all entries positive. We assume that $$\det(A-\lambda I)=\lambda ...
7
votes
3answers
439 views

Rule for squaring arbitrary powers?

This is a really simple question, but I don't know how to phrase it well enough for Google. I'm going through a proof and don't understand how: $$ (q^{2^{n+1}})^2 = q^{2^{n+2}} $$ I thought it would ...
0
votes
0answers
18 views

How to multiply the elements within a vector using matrix operations (e.g., dot product)?

Suppose a vector $\vec{v}^T=(v_1, v_2, \ldots, v_n)^T$. To sum the elements within the vector, I can use the dot product with a column vector of ones, $\sum_i v_i = \vec{v}^T \cdot \vec{1}$. My ...
4
votes
2answers
45 views

Show that $T$ is normal

Let inner product space $V$ (finite) above $\mathbb{C}$. Let the operator $T:V\to V$ s.t. $$T^2 = \frac{1}{2}(T+T^*)$$ Prove that $T$ is normal $(T^*T = TT^*)$ $T^2 - T = 0$ So I've tried the ...
1
vote
1answer
25 views

Show that there exists a non-negative integer $r$ s.t. $ker(T^r) = ker(T^{r+1})$.

Question: Let $V$ be an $n$-dimensional complex vector space, let $T: V \to V$ be a linear transformation. Show that there exists a non-negative integer $r$ s.t. $ker(T^r) = ker(T^{r+1})$. My ...
1
vote
1answer
14 views

What's the difference between these two spaces?

In the finite element method, $Q1$ element is defined by $\textrm{span} \{1, x, y, xy\}$. And $\textit{rotated } Q1$ element is defined by $\textrm{span}\{1, x, y, x^2-y^2\}$. Please tell me what ...
3
votes
1answer
32 views

Prove $T|_{V_\lambda}$ is diagonalizable

Let $V$, an $n$-dimensional vector space and let $T, S:V\to V$, two diagonalizable linear operators. Show that if $TS=ST$ then every $V_\lambda$ of $S$ is $T$-invariant and the restriction, ...
2
votes
1answer
20 views

properties of the solution to a non-homogeneous matrix equation with a non-singular M-matrix

I have a matrix equation $Ax=b$, where $A$ is a $4\times4$ non-singular M-matrix ($A$ has negative off-diagonal and positive diagonal entries) and $b$ is a strictly positive vector. Let $x=(x_1, x_2, ...