# Can a linear mapping be invertible when its matrix is not?

Let $V$ be a $k$-dimensional subspace of $\mathbb{R}^n$, with $k < n$. Choose an orthonormal basis $(a_1, \ldots, a_k)$ of $V$ and let $A$ be the $k \times n$ matrix whose rows are $(a_1^T, \ldots , a_k^T)$. Define a linear mapping $L: V \rightarrow \mathbb{R}^k$ by

$$L(x) = Ax.$$

From the definition of $A$ it is clear that

$$L^{-1}(y) = A^T y.$$

Therefore, $L$ has an inverse while $A$ (being rectangular) has not. This seems odd...

While writing this it came to me that $A$ probably isn't the matrix representing $L$ in any basis, since such should be a $k \times k$ matrix, but I am a bit confused - what then is $A$?

-
Indeed, $A$ does not represent $L$ relative to any basis; even though $V$ "lives" inside of $\mathbb{R}^n$, when you take a basis for $V$ and you write vectors of $V$ in terms of that basis, the coordinate vectors are elements of $\mathbb{R}^k$, not of $\mathbb{R}^n$. Remember that the coordinate matrix of $L$ is a matrix that is computed using coordinate vectors. – Arturo Magidin Jan 27 '12 at 21:51
Why is it "clear" that $L^{-1}(y) = A^T y$? – Qiaochu Yuan Jan 27 '12 at 21:51
@Qiaochu: At first blush I thought the same, but it works: $L$ maps $a_i$ to the $\mathbf{e}_i\in\mathbb{R}^k$, because $a_1,\ldots,a_k$ are an orthonormal basis; so $L^{-1}\colon\mathbb{R}^k\to V$ maps $\mathbf{e}_i$ to $a_i$, and that gives $A^T$ (assuming the $a_i$ were column vectors). – Arturo Magidin Jan 27 '12 at 21:56
You might want to think about a simple example, say, let $V$ be the $x$-axis in 2-space with basis $(1,0)$, etc. – Gerry Myerson Jan 27 '12 at 22:02
@koletenbert: Then why not write out an answer yourself? Point out your confusion, and how it has been clarified, and what the answer is. (-: – Arturo Magidin Jan 28 '12 at 1:20

It seems people would like me to answer my own question... well then, why not.

My original assumption was that if a linear mapping $L$ can be written as

$$L(x) = Ax$$

for some matrix $A \in \mathbb{R}^{k \times n}$, then $A$ represents $L$ with respect to some basis (in fact, the canonical bases of $\mathbb{R}^n$ and $\mathbb{R}^k$ in this case, as $L$ seems to go from $\mathbb{R}^n$ to $\mathbb{R}^k$).

However, there is a subtelty about the domain of $L$ in the problem as posted originally - here, $L$ goes from a $k$-dimensional subspace of $\mathbb{R}^n$ to $\mathbb{R}^k$. Therefore, both the domain and range of $L$ are actually $k$-dimensional vector spaces, and any matrix representing $L$ will necessarily be $k \times k$.

Now, what does such a matrix look like? To find it, choose bases for the domain $V$ and range $\mathbb{R}^k$ of $L$. For example, $(a_1, \ldots, a_k)$ and $(e_1, \ldots, e_k)$ will do, in which case the matrix will turn out to be the $k \times k$ identity matrix (which is obviously invertible).

Thus, to answer the question in the title, if a linear map is invertible, any matrix representing it will be so as well.

-

I think that a great part of your difficulty was that you were suffering from a mathematical education that hadn’t paid sufficient attention to the importance of the domain, the target space, and the image (=“range”) of a map. Do you know the following about ordinary maps $f\colon X \to Y$ between sets?

The map $f$ is one-to-one if and only if it has a left inverse, i.e. there is a map $g\colon Y \to X$ such that $g\circ f=$ identity on $X$. And $f$ is onto (meaning that the image is equal to all of the target space) if and only if $f$ has a right inverse, i.e. there is a map $h\colon Y \to X$ such that $f\circ h=$ identity on $Y$. The latter is not quite trivial: in fact it depends on (and I think is equivalent to) the Axiom of Choice. The proofs are easy enough, nothing fancy, and if you haven’t seen the facts, you should spend a little time to prove them for yourself.

The significance of the above is that the same results are true for maps between vector spaces. You have constructed a left inverse of the inclusion map $V\to {\mathbb{R}}^n$, which of course is a one-to-one map, but your new map is a left inverse only. Try composing them in the opposite direction!

-
 "You have constructed a left inverse of the inclusion map $V\to\mathbb{R}^n$." Except that none of the maps have $\mathbb{R}^n$ as domain or codomain: the map $L$ goes from $V$ to $\mathbb{R}^k$, the map $L^{-1}$ goes from $\mathbb{R}^k$ to $V$. I'm not sure your reading here is accurate; the real issue is that although $L$ can be given by the formula $L(x) = Ax$, $A$ is not the coordinate matrix of $L$. – Arturo Magidin Jan 28 '12 at 22:55 @ArturoMagidin, you are completely correct. I’ll leave my rather careless response up, but in its defense, I will say: just what is his matrix $A$? From its shape, it has to be a map from an $n$-dimensional space to one of dim. $k$. Isn’t it the orthogonal projection from the big space to the small? OP chose to restrict it to the subspace, so that as he says, in that sense it’s identity, but the matrix is more than that: it is in fact the left inverse I mentioned; and the transpose matrix is the matrix of inclusion, with respect to his basis in the subspace, the standard basis in the big. – Lubin Jan 29 '12 at 7:03 Yes, $A$ is the coordinate matrix of a transformation from all of $\mathbb{R}^n$ to $\mathbb{R}^k$, which happens to restrict to the identity on $V$. – Arturo Magidin Jan 29 '12 at 21:38
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://math.stackexchange.com/questions/103108/can-a-linear-mapping-be-invertible-when-its-matrix-is-not/103372", "fetch_time": 1369392507000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2013-20/segments/1368704590423/warc/CC-MAIN-20130516114310-00086-ip-10-60-113-184.ec2.internal.warc.gz", "warc_record_offset": 167657468, "warc_record_length": 12979, "token_count": 1663, "char_count": 5439, "score": 3.796875, "int_score": 4, "crawl": "CC-MAIN-2013-20", "snapshot_type": "latest", "language": "en", "language_score": 0.8703136444091797, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00026-of-00064.parquet"}