Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


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

Topic: e^x , Limits and Exponentiation in Non-Standard Reals.
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
gk@gmail.com

Posts: 134
Registered: 11/12/12
e^x , Limits and Exponentiation in Non-Standard Reals.
Posted: Feb 10, 2013 6:01 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Hi, All:

I'm trying to see how to approach the exponential e^x , where we define:

e^x := lim_n-->oo ( 1+ x/n )^n (##)

Now, let's consider the NS Reals R* as equivalence classes in R^N (real-valued

sequences) by an ultrafilter. Can we meaningfully substitute the n above in

(## ) by some infinite hyperreal , say, y ? If so, does the result depend

on the choice of infinite hyperreal?

The addition and quotient in (##) can be done relatively straightforward:


Define 1:= (1,1,1,....,1,....) ; x=(x,x,x,....,x,.... ) , and to

simplify , y has no zeros (as terms in the sequence repping the class of y),

but , as a sequence y=(y1,y2,....), goes to infinity, i.e., yn-->.oo as

n-->oo .

Then (1+x/y)^y becomes:

(1+ x/y_1 , 1+x/y^2 ,.......,1+x/y^n ,............ )^y (%%%)


Now, do we exponentiate term-by-term, i.e., is the expression (%%%)

above equivalent to :


( (1+x/y_1)^y_1 , (1+ x/y_2)^y_2,......., (1+x/y_n)^y_n,......) ?


I'm just not clear on how to approach "non-standard infinity" , does that

mean selecting any infinite hyperreal?

Thanks.




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

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.