Matrix $C in M_n(mathbbR)$ $lambda_1=lambda_2=0$ rankMatrix rank from rank of sub matricessimilar matrices, real eigenvalues, matrix rank,Finding the rank of an non-invertible matrixRank Deficient matrixRank of a real matrixCan a matrix whose rows are linear combinations of rows of a full-rank matrix be guaranteed to be full rank?Rank of a matrix plus a numberRank of a Hermitian matrix in terms of Eigen values?Rank of matrix relatedWhy is the adjugate matrix the null matrix?
Personal Teleportation as a Weapon
Implement the Thanos sorting algorithm
How can I replace every global instance of "x[2]" with "x_2"
Why does John Bercow say “unlock” after reading out the results of a vote?
Greatest common substring
What is the intuitive meaning of having a linear relationship between the logs of two variables?
How does it work when somebody invests in my business?
Using parameter substitution on a Bash array
Modify casing of marked letters
Hide Select Output from T-SQL
Star/Wye electrical connection math symbol
How do I rename a LINUX host without needing to reboot for the rename to take effect?
when is out of tune ok?
Print name if parameter passed to function
How to be diplomatic in refusing to write code that breaches the privacy of our users
Valid Badminton Score?
Is it correct to write "is not focus on"?
Where in the Bible does the greeting ("Dominus Vobiscum") used at Mass come from?
What will be the benefits of Brexit?
Why is delta-v is the most useful quantity for planning space travel?
Tiptoe or tiphoof? Adjusting words to better fit fantasy races
apt-get update is failing in debian
Applicability of Single Responsibility Principle
What to do with wrong results in talks?
Matrix $C in M_n(mathbbR)$ $lambda_1=lambda_2=0$ rank
Matrix rank from rank of sub matricessimilar matrices, real eigenvalues, matrix rank,Finding the rank of an non-invertible matrixRank Deficient matrixRank of a real matrixCan a matrix whose rows are linear combinations of rows of a full-rank matrix be guaranteed to be full rank?Rank of a matrix plus a numberRank of a Hermitian matrix in terms of Eigen values?Rank of matrix relatedWhy is the adjugate matrix the null matrix?
$begingroup$
If a have a matrix $C in M_n(mathbbR)$ with $C^2=O_n$ and $n=2k+1$ that has at least to eigenvalues equal to $0$. Can I say from this that the $rank Cleq fracn-12?$
matrix-rank
$endgroup$
add a comment |
$begingroup$
If a have a matrix $C in M_n(mathbbR)$ with $C^2=O_n$ and $n=2k+1$ that has at least to eigenvalues equal to $0$. Can I say from this that the $rank Cleq fracn-12?$
matrix-rank
$endgroup$
2
$begingroup$
You need only assume $C^2 = O$, then in fact all eigenvalues are $0$, since $C$ is nilpotent.
$endgroup$
– Minus One-Twelfth
Mar 17 at 12:46
1
$begingroup$
Since $C^2=0$, then $operatornameIm(C)subseteqoperatornameKer(C)$. Then $n=operatornamedimoperatornameKer(C)+operatornamedimoperatornameIm(C)geq 2operatornamedimoperatornameIm(C)$. Since $n$ is odd and $operatornamedimoperatornameIm(C)$ a natural number, then $fracn-12geq operatornamedimoperatornameIm(C)$.
$endgroup$
– user647486
Mar 17 at 12:56
add a comment |
$begingroup$
If a have a matrix $C in M_n(mathbbR)$ with $C^2=O_n$ and $n=2k+1$ that has at least to eigenvalues equal to $0$. Can I say from this that the $rank Cleq fracn-12?$
matrix-rank
$endgroup$
If a have a matrix $C in M_n(mathbbR)$ with $C^2=O_n$ and $n=2k+1$ that has at least to eigenvalues equal to $0$. Can I say from this that the $rank Cleq fracn-12?$
matrix-rank
matrix-rank
asked Mar 17 at 12:17
mathlearningmathlearning
1887
1887
2
$begingroup$
You need only assume $C^2 = O$, then in fact all eigenvalues are $0$, since $C$ is nilpotent.
$endgroup$
– Minus One-Twelfth
Mar 17 at 12:46
1
$begingroup$
Since $C^2=0$, then $operatornameIm(C)subseteqoperatornameKer(C)$. Then $n=operatornamedimoperatornameKer(C)+operatornamedimoperatornameIm(C)geq 2operatornamedimoperatornameIm(C)$. Since $n$ is odd and $operatornamedimoperatornameIm(C)$ a natural number, then $fracn-12geq operatornamedimoperatornameIm(C)$.
$endgroup$
– user647486
Mar 17 at 12:56
add a comment |
2
$begingroup$
You need only assume $C^2 = O$, then in fact all eigenvalues are $0$, since $C$ is nilpotent.
$endgroup$
– Minus One-Twelfth
Mar 17 at 12:46
1
$begingroup$
Since $C^2=0$, then $operatornameIm(C)subseteqoperatornameKer(C)$. Then $n=operatornamedimoperatornameKer(C)+operatornamedimoperatornameIm(C)geq 2operatornamedimoperatornameIm(C)$. Since $n$ is odd and $operatornamedimoperatornameIm(C)$ a natural number, then $fracn-12geq operatornamedimoperatornameIm(C)$.
$endgroup$
– user647486
Mar 17 at 12:56
2
2
$begingroup$
You need only assume $C^2 = O$, then in fact all eigenvalues are $0$, since $C$ is nilpotent.
$endgroup$
– Minus One-Twelfth
Mar 17 at 12:46
$begingroup$
You need only assume $C^2 = O$, then in fact all eigenvalues are $0$, since $C$ is nilpotent.
$endgroup$
– Minus One-Twelfth
Mar 17 at 12:46
1
1
$begingroup$
Since $C^2=0$, then $operatornameIm(C)subseteqoperatornameKer(C)$. Then $n=operatornamedimoperatornameKer(C)+operatornamedimoperatornameIm(C)geq 2operatornamedimoperatornameIm(C)$. Since $n$ is odd and $operatornamedimoperatornameIm(C)$ a natural number, then $fracn-12geq operatornamedimoperatornameIm(C)$.
$endgroup$
– user647486
Mar 17 at 12:56
$begingroup$
Since $C^2=0$, then $operatornameIm(C)subseteqoperatornameKer(C)$. Then $n=operatornamedimoperatornameKer(C)+operatornamedimoperatornameIm(C)geq 2operatornamedimoperatornameIm(C)$. Since $n$ is odd and $operatornamedimoperatornameIm(C)$ a natural number, then $fracn-12geq operatornamedimoperatornameIm(C)$.
$endgroup$
– user647486
Mar 17 at 12:56
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
$newcommandrankoperatornameranknewcommandnullityoperatornamenullitynewcommandcmathbfcnewcommandmathbf0$Yes. Hints: You want to show that $rank(C)le k$. Let the columns of $C$ be $c_1,ldots,c_n$. Then since $C^2 = O$, we have $Cc_j = $ for all $j=1,ldots, n$. Now suppose by way of contradiction that $rank(C) > k$. Then since (by the rank-nullity theorem) $$nullity(C) = 2k+1-rank(C),$$ we have $$nullity(C) < 2k+1-k = k+1 Rightarrow nullity(C) le k.$$ But the columns of $C$ are all from the null space of $C$ and $rank(C) > k$. In view of the above, can you explain why this is impossible?
$endgroup$
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%2f3151474%2fmatrix-c-in-m-n-mathbbr-lambda-1-lambda-2-0-rank%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
$begingroup$
$newcommandrankoperatornameranknewcommandnullityoperatornamenullitynewcommandcmathbfcnewcommandmathbf0$Yes. Hints: You want to show that $rank(C)le k$. Let the columns of $C$ be $c_1,ldots,c_n$. Then since $C^2 = O$, we have $Cc_j = $ for all $j=1,ldots, n$. Now suppose by way of contradiction that $rank(C) > k$. Then since (by the rank-nullity theorem) $$nullity(C) = 2k+1-rank(C),$$ we have $$nullity(C) < 2k+1-k = k+1 Rightarrow nullity(C) le k.$$ But the columns of $C$ are all from the null space of $C$ and $rank(C) > k$. In view of the above, can you explain why this is impossible?
$endgroup$
add a comment |
$begingroup$
$newcommandrankoperatornameranknewcommandnullityoperatornamenullitynewcommandcmathbfcnewcommandmathbf0$Yes. Hints: You want to show that $rank(C)le k$. Let the columns of $C$ be $c_1,ldots,c_n$. Then since $C^2 = O$, we have $Cc_j = $ for all $j=1,ldots, n$. Now suppose by way of contradiction that $rank(C) > k$. Then since (by the rank-nullity theorem) $$nullity(C) = 2k+1-rank(C),$$ we have $$nullity(C) < 2k+1-k = k+1 Rightarrow nullity(C) le k.$$ But the columns of $C$ are all from the null space of $C$ and $rank(C) > k$. In view of the above, can you explain why this is impossible?
$endgroup$
add a comment |
$begingroup$
$newcommandrankoperatornameranknewcommandnullityoperatornamenullitynewcommandcmathbfcnewcommandmathbf0$Yes. Hints: You want to show that $rank(C)le k$. Let the columns of $C$ be $c_1,ldots,c_n$. Then since $C^2 = O$, we have $Cc_j = $ for all $j=1,ldots, n$. Now suppose by way of contradiction that $rank(C) > k$. Then since (by the rank-nullity theorem) $$nullity(C) = 2k+1-rank(C),$$ we have $$nullity(C) < 2k+1-k = k+1 Rightarrow nullity(C) le k.$$ But the columns of $C$ are all from the null space of $C$ and $rank(C) > k$. In view of the above, can you explain why this is impossible?
$endgroup$
$newcommandrankoperatornameranknewcommandnullityoperatornamenullitynewcommandcmathbfcnewcommandmathbf0$Yes. Hints: You want to show that $rank(C)le k$. Let the columns of $C$ be $c_1,ldots,c_n$. Then since $C^2 = O$, we have $Cc_j = $ for all $j=1,ldots, n$. Now suppose by way of contradiction that $rank(C) > k$. Then since (by the rank-nullity theorem) $$nullity(C) = 2k+1-rank(C),$$ we have $$nullity(C) < 2k+1-k = k+1 Rightarrow nullity(C) le k.$$ But the columns of $C$ are all from the null space of $C$ and $rank(C) > k$. In view of the above, can you explain why this is impossible?
edited Mar 17 at 12:50
answered Mar 17 at 12:44
Minus One-TwelfthMinus One-Twelfth
2,823413
2,823413
add a comment |
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.
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%2f3151474%2fmatrix-c-in-m-n-mathbbr-lambda-1-lambda-2-0-rank%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
2
$begingroup$
You need only assume $C^2 = O$, then in fact all eigenvalues are $0$, since $C$ is nilpotent.
$endgroup$
– Minus One-Twelfth
Mar 17 at 12:46
1
$begingroup$
Since $C^2=0$, then $operatornameIm(C)subseteqoperatornameKer(C)$. Then $n=operatornamedimoperatornameKer(C)+operatornamedimoperatornameIm(C)geq 2operatornamedimoperatornameIm(C)$. Since $n$ is odd and $operatornamedimoperatornameIm(C)$ a natural number, then $fracn-12geq operatornamedimoperatornameIm(C)$.
$endgroup$
– user647486
Mar 17 at 12:56