Weird condition for null space and range implying invertibility
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
add a comment |
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
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
add a comment |
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
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
linear-algebra
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
add a comment |
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
add a comment |
1 Answer
1
active
oldest
votes
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.
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
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
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.
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
add a comment |
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.
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
add a comment |
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.
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.
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
add a comment |
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
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
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