Rational Sequence?

  • Thread starter bomba923
  • Start date
  • #1
bomba923
760
0
Given that [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3} \right\}} [/itex],
Can I list all the rational numbers in [itex] \left[ {a,b} \right] [/itex] as the sequence represented by
[tex] a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } [/tex]
----------------------------------------------------------------
My notation is rather strange, but here
[tex] \left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } [/tex]
really just represents [itex] \left\{ {0,1,2, \ldots ,\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } \right\} [/itex]
(I used floor brackets b/c indexes of terms in a sequence must be whole numbers,
and to not let the last term exceed [itex] b [/itex] when multiplied by [itex] x [/itex] and added to [itex] a [/itex])
----------------------------------------------------------------
For example, let [itex] a = 3 [/itex] and [itex] b = 5 [/itex]. Then, for [itex] x = 0.5 [/itex], the sequence will be [itex] \left\{ {3,3.5,4,4.5,5} \right\} [/itex].
Similarly, for [itex] x = 0.1 [/itex], the sequence will be [itex] \left\{ {3,3.1,3.2,3.3, \ldots ,5} \right\} [/itex].
And basically, the idea is to list all of the rationals within [itex] \left[ {a,b} \right] [/itex] as [itex] x [/itex] approaches zero (from the right!).
------------------------------------------------------------------
Well then, (for [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/itex] ,
with [itex] \mathbb{Q} [/itex] being the set of all rationals,:biggrin: that is),
|Will this work?
[tex] {a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } [/tex]
(Btw, I expressed notation here that may be strange/non-standard.
How would I rewrite the expression to be more understandable--more standard??)
 
Last edited:

Answers and Replies

  • #2
Given that [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3} \right\}} [/itex],
Can I list all the rational numbers in [itex] \left[ {a,b} \right] [/itex] as the sequence represented by
[tex] a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } [/tex]

Please explain what you mean. I don't see how
[tex] a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } [/tex]
could be a well-defined sequence. If you say it is a sequence, then what are its elements in the second, third, nth positions?
 
  • #3
bomba923
760
0
rachmaninoff said:
If you say it is a sequence, then what are its elements in the second, third, nth positions?
Ok, but I am NOT trying to make a sequence!--the goal is a "LisT", just a mere "list" of all the rationals in [itex] \left[ {a,b} \right] [/itex]. I'm sorry I called it a sequence!---but its NOT a sequence that we're aiming for, just a mere list of all the rationals, surrounding by braces.
---------------
[tex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/tex]
just means that both [itex] a [/itex] and [itex] b [/itex] must be rational, that [itex] b > a [/itex], and that [itex] x [/itex] is a positive rational less than [itex] \left( {b - a} \right) [/itex].
---------------------------
You agree that:
*The sum or difference of any two rationals is always rational: [itex] \forall \left( {a,b} \right) \in \mathbb{Q},\;\left( {a \pm b} \right) \in \mathbb{Q} [/itex]
*The product of any two rationals is always rational: [itex] \forall \left( {a,b} \right) \in \mathbb{Q},\;\left( {ab} \right) \in \mathbb{Q} [/itex]
*There is a countably infinite quantity of nonequivalent rationals between any two nonequivalent rationals.
*Because there is a countably infinite quantity of nonequivalent rationals between any two nonequivalent rationals, I can make a one-to-one correspondence between [itex] \mathbb{N} [/itex] and all the rationals in [a,b], where both a & b are rational (both [itex] \mathbb{Q} [/itex] and [itex] \mathbb{N} [/itex] have cardinality [itex] \aleph _0 [/itex]).
*For [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/itex], we can say [itex] \forall n \in \mathbb{N},\;\left( {a + n \cdot x} \right) \in \mathbb{Q} [/itex].
*(and this one is just for fun:smile:: there is a one-to-one correspondence between a rational number and its decimal representation)
---------------------------
Now the formula, using my strange notation:
The list must begin from [itex] a [/itex] to [itex] b [/itex]. In accordance with [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/itex], and the formula
[tex] a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } [/tex]:

1) Let's say I want three rationals in the list. Thus, [itex] n = 0,\;{\text{then 1, then 2}} [/itex]. Thus--I will have to select an [itex] x [/itex] so that only three values appear---which means list n=0 to n=2. By
[tex] {\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } } [/tex]
we see that the limits of "listing" are from zero to
[tex] \left\lfloor {\frac{{b - a}}{x}} \right\rfloor [/tex]
Because we want n=0 to n=2, we have to make
[tex] \left\lfloor {\frac{{b - a}}{x}} \right\rfloor = 2 [/tex]
And so we select a possible [itex] x [/itex] value. By the formula, we will get [itex] \left\{ {a + 0 \cdot x,\;a + 1 \cdot x,\;a + 2 \cdot x} \right\} [/itex], which is really the same as saying [itex] a + x \cdot \left\{ {0,1,2} \right\} [/itex]. Needless to say, because we want only rationals in our list, we will have to keep [itex] x \in \mathbb{Q} [/itex] (not really an issue, but just so you know!)

2) However, we will want much more than just three rationals!--which means the upper limit of our "listing," a.k.a
[tex] \left\lfloor {\frac{{b - a}}{x}} \right\rfloor [/tex]
will have to be much more than two---which means that [itex] x \ll \left( {b - a} \right) [/itex], (closer to zero that is, farther from [itex] b - a [/itex]). To review, our "list" will look like
[tex] a + x\left\{ {0,1,2, \ldots ,\left\lfloor {\frac{{b - a}}
{x}} \right\rfloor } \right\} [/tex]
and the last term will be
[tex] a + x\left\lfloor {\frac{{b - a}}{x}} \right\rfloor = a + \left( {b - a} \right) = b [/tex]
(which is want we want--we want our first term to be [itex] a [/itex] and our last term to be [itex] b [/itex])
-----------------------------------------------------------
Now, for example:
*Well, let [itex] a = 3,\;b = 7 [/itex], and let's make [itex] x = 0.1 [/itex]. Then, our list shall be
[tex] \left\{ {3,\;3 + 0.1,\;3 + 2 \cdot 0.1,\;3 + 3 \cdot 0.1, \ldots ,3 + 0.1 \cdot \left\lfloor {\frac{{7 - 3}}{{0.1}}} \right\rfloor } \right\} = 3 + 0.1\left\{ {0,1,2,3, \ldots ,40} \right\} = \left\{ {3,3.1,3.2,3.3, \ldots ,7} \right\} [/tex]
And will have 41 terms (or list elements, if you prefer), all of which are rational and within [itex] \left[ {a,b} \right] [/itex].
------------------------------
But! We will obviously want more than just 41 terms--so let's make [itex] x = 0.01 [/itex]. Well then, we'll have something like this:
[tex] \left\{ {3,3.01,3.02,3.03, \ldots ,7} \right\} [/tex]
------------------------------
And so, you can make [itex] x [/itex] even smaller---and you'll have more terms, all of which are rationals, in [a,b].
----------------------------------------------------------------
And so then (consistently with [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/itex]), we come to this expression:
[tex] a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } [/tex]
(by now rachmaninoff, I think you understand the idea)
-------|Now the question:
And my question is: will this expression indeed work? Will it really list out (not sequence!*remember) all the rationals in [a,b] ?
--------------------------------------------------
Or...
If you accept my awfully disrespectful:frown: notation, I'll rephrase the question:
In consistency with [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/itex],
Does
[tex] \mathbb{Q}_{\,a}^{\,b} = {a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } } \;\,? [/tex]
 
Last edited:
  • #4
TenaliRaman
644
1
Limit of anything (if it exists) is a finite value. I think you are using the idea of "x approaches 0" a bit too liberally. Still if we go out of our way and accept it, then note that as x approaches zero, it can take up irrational values as well and rational+irrational = irrational. So your notation will actually give all reals between a and b, which is concisely denotes as [a,b] :biggrin:

-- AI
 
  • #5
bomba923
760
0
TenaliRaman said:
Limit of anything (if it exists) is a finite value. I think you are using the idea of "x approaches 0" a bit too liberally. Still if we go out of our way and accept it, then note that as x approaches zero, it can take up irrational values as well and rational+irrational = irrational. So your notation will actually give all reals between a and b, which is concisely denotes as [a,b]:biggrin:

-- AI
Ok, now what part of
[tex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/tex]
do you NOT understand?? Have you read my previous post:
bomba923 said:
[tex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/tex]
just means that both [itex] a [/itex] and [itex] b [/itex] must be rational, that [itex] b > a [/itex], and that [itex] x [/itex] is a positive rational less than [itex] \left( {b - a} \right) [/itex].
------------------------------------------------
And this?
bomba923 said:
as x approaches zero, it can take up irrational values as well
(Needless to say, zero is rational)
Obviously you do not understand set notation. OK--but think about this:
Provided that [tex] n \in \mathbb{N} [/tex], let [tex] A_n = n^{ - 1} [/tex]. Now, I think you agree that: [tex] \mathop {\lim }\limits_{n \to \infty } A_n = 0 [/tex]
**!BUT, is [tex] A_n [/tex] ever irrational??
|NO!---and yet [tex] A_n [/tex] approaches zero! Surprised?
----------------------------------------------------
Also:
TenaliRaman said:
So your notation will actually give all reals between a and b, which is concisely denotes as [a,b] :biggrin:
Are you nuts? Do you understand that [tex] \mathbb{R} = \mathbb{Q} \cup \mathbb{F} [/tex] and that [tex] \mathbb{F} \cap \mathbb{Q} = \emptyset [/tex] ? Good--you can follow along:

You can agree that [tex] \left[ {\left( {{\text{any }}a \in \mathbb{Q}} \right) \pm \left( {{\text{any }}x \in \mathbb{Q}} \right)} \right] \in \mathbb{Q} [/tex] and that [tex] \left[ {\left( {{\text{any }}a \in \mathbb{Q}} \right) \pm \left( {{\text{any }}x \in \mathbb{F}} \right)} \right] \in \mathbb{F} [/tex].
Thus, knowing that [tex] \mathbb{F} \cap \mathbb{Q} = \emptyset [/tex], you cannot, for any one [itex] x [/itex] value, have a sequence of reals (with both rationals and irrationals).
In other words, (sorry for my crazy LaTex manipulation)
[tex] \left[ {\left( {{\text{any }}a \in \mathbb{Q}} \right) \pm x} \right] \in \left( {{\text{either }}\mathbb{Q}{\text{ or }}\mathbb{F} \ldots {\text{but not BOTH!}}} \right) [/tex]

Thus, whether you get a sequence of rationals or irrationals will
depend on the identity of [itex] x [/itex]. Want all reals? Unite all the rationals in [a,b] and irrationals in [a,b]
--the union shall give you all reals in [a,b] (both rationals & irrationals).

(I am Very Sorry if I seem rude or impolite:frown:--today was just a bad day:redface: (sorry!))
------------------------------------------------
Finally,
TenaliRaman said:
I think you are using the idea of "x approaches 0" a bit too liberally
Mmm?? Explain mathematically what's wrong with my use of limits.
(I'm not saying you're wrong, I just want you to expand on this mathematically!:wink:)
--------------------------------------------------------------------
But aside from that, for [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/itex],
what do you other guys think of this expression:
[tex] {a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } } [/tex]
Does it indeed list out all the rationals within [tex] \left[ {a,b} \right] [/tex] ?
 
Last edited:
  • #6
TenaliRaman
644
1
bomba923 said:
Ok, now what part of
[tex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/tex]
do you NOT understand??

Sorry, somewhere in my thoughts i forgot you quoted (a,b,x) belongs to Q^3.

Well, however, still the idea of lim does not seem right!
When we say lim_n->00 A_n -> 0, we are saying as n gets larger, A_n tends to zero. It does not describe a sequence, rather it just says that the extreme end values are more towards zero.

You could rather use Union [tex]\cup_{x \in (0,1)}[/tex].
This seems more appropriate to me atleast.

(I am Very Sorry if I seem rude or impolite--today was just a bad day (sorry!))
No bother, i can see that you are having a bad day, when you went out of your way to explain to me rationals + irrationals = [a,b]. Its fine, i would be angry with me too, if i were in your place.

-- AI
 
  • #7
bomba923
760
0
TenaliRaman said:
extreme end values
By the Cauchy definition of a limit of a sequence:
"[tex] A_n [/tex] has limit [itex] L [/itex] if [tex] \exists \,\varepsilon > 0 [/tex] such that [itex] \forall n > {\text{N}} [/itex], [tex] \left| {A_n - L} \right| < \varepsilon [/tex] ."

I suppose your "extreme end values" are just values of [tex] A_n [/tex], for any [itex] n > N [/itex] ??

[tex]\cup_{x \in (0,1)}[/tex]
Never seen this notation; what does it mean? (the set of reals exclusively between zero and one??)
ANd
No bother, i can see that you are having a bad day. Its fine, i would be angry with me too, if i were in your place.
Thanks for understanding :smile:
-------------------------------------------
Finally,
TenaliRaman said:
Well, however, still the idea of lim does not seem right!
When we say lim_n->00 A_n -> 0, we are saying as n gets larger, A_n tends to zero. It does not describe a sequence, rather it just says that the extreme end values are more towards zero.
(Just because it doesn't seem right does not make it wrong or any less right, unless you show mathematically why it is incorrect.)
TenaliRaman said:
It does not describe a sequence, rather it just says that the extreme end values are more towards zero.
What is the "it" you are referring to?
-If you are referring to the part
[tex] x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } [/tex]
this simply means
[tex] x \cdot \left\{ {0,1,2, \ldots ,\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } \right\} [/tex]
The limit applies to [itex] x [/itex], which helps determine the upper bound of the sequence and multiplies with each term in the sequence. In the expression
[tex] a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } [/tex]
I am not taking the "limit of the sequence"--I'm just taking the limit of [itex] x [/itex], who's purpose I mentioned in the previous sentence (as you see).
---------------------------------------------------------
|With that said, what do you guys think of the expression:
[tex] a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } [/tex]
For [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/itex], does it indeed list all the rationals within [tex] \left[ {a,b} \right] [/tex] ?
 
Last edited:
  • #8
You've defined a sequence of sequences: [itex] \left( A_n \right) [/itex]; but each element sequence is of a different size (!). If you apply the limit to your sequence, each index of your element sequences converges to zero: {0,0,0...}. You do not get a limiting sequence with the properties you want because there does not exist a 'smallest' rational number greater than zero. If you want to order the rational numbers on [a,b], you have to start with a rational number on [a,b], and continue on listing only rational numbers, as in (if [a,b]=[0,1]):
{1/2, 1/3, 2/3, 1/4, 3/4, 1/5, 2/5...}

Hope this clears things up.
 
  • #9
bomba923
760
0
rachmaninoff said:
You've defined a sequence of sequences: [itex] \left( A_n \right) [/itex]; but each element sequence is of a different size (!).
I specifically said:
bomba923 said:
rachmaninoff said:
If you say it is a sequence, then what are its elements in the second, third, nth positions?
Ok, but I am NOT trying to make a sequence!--the goal is a "LisT", just a mere "list" of all the rationals in [a,b] ...I'm sorry I called it a sequence!---but its NOT a sequence that we're aiming for, just a mere list of all the rationals, surrounding by braces.
*??-If you read,
I never intended for a "sequence"--you must understand; the idea is only to list all the rationals with [a,b]. And no, I do not have a "sequence of sequences" because
(1) I never defined [itex] x [/itex] to be an element of any sequence at all, and
(2) the idea is to make a list, not a sequence

*Also, where did you get [itex] A_n [/itex] ?? I just used [itex] A_n = n ^ {-1} [/itex] as a completely different example to demonstrate to TenaliRaman that values can approach zero without oscillating between rationals and irrationals.

rachmaninoff said:
If you apply the limit to your sequence, each index of your element sequences converges to zero: {0,0,0...}
OK--but you understand
[tex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/tex]
which also says [itex] x \ne 0 [/itex]!

Let me give you an example:
[tex] \mathop {\lim }\limits_{x \to 0} \frac{1}{x} = \infty [/tex]
!BUT! does
[tex] \frac{1}{0} = \infty \;? [/tex]
NO!-->
[tex] \frac{1}{0} = {\text{undefined}} [/tex]
You see, the domain of Reals for [tex] 1 / x [/tex] is [itex] \left\{ {x|\left( { - \infty ,0} \right) \cup \left( {0,\infty } \right)} \right\} [/itex], because [itex] x \ne 0 [/itex] (!)

For [itex] \left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\} [/itex], the expression
[tex] {a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } } [/tex]
takes the limit as [itex] x \to 0 [/itex] WITHOUT "[itex] x = 0 [/itex]".

rachmaninoff said:
there does not exist a 'smallest' rational number greater than zero
Right-->which is why there are an infinite quantity of rational numbers in [tex] \left[ {a,b} \right] [/tex],
which why I have [itex] x \to 0 [/itex], (but [itex] x \ne 0 [/itex])
which is why I take [itex] \mathop {\lim }\limits_{x \to 0} \left\lfloor {\frac{{b - a}}{x}} \right\rfloor [/itex],
to get the appropriate infinite quantity of terms.

What exactly is the problem here ??
----------------------------------------------
bomba923 said:
If you want to order the rational numbers on [a,b], you have to start with a rational number on [a,b], and continue on listing only rational numbers
OK--well u see that

*[itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/itex] already defines [itex] a [/itex] and [itex] b [/itex] to be rational numbers (i.e., [itex] \left( {a,b} \right) \in \mathbb{Q}^2 [/itex]).
*[itex] \forall \left( {a,x} \right) \in \mathbb{Q}^2 \,{\text{and }}\forall n \in \mathbb{N},\;\left( {a + nx} \right) \in \mathbb{Q} [/itex], so the list will only contain the rationals!

Again, what exactly is the problem here??
------------------------------------------------
That said, I'll end this post like I usually do (like I did for the past three :biggrin:!)
:[itex] \downarrow [/itex]
*For [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/itex], does the expression
[tex] {a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } } [/tex]
Really list out all the rationals in [tex] \left[ {a,b} \right] [/tex] ?
 
Last edited:
  • #10
Ignoring your attitude problems -

It looks like your question hinges on this: can all rational numbers in [a,b] be expressed as

[tex]a+\lim_{x\rightarrow \infty}n \frac{b-a}{x}, \, n\in \mathbb{N} [/tex]

The answer is unambigously no.

[tex]\begin{align*} \lim_{x\rightarrow \infty}n \frac{b-a}{x}&=n \lim_{x\rightarrow \infty}\frac{b-a}{x} \\
&= n \cdot 0 \\
&= 0 \end{align}[/tex]

For all natural numbers n. Not only do you not get an ordering of [itex]\mathbb{Q}[/itex], (restricted to [a,b]), you don't even get the set [itex]\mathbb{Q}[/itex] itself; in fact, you don't get any elements except a + 0 = a. You could rearrange your definition in some way to force

[tex]a+\lim_{x\rightarrow \infty}\frac{x m (b-a)}{n x}=a+\frac{m}{n} (b-a), \, \forall m,n \in \mathbb{N}[/tex],

which illustrates how limits can be used unamigously, and let's you get the set Q by plugging in Q itself. Not useful at all.

A couple more comments - there's no important difference between a "seqence" and a "list", sequences are just infinite lists (both are ordered!). For your purposes, your finite lists (L1...Ln) are no different from the corresponding sequences
(L1...Ln, 0, 0...). The important feature is elementwise convergence - in each index, that element converges to zero.

The usual [itex]\mathbb{R}[/itex] (and also Q) does not contain 'infinitissimeals' and 'infinites'. There exist alternative algebras, such as that of the hyperreals, which do contain the 'infiniteisimals' and could (I don't know anything about them) contain a common infiniteisimal denominator for all rational numbers (don't quote me on that). 'Standard' analysis does not allow for this.

And about limits, the definition of the limit applies to sequences/lists, like
[tex] {a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } } [/tex],
in specific ways - in particular, you take the limit of each index element individually (if they converge). In your example, the elements all go to zero indexwise, so your 'limit' sequence does not have the properties you are trying to force from it.

-rachmaninoff
 
  • #11
Let me make this even more clear.

[tex] {a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } } [/tex]
'Limit' implies a sequence. The implied sequence is

[tex]A_0 = \left( a, b \right) [/tex]
[tex]A_1 = \left( a, a+\frac{1}{2}(b-a), b \right) [/tex]
[tex]A_2 = \left( a, a+\frac{1}{3}(b-a), a+\frac{2}{3}(b-a), b \right) [/tex]
[tex]A_x = \left( a, a+\frac{1}{x}(b-a), ..., a+\frac{x-1}{x}(b-a), b \right) [/tex]

and by every tortured meaning of the word 'limit' you can imagine,

[tex]\begin{align*} lim_{x \rightarrow \infty} ( A_x ) &= \left( lim_{x \rightarrow \infty}a, lim_{x \rightarrow \infty} a+\frac{1}{x}(b-a), lim_{x \rightarrow \infty} a+\frac{2}{x}(b-a), ... \right) \\
&= (a,a,a,...,a,a,...) \end{align} [/tex].
 
Last edited by a moderator:
  • #12
EnumaElish
Science Advisor
Homework Helper
2,327
124
bomba923 said:
For example, let [itex] a = 3 [/itex] and [itex] b = 5 [/itex]. Then, for [itex] x = 0.5 [/itex], the sequence will be [itex] \left\{ {3,3.5,4,4.5,5} \right\} [/itex].
Similarly, for [itex] x = 0.1 [/itex], the sequence will be [itex] \left\{ {3,3.1,3.2,3.3, \ldots ,5} \right\} [/itex].
And basically, the idea is to list all of the rationals within [itex] \left[ {a,b} \right] [/itex] as [itex] x [/itex] approaches zero (from the right!).
It seems to me the answer is "yes." You will obtain a set with countably infinite number of elements as long as x does not reach 0 (stays away from zero); but you define 0 < x so I think you're okay. Sketch: Suppose your list "skipped over" rational r, a < r < b. You can always express r in terms of a, b, n, and an x that is arbitrarily close to zero. Contradiction.
 
  • #13
It seems to me the answer is "yes." You will obtain a set with countably infinite number of elements as long as x does not reach 0 (stays away from zero); but you define 0 < x so I think you're okay.
Dead wrong. All x > 0 yield only a finite number of rational numebers in [a,b] - particularly those rational numbers in [a,b] whose integral denominators are divisble by 1/x. Hence x = 0.1 yields only rational multiples of 1/10, such as {3.0, 3.1, 3.2... 5.0}. Clearly only a finite number of rationals can be represented in this way.

Sketch: Suppose your list "skipped over" rational r, a < r < b. You can always express r in terms of a, b, n, and an x that is arbitrarily close to zero. Contradiction
You got this totally backwards. To illustrate your flaw - suppose the list skips over r in [a,b], and you find an x which generates a list which includes r... well, I can another [itex]r' \in [a,b][/itex] which is not in this list... so you find a new, smaller x... so on and so on ad infinitum! What you should be proving is there exists an x [itex]\Longrightarrow [/itex] all [itex]r \in \left[ a,b\right] [/itex] are contained in the list generated by x, whereas what you proved is that for all [itex]r \in \left[ a,b\right] [/itex] there exists an x... see the difference?
 
Last edited by a moderator:
  • #14
bomba923
760
0
rachmaninoff said:
It looks like your question hinges on this: can all rational numbers in [a,b] be expressed as [tex]a+\lim_{x\rightarrow \infty}n \frac{b-a}{x}, \, n\in \mathbb{N} [/tex]

*First of all, where the hell do you get [itex] x \to \infty [/itex] when I specifically stated:
[tex] {0 < x < \left( {b - a} \right)} [/tex]

*Secondly, where do you get off eliminating [itex] x [/itex] from
[tex] {\mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } } [/tex]
to getting
rachmaninoff said:
[tex] \lim_{x\rightarrow \infty}n \frac{b-a}{x} [/tex]
?
---------------------------------
And what is this?
rachmaninoff said:
For your purposes, your finite lists (L1...Ln) are no different from the corresponding sequences
(L1...Ln, 0, 0...). The important feature is elementwise convergence - in each index, that element converges to zero.
The hell? (--Finite lists?) Since when does (the upper limit of [itex] \left\{ n \right\} [/itex]--a.k.a #of terms in the "list")
[tex] \mathop {\lim }\limits_{x \to 0} \left\lfloor {\frac{{b - a}}{x}} \right\rfloor \ne \infty \;? [/tex]

rachmaninoff said:
The important feature is elementwise convergence - in each index, that element converges to zero.
Mmm? If you don't incorrectly eliminate [itex] x [/itex], you would see that for
[tex] \mathop {\lim }\limits_{x \to 0} x \cdot \left\{ {0,1,2, \ldots ,\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } \right\} [/tex]
the last term (correctly multiplied by [itex] x [/itex]) is
[tex] \mathop {\lim }\limits_{x \to 0} x \cdot \left\lfloor {\frac{{b - a}}
{x}} \right\rfloor = b - a [/tex]
If you correctly add [itex] a [/itex], as dictated by
[tex] {a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } } [/tex]
...you would see that
[tex] a + \left( {b - a} \right) = b [/tex]

Therefore, the last term--aka your "convergence" in question, in the infinite "list" is [itex] b [/itex], which is what we want!.
-----------------------------------------------
rachmaninoff said:
the definition of the limit applies to sequences/lists, like
[tex] {a + \mathop {\lim }\limits_{x \to 0} x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } } [/tex]
in specific ways - in particular, you take the limit of each index element individually (if they converge). In your example, the elements all go to zero indexwise, so your 'limit' sequence does not have the properties you are trying to force from it.
The definition of a limit of a sequence:
"[itex] A_n [/itex] has limit [itex] L [/itex] if [tex] \exists \,\varepsilon > 0 [/tex] such that [itex] \forall n > {\text{N}} [/itex], [tex] 0 < \left| {A_n - L} \right| < \varepsilon [/tex]

I suppose you're saying:
[tex] \forall n \in \mathbb{N},\;n\mathop {\lim }\limits_{x \to 0} x = 0 [/tex]
Alright-->The very limit in my expression is equal to [itex] \left\{ {0,0, \ldots } \right\} [/itex]

*!BUT~: [tex] 0 < \left| {A_n - L} \right| < \varepsilon [/tex], for all [itex] n > N [/itex], which in my expression is whatever natural value is assigned to [itex] {\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } [/itex].
*And, consistently, for [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/itex],
[tex] \forall x > 0,\;\left( {x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } } \right) \cap \left\{ {0,0,0, \ldots } \right\} = \emptyset [/tex]
(*except for the very first term, which a common trivial zero:smile:)
---------------------------------------------------------------------
|Thus, because the very limit is, indeed, equal to [itex] \left\{ {0,0,0, \ldots } \right\} [/itex], I'll rephrase my question:
"For [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/itex] (where [itex] x \ne 0 [/itex]), will the expression
[tex] {a + x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } } [/tex]
List out all the rationals with [tex] \left[ {a,b} \right] [/tex] As [itex] x \to 0 [/itex] ?
 
Last edited:
  • #15
bomba923 said:
|Thus, because the very limit is, indeed, equal to [itex] \left\{ {0,0,0, \ldots } \right\} [/itex], I'll rephrase my question:
"For [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/itex] (where [itex] x \ne 0 [/itex]), will the expression
[tex] {a + x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } } [/tex]
List out all the rationals with [tex] \left[ {a,b} \right] [/tex] As [itex] x \to 0 [/itex] ?

This is a meaningless question. Define "As [itex] x \to 0 [/itex]" and we can talk.

Therefore, the last term--aka your "convergence" in question, in the infinite "list" is b, which is what we want!.

There is no 'last term' in an infinite sequence. This is why your abusive use of the concept 'limit' doesn't give you anything useful.
 
  • #16
bomba923
760
0
rachmaninoff said:
- particularly those rational numbers in [a,b] whose integral denominators are divisble by 1/x. Hence x = 0.1 yields only rational multiples of 1/10, such as {3.0, 3.1, 3.2... 5.0}.
Eh? I never said
[tex] x \ne \frac{{93}}{{347}} [/tex].
But that's not important, because all rationals are divisible (with integral quotients) by 1/denominator. E.g., [tex] \frac{{93}}{{347}} [/tex] is divisible (with integral quotients) by [tex] \frac{{1}}{{347}} [/tex].
rachmaninoff said:
so you find a new, smaller x... so on and so on ad infinitum
:biggrin: Essentially the idea when somebody finds some "[itex] r [/itex]" I skipped over!
rachmaninoff said:
Dead wrong. All x > 0 yield only a finite number of rational numebers in [a,b]
True:
[tex] \forall x > 0,\;\left\lfloor {\frac{{b - a}}{x}} \right\rfloor = {\text{finite}} [/tex]
!But That is why I've rephrased the question with simply:
"[tex] x \to 0 [/tex]"
(without actually [itex] x = 0 [/itex])---*|You with me here?
 
  • #17
bomba923 said:
*!BUT~: [tex] 0 < \left| {A_n - L} \right| < \varepsilon [/tex], for all [itex] n > N [/itex], which in my expression is whatever natural value is assigned to [itex] {\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } [/itex].
*And, consistently, for [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/itex],
[tex] \forall x > 0,\;\left( {x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}{x}} \right\rfloor } } \right) \cap \left\{ {0,0,0, \ldots } \right\} = \emptyset [/tex]
(*except for the very first term, which a common trivial zero:smile:)
-

This behavior does not persist in the limiting case. Think of this analogy: [itex]f_n(x)=x^n[/itex] is continuous on R for all finite n, but the limit diverges everywhere except on (-1,1). [itex]f_n(x)=x^n[/itex] has every real number in (0,1) in its range, but the limiting case does not.
 
  • #18
bomba923
760
0
(*Btw--what exactly happened to TenaliRaman and EnumaElish? How come no further posts/feedback from them??:blushing:)
rachmaninoff said:
This behavior does not persist in the limiting case. Think of this analogy: [itex]f_n(x)=x^n[/itex] is continuous on R for all finite n, but the limit diverges everywhere except on (-1,1). [itex]f_n(x)=x^n[/itex] has every real number in (0,1) in its range, but the limiting case does not.
Of course, that's why I removed the "limiting" case :biggrin:-->
No "limit" (and for a good reason!)--
and rephrased my question & expression for that matter:
|Now,
"For [itex] {\left\{ {\left( {a,b,x} \right)|0 < x < \left( {b - a} \right),\left( {a,b,x} \right) \in \mathbb{Q}^3 } \right\}} [/itex], will the expression
[tex] {a + x\left\{ n \right\}_0^{\left\lfloor {\frac{{b - a}}
{x}} \right\rfloor } } [/tex]
->List all the rationals within [tex] \left[ {a,b} \right] [/tex] as [itex] x \to 0 [/itex] ?
 
Last edited:
  • #19
!But That is why I've rephrased the question with simply: "[tex] x \to 0 [/tex]"
(without actually x=0 )---*|You with me here?

I am well aware of the difference. Let me rephrase your question in several different ways:

I) Let A(r) represent the number of rational numbers (in [a,b]) in the list generated by r. For instance, with [0,1], A(0.2) = 6.
Then [itex]\lim_{r \rightarrow 0} A(r)[/itex] does not exist - for the pathological reason that some rs are irrational and do not divide rational numbers.

II) Let's restrict r to rational numbers of the form 1/n, where n is a natural number. Then [itex]\lim_{n \rightarrow + \infty } A(1/n) = + \infty [/itex].

III) Let B(r') be the maximum value of A(r) attained on [itex]r \in (r', + \infty ) [/itex]. Then trivially [itex]\lim_{r' \rightarrow 0} B(r') = + \infty [/itex].

Now Let 'x' be a fixed rational in [a,b], and let C(r) be a function which is
i) 0 if 'x' is not in the list generated by r, and
ii) 1 if 'x' is in the list generated by r.

Then
[itex]\lim_{r \rightarrow 0} C(r)[/itex] does not exist (you can get either '0' or '1' values arbitrarily close to r=0).

[itex]\lim_{n \rightarrow + \infty} C(1\n)[/itex] does not exist (also, you can get either '0' or '1' values arbitrarily close to r=0, thinking for a moment about divisibilty).

But, if D(r') = the maximum value of C(r) attained on all of [itex]r \in (r', + \infty ) [/itex], then
[itex]\lim_{r; \rightarrow 0 } D(r') = 1 [/itex], meaning that there is some r > 0 such that 'x' is in the list generated by C(r).

----------------------

Let's try something new. Define S(r) as the set of rationals in [a,b] contained in the 'list' generated by r (in your definition). Then,

[tex] \bigcup_{r \in (0, + \infty ) } S(r) = \mathbb{Q} \cap [a,b] [/tex],

which is a type of 'limiting behavior' from which you generate the rationals on [a,b]. More cleanly,

[tex] \lim_{n \rightarrow + \infty} \bigcup_{m \in \{1,2...n\} } S(1/m) = \mathbb{Q} \cap [a,b] [/tex].

The 'union' set operator is essential here. Clearly,
[tex]\lim_{n \rightarrow + \infty } S(1/n) [/tex]
is undefined.
 
Last edited by a moderator:
  • #20
EnumaElish
Science Advisor
Homework Helper
2,327
124
rachmaninoff said:
Dead wrong. ... You got this totally backwards. To illustrate your flaw - suppose the list skips over r in [a,b], and you find an x which generates a list which includes r... well, I can another [itex]r' \in [a,b][/itex] which is not in this list... so you find a new, smaller x... so on and so on ad infinitum! What you should be proving is there exists an x [itex]\Longrightarrow [/itex] all [itex]r \in \left[ a,b\right] [/itex] are contained in the list generated by x, whereas what you proved is that for all [itex]r \in \left[ a,b\right] [/itex] there exists an x... see the difference?
I cannot say I don't see the difference between your use of "lim" and the usage in the original post, but bomba acknowledged it was being used loosely. I think I understand bomba's thought process, and it works for me. I am not saying you are being pedantic, rachmaninoff, you have just taken a more detail-oriented approach than I have, and I am not going to quarrel with your approach here. Good luck, you two.
 
Last edited:
  • #21
EnumaElish
Science Advisor
Homework Helper
2,327
124
rachmaninoff, curious here: if q is rational, and u is a suitably defined upper bound, will the expression [tex]a + \left\{ n/q \right\}_{n=0}^u [/tex] list all rationals in [a,b) as [tex]q\longrightarrow +\infty[/tex]?
 
  • #22
EnumaElish said:
rachmaninoff, curious here: if q is rational, and u is a suitably defined upper bound, will the expression [tex]a + \left\{ n/q \right\}_{n=0}^u [/tex] list all rationals in [a,b) as [tex]q\longrightarrow +\infty[/tex]?

I've answered this already; the notation is ambiguous, the question has no meaning! For instance, if you're looking at the limit of sequences

[tex]A_1=\left( a, b \right) [/tex]
[tex]A_2=\left( a, a+\frac{1}{2}(b-a) , b \right) [/tex]
[tex]A_3 = \left( a, a+\frac{1}{3}(b-a) , a+\frac{2}{3}(b-a), b \right) [/tex]
[tex]A_4 = \left( a, a+\frac{1}{4}(b-a) , a+\frac{2}{4}(b-a), a+\frac{3}{4}(b-a), b \right) [/tex]
[tex]A_x = \left( a, a+\frac{1}{x}(b-a), ..., a+\frac{x-1}{x}(b-a), b \right) [/tex]

Then the limit we're looking at is for all purposes
[tex]\begin{align*} \lim_{q \rightarrow + \infty}A_x &= \lim_{q \rightarrow + \infty}\left( a, a+\frac{1}{q}(b-a), ..., a+\frac{q-1}{q}(b-a), b, 0, 0, 0, 0, 0... \right) \\
&= (0,0,0,0,0...)\\
&=\mbox{nada} \end{align}[/tex]
(regardless of whether q is restricted to rationals or not).

If you're looking at the sets
[tex]S_q=\{ a+\frac{n}{q} (b-a) | n \in \mathbb{N}, 0 \leq n \leq q \} [/tex]
then the limit does not exist, no matter how you attempt to define 'limits' of a sequence of sets (a tortured definition, no doubt). This is obvious if you consider that for any q and
[tex]S_q=\{ a+\frac{n}{q} (b-a) | n \in \mathbb{N}, 0 \leq n \leq q \}[/tex],
you can find any number of q' > q such that
[tex]S_{q'}= \{ a+\frac{n}{q'} (b-a) | n \in \mathbb{N}, 0 \leq n \leq q' \} [/tex]
is a 'completly different set' (in qualitive terms); for instance, you can find a q' relatively prime to q; then the two sets would be almost disjoint (the intersection would be {a,b}). For example,
[tex]S_{4}=\{ a,a+\frac{1}{4} (b-a), a+\frac{2}{4} (b-a), a+\frac{3}{4} (b-a), b\} [/tex]
[tex]S_{5}=\{a,a+\frac{1}{5} (b-a), a+\frac{2}{5} (b-a), a+\frac{3}{5} (b-a), a+\frac{4}{5} (b-a), b\}[/tex]
[tex]S_{4} \cup S_{5} = \{ a,b\} [/tex]
[tex]S_{400} \cup S_{401} = \{ a,b\} [/tex]
etc.

There is no reasonable way to define 'convergence' to get the S's to converge to anything.

Or you could extend your definition with a set union over a sequence of rationals 1/n, like I did in my previous post. That would give you Q.
 
Last edited by a moderator:
  • #23
TenaliRaman
644
1
bomba923 said:
By the Cauchy definition of a limit of a sequence:
"[tex] A_n [/tex] has limit [itex] L [/itex] if [tex] \exists \,\varepsilon > 0 [/tex] such that [itex] \forall n > {\text{N}} [/itex], [tex] \left| {A_n - L} \right| < \varepsilon [/tex] ."

I suppose your "extreme end values" are just values of [tex] A_n [/tex], for any [itex] n > N [/itex] ??
Yes.

Never seen this notation; what does it mean? (the set of reals exclusively between zero and one??)
Almost yes, it means union over all x in (0,1), one could specify "x in (0,1) and x in Q" but since you already declared x being in Q, i felt it unnecessary to repeat there.

(Just because it doesn't seem right does not make it wrong or any less right, unless you show mathematically why it is incorrect.)
I can see why you are using the limit notation and i believe its because, we are used to this language of speech when talking of limits (of a sequence say)
x approaches 0 (from right side) means x takes values of 0.5,0.1,0.01 and so on towards zero and we see that eventually all elements of the sequence get as close as we want to the limit.
This process however is an inituitive way of looking at limits, however its not the standard way of specifying values of x as you have done. Anyone looking at your notation, first hand, may not even realize what it means. Thats why my suggestion of the use of union.

Simply replace your "lim as x->0" with "union over all x in (0,1) and x rational" and what you are suggesting seems perfectly clear.

-- AI
P.S -> Apparently, i only had problems with your notation, but i do maintain that since x is specified as rational, your idea does generate all rationals (between a and b that is).
 
  • #24
At least we agree:

TenaliRaman said:
Simply replace your "lim as x->0" with "union over all x in (0,1) and x rational" and what you are suggesting seems perfectly clear.
rachmaninoff said:
[tex] \lim_{n \rightarrow + \infty} \bigcup_{m \in \{1,2...n\} } S(1/m) = \mathbb{Q} \cap [a,b] [/tex].

The 'union' set operator is essential here. Clearly,

[tex]\lim_{n \rightarrow + \infty } S(1/n) [/tex]

is undefined.
 
  • #25
EnumaElish
Science Advisor
Homework Helper
2,327
124
From rachmaninoff:
[tex]\begin{align*} \lim_{q \rightarrow + \infty}A_x &= \lim_{q \rightarrow + \infty}\left( a, a+\frac{1}{q}(b-a), ..., a+\frac{q-1}{q}(b-a), b, 0, 0, 0, 0, 0... \right) \\&= (0,0,0,0,0...)\\&=\mbox{nada} \end{align}[/tex]
In fact, with your (technically correct) usage of limits,
[tex]\begin{align*} \lim_{q \rightarrow + \infty}A_x &= \lim_{q \rightarrow + \infty}\left( a, a+\frac{1}{q}(b-a), ..., a+\frac{q-1}{q}(b-a), b\right) \\&= (a,a,...,a,b,...,b,b)\\&=\{a,b\} \end{align}[/tex]
 
  • #26
[tex]\begin{align*} \lim_{q \rightarrow + \infty}A_x &= \lim_{q \rightarrow + \infty}\left( a, a+\frac{1}{q}(b-a), ..., a+\frac{q-1}{q}(b-a), b\right) \\&= (a,a,...,a,b,...,b,b)\\&=\{a,b\} \end{align}[/tex]

Actually it's not that, nothing converges to b anywhere. It's just
(a, a, a, a...) all the way through. Also, you can't interchange a sequence with a set, it's nonsensical.

-rachmaninoff
 
  • #27
EnumaElish
Science Advisor
Homework Helper
2,327
124
rachmaninoff said:
Actually it's not that, nothing converges to b anywhere. It's just
(a, a, a, a...) all the way through. Also, you can't interchange a sequence with a set, it's nonsensical.

-rachmaninoff
[tex]\lim_{q \rightarrow + \infty}\left[a+\frac{q-1}{q}(b-a)\right]=a+(b-a)\lim_{q \rightarrow + \infty}\frac{q-1}{q}=a+(b-a)\times 1 = b,[/tex] n'est pas?
 
  • #28
TenaliRaman
644
1
hmm?
Consider (q-q/2)/q = 1/2
a+(1/2)(b-a) = (a+b)/2, shouldn't this be in the list too
how abt (q-q/3)/q = 2/3
a+(2/3)(b-a) = (a+2b)/3, shouldn't this be in the list too
Some more bizarre results are in the offing too :biggrin:
Ofcourse we are dragging the idea of "limit of a sequence" rather too far out of track here. :rolleyes:

rachmaninoff said:
At least we agree:
Oh yes we do. :wink:

-- AI
 
  • #29
EnumaElish said:
[tex]\lim_{q \rightarrow + \infty}\left[a+\frac{q-1}{q}(b-a)\right]=a+(b-a)\lim_{q \rightarrow + \infty}\frac{q-1}{q}=a+(b-a)\times 1 = b,[/tex] n'est pas?

That's exactly the problem - the limiting sequence does not contain things like (q-1)/q (as I've said repeatedly, it's ill-defined). That would be tantamount to an infinite sequence having a final element (the one after (q-1)/q)).
 
  • #30
EnumaElish
Science Advisor
Homework Helper
2,327
124
rachmaninoff said:
That's exactly the problem - the limiting sequence does not contain things like (q-1)/q (as I've said repeatedly, it's ill-defined). That would be tantamount to an infinite sequence having a final element (the one after (q-1)/q)).
I know you are technically correct. But I cannot get rid of the feeling that your objection is like saying 1 [itex]\ne[/itex] 0.999... for the reason that "one would never get to the last 9." I know intuition can give you the wrong answer, this must be one of those times.
 
  • #31
I know you are technically correct. But I cannot get rid of the feeling that your objection is like saying 1 LaTeX graphic is being generated. Reload this page in a moment. 0.999... for the reason that "one would never get to the last 9." I know intuition can give you the wrong answer, this must be one of those times.

Yes, it's one of those times. :tongue2:
 
  • #32
bomba923
760
0
*As for intuition, not quite sure...
but here's the short history of that rational sequence problem:
--I was browsing aimlessly around a math office in some university,
and saw some chart with sets/comics on it. The next thing I know,
I'm helping someone with unrelated power series questions. Before leaving,
the person asked me where I was born, and later handed me a small
(poorly handwritten) tag, with the statement:
**\
[tex] \forall \left\{ {k_1 ,k_2 , \ldots ,k_n } \right\} \subset \mathbb{Q}\,,\;\exists \,\varepsilon > 0\;{\text{such that }}\forall n \in \mathbb{N}\,, [/tex]
[tex] \left\{ {k_1 ,k_2 , \ldots ,k_n } \right\} \subseteq \min \left\{ {k_1 ,k_2 , \ldots ,k_n } \right\} + \varepsilon \left\{ {0,1,2, \ldots ,\left\lfloor {\frac{{\operatorname{range} \left\{ {k_1 ,k_2 , \ldots ,k_n } \right\}}}
{\varepsilon }} \right\rfloor } \right\} [/tex]
(where the "range" is just the range of this set, max-min that is)
-------------------------------------------------------------------
*Anyway, the notation was a bit funky (or poorly written?)...but then I got this "idea"
(well, actually :frown:, I thought of both naturals and rationals being [itex] \aleph _0 [/itex], and then got this
crazy idea represented below, using the [itex] n \in \mathbb{N} [/itex])
-Oh well, here goes :frown::
*Let
[tex] \begin{gathered}
a = \min \left\{ {k_1 ,k_2 , \ldots ,k_n } \right\} \hfill \\ b = \max \left\{ {k_1 ,k_2 , \ldots ,k_n } \right\} \hfill \\ \end{gathered} [/tex]
In addition, let [itex] \left\{ {k_1 ,k_2 , \ldots ,k_n } \right\} [/itex] represent all of the rationals in [tex] \left[ {a,b} \right] [/tex].

!--So basically, the idea was to figure out if the statement would still apply, in the above case.
(I think you can figure out what mean by this "statement application")
-------------------------------------------------------------------
The next thing to do was to post it on PF! :smile: (hey, I even recommended the guy to sign up, but he doesn't know me and I think got sort of scared...but that doesn't matter)
(*In conclusion, I'm quite surprised that this thread got almost 700 views. ..well, a surprise only for me :redface:)
So um, what say you guys?
 
Last edited:
  • #33
It's already been shown that that statement doesn't hold in the infinite case. The finite case is essentially just a way of saying every finite set of integers has a common multiple (so that the 1/n 's have a common denominator).
 
  • #34
EnumaElish
Science Advisor
Homework Helper
2,327
124
rachmaninoff said:
It's already been shown that that statement doesn't hold in the infinite case.
Well, since that was in a math dept. I guess I'd have to agree with rachmaninoff here. Had you said CS dept., for example, and put the question as

"can one generate progressively bigger sets of rationals in any interval using this algorithm, all the way to infinity?"

then the answer would be affirmative. Would you get to infinity? No. With an infinite amount of time, would a parallel quantum super bio-computer get there? No.
 
  • #35
bomba923
760
0
EnumaElish said:
Well, since that was in a math dept. I guess I'd have to agree with rachmaninoff here. Had you said CS dept., for example, and put the question as

"can one generate progressively bigger sets of rationals in any interval using this algorithm, all the way to infinity?"

then the answer would be affirmative.

Yes, !Indeed!:approve:
** That should have been the question:biggrin:!
:smile: hehe / (I'm referring to the "all the way to infinity" part!)

(*-And, I am sorry :frown: )
Oh, what's the 'CS'-department?
 
Last edited:

Suggested for: Rational Sequence?

  • Last Post
Replies
3
Views
329
  • Last Post
Replies
2
Views
346
  • Last Post
Replies
1
Views
433
  • Last Post
Replies
14
Views
712
  • Last Post
Replies
4
Views
724
  • Last Post
Replies
1
Views
517
Replies
1
Views
195
  • Last Post
Replies
20
Views
1K
Replies
1
Views
334
  • Last Post
Replies
1
Views
592
Top