Linear algebra is concerned with vector spaces of all dimensions and linear transformations between them. This includes: systems of linear equations, basis, dimension, subspaces, matrices, determinant, trace, eigenvalues and eigenvectors, diagonalization, Jordan form, etc. For questions specifically ...

learn more… | top users | synonyms

21
votes
0answers
856 views

Rank of a $n! \times n$ matrix

This question is about showing that $n!$ points resulting from applying a function (defined below) to the permutations of $n$ numbers lie on a $n-1$ dimensional hyperplane. Let $X=\langle ...
14
votes
0answers
490 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), $$ ...
12
votes
0answers
170 views

How to find eigenvalues and eigenvectors of this matrix

Can you help to find eigenvalues and eigenvectors of the following matrix? Here is the matrix: $$C = \small \begin{pmatrix} -\sin(\theta_{2} - \theta_{M}) & \sin(\theta_{1} - \theta_{M}) & 0 ...
12
votes
0answers
445 views

Prove the determinant of this matrix

We have a square matrix, that all elements on main diagonal are zero, and other elements are following: $$a_{i,j}=\begin{cases} 1,&\text{if i+j belongs to Fibonacci numbers,}\\ 0,&\text{if ...
11
votes
0answers
274 views

Why is an orthogonal matrix called orthogonal?

I know a square matrix is called orthogonal if its rows (and columns) are pairwise orthonormal But is there a deeper reason for this, or is it only an historical reason? I find it is very confusing ...
10
votes
0answers
529 views

Are there open problems in Linear Algebra?

I'm reading some stuff about algebraic K-theory, which can be regarded as a "generalization" of linear algebra, because we want to use the same tools like in linear algebra in module theory. There ...
10
votes
0answers
219 views

Determining the kernel of a Vandermonde-like matrix

The kernel of a Vandermonde matrix can be determined using this formula. The following type of matrix has a similar structure, and should also have a one-dimensional kernel. $V= \begin{bmatrix} 1 ...
10
votes
0answers
327 views

Inverse of Toeplitz Matrix Property

Sorry if this question has been asked already but I didn't find it. Given a symmetric Toeplitz matrix of the form $$\left[\begin{array}{llll} a_0 & a_1 & \dots & a_n\\ a_1 & a_0 ...
9
votes
0answers
88 views
+200

Can a cube always be fitted into the projection of a cube?

If we project the unit cube in $\mathbb{R}^n$ onto a $k$-dimensional subspace of $\mathbb{R}^n$ which contains the origin, can we always fit a $k$-dimensional cube of side length 1 into the ...
8
votes
0answers
84 views

Conceptual proof relating linear fractional transformations to matrices

Define a map from $2 \times 2$ invertible matrices to linear fractional transformations $$ f:\left( \begin{array}{ccc} a & b \\ c & d \\\end{array} \right) \mapsto \frac{az + b}{cz + d}.$$ ...
8
votes
0answers
204 views

How to prove that this $X_0$ is nilpotent

Let $V=M_n(\mathbb C)$ and $A\subseteq B$ are subspaces of $V$. Let also $$ M=\{X\in V:\ \forall Y\in B,\ XY-YX\in A\}. $$ Suppose $X_0\in M$ enjoys the property that $\operatorname{tr}(ZX_0)=0$ for ...
8
votes
0answers
190 views

A conjecture about vector space

Let $V$ be a $(r+1)$-dimensional vector space, and $p$ be a positive integer and $1\leq p\leq r-1$. Let $$X=\{v_1,\cdots,v_{2r+1-p}\}\subseteq V$$ be a finite set containing $(2r+1-p)$ different ...
8
votes
0answers
1k views

Inverse of a Toeplitz Matrix

A Toeplitz matrix or diagonal-constant matrix is a matrix in which each descending diagonal from left to right is constant. For instance, the following matrix is an $n\times n$ Toeplitz matrix: $$ A ...
7
votes
0answers
109 views

Is this matrix decomposition possible?

Given a $2\times2$ matrix $S$ with entries in $\mathbb{Z}$ or $\mathbb{Q}$ , when is it possible to write $S=\frac{1}{3}(ABC+CAB+BCA)$ such that $A+B+C=0$, where $A, B, C$ are matrices over the same ...
7
votes
0answers
59 views

Intuiting Product of Elimination Matrices (and NOT by Matrix Multiplication)

I want to intuit, and NOT compute with matrix multiplication, $M:=\color{green}{E_{P_3 \rightarrow P_4}}\color{#CA790F}{E_{P_2 \rightarrow P_3}}E_{P_1 \rightarrow P_2},$ where: $E_{P_1 \rightarrow ...
7
votes
0answers
414 views

Condition of an eigenvector problem

Please, somebody help me with this problem. [Ciarlet 2.3-5] Let ${A}$ and ${B} = {A} + \delta{A}$ be two symmetric matrices with eigenvalues $$\alpha_1\ \leq\ \alpha_2\ \leq\ \ldots\ \leq\ ...
7
votes
0answers
152 views

Reference suggestion: eigenvalues of tridiagonal matrices

I would like to ask for a reference on the problem of computing the eigenvalues/eigenvectors of tridiagonal matrices (not necessarily with constant diagonals). I have seen authors use continued ...
7
votes
0answers
103 views

Continuous choice of basis for subspaces

Consider the flag variety (or flag manifold, depending on who you are) $V=\mathrm {Fl} (3,\mathbb C)$ of complete flags of subspaces of $\mathbb C^3$. That is, an element of M is a tuple (L , P) ...
7
votes
0answers
315 views

Pfaffian properties

Given a $2n\times 2n$ real skew-symmetric matrix $A$, its Pfaffian $\mathrm{Pf}$ is defined as: $$ \mathrm{Pf}(A) = \frac1{2^n n!}\sum_{\sigma\in S_{2n}}\mathrm{sgn}(\sigma)\prod_{i=1}^n ...
7
votes
0answers
370 views

Eigenvalues of doubly stochastic matrices

There was a long standing conjecture stating that the geometric location of eigenvalues of doubly stochastic matrices of order $n$ is exactly the union of regular $k$-gons anchored at $1$ in the unit ...
6
votes
0answers
121 views

Matrix diagonalization theorems and counterexamples: reference-request.

I'm looking for exhaustive list of diagonalization theorems and counterexamples in linear algebra. In this question I understand the question of matrix diagonalization very broadly: suppose we have ...
6
votes
0answers
91 views

Infer distance from a point to a line, from the distance from a point to a plane [Stewart P793 12.4.44]

I'm able to prove $44$, but how would one deduce $43$ from it without further industry, forthwith? $43$ seems like a reduced, 2D version of $44$? I'm not enquiring about individual proofs. $44.$ ...
6
votes
0answers
141 views

Coefficients in expansion of $(\sqrt[3]{2} - 1)^m$

In trying to solve $a^3 - 2b^3 = 1$ over the integers I came across the need to answer the question: when does $(1+ \sqrt[3]{2} + \sqrt[3]{2}^2)^n$ have no $\sqrt[3]{2}^2$ term in it's expansion (in ...
6
votes
0answers
71 views

Lie algebra of Derivations as a functor?

To an associative algebra $A$ one can associate a Lie algebra $\operatorname{Der} A$ of all derivations $D:A\to A$. To any morphism of associative algebras $\alpha:A\to B$, how can one associate a ...
6
votes
0answers
50 views

Columns of A - Linear independence, span, rank. [GStrang P180, 3.5.19]

The columns of $A$ are $n$ vectors from $\mathbb{R^m}$. If they're linearly independent, what's $rank(A)$? If they span $\mathbb{R^m},$ what's $rank(A)$? If they're a basis for $\mathbb{R^m},$ ...
6
votes
0answers
103 views

Algorithm for obtaining the surface of a mirror

My colleague and I have been trying to implement an algorithm described in the paper "Recovering local shape of a mirror surface from reflection of a regular grid", primary author of which being ...
6
votes
0answers
227 views

Finding the maximum number of subspaces of a vector space over finite field that satisfy these relations

I have a question and I am stuck. I was wondering if anyone has a thought, before I start a brute-force search. For $q$ a prime number and $n =6$, let $\mathbb {F}_{q}^{n}$ be an $n$-dimensional ...
6
votes
0answers
118 views

Dimension of the space of algebraic Riemann curvature tensors

Given $n\in \mathbb N$, consider the vector space $\mathbb R^{n^4}$ whose elements I will denote by $(R_{abcd})$ with indices $a,b,c,d \in \{1, \dots, n\}$. This vector space is $n^4$-dimensional. The ...
6
votes
0answers
167 views

How is $\mathrm{PGL}(V)$ a subgroup of $\mathrm{P\Gamma L}(V)$?

I've stumbled upon a strange exercise while reading "Notes on Infinite Permutation Groups" by Bhattacharjee, Möller, Macpherson and Neumann. If you have the book, the exercise is 7(ix) on page 66. ...
6
votes
0answers
239 views

Computing the SVD factorization on C++ (using the proof of the existence of the SVD factorization)

I am doing a C++ program that computes the SVD factorization of a real matrix A without using any known library of algebra that contains the implementation. In addition, QR descomposition is not ...
6
votes
0answers
703 views

Farkas Lemma proof

I am trying to prove the Farkas Lemma using the Fourier-Motzkin elimination algorithm. From Wikipedia: Let A be an $m \times n$ matrix and $b$ an $m$-dimensional vector. Then, exactly one of the ...
6
votes
0answers
402 views

Is the “Constant Rank Theorem” the same as the “Domain Straightening Theorem”? Which theorem is which?

Wikipedia says that the inverse function theorem is a special case of the "constant rank theorem". I'm pretty sure this is supposed to be the same theorem as the "Rank Theorem" on p. 47 of Boothby ...
6
votes
0answers
316 views

Generalized Eigenvalue Problem with one matrix having low rank

I have a specific Generalized Eigenvalue Problem (GEVP) where i am primary not interested in solving this problem but concluding from a standard EVP the spectrum of the GEVP. The Problem Let $A$ be ...
6
votes
0answers
110 views

Piecewise Affine Bijections of $\mathbb{R}^n$

I have a min-max function $f:\mathbb{R}^n\to\mathbb{R}^n$ of the form $$f(x) = \min_{i=1,\dots,n}\max_{j=1,\dots,n}(\alpha_{ij}^Tx + \beta_{ij})\quad\text{where each } \alpha_{ij}\in ...
6
votes
0answers
165 views

Is there a Mazur–Ulam theorem equivalent for vector spaces over finite fields?

I know that Mazur–Ulam theorem holds for normed linear spaces over $\mathbb{R}$. I wanted to know whether under some "weak" conditions on the map $f$, can we have Mazur-Ulam theorem for a vector ...
6
votes
0answers
194 views

Uses of Chevalley-Warning

In the recent IMC 2011, the last problem of the 1st day (no. 5, the hardest of that day) was as follows: We have $4n-1$ vectors in $F_2^{2n-1}$: $\{v_i\}_{i=1}^{4n-1}$. The problem asks : Prove the ...
5
votes
0answers
37 views

$W$ is a subspace of $\mathbb{R}^n$ and $K$ is a compact subset of $V$ with $W \cap K = \emptyset$.

Suppose $W$ is a subspace of $\mathbb{R}^n$ and $K$ is a compact subset of $V$ with $W \cap K = \emptyset$. Show that there exists a vector $v \in V$ such that $\langle v,w \rangle = 0$ for all $w\in ...
5
votes
0answers
75 views

Generating a stochastic matrix with a given second dominant eigenvalue

I need a procedure (iterative or otherwise) that, given a positive integer $N$ and a (possibly complex) number $\lambda$ such that $0 < \vert \lambda \vert < 1$, will be able to generate an $N ...
5
votes
0answers
203 views

Span and Dimension: A subspace

If $A$ is finite set of linearly independent vectors then the dimension of the subspace spanned by $A$ is equal to the number of vectors in $A$. This is obviously true. Since $A$ is a finite set of ...
5
votes
0answers
83 views

Holder inequality for matrices

I am interested in the following version of the Holder inequality. Let $D \in M_n(\mathbb{C})$ be a positive semi-definite matrix of trace $1$ and $A, B \in M_n(\mathbb{C}).$ Does it follow that $$ ...
5
votes
0answers
109 views

Understanding a sentence in a paper.

I am trying to read this paper. At page $34$, the authors define a symplectic form $\omega$ on some $\mathbb{C}$-vector space $V\oplus W^*$ (I don't want to go too much into the details here, because ...
5
votes
0answers
55 views

Is $(V_1\otimes\cdots\otimes V_k)^\ast \simeq V_1^\ast\otimes \cdots \otimes V_k^\ast$ true for infinite dimensional spaces?

Suppose $V_1,\dots,V_k$ are vector spaces of finite dimension. Then I could prove easily that $(V_1\otimes\cdots\otimes V_k)^\ast\simeq V_1^\ast\otimes\cdots\otimes V_k^\ast$. My proof was like that: ...
5
votes
0answers
153 views

Determinants of certain matrices.

I need help with this Linear Algebra homework problem; it's killing me. Problem 3: Consider the infinite dimensional matrix $A$ given by $A_{ij} = \left\{ \begin{array}{ll} 1, &\text{if } ...
5
votes
0answers
69 views

Complex Numbers vs. Matrix

I have a line starting at the origin, and i extend it to a point $(a,b)$ in the plane. This thing can be called a vector and be represented as $(a,b), [a\text{ }b]^T$ (column vector) or by ...
5
votes
0answers
241 views

Linearity of the determinant

I'd like to prove the following properties of the determinant map. $\det I = 1$ $\det$ is linear in the rows of the input matrix The determinant map is defined on $n\times n$ matrices $A$ by: ...
5
votes
0answers
306 views

Simultaneously (generalized) diagonalizable matrices

I heard the following theorem from our textbook: Given $A,B$ are two commuting ($AB=BA$) real normal matrices. There's some real orthogonal matrix $P$ such that $P^{-1}AP$, $P^{-1}BP$ are ...
5
votes
0answers
98 views

Is this a spectral decomposition/embedding/isometry?

Given a symmetric p.s.d matrix G, we know that a gram matrix/inner-product representation, X exists where $G=X^TX$ and $X=U\lambda^{1/2}$ via the eigen decomposition of $G$. Now if I take the same ...
5
votes
0answers
61 views

Duality of $Z(G)$ and $[G,G]$ in representation?

This question and its many wonderful answers illustrate many faces of the duality of $Z(G)$ and $[G,G]$, the centre/ commutator duality of a group. I was thinking about its manifestation in group ...
5
votes
0answers
278 views

Monotone matrix norms

[Ciarlet 2.2-10] Let $\mathscr{S}_n$ be the set of symmetric matrices and $\mathscr{S}_n^+$ the subset of non-negative definite symmetric matrices. A matrix norm $\|\cdot\|$ to be monotone if ...
5
votes
0answers
143 views

numerical linear algebra tricks for repeated sums and inversions with symmetric positive-definite matrices

I'm doing the following procedure to get the max-likelihood estimate of a matrix-variate normal distribution from $r$ samples of matrices in $\mathbb{R}^{n \times p}$ (algorithm from Dutilleul ...