Formal definition of euclidean space












1












$begingroup$


Is there an agreed upon, precise definition of the euclidean space? Although I have searched in may places, I can't find anything that is rigorous. From what I have read, I have thought of defining it like this:




Definition: The euclidean space of $n$ dimensions, $E^n$, is defined as the topology generated by the basis ($R^{n},d$), where $R^{n}$ is the set (Not the cartesian product of the standard real line topology) and $d$ is the Euclidean metric $d(x,y) = Sigma^{n}_{i=1}(x^{2}_{i}-y^{2}_{i})$ (where $x = (x_{1},dots ,x_{n})$ and $y=((y_{1},dots ,y_{n})$).




Would the definition above be accurate?



Similarly, would it be accurate to define the $n$ sphere, $S^{n}$ (as a topological space) as the subset topology of ${p in R^{n} | d(x,p) = a}$ (Where $a in R^{+}$ and $x in R^{n}$) inherited from the euclidean topology?










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    The product topology and metric topology are the same, in this case.
    $endgroup$
    – Cameron Buie
    Jan 5 at 15:09










  • $begingroup$
    All topologies generated by a norm on a finite-dimensional space over the real or complex numbers are in fact the same.
    $endgroup$
    – ncmathsadist
    Jan 5 at 15:11










  • $begingroup$
    So can I use the definition I have provided? (Sorry for the bluntness)
    $endgroup$
    – Aryaman Gupta
    Jan 5 at 15:14










  • $begingroup$
    I suspect that the short answer to your question is "no". There have been several similar questions before, including What is the difference between a Hilbert space and Euclidean space?, What really is the modern definition of Euclidean spaces?, Is the Euclidean plane equal to $mathbb{R}^2$?. Personally I remain confused, so I'm just commenting, not answering!
    $endgroup$
    – Calum Gilhooley
    Jan 5 at 15:50






  • 1




    $begingroup$
    Following up on the comment of CalumGilhooley, this question invites ambiguous answers because it does not address the following key issue: What are the salient mathematical structures of Euclidean space? Simply its points, as the answer of @ItsJustAMeasureBro suggests? Its points together with its lines? Its points together with its metric, as the definition in your question suggests? Its points, lines, metric, angles, and angle measurement? All of the above together with its inner product, as one link in Calum's comment suggests? .........
    $endgroup$
    – Lee Mosher
    Jan 5 at 18:54


















1












$begingroup$


Is there an agreed upon, precise definition of the euclidean space? Although I have searched in may places, I can't find anything that is rigorous. From what I have read, I have thought of defining it like this:




Definition: The euclidean space of $n$ dimensions, $E^n$, is defined as the topology generated by the basis ($R^{n},d$), where $R^{n}$ is the set (Not the cartesian product of the standard real line topology) and $d$ is the Euclidean metric $d(x,y) = Sigma^{n}_{i=1}(x^{2}_{i}-y^{2}_{i})$ (where $x = (x_{1},dots ,x_{n})$ and $y=((y_{1},dots ,y_{n})$).




Would the definition above be accurate?



Similarly, would it be accurate to define the $n$ sphere, $S^{n}$ (as a topological space) as the subset topology of ${p in R^{n} | d(x,p) = a}$ (Where $a in R^{+}$ and $x in R^{n}$) inherited from the euclidean topology?










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    The product topology and metric topology are the same, in this case.
    $endgroup$
    – Cameron Buie
    Jan 5 at 15:09










  • $begingroup$
    All topologies generated by a norm on a finite-dimensional space over the real or complex numbers are in fact the same.
    $endgroup$
    – ncmathsadist
    Jan 5 at 15:11










  • $begingroup$
    So can I use the definition I have provided? (Sorry for the bluntness)
    $endgroup$
    – Aryaman Gupta
    Jan 5 at 15:14










  • $begingroup$
    I suspect that the short answer to your question is "no". There have been several similar questions before, including What is the difference between a Hilbert space and Euclidean space?, What really is the modern definition of Euclidean spaces?, Is the Euclidean plane equal to $mathbb{R}^2$?. Personally I remain confused, so I'm just commenting, not answering!
    $endgroup$
    – Calum Gilhooley
    Jan 5 at 15:50






  • 1




    $begingroup$
    Following up on the comment of CalumGilhooley, this question invites ambiguous answers because it does not address the following key issue: What are the salient mathematical structures of Euclidean space? Simply its points, as the answer of @ItsJustAMeasureBro suggests? Its points together with its lines? Its points together with its metric, as the definition in your question suggests? Its points, lines, metric, angles, and angle measurement? All of the above together with its inner product, as one link in Calum's comment suggests? .........
    $endgroup$
    – Lee Mosher
    Jan 5 at 18:54
















1












1








1


1



$begingroup$


Is there an agreed upon, precise definition of the euclidean space? Although I have searched in may places, I can't find anything that is rigorous. From what I have read, I have thought of defining it like this:




Definition: The euclidean space of $n$ dimensions, $E^n$, is defined as the topology generated by the basis ($R^{n},d$), where $R^{n}$ is the set (Not the cartesian product of the standard real line topology) and $d$ is the Euclidean metric $d(x,y) = Sigma^{n}_{i=1}(x^{2}_{i}-y^{2}_{i})$ (where $x = (x_{1},dots ,x_{n})$ and $y=((y_{1},dots ,y_{n})$).




Would the definition above be accurate?



Similarly, would it be accurate to define the $n$ sphere, $S^{n}$ (as a topological space) as the subset topology of ${p in R^{n} | d(x,p) = a}$ (Where $a in R^{+}$ and $x in R^{n}$) inherited from the euclidean topology?










share|cite|improve this question











$endgroup$




Is there an agreed upon, precise definition of the euclidean space? Although I have searched in may places, I can't find anything that is rigorous. From what I have read, I have thought of defining it like this:




Definition: The euclidean space of $n$ dimensions, $E^n$, is defined as the topology generated by the basis ($R^{n},d$), where $R^{n}$ is the set (Not the cartesian product of the standard real line topology) and $d$ is the Euclidean metric $d(x,y) = Sigma^{n}_{i=1}(x^{2}_{i}-y^{2}_{i})$ (where $x = (x_{1},dots ,x_{n})$ and $y=((y_{1},dots ,y_{n})$).




Would the definition above be accurate?



Similarly, would it be accurate to define the $n$ sphere, $S^{n}$ (as a topological space) as the subset topology of ${p in R^{n} | d(x,p) = a}$ (Where $a in R^{+}$ and $x in R^{n}$) inherited from the euclidean topology?







metric-spaces definition geometric-topology






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 5 at 15:08







Aryaman Gupta

















asked Jan 5 at 14:59









Aryaman GuptaAryaman Gupta

507




507








  • 1




    $begingroup$
    The product topology and metric topology are the same, in this case.
    $endgroup$
    – Cameron Buie
    Jan 5 at 15:09










  • $begingroup$
    All topologies generated by a norm on a finite-dimensional space over the real or complex numbers are in fact the same.
    $endgroup$
    – ncmathsadist
    Jan 5 at 15:11










  • $begingroup$
    So can I use the definition I have provided? (Sorry for the bluntness)
    $endgroup$
    – Aryaman Gupta
    Jan 5 at 15:14










  • $begingroup$
    I suspect that the short answer to your question is "no". There have been several similar questions before, including What is the difference between a Hilbert space and Euclidean space?, What really is the modern definition of Euclidean spaces?, Is the Euclidean plane equal to $mathbb{R}^2$?. Personally I remain confused, so I'm just commenting, not answering!
    $endgroup$
    – Calum Gilhooley
    Jan 5 at 15:50






  • 1




    $begingroup$
    Following up on the comment of CalumGilhooley, this question invites ambiguous answers because it does not address the following key issue: What are the salient mathematical structures of Euclidean space? Simply its points, as the answer of @ItsJustAMeasureBro suggests? Its points together with its lines? Its points together with its metric, as the definition in your question suggests? Its points, lines, metric, angles, and angle measurement? All of the above together with its inner product, as one link in Calum's comment suggests? .........
    $endgroup$
    – Lee Mosher
    Jan 5 at 18:54
















  • 1




    $begingroup$
    The product topology and metric topology are the same, in this case.
    $endgroup$
    – Cameron Buie
    Jan 5 at 15:09










  • $begingroup$
    All topologies generated by a norm on a finite-dimensional space over the real or complex numbers are in fact the same.
    $endgroup$
    – ncmathsadist
    Jan 5 at 15:11










  • $begingroup$
    So can I use the definition I have provided? (Sorry for the bluntness)
    $endgroup$
    – Aryaman Gupta
    Jan 5 at 15:14










  • $begingroup$
    I suspect that the short answer to your question is "no". There have been several similar questions before, including What is the difference between a Hilbert space and Euclidean space?, What really is the modern definition of Euclidean spaces?, Is the Euclidean plane equal to $mathbb{R}^2$?. Personally I remain confused, so I'm just commenting, not answering!
    $endgroup$
    – Calum Gilhooley
    Jan 5 at 15:50






  • 1




    $begingroup$
    Following up on the comment of CalumGilhooley, this question invites ambiguous answers because it does not address the following key issue: What are the salient mathematical structures of Euclidean space? Simply its points, as the answer of @ItsJustAMeasureBro suggests? Its points together with its lines? Its points together with its metric, as the definition in your question suggests? Its points, lines, metric, angles, and angle measurement? All of the above together with its inner product, as one link in Calum's comment suggests? .........
    $endgroup$
    – Lee Mosher
    Jan 5 at 18:54










1




1




$begingroup$
The product topology and metric topology are the same, in this case.
$endgroup$
– Cameron Buie
Jan 5 at 15:09




$begingroup$
The product topology and metric topology are the same, in this case.
$endgroup$
– Cameron Buie
Jan 5 at 15:09












$begingroup$
All topologies generated by a norm on a finite-dimensional space over the real or complex numbers are in fact the same.
$endgroup$
– ncmathsadist
Jan 5 at 15:11




$begingroup$
All topologies generated by a norm on a finite-dimensional space over the real or complex numbers are in fact the same.
$endgroup$
– ncmathsadist
Jan 5 at 15:11












$begingroup$
So can I use the definition I have provided? (Sorry for the bluntness)
$endgroup$
– Aryaman Gupta
Jan 5 at 15:14




$begingroup$
So can I use the definition I have provided? (Sorry for the bluntness)
$endgroup$
– Aryaman Gupta
Jan 5 at 15:14












$begingroup$
I suspect that the short answer to your question is "no". There have been several similar questions before, including What is the difference between a Hilbert space and Euclidean space?, What really is the modern definition of Euclidean spaces?, Is the Euclidean plane equal to $mathbb{R}^2$?. Personally I remain confused, so I'm just commenting, not answering!
$endgroup$
– Calum Gilhooley
Jan 5 at 15:50




$begingroup$
I suspect that the short answer to your question is "no". There have been several similar questions before, including What is the difference between a Hilbert space and Euclidean space?, What really is the modern definition of Euclidean spaces?, Is the Euclidean plane equal to $mathbb{R}^2$?. Personally I remain confused, so I'm just commenting, not answering!
$endgroup$
– Calum Gilhooley
Jan 5 at 15:50




1




1




$begingroup$
Following up on the comment of CalumGilhooley, this question invites ambiguous answers because it does not address the following key issue: What are the salient mathematical structures of Euclidean space? Simply its points, as the answer of @ItsJustAMeasureBro suggests? Its points together with its lines? Its points together with its metric, as the definition in your question suggests? Its points, lines, metric, angles, and angle measurement? All of the above together with its inner product, as one link in Calum's comment suggests? .........
$endgroup$
– Lee Mosher
Jan 5 at 18:54






$begingroup$
Following up on the comment of CalumGilhooley, this question invites ambiguous answers because it does not address the following key issue: What are the salient mathematical structures of Euclidean space? Simply its points, as the answer of @ItsJustAMeasureBro suggests? Its points together with its lines? Its points together with its metric, as the definition in your question suggests? Its points, lines, metric, angles, and angle measurement? All of the above together with its inner product, as one link in Calum's comment suggests? .........
$endgroup$
– Lee Mosher
Jan 5 at 18:54












2 Answers
2






active

oldest

votes


















0












$begingroup$

The formal definition is probably something close to this.




Euclidean $n$-space, sometimes called Cartesian space or simply $n$-space, is the space of all $n$-tuples of real numbers, ($x_1, x_2, ..., x_n$). Such $n$-tuples are sometimes called points, although other nomenclature may be used (see below). The totality of $n$-space is commonly denoted $mathbb R^n$, although older literature uses the symbol $mathbb E^n$ (or actually, its non-doublestruck variant $E^n$; O'Neill 1966, p. 3).







share|cite|improve this answer











$endgroup$













  • $begingroup$
    Depending on the context, Euclidean Space usually doesn't fix an origin and so there is a distinction between points and translations between them. $mathbb R^n$ can be used to stand for both the points and the translations, but that's sort of incidental. As an aside, I wouldn't personally trust mathworld for definitions; I've found pages with multiple inconsistent definitions, pages with definitions that seem to agree with no other internet source, etc.
    $endgroup$
    – Mark S.
    Jan 8 at 11:03





















1












$begingroup$

Ray Bowen, in his Introduction to Vectors and Tensors, Vol 2, section 43, defines a "Euclidean Point Space":




Consider an inner product space $V$ and a set $E$. The set $E$ is a
Euclidean point space if there exists a function $fcolon E times E to V$ such that:



(a) $f(x, y) = f(x, z) + f(z, y)$, for $x, y, zin E$ and



(b) For every $xin E$ and $vin V$ there exists a unique element $yin E$ such that
$f(x, y) = v$.



The elements of $E$ are called points, and the inner product space $V$ is called the translation space.
We say that $f(x, y)$ is the vector determined by the end point $x$ and the initial point $y$.







share|cite|improve this answer











$endgroup$














    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
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3062791%2fformal-definition-of-euclidean-space%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









    0












    $begingroup$

    The formal definition is probably something close to this.




    Euclidean $n$-space, sometimes called Cartesian space or simply $n$-space, is the space of all $n$-tuples of real numbers, ($x_1, x_2, ..., x_n$). Such $n$-tuples are sometimes called points, although other nomenclature may be used (see below). The totality of $n$-space is commonly denoted $mathbb R^n$, although older literature uses the symbol $mathbb E^n$ (or actually, its non-doublestruck variant $E^n$; O'Neill 1966, p. 3).







    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      Depending on the context, Euclidean Space usually doesn't fix an origin and so there is a distinction between points and translations between them. $mathbb R^n$ can be used to stand for both the points and the translations, but that's sort of incidental. As an aside, I wouldn't personally trust mathworld for definitions; I've found pages with multiple inconsistent definitions, pages with definitions that seem to agree with no other internet source, etc.
      $endgroup$
      – Mark S.
      Jan 8 at 11:03


















    0












    $begingroup$

    The formal definition is probably something close to this.




    Euclidean $n$-space, sometimes called Cartesian space or simply $n$-space, is the space of all $n$-tuples of real numbers, ($x_1, x_2, ..., x_n$). Such $n$-tuples are sometimes called points, although other nomenclature may be used (see below). The totality of $n$-space is commonly denoted $mathbb R^n$, although older literature uses the symbol $mathbb E^n$ (or actually, its non-doublestruck variant $E^n$; O'Neill 1966, p. 3).







    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      Depending on the context, Euclidean Space usually doesn't fix an origin and so there is a distinction between points and translations between them. $mathbb R^n$ can be used to stand for both the points and the translations, but that's sort of incidental. As an aside, I wouldn't personally trust mathworld for definitions; I've found pages with multiple inconsistent definitions, pages with definitions that seem to agree with no other internet source, etc.
      $endgroup$
      – Mark S.
      Jan 8 at 11:03
















    0












    0








    0





    $begingroup$

    The formal definition is probably something close to this.




    Euclidean $n$-space, sometimes called Cartesian space or simply $n$-space, is the space of all $n$-tuples of real numbers, ($x_1, x_2, ..., x_n$). Such $n$-tuples are sometimes called points, although other nomenclature may be used (see below). The totality of $n$-space is commonly denoted $mathbb R^n$, although older literature uses the symbol $mathbb E^n$ (or actually, its non-doublestruck variant $E^n$; O'Neill 1966, p. 3).







    share|cite|improve this answer











    $endgroup$



    The formal definition is probably something close to this.




    Euclidean $n$-space, sometimes called Cartesian space or simply $n$-space, is the space of all $n$-tuples of real numbers, ($x_1, x_2, ..., x_n$). Such $n$-tuples are sometimes called points, although other nomenclature may be used (see below). The totality of $n$-space is commonly denoted $mathbb R^n$, although older literature uses the symbol $mathbb E^n$ (or actually, its non-doublestruck variant $E^n$; O'Neill 1966, p. 3).








    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited Jan 5 at 15:34









    EdOverflow

    25519




    25519










    answered Jan 5 at 15:09









    ItsJustAMeasureBroItsJustAMeasureBro

    342




    342












    • $begingroup$
      Depending on the context, Euclidean Space usually doesn't fix an origin and so there is a distinction between points and translations between them. $mathbb R^n$ can be used to stand for both the points and the translations, but that's sort of incidental. As an aside, I wouldn't personally trust mathworld for definitions; I've found pages with multiple inconsistent definitions, pages with definitions that seem to agree with no other internet source, etc.
      $endgroup$
      – Mark S.
      Jan 8 at 11:03




















    • $begingroup$
      Depending on the context, Euclidean Space usually doesn't fix an origin and so there is a distinction between points and translations between them. $mathbb R^n$ can be used to stand for both the points and the translations, but that's sort of incidental. As an aside, I wouldn't personally trust mathworld for definitions; I've found pages with multiple inconsistent definitions, pages with definitions that seem to agree with no other internet source, etc.
      $endgroup$
      – Mark S.
      Jan 8 at 11:03


















    $begingroup$
    Depending on the context, Euclidean Space usually doesn't fix an origin and so there is a distinction between points and translations between them. $mathbb R^n$ can be used to stand for both the points and the translations, but that's sort of incidental. As an aside, I wouldn't personally trust mathworld for definitions; I've found pages with multiple inconsistent definitions, pages with definitions that seem to agree with no other internet source, etc.
    $endgroup$
    – Mark S.
    Jan 8 at 11:03






    $begingroup$
    Depending on the context, Euclidean Space usually doesn't fix an origin and so there is a distinction between points and translations between them. $mathbb R^n$ can be used to stand for both the points and the translations, but that's sort of incidental. As an aside, I wouldn't personally trust mathworld for definitions; I've found pages with multiple inconsistent definitions, pages with definitions that seem to agree with no other internet source, etc.
    $endgroup$
    – Mark S.
    Jan 8 at 11:03













    1












    $begingroup$

    Ray Bowen, in his Introduction to Vectors and Tensors, Vol 2, section 43, defines a "Euclidean Point Space":




    Consider an inner product space $V$ and a set $E$. The set $E$ is a
    Euclidean point space if there exists a function $fcolon E times E to V$ such that:



    (a) $f(x, y) = f(x, z) + f(z, y)$, for $x, y, zin E$ and



    (b) For every $xin E$ and $vin V$ there exists a unique element $yin E$ such that
    $f(x, y) = v$.



    The elements of $E$ are called points, and the inner product space $V$ is called the translation space.
    We say that $f(x, y)$ is the vector determined by the end point $x$ and the initial point $y$.







    share|cite|improve this answer











    $endgroup$


















      1












      $begingroup$

      Ray Bowen, in his Introduction to Vectors and Tensors, Vol 2, section 43, defines a "Euclidean Point Space":




      Consider an inner product space $V$ and a set $E$. The set $E$ is a
      Euclidean point space if there exists a function $fcolon E times E to V$ such that:



      (a) $f(x, y) = f(x, z) + f(z, y)$, for $x, y, zin E$ and



      (b) For every $xin E$ and $vin V$ there exists a unique element $yin E$ such that
      $f(x, y) = v$.



      The elements of $E$ are called points, and the inner product space $V$ is called the translation space.
      We say that $f(x, y)$ is the vector determined by the end point $x$ and the initial point $y$.







      share|cite|improve this answer











      $endgroup$
















        1












        1








        1





        $begingroup$

        Ray Bowen, in his Introduction to Vectors and Tensors, Vol 2, section 43, defines a "Euclidean Point Space":




        Consider an inner product space $V$ and a set $E$. The set $E$ is a
        Euclidean point space if there exists a function $fcolon E times E to V$ such that:



        (a) $f(x, y) = f(x, z) + f(z, y)$, for $x, y, zin E$ and



        (b) For every $xin E$ and $vin V$ there exists a unique element $yin E$ such that
        $f(x, y) = v$.



        The elements of $E$ are called points, and the inner product space $V$ is called the translation space.
        We say that $f(x, y)$ is the vector determined by the end point $x$ and the initial point $y$.







        share|cite|improve this answer











        $endgroup$



        Ray Bowen, in his Introduction to Vectors and Tensors, Vol 2, section 43, defines a "Euclidean Point Space":




        Consider an inner product space $V$ and a set $E$. The set $E$ is a
        Euclidean point space if there exists a function $fcolon E times E to V$ such that:



        (a) $f(x, y) = f(x, z) + f(z, y)$, for $x, y, zin E$ and



        (b) For every $xin E$ and $vin V$ there exists a unique element $yin E$ such that
        $f(x, y) = v$.



        The elements of $E$ are called points, and the inner product space $V$ is called the translation space.
        We say that $f(x, y)$ is the vector determined by the end point $x$ and the initial point $y$.








        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Jan 8 at 9:19









        Babelfish

        1,187520




        1,187520










        answered Jan 5 at 17:01









        user21793user21793

        1592




        1592






























            draft saved

            draft discarded




















































            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.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3062791%2fformal-definition-of-euclidean-space%23new-answer', 'question_page');
            }
            );

            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







            Popular posts from this blog

            Probability when a professor distributes a quiz and homework assignment to a class of n students.

            Aardman Animations

            Are they similar matrix