Rational Sequence?

  • Thread starter bomba923
  • Start date
732
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:

rachmaninoff

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?
 
732
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:
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
 
732
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:
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
 
732
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:

rachmaninoff

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.
 
732
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:

rachmaninoff

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 lets 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
 

rachmaninoff

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:

EnumaElish

Science Advisor
Homework Helper
2,285
123
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.
 

rachmaninoff

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:
732
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:

rachmaninoff

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.
 
732
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?
 

rachmaninoff

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.
 
732
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:

rachmaninoff

!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:

EnumaElish

Science Advisor
Homework Helper
2,285
123
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:

EnumaElish

Science Advisor
Homework Helper
2,285
123
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]?
 

rachmaninoff

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:
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 realise 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).
 

rachmaninoff

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.
 

EnumaElish

Science Advisor
Homework Helper
2,285
123
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]
 

Related Threads for: Rational Sequence?

  • Posted
Replies
1
Views
686
Replies
13
Views
2K
Replies
2
Views
2K
Replies
10
Views
20K
Replies
1
Views
5K
  • Posted
Replies
10
Views
1K
  • Posted
Replies
9
Views
563
  • Posted
Replies
2
Views
2K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads

Top