Theorem of contiguous bases for quadratic forms The 2019 Stack Overflow Developer Survey Results Are InUniversal quadratic formsProof that the Arf invariant is independent of choice of basisSimultaneous diagonalization of quadratic formsOrthonormal bases with canonical basisWeird analogy between quadratic forms and formal systemsQuestion on Finding Coordinates in Terms of Orthogonal BasesWhat does it “mean” for two orthogonal vases of a vector space to be continguous?Determining two binary quadratic forms induced by binary nondegenerate symplectic form.Why are $(,f_1,…,f_n)$ linearly independent if $|,f_k-e_k|_2<dfrac1sqrt n$, where $(e_k)$ is an orthonormal basis?Show that $textrank(q)leq textrank(f_1,f_2,cdots,f_p).$
Resizing object distorts it (Illustrator CC 2018)
Who coined the term "madman theory"?
Right tool to dig six foot holes?
Delete all lines which don't have n characters before delimiter
Can one be advised by a professor who is very far away?
One word riddle: Vowel in the middle
Are children permitted to help build the Beis Hamikdash?
What to do when moving next to a bird sanctuary with a loosely-domesticated cat?
What is the motivation for a law requiring 2 parties to consent for recording a conversation
Identify boardgame from Big movie
Why can Shazam fly?
Are there incongruent pythagorean triangles with the same perimeter and same area?
Multiply Two Integer Polynomials
What is the accessibility of a package's `Private` context variables?
Does a dangling wire really electrocute me if I'm standing in water?
What is the closest word meaning "respect for time / mindful"
How come people say “Would of”?
Is bread bad for ducks?
Loose spokes after only a few rides
"as much details as you can remember"
What are the motivations for publishing new editions of an existing textbook, beyond new discoveries in a field?
Can a flute soloist sit?
Can someone be penalized for an "unlawful" act if no penalty is specified?
Why did Acorn's A3000 have red function keys?
Theorem of contiguous bases for quadratic forms
The 2019 Stack Overflow Developer Survey Results Are InUniversal quadratic formsProof that the Arf invariant is independent of choice of basisSimultaneous diagonalization of quadratic formsOrthonormal bases with canonical basisWeird analogy between quadratic forms and formal systemsQuestion on Finding Coordinates in Terms of Orthogonal BasesWhat does it “mean” for two orthogonal vases of a vector space to be continguous?Determining two binary quadratic forms induced by binary nondegenerate symplectic form.Why are $(,f_1,…,f_n)$ linearly independent if $|,f_k-e_k|_2<dfrac1sqrt n$, where $(e_k)$ is an orthonormal basis?Show that $textrank(q)leq textrank(f_1,f_2,cdots,f_p).$
$begingroup$
I'm studying theory of quadratic forms on Serre's book "A course in Arithmetic". I'm trying to prove Theorem 2, chapter 4, which says that given two orthogonal bases $E$ and $F$ for a quadratic module $(V,Q)$ one can find a chain of orthogonal contiguous bases (each one has an element in common with the following bases) relating $E$ and $F$.
He divides the proof in 3 cases, the last being the most difficult. I'm ok with the proof in general, but there is a step that I can't understand, I guess it's a very simple thing but I'm in trouble.
The case in which I'm interested is the following: given the bases $E=e_1, dots, e_n$ and $F=f_1, dots, f_n$, we suppose that $(e_1.e_1)(f_i.f_i)-(e_1.f_i)^2 =0$ for $i=1,2$, where $(x.y)$ is the scalar product associated with the quadratic form. Then we can demonstrate that there is an element $x in mathbbK$ such that $f_x=f_1+xf_2$ is not isotropic and the plane generated by $e_1,f_x$ is nondegenerate. So I take this $x$ and I have that $mathbbKf_1 oplus mathbbKf_x=mathbbKf_1oplus mathbbKf_2$. Having $f_1$ not isotropic since it is part of an orthogonal bases, I can find $f'$ such that $f_x,f'$ is an orthogonal bases of $mathbbKf_1oplus mathbbKf_2$. Then $f_x,f',f_3, dots, f_n$ is a bases for $V$ and $f_x$ is orthogonal with all the $f_i$ by a simple calculation. But I can't see why $f'$ is orthogonal with all the $f_i$'s. I already apologize because I'm quite sure there is a simple explanation. Any hel will be appreciated. Thanks!
orthogonality quadratic-forms
$endgroup$
add a comment |
$begingroup$
I'm studying theory of quadratic forms on Serre's book "A course in Arithmetic". I'm trying to prove Theorem 2, chapter 4, which says that given two orthogonal bases $E$ and $F$ for a quadratic module $(V,Q)$ one can find a chain of orthogonal contiguous bases (each one has an element in common with the following bases) relating $E$ and $F$.
He divides the proof in 3 cases, the last being the most difficult. I'm ok with the proof in general, but there is a step that I can't understand, I guess it's a very simple thing but I'm in trouble.
The case in which I'm interested is the following: given the bases $E=e_1, dots, e_n$ and $F=f_1, dots, f_n$, we suppose that $(e_1.e_1)(f_i.f_i)-(e_1.f_i)^2 =0$ for $i=1,2$, where $(x.y)$ is the scalar product associated with the quadratic form. Then we can demonstrate that there is an element $x in mathbbK$ such that $f_x=f_1+xf_2$ is not isotropic and the plane generated by $e_1,f_x$ is nondegenerate. So I take this $x$ and I have that $mathbbKf_1 oplus mathbbKf_x=mathbbKf_1oplus mathbbKf_2$. Having $f_1$ not isotropic since it is part of an orthogonal bases, I can find $f'$ such that $f_x,f'$ is an orthogonal bases of $mathbbKf_1oplus mathbbKf_2$. Then $f_x,f',f_3, dots, f_n$ is a bases for $V$ and $f_x$ is orthogonal with all the $f_i$ by a simple calculation. But I can't see why $f'$ is orthogonal with all the $f_i$'s. I already apologize because I'm quite sure there is a simple explanation. Any hel will be appreciated. Thanks!
orthogonality quadratic-forms
$endgroup$
add a comment |
$begingroup$
I'm studying theory of quadratic forms on Serre's book "A course in Arithmetic". I'm trying to prove Theorem 2, chapter 4, which says that given two orthogonal bases $E$ and $F$ for a quadratic module $(V,Q)$ one can find a chain of orthogonal contiguous bases (each one has an element in common with the following bases) relating $E$ and $F$.
He divides the proof in 3 cases, the last being the most difficult. I'm ok with the proof in general, but there is a step that I can't understand, I guess it's a very simple thing but I'm in trouble.
The case in which I'm interested is the following: given the bases $E=e_1, dots, e_n$ and $F=f_1, dots, f_n$, we suppose that $(e_1.e_1)(f_i.f_i)-(e_1.f_i)^2 =0$ for $i=1,2$, where $(x.y)$ is the scalar product associated with the quadratic form. Then we can demonstrate that there is an element $x in mathbbK$ such that $f_x=f_1+xf_2$ is not isotropic and the plane generated by $e_1,f_x$ is nondegenerate. So I take this $x$ and I have that $mathbbKf_1 oplus mathbbKf_x=mathbbKf_1oplus mathbbKf_2$. Having $f_1$ not isotropic since it is part of an orthogonal bases, I can find $f'$ such that $f_x,f'$ is an orthogonal bases of $mathbbKf_1oplus mathbbKf_2$. Then $f_x,f',f_3, dots, f_n$ is a bases for $V$ and $f_x$ is orthogonal with all the $f_i$ by a simple calculation. But I can't see why $f'$ is orthogonal with all the $f_i$'s. I already apologize because I'm quite sure there is a simple explanation. Any hel will be appreciated. Thanks!
orthogonality quadratic-forms
$endgroup$
I'm studying theory of quadratic forms on Serre's book "A course in Arithmetic". I'm trying to prove Theorem 2, chapter 4, which says that given two orthogonal bases $E$ and $F$ for a quadratic module $(V,Q)$ one can find a chain of orthogonal contiguous bases (each one has an element in common with the following bases) relating $E$ and $F$.
He divides the proof in 3 cases, the last being the most difficult. I'm ok with the proof in general, but there is a step that I can't understand, I guess it's a very simple thing but I'm in trouble.
The case in which I'm interested is the following: given the bases $E=e_1, dots, e_n$ and $F=f_1, dots, f_n$, we suppose that $(e_1.e_1)(f_i.f_i)-(e_1.f_i)^2 =0$ for $i=1,2$, where $(x.y)$ is the scalar product associated with the quadratic form. Then we can demonstrate that there is an element $x in mathbbK$ such that $f_x=f_1+xf_2$ is not isotropic and the plane generated by $e_1,f_x$ is nondegenerate. So I take this $x$ and I have that $mathbbKf_1 oplus mathbbKf_x=mathbbKf_1oplus mathbbKf_2$. Having $f_1$ not isotropic since it is part of an orthogonal bases, I can find $f'$ such that $f_x,f'$ is an orthogonal bases of $mathbbKf_1oplus mathbbKf_2$. Then $f_x,f',f_3, dots, f_n$ is a bases for $V$ and $f_x$ is orthogonal with all the $f_i$ by a simple calculation. But I can't see why $f'$ is orthogonal with all the $f_i$'s. I already apologize because I'm quite sure there is a simple explanation. Any hel will be appreciated. Thanks!
orthogonality quadratic-forms
orthogonality quadratic-forms
asked Mar 30 at 16:35
robbisrobbis
528
528
add a comment |
add a comment |
0
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',
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%2f3168491%2ftheorem-of-contiguous-bases-for-quadratic-forms%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3168491%2ftheorem-of-contiguous-bases-for-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