Conjugate of real number

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











up vote
10
down vote

favorite
1












I'm slightly confused on the subject of conjugates and how to define them.



I know that for a complex number $ a - bi $ the conjugate is $ a + bi $ and similarly for $ 1 + sqrt 2 $ the conjugate is $ 1 - sqrt2 $ because when multiplied it gives a rational answer.



But how about for just a simple real number like 1 or 2, what would be the conjugate for this? Does a conjugate exist for a real number?



I'm new to this topic and have tried searching Maths SE and Google in vain; any help would be appreciated.







share|cite|improve this question



















  • Since $mathbbR subset mathbbC$, any $a in mathbbR$ can be written in the following way: $a=a+icdot 0$.
    – Iuli
    Jul 30 at 12:10







  • 14




    There is complex conjugate for complex numbers, and there is also quadratic conjugate for algebraic numbers of the form $p+qsqrtd$ with $p,qinmathbbQ$ and $dinmathbbZ$ is not a square.
    – Batominovski
    Jul 30 at 12:11














up vote
10
down vote

favorite
1












I'm slightly confused on the subject of conjugates and how to define them.



I know that for a complex number $ a - bi $ the conjugate is $ a + bi $ and similarly for $ 1 + sqrt 2 $ the conjugate is $ 1 - sqrt2 $ because when multiplied it gives a rational answer.



But how about for just a simple real number like 1 or 2, what would be the conjugate for this? Does a conjugate exist for a real number?



I'm new to this topic and have tried searching Maths SE and Google in vain; any help would be appreciated.







share|cite|improve this question



















  • Since $mathbbR subset mathbbC$, any $a in mathbbR$ can be written in the following way: $a=a+icdot 0$.
    – Iuli
    Jul 30 at 12:10







  • 14




    There is complex conjugate for complex numbers, and there is also quadratic conjugate for algebraic numbers of the form $p+qsqrtd$ with $p,qinmathbbQ$ and $dinmathbbZ$ is not a square.
    – Batominovski
    Jul 30 at 12:11












up vote
10
down vote

favorite
1









up vote
10
down vote

favorite
1






1





I'm slightly confused on the subject of conjugates and how to define them.



I know that for a complex number $ a - bi $ the conjugate is $ a + bi $ and similarly for $ 1 + sqrt 2 $ the conjugate is $ 1 - sqrt2 $ because when multiplied it gives a rational answer.



But how about for just a simple real number like 1 or 2, what would be the conjugate for this? Does a conjugate exist for a real number?



I'm new to this topic and have tried searching Maths SE and Google in vain; any help would be appreciated.







share|cite|improve this question











I'm slightly confused on the subject of conjugates and how to define them.



I know that for a complex number $ a - bi $ the conjugate is $ a + bi $ and similarly for $ 1 + sqrt 2 $ the conjugate is $ 1 - sqrt2 $ because when multiplied it gives a rational answer.



But how about for just a simple real number like 1 or 2, what would be the conjugate for this? Does a conjugate exist for a real number?



I'm new to this topic and have tried searching Maths SE and Google in vain; any help would be appreciated.









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 30 at 12:05









Shawn Li

1537




1537











  • Since $mathbbR subset mathbbC$, any $a in mathbbR$ can be written in the following way: $a=a+icdot 0$.
    – Iuli
    Jul 30 at 12:10







  • 14




    There is complex conjugate for complex numbers, and there is also quadratic conjugate for algebraic numbers of the form $p+qsqrtd$ with $p,qinmathbbQ$ and $dinmathbbZ$ is not a square.
    – Batominovski
    Jul 30 at 12:11
















  • Since $mathbbR subset mathbbC$, any $a in mathbbR$ can be written in the following way: $a=a+icdot 0$.
    – Iuli
    Jul 30 at 12:10







  • 14




    There is complex conjugate for complex numbers, and there is also quadratic conjugate for algebraic numbers of the form $p+qsqrtd$ with $p,qinmathbbQ$ and $dinmathbbZ$ is not a square.
    – Batominovski
    Jul 30 at 12:11















Since $mathbbR subset mathbbC$, any $a in mathbbR$ can be written in the following way: $a=a+icdot 0$.
– Iuli
Jul 30 at 12:10





Since $mathbbR subset mathbbC$, any $a in mathbbR$ can be written in the following way: $a=a+icdot 0$.
– Iuli
Jul 30 at 12:10





14




14




There is complex conjugate for complex numbers, and there is also quadratic conjugate for algebraic numbers of the form $p+qsqrtd$ with $p,qinmathbbQ$ and $dinmathbbZ$ is not a square.
– Batominovski
Jul 30 at 12:11




There is complex conjugate for complex numbers, and there is also quadratic conjugate for algebraic numbers of the form $p+qsqrtd$ with $p,qinmathbbQ$ and $dinmathbbZ$ is not a square.
– Batominovski
Jul 30 at 12:11










3 Answers
3






active

oldest

votes

















up vote
42
down vote



accepted










Careful! These are two different notions of conjugate.



First we have the complex conjugate, given by $overlinea+bi = a-bi$. Then, since we can write a real number $x$ as $x+0i$, the complex conjugate of a real number is itself.



There is also a second idea of a rational conjugate, where as in your example, if $a,b$ are rational and $d$ is squarefree, the conjugate of $a+bsqrtd$ is $a-bsqrtd$.



There is a connection between these two ideas. In general, given a field extension $E/F$, take an algebraic element $alpha$ of $E$, and let $m(x)$ be it's minimal polynomial over $F$. Then we call the other roots of $m$ in $E$ the conjugates of $alpha$.



In the case of the extensions $mathbbC/mathbbR$ and $mathbbQ(sqrtd)/ mathbbQ$ this agrees with the above.






share|cite|improve this answer























  • I can see that those are two different kinds of conjugates, but by treating $i$ and $sqrtd$ as (mere) indeterminate variables, don't we get a unified notion of conjugation, as in mapping from $alpha+beta y$ to $alpha-beta y$ when this mapping makes sense (as in well defined and preserves algebraic structure)? In both cases, $alpha$ gets mapped to $alpha$ and we declare that the conjugate of $alpha$ is itself.
    – Frenzy Li
    Jul 30 at 15:19







  • 6




    @FrenzyLi In fact, that's what Daniel Mroz is hinting at with his part on field extensions. Conjugation is an automorphism of the bigger field, leaving the smaller field fixed; an element of the Galois group.
    – Babelfish
    Jul 30 at 16:11

















up vote
6
down vote













The notion of a conjugate comes up when you have a naturally defined function $c$ from a set to itself such that for all $x$ you have $c(c(x)) = x$. Then $c(x)$ is the conjugate of $x$.



That happens naturally when the numbers you are thinking about are of the form $a+bsqrtd$ for some $d$. Then you define the conjugating function by switching the sign of $b$.



In this case $2$ will be its own conjugate.



The conjugate of $1 + sqrt2$ is tricky. It's sometimes $1 - sqrt2$ but it's just $1 + sqrt2$ (itself) in the complex numbers, since it's a real number.






share|cite|improve this answer





















  • Perhaps outside the scope of the question, but I would say a conjugate must be with respect to some subset, i.e. $c(x)=x$ for every $x$ in the sub-set as well as $c(c(x))=x$ for every $x$ in the whole set. Assuming only members of the sub-set satisfy the first condition, we have $c(x cdot c(x))=c(x)cdot c(c(x))=xcdot c(x)$ which means $xcdot c(x)$ is always in our "special subset" (in other words - a conjugate of $L$ over $K$ is a non-trivial involution in $mathrmAut(L/K)$)
    – Itai
    Jul 30 at 13:27











  • I think you should clarify "numbers of the form a + b sqrt (d)", it's evidently not well defined when considering real numbers, or when d is a perfect square. Also the "It's sometimes..." sentence could be clarified, it's not like it is non-deterministic, depending on the context and object considered it will be clear what notion of conjugation one is referring to.
    – Maxim
    Jul 31 at 9:30

















up vote
2
down vote













Usually our definition of "conjugate" refers to complex numbers: the conjugate of $a+bi$ is $a-bi$. You could say "complex conjugate" be be extra specific.



Note that $1+sqrt2$ is a real number, so its conjugate is $1+sqrt2$.



A nice way of thinking about conjugates is how they are related in the complex plane (on an Argand diagram). Given a complex number, reflect it across the horizontal (real) axis to get its conjugate. Since $1$, $2$ and $1+sqrt2$ all lie on the real line, they are their own conjugate.



Getting a little bit more advanced, you can define conjugates in different fields. The complex numbers are an extension of the real numbers with the number $i$. We can write this "field extension" as $mathbbC=mathbbR(i)$.



Working instead in $mathbbQ(sqrt2)$ (the rationals extended with $sqrt2$), you can define the conjugate of $a+bsqrt2$ as $a-bsqrt2$. But don't worry so much about this if you are new to the topic!






share|cite|improve this answer























    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%2f2866943%2fconjugate-of-real-number%23new-answer', 'question_page');

    );

    Post as a guest






























    3 Answers
    3






    active

    oldest

    votes








    3 Answers
    3






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    42
    down vote



    accepted










    Careful! These are two different notions of conjugate.



    First we have the complex conjugate, given by $overlinea+bi = a-bi$. Then, since we can write a real number $x$ as $x+0i$, the complex conjugate of a real number is itself.



    There is also a second idea of a rational conjugate, where as in your example, if $a,b$ are rational and $d$ is squarefree, the conjugate of $a+bsqrtd$ is $a-bsqrtd$.



    There is a connection between these two ideas. In general, given a field extension $E/F$, take an algebraic element $alpha$ of $E$, and let $m(x)$ be it's minimal polynomial over $F$. Then we call the other roots of $m$ in $E$ the conjugates of $alpha$.



    In the case of the extensions $mathbbC/mathbbR$ and $mathbbQ(sqrtd)/ mathbbQ$ this agrees with the above.






    share|cite|improve this answer























    • I can see that those are two different kinds of conjugates, but by treating $i$ and $sqrtd$ as (mere) indeterminate variables, don't we get a unified notion of conjugation, as in mapping from $alpha+beta y$ to $alpha-beta y$ when this mapping makes sense (as in well defined and preserves algebraic structure)? In both cases, $alpha$ gets mapped to $alpha$ and we declare that the conjugate of $alpha$ is itself.
      – Frenzy Li
      Jul 30 at 15:19







    • 6




      @FrenzyLi In fact, that's what Daniel Mroz is hinting at with his part on field extensions. Conjugation is an automorphism of the bigger field, leaving the smaller field fixed; an element of the Galois group.
      – Babelfish
      Jul 30 at 16:11














    up vote
    42
    down vote



    accepted










    Careful! These are two different notions of conjugate.



    First we have the complex conjugate, given by $overlinea+bi = a-bi$. Then, since we can write a real number $x$ as $x+0i$, the complex conjugate of a real number is itself.



    There is also a second idea of a rational conjugate, where as in your example, if $a,b$ are rational and $d$ is squarefree, the conjugate of $a+bsqrtd$ is $a-bsqrtd$.



    There is a connection between these two ideas. In general, given a field extension $E/F$, take an algebraic element $alpha$ of $E$, and let $m(x)$ be it's minimal polynomial over $F$. Then we call the other roots of $m$ in $E$ the conjugates of $alpha$.



    In the case of the extensions $mathbbC/mathbbR$ and $mathbbQ(sqrtd)/ mathbbQ$ this agrees with the above.






    share|cite|improve this answer























    • I can see that those are two different kinds of conjugates, but by treating $i$ and $sqrtd$ as (mere) indeterminate variables, don't we get a unified notion of conjugation, as in mapping from $alpha+beta y$ to $alpha-beta y$ when this mapping makes sense (as in well defined and preserves algebraic structure)? In both cases, $alpha$ gets mapped to $alpha$ and we declare that the conjugate of $alpha$ is itself.
      – Frenzy Li
      Jul 30 at 15:19







    • 6




      @FrenzyLi In fact, that's what Daniel Mroz is hinting at with his part on field extensions. Conjugation is an automorphism of the bigger field, leaving the smaller field fixed; an element of the Galois group.
      – Babelfish
      Jul 30 at 16:11












    up vote
    42
    down vote



    accepted







    up vote
    42
    down vote



    accepted






    Careful! These are two different notions of conjugate.



    First we have the complex conjugate, given by $overlinea+bi = a-bi$. Then, since we can write a real number $x$ as $x+0i$, the complex conjugate of a real number is itself.



    There is also a second idea of a rational conjugate, where as in your example, if $a,b$ are rational and $d$ is squarefree, the conjugate of $a+bsqrtd$ is $a-bsqrtd$.



    There is a connection between these two ideas. In general, given a field extension $E/F$, take an algebraic element $alpha$ of $E$, and let $m(x)$ be it's minimal polynomial over $F$. Then we call the other roots of $m$ in $E$ the conjugates of $alpha$.



    In the case of the extensions $mathbbC/mathbbR$ and $mathbbQ(sqrtd)/ mathbbQ$ this agrees with the above.






    share|cite|improve this answer















    Careful! These are two different notions of conjugate.



    First we have the complex conjugate, given by $overlinea+bi = a-bi$. Then, since we can write a real number $x$ as $x+0i$, the complex conjugate of a real number is itself.



    There is also a second idea of a rational conjugate, where as in your example, if $a,b$ are rational and $d$ is squarefree, the conjugate of $a+bsqrtd$ is $a-bsqrtd$.



    There is a connection between these two ideas. In general, given a field extension $E/F$, take an algebraic element $alpha$ of $E$, and let $m(x)$ be it's minimal polynomial over $F$. Then we call the other roots of $m$ in $E$ the conjugates of $alpha$.



    In the case of the extensions $mathbbC/mathbbR$ and $mathbbQ(sqrtd)/ mathbbQ$ this agrees with the above.







    share|cite|improve this answer















    share|cite|improve this answer



    share|cite|improve this answer








    edited Jul 30 at 19:59









    Community♦

    1




    1











    answered Jul 30 at 12:22









    Daniel Mroz

    851314




    851314











    • I can see that those are two different kinds of conjugates, but by treating $i$ and $sqrtd$ as (mere) indeterminate variables, don't we get a unified notion of conjugation, as in mapping from $alpha+beta y$ to $alpha-beta y$ when this mapping makes sense (as in well defined and preserves algebraic structure)? In both cases, $alpha$ gets mapped to $alpha$ and we declare that the conjugate of $alpha$ is itself.
      – Frenzy Li
      Jul 30 at 15:19







    • 6




      @FrenzyLi In fact, that's what Daniel Mroz is hinting at with his part on field extensions. Conjugation is an automorphism of the bigger field, leaving the smaller field fixed; an element of the Galois group.
      – Babelfish
      Jul 30 at 16:11
















    • I can see that those are two different kinds of conjugates, but by treating $i$ and $sqrtd$ as (mere) indeterminate variables, don't we get a unified notion of conjugation, as in mapping from $alpha+beta y$ to $alpha-beta y$ when this mapping makes sense (as in well defined and preserves algebraic structure)? In both cases, $alpha$ gets mapped to $alpha$ and we declare that the conjugate of $alpha$ is itself.
      – Frenzy Li
      Jul 30 at 15:19







    • 6




      @FrenzyLi In fact, that's what Daniel Mroz is hinting at with his part on field extensions. Conjugation is an automorphism of the bigger field, leaving the smaller field fixed; an element of the Galois group.
      – Babelfish
      Jul 30 at 16:11















    I can see that those are two different kinds of conjugates, but by treating $i$ and $sqrtd$ as (mere) indeterminate variables, don't we get a unified notion of conjugation, as in mapping from $alpha+beta y$ to $alpha-beta y$ when this mapping makes sense (as in well defined and preserves algebraic structure)? In both cases, $alpha$ gets mapped to $alpha$ and we declare that the conjugate of $alpha$ is itself.
    – Frenzy Li
    Jul 30 at 15:19





    I can see that those are two different kinds of conjugates, but by treating $i$ and $sqrtd$ as (mere) indeterminate variables, don't we get a unified notion of conjugation, as in mapping from $alpha+beta y$ to $alpha-beta y$ when this mapping makes sense (as in well defined and preserves algebraic structure)? In both cases, $alpha$ gets mapped to $alpha$ and we declare that the conjugate of $alpha$ is itself.
    – Frenzy Li
    Jul 30 at 15:19





    6




    6




    @FrenzyLi In fact, that's what Daniel Mroz is hinting at with his part on field extensions. Conjugation is an automorphism of the bigger field, leaving the smaller field fixed; an element of the Galois group.
    – Babelfish
    Jul 30 at 16:11




    @FrenzyLi In fact, that's what Daniel Mroz is hinting at with his part on field extensions. Conjugation is an automorphism of the bigger field, leaving the smaller field fixed; an element of the Galois group.
    – Babelfish
    Jul 30 at 16:11










    up vote
    6
    down vote













    The notion of a conjugate comes up when you have a naturally defined function $c$ from a set to itself such that for all $x$ you have $c(c(x)) = x$. Then $c(x)$ is the conjugate of $x$.



    That happens naturally when the numbers you are thinking about are of the form $a+bsqrtd$ for some $d$. Then you define the conjugating function by switching the sign of $b$.



    In this case $2$ will be its own conjugate.



    The conjugate of $1 + sqrt2$ is tricky. It's sometimes $1 - sqrt2$ but it's just $1 + sqrt2$ (itself) in the complex numbers, since it's a real number.






    share|cite|improve this answer





















    • Perhaps outside the scope of the question, but I would say a conjugate must be with respect to some subset, i.e. $c(x)=x$ for every $x$ in the sub-set as well as $c(c(x))=x$ for every $x$ in the whole set. Assuming only members of the sub-set satisfy the first condition, we have $c(x cdot c(x))=c(x)cdot c(c(x))=xcdot c(x)$ which means $xcdot c(x)$ is always in our "special subset" (in other words - a conjugate of $L$ over $K$ is a non-trivial involution in $mathrmAut(L/K)$)
      – Itai
      Jul 30 at 13:27











    • I think you should clarify "numbers of the form a + b sqrt (d)", it's evidently not well defined when considering real numbers, or when d is a perfect square. Also the "It's sometimes..." sentence could be clarified, it's not like it is non-deterministic, depending on the context and object considered it will be clear what notion of conjugation one is referring to.
      – Maxim
      Jul 31 at 9:30














    up vote
    6
    down vote













    The notion of a conjugate comes up when you have a naturally defined function $c$ from a set to itself such that for all $x$ you have $c(c(x)) = x$. Then $c(x)$ is the conjugate of $x$.



    That happens naturally when the numbers you are thinking about are of the form $a+bsqrtd$ for some $d$. Then you define the conjugating function by switching the sign of $b$.



    In this case $2$ will be its own conjugate.



    The conjugate of $1 + sqrt2$ is tricky. It's sometimes $1 - sqrt2$ but it's just $1 + sqrt2$ (itself) in the complex numbers, since it's a real number.






    share|cite|improve this answer





















    • Perhaps outside the scope of the question, but I would say a conjugate must be with respect to some subset, i.e. $c(x)=x$ for every $x$ in the sub-set as well as $c(c(x))=x$ for every $x$ in the whole set. Assuming only members of the sub-set satisfy the first condition, we have $c(x cdot c(x))=c(x)cdot c(c(x))=xcdot c(x)$ which means $xcdot c(x)$ is always in our "special subset" (in other words - a conjugate of $L$ over $K$ is a non-trivial involution in $mathrmAut(L/K)$)
      – Itai
      Jul 30 at 13:27











    • I think you should clarify "numbers of the form a + b sqrt (d)", it's evidently not well defined when considering real numbers, or when d is a perfect square. Also the "It's sometimes..." sentence could be clarified, it's not like it is non-deterministic, depending on the context and object considered it will be clear what notion of conjugation one is referring to.
      – Maxim
      Jul 31 at 9:30












    up vote
    6
    down vote










    up vote
    6
    down vote









    The notion of a conjugate comes up when you have a naturally defined function $c$ from a set to itself such that for all $x$ you have $c(c(x)) = x$. Then $c(x)$ is the conjugate of $x$.



    That happens naturally when the numbers you are thinking about are of the form $a+bsqrtd$ for some $d$. Then you define the conjugating function by switching the sign of $b$.



    In this case $2$ will be its own conjugate.



    The conjugate of $1 + sqrt2$ is tricky. It's sometimes $1 - sqrt2$ but it's just $1 + sqrt2$ (itself) in the complex numbers, since it's a real number.






    share|cite|improve this answer













    The notion of a conjugate comes up when you have a naturally defined function $c$ from a set to itself such that for all $x$ you have $c(c(x)) = x$. Then $c(x)$ is the conjugate of $x$.



    That happens naturally when the numbers you are thinking about are of the form $a+bsqrtd$ for some $d$. Then you define the conjugating function by switching the sign of $b$.



    In this case $2$ will be its own conjugate.



    The conjugate of $1 + sqrt2$ is tricky. It's sometimes $1 - sqrt2$ but it's just $1 + sqrt2$ (itself) in the complex numbers, since it's a real number.







    share|cite|improve this answer













    share|cite|improve this answer



    share|cite|improve this answer











    answered Jul 30 at 12:14









    Ethan Bolker

    35.7k54199




    35.7k54199











    • Perhaps outside the scope of the question, but I would say a conjugate must be with respect to some subset, i.e. $c(x)=x$ for every $x$ in the sub-set as well as $c(c(x))=x$ for every $x$ in the whole set. Assuming only members of the sub-set satisfy the first condition, we have $c(x cdot c(x))=c(x)cdot c(c(x))=xcdot c(x)$ which means $xcdot c(x)$ is always in our "special subset" (in other words - a conjugate of $L$ over $K$ is a non-trivial involution in $mathrmAut(L/K)$)
      – Itai
      Jul 30 at 13:27











    • I think you should clarify "numbers of the form a + b sqrt (d)", it's evidently not well defined when considering real numbers, or when d is a perfect square. Also the "It's sometimes..." sentence could be clarified, it's not like it is non-deterministic, depending on the context and object considered it will be clear what notion of conjugation one is referring to.
      – Maxim
      Jul 31 at 9:30
















    • Perhaps outside the scope of the question, but I would say a conjugate must be with respect to some subset, i.e. $c(x)=x$ for every $x$ in the sub-set as well as $c(c(x))=x$ for every $x$ in the whole set. Assuming only members of the sub-set satisfy the first condition, we have $c(x cdot c(x))=c(x)cdot c(c(x))=xcdot c(x)$ which means $xcdot c(x)$ is always in our "special subset" (in other words - a conjugate of $L$ over $K$ is a non-trivial involution in $mathrmAut(L/K)$)
      – Itai
      Jul 30 at 13:27











    • I think you should clarify "numbers of the form a + b sqrt (d)", it's evidently not well defined when considering real numbers, or when d is a perfect square. Also the "It's sometimes..." sentence could be clarified, it's not like it is non-deterministic, depending on the context and object considered it will be clear what notion of conjugation one is referring to.
      – Maxim
      Jul 31 at 9:30















    Perhaps outside the scope of the question, but I would say a conjugate must be with respect to some subset, i.e. $c(x)=x$ for every $x$ in the sub-set as well as $c(c(x))=x$ for every $x$ in the whole set. Assuming only members of the sub-set satisfy the first condition, we have $c(x cdot c(x))=c(x)cdot c(c(x))=xcdot c(x)$ which means $xcdot c(x)$ is always in our "special subset" (in other words - a conjugate of $L$ over $K$ is a non-trivial involution in $mathrmAut(L/K)$)
    – Itai
    Jul 30 at 13:27





    Perhaps outside the scope of the question, but I would say a conjugate must be with respect to some subset, i.e. $c(x)=x$ for every $x$ in the sub-set as well as $c(c(x))=x$ for every $x$ in the whole set. Assuming only members of the sub-set satisfy the first condition, we have $c(x cdot c(x))=c(x)cdot c(c(x))=xcdot c(x)$ which means $xcdot c(x)$ is always in our "special subset" (in other words - a conjugate of $L$ over $K$ is a non-trivial involution in $mathrmAut(L/K)$)
    – Itai
    Jul 30 at 13:27













    I think you should clarify "numbers of the form a + b sqrt (d)", it's evidently not well defined when considering real numbers, or when d is a perfect square. Also the "It's sometimes..." sentence could be clarified, it's not like it is non-deterministic, depending on the context and object considered it will be clear what notion of conjugation one is referring to.
    – Maxim
    Jul 31 at 9:30




    I think you should clarify "numbers of the form a + b sqrt (d)", it's evidently not well defined when considering real numbers, or when d is a perfect square. Also the "It's sometimes..." sentence could be clarified, it's not like it is non-deterministic, depending on the context and object considered it will be clear what notion of conjugation one is referring to.
    – Maxim
    Jul 31 at 9:30










    up vote
    2
    down vote













    Usually our definition of "conjugate" refers to complex numbers: the conjugate of $a+bi$ is $a-bi$. You could say "complex conjugate" be be extra specific.



    Note that $1+sqrt2$ is a real number, so its conjugate is $1+sqrt2$.



    A nice way of thinking about conjugates is how they are related in the complex plane (on an Argand diagram). Given a complex number, reflect it across the horizontal (real) axis to get its conjugate. Since $1$, $2$ and $1+sqrt2$ all lie on the real line, they are their own conjugate.



    Getting a little bit more advanced, you can define conjugates in different fields. The complex numbers are an extension of the real numbers with the number $i$. We can write this "field extension" as $mathbbC=mathbbR(i)$.



    Working instead in $mathbbQ(sqrt2)$ (the rationals extended with $sqrt2$), you can define the conjugate of $a+bsqrt2$ as $a-bsqrt2$. But don't worry so much about this if you are new to the topic!






    share|cite|improve this answer



























      up vote
      2
      down vote













      Usually our definition of "conjugate" refers to complex numbers: the conjugate of $a+bi$ is $a-bi$. You could say "complex conjugate" be be extra specific.



      Note that $1+sqrt2$ is a real number, so its conjugate is $1+sqrt2$.



      A nice way of thinking about conjugates is how they are related in the complex plane (on an Argand diagram). Given a complex number, reflect it across the horizontal (real) axis to get its conjugate. Since $1$, $2$ and $1+sqrt2$ all lie on the real line, they are their own conjugate.



      Getting a little bit more advanced, you can define conjugates in different fields. The complex numbers are an extension of the real numbers with the number $i$. We can write this "field extension" as $mathbbC=mathbbR(i)$.



      Working instead in $mathbbQ(sqrt2)$ (the rationals extended with $sqrt2$), you can define the conjugate of $a+bsqrt2$ as $a-bsqrt2$. But don't worry so much about this if you are new to the topic!






      share|cite|improve this answer

























        up vote
        2
        down vote










        up vote
        2
        down vote









        Usually our definition of "conjugate" refers to complex numbers: the conjugate of $a+bi$ is $a-bi$. You could say "complex conjugate" be be extra specific.



        Note that $1+sqrt2$ is a real number, so its conjugate is $1+sqrt2$.



        A nice way of thinking about conjugates is how they are related in the complex plane (on an Argand diagram). Given a complex number, reflect it across the horizontal (real) axis to get its conjugate. Since $1$, $2$ and $1+sqrt2$ all lie on the real line, they are their own conjugate.



        Getting a little bit more advanced, you can define conjugates in different fields. The complex numbers are an extension of the real numbers with the number $i$. We can write this "field extension" as $mathbbC=mathbbR(i)$.



        Working instead in $mathbbQ(sqrt2)$ (the rationals extended with $sqrt2$), you can define the conjugate of $a+bsqrt2$ as $a-bsqrt2$. But don't worry so much about this if you are new to the topic!






        share|cite|improve this answer















        Usually our definition of "conjugate" refers to complex numbers: the conjugate of $a+bi$ is $a-bi$. You could say "complex conjugate" be be extra specific.



        Note that $1+sqrt2$ is a real number, so its conjugate is $1+sqrt2$.



        A nice way of thinking about conjugates is how they are related in the complex plane (on an Argand diagram). Given a complex number, reflect it across the horizontal (real) axis to get its conjugate. Since $1$, $2$ and $1+sqrt2$ all lie on the real line, they are their own conjugate.



        Getting a little bit more advanced, you can define conjugates in different fields. The complex numbers are an extension of the real numbers with the number $i$. We can write this "field extension" as $mathbbC=mathbbR(i)$.



        Working instead in $mathbbQ(sqrt2)$ (the rationals extended with $sqrt2$), you can define the conjugate of $a+bsqrt2$ as $a-bsqrt2$. But don't worry so much about this if you are new to the topic!







        share|cite|improve this answer















        share|cite|improve this answer



        share|cite|improve this answer








        edited Jul 30 at 12:24


























        answered Jul 30 at 12:16









        Malkin

        914421




        914421






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2866943%2fconjugate-of-real-number%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?