Intuition/Simple Proofs required about $kernel$, $rank$, $co-rank$

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
2
down vote

favorite
2












This question might be so elementary , but I love to see some geometric/algebraic approach for these facts concerning transpose matrix. I know some basic thing about DUAL space but those are not satisfying in the way I know.



$1. : rank (A)=rank(A^t)$



$2. : ker (A) = co-image(A^t)$



$3. : co-ker(A)= image(A^t)$




P.S. One may re-state the third fact as



$$Ax=0 , x^ty=0 implies exists z: A^tz=y$$



Is there any simple way just using basic algebra to prove the fact?



Thanks community







share|cite|improve this question






















  • $Ax=0$ iff $x^tA^t=0$ and thus $ker(A)=im(A^t)^perp$, what is $co$?
    – Peter Melech
    Aug 17 at 8:49














up vote
2
down vote

favorite
2












This question might be so elementary , but I love to see some geometric/algebraic approach for these facts concerning transpose matrix. I know some basic thing about DUAL space but those are not satisfying in the way I know.



$1. : rank (A)=rank(A^t)$



$2. : ker (A) = co-image(A^t)$



$3. : co-ker(A)= image(A^t)$




P.S. One may re-state the third fact as



$$Ax=0 , x^ty=0 implies exists z: A^tz=y$$



Is there any simple way just using basic algebra to prove the fact?



Thanks community







share|cite|improve this question






















  • $Ax=0$ iff $x^tA^t=0$ and thus $ker(A)=im(A^t)^perp$, what is $co$?
    – Peter Melech
    Aug 17 at 8:49












up vote
2
down vote

favorite
2









up vote
2
down vote

favorite
2






2





This question might be so elementary , but I love to see some geometric/algebraic approach for these facts concerning transpose matrix. I know some basic thing about DUAL space but those are not satisfying in the way I know.



$1. : rank (A)=rank(A^t)$



$2. : ker (A) = co-image(A^t)$



$3. : co-ker(A)= image(A^t)$




P.S. One may re-state the third fact as



$$Ax=0 , x^ty=0 implies exists z: A^tz=y$$



Is there any simple way just using basic algebra to prove the fact?



Thanks community







share|cite|improve this question














This question might be so elementary , but I love to see some geometric/algebraic approach for these facts concerning transpose matrix. I know some basic thing about DUAL space but those are not satisfying in the way I know.



$1. : rank (A)=rank(A^t)$



$2. : ker (A) = co-image(A^t)$



$3. : co-ker(A)= image(A^t)$




P.S. One may re-state the third fact as



$$Ax=0 , x^ty=0 implies exists z: A^tz=y$$



Is there any simple way just using basic algebra to prove the fact?



Thanks community









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 18 at 16:14

























asked Aug 17 at 8:12









Leila

3,42142755




3,42142755











  • $Ax=0$ iff $x^tA^t=0$ and thus $ker(A)=im(A^t)^perp$, what is $co$?
    – Peter Melech
    Aug 17 at 8:49
















  • $Ax=0$ iff $x^tA^t=0$ and thus $ker(A)=im(A^t)^perp$, what is $co$?
    – Peter Melech
    Aug 17 at 8:49















$Ax=0$ iff $x^tA^t=0$ and thus $ker(A)=im(A^t)^perp$, what is $co$?
– Peter Melech
Aug 17 at 8:49




$Ax=0$ iff $x^tA^t=0$ and thus $ker(A)=im(A^t)^perp$, what is $co$?
– Peter Melech
Aug 17 at 8:49















active

oldest

votes











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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
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%2f2885526%2fintuition-simple-proofs-required-about-kernel-rank-co-rank%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2885526%2fintuition-simple-proofs-required-about-kernel-rank-co-rank%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

Is there any way to eliminate the singular point to solve this integral by hand or by approximations?

Why am i infinitely getting the same tweet with the Twitter Search API?

Carbon dioxide