March 25th, 2018, 06:10 PM  #61  
Senior Member Joined: Jun 2014 From: USA Posts: 528 Thanks: 43  Quote:
See the OP for the definitions of $r$ and $r’$. If you want, you can say $r=\pi3$ and $r’=e2$ (assuming $\, (e2\, )  \, (\pi3\, ) \notin \mathbb{Q}$). I’m going to do this with the dyadic rationals = $D$ instead of just the rationals, but I don’t think it makes a difference either way. $A$ is a copy of the dyadic rationals in $\, (r,r+1\, )$ that are shifted an irrational distance onto $\, (r',r'+1\, )$ by adding $r'r$ to all of them: $$A = \{r’r+p : p \in \, (r,r+1\, ) \cap D \}$$ $B$ is just the dyadic rationals in $\, (r',r'+1\, )$. Let $q \in A$. Again, if you want to assign a value, you can let $q = \frac{1}{2} + r’r$. I note that $A$ and $B$ are essentially copies of each other that both fit within $\, (r',r'+1\, )$, only $A$ hits only irrationals (being a shifted copy of the dyadic rationals by an irrational distance) while $B$ hits only dyadic rationals. I ask, how can this be? Where both fit within the interval, they either must align or one must naturally be 'shifted' a distance so small that none of them exist outside of $\, (r',r'+1\, )$. Since they don’t align, I want to 'unshift' what I dub the naturally occurring shift so they both do align. In this case, "unshifting" implies we would add or subtract something from all elements of $A$ so as to make them align with the elements of $B$, but we seem unable to solve for what that ‘something’, call it a distance of $x$, is. The mere existence of such an $x$ would imply that either $A+x = B$ or $Ax=B$ holds true. In order to solve for $x$, I tried the following: Where $q$ is in $A$ by definition, we take the rational distances between $q$ and each element of $A$ and toss them into a set: $\{qp : p \in A \}$. We then try to pick an element of $B$, call it $q'$, and take the rational distances between $q'$ and each element of $B$ and toss them into a set: $\{q'p : p \in B \}$. Both $\{qp : p \in A \}$ and $\{q'p : p \in B \}$ are sets consisting of only rational numbers now. The initial question is whether both $\{qp : p \in A \}$ and $\{q'p : p \in B \}$ can be equal. We cannot find a $q'$ so as to enforce the equality because: $$\sup(\{q'p : p\in B\})\sup(\{qp : p\in A\})=(q'\inf B)(q\inf A)=(q'r')(qr')=q'q \neq 0$$ and If the two sets have different suprema, they can't be equal. If we could find our $q’$, then we could have defined $x=q’q$. Nevertheless, because both $A$ and $B$ fit within $\, (r',r'+1\, )$ and I consider one as just being a copy of the other that comes naturally shifted such a small distance away from the other so as to still fit within the interval, I question whether we can rely on the above proof that we cannot find a $q’$. The obvious truth, at least to me, is that $x$ is an infinitesimal distance if not 0 itself and we're kidding ourselves thinking $A \neq B$ when we can't compute $x$ as being anything greater than 0 using a convergent series. It has to be, otherwise the natural shift between $A$ and $B$ would cause the shifted set to contain elements outside of $\, (r’,r’+1\, )$. The only other possibility is we cannot think of $A$ and $B$ as simply being shifted copies of each other, which is why I am using now just dyadic rationals so as to remove any doubt. At this point I’m at a loss. I think that I’ve proven we cannot solve for $x$ with the above example demonstrating the fact that we cannot find a suitable $q’$ so as to compute $x=q’q$. If we can’t compute $x$, then it seems this discussion must remain solely in the realm of the philosophical. My common sense tells me $x$ exists just like Achilles catches the tortoise, but our math suggests we cannot solve for $x$ whereas we do have a different approach so as to use a convergent infinite series when it comes to pinpointing the exact location where Achilles catches the tortoise. I do not consider our inability to compute $x$ as an indication that it doesn’t exist, however, at this point it seems that asserting the existence of such an $x$ is not much different than asserting the existence of a $y$ where $\, [0,1\,) + y = \,(0,1\, ]$. It’s just an infinitesimal that we can’t compute: a flying unicorn we can define but will never be able to prove exists or does not exist. With this, I think I’ve found all I care to know about math quite frankly. I view math as the study of statements that we can prove are true given the most basic of assertions that we take to be true, but I fear those basic assertions have left us at a point where we have both much we would like to know but cannot and much we might know to be true but cannot prove. I have hopes that discoveries in mathematics will still lead to results in physics, but delving further into the realm of pure mathematics involving the infinite seems quite fruitless. All the best,  
March 25th, 2018, 06:24 PM  #62 
Senior Member Joined: Aug 2012 Posts: 2,355 Thanks: 737 
Nevermind I posted this in the wrong thread I think.
Last edited by Maschke; March 25th, 2018 at 06:57 PM. 
April 1st, 2018, 08:52 PM  #63  
Math Team Joined: Dec 2013 From: Colombia Posts: 7,674 Thanks: 2654 Math Focus: Mainly analysis and algebra 
Just back from holiday. Quote:
The problem is that such a number doesn't exist. So $q'$ is not well defined. There's more to a value being welldefined than just writing down some symbols.  

Tags 
game, rational 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
rational  brhum  Algebra  2  June 22nd, 2014 06:05 AM 
Analyzing a game for fairness? (game theory question)  musicgold  Economics  0  March 14th, 2012 08:04 PM 
different rational no.  stuart clark  Algebra  1  May 19th, 2011 12:14 AM 
[game theory] Election game  lkzavr  Economics  1  April 22nd, 2009 11:35 AM 
[game theory] Election game  lkzavr  Applied Math  1  December 31st, 1969 04:00 PM 