Formal definition of euclidean space
$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?
metric-spaces definition geometric-topology
asked Jan 5 at 14:59
Aryaman GuptaAryaman Gupta
507
$endgroup$
|
show 1 more comment
$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?
metric-spaces definition geometric-topology
asked Jan 5 at 14:59
Aryaman GuptaAryaman Gupta
507
$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
|
show 1 more comment
$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?
metric-spaces definition geometric-topology
asked Jan 5 at 14:59
Aryaman GuptaAryaman Gupta
507
$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
metric-spaces definition geometric-topology
asked Jan 5 at 14:59
Aryaman GuptaAryaman Gupta
507
asked Jan 5 at 14:59
Aryaman GuptaAryaman Gupta
507
edited Jan 5 at 15:08
Aryaman Gupta
asked Jan 5 at 14:59
Aryaman GuptaAryaman Gupta
507
asked Jan 5 at 14:59
Aryaman GuptaAryaman Gupta
507
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
|
show 1 more comment
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
|
show 1 more comment
2 Answers
2
active
oldest
votes
$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).
edited Jan 5 at 15:34
EdOverflow
25519
answered Jan 5 at 15:09
ItsJustAMeasureBroItsJustAMeasureBro
342
$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
add a comment |
$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$.
edited Jan 8 at 9:19
Babelfish
1,187520
answered Jan 5 at 17:01
user21793user21793
1592
$endgroup$
add a comment |
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%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
$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).
edited Jan 5 at 15:34
EdOverflow
25519
answered Jan 5 at 15:09
ItsJustAMeasureBroItsJustAMeasureBro
342
$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
add a comment |
$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).
edited Jan 5 at 15:34
EdOverflow
25519
answered Jan 5 at 15:09
ItsJustAMeasureBroItsJustAMeasureBro
342
$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
add a comment |
$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).
edited Jan 5 at 15:34
EdOverflow
25519
answered Jan 5 at 15:09
ItsJustAMeasureBroItsJustAMeasureBro
342
$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).
edited Jan 5 at 15:34
EdOverflow
25519
answered Jan 5 at 15:09
ItsJustAMeasureBroItsJustAMeasureBro
342
edited Jan 5 at 15:34
EdOverflow
25519
edited Jan 5 at 15:34
EdOverflow
25519
edited Jan 5 at 15:34
EdOverflow
25519
25519
answered Jan 5 at 15:09
ItsJustAMeasureBroItsJustAMeasureBro
342
answered Jan 5 at 15:09
ItsJustAMeasureBroItsJustAMeasureBro
342
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
add a comment |
$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
add a comment |
$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$.
edited Jan 8 at 9:19
Babelfish
1,187520
answered Jan 5 at 17:01
user21793user21793
1592
$endgroup$
add a comment |
$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$.
edited Jan 8 at 9:19
Babelfish
1,187520
answered Jan 5 at 17:01
user21793user21793
1592
$endgroup$
add a comment |
$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$.
edited Jan 8 at 9:19
Babelfish
1,187520
answered Jan 5 at 17:01
user21793user21793
1592
$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$.
edited Jan 8 at 9:19
Babelfish
1,187520
answered Jan 5 at 17:01
user21793user21793
1592
edited Jan 8 at 9:19
Babelfish
1,187520
edited Jan 8 at 9:19
Babelfish
1,187520
edited Jan 8 at 9:19
Babelfish
1,187520
1,187520
answered Jan 5 at 17:01
user21793user21793
1592
answered Jan 5 at 17:01
user21793user21793
1592
answered Jan 5 at 17:01
user21793user21793
1592
1592
add a comment |
add a comment |
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%2f3062791%2fformal-definition-of-euclidean-space%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
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