Non degenerate implies even dimensional

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











up vote
1
down vote

favorite












Given a finite-dimensional non-zero purely odd super-vector space with non-degenerate super-symmetric pairing $(-,-)$, that is $(x,y)=-(y,x)quadforall x,y$.



How does this imply that this super-vector space is even dimensional?







share|cite|improve this question





















  • Did you try doing the one dimensional case? What did you get?
    – Somos
    Jul 22 at 13:52










  • If a basis is $x$, then $(x,x)=-(x,x)$, so $(x,x)=0$ and thus $(v,x)=0$ for all $v$, but $xneq 0$, contradiction to non-degenerate.
    – GIng
    Jul 22 at 13:58










  • Good work. Now try the two dimensional case. It will be interesting.
    – Somos
    Jul 22 at 14:00










  • Well there is nothing to show if the dimension is 2. Did you mean the three dimensional case?
    – GIng
    Jul 22 at 14:01










  • You are correct, technically. So try it next.
    – Somos
    Jul 22 at 14:03














up vote
1
down vote

favorite












Given a finite-dimensional non-zero purely odd super-vector space with non-degenerate super-symmetric pairing $(-,-)$, that is $(x,y)=-(y,x)quadforall x,y$.



How does this imply that this super-vector space is even dimensional?







share|cite|improve this question





















  • Did you try doing the one dimensional case? What did you get?
    – Somos
    Jul 22 at 13:52










  • If a basis is $x$, then $(x,x)=-(x,x)$, so $(x,x)=0$ and thus $(v,x)=0$ for all $v$, but $xneq 0$, contradiction to non-degenerate.
    – GIng
    Jul 22 at 13:58










  • Good work. Now try the two dimensional case. It will be interesting.
    – Somos
    Jul 22 at 14:00










  • Well there is nothing to show if the dimension is 2. Did you mean the three dimensional case?
    – GIng
    Jul 22 at 14:01










  • You are correct, technically. So try it next.
    – Somos
    Jul 22 at 14:03












up vote
1
down vote

favorite









up vote
1
down vote

favorite











Given a finite-dimensional non-zero purely odd super-vector space with non-degenerate super-symmetric pairing $(-,-)$, that is $(x,y)=-(y,x)quadforall x,y$.



How does this imply that this super-vector space is even dimensional?







share|cite|improve this question













Given a finite-dimensional non-zero purely odd super-vector space with non-degenerate super-symmetric pairing $(-,-)$, that is $(x,y)=-(y,x)quadforall x,y$.



How does this imply that this super-vector space is even dimensional?









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 22 at 13:35
























asked Jul 22 at 11:39









GIng

786




786











  • Did you try doing the one dimensional case? What did you get?
    – Somos
    Jul 22 at 13:52










  • If a basis is $x$, then $(x,x)=-(x,x)$, so $(x,x)=0$ and thus $(v,x)=0$ for all $v$, but $xneq 0$, contradiction to non-degenerate.
    – GIng
    Jul 22 at 13:58










  • Good work. Now try the two dimensional case. It will be interesting.
    – Somos
    Jul 22 at 14:00










  • Well there is nothing to show if the dimension is 2. Did you mean the three dimensional case?
    – GIng
    Jul 22 at 14:01










  • You are correct, technically. So try it next.
    – Somos
    Jul 22 at 14:03
















  • Did you try doing the one dimensional case? What did you get?
    – Somos
    Jul 22 at 13:52










  • If a basis is $x$, then $(x,x)=-(x,x)$, so $(x,x)=0$ and thus $(v,x)=0$ for all $v$, but $xneq 0$, contradiction to non-degenerate.
    – GIng
    Jul 22 at 13:58










  • Good work. Now try the two dimensional case. It will be interesting.
    – Somos
    Jul 22 at 14:00










  • Well there is nothing to show if the dimension is 2. Did you mean the three dimensional case?
    – GIng
    Jul 22 at 14:01










  • You are correct, technically. So try it next.
    – Somos
    Jul 22 at 14:03















Did you try doing the one dimensional case? What did you get?
– Somos
Jul 22 at 13:52




Did you try doing the one dimensional case? What did you get?
– Somos
Jul 22 at 13:52












If a basis is $x$, then $(x,x)=-(x,x)$, so $(x,x)=0$ and thus $(v,x)=0$ for all $v$, but $xneq 0$, contradiction to non-degenerate.
– GIng
Jul 22 at 13:58




If a basis is $x$, then $(x,x)=-(x,x)$, so $(x,x)=0$ and thus $(v,x)=0$ for all $v$, but $xneq 0$, contradiction to non-degenerate.
– GIng
Jul 22 at 13:58












Good work. Now try the two dimensional case. It will be interesting.
– Somos
Jul 22 at 14:00




Good work. Now try the two dimensional case. It will be interesting.
– Somos
Jul 22 at 14:00












Well there is nothing to show if the dimension is 2. Did you mean the three dimensional case?
– GIng
Jul 22 at 14:01




Well there is nothing to show if the dimension is 2. Did you mean the three dimensional case?
– GIng
Jul 22 at 14:01












You are correct, technically. So try it next.
– Somos
Jul 22 at 14:03




You are correct, technically. So try it next.
– Somos
Jul 22 at 14:03















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%2f2859315%2fnon-degenerate-implies-even-dimensional%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%2f2859315%2fnon-degenerate-implies-even-dimensional%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?