Solving for Surjective Matrix: A Possible Typo in the Theorem Statement?

  • Thread starter Thread starter lauratyso11n
  • Start date Start date
  • Tags Tags
    Surjective
lauratyso11n
Messages
8
Reaction score
0
I saw this in a book as a proposition but I think it's an error:

Assume that the (n-by-k) matrix, A, is surjective as a mapping,

A:R^{k}\rightarrow R^{n}.

For any y \in R^{n}, consider the optimization problem

min_{x \in R^{k}}\left{||x||^2\right}

such that Ax = y.

Then, the following hold:
(i) The transpose of A, call it A^{T} is injective.
(ii) The matrix A^{T}A is invertible.
(iii) etc etc etc...

I have a problem with point (ii), take as an example the (2-by-3) surjective matrix
A = \begin{pmatrix}<br /> 1 &amp; 0 &amp; 0\\<br /> 0 &amp; 1 &amp; 0<br /> \end{pmatrix}

A^{T}A in this case is not invertible.

What am I doing wrong ?
 
Last edited:
Physics news on Phys.org
I don't think you are doing anything wrong. But I think there must be a typo in the theorem statement and they meant to write AA^(T) instead of A^(T)A.
 
Dick said:
I don't think you are doing anything wrong. But I think there must be a typo in the theorem statement and they meant to write AA^(T) instead of A^(T)A.

That would be fine, but the result is used to carry some analysis. The crux of it is:

\sigma\lambda = \alpha - \bf{r}

where \sigma \in R^{n-by-k} is surjective, and \lambda \in R^{k}, \alpha , <b>r</b> \in R^{n}.

How would you solve for \lambda ? Isn't is critical that the 'typo' has to be correct to be able to solve for this ?

The author's solution as you might expect is \lambda = \left(\sigma^{T}\sigma\right)^{-1}\sigma^{T}[\alpha - \bf{r}].

BTW, thanks for making the effort to look at the problem. Much appreciated.
 
Last edited:
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top