What fields between the rationals and the reals allow a good notion of 2D distance?












20












$begingroup$


Consider a field $K$, let's say $K subseteq mathbb R$. We can consider the 'plane' $K times K$. I am wondering in which cases the distance function $d: K times K to mathbb R$, defined as is normal by $d(x, y) = sqrt{x^2 + y^2}$, takes values in $K$.



Certainly this is not true for $mathbb Q$: we have $d(1, 1) = sqrt{2} notin mathbb Q$. If we take any $K$ which is closed under taking square roots of non-negative numbers, then certainly $d$ will take values in $K$.



However, a priori it might still be true that $a in K$ positive has no square root, yet this does not provide an obstruction because there is no way to write $a = x^2 + y^2$. Thus I am wondering:




Are there fields $K subseteq mathbb R$ which do not have all square roots of positive numbers, yet are closed under $d$?







abstract-algebra field-theory







share|cite|improve this question











$endgroup$








  • 2




    $begingroup$
    Just so you know, there are other distances besides euclidean distance.
    $endgroup$
    – PyRulez
    Mar 21 at 23:47
















20












$begingroup$


Consider a field $K$, let's say $K subseteq mathbb R$. We can consider the 'plane' $K times K$. I am wondering in which cases the distance function $d: K times K to mathbb R$, defined as is normal by $d(x, y) = sqrt{x^2 + y^2}$, takes values in $K$.



Certainly this is not true for $mathbb Q$: we have $d(1, 1) = sqrt{2} notin mathbb Q$. If we take any $K$ which is closed under taking square roots of non-negative numbers, then certainly $d$ will take values in $K$.



However, a priori it might still be true that $a in K$ positive has no square root, yet this does not provide an obstruction because there is no way to write $a = x^2 + y^2$. Thus I am wondering:




Are there fields $K subseteq mathbb R$ which do not have all square roots of positive numbers, yet are closed under $d$?







abstract-algebra field-theory







share|cite|improve this question











$endgroup$








  • 2




    $begingroup$
    Just so you know, there are other distances besides euclidean distance.
    $endgroup$
    – PyRulez
    Mar 21 at 23:47














20












20








20


4



$begingroup$


Consider a field $K$, let's say $K subseteq mathbb R$. We can consider the 'plane' $K times K$. I am wondering in which cases the distance function $d: K times K to mathbb R$, defined as is normal by $d(x, y) = sqrt{x^2 + y^2}$, takes values in $K$.



Certainly this is not true for $mathbb Q$: we have $d(1, 1) = sqrt{2} notin mathbb Q$. If we take any $K$ which is closed under taking square roots of non-negative numbers, then certainly $d$ will take values in $K$.



However, a priori it might still be true that $a in K$ positive has no square root, yet this does not provide an obstruction because there is no way to write $a = x^2 + y^2$. Thus I am wondering:




Are there fields $K subseteq mathbb R$ which do not have all square roots of positive numbers, yet are closed under $d$?







abstract-algebra field-theory







share|cite|improve this question











$endgroup$




Consider a field $K$, let's say $K subseteq mathbb R$. We can consider the 'plane' $K times K$. I am wondering in which cases the distance function $d: K times K to mathbb R$, defined as is normal by $d(x, y) = sqrt{x^2 + y^2}$, takes values in $K$.



Certainly this is not true for $mathbb Q$: we have $d(1, 1) = sqrt{2} notin mathbb Q$. If we take any $K$ which is closed under taking square roots of non-negative numbers, then certainly $d$ will take values in $K$.



However, a priori it might still be true that $a in K$ positive has no square root, yet this does not provide an obstruction because there is no way to write $a = x^2 + y^2$. Thus I am wondering:




Are there fields $K subseteq mathbb R$ which do not have all square roots of positive numbers, yet are closed under $d$?







abstract-algebra field-theory




abstract-algebra field-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 21 at 10:27







Mees de Vries

















asked Mar 21 at 10:20









Mees de VriesMees de Vries

17.5k12958




17.5k12958








  • 2




    $begingroup$
    Just so you know, there are other distances besides euclidean distance.
    $endgroup$
    – PyRulez
    Mar 21 at 23:47














  • 2




    $begingroup$
    Just so you know, there are other distances besides euclidean distance.
    $endgroup$
    – PyRulez
    Mar 21 at 23:47








2




2




$begingroup$
Just so you know, there are other distances besides euclidean distance.
$endgroup$
– PyRulez
Mar 21 at 23:47




$begingroup$
Just so you know, there are other distances besides euclidean distance.
$endgroup$
– PyRulez
Mar 21 at 23:47










2 Answers
2






active

oldest

votes


















16












$begingroup$

Consider the tower of fields



$K_0:=mathbb{Q}$,



$K_{i+1}:=K_i(sqrt{x^2+y^2}| x,yin K_i)$,



$K:=bigcup_i K_i$.



Then $K$ is closed under $d$ and contains $1+sqrt 5$ but not $sqrt{1+sqrt 5}$, as I have found by following the Pythagorean fields Wikipedia link given by @Dirk in his answer: If $sqrt{1+sqrt 5}$ were in $K$ then $1+sqrt 5$ would be a sum of two squares in some extension $K_i$, and then it would be so in an extension of $mathbb{Q}(sqrt 5)$, which implies that it is a sum of squares in $mathbb{Q}(sqrt 5)$, which is impossible because that would entail that $1-sqrt 5$, which is negative, is also a sum of squares in $mathbb{Q}(sqrt 5)$.



The details can be found in Chapter 5 of the book Geometric constructions by Martin. The relevant results are Theorems 5.10-5.15.



Similarly, $sqrt 2in K$ but $sqrt[4]2notin K$, and more in general, this is true for any positive number which is not a sum of squares in the first extension in which it appears.



Geometrically, numbers in $K$ correspond to constructible points by ruler and dividers. Hence $sqrt[4]2$ is constructible by rule and compass but not by rule and dividers.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    "which implies that it is a sum of squares in $mathbb Q(sqrt{5})$" -- I do not see directly how this follows from the previous sentence, but I could very well be missing something obvious.
    $endgroup$
    – Mees de Vries
    Mar 21 at 13:04






  • 1




    $begingroup$
    @MeesdeVries Not obvious, it is a consequence of Theorems 5.10-5.13 in Martin's book.
    $endgroup$
    – Jose Brox
    Mar 21 at 13:06










  • $begingroup$
    $K$ is countable, right?
    $endgroup$
    – PyRulez
    Mar 21 at 20:00












  • $begingroup$
    @PyRulez yeah the same construction which makes $mathbb Q$ countable from $mathbb N^2$ plus skipping over duplicates should work to imply that $K_{i+1}$ is countable given that $K_{i}$ is countable, skipping over duplicates; by induction therefore all $K_i$ are countable; then we should be able to repeat the same construction again with $K_m(n)$, again skipping over duplicates, to find that $K$ is countable.
    $endgroup$
    – CR Drost
    Mar 21 at 21:52








  • 1




    $begingroup$
    @PyRulez Yes: clearly, all elements of $K$ are algebraic, and algebraic numbers are countable (there is a countable number of rational polynomials, with a finite number of roots each)
    $endgroup$
    – Jose Brox
    Mar 21 at 22:57





















6












$begingroup$

edit: Look what I found:
Wiki




The field
$$mathbb{Q}(sqrt{p} mid p in mathbb{P})$$
might be a good candidate.

At least, all fields closed under $d$ must contain this field.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Why must a field closed under $d$ contain $sqrt{3}$?
    $endgroup$
    – FredH
    Mar 21 at 10:51






  • 1




    $begingroup$
    @FredH, it must contain $sqrt{2} = d(1, 1)$, and thus it must contain $sqrt{3} = d(1, sqrt{2})$.
    $endgroup$
    – Mees de Vries
    Mar 21 at 10:53






  • 1




    $begingroup$
    See en.wikipedia.org/wiki/Spiral_of_Theodorus
    $endgroup$
    – lhf
    Mar 21 at 11:16






  • 2




    $begingroup$
    I don't think this works: $d(sqrt 2 + 1, 1) = sqrt{2sqrt2 + 4}$, but that doesn't look like a sum of square roots of rational numbers.
    $endgroup$
    – Arthur
    Mar 21 at 12:05













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%2f3156636%2fwhat-fields-between-the-rationals-and-the-reals-allow-a-good-notion-of-2d-distan%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









16












$begingroup$

Consider the tower of fields



$K_0:=mathbb{Q}$,



$K_{i+1}:=K_i(sqrt{x^2+y^2}| x,yin K_i)$,



$K:=bigcup_i K_i$.



Then $K$ is closed under $d$ and contains $1+sqrt 5$ but not $sqrt{1+sqrt 5}$, as I have found by following the Pythagorean fields Wikipedia link given by @Dirk in his answer: If $sqrt{1+sqrt 5}$ were in $K$ then $1+sqrt 5$ would be a sum of two squares in some extension $K_i$, and then it would be so in an extension of $mathbb{Q}(sqrt 5)$, which implies that it is a sum of squares in $mathbb{Q}(sqrt 5)$, which is impossible because that would entail that $1-sqrt 5$, which is negative, is also a sum of squares in $mathbb{Q}(sqrt 5)$.



The details can be found in Chapter 5 of the book Geometric constructions by Martin. The relevant results are Theorems 5.10-5.15.



Similarly, $sqrt 2in K$ but $sqrt[4]2notin K$, and more in general, this is true for any positive number which is not a sum of squares in the first extension in which it appears.



Geometrically, numbers in $K$ correspond to constructible points by ruler and dividers. Hence $sqrt[4]2$ is constructible by rule and compass but not by rule and dividers.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    "which implies that it is a sum of squares in $mathbb Q(sqrt{5})$" -- I do not see directly how this follows from the previous sentence, but I could very well be missing something obvious.
    $endgroup$
    – Mees de Vries
    Mar 21 at 13:04






  • 1




    $begingroup$
    @MeesdeVries Not obvious, it is a consequence of Theorems 5.10-5.13 in Martin's book.
    $endgroup$
    – Jose Brox
    Mar 21 at 13:06










  • $begingroup$
    $K$ is countable, right?
    $endgroup$
    – PyRulez
    Mar 21 at 20:00












  • $begingroup$
    @PyRulez yeah the same construction which makes $mathbb Q$ countable from $mathbb N^2$ plus skipping over duplicates should work to imply that $K_{i+1}$ is countable given that $K_{i}$ is countable, skipping over duplicates; by induction therefore all $K_i$ are countable; then we should be able to repeat the same construction again with $K_m(n)$, again skipping over duplicates, to find that $K$ is countable.
    $endgroup$
    – CR Drost
    Mar 21 at 21:52








  • 1




    $begingroup$
    @PyRulez Yes: clearly, all elements of $K$ are algebraic, and algebraic numbers are countable (there is a countable number of rational polynomials, with a finite number of roots each)
    $endgroup$
    – Jose Brox
    Mar 21 at 22:57


















16












$begingroup$

Consider the tower of fields



$K_0:=mathbb{Q}$,



$K_{i+1}:=K_i(sqrt{x^2+y^2}| x,yin K_i)$,



$K:=bigcup_i K_i$.



Then $K$ is closed under $d$ and contains $1+sqrt 5$ but not $sqrt{1+sqrt 5}$, as I have found by following the Pythagorean fields Wikipedia link given by @Dirk in his answer: If $sqrt{1+sqrt 5}$ were in $K$ then $1+sqrt 5$ would be a sum of two squares in some extension $K_i$, and then it would be so in an extension of $mathbb{Q}(sqrt 5)$, which implies that it is a sum of squares in $mathbb{Q}(sqrt 5)$, which is impossible because that would entail that $1-sqrt 5$, which is negative, is also a sum of squares in $mathbb{Q}(sqrt 5)$.



The details can be found in Chapter 5 of the book Geometric constructions by Martin. The relevant results are Theorems 5.10-5.15.



Similarly, $sqrt 2in K$ but $sqrt[4]2notin K$, and more in general, this is true for any positive number which is not a sum of squares in the first extension in which it appears.



Geometrically, numbers in $K$ correspond to constructible points by ruler and dividers. Hence $sqrt[4]2$ is constructible by rule and compass but not by rule and dividers.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    "which implies that it is a sum of squares in $mathbb Q(sqrt{5})$" -- I do not see directly how this follows from the previous sentence, but I could very well be missing something obvious.
    $endgroup$
    – Mees de Vries
    Mar 21 at 13:04






  • 1




    $begingroup$
    @MeesdeVries Not obvious, it is a consequence of Theorems 5.10-5.13 in Martin's book.
    $endgroup$
    – Jose Brox
    Mar 21 at 13:06










  • $begingroup$
    $K$ is countable, right?
    $endgroup$
    – PyRulez
    Mar 21 at 20:00












  • $begingroup$
    @PyRulez yeah the same construction which makes $mathbb Q$ countable from $mathbb N^2$ plus skipping over duplicates should work to imply that $K_{i+1}$ is countable given that $K_{i}$ is countable, skipping over duplicates; by induction therefore all $K_i$ are countable; then we should be able to repeat the same construction again with $K_m(n)$, again skipping over duplicates, to find that $K$ is countable.
    $endgroup$
    – CR Drost
    Mar 21 at 21:52








  • 1




    $begingroup$
    @PyRulez Yes: clearly, all elements of $K$ are algebraic, and algebraic numbers are countable (there is a countable number of rational polynomials, with a finite number of roots each)
    $endgroup$
    – Jose Brox
    Mar 21 at 22:57
















16












16








16





$begingroup$

Consider the tower of fields



$K_0:=mathbb{Q}$,



$K_{i+1}:=K_i(sqrt{x^2+y^2}| x,yin K_i)$,



$K:=bigcup_i K_i$.



Then $K$ is closed under $d$ and contains $1+sqrt 5$ but not $sqrt{1+sqrt 5}$, as I have found by following the Pythagorean fields Wikipedia link given by @Dirk in his answer: If $sqrt{1+sqrt 5}$ were in $K$ then $1+sqrt 5$ would be a sum of two squares in some extension $K_i$, and then it would be so in an extension of $mathbb{Q}(sqrt 5)$, which implies that it is a sum of squares in $mathbb{Q}(sqrt 5)$, which is impossible because that would entail that $1-sqrt 5$, which is negative, is also a sum of squares in $mathbb{Q}(sqrt 5)$.



The details can be found in Chapter 5 of the book Geometric constructions by Martin. The relevant results are Theorems 5.10-5.15.



Similarly, $sqrt 2in K$ but $sqrt[4]2notin K$, and more in general, this is true for any positive number which is not a sum of squares in the first extension in which it appears.



Geometrically, numbers in $K$ correspond to constructible points by ruler and dividers. Hence $sqrt[4]2$ is constructible by rule and compass but not by rule and dividers.






share|cite|improve this answer











$endgroup$



Consider the tower of fields



$K_0:=mathbb{Q}$,



$K_{i+1}:=K_i(sqrt{x^2+y^2}| x,yin K_i)$,



$K:=bigcup_i K_i$.



Then $K$ is closed under $d$ and contains $1+sqrt 5$ but not $sqrt{1+sqrt 5}$, as I have found by following the Pythagorean fields Wikipedia link given by @Dirk in his answer: If $sqrt{1+sqrt 5}$ were in $K$ then $1+sqrt 5$ would be a sum of two squares in some extension $K_i$, and then it would be so in an extension of $mathbb{Q}(sqrt 5)$, which implies that it is a sum of squares in $mathbb{Q}(sqrt 5)$, which is impossible because that would entail that $1-sqrt 5$, which is negative, is also a sum of squares in $mathbb{Q}(sqrt 5)$.



The details can be found in Chapter 5 of the book Geometric constructions by Martin. The relevant results are Theorems 5.10-5.15.



Similarly, $sqrt 2in K$ but $sqrt[4]2notin K$, and more in general, this is true for any positive number which is not a sum of squares in the first extension in which it appears.



Geometrically, numbers in $K$ correspond to constructible points by ruler and dividers. Hence $sqrt[4]2$ is constructible by rule and compass but not by rule and dividers.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Mar 21 at 13:08

























answered Mar 21 at 12:54









Jose BroxJose Brox

3,33211129




3,33211129












  • $begingroup$
    "which implies that it is a sum of squares in $mathbb Q(sqrt{5})$" -- I do not see directly how this follows from the previous sentence, but I could very well be missing something obvious.
    $endgroup$
    – Mees de Vries
    Mar 21 at 13:04






  • 1




    $begingroup$
    @MeesdeVries Not obvious, it is a consequence of Theorems 5.10-5.13 in Martin's book.
    $endgroup$
    – Jose Brox
    Mar 21 at 13:06










  • $begingroup$
    $K$ is countable, right?
    $endgroup$
    – PyRulez
    Mar 21 at 20:00












  • $begingroup$
    @PyRulez yeah the same construction which makes $mathbb Q$ countable from $mathbb N^2$ plus skipping over duplicates should work to imply that $K_{i+1}$ is countable given that $K_{i}$ is countable, skipping over duplicates; by induction therefore all $K_i$ are countable; then we should be able to repeat the same construction again with $K_m(n)$, again skipping over duplicates, to find that $K$ is countable.
    $endgroup$
    – CR Drost
    Mar 21 at 21:52








  • 1




    $begingroup$
    @PyRulez Yes: clearly, all elements of $K$ are algebraic, and algebraic numbers are countable (there is a countable number of rational polynomials, with a finite number of roots each)
    $endgroup$
    – Jose Brox
    Mar 21 at 22:57




















  • $begingroup$
    "which implies that it is a sum of squares in $mathbb Q(sqrt{5})$" -- I do not see directly how this follows from the previous sentence, but I could very well be missing something obvious.
    $endgroup$
    – Mees de Vries
    Mar 21 at 13:04






  • 1




    $begingroup$
    @MeesdeVries Not obvious, it is a consequence of Theorems 5.10-5.13 in Martin's book.
    $endgroup$
    – Jose Brox
    Mar 21 at 13:06










  • $begingroup$
    $K$ is countable, right?
    $endgroup$
    – PyRulez
    Mar 21 at 20:00












  • $begingroup$
    @PyRulez yeah the same construction which makes $mathbb Q$ countable from $mathbb N^2$ plus skipping over duplicates should work to imply that $K_{i+1}$ is countable given that $K_{i}$ is countable, skipping over duplicates; by induction therefore all $K_i$ are countable; then we should be able to repeat the same construction again with $K_m(n)$, again skipping over duplicates, to find that $K$ is countable.
    $endgroup$
    – CR Drost
    Mar 21 at 21:52








  • 1




    $begingroup$
    @PyRulez Yes: clearly, all elements of $K$ are algebraic, and algebraic numbers are countable (there is a countable number of rational polynomials, with a finite number of roots each)
    $endgroup$
    – Jose Brox
    Mar 21 at 22:57


















$begingroup$
"which implies that it is a sum of squares in $mathbb Q(sqrt{5})$" -- I do not see directly how this follows from the previous sentence, but I could very well be missing something obvious.
$endgroup$
– Mees de Vries
Mar 21 at 13:04




$begingroup$
"which implies that it is a sum of squares in $mathbb Q(sqrt{5})$" -- I do not see directly how this follows from the previous sentence, but I could very well be missing something obvious.
$endgroup$
– Mees de Vries
Mar 21 at 13:04




1




1




$begingroup$
@MeesdeVries Not obvious, it is a consequence of Theorems 5.10-5.13 in Martin's book.
$endgroup$
– Jose Brox
Mar 21 at 13:06




$begingroup$
@MeesdeVries Not obvious, it is a consequence of Theorems 5.10-5.13 in Martin's book.
$endgroup$
– Jose Brox
Mar 21 at 13:06












$begingroup$
$K$ is countable, right?
$endgroup$
– PyRulez
Mar 21 at 20:00






$begingroup$
$K$ is countable, right?
$endgroup$
– PyRulez
Mar 21 at 20:00














$begingroup$
@PyRulez yeah the same construction which makes $mathbb Q$ countable from $mathbb N^2$ plus skipping over duplicates should work to imply that $K_{i+1}$ is countable given that $K_{i}$ is countable, skipping over duplicates; by induction therefore all $K_i$ are countable; then we should be able to repeat the same construction again with $K_m(n)$, again skipping over duplicates, to find that $K$ is countable.
$endgroup$
– CR Drost
Mar 21 at 21:52






$begingroup$
@PyRulez yeah the same construction which makes $mathbb Q$ countable from $mathbb N^2$ plus skipping over duplicates should work to imply that $K_{i+1}$ is countable given that $K_{i}$ is countable, skipping over duplicates; by induction therefore all $K_i$ are countable; then we should be able to repeat the same construction again with $K_m(n)$, again skipping over duplicates, to find that $K$ is countable.
$endgroup$
– CR Drost
Mar 21 at 21:52






1




1




$begingroup$
@PyRulez Yes: clearly, all elements of $K$ are algebraic, and algebraic numbers are countable (there is a countable number of rational polynomials, with a finite number of roots each)
$endgroup$
– Jose Brox
Mar 21 at 22:57






$begingroup$
@PyRulez Yes: clearly, all elements of $K$ are algebraic, and algebraic numbers are countable (there is a countable number of rational polynomials, with a finite number of roots each)
$endgroup$
– Jose Brox
Mar 21 at 22:57













6












$begingroup$

edit: Look what I found:
Wiki




The field
$$mathbb{Q}(sqrt{p} mid p in mathbb{P})$$
might be a good candidate.

At least, all fields closed under $d$ must contain this field.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Why must a field closed under $d$ contain $sqrt{3}$?
    $endgroup$
    – FredH
    Mar 21 at 10:51






  • 1




    $begingroup$
    @FredH, it must contain $sqrt{2} = d(1, 1)$, and thus it must contain $sqrt{3} = d(1, sqrt{2})$.
    $endgroup$
    – Mees de Vries
    Mar 21 at 10:53






  • 1




    $begingroup$
    See en.wikipedia.org/wiki/Spiral_of_Theodorus
    $endgroup$
    – lhf
    Mar 21 at 11:16






  • 2




    $begingroup$
    I don't think this works: $d(sqrt 2 + 1, 1) = sqrt{2sqrt2 + 4}$, but that doesn't look like a sum of square roots of rational numbers.
    $endgroup$
    – Arthur
    Mar 21 at 12:05


















6












$begingroup$

edit: Look what I found:
Wiki




The field
$$mathbb{Q}(sqrt{p} mid p in mathbb{P})$$
might be a good candidate.

At least, all fields closed under $d$ must contain this field.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Why must a field closed under $d$ contain $sqrt{3}$?
    $endgroup$
    – FredH
    Mar 21 at 10:51






  • 1




    $begingroup$
    @FredH, it must contain $sqrt{2} = d(1, 1)$, and thus it must contain $sqrt{3} = d(1, sqrt{2})$.
    $endgroup$
    – Mees de Vries
    Mar 21 at 10:53






  • 1




    $begingroup$
    See en.wikipedia.org/wiki/Spiral_of_Theodorus
    $endgroup$
    – lhf
    Mar 21 at 11:16






  • 2




    $begingroup$
    I don't think this works: $d(sqrt 2 + 1, 1) = sqrt{2sqrt2 + 4}$, but that doesn't look like a sum of square roots of rational numbers.
    $endgroup$
    – Arthur
    Mar 21 at 12:05
















6












6








6





$begingroup$

edit: Look what I found:
Wiki




The field
$$mathbb{Q}(sqrt{p} mid p in mathbb{P})$$
might be a good candidate.

At least, all fields closed under $d$ must contain this field.






share|cite|improve this answer











$endgroup$



edit: Look what I found:
Wiki




The field
$$mathbb{Q}(sqrt{p} mid p in mathbb{P})$$
might be a good candidate.

At least, all fields closed under $d$ must contain this field.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Mar 21 at 12:19

























answered Mar 21 at 10:44









DirkDirk

4,418218




4,418218












  • $begingroup$
    Why must a field closed under $d$ contain $sqrt{3}$?
    $endgroup$
    – FredH
    Mar 21 at 10:51






  • 1




    $begingroup$
    @FredH, it must contain $sqrt{2} = d(1, 1)$, and thus it must contain $sqrt{3} = d(1, sqrt{2})$.
    $endgroup$
    – Mees de Vries
    Mar 21 at 10:53






  • 1




    $begingroup$
    See en.wikipedia.org/wiki/Spiral_of_Theodorus
    $endgroup$
    – lhf
    Mar 21 at 11:16






  • 2




    $begingroup$
    I don't think this works: $d(sqrt 2 + 1, 1) = sqrt{2sqrt2 + 4}$, but that doesn't look like a sum of square roots of rational numbers.
    $endgroup$
    – Arthur
    Mar 21 at 12:05




















  • $begingroup$
    Why must a field closed under $d$ contain $sqrt{3}$?
    $endgroup$
    – FredH
    Mar 21 at 10:51






  • 1




    $begingroup$
    @FredH, it must contain $sqrt{2} = d(1, 1)$, and thus it must contain $sqrt{3} = d(1, sqrt{2})$.
    $endgroup$
    – Mees de Vries
    Mar 21 at 10:53






  • 1




    $begingroup$
    See en.wikipedia.org/wiki/Spiral_of_Theodorus
    $endgroup$
    – lhf
    Mar 21 at 11:16






  • 2




    $begingroup$
    I don't think this works: $d(sqrt 2 + 1, 1) = sqrt{2sqrt2 + 4}$, but that doesn't look like a sum of square roots of rational numbers.
    $endgroup$
    – Arthur
    Mar 21 at 12:05


















$begingroup$
Why must a field closed under $d$ contain $sqrt{3}$?
$endgroup$
– FredH
Mar 21 at 10:51




$begingroup$
Why must a field closed under $d$ contain $sqrt{3}$?
$endgroup$
– FredH
Mar 21 at 10:51




1




1




$begingroup$
@FredH, it must contain $sqrt{2} = d(1, 1)$, and thus it must contain $sqrt{3} = d(1, sqrt{2})$.
$endgroup$
– Mees de Vries
Mar 21 at 10:53




$begingroup$
@FredH, it must contain $sqrt{2} = d(1, 1)$, and thus it must contain $sqrt{3} = d(1, sqrt{2})$.
$endgroup$
– Mees de Vries
Mar 21 at 10:53




1




1




$begingroup$
See en.wikipedia.org/wiki/Spiral_of_Theodorus
$endgroup$
– lhf
Mar 21 at 11:16




$begingroup$
See en.wikipedia.org/wiki/Spiral_of_Theodorus
$endgroup$
– lhf
Mar 21 at 11:16




2




2




$begingroup$
I don't think this works: $d(sqrt 2 + 1, 1) = sqrt{2sqrt2 + 4}$, but that doesn't look like a sum of square roots of rational numbers.
$endgroup$
– Arthur
Mar 21 at 12:05






$begingroup$
I don't think this works: $d(sqrt 2 + 1, 1) = sqrt{2sqrt2 + 4}$, but that doesn't look like a sum of square roots of rational numbers.
$endgroup$
– Arthur
Mar 21 at 12:05




















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%2f3156636%2fwhat-fields-between-the-rationals-and-the-reals-allow-a-good-notion-of-2d-distan%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

Masuk log Menu navigasi

Image
JawaSundaBanyumasanBugisAcehBanjarMinangMelayuDeutschEnglishEspañolFrançaisItalianoNederlands (function()var node=document.getElementById("mw-dismissablenotice-anonplace");if(node)node.outerHTML="u003Cdiv class="mw-dismissable-notice"u003Eu003Cdiv class="mw-dismissable-notice-close"u003E[u003Ca tabindex="0" role="button"u003Etutupu003C/au003E]u003C/divu003Eu003Cdiv class="mw-dismissable-notice-body"u003Eu003Cdiv id="localNotice" lang="id" dir="ltr"u003Eu003C/divu003Eu003C/divu003Eu003C/divu003E";()); Masuk log Loncat ke navigasi Loncat ke pencarian Bahasa: Jawa | Sunda | Banyumasan | Bugis | Aceh | Banjar | Minang | Melayu | Deutsch | English | Español | Français | Italiano | Nederlands Nama pengguna Kata sandi   Biarkan saya tetap masuk Masuk log Bantuan masuk log Lupa kata sandi? Belum punya akun?Gabung Wikipedia Diperoleh dari "https:/
Read more

Identifying “long and narrow” polygons in with PostGISlength and width of polygonWhy postgis st_overlaps reports Qgis' “avoid intersections” generated polygon as overlapping with others?Adjusting polygons to boundary and filling holesDrawing polygons with fixed area?How to remove spikes in Polygons with PostGISDeleting sliver polygons after difference operation in QGIS?Snapping boundaries in PostGISSplit polygon into parts adding attributes based on underlying polygon in QGISSplitting overlap between polygons and assign to nearest polygon using PostGIS?Expanding polygons and clipping at midpoint?Removing Intersection of Buffers in Same Layers

Image
Do I have to worry about players making “bad” choices on level up? Is thermodynamics only applicable to systems in equilibrium? gnu parallel how to use with ffmpeg Has any spacecraft ever had the ability to directly communicate with civilian air traffic control? Reverse the word in a string with the same order in javascript Is creating your own "experiment" considered cheating during a physics exam? How to stop co-workers from teasing me because I know Russian? What is a Recurrent Neural Network? Any examples of headwear for races with animal ears? Confusion about capacitors TikZ how to make supply and demand arrows for nodes? Does a creature that is immune to a condition still make a saving throw? How to verbalise code in Mathematica? Upright [...] in italics quotation Cannot populate data in lightning data table Stark VS Thanos Binary Numbers Magic Trick In gnome-terminal only 2 out of 3 zoom keys work You look catfish vs You look like a
Read more

Старые Смолеговицы Содержание История | География | Демография | Достопримечательности | Примечания | НавигацияHGЯOLHGЯOL41 206 832 01641 606 406 141Административно-территориальное деление Ленинградской области«Переписная оброчная книга Водской пятины 1500 года», С. 793«Карта Ингерманландии: Ивангорода, Яма, Копорья, Нотеборга», по материалам 1676 г.«Генеральная карта провинции Ингерманландии» Э. Белинга и А. Андерсина, 1704 г., составлена по материалам 1678 г.«Географический чертёж над Ижорскою землей со своими городами» Адриана Шонбека 1705 г.Новая и достоверная всей Ингерманландии ланткарта. Грав. А. Ростовцев. СПб., 1727 г.Топографическая карта Санкт-Петербургской губернии. 5-и верстка. Шуберт. 1834 г.Описание Санкт-Петербургской губернии по уездам и станамСпецкарта западной части России Ф. Ф. Шуберта. 1844 г.Алфавитный список селений по уездам и станам С.-Петербургской губернииСписки населённых мест Российской Империи, составленные и издаваемые центральным статистическим комитетом министерства внутренних дел. XXXVII. Санкт-Петербургская губерния. По состоянию на 1862 год. СПб. 1864. С. 203Материалы по статистике народного хозяйства в С.-Петербургской губернии. Вып. IX. Частновладельческое хозяйство в Ямбургском уезде. СПб, 1888, С. 146, С. 2, 7, 54Положение о гербе муниципального образования Курское сельское поселениеСправочник истории административно-территориального деления Ленинградской области.Топографическая карта Ленинградской области, квадрат О-35-23-В (Хотыницы), 1930 г.АрхивированоАдминистративно-территориальное деление Ленинградской области. — Л., 1933, С. 27, 198АрхивированоАдминистративно-экономический справочник по Ленинградской области. — Л., 1936, с. 219АрхивированоАдминистративно-территориальное деление Ленинградской области. — Л., 1966, с. 175АрхивированоАдминистративно-территориальное деление Ленинградской области. — Лениздат, 1973, С. 180АрхивированоАдминистративно-территориальное деление Ленинградской области. — Лениздат, 1990, ISBN 5-289-00612-5, С. 38АрхивированоАдминистративно-территориальное деление Ленинградской области. — СПб., 2007, с. 60АрхивированоКоряков Юрий База данных «Этно-языковой состав населённых пунктов России». Ленинградская область.Административно-территориальное деление Ленинградской области. — СПб, 1997, ISBN 5-86153-055-6, С. 41АрхивированоКультовый комплекс Старые Смолеговицы // Электронная энциклопедия ЭрмитажаПроблемы выявления, изучения и сохранения культовых комплексов с каменными крестами: по материалам работ 2016-2017 гг. в Ленинградской области

Image
Населённые пункты по алфавитуНаселённые пункты Волосовского районаМызы Ингрии Беседском сельском поселенииВолосовского районаЛенинградской областиПисцовой книгеВодской пятиныКопорского уездаИнгерманландииА. И. БергенгеймамызаАдриана ШонбекаСанкт-Петербургской губернииФ. Ф. ШубертадворовП. И. КёппенаингерманландцевсавакотовЯмбургского уездадесятиныПервой переписи населения Российской империиКингисеппского уездаМолосковицкого районанационального сельсоветаКингисеппского районаМолосковицыКряковоМолосковицыБелого движенияЭрмитажаголубца 59°22′14″ с. ш. 29°02′42″ в. д. H G Я O L Старые Смолеговицы Материал из Википедии — свободной энциклопедии Перейти к навигации Перейти к поиску Деревня Старые Смолеговицы 59°22′14″ с. ш. 29°02′42″ в. д. H G Я O L Страна Россия   Россия Субъект Федерации Ленинградская область Муниципальный район Волосовский Сельское поселение Беседское История и география Первое упоминание 1500 год Прежние названия Смолиговичи, Смолего
Read more