The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: ran(EF) contains ~EF(n)
Replies: 9   Last Post: May 1, 2013 10:16 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
William Elliot

Posts: 2,637
Registered: 1/8/12
Re: ran(EF) contains ~EF(n)
Posted: May 1, 2013 12:22 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Tue, 30 Apr 2013, Ross A. Finlayson wrote:
> On Apr 30, 8:34 pm, William Elliot <> wrote:

> "EF_d(n) is n/d for 0 <= n/d <= 1 for natural integers n, d, as d goes
> to infinity."

EF, or f for short, isn't a function, it's a group of functions f_d
with the property, f_d(n) = n/d provided n <= d. Thus to make some
sense of you hand waving:

For d in N, f_d is a function from { 1,2,.. d } into [0,1]
that maps n to n/d.

How are you defining f = lim(d->oo) f_d. Pointwise?
Then f(n) = lim(d->oo) n/d = 0, except that f_d isn't defined
for all n in N.

So you'e defining f_d to be over N mapping n to min{ n/d, 1 }.
Thus f(n) = lim(d-oo) min{ n/d, 1} = 0 for all n in N.

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.