Weird condition for null space and range implying invertibility












1














The question is:



Let $A = begin{bmatrix} A_1 \ A_2end{bmatrix}in mathbb{M}_{ntimes n}(mathbb{C})$ (an $ntimes n$ matrix with entries on $mathbb{C}$) and suppose that $mathcal{N}(A_1)=mathcal{R}(A_2^top)$ ($mathcal{N}$ being the null space, and $mathcal{R}$ the range). Prove that $A$ is invertible.



My thought process was, to prove that $A$ is invertible, it seems reasonable that from what we're given I'm gonna try to prove that $n(A)=0$ (the dimension of the null space of $A$ is $0$).



Well, we have that $dim(mathcal{N}(A))=dim(mathcal{N}(A_1)capmathcal{N}(A_2))$, which is equal to $dim(mathcal{N}(A_1))+dim(mathcal{N}(A_2))-dim(mathcal{N}(A_1)+mathcal{N}(A_2))$. By the hypothesis, $mathcal{N}(A_1)=mathcal{R}(A_2^top)$, and $mathcal{R}(A_2^top)=mathcal{R}(A_2)$, so we're left with



$$dim(mathcal{N}(A))=n-dim(mathcal{N}(A_1)+mathcal{N}(A_2))$$



but I can't find a way to justify why $dim(mathcal{N}(A_1)+mathcal{N}(A_2))=n$, which is what it has to be if $A$ is invertible...



Edit: where $mathcal{R}(A_2^top)=mathcal{R}(A_2)$ is, it's actually meant to be $r(A_2)=r(A_2^top)$ (the rank of these matrices is equal).










share|cite|improve this question
























  • I think I've got it... aren't $mathcal{R}(A_2^top)$ and $mathcal{N}(A_2)$ orthogonal subspaces? The dimension of that sum would then be $n$!
    – AstlyDichrar
    Nov 18 '18 at 22:35
















1














The question is:



Let $A = begin{bmatrix} A_1 \ A_2end{bmatrix}in mathbb{M}_{ntimes n}(mathbb{C})$ (an $ntimes n$ matrix with entries on $mathbb{C}$) and suppose that $mathcal{N}(A_1)=mathcal{R}(A_2^top)$ ($mathcal{N}$ being the null space, and $mathcal{R}$ the range). Prove that $A$ is invertible.



My thought process was, to prove that $A$ is invertible, it seems reasonable that from what we're given I'm gonna try to prove that $n(A)=0$ (the dimension of the null space of $A$ is $0$).



Well, we have that $dim(mathcal{N}(A))=dim(mathcal{N}(A_1)capmathcal{N}(A_2))$, which is equal to $dim(mathcal{N}(A_1))+dim(mathcal{N}(A_2))-dim(mathcal{N}(A_1)+mathcal{N}(A_2))$. By the hypothesis, $mathcal{N}(A_1)=mathcal{R}(A_2^top)$, and $mathcal{R}(A_2^top)=mathcal{R}(A_2)$, so we're left with



$$dim(mathcal{N}(A))=n-dim(mathcal{N}(A_1)+mathcal{N}(A_2))$$



but I can't find a way to justify why $dim(mathcal{N}(A_1)+mathcal{N}(A_2))=n$, which is what it has to be if $A$ is invertible...



Edit: where $mathcal{R}(A_2^top)=mathcal{R}(A_2)$ is, it's actually meant to be $r(A_2)=r(A_2^top)$ (the rank of these matrices is equal).










share|cite|improve this question
























  • I think I've got it... aren't $mathcal{R}(A_2^top)$ and $mathcal{N}(A_2)$ orthogonal subspaces? The dimension of that sum would then be $n$!
    – AstlyDichrar
    Nov 18 '18 at 22:35














1












1








1


1





The question is:



Let $A = begin{bmatrix} A_1 \ A_2end{bmatrix}in mathbb{M}_{ntimes n}(mathbb{C})$ (an $ntimes n$ matrix with entries on $mathbb{C}$) and suppose that $mathcal{N}(A_1)=mathcal{R}(A_2^top)$ ($mathcal{N}$ being the null space, and $mathcal{R}$ the range). Prove that $A$ is invertible.



My thought process was, to prove that $A$ is invertible, it seems reasonable that from what we're given I'm gonna try to prove that $n(A)=0$ (the dimension of the null space of $A$ is $0$).



Well, we have that $dim(mathcal{N}(A))=dim(mathcal{N}(A_1)capmathcal{N}(A_2))$, which is equal to $dim(mathcal{N}(A_1))+dim(mathcal{N}(A_2))-dim(mathcal{N}(A_1)+mathcal{N}(A_2))$. By the hypothesis, $mathcal{N}(A_1)=mathcal{R}(A_2^top)$, and $mathcal{R}(A_2^top)=mathcal{R}(A_2)$, so we're left with



$$dim(mathcal{N}(A))=n-dim(mathcal{N}(A_1)+mathcal{N}(A_2))$$



but I can't find a way to justify why $dim(mathcal{N}(A_1)+mathcal{N}(A_2))=n$, which is what it has to be if $A$ is invertible...



Edit: where $mathcal{R}(A_2^top)=mathcal{R}(A_2)$ is, it's actually meant to be $r(A_2)=r(A_2^top)$ (the rank of these matrices is equal).










share|cite|improve this question















The question is:



Let $A = begin{bmatrix} A_1 \ A_2end{bmatrix}in mathbb{M}_{ntimes n}(mathbb{C})$ (an $ntimes n$ matrix with entries on $mathbb{C}$) and suppose that $mathcal{N}(A_1)=mathcal{R}(A_2^top)$ ($mathcal{N}$ being the null space, and $mathcal{R}$ the range). Prove that $A$ is invertible.



My thought process was, to prove that $A$ is invertible, it seems reasonable that from what we're given I'm gonna try to prove that $n(A)=0$ (the dimension of the null space of $A$ is $0$).



Well, we have that $dim(mathcal{N}(A))=dim(mathcal{N}(A_1)capmathcal{N}(A_2))$, which is equal to $dim(mathcal{N}(A_1))+dim(mathcal{N}(A_2))-dim(mathcal{N}(A_1)+mathcal{N}(A_2))$. By the hypothesis, $mathcal{N}(A_1)=mathcal{R}(A_2^top)$, and $mathcal{R}(A_2^top)=mathcal{R}(A_2)$, so we're left with



$$dim(mathcal{N}(A))=n-dim(mathcal{N}(A_1)+mathcal{N}(A_2))$$



but I can't find a way to justify why $dim(mathcal{N}(A_1)+mathcal{N}(A_2))=n$, which is what it has to be if $A$ is invertible...



Edit: where $mathcal{R}(A_2^top)=mathcal{R}(A_2)$ is, it's actually meant to be $r(A_2)=r(A_2^top)$ (the rank of these matrices is equal).







linear-algebra






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 19 '18 at 16:49

























asked Nov 18 '18 at 22:16









AstlyDichrar

39618




39618












  • I think I've got it... aren't $mathcal{R}(A_2^top)$ and $mathcal{N}(A_2)$ orthogonal subspaces? The dimension of that sum would then be $n$!
    – AstlyDichrar
    Nov 18 '18 at 22:35


















  • I think I've got it... aren't $mathcal{R}(A_2^top)$ and $mathcal{N}(A_2)$ orthogonal subspaces? The dimension of that sum would then be $n$!
    – AstlyDichrar
    Nov 18 '18 at 22:35
















I think I've got it... aren't $mathcal{R}(A_2^top)$ and $mathcal{N}(A_2)$ orthogonal subspaces? The dimension of that sum would then be $n$!
– AstlyDichrar
Nov 18 '18 at 22:35




I think I've got it... aren't $mathcal{R}(A_2^top)$ and $mathcal{N}(A_2)$ orthogonal subspaces? The dimension of that sum would then be $n$!
– AstlyDichrar
Nov 18 '18 at 22:35










1 Answer
1






active

oldest

votes


















1














Assume that $A$ is not invertible. Then there exists a nonzero vector $v in mathbb{C}^n$ such that
$$0 = Av = begin{bmatrix}A_1v \ A_2vend{bmatrix}.$$
This implies that $v in mathcal{N}(A_1)$ and $v in mathcal{N}(A_2)$. But then $v in mathcal{R}(A_2^top)$, so there exists a vector $u$ such that $v = A_2^top u$, and hence
$$0 neq v^top v = (A_2^top u)^top v = u^top A_2 v = u^top 0 = 0,$$
a contradiction. So the assumption cannot be true, and $A$ is therefore invertible.






share|cite|improve this answer





















  • That seems good, and way easier than what I did. Is my comment wrong, though?
    – AstlyDichrar
    Nov 19 '18 at 16:00












  • It's not immediately clear to me why $$text{dim}(mathcal{N}(A_1) cap mathcal{N}(A_2)) = text{dim}(mathcal{N}(A_1)) + text{dim}(mathcal{N}(A_2)) - text{dim}(mathcal{N}(A_1) + mathcal{N}(A_2)).$$ It could be that I'm missing something obvious here. Also, we will typically not have $mathcal{R}(A_2^top) = mathcal{R}(A_2)$; indeed, since $A_2$ is not square, the length of the vectors in each of those spaces will not be the same. Your comment on $mathcal{R}(A_2^top)$ being orthogonal to $mathcal{N}(A_2)$ is correct though.
    – OtZman
    Nov 19 '18 at 16:12








  • 1




    The formula is for the dimension of the sum of two subspaces, it's well known (check 2.43 in Axler's Linear Algebra Done Right, for example, or this: mathonline.wikidot.com/the-dimension-of-a-sum-of-subspaces). The second part was my mistake, it's not $mathcal{R}(A_2^top)=mathcal{R}(A_2)$ that I meant to say, but actually $r(A_2)=r(A_2^top)$ (the rank of $A_2$ and its transpose is equal).
    – AstlyDichrar
    Nov 19 '18 at 16:46













Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3004205%2fweird-condition-for-null-space-and-range-implying-invertibility%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









1














Assume that $A$ is not invertible. Then there exists a nonzero vector $v in mathbb{C}^n$ such that
$$0 = Av = begin{bmatrix}A_1v \ A_2vend{bmatrix}.$$
This implies that $v in mathcal{N}(A_1)$ and $v in mathcal{N}(A_2)$. But then $v in mathcal{R}(A_2^top)$, so there exists a vector $u$ such that $v = A_2^top u$, and hence
$$0 neq v^top v = (A_2^top u)^top v = u^top A_2 v = u^top 0 = 0,$$
a contradiction. So the assumption cannot be true, and $A$ is therefore invertible.






share|cite|improve this answer





















  • That seems good, and way easier than what I did. Is my comment wrong, though?
    – AstlyDichrar
    Nov 19 '18 at 16:00












  • It's not immediately clear to me why $$text{dim}(mathcal{N}(A_1) cap mathcal{N}(A_2)) = text{dim}(mathcal{N}(A_1)) + text{dim}(mathcal{N}(A_2)) - text{dim}(mathcal{N}(A_1) + mathcal{N}(A_2)).$$ It could be that I'm missing something obvious here. Also, we will typically not have $mathcal{R}(A_2^top) = mathcal{R}(A_2)$; indeed, since $A_2$ is not square, the length of the vectors in each of those spaces will not be the same. Your comment on $mathcal{R}(A_2^top)$ being orthogonal to $mathcal{N}(A_2)$ is correct though.
    – OtZman
    Nov 19 '18 at 16:12








  • 1




    The formula is for the dimension of the sum of two subspaces, it's well known (check 2.43 in Axler's Linear Algebra Done Right, for example, or this: mathonline.wikidot.com/the-dimension-of-a-sum-of-subspaces). The second part was my mistake, it's not $mathcal{R}(A_2^top)=mathcal{R}(A_2)$ that I meant to say, but actually $r(A_2)=r(A_2^top)$ (the rank of $A_2$ and its transpose is equal).
    – AstlyDichrar
    Nov 19 '18 at 16:46


















1














Assume that $A$ is not invertible. Then there exists a nonzero vector $v in mathbb{C}^n$ such that
$$0 = Av = begin{bmatrix}A_1v \ A_2vend{bmatrix}.$$
This implies that $v in mathcal{N}(A_1)$ and $v in mathcal{N}(A_2)$. But then $v in mathcal{R}(A_2^top)$, so there exists a vector $u$ such that $v = A_2^top u$, and hence
$$0 neq v^top v = (A_2^top u)^top v = u^top A_2 v = u^top 0 = 0,$$
a contradiction. So the assumption cannot be true, and $A$ is therefore invertible.






share|cite|improve this answer





















  • That seems good, and way easier than what I did. Is my comment wrong, though?
    – AstlyDichrar
    Nov 19 '18 at 16:00












  • It's not immediately clear to me why $$text{dim}(mathcal{N}(A_1) cap mathcal{N}(A_2)) = text{dim}(mathcal{N}(A_1)) + text{dim}(mathcal{N}(A_2)) - text{dim}(mathcal{N}(A_1) + mathcal{N}(A_2)).$$ It could be that I'm missing something obvious here. Also, we will typically not have $mathcal{R}(A_2^top) = mathcal{R}(A_2)$; indeed, since $A_2$ is not square, the length of the vectors in each of those spaces will not be the same. Your comment on $mathcal{R}(A_2^top)$ being orthogonal to $mathcal{N}(A_2)$ is correct though.
    – OtZman
    Nov 19 '18 at 16:12








  • 1




    The formula is for the dimension of the sum of two subspaces, it's well known (check 2.43 in Axler's Linear Algebra Done Right, for example, or this: mathonline.wikidot.com/the-dimension-of-a-sum-of-subspaces). The second part was my mistake, it's not $mathcal{R}(A_2^top)=mathcal{R}(A_2)$ that I meant to say, but actually $r(A_2)=r(A_2^top)$ (the rank of $A_2$ and its transpose is equal).
    – AstlyDichrar
    Nov 19 '18 at 16:46
















1












1








1






Assume that $A$ is not invertible. Then there exists a nonzero vector $v in mathbb{C}^n$ such that
$$0 = Av = begin{bmatrix}A_1v \ A_2vend{bmatrix}.$$
This implies that $v in mathcal{N}(A_1)$ and $v in mathcal{N}(A_2)$. But then $v in mathcal{R}(A_2^top)$, so there exists a vector $u$ such that $v = A_2^top u$, and hence
$$0 neq v^top v = (A_2^top u)^top v = u^top A_2 v = u^top 0 = 0,$$
a contradiction. So the assumption cannot be true, and $A$ is therefore invertible.






share|cite|improve this answer












Assume that $A$ is not invertible. Then there exists a nonzero vector $v in mathbb{C}^n$ such that
$$0 = Av = begin{bmatrix}A_1v \ A_2vend{bmatrix}.$$
This implies that $v in mathcal{N}(A_1)$ and $v in mathcal{N}(A_2)$. But then $v in mathcal{R}(A_2^top)$, so there exists a vector $u$ such that $v = A_2^top u$, and hence
$$0 neq v^top v = (A_2^top u)^top v = u^top A_2 v = u^top 0 = 0,$$
a contradiction. So the assumption cannot be true, and $A$ is therefore invertible.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Nov 19 '18 at 2:00









OtZman

814




814












  • That seems good, and way easier than what I did. Is my comment wrong, though?
    – AstlyDichrar
    Nov 19 '18 at 16:00












  • It's not immediately clear to me why $$text{dim}(mathcal{N}(A_1) cap mathcal{N}(A_2)) = text{dim}(mathcal{N}(A_1)) + text{dim}(mathcal{N}(A_2)) - text{dim}(mathcal{N}(A_1) + mathcal{N}(A_2)).$$ It could be that I'm missing something obvious here. Also, we will typically not have $mathcal{R}(A_2^top) = mathcal{R}(A_2)$; indeed, since $A_2$ is not square, the length of the vectors in each of those spaces will not be the same. Your comment on $mathcal{R}(A_2^top)$ being orthogonal to $mathcal{N}(A_2)$ is correct though.
    – OtZman
    Nov 19 '18 at 16:12








  • 1




    The formula is for the dimension of the sum of two subspaces, it's well known (check 2.43 in Axler's Linear Algebra Done Right, for example, or this: mathonline.wikidot.com/the-dimension-of-a-sum-of-subspaces). The second part was my mistake, it's not $mathcal{R}(A_2^top)=mathcal{R}(A_2)$ that I meant to say, but actually $r(A_2)=r(A_2^top)$ (the rank of $A_2$ and its transpose is equal).
    – AstlyDichrar
    Nov 19 '18 at 16:46




















  • That seems good, and way easier than what I did. Is my comment wrong, though?
    – AstlyDichrar
    Nov 19 '18 at 16:00












  • It's not immediately clear to me why $$text{dim}(mathcal{N}(A_1) cap mathcal{N}(A_2)) = text{dim}(mathcal{N}(A_1)) + text{dim}(mathcal{N}(A_2)) - text{dim}(mathcal{N}(A_1) + mathcal{N}(A_2)).$$ It could be that I'm missing something obvious here. Also, we will typically not have $mathcal{R}(A_2^top) = mathcal{R}(A_2)$; indeed, since $A_2$ is not square, the length of the vectors in each of those spaces will not be the same. Your comment on $mathcal{R}(A_2^top)$ being orthogonal to $mathcal{N}(A_2)$ is correct though.
    – OtZman
    Nov 19 '18 at 16:12








  • 1




    The formula is for the dimension of the sum of two subspaces, it's well known (check 2.43 in Axler's Linear Algebra Done Right, for example, or this: mathonline.wikidot.com/the-dimension-of-a-sum-of-subspaces). The second part was my mistake, it's not $mathcal{R}(A_2^top)=mathcal{R}(A_2)$ that I meant to say, but actually $r(A_2)=r(A_2^top)$ (the rank of $A_2$ and its transpose is equal).
    – AstlyDichrar
    Nov 19 '18 at 16:46


















That seems good, and way easier than what I did. Is my comment wrong, though?
– AstlyDichrar
Nov 19 '18 at 16:00






That seems good, and way easier than what I did. Is my comment wrong, though?
– AstlyDichrar
Nov 19 '18 at 16:00














It's not immediately clear to me why $$text{dim}(mathcal{N}(A_1) cap mathcal{N}(A_2)) = text{dim}(mathcal{N}(A_1)) + text{dim}(mathcal{N}(A_2)) - text{dim}(mathcal{N}(A_1) + mathcal{N}(A_2)).$$ It could be that I'm missing something obvious here. Also, we will typically not have $mathcal{R}(A_2^top) = mathcal{R}(A_2)$; indeed, since $A_2$ is not square, the length of the vectors in each of those spaces will not be the same. Your comment on $mathcal{R}(A_2^top)$ being orthogonal to $mathcal{N}(A_2)$ is correct though.
– OtZman
Nov 19 '18 at 16:12






It's not immediately clear to me why $$text{dim}(mathcal{N}(A_1) cap mathcal{N}(A_2)) = text{dim}(mathcal{N}(A_1)) + text{dim}(mathcal{N}(A_2)) - text{dim}(mathcal{N}(A_1) + mathcal{N}(A_2)).$$ It could be that I'm missing something obvious here. Also, we will typically not have $mathcal{R}(A_2^top) = mathcal{R}(A_2)$; indeed, since $A_2$ is not square, the length of the vectors in each of those spaces will not be the same. Your comment on $mathcal{R}(A_2^top)$ being orthogonal to $mathcal{N}(A_2)$ is correct though.
– OtZman
Nov 19 '18 at 16:12






1




1




The formula is for the dimension of the sum of two subspaces, it's well known (check 2.43 in Axler's Linear Algebra Done Right, for example, or this: mathonline.wikidot.com/the-dimension-of-a-sum-of-subspaces). The second part was my mistake, it's not $mathcal{R}(A_2^top)=mathcal{R}(A_2)$ that I meant to say, but actually $r(A_2)=r(A_2^top)$ (the rank of $A_2$ and its transpose is equal).
– AstlyDichrar
Nov 19 '18 at 16:46






The formula is for the dimension of the sum of two subspaces, it's well known (check 2.43 in Axler's Linear Algebra Done Right, for example, or this: mathonline.wikidot.com/the-dimension-of-a-sum-of-subspaces). The second part was my mistake, it's not $mathcal{R}(A_2^top)=mathcal{R}(A_2)$ that I meant to say, but actually $r(A_2)=r(A_2^top)$ (the rank of $A_2$ and its transpose is equal).
– AstlyDichrar
Nov 19 '18 at 16:46




















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3004205%2fweird-condition-for-null-space-and-range-implying-invertibility%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

QoS: MAC-Priority for clients behind a repeater

Ивакино (Тотемский район)

Can't locate Autom4te/ChannelDefs.pm in @INC (when it definitely is there)