Simultaneous diagonalisation of quadratic forms
$begingroup$
Is there a linear transformation that simultaneously reduces the pair of real quadratic forms
$$x^2-y^2$$ and $$2xy$$ to diagonal forms?
My attempt I know that neither of these forms are positive definite, but if
P=$$ left[
begin{array}{ c c }
2 & 0 \
1 & 0
end{array} right]
$$
so that $x=2X$ and $y=X$ then both are diagonal. Is this correct?
linear-algebra matrices diagonalization quadratic-forms
$endgroup$
add a comment |
$begingroup$
Is there a linear transformation that simultaneously reduces the pair of real quadratic forms
$$x^2-y^2$$ and $$2xy$$ to diagonal forms?
My attempt I know that neither of these forms are positive definite, but if
P=$$ left[
begin{array}{ c c }
2 & 0 \
1 & 0
end{array} right]
$$
so that $x=2X$ and $y=X$ then both are diagonal. Is this correct?
linear-algebra matrices diagonalization quadratic-forms
$endgroup$
1
$begingroup$
The given matrix $P$ is not invertible and so cannot be used for diagonalization.
$endgroup$
– Travis
Dec 18 '18 at 15:50
add a comment |
$begingroup$
Is there a linear transformation that simultaneously reduces the pair of real quadratic forms
$$x^2-y^2$$ and $$2xy$$ to diagonal forms?
My attempt I know that neither of these forms are positive definite, but if
P=$$ left[
begin{array}{ c c }
2 & 0 \
1 & 0
end{array} right]
$$
so that $x=2X$ and $y=X$ then both are diagonal. Is this correct?
linear-algebra matrices diagonalization quadratic-forms
$endgroup$
Is there a linear transformation that simultaneously reduces the pair of real quadratic forms
$$x^2-y^2$$ and $$2xy$$ to diagonal forms?
My attempt I know that neither of these forms are positive definite, but if
P=$$ left[
begin{array}{ c c }
2 & 0 \
1 & 0
end{array} right]
$$
so that $x=2X$ and $y=X$ then both are diagonal. Is this correct?
linear-algebra matrices diagonalization quadratic-forms
linear-algebra matrices diagonalization quadratic-forms
edited Dec 18 '18 at 16:33
Travis
63.8k769151
63.8k769151
asked Dec 18 '18 at 15:35
MathematicianPMathematicianP
3416
3416
1
$begingroup$
The given matrix $P$ is not invertible and so cannot be used for diagonalization.
$endgroup$
– Travis
Dec 18 '18 at 15:50
add a comment |
1
$begingroup$
The given matrix $P$ is not invertible and so cannot be used for diagonalization.
$endgroup$
– Travis
Dec 18 '18 at 15:50
1
1
$begingroup$
The given matrix $P$ is not invertible and so cannot be used for diagonalization.
$endgroup$
– Travis
Dec 18 '18 at 15:50
$begingroup$
The given matrix $P$ is not invertible and so cannot be used for diagonalization.
$endgroup$
– Travis
Dec 18 '18 at 15:50
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
First note that the given matrix $P$ is not invertible, so it cannot be used for diagonalization of a nondegenerate quadratic form.
The matrix representations of the two quadratic forms with respect to the standard basis are
$$Q = pmatrix{1&\&-1}, qquad Q' = pmatrix{&1\1&}.$$
Computing for a general change-of-basis matrix $P = pmatrix{p_{ij}}$ the matrix representations $P^{top} Q P, P^{top} Q' P$ of the quadratic forms w.r.t. a general basis have respective off-diagonal components
$$a = p_{11} p_{12} - p_{21} p_{22}, qquad b = p_{11} p_{22} + p_{12} p_{21} ,$$
and by definition an invertible matrix $P$ simultaneously diagonalizes $Q, Q'$ iff $a = b = 0$.
For a diagonal matrix, $$0 = a^2 + b^2 = (p_{11}^2 + p_{21}^2)(p_{12}^2 + p_{22}^2) ,$$ but for real $P$ this only vanishes if one of its columns has magnitude zero: Thus, the quadratic forms are not simultaneously diagonalizable over $Bbb R$. On the other hand, over $Bbb C$ this equation doesn't force degeneracy of $P$, only that $p_{21} = pm i p_{11}$ or $p_{12} = pm i p_{21}$. Substituting quickly leads to the solutions $P = pmatrix{lambda&pm imu\pm ilambda&mu}$, so the quadratic forms are simultaneously diagonalizable over $Bbb C$.
$endgroup$
add a comment |
$begingroup$
You need an invertible matrix for diagonalization, so your $P$ doesn’t work. It collapses everything onto a single line.
You can approach this problem geometrically. Restricted to the reals, $x^2-y^2=a$ is a family of hyperbolas with common asymptotes $x=y$ and $x=-y$, and $2xy=b$ is a family of hyperbolas with common asmyptotes $x=0$ and $y=0$. Simultaneous diagonalization makes these asymptotes coincide, but $x=0$ intersects every hyperbola of the first family at two finite points, so there’s no linear transformation of the plane that can turn this line into an asymptote of those hyperbolas.
$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%2f3045297%2fsimultaneous-diagonalisation-of-quadratic-forms%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$
First note that the given matrix $P$ is not invertible, so it cannot be used for diagonalization of a nondegenerate quadratic form.
The matrix representations of the two quadratic forms with respect to the standard basis are
$$Q = pmatrix{1&\&-1}, qquad Q' = pmatrix{&1\1&}.$$
Computing for a general change-of-basis matrix $P = pmatrix{p_{ij}}$ the matrix representations $P^{top} Q P, P^{top} Q' P$ of the quadratic forms w.r.t. a general basis have respective off-diagonal components
$$a = p_{11} p_{12} - p_{21} p_{22}, qquad b = p_{11} p_{22} + p_{12} p_{21} ,$$
and by definition an invertible matrix $P$ simultaneously diagonalizes $Q, Q'$ iff $a = b = 0$.
For a diagonal matrix, $$0 = a^2 + b^2 = (p_{11}^2 + p_{21}^2)(p_{12}^2 + p_{22}^2) ,$$ but for real $P$ this only vanishes if one of its columns has magnitude zero: Thus, the quadratic forms are not simultaneously diagonalizable over $Bbb R$. On the other hand, over $Bbb C$ this equation doesn't force degeneracy of $P$, only that $p_{21} = pm i p_{11}$ or $p_{12} = pm i p_{21}$. Substituting quickly leads to the solutions $P = pmatrix{lambda&pm imu\pm ilambda&mu}$, so the quadratic forms are simultaneously diagonalizable over $Bbb C$.
$endgroup$
add a comment |
$begingroup$
First note that the given matrix $P$ is not invertible, so it cannot be used for diagonalization of a nondegenerate quadratic form.
The matrix representations of the two quadratic forms with respect to the standard basis are
$$Q = pmatrix{1&\&-1}, qquad Q' = pmatrix{&1\1&}.$$
Computing for a general change-of-basis matrix $P = pmatrix{p_{ij}}$ the matrix representations $P^{top} Q P, P^{top} Q' P$ of the quadratic forms w.r.t. a general basis have respective off-diagonal components
$$a = p_{11} p_{12} - p_{21} p_{22}, qquad b = p_{11} p_{22} + p_{12} p_{21} ,$$
and by definition an invertible matrix $P$ simultaneously diagonalizes $Q, Q'$ iff $a = b = 0$.
For a diagonal matrix, $$0 = a^2 + b^2 = (p_{11}^2 + p_{21}^2)(p_{12}^2 + p_{22}^2) ,$$ but for real $P$ this only vanishes if one of its columns has magnitude zero: Thus, the quadratic forms are not simultaneously diagonalizable over $Bbb R$. On the other hand, over $Bbb C$ this equation doesn't force degeneracy of $P$, only that $p_{21} = pm i p_{11}$ or $p_{12} = pm i p_{21}$. Substituting quickly leads to the solutions $P = pmatrix{lambda&pm imu\pm ilambda&mu}$, so the quadratic forms are simultaneously diagonalizable over $Bbb C$.
$endgroup$
add a comment |
$begingroup$
First note that the given matrix $P$ is not invertible, so it cannot be used for diagonalization of a nondegenerate quadratic form.
The matrix representations of the two quadratic forms with respect to the standard basis are
$$Q = pmatrix{1&\&-1}, qquad Q' = pmatrix{&1\1&}.$$
Computing for a general change-of-basis matrix $P = pmatrix{p_{ij}}$ the matrix representations $P^{top} Q P, P^{top} Q' P$ of the quadratic forms w.r.t. a general basis have respective off-diagonal components
$$a = p_{11} p_{12} - p_{21} p_{22}, qquad b = p_{11} p_{22} + p_{12} p_{21} ,$$
and by definition an invertible matrix $P$ simultaneously diagonalizes $Q, Q'$ iff $a = b = 0$.
For a diagonal matrix, $$0 = a^2 + b^2 = (p_{11}^2 + p_{21}^2)(p_{12}^2 + p_{22}^2) ,$$ but for real $P$ this only vanishes if one of its columns has magnitude zero: Thus, the quadratic forms are not simultaneously diagonalizable over $Bbb R$. On the other hand, over $Bbb C$ this equation doesn't force degeneracy of $P$, only that $p_{21} = pm i p_{11}$ or $p_{12} = pm i p_{21}$. Substituting quickly leads to the solutions $P = pmatrix{lambda&pm imu\pm ilambda&mu}$, so the quadratic forms are simultaneously diagonalizable over $Bbb C$.
$endgroup$
First note that the given matrix $P$ is not invertible, so it cannot be used for diagonalization of a nondegenerate quadratic form.
The matrix representations of the two quadratic forms with respect to the standard basis are
$$Q = pmatrix{1&\&-1}, qquad Q' = pmatrix{&1\1&}.$$
Computing for a general change-of-basis matrix $P = pmatrix{p_{ij}}$ the matrix representations $P^{top} Q P, P^{top} Q' P$ of the quadratic forms w.r.t. a general basis have respective off-diagonal components
$$a = p_{11} p_{12} - p_{21} p_{22}, qquad b = p_{11} p_{22} + p_{12} p_{21} ,$$
and by definition an invertible matrix $P$ simultaneously diagonalizes $Q, Q'$ iff $a = b = 0$.
For a diagonal matrix, $$0 = a^2 + b^2 = (p_{11}^2 + p_{21}^2)(p_{12}^2 + p_{22}^2) ,$$ but for real $P$ this only vanishes if one of its columns has magnitude zero: Thus, the quadratic forms are not simultaneously diagonalizable over $Bbb R$. On the other hand, over $Bbb C$ this equation doesn't force degeneracy of $P$, only that $p_{21} = pm i p_{11}$ or $p_{12} = pm i p_{21}$. Substituting quickly leads to the solutions $P = pmatrix{lambda&pm imu\pm ilambda&mu}$, so the quadratic forms are simultaneously diagonalizable over $Bbb C$.
answered Dec 18 '18 at 16:32
TravisTravis
63.8k769151
63.8k769151
add a comment |
add a comment |
$begingroup$
You need an invertible matrix for diagonalization, so your $P$ doesn’t work. It collapses everything onto a single line.
You can approach this problem geometrically. Restricted to the reals, $x^2-y^2=a$ is a family of hyperbolas with common asymptotes $x=y$ and $x=-y$, and $2xy=b$ is a family of hyperbolas with common asmyptotes $x=0$ and $y=0$. Simultaneous diagonalization makes these asymptotes coincide, but $x=0$ intersects every hyperbola of the first family at two finite points, so there’s no linear transformation of the plane that can turn this line into an asymptote of those hyperbolas.
$endgroup$
add a comment |
$begingroup$
You need an invertible matrix for diagonalization, so your $P$ doesn’t work. It collapses everything onto a single line.
You can approach this problem geometrically. Restricted to the reals, $x^2-y^2=a$ is a family of hyperbolas with common asymptotes $x=y$ and $x=-y$, and $2xy=b$ is a family of hyperbolas with common asmyptotes $x=0$ and $y=0$. Simultaneous diagonalization makes these asymptotes coincide, but $x=0$ intersects every hyperbola of the first family at two finite points, so there’s no linear transformation of the plane that can turn this line into an asymptote of those hyperbolas.
$endgroup$
add a comment |
$begingroup$
You need an invertible matrix for diagonalization, so your $P$ doesn’t work. It collapses everything onto a single line.
You can approach this problem geometrically. Restricted to the reals, $x^2-y^2=a$ is a family of hyperbolas with common asymptotes $x=y$ and $x=-y$, and $2xy=b$ is a family of hyperbolas with common asmyptotes $x=0$ and $y=0$. Simultaneous diagonalization makes these asymptotes coincide, but $x=0$ intersects every hyperbola of the first family at two finite points, so there’s no linear transformation of the plane that can turn this line into an asymptote of those hyperbolas.
$endgroup$
You need an invertible matrix for diagonalization, so your $P$ doesn’t work. It collapses everything onto a single line.
You can approach this problem geometrically. Restricted to the reals, $x^2-y^2=a$ is a family of hyperbolas with common asymptotes $x=y$ and $x=-y$, and $2xy=b$ is a family of hyperbolas with common asmyptotes $x=0$ and $y=0$. Simultaneous diagonalization makes these asymptotes coincide, but $x=0$ intersects every hyperbola of the first family at two finite points, so there’s no linear transformation of the plane that can turn this line into an asymptote of those hyperbolas.
answered Dec 18 '18 at 20:25
amdamd
31.3k21051
31.3k21051
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%2f3045297%2fsimultaneous-diagonalisation-of-quadratic-forms%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
1
$begingroup$
The given matrix $P$ is not invertible and so cannot be used for diagonalization.
$endgroup$
– Travis
Dec 18 '18 at 15:50