What are the eigenspaces and the minimal polynomial of the “transposing about the anti-diagonal”...
$begingroup$
Given a field $K$ of characteristics zero, let the endomorphism $f:M_2(K)to M_2(K)$ be defined by $fleft(begin{bmatrix}a&b\c&dend{bmatrix}right)=begin{bmatrix}d&b\c&aend{bmatrix}$ for every $begin{bmatrix}a&b\c&dend{bmatrix}in M_2(K).$
How can I find the eigenspaces and the minimal polynomial of $f$?
And why is $operatorname{char} K=0$ important?
What I noticed is that $f$ is invertible (hence its eigenvalues are non-zero) and $f^{-1}=f$. But I couldn't go further than this
linear-algebra matrices eigenvalues-eigenvectors linear-transformations transpose
$endgroup$
add a comment |
$begingroup$
Given a field $K$ of characteristics zero, let the endomorphism $f:M_2(K)to M_2(K)$ be defined by $fleft(begin{bmatrix}a&b\c&dend{bmatrix}right)=begin{bmatrix}d&b\c&aend{bmatrix}$ for every $begin{bmatrix}a&b\c&dend{bmatrix}in M_2(K).$
How can I find the eigenspaces and the minimal polynomial of $f$?
And why is $operatorname{char} K=0$ important?
What I noticed is that $f$ is invertible (hence its eigenvalues are non-zero) and $f^{-1}=f$. But I couldn't go further than this
linear-algebra matrices eigenvalues-eigenvectors linear-transformations transpose
$endgroup$
add a comment |
$begingroup$
Given a field $K$ of characteristics zero, let the endomorphism $f:M_2(K)to M_2(K)$ be defined by $fleft(begin{bmatrix}a&b\c&dend{bmatrix}right)=begin{bmatrix}d&b\c&aend{bmatrix}$ for every $begin{bmatrix}a&b\c&dend{bmatrix}in M_2(K).$
How can I find the eigenspaces and the minimal polynomial of $f$?
And why is $operatorname{char} K=0$ important?
What I noticed is that $f$ is invertible (hence its eigenvalues are non-zero) and $f^{-1}=f$. But I couldn't go further than this
linear-algebra matrices eigenvalues-eigenvectors linear-transformations transpose
$endgroup$
Given a field $K$ of characteristics zero, let the endomorphism $f:M_2(K)to M_2(K)$ be defined by $fleft(begin{bmatrix}a&b\c&dend{bmatrix}right)=begin{bmatrix}d&b\c&aend{bmatrix}$ for every $begin{bmatrix}a&b\c&dend{bmatrix}in M_2(K).$
How can I find the eigenspaces and the minimal polynomial of $f$?
And why is $operatorname{char} K=0$ important?
What I noticed is that $f$ is invertible (hence its eigenvalues are non-zero) and $f^{-1}=f$. But I couldn't go further than this
linear-algebra matrices eigenvalues-eigenvectors linear-transformations transpose
linear-algebra matrices eigenvalues-eigenvectors linear-transformations transpose
asked Jan 23 at 12:16
LearnerLearner
17510
17510
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Since as you noted $f^2=1$, and $fneqpm1$, it follows that $X^2-1$ is indeed the minimum polynomial of $f$. The eigenvalues are $+1$ an $-1$. We have $f(A)=1cdot A$ for $Ain$Mat$_2(K)$ if and only if $$begin{pmatrix}d & b \ c & aend{pmatrix}=begin{pmatrix}a & b \ c & dend{pmatrix},$$
if and only if $a=d$, so the eigenspace for $lambda=+1$ is
$$E_1=left{begin{pmatrix}a & b \ c & aend{pmatrix} | a,b,cin Kright}.$$
Similarly, the eigenspace for $lambda=-1$ is found by studying $f(A)=-A$, which gives $d=-a$, $b=-b$, $c=-c$, hence $d=-a$, $b=0=c$ when char$(K)neq2$:
$$E_{-1}=left{begin{pmatrix}a & 0 \ 0 & -aend{pmatrix} | ain Kright}.$$
By the way, $f$ is the symplectic involution, and satisfies $f(AB)=f(B)f(A)$ in addition. Moreover $E_1$ is the set of symmetric elements with respect to the involution and $E_{-1}$ is the set of skew-symmetric elements. You can define a symplectic involution on $ntimes n$ matrices whenever $n$ is even.
$endgroup$
1
$begingroup$
Very instructive and exhaustive answer, thank you!
$endgroup$
– Learner
Jan 23 at 15:03
add a comment |
$begingroup$
Let$$E_1=begin{bmatrix}1&0\0&0end{bmatrix}, E_2=begin{bmatrix}0&1\0&0end{bmatrix}, E_3=begin{bmatrix}0&0\1&0end{bmatrix},text{ and }E_4=begin{bmatrix}0&0\0&1end{bmatrix}.$$Then ${E_1,E_2,E_3,E_4}$ is a basis of $M_2(mathbb{R})$ and the matrix of $f$ with respect to this basis is$$begin{bmatrix}0&0&0&1\0&1&0&0\0&0&1&0\1&0&0&0end{bmatrix}.$$Can you take it from here?
$endgroup$
$begingroup$
The minimal polynomial of your matrix is $(lambda+1)(lambda-1)$ - then it's also the minimal polynomial of $f$, because it's of degree $2$, hence equal to $chi_f$. And, the eigenspaces of your matrix are the ones of $f$. All correct? Also, one thing: $K$ is isomorphic to a subset of $Bbb C$, provided that $|K|$ isn't larger than the continuum; still, I can see cardinality here doesn't make a difference, but is it enough (in an exam) to say "without loss of generality we may take $K=Bbb R$"? Thanks for your help, this cleared my thoughts!
$endgroup$
– Learner
Jan 23 at 15:02
1
$begingroup$
Yes, it's all correct.
$endgroup$
– José Carlos Santos
Jan 23 at 15:03
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%2f3084395%2fwhat-are-the-eigenspaces-and-the-minimal-polynomial-of-the-transposing-about-th%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Since as you noted $f^2=1$, and $fneqpm1$, it follows that $X^2-1$ is indeed the minimum polynomial of $f$. The eigenvalues are $+1$ an $-1$. We have $f(A)=1cdot A$ for $Ain$Mat$_2(K)$ if and only if $$begin{pmatrix}d & b \ c & aend{pmatrix}=begin{pmatrix}a & b \ c & dend{pmatrix},$$
if and only if $a=d$, so the eigenspace for $lambda=+1$ is
$$E_1=left{begin{pmatrix}a & b \ c & aend{pmatrix} | a,b,cin Kright}.$$
Similarly, the eigenspace for $lambda=-1$ is found by studying $f(A)=-A$, which gives $d=-a$, $b=-b$, $c=-c$, hence $d=-a$, $b=0=c$ when char$(K)neq2$:
$$E_{-1}=left{begin{pmatrix}a & 0 \ 0 & -aend{pmatrix} | ain Kright}.$$
By the way, $f$ is the symplectic involution, and satisfies $f(AB)=f(B)f(A)$ in addition. Moreover $E_1$ is the set of symmetric elements with respect to the involution and $E_{-1}$ is the set of skew-symmetric elements. You can define a symplectic involution on $ntimes n$ matrices whenever $n$ is even.
$endgroup$
1
$begingroup$
Very instructive and exhaustive answer, thank you!
$endgroup$
– Learner
Jan 23 at 15:03
add a comment |
$begingroup$
Since as you noted $f^2=1$, and $fneqpm1$, it follows that $X^2-1$ is indeed the minimum polynomial of $f$. The eigenvalues are $+1$ an $-1$. We have $f(A)=1cdot A$ for $Ain$Mat$_2(K)$ if and only if $$begin{pmatrix}d & b \ c & aend{pmatrix}=begin{pmatrix}a & b \ c & dend{pmatrix},$$
if and only if $a=d$, so the eigenspace for $lambda=+1$ is
$$E_1=left{begin{pmatrix}a & b \ c & aend{pmatrix} | a,b,cin Kright}.$$
Similarly, the eigenspace for $lambda=-1$ is found by studying $f(A)=-A$, which gives $d=-a$, $b=-b$, $c=-c$, hence $d=-a$, $b=0=c$ when char$(K)neq2$:
$$E_{-1}=left{begin{pmatrix}a & 0 \ 0 & -aend{pmatrix} | ain Kright}.$$
By the way, $f$ is the symplectic involution, and satisfies $f(AB)=f(B)f(A)$ in addition. Moreover $E_1$ is the set of symmetric elements with respect to the involution and $E_{-1}$ is the set of skew-symmetric elements. You can define a symplectic involution on $ntimes n$ matrices whenever $n$ is even.
$endgroup$
1
$begingroup$
Very instructive and exhaustive answer, thank you!
$endgroup$
– Learner
Jan 23 at 15:03
add a comment |
$begingroup$
Since as you noted $f^2=1$, and $fneqpm1$, it follows that $X^2-1$ is indeed the minimum polynomial of $f$. The eigenvalues are $+1$ an $-1$. We have $f(A)=1cdot A$ for $Ain$Mat$_2(K)$ if and only if $$begin{pmatrix}d & b \ c & aend{pmatrix}=begin{pmatrix}a & b \ c & dend{pmatrix},$$
if and only if $a=d$, so the eigenspace for $lambda=+1$ is
$$E_1=left{begin{pmatrix}a & b \ c & aend{pmatrix} | a,b,cin Kright}.$$
Similarly, the eigenspace for $lambda=-1$ is found by studying $f(A)=-A$, which gives $d=-a$, $b=-b$, $c=-c$, hence $d=-a$, $b=0=c$ when char$(K)neq2$:
$$E_{-1}=left{begin{pmatrix}a & 0 \ 0 & -aend{pmatrix} | ain Kright}.$$
By the way, $f$ is the symplectic involution, and satisfies $f(AB)=f(B)f(A)$ in addition. Moreover $E_1$ is the set of symmetric elements with respect to the involution and $E_{-1}$ is the set of skew-symmetric elements. You can define a symplectic involution on $ntimes n$ matrices whenever $n$ is even.
$endgroup$
Since as you noted $f^2=1$, and $fneqpm1$, it follows that $X^2-1$ is indeed the minimum polynomial of $f$. The eigenvalues are $+1$ an $-1$. We have $f(A)=1cdot A$ for $Ain$Mat$_2(K)$ if and only if $$begin{pmatrix}d & b \ c & aend{pmatrix}=begin{pmatrix}a & b \ c & dend{pmatrix},$$
if and only if $a=d$, so the eigenspace for $lambda=+1$ is
$$E_1=left{begin{pmatrix}a & b \ c & aend{pmatrix} | a,b,cin Kright}.$$
Similarly, the eigenspace for $lambda=-1$ is found by studying $f(A)=-A$, which gives $d=-a$, $b=-b$, $c=-c$, hence $d=-a$, $b=0=c$ when char$(K)neq2$:
$$E_{-1}=left{begin{pmatrix}a & 0 \ 0 & -aend{pmatrix} | ain Kright}.$$
By the way, $f$ is the symplectic involution, and satisfies $f(AB)=f(B)f(A)$ in addition. Moreover $E_1$ is the set of symmetric elements with respect to the involution and $E_{-1}$ is the set of skew-symmetric elements. You can define a symplectic involution on $ntimes n$ matrices whenever $n$ is even.
answered Jan 23 at 12:56
Jose BroxJose Brox
3,15711128
3,15711128
1
$begingroup$
Very instructive and exhaustive answer, thank you!
$endgroup$
– Learner
Jan 23 at 15:03
add a comment |
1
$begingroup$
Very instructive and exhaustive answer, thank you!
$endgroup$
– Learner
Jan 23 at 15:03
1
1
$begingroup$
Very instructive and exhaustive answer, thank you!
$endgroup$
– Learner
Jan 23 at 15:03
$begingroup$
Very instructive and exhaustive answer, thank you!
$endgroup$
– Learner
Jan 23 at 15:03
add a comment |
$begingroup$
Let$$E_1=begin{bmatrix}1&0\0&0end{bmatrix}, E_2=begin{bmatrix}0&1\0&0end{bmatrix}, E_3=begin{bmatrix}0&0\1&0end{bmatrix},text{ and }E_4=begin{bmatrix}0&0\0&1end{bmatrix}.$$Then ${E_1,E_2,E_3,E_4}$ is a basis of $M_2(mathbb{R})$ and the matrix of $f$ with respect to this basis is$$begin{bmatrix}0&0&0&1\0&1&0&0\0&0&1&0\1&0&0&0end{bmatrix}.$$Can you take it from here?
$endgroup$
$begingroup$
The minimal polynomial of your matrix is $(lambda+1)(lambda-1)$ - then it's also the minimal polynomial of $f$, because it's of degree $2$, hence equal to $chi_f$. And, the eigenspaces of your matrix are the ones of $f$. All correct? Also, one thing: $K$ is isomorphic to a subset of $Bbb C$, provided that $|K|$ isn't larger than the continuum; still, I can see cardinality here doesn't make a difference, but is it enough (in an exam) to say "without loss of generality we may take $K=Bbb R$"? Thanks for your help, this cleared my thoughts!
$endgroup$
– Learner
Jan 23 at 15:02
1
$begingroup$
Yes, it's all correct.
$endgroup$
– José Carlos Santos
Jan 23 at 15:03
add a comment |
$begingroup$
Let$$E_1=begin{bmatrix}1&0\0&0end{bmatrix}, E_2=begin{bmatrix}0&1\0&0end{bmatrix}, E_3=begin{bmatrix}0&0\1&0end{bmatrix},text{ and }E_4=begin{bmatrix}0&0\0&1end{bmatrix}.$$Then ${E_1,E_2,E_3,E_4}$ is a basis of $M_2(mathbb{R})$ and the matrix of $f$ with respect to this basis is$$begin{bmatrix}0&0&0&1\0&1&0&0\0&0&1&0\1&0&0&0end{bmatrix}.$$Can you take it from here?
$endgroup$
$begingroup$
The minimal polynomial of your matrix is $(lambda+1)(lambda-1)$ - then it's also the minimal polynomial of $f$, because it's of degree $2$, hence equal to $chi_f$. And, the eigenspaces of your matrix are the ones of $f$. All correct? Also, one thing: $K$ is isomorphic to a subset of $Bbb C$, provided that $|K|$ isn't larger than the continuum; still, I can see cardinality here doesn't make a difference, but is it enough (in an exam) to say "without loss of generality we may take $K=Bbb R$"? Thanks for your help, this cleared my thoughts!
$endgroup$
– Learner
Jan 23 at 15:02
1
$begingroup$
Yes, it's all correct.
$endgroup$
– José Carlos Santos
Jan 23 at 15:03
add a comment |
$begingroup$
Let$$E_1=begin{bmatrix}1&0\0&0end{bmatrix}, E_2=begin{bmatrix}0&1\0&0end{bmatrix}, E_3=begin{bmatrix}0&0\1&0end{bmatrix},text{ and }E_4=begin{bmatrix}0&0\0&1end{bmatrix}.$$Then ${E_1,E_2,E_3,E_4}$ is a basis of $M_2(mathbb{R})$ and the matrix of $f$ with respect to this basis is$$begin{bmatrix}0&0&0&1\0&1&0&0\0&0&1&0\1&0&0&0end{bmatrix}.$$Can you take it from here?
$endgroup$
Let$$E_1=begin{bmatrix}1&0\0&0end{bmatrix}, E_2=begin{bmatrix}0&1\0&0end{bmatrix}, E_3=begin{bmatrix}0&0\1&0end{bmatrix},text{ and }E_4=begin{bmatrix}0&0\0&1end{bmatrix}.$$Then ${E_1,E_2,E_3,E_4}$ is a basis of $M_2(mathbb{R})$ and the matrix of $f$ with respect to this basis is$$begin{bmatrix}0&0&0&1\0&1&0&0\0&0&1&0\1&0&0&0end{bmatrix}.$$Can you take it from here?
answered Jan 23 at 12:20
José Carlos SantosJosé Carlos Santos
165k22132235
165k22132235
$begingroup$
The minimal polynomial of your matrix is $(lambda+1)(lambda-1)$ - then it's also the minimal polynomial of $f$, because it's of degree $2$, hence equal to $chi_f$. And, the eigenspaces of your matrix are the ones of $f$. All correct? Also, one thing: $K$ is isomorphic to a subset of $Bbb C$, provided that $|K|$ isn't larger than the continuum; still, I can see cardinality here doesn't make a difference, but is it enough (in an exam) to say "without loss of generality we may take $K=Bbb R$"? Thanks for your help, this cleared my thoughts!
$endgroup$
– Learner
Jan 23 at 15:02
1
$begingroup$
Yes, it's all correct.
$endgroup$
– José Carlos Santos
Jan 23 at 15:03
add a comment |
$begingroup$
The minimal polynomial of your matrix is $(lambda+1)(lambda-1)$ - then it's also the minimal polynomial of $f$, because it's of degree $2$, hence equal to $chi_f$. And, the eigenspaces of your matrix are the ones of $f$. All correct? Also, one thing: $K$ is isomorphic to a subset of $Bbb C$, provided that $|K|$ isn't larger than the continuum; still, I can see cardinality here doesn't make a difference, but is it enough (in an exam) to say "without loss of generality we may take $K=Bbb R$"? Thanks for your help, this cleared my thoughts!
$endgroup$
– Learner
Jan 23 at 15:02
1
$begingroup$
Yes, it's all correct.
$endgroup$
– José Carlos Santos
Jan 23 at 15:03
$begingroup$
The minimal polynomial of your matrix is $(lambda+1)(lambda-1)$ - then it's also the minimal polynomial of $f$, because it's of degree $2$, hence equal to $chi_f$. And, the eigenspaces of your matrix are the ones of $f$. All correct? Also, one thing: $K$ is isomorphic to a subset of $Bbb C$, provided that $|K|$ isn't larger than the continuum; still, I can see cardinality here doesn't make a difference, but is it enough (in an exam) to say "without loss of generality we may take $K=Bbb R$"? Thanks for your help, this cleared my thoughts!
$endgroup$
– Learner
Jan 23 at 15:02
$begingroup$
The minimal polynomial of your matrix is $(lambda+1)(lambda-1)$ - then it's also the minimal polynomial of $f$, because it's of degree $2$, hence equal to $chi_f$. And, the eigenspaces of your matrix are the ones of $f$. All correct? Also, one thing: $K$ is isomorphic to a subset of $Bbb C$, provided that $|K|$ isn't larger than the continuum; still, I can see cardinality here doesn't make a difference, but is it enough (in an exam) to say "without loss of generality we may take $K=Bbb R$"? Thanks for your help, this cleared my thoughts!
$endgroup$
– Learner
Jan 23 at 15:02
1
1
$begingroup$
Yes, it's all correct.
$endgroup$
– José Carlos Santos
Jan 23 at 15:03
$begingroup$
Yes, it's all correct.
$endgroup$
– José Carlos Santos
Jan 23 at 15:03
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%2f3084395%2fwhat-are-the-eigenspaces-and-the-minimal-polynomial-of-the-transposing-about-th%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