A well-defined binary operation on a class of functions (Eudoxus magnitudes) from $mathbb N$ to $mathbb N$?
Update: The answer shows that some tweaking is necessary to get this to work. The problem are those $f$ where there exist an $N$ such that $f(n)$ is always odd for $n ge N$. But this can be remedied in a simple way -condition $text{(2)}$ below is dropped and we just handle these 'overloaded' functions by equating them to 'there equal'.
If $f$ is overloaded there is a least $k$ (that might be $0$ with $f(0)$ also odd) so that $f(m)$ is odd for all $m gt k$. We define a function $g$ that agrees with $f$ for $n lt k$, has $g(k)=f(k)+1$ and for $m ge k$, we recursively define $g(m + 1) = 2 * g(m)$. This function $g(x)$ is not overloaded.
Then, considering these two functions as equivalent the problem goes away.
So, we can define a binary operation that is obviously commutative. Interestingly, when adding numbers, if one is overloaded we can't use that representation in the definition of the binary operation - you must use that other representation in the two element block of the (really fine-grained) partition. So the necessity of condition $text{(2)}$ below 'melts away;.
But showing that the operation is associative is not immediate. I think we can do this by using the fact that the binary operation is 'continuous'; c.f.
Prove Addition is Continuous (without epsilon-delta!)
When I work out the details I will post them in a another proof-checking question.
Incidentally, the purpose of this is to create a model of the positive real numbers under addition. Intuitively, you can think of the function $f$ as representing a canonical Cauchy sequences; for every $x$ there is one and only one $f$ with
$quad x = limlimits_{n to +∞} f(n) , 2^{-n}$
But note that this is quite different - the real numbers with $+$ are being directly constructed ab initio; it is not necessary to define or use the rational numbers as an intermediate step. A computer running an artificial intelligence program might be able to 'understand' this construction easier than the usual methods.
Here $0 in mathbb N$.
Definition: A function $f: mathbb N to mathbb N$ is called a Eudoxus magnitude if it satisfies the following:
$tag 1 forall n ; f(n+1) = 2f(n) text{ or } f(n+1) = 2f(n) + 1$
$tag 2 forall, m ; exists , n ge m ; text{ such that } f(n+1) = 2f(n)$
One interesting thing about a Eudoxus magnitude $f$ is that if we know the value of $f$ at $n$, then the value at all smaller numbers is determined:
$tag 3 f(n-1) = text{the quotient (Euclidean division) of dividend } f(n) text{ by divisor } 2$.
Also, given any number $k$, we can create a Eudoxus magnitude with $f(n) = k$ using $text{(3)}$.
I've come up with a way of adding two Eudoxus magnitudes (not pointwise addition) $f$ and $g$ as follows.
For any integer $n ge 0$ such that $f(n+1) = 2f(n)$ or $g(n+1) = 2g(n)$, set $k = f(n) + g(n)$ and create a (partial) Eudoxus magnitude $h$ with $h(n) = k$ and defined on $[0,n]$.
In words, we look for an even output of either function at $n + 1$, then working on the initial segment $[0,n]$ take point-wise addition on $n$ and then 'ripple back' with $text{(3)}$.
Claim: The value of the partial functions obtained by using different integers $n$ where $f(n+1) = 2f(n)$ or $g(n+1) = 2g(n)$ always agree on their common initial integer intervals.
If this is true, we've defined a unique function $h: mathbb N to mathbb N $ by just 'going out further towards' $+infty$. A bonus is that we can then immediately assert that the 'Eudoxus sum' $oplus$ of two Eudoxus magnitudes is a Eudoxus magnitude.
I would like to prove this using only elementary number theory and logic. But besides writing a Python program to check out the coherence of this endeavor, at this point I don't have any proof at all.
Question 1: Can the above claim be established using any mathematical
theories?
real-analysis abstract-algebra binary-operations
|
show 14 more comments
Update: The answer shows that some tweaking is necessary to get this to work. The problem are those $f$ where there exist an $N$ such that $f(n)$ is always odd for $n ge N$. But this can be remedied in a simple way -condition $text{(2)}$ below is dropped and we just handle these 'overloaded' functions by equating them to 'there equal'.
If $f$ is overloaded there is a least $k$ (that might be $0$ with $f(0)$ also odd) so that $f(m)$ is odd for all $m gt k$. We define a function $g$ that agrees with $f$ for $n lt k$, has $g(k)=f(k)+1$ and for $m ge k$, we recursively define $g(m + 1) = 2 * g(m)$. This function $g(x)$ is not overloaded.
Then, considering these two functions as equivalent the problem goes away.
So, we can define a binary operation that is obviously commutative. Interestingly, when adding numbers, if one is overloaded we can't use that representation in the definition of the binary operation - you must use that other representation in the two element block of the (really fine-grained) partition. So the necessity of condition $text{(2)}$ below 'melts away;.
But showing that the operation is associative is not immediate. I think we can do this by using the fact that the binary operation is 'continuous'; c.f.
Prove Addition is Continuous (without epsilon-delta!)
When I work out the details I will post them in a another proof-checking question.
Incidentally, the purpose of this is to create a model of the positive real numbers under addition. Intuitively, you can think of the function $f$ as representing a canonical Cauchy sequences; for every $x$ there is one and only one $f$ with
$quad x = limlimits_{n to +∞} f(n) , 2^{-n}$
But note that this is quite different - the real numbers with $+$ are being directly constructed ab initio; it is not necessary to define or use the rational numbers as an intermediate step. A computer running an artificial intelligence program might be able to 'understand' this construction easier than the usual methods.
Here $0 in mathbb N$.
Definition: A function $f: mathbb N to mathbb N$ is called a Eudoxus magnitude if it satisfies the following:
$tag 1 forall n ; f(n+1) = 2f(n) text{ or } f(n+1) = 2f(n) + 1$
$tag 2 forall, m ; exists , n ge m ; text{ such that } f(n+1) = 2f(n)$
One interesting thing about a Eudoxus magnitude $f$ is that if we know the value of $f$ at $n$, then the value at all smaller numbers is determined:
$tag 3 f(n-1) = text{the quotient (Euclidean division) of dividend } f(n) text{ by divisor } 2$.
Also, given any number $k$, we can create a Eudoxus magnitude with $f(n) = k$ using $text{(3)}$.
I've come up with a way of adding two Eudoxus magnitudes (not pointwise addition) $f$ and $g$ as follows.
For any integer $n ge 0$ such that $f(n+1) = 2f(n)$ or $g(n+1) = 2g(n)$, set $k = f(n) + g(n)$ and create a (partial) Eudoxus magnitude $h$ with $h(n) = k$ and defined on $[0,n]$.
In words, we look for an even output of either function at $n + 1$, then working on the initial segment $[0,n]$ take point-wise addition on $n$ and then 'ripple back' with $text{(3)}$.
Claim: The value of the partial functions obtained by using different integers $n$ where $f(n+1) = 2f(n)$ or $g(n+1) = 2g(n)$ always agree on their common initial integer intervals.
If this is true, we've defined a unique function $h: mathbb N to mathbb N $ by just 'going out further towards' $+infty$. A bonus is that we can then immediately assert that the 'Eudoxus sum' $oplus$ of two Eudoxus magnitudes is a Eudoxus magnitude.
I would like to prove this using only elementary number theory and logic. But besides writing a Python program to check out the coherence of this endeavor, at this point I don't have any proof at all.
Question 1: Can the above claim be established using any mathematical
theories?
real-analysis abstract-algebra binary-operations
Your "Eudoxus magnitudes" are to be taken to represent the nonnegative reals written as binary fractions that don't end with infinite ones, I suppose?
– Henning Makholm
Nov 27 '18 at 20:48
1
@CopyPasteIt Note that what my answer really shows is that you can't "add locally" - summing the numbers $0.010101...$ and $0.101010...$ without getting an infinite string of $1$s requires looking at them *globally.* (Also, why are you not just looking at sequences whose first term is an arbitrary natural, all of whose further terms are either $0$ or $1$, and which have infinitely many $0$s? That's vastly more concrete and easier to think about, in my opinion.)
– Noah Schweber
Nov 27 '18 at 20:57
1
Actually it would be more faithful to Eudoxus for represent a ratio as a function $mathbb Ntimes mathbb Nto{{<},{=},{>}}$ satisfying certain conditions, representing the ratio $a:b$ by mapping every $(n,m)$ to whether $na$ is less than, equal to, or greater than $mb$. That would only be very few conceptual steps away from reinventing Dedekind cuts!
– Henning Makholm
Nov 27 '18 at 21:14
1
For a construction of the reals based on decimal representations, see F.A. Behrend's paper A Contribution to the Theory of Magnitudes and the Foundations of Analysis (Math. Zeitschrift (63), 1956). The treatment is easily adapted to binary representations. If you look at his definition of addition, you will see that an infinite amount of "look-ahead" is essential (as Noah's example also shows).
– Rob Arthan
Nov 27 '18 at 21:19
1
@CopyPasteIt I guess I don't see how this is actually making anything easier. What's wrong with the usual approach of defining the reals via Cauchy sequences (or Dedekind cuts)? Note that you're really just talking about canonical Cauchy sequences ...
– Noah Schweber
Nov 28 '18 at 1:16
|
show 14 more comments
Update: The answer shows that some tweaking is necessary to get this to work. The problem are those $f$ where there exist an $N$ such that $f(n)$ is always odd for $n ge N$. But this can be remedied in a simple way -condition $text{(2)}$ below is dropped and we just handle these 'overloaded' functions by equating them to 'there equal'.
If $f$ is overloaded there is a least $k$ (that might be $0$ with $f(0)$ also odd) so that $f(m)$ is odd for all $m gt k$. We define a function $g$ that agrees with $f$ for $n lt k$, has $g(k)=f(k)+1$ and for $m ge k$, we recursively define $g(m + 1) = 2 * g(m)$. This function $g(x)$ is not overloaded.
Then, considering these two functions as equivalent the problem goes away.
So, we can define a binary operation that is obviously commutative. Interestingly, when adding numbers, if one is overloaded we can't use that representation in the definition of the binary operation - you must use that other representation in the two element block of the (really fine-grained) partition. So the necessity of condition $text{(2)}$ below 'melts away;.
But showing that the operation is associative is not immediate. I think we can do this by using the fact that the binary operation is 'continuous'; c.f.
Prove Addition is Continuous (without epsilon-delta!)
When I work out the details I will post them in a another proof-checking question.
Incidentally, the purpose of this is to create a model of the positive real numbers under addition. Intuitively, you can think of the function $f$ as representing a canonical Cauchy sequences; for every $x$ there is one and only one $f$ with
$quad x = limlimits_{n to +∞} f(n) , 2^{-n}$
But note that this is quite different - the real numbers with $+$ are being directly constructed ab initio; it is not necessary to define or use the rational numbers as an intermediate step. A computer running an artificial intelligence program might be able to 'understand' this construction easier than the usual methods.
Here $0 in mathbb N$.
Definition: A function $f: mathbb N to mathbb N$ is called a Eudoxus magnitude if it satisfies the following:
$tag 1 forall n ; f(n+1) = 2f(n) text{ or } f(n+1) = 2f(n) + 1$
$tag 2 forall, m ; exists , n ge m ; text{ such that } f(n+1) = 2f(n)$
One interesting thing about a Eudoxus magnitude $f$ is that if we know the value of $f$ at $n$, then the value at all smaller numbers is determined:
$tag 3 f(n-1) = text{the quotient (Euclidean division) of dividend } f(n) text{ by divisor } 2$.
Also, given any number $k$, we can create a Eudoxus magnitude with $f(n) = k$ using $text{(3)}$.
I've come up with a way of adding two Eudoxus magnitudes (not pointwise addition) $f$ and $g$ as follows.
For any integer $n ge 0$ such that $f(n+1) = 2f(n)$ or $g(n+1) = 2g(n)$, set $k = f(n) + g(n)$ and create a (partial) Eudoxus magnitude $h$ with $h(n) = k$ and defined on $[0,n]$.
In words, we look for an even output of either function at $n + 1$, then working on the initial segment $[0,n]$ take point-wise addition on $n$ and then 'ripple back' with $text{(3)}$.
Claim: The value of the partial functions obtained by using different integers $n$ where $f(n+1) = 2f(n)$ or $g(n+1) = 2g(n)$ always agree on their common initial integer intervals.
If this is true, we've defined a unique function $h: mathbb N to mathbb N $ by just 'going out further towards' $+infty$. A bonus is that we can then immediately assert that the 'Eudoxus sum' $oplus$ of two Eudoxus magnitudes is a Eudoxus magnitude.
I would like to prove this using only elementary number theory and logic. But besides writing a Python program to check out the coherence of this endeavor, at this point I don't have any proof at all.
Question 1: Can the above claim be established using any mathematical
theories?
real-analysis abstract-algebra binary-operations
Update: The answer shows that some tweaking is necessary to get this to work. The problem are those $f$ where there exist an $N$ such that $f(n)$ is always odd for $n ge N$. But this can be remedied in a simple way -condition $text{(2)}$ below is dropped and we just handle these 'overloaded' functions by equating them to 'there equal'.
If $f$ is overloaded there is a least $k$ (that might be $0$ with $f(0)$ also odd) so that $f(m)$ is odd for all $m gt k$. We define a function $g$ that agrees with $f$ for $n lt k$, has $g(k)=f(k)+1$ and for $m ge k$, we recursively define $g(m + 1) = 2 * g(m)$. This function $g(x)$ is not overloaded.
Then, considering these two functions as equivalent the problem goes away.
So, we can define a binary operation that is obviously commutative. Interestingly, when adding numbers, if one is overloaded we can't use that representation in the definition of the binary operation - you must use that other representation in the two element block of the (really fine-grained) partition. So the necessity of condition $text{(2)}$ below 'melts away;.
But showing that the operation is associative is not immediate. I think we can do this by using the fact that the binary operation is 'continuous'; c.f.
Prove Addition is Continuous (without epsilon-delta!)
When I work out the details I will post them in a another proof-checking question.
Incidentally, the purpose of this is to create a model of the positive real numbers under addition. Intuitively, you can think of the function $f$ as representing a canonical Cauchy sequences; for every $x$ there is one and only one $f$ with
$quad x = limlimits_{n to +∞} f(n) , 2^{-n}$
But note that this is quite different - the real numbers with $+$ are being directly constructed ab initio; it is not necessary to define or use the rational numbers as an intermediate step. A computer running an artificial intelligence program might be able to 'understand' this construction easier than the usual methods.
Here $0 in mathbb N$.
Definition: A function $f: mathbb N to mathbb N$ is called a Eudoxus magnitude if it satisfies the following:
$tag 1 forall n ; f(n+1) = 2f(n) text{ or } f(n+1) = 2f(n) + 1$
$tag 2 forall, m ; exists , n ge m ; text{ such that } f(n+1) = 2f(n)$
One interesting thing about a Eudoxus magnitude $f$ is that if we know the value of $f$ at $n$, then the value at all smaller numbers is determined:
$tag 3 f(n-1) = text{the quotient (Euclidean division) of dividend } f(n) text{ by divisor } 2$.
Also, given any number $k$, we can create a Eudoxus magnitude with $f(n) = k$ using $text{(3)}$.
I've come up with a way of adding two Eudoxus magnitudes (not pointwise addition) $f$ and $g$ as follows.
For any integer $n ge 0$ such that $f(n+1) = 2f(n)$ or $g(n+1) = 2g(n)$, set $k = f(n) + g(n)$ and create a (partial) Eudoxus magnitude $h$ with $h(n) = k$ and defined on $[0,n]$.
In words, we look for an even output of either function at $n + 1$, then working on the initial segment $[0,n]$ take point-wise addition on $n$ and then 'ripple back' with $text{(3)}$.
Claim: The value of the partial functions obtained by using different integers $n$ where $f(n+1) = 2f(n)$ or $g(n+1) = 2g(n)$ always agree on their common initial integer intervals.
If this is true, we've defined a unique function $h: mathbb N to mathbb N $ by just 'going out further towards' $+infty$. A bonus is that we can then immediately assert that the 'Eudoxus sum' $oplus$ of two Eudoxus magnitudes is a Eudoxus magnitude.
I would like to prove this using only elementary number theory and logic. But besides writing a Python program to check out the coherence of this endeavor, at this point I don't have any proof at all.
Question 1: Can the above claim be established using any mathematical
theories?
real-analysis abstract-algebra binary-operations
real-analysis abstract-algebra binary-operations
edited Nov 29 '18 at 15:10
asked Nov 27 '18 at 19:15
CopyPasteIt
4,0201627
4,0201627
Your "Eudoxus magnitudes" are to be taken to represent the nonnegative reals written as binary fractions that don't end with infinite ones, I suppose?
– Henning Makholm
Nov 27 '18 at 20:48
1
@CopyPasteIt Note that what my answer really shows is that you can't "add locally" - summing the numbers $0.010101...$ and $0.101010...$ without getting an infinite string of $1$s requires looking at them *globally.* (Also, why are you not just looking at sequences whose first term is an arbitrary natural, all of whose further terms are either $0$ or $1$, and which have infinitely many $0$s? That's vastly more concrete and easier to think about, in my opinion.)
– Noah Schweber
Nov 27 '18 at 20:57
1
Actually it would be more faithful to Eudoxus for represent a ratio as a function $mathbb Ntimes mathbb Nto{{<},{=},{>}}$ satisfying certain conditions, representing the ratio $a:b$ by mapping every $(n,m)$ to whether $na$ is less than, equal to, or greater than $mb$. That would only be very few conceptual steps away from reinventing Dedekind cuts!
– Henning Makholm
Nov 27 '18 at 21:14
1
For a construction of the reals based on decimal representations, see F.A. Behrend's paper A Contribution to the Theory of Magnitudes and the Foundations of Analysis (Math. Zeitschrift (63), 1956). The treatment is easily adapted to binary representations. If you look at his definition of addition, you will see that an infinite amount of "look-ahead" is essential (as Noah's example also shows).
– Rob Arthan
Nov 27 '18 at 21:19
1
@CopyPasteIt I guess I don't see how this is actually making anything easier. What's wrong with the usual approach of defining the reals via Cauchy sequences (or Dedekind cuts)? Note that you're really just talking about canonical Cauchy sequences ...
– Noah Schweber
Nov 28 '18 at 1:16
|
show 14 more comments
Your "Eudoxus magnitudes" are to be taken to represent the nonnegative reals written as binary fractions that don't end with infinite ones, I suppose?
– Henning Makholm
Nov 27 '18 at 20:48
1
@CopyPasteIt Note that what my answer really shows is that you can't "add locally" - summing the numbers $0.010101...$ and $0.101010...$ without getting an infinite string of $1$s requires looking at them *globally.* (Also, why are you not just looking at sequences whose first term is an arbitrary natural, all of whose further terms are either $0$ or $1$, and which have infinitely many $0$s? That's vastly more concrete and easier to think about, in my opinion.)
– Noah Schweber
Nov 27 '18 at 20:57
1
Actually it would be more faithful to Eudoxus for represent a ratio as a function $mathbb Ntimes mathbb Nto{{<},{=},{>}}$ satisfying certain conditions, representing the ratio $a:b$ by mapping every $(n,m)$ to whether $na$ is less than, equal to, or greater than $mb$. That would only be very few conceptual steps away from reinventing Dedekind cuts!
– Henning Makholm
Nov 27 '18 at 21:14
1
For a construction of the reals based on decimal representations, see F.A. Behrend's paper A Contribution to the Theory of Magnitudes and the Foundations of Analysis (Math. Zeitschrift (63), 1956). The treatment is easily adapted to binary representations. If you look at his definition of addition, you will see that an infinite amount of "look-ahead" is essential (as Noah's example also shows).
– Rob Arthan
Nov 27 '18 at 21:19
1
@CopyPasteIt I guess I don't see how this is actually making anything easier. What's wrong with the usual approach of defining the reals via Cauchy sequences (or Dedekind cuts)? Note that you're really just talking about canonical Cauchy sequences ...
– Noah Schweber
Nov 28 '18 at 1:16
Your "Eudoxus magnitudes" are to be taken to represent the nonnegative reals written as binary fractions that don't end with infinite ones, I suppose?
– Henning Makholm
Nov 27 '18 at 20:48
Your "Eudoxus magnitudes" are to be taken to represent the nonnegative reals written as binary fractions that don't end with infinite ones, I suppose?
– Henning Makholm
Nov 27 '18 at 20:48
1
1
@CopyPasteIt Note that what my answer really shows is that you can't "add locally" - summing the numbers $0.010101...$ and $0.101010...$ without getting an infinite string of $1$s requires looking at them *globally.* (Also, why are you not just looking at sequences whose first term is an arbitrary natural, all of whose further terms are either $0$ or $1$, and which have infinitely many $0$s? That's vastly more concrete and easier to think about, in my opinion.)
– Noah Schweber
Nov 27 '18 at 20:57
@CopyPasteIt Note that what my answer really shows is that you can't "add locally" - summing the numbers $0.010101...$ and $0.101010...$ without getting an infinite string of $1$s requires looking at them *globally.* (Also, why are you not just looking at sequences whose first term is an arbitrary natural, all of whose further terms are either $0$ or $1$, and which have infinitely many $0$s? That's vastly more concrete and easier to think about, in my opinion.)
– Noah Schweber
Nov 27 '18 at 20:57
1
1
Actually it would be more faithful to Eudoxus for represent a ratio as a function $mathbb Ntimes mathbb Nto{{<},{=},{>}}$ satisfying certain conditions, representing the ratio $a:b$ by mapping every $(n,m)$ to whether $na$ is less than, equal to, or greater than $mb$. That would only be very few conceptual steps away from reinventing Dedekind cuts!
– Henning Makholm
Nov 27 '18 at 21:14
Actually it would be more faithful to Eudoxus for represent a ratio as a function $mathbb Ntimes mathbb Nto{{<},{=},{>}}$ satisfying certain conditions, representing the ratio $a:b$ by mapping every $(n,m)$ to whether $na$ is less than, equal to, or greater than $mb$. That would only be very few conceptual steps away from reinventing Dedekind cuts!
– Henning Makholm
Nov 27 '18 at 21:14
1
1
For a construction of the reals based on decimal representations, see F.A. Behrend's paper A Contribution to the Theory of Magnitudes and the Foundations of Analysis (Math. Zeitschrift (63), 1956). The treatment is easily adapted to binary representations. If you look at his definition of addition, you will see that an infinite amount of "look-ahead" is essential (as Noah's example also shows).
– Rob Arthan
Nov 27 '18 at 21:19
For a construction of the reals based on decimal representations, see F.A. Behrend's paper A Contribution to the Theory of Magnitudes and the Foundations of Analysis (Math. Zeitschrift (63), 1956). The treatment is easily adapted to binary representations. If you look at his definition of addition, you will see that an infinite amount of "look-ahead" is essential (as Noah's example also shows).
– Rob Arthan
Nov 27 '18 at 21:19
1
1
@CopyPasteIt I guess I don't see how this is actually making anything easier. What's wrong with the usual approach of defining the reals via Cauchy sequences (or Dedekind cuts)? Note that you're really just talking about canonical Cauchy sequences ...
– Noah Schweber
Nov 28 '18 at 1:16
@CopyPasteIt I guess I don't see how this is actually making anything easier. What's wrong with the usual approach of defining the reals via Cauchy sequences (or Dedekind cuts)? Note that you're really just talking about canonical Cauchy sequences ...
– Noah Schweber
Nov 28 '18 at 1:16
|
show 14 more comments
1 Answer
1
active
oldest
votes
The claim$^1$ is false: the operation you've described doesn't always output a Eudoxus magnitude. In particular - and shifting from functions to sequences for ease of writing - take $$f=(1,2,5,10,21,...),quad g=(1,3,6,13,26,...)$$ (the important feature being that each doubles infinitely often, but they never double at the same time). Then when we try to build their "Eudoxus sum" according to your rule, we have good news and bad news. On the plus side, the "initial segment sums" we get agree with each other; however, on the minus side we get the sequence $$(2,5,11,23,37,...)$$ which never doubles and hence fails to satisfy condition $(2)$.
Dropping condition $(2)$ from the definition doesn't help: the sequence $$(1,3,7,15,31,...)$$ would then be considered a Eudoxus magnitude, but there's no good way to define "Eudoxus sum" so as to not have its Eudoxus sum with itself violate $(1)$.
What you need is a way to ensure frequent simultaneous doubling. You can ensure this by strengthening condition $(2)$; e.g. you'll get better results if you demand that $f$ is a Eudoxus magnitude only if its set of doubling points has asymptotic density $1$ (since the intersection of two asymptotic-density-$1$ sets has asymptotic density $1$). But I suspect such a requirement will ruin things elsewhere, namely the original motivation for these.
$^1$This is a bit unfair of me. Your actual claim as written is just that we never see disagreement between the "initial segment sums," and it's not hard to show that this is in fact true. But implicitly, you want the output to again be a Eudoxus magnitude ("A bonus is that we can then immediately assert that the [Eudoxus sum] of two Eudoxus magnitudes is a Eudoxus magnitude.") and this doesn't hold.
Since $f(1)$ is even, the sum $f + f$ is only 'set in stone' for $f(0) = 2$
– CopyPasteIt
Nov 27 '18 at 20:10
1
@CopyPasteIt I don't understand what that means. By definition the sum of two functions on an input is the sum of those functions' outputs on that input: $f+f$ is determined completely by $f$. Or what do you mean by the sum of two functions?
– Noah Schweber
Nov 27 '18 at 20:11
Since $f(3) =10$ is even, $f + f$ is in stone for $(f + f)(2) = f(2) + f(2) = 10$, $(f+f)(1) = 5$, $(f+f)(0) = 2$.
– CopyPasteIt
Nov 27 '18 at 20:19
That's not what "$+$" means for functions - by definition, $(f+g)(x)=f(x)+g(x)$. You should use a new symbol, like "$oplus$," for a new binary operation.
– Noah Schweber
Nov 27 '18 at 20:20
I guess my comments need a symbol, but the question doesn't actually write out the operation.
– CopyPasteIt
Nov 27 '18 at 20:27
|
show 3 more comments
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%2f3016184%2fa-well-defined-binary-operation-on-a-class-of-functions-eudoxus-magnitudes-fro%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
The claim$^1$ is false: the operation you've described doesn't always output a Eudoxus magnitude. In particular - and shifting from functions to sequences for ease of writing - take $$f=(1,2,5,10,21,...),quad g=(1,3,6,13,26,...)$$ (the important feature being that each doubles infinitely often, but they never double at the same time). Then when we try to build their "Eudoxus sum" according to your rule, we have good news and bad news. On the plus side, the "initial segment sums" we get agree with each other; however, on the minus side we get the sequence $$(2,5,11,23,37,...)$$ which never doubles and hence fails to satisfy condition $(2)$.
Dropping condition $(2)$ from the definition doesn't help: the sequence $$(1,3,7,15,31,...)$$ would then be considered a Eudoxus magnitude, but there's no good way to define "Eudoxus sum" so as to not have its Eudoxus sum with itself violate $(1)$.
What you need is a way to ensure frequent simultaneous doubling. You can ensure this by strengthening condition $(2)$; e.g. you'll get better results if you demand that $f$ is a Eudoxus magnitude only if its set of doubling points has asymptotic density $1$ (since the intersection of two asymptotic-density-$1$ sets has asymptotic density $1$). But I suspect such a requirement will ruin things elsewhere, namely the original motivation for these.
$^1$This is a bit unfair of me. Your actual claim as written is just that we never see disagreement between the "initial segment sums," and it's not hard to show that this is in fact true. But implicitly, you want the output to again be a Eudoxus magnitude ("A bonus is that we can then immediately assert that the [Eudoxus sum] of two Eudoxus magnitudes is a Eudoxus magnitude.") and this doesn't hold.
Since $f(1)$ is even, the sum $f + f$ is only 'set in stone' for $f(0) = 2$
– CopyPasteIt
Nov 27 '18 at 20:10
1
@CopyPasteIt I don't understand what that means. By definition the sum of two functions on an input is the sum of those functions' outputs on that input: $f+f$ is determined completely by $f$. Or what do you mean by the sum of two functions?
– Noah Schweber
Nov 27 '18 at 20:11
Since $f(3) =10$ is even, $f + f$ is in stone for $(f + f)(2) = f(2) + f(2) = 10$, $(f+f)(1) = 5$, $(f+f)(0) = 2$.
– CopyPasteIt
Nov 27 '18 at 20:19
That's not what "$+$" means for functions - by definition, $(f+g)(x)=f(x)+g(x)$. You should use a new symbol, like "$oplus$," for a new binary operation.
– Noah Schweber
Nov 27 '18 at 20:20
I guess my comments need a symbol, but the question doesn't actually write out the operation.
– CopyPasteIt
Nov 27 '18 at 20:27
|
show 3 more comments
The claim$^1$ is false: the operation you've described doesn't always output a Eudoxus magnitude. In particular - and shifting from functions to sequences for ease of writing - take $$f=(1,2,5,10,21,...),quad g=(1,3,6,13,26,...)$$ (the important feature being that each doubles infinitely often, but they never double at the same time). Then when we try to build their "Eudoxus sum" according to your rule, we have good news and bad news. On the plus side, the "initial segment sums" we get agree with each other; however, on the minus side we get the sequence $$(2,5,11,23,37,...)$$ which never doubles and hence fails to satisfy condition $(2)$.
Dropping condition $(2)$ from the definition doesn't help: the sequence $$(1,3,7,15,31,...)$$ would then be considered a Eudoxus magnitude, but there's no good way to define "Eudoxus sum" so as to not have its Eudoxus sum with itself violate $(1)$.
What you need is a way to ensure frequent simultaneous doubling. You can ensure this by strengthening condition $(2)$; e.g. you'll get better results if you demand that $f$ is a Eudoxus magnitude only if its set of doubling points has asymptotic density $1$ (since the intersection of two asymptotic-density-$1$ sets has asymptotic density $1$). But I suspect such a requirement will ruin things elsewhere, namely the original motivation for these.
$^1$This is a bit unfair of me. Your actual claim as written is just that we never see disagreement between the "initial segment sums," and it's not hard to show that this is in fact true. But implicitly, you want the output to again be a Eudoxus magnitude ("A bonus is that we can then immediately assert that the [Eudoxus sum] of two Eudoxus magnitudes is a Eudoxus magnitude.") and this doesn't hold.
Since $f(1)$ is even, the sum $f + f$ is only 'set in stone' for $f(0) = 2$
– CopyPasteIt
Nov 27 '18 at 20:10
1
@CopyPasteIt I don't understand what that means. By definition the sum of two functions on an input is the sum of those functions' outputs on that input: $f+f$ is determined completely by $f$. Or what do you mean by the sum of two functions?
– Noah Schweber
Nov 27 '18 at 20:11
Since $f(3) =10$ is even, $f + f$ is in stone for $(f + f)(2) = f(2) + f(2) = 10$, $(f+f)(1) = 5$, $(f+f)(0) = 2$.
– CopyPasteIt
Nov 27 '18 at 20:19
That's not what "$+$" means for functions - by definition, $(f+g)(x)=f(x)+g(x)$. You should use a new symbol, like "$oplus$," for a new binary operation.
– Noah Schweber
Nov 27 '18 at 20:20
I guess my comments need a symbol, but the question doesn't actually write out the operation.
– CopyPasteIt
Nov 27 '18 at 20:27
|
show 3 more comments
The claim$^1$ is false: the operation you've described doesn't always output a Eudoxus magnitude. In particular - and shifting from functions to sequences for ease of writing - take $$f=(1,2,5,10,21,...),quad g=(1,3,6,13,26,...)$$ (the important feature being that each doubles infinitely often, but they never double at the same time). Then when we try to build their "Eudoxus sum" according to your rule, we have good news and bad news. On the plus side, the "initial segment sums" we get agree with each other; however, on the minus side we get the sequence $$(2,5,11,23,37,...)$$ which never doubles and hence fails to satisfy condition $(2)$.
Dropping condition $(2)$ from the definition doesn't help: the sequence $$(1,3,7,15,31,...)$$ would then be considered a Eudoxus magnitude, but there's no good way to define "Eudoxus sum" so as to not have its Eudoxus sum with itself violate $(1)$.
What you need is a way to ensure frequent simultaneous doubling. You can ensure this by strengthening condition $(2)$; e.g. you'll get better results if you demand that $f$ is a Eudoxus magnitude only if its set of doubling points has asymptotic density $1$ (since the intersection of two asymptotic-density-$1$ sets has asymptotic density $1$). But I suspect such a requirement will ruin things elsewhere, namely the original motivation for these.
$^1$This is a bit unfair of me. Your actual claim as written is just that we never see disagreement between the "initial segment sums," and it's not hard to show that this is in fact true. But implicitly, you want the output to again be a Eudoxus magnitude ("A bonus is that we can then immediately assert that the [Eudoxus sum] of two Eudoxus magnitudes is a Eudoxus magnitude.") and this doesn't hold.
The claim$^1$ is false: the operation you've described doesn't always output a Eudoxus magnitude. In particular - and shifting from functions to sequences for ease of writing - take $$f=(1,2,5,10,21,...),quad g=(1,3,6,13,26,...)$$ (the important feature being that each doubles infinitely often, but they never double at the same time). Then when we try to build their "Eudoxus sum" according to your rule, we have good news and bad news. On the plus side, the "initial segment sums" we get agree with each other; however, on the minus side we get the sequence $$(2,5,11,23,37,...)$$ which never doubles and hence fails to satisfy condition $(2)$.
Dropping condition $(2)$ from the definition doesn't help: the sequence $$(1,3,7,15,31,...)$$ would then be considered a Eudoxus magnitude, but there's no good way to define "Eudoxus sum" so as to not have its Eudoxus sum with itself violate $(1)$.
What you need is a way to ensure frequent simultaneous doubling. You can ensure this by strengthening condition $(2)$; e.g. you'll get better results if you demand that $f$ is a Eudoxus magnitude only if its set of doubling points has asymptotic density $1$ (since the intersection of two asymptotic-density-$1$ sets has asymptotic density $1$). But I suspect such a requirement will ruin things elsewhere, namely the original motivation for these.
$^1$This is a bit unfair of me. Your actual claim as written is just that we never see disagreement between the "initial segment sums," and it's not hard to show that this is in fact true. But implicitly, you want the output to again be a Eudoxus magnitude ("A bonus is that we can then immediately assert that the [Eudoxus sum] of two Eudoxus magnitudes is a Eudoxus magnitude.") and this doesn't hold.
edited Nov 27 '18 at 20:35
answered Nov 27 '18 at 20:04
Noah Schweber
121k10148284
121k10148284
Since $f(1)$ is even, the sum $f + f$ is only 'set in stone' for $f(0) = 2$
– CopyPasteIt
Nov 27 '18 at 20:10
1
@CopyPasteIt I don't understand what that means. By definition the sum of two functions on an input is the sum of those functions' outputs on that input: $f+f$ is determined completely by $f$. Or what do you mean by the sum of two functions?
– Noah Schweber
Nov 27 '18 at 20:11
Since $f(3) =10$ is even, $f + f$ is in stone for $(f + f)(2) = f(2) + f(2) = 10$, $(f+f)(1) = 5$, $(f+f)(0) = 2$.
– CopyPasteIt
Nov 27 '18 at 20:19
That's not what "$+$" means for functions - by definition, $(f+g)(x)=f(x)+g(x)$. You should use a new symbol, like "$oplus$," for a new binary operation.
– Noah Schweber
Nov 27 '18 at 20:20
I guess my comments need a symbol, but the question doesn't actually write out the operation.
– CopyPasteIt
Nov 27 '18 at 20:27
|
show 3 more comments
Since $f(1)$ is even, the sum $f + f$ is only 'set in stone' for $f(0) = 2$
– CopyPasteIt
Nov 27 '18 at 20:10
1
@CopyPasteIt I don't understand what that means. By definition the sum of two functions on an input is the sum of those functions' outputs on that input: $f+f$ is determined completely by $f$. Or what do you mean by the sum of two functions?
– Noah Schweber
Nov 27 '18 at 20:11
Since $f(3) =10$ is even, $f + f$ is in stone for $(f + f)(2) = f(2) + f(2) = 10$, $(f+f)(1) = 5$, $(f+f)(0) = 2$.
– CopyPasteIt
Nov 27 '18 at 20:19
That's not what "$+$" means for functions - by definition, $(f+g)(x)=f(x)+g(x)$. You should use a new symbol, like "$oplus$," for a new binary operation.
– Noah Schweber
Nov 27 '18 at 20:20
I guess my comments need a symbol, but the question doesn't actually write out the operation.
– CopyPasteIt
Nov 27 '18 at 20:27
Since $f(1)$ is even, the sum $f + f$ is only 'set in stone' for $f(0) = 2$
– CopyPasteIt
Nov 27 '18 at 20:10
Since $f(1)$ is even, the sum $f + f$ is only 'set in stone' for $f(0) = 2$
– CopyPasteIt
Nov 27 '18 at 20:10
1
1
@CopyPasteIt I don't understand what that means. By definition the sum of two functions on an input is the sum of those functions' outputs on that input: $f+f$ is determined completely by $f$. Or what do you mean by the sum of two functions?
– Noah Schweber
Nov 27 '18 at 20:11
@CopyPasteIt I don't understand what that means. By definition the sum of two functions on an input is the sum of those functions' outputs on that input: $f+f$ is determined completely by $f$. Or what do you mean by the sum of two functions?
– Noah Schweber
Nov 27 '18 at 20:11
Since $f(3) =10$ is even, $f + f$ is in stone for $(f + f)(2) = f(2) + f(2) = 10$, $(f+f)(1) = 5$, $(f+f)(0) = 2$.
– CopyPasteIt
Nov 27 '18 at 20:19
Since $f(3) =10$ is even, $f + f$ is in stone for $(f + f)(2) = f(2) + f(2) = 10$, $(f+f)(1) = 5$, $(f+f)(0) = 2$.
– CopyPasteIt
Nov 27 '18 at 20:19
That's not what "$+$" means for functions - by definition, $(f+g)(x)=f(x)+g(x)$. You should use a new symbol, like "$oplus$," for a new binary operation.
– Noah Schweber
Nov 27 '18 at 20:20
That's not what "$+$" means for functions - by definition, $(f+g)(x)=f(x)+g(x)$. You should use a new symbol, like "$oplus$," for a new binary operation.
– Noah Schweber
Nov 27 '18 at 20:20
I guess my comments need a symbol, but the question doesn't actually write out the operation.
– CopyPasteIt
Nov 27 '18 at 20:27
I guess my comments need a symbol, but the question doesn't actually write out the operation.
– CopyPasteIt
Nov 27 '18 at 20:27
|
show 3 more comments
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3016184%2fa-well-defined-binary-operation-on-a-class-of-functions-eudoxus-magnitudes-fro%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
Your "Eudoxus magnitudes" are to be taken to represent the nonnegative reals written as binary fractions that don't end with infinite ones, I suppose?
– Henning Makholm
Nov 27 '18 at 20:48
1
@CopyPasteIt Note that what my answer really shows is that you can't "add locally" - summing the numbers $0.010101...$ and $0.101010...$ without getting an infinite string of $1$s requires looking at them *globally.* (Also, why are you not just looking at sequences whose first term is an arbitrary natural, all of whose further terms are either $0$ or $1$, and which have infinitely many $0$s? That's vastly more concrete and easier to think about, in my opinion.)
– Noah Schweber
Nov 27 '18 at 20:57
1
Actually it would be more faithful to Eudoxus for represent a ratio as a function $mathbb Ntimes mathbb Nto{{<},{=},{>}}$ satisfying certain conditions, representing the ratio $a:b$ by mapping every $(n,m)$ to whether $na$ is less than, equal to, or greater than $mb$. That would only be very few conceptual steps away from reinventing Dedekind cuts!
– Henning Makholm
Nov 27 '18 at 21:14
1
For a construction of the reals based on decimal representations, see F.A. Behrend's paper A Contribution to the Theory of Magnitudes and the Foundations of Analysis (Math. Zeitschrift (63), 1956). The treatment is easily adapted to binary representations. If you look at his definition of addition, you will see that an infinite amount of "look-ahead" is essential (as Noah's example also shows).
– Rob Arthan
Nov 27 '18 at 21:19
1
@CopyPasteIt I guess I don't see how this is actually making anything easier. What's wrong with the usual approach of defining the reals via Cauchy sequences (or Dedekind cuts)? Note that you're really just talking about canonical Cauchy sequences ...
– Noah Schweber
Nov 28 '18 at 1:16