Are there any advantages of treating four-dimensional Euclidean space as $mathbbC^2$ instead of $mathbbR^4$?

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











up vote
0
down vote

favorite












When we treat four-dimensional Euclidean space as $mathbbR^4$ we can easily define a line, plane, and 3-plane by linear equations, whereas if we wish to do the same with $mathbbC^2$ we have a harder time with lines and 3-planes. Are there any circumstances where using $mathbbC^2$ is easier?







share|cite|improve this question






















  • What do you mean by easier?
    – Chickenmancer
    Aug 15 at 4:46






  • 1




    Well, $mathbbC^2$ is a complex vector space (among other things). Expressing the complex eigenvector/eigenvalue pairs is going to be messier and less natural in $mathbbR^4$.
    – Theo Bendit
    Aug 15 at 4:47






  • 2




    Yes, e.g. for the Hopf fibration, IIRC there is a bice formulation of the map $S^3to S^2$ in terms of complex multiplication (to see it, look at the fact that the action of $S^1$ on $S^3$ can neatly be defined coordinatewise by complex multiplication)
    – Max
    Aug 15 at 6:03






  • 2




    What @Max described, also known as the hopf bundle is: let's say we want to move from $S^3$ to $S^2$, so let's say $(a,b,c,d)iff (z_0,z_1)=(a+ib, c+id)$ and $(a,b,c)iff (z,x)=(a+ib,c)$(move from $Bbb R^4$ and $Bbb R^3$ to $Bbb C^2,Bbb CtimesBbb R$). Now let's define Hopf bundle as $$p:S^3to S^2\(z_0,z_1)mapsto (2z_0barz_1,|z_0|^2-|z_1|^2).$$This is just an example for such bundle.
    – Holo
    Aug 15 at 6:42















up vote
0
down vote

favorite












When we treat four-dimensional Euclidean space as $mathbbR^4$ we can easily define a line, plane, and 3-plane by linear equations, whereas if we wish to do the same with $mathbbC^2$ we have a harder time with lines and 3-planes. Are there any circumstances where using $mathbbC^2$ is easier?







share|cite|improve this question






















  • What do you mean by easier?
    – Chickenmancer
    Aug 15 at 4:46






  • 1




    Well, $mathbbC^2$ is a complex vector space (among other things). Expressing the complex eigenvector/eigenvalue pairs is going to be messier and less natural in $mathbbR^4$.
    – Theo Bendit
    Aug 15 at 4:47






  • 2




    Yes, e.g. for the Hopf fibration, IIRC there is a bice formulation of the map $S^3to S^2$ in terms of complex multiplication (to see it, look at the fact that the action of $S^1$ on $S^3$ can neatly be defined coordinatewise by complex multiplication)
    – Max
    Aug 15 at 6:03






  • 2




    What @Max described, also known as the hopf bundle is: let's say we want to move from $S^3$ to $S^2$, so let's say $(a,b,c,d)iff (z_0,z_1)=(a+ib, c+id)$ and $(a,b,c)iff (z,x)=(a+ib,c)$(move from $Bbb R^4$ and $Bbb R^3$ to $Bbb C^2,Bbb CtimesBbb R$). Now let's define Hopf bundle as $$p:S^3to S^2\(z_0,z_1)mapsto (2z_0barz_1,|z_0|^2-|z_1|^2).$$This is just an example for such bundle.
    – Holo
    Aug 15 at 6:42













up vote
0
down vote

favorite









up vote
0
down vote

favorite











When we treat four-dimensional Euclidean space as $mathbbR^4$ we can easily define a line, plane, and 3-plane by linear equations, whereas if we wish to do the same with $mathbbC^2$ we have a harder time with lines and 3-planes. Are there any circumstances where using $mathbbC^2$ is easier?







share|cite|improve this question














When we treat four-dimensional Euclidean space as $mathbbR^4$ we can easily define a line, plane, and 3-plane by linear equations, whereas if we wish to do the same with $mathbbC^2$ we have a harder time with lines and 3-planes. Are there any circumstances where using $mathbbC^2$ is easier?









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 15 at 10:30









Armando j18eos

2,43611226




2,43611226










asked Aug 15 at 4:45









Perry Ainsworth

344




344











  • What do you mean by easier?
    – Chickenmancer
    Aug 15 at 4:46






  • 1




    Well, $mathbbC^2$ is a complex vector space (among other things). Expressing the complex eigenvector/eigenvalue pairs is going to be messier and less natural in $mathbbR^4$.
    – Theo Bendit
    Aug 15 at 4:47






  • 2




    Yes, e.g. for the Hopf fibration, IIRC there is a bice formulation of the map $S^3to S^2$ in terms of complex multiplication (to see it, look at the fact that the action of $S^1$ on $S^3$ can neatly be defined coordinatewise by complex multiplication)
    – Max
    Aug 15 at 6:03






  • 2




    What @Max described, also known as the hopf bundle is: let's say we want to move from $S^3$ to $S^2$, so let's say $(a,b,c,d)iff (z_0,z_1)=(a+ib, c+id)$ and $(a,b,c)iff (z,x)=(a+ib,c)$(move from $Bbb R^4$ and $Bbb R^3$ to $Bbb C^2,Bbb CtimesBbb R$). Now let's define Hopf bundle as $$p:S^3to S^2\(z_0,z_1)mapsto (2z_0barz_1,|z_0|^2-|z_1|^2).$$This is just an example for such bundle.
    – Holo
    Aug 15 at 6:42

















  • What do you mean by easier?
    – Chickenmancer
    Aug 15 at 4:46






  • 1




    Well, $mathbbC^2$ is a complex vector space (among other things). Expressing the complex eigenvector/eigenvalue pairs is going to be messier and less natural in $mathbbR^4$.
    – Theo Bendit
    Aug 15 at 4:47






  • 2




    Yes, e.g. for the Hopf fibration, IIRC there is a bice formulation of the map $S^3to S^2$ in terms of complex multiplication (to see it, look at the fact that the action of $S^1$ on $S^3$ can neatly be defined coordinatewise by complex multiplication)
    – Max
    Aug 15 at 6:03






  • 2




    What @Max described, also known as the hopf bundle is: let's say we want to move from $S^3$ to $S^2$, so let's say $(a,b,c,d)iff (z_0,z_1)=(a+ib, c+id)$ and $(a,b,c)iff (z,x)=(a+ib,c)$(move from $Bbb R^4$ and $Bbb R^3$ to $Bbb C^2,Bbb CtimesBbb R$). Now let's define Hopf bundle as $$p:S^3to S^2\(z_0,z_1)mapsto (2z_0barz_1,|z_0|^2-|z_1|^2).$$This is just an example for such bundle.
    – Holo
    Aug 15 at 6:42
















What do you mean by easier?
– Chickenmancer
Aug 15 at 4:46




What do you mean by easier?
– Chickenmancer
Aug 15 at 4:46




1




1




Well, $mathbbC^2$ is a complex vector space (among other things). Expressing the complex eigenvector/eigenvalue pairs is going to be messier and less natural in $mathbbR^4$.
– Theo Bendit
Aug 15 at 4:47




Well, $mathbbC^2$ is a complex vector space (among other things). Expressing the complex eigenvector/eigenvalue pairs is going to be messier and less natural in $mathbbR^4$.
– Theo Bendit
Aug 15 at 4:47




2




2




Yes, e.g. for the Hopf fibration, IIRC there is a bice formulation of the map $S^3to S^2$ in terms of complex multiplication (to see it, look at the fact that the action of $S^1$ on $S^3$ can neatly be defined coordinatewise by complex multiplication)
– Max
Aug 15 at 6:03




Yes, e.g. for the Hopf fibration, IIRC there is a bice formulation of the map $S^3to S^2$ in terms of complex multiplication (to see it, look at the fact that the action of $S^1$ on $S^3$ can neatly be defined coordinatewise by complex multiplication)
– Max
Aug 15 at 6:03




2




2




What @Max described, also known as the hopf bundle is: let's say we want to move from $S^3$ to $S^2$, so let's say $(a,b,c,d)iff (z_0,z_1)=(a+ib, c+id)$ and $(a,b,c)iff (z,x)=(a+ib,c)$(move from $Bbb R^4$ and $Bbb R^3$ to $Bbb C^2,Bbb CtimesBbb R$). Now let's define Hopf bundle as $$p:S^3to S^2\(z_0,z_1)mapsto (2z_0barz_1,|z_0|^2-|z_1|^2).$$This is just an example for such bundle.
– Holo
Aug 15 at 6:42





What @Max described, also known as the hopf bundle is: let's say we want to move from $S^3$ to $S^2$, so let's say $(a,b,c,d)iff (z_0,z_1)=(a+ib, c+id)$ and $(a,b,c)iff (z,x)=(a+ib,c)$(move from $Bbb R^4$ and $Bbb R^3$ to $Bbb C^2,Bbb CtimesBbb R$). Now let's define Hopf bundle as $$p:S^3to S^2\(z_0,z_1)mapsto (2z_0barz_1,|z_0|^2-|z_1|^2).$$This is just an example for such bundle.
– Holo
Aug 15 at 6:42
















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%2f2883207%2fare-there-any-advantages-of-treating-four-dimensional-euclidean-space-as-mathb%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%2f2883207%2fare-there-any-advantages-of-treating-four-dimensional-euclidean-space-as-mathb%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

tkz-euclide: tkzDrawCircle[R] not working

How to combine Bézier curves to a surface?

1st Magritte Awards