Infinity

For the discussion of math. Duh.

Moderators: gmalivuk, Moderators General, Prelates

idontknow4231
Posts: 17
Joined: Fri Oct 24, 2008 5:50 am UTC

Infinity

Postby idontknow4231 » Thu Feb 04, 2010 1:45 am UTC

Infinity has always bothered me, but also fascinated me. From holes in graphs in higher algebra, now to limits as x approaches infinity in calculus.

My question comes with ln(x). Everyone agrees that there is no limit as ln(x) approaches infinity, that it reaches infinity. But I was thinking about it the other day, and largest value my calculator can calculate, 9x10^99, roughly, was only equal to 230 when plugged into ln(x)!

This got me thinking, ln(x) grows so slowly, how can it ever really reach infinity? It seems like the distance between each whole number, represented by e^x, would get to be infinity long before ln(x) does. I know in the end infinity will win out, and I'll have to accept it, but has anyone else pondered this? Or can anyone just show me some way really quickly?

Just for fun, I checked on wolframalpha, and the ln(googol^googol) was only 2.5*10^102 or so, using over a googolplex.

I just can't comprehend it I guess.

User avatar
t0rajir0u
Posts: 1178
Joined: Wed Apr 16, 2008 12:52 am UTC
Location: Cambridge, MA
Contact:

Re: Infinity

Postby t0rajir0u » Thu Feb 04, 2010 1:58 am UTC

All the logarithm does is basically bring down the exponent. So if you want to convince yourself that the logarithm really does go to infinity, use the values [imath]x = e, e^e, e^{e^e}, e^{e^{e^e}}, ...[/imath].

In general, just because something goes to infinity doesn't mean it does so quickly. For example, the inverse Ackermann function goes to infinity but is, for all practical purposes, at most 5.

lightvector
Posts: 224
Joined: Tue Jun 17, 2008 11:04 pm UTC

Re: Infinity

Postby lightvector » Thu Feb 04, 2010 2:05 am UTC

What it means for f(x) to approach infinity as x approaches infinity, is that for any bound M, no matter how large, f(x) will eventually exceed M (and remain larger than M thereafter).

So why does ln(x) approach infinity as x approaches infinity? Simple. For any M, ln(x) will exceed M once x exceeds e^M, since ln(x) is the inverse of e^x.

For instance, it becomes bigger than 3 starting after x = e^3, which is about 20.09. It becomes bigger than 1000 when x > e^1000. It will become bigger than 100^(100^(100^100)) once x > e^(100^(100^(100^100))). Clearly, it will surpass any finite bound.

User avatar
Qaanol
The Cheshirest Catamount
Posts: 3069
Joined: Sat May 09, 2009 11:55 pm UTC

Re: Infinity

Postby Qaanol » Thu Feb 04, 2010 2:53 am UTC

If [imath]y = \ln(x)[/imath] then [imath]x = e^y[/imath].
wee free kings

Syrin
Posts: 290
Joined: Thu May 24, 2007 7:10 pm UTC
Location: Ontario, Canadia

Re: Infinity

Postby Syrin » Thu Feb 04, 2010 3:23 am UTC

That's just the normal infinity. That one's no fun. The fun ones are the cardinalities.

User avatar
jestingrabbit
Factoids are just Datas that haven't grown up yet
Posts: 5967
Joined: Tue Nov 28, 2006 9:50 pm UTC
Location: Sydney

Re: Infinity

Postby jestingrabbit » Thu Feb 04, 2010 8:27 am UTC

idontknow4231 wrote:stuff


By the change of base formula, ln(x) = log10(x)/log10(e). If 10k-1< x < 10k then k-1 < log10(x) < k, and so

log10(e)(k-1) < ln(x) < log10(e) k.

Now, C=log10(e) is just a number (about 2.30258509...) and if you look at that inequality, then you can pretty quickly work out that if x has k digits in its representation before the decimal point, then ln(x) will be a little less than C*k, so, you wrote that you could get a number with ln(x) = 230 in your calculator, and from this I know that you can get about 10^100 in your machine.

So that's really what's going on. ln is growing at about 2.3 times the number of digits to the left of the decimal point.

btw, from the fact that ln(ab) = b ln(a), you can pretty quickly come to a precise expression for ln(googol^googol), which is C*10^102. Not sure what happened to alpha on that one.
ameretrifle wrote:Magic space feudalism is therefore a viable idea.

Token
Posts: 1481
Joined: Fri Dec 01, 2006 5:07 pm UTC
Location: London

Re: Infinity

Postby Token » Thu Feb 04, 2010 8:50 am UTC

jestingrabbit wrote:btw, from the fact that ln(ab) = b ln(a), you can pretty quickly come to a precise expression for ln(googol^googol), which is C*10^102. Not sure what happened to alpha on that one.

I'm guessing the OP just misremembered the number after the decimal point. Wolfram Alpha gives the correct answer when I try it.
All posts are works in progress. If I posted something within the last hour, chances are I'm still editing it.

User avatar
andrewxc
Posts: 223
Joined: Tue Sep 09, 2008 2:39 am UTC
Location: Savage, MD

Re: Infinity

Postby andrewxc » Thu Feb 04, 2010 12:26 pm UTC

OP: This is similar to the way that x = y^2 will yield an x-limit of infinity as y approaches infinity. The parabola will approach infinity in the x-direction "much more quickly" and with evermore increasing quickness than it will approach infinity in the y direction, but as the other posters stated, if you pick any number as your input, you will get a real, distinct output.

Also as was stated above, if ln(x) has a limit, then so should its inverse function, e^x.
"We never do anything well unless we love doing it for its own sake."
Avatar: I made a "plastic carrier" for Towel Day à la So Long and Thanks for All the Fish.

DavCrav
Posts: 251
Joined: Tue Aug 12, 2008 3:04 pm UTC
Location: Oxford, UK

Re: Infinity

Postby DavCrav » Thu Feb 04, 2010 2:09 pm UTC

andrewxc wrote:Also as was stated above, if ln(x) has a limit, then so should its inverse function, e^x.


I might be wrong, but if [imath]\ln(x)[/imath] has a limit, wouldn't that mean that [imath]\mathrm{e}^x[/imath] attained infinity at a finite value, so wouldn't be defined after a certain point? A bit like [imath]\tan(x)[/imath].

hawkmp4
Posts: 232
Joined: Sun Oct 18, 2009 10:44 pm UTC
Location: Colorado, US

Re: Infinity

Postby hawkmp4 » Thu Feb 04, 2010 5:27 pm UTC

DavCrav wrote:
andrewxc wrote:Also as was stated above, if ln(x) has a limit, then so should its inverse function, e^x.


I might be wrong, but if [imath]\ln(x)[/imath] has a limit, wouldn't that mean that [imath]\mathrm{e}^x[/imath] attained infinity at a finite value, so wouldn't be defined after a certain point? A bit like [imath]\tan(x)[/imath].

Yes. If [imath]\lim_{x \to \infty} \ln(x) = c[/imath], where c is some finite number...
Put both sides to the power of e. Since e^x is continuous, you can move the limit out of the exponent on the right side and you have...
[imath]\lim_{x \to \infty} x = \mathrm{e}^c[/imath]
Which is clearly not true.
Computer Science: A place to discuss the spirituality of Pornography Storage Apparatuses and programs, from algorithms to computability.

Formal proofs preferred.

User avatar
minno
Posts: 152
Joined: Fri Jul 31, 2009 11:33 pm UTC
Location: Where you least expect it.

Re: Infinity

Postby minno » Thu Feb 04, 2010 9:37 pm UTC

The annoying thing about infinity is that it really isn't a definite number. For example, as x -> infinity, both y = x and y = x^2 approach infinity, but x never approaches x^2. You can't treat infinity like it's the same number in all contexts.
If you fight fire with fire, you'll get twice as burned.

User avatar
andrewxc
Posts: 223
Joined: Tue Sep 09, 2008 2:39 am UTC
Location: Savage, MD

Re: Infinity

Postby andrewxc » Fri Feb 05, 2010 3:26 am UTC

minno wrote:The annoying thing about infinity is that it really isn't a definite number. For example, as x -> infinity, both y = x and y = x^2 approach infinity, but x never approaches x^2. You can't treat infinity like it's the same number in all contexts.

Technically, x^2 approaches infinity faster than x, but there is no way to distinguish between them "at infinity", because they have no value.
"We never do anything well unless we love doing it for its own sake."
Avatar: I made a "plastic carrier" for Towel Day à la So Long and Thanks for All the Fish.

hawkmp4
Posts: 232
Joined: Sun Oct 18, 2009 10:44 pm UTC
Location: Colorado, US

Re: Infinity

Postby hawkmp4 » Fri Feb 05, 2010 3:33 am UTC

What about [imath]\displaystyle\lim_{x \to \infty} \frac{x^2}{x}[/imath]? That gives a perfectly good distinction between the functions' behaviour as they grow without bound.
Computer Science: A place to discuss the spirituality of Pornography Storage Apparatuses and programs, from algorithms to computability.

Formal proofs preferred.

User avatar
t0rajir0u
Posts: 1178
Joined: Wed Apr 16, 2008 12:52 am UTC
Location: Cambridge, MA
Contact:

Re: Infinity

Postby t0rajir0u » Fri Feb 05, 2010 4:49 am UTC

Paradoxes only happen if you think of infinity as a number. It's much more satisfying, and much more relevant to modern mathematics, to think of infinity as a place. Different functions get there at different speeds. Why is that concept difficult to swallow?

User avatar
Dason
Posts: 1311
Joined: Wed Dec 02, 2009 7:06 am UTC
Location: ~/

Re: Infinity

Postby Dason » Fri Feb 05, 2010 5:37 am UTC

t0rajir0u wrote:Paradoxes only happen if you think of infinity as a number. It's much more satisfying, and much more relevant to modern mathematics, to think of infinity as a place. Different functions get there at different speeds. Why is that concept difficult to swallow?

Hey guys. Party... be there. Where? Why it's at infinity of course. See ya there!
double epsilon = -.0000001;

AllSaintsDay
Posts: 35
Joined: Thu Aug 28, 2008 1:01 am UTC

Re: Infinity

Postby AllSaintsDay » Fri Feb 05, 2010 5:58 am UTC

Dason wrote:
t0rajir0u wrote:Paradoxes only happen if you think of infinity as a number. It's much more satisfying, and much more relevant to modern mathematics, to think of infinity as a place. Different functions get there at different speeds. Why is that concept difficult to swallow?

Hey guys. Party... be there. Where? Why it's at infinity of course. See ya there!

You just know that 1/n (log n)( log log n) is going to show up "fashionably late."

mike-l
Posts: 2758
Joined: Tue Sep 04, 2007 2:16 am UTC

Re: Infinity

Postby mike-l » Fri Feb 05, 2010 3:47 pm UTC

AllSaintsDay wrote:You just know that 1/n (log n)( log log n) is going to show up "fashionably late."


log log n is always less than 8... at least so I hear :)
addams wrote:This forum has some very well educated people typing away in loops with Sourmilk. He is a lucky Sourmilk.

User avatar
doogly
Dr. The Juggernaut of Touching Himself
Posts: 5538
Joined: Mon Oct 23, 2006 2:31 am UTC
Location: Lexington, MA
Contact:

Re: Infinity

Postby doogly » Fri Feb 05, 2010 4:46 pm UTC

It certainly can reach infinity, but it is interesting that any positive power of x will always beat it, regardless of what it is, and x^(-a)ln(x) will go to zero no matter how tiny a positive number a is. The divergence of the logarithm at 0 is also fun - it is so close to behaving, and yet not quite. This makes them interesting in quantum field theory, for example, where the degree of divergence actually matters. We do tricks like subtract infinity from infinity and get an answer like the mass of the electron. There are also a lot of pure math areas where people care about the degree of singularity in a problem; I think some geometers care, but it's mostly analysts, whom I do not so frequently talk to. But I can prove they exist! [Which is about all they can do for me when I ask them questions :wink: ]
LE4dGOLEM: What's a Doug?
Noc: A larval Doogly. They grow the tail and stinger upon reaching adulthood.

Keep waggling your butt brows Brothers.
Or; Is that your eye butthairs?

mike-l
Posts: 2758
Joined: Tue Sep 04, 2007 2:16 am UTC

Re: Infinity

Postby mike-l » Fri Feb 05, 2010 4:49 pm UTC

doogly wrote:It certainly can reach infinity, but it is interesting that any positive power of x will always beat it, regardless of what it is, and x^(-a)ln(x) will go to zero no matter how tiny a positive number a is. The divergence of the logarithm at 0 is also fun - it is so close to behaving, and yet not quite. This makes them interesting in quantum field theory, for example, where the degree of divergence actually matters. We do tricks like subtract infinity from infinity and get an answer like the mass of the electron. There are also a lot of pure math areas where people care about the degree of singularity in a problem; I think some geometers care, but it's mostly analysts, whom I do not so frequently talk to. But I can prove they exist! [Which is about all they can do for me when I ask them questions :wink: ]


Geometers don't believe in e^x or ln x.
addams wrote:This forum has some very well educated people typing away in loops with Sourmilk. He is a lucky Sourmilk.

Tirian
Posts: 1891
Joined: Fri Feb 15, 2008 6:03 pm UTC

Re: Infinity

Postby Tirian » Fri Feb 05, 2010 5:48 pm UTC

t0rajir0u wrote:Paradoxes only happen if you think of infinity as a number. It's much more satisfying, and much more relevant to modern mathematics, to think of infinity as a place.


I think it's best to stop thinking of infinity as a single thing. There are many of them that actually are numeric in nature, like [imath]\omega[/imath], [imath]c[/imath], and [imath]\aleph_0[/imath]. And then there is [imath]\infty[/imath], which isn't so much a number except where it is formally defined in the theory of complex functions (and even then it isn't really really a number). When one says [imath]lim_{n\rightarrow\infty}ln(x)=\infty[/imath], it's just shorthand for saying that the natural limit grows without bound as x becomes arbitrarily large. It's kind of useful but also kind of unfortunate that it's the same notation that we use for limits involving actual numbers, but you shouldn't infer from that that [imath]\infty[/imath] actually is a number.

kevmus
Posts: 56
Joined: Wed Apr 22, 2009 2:35 am UTC

Re: Infinity

Postby kevmus » Sat Feb 13, 2010 9:59 pm UTC

The simple (not-completely-mathematically-sound) way to look at it:

Log10(x) rounded down plus one is the number of digits x has.

If you raise x enough, the numbers of digits x has will always keep increasing. If you raise x to a limit of infinity, then x will have infinite digits.

Therefore, logs go to infinity as x goes to infinity.

User avatar
minno
Posts: 152
Joined: Fri Jul 31, 2009 11:33 pm UTC
Location: Where you least expect it.

Re: Infinity

Postby minno » Sun Feb 14, 2010 12:48 am UTC

The easiest way to think of a limit of [imath]\infty[/imath] at [imath]\infty[/imath] is to think of it as a contest. If someone challenges you to say something like, "I bet you can't make ln(x) bigger than 100", then you can say "anything bigger than e100 works" and win. The limit is [imath]\infty[/imath] at [imath]\infty[/imath] if the second person can always win, no matter what the first person says.
If you fight fire with fire, you'll get twice as burned.

User avatar
kaimason1
WINNING
Posts: 298
Joined: Thu Oct 22, 2009 5:05 am UTC
Location: See avatar.

Re: Infinity

Postby kaimason1 » Tue Feb 16, 2010 8:03 pm UTC

Infinity, as many have stated, is merely a concept. It represents no number, although larger numbers tend to work quite well to estimate it in context (in quickly limiting functions, 100 can work fine, while googol may be good for 1/x).
SexyTalon wrote:If it walks like a person, talks like a person, and tastes like a person, it's probably a person. Or I Can't Believe It's Not People, which cannibals prefer to Soylent Green nearly 5 to 1 in a blind taste test.

User avatar
doogly
Dr. The Juggernaut of Touching Himself
Posts: 5538
Joined: Mon Oct 23, 2006 2:31 am UTC
Location: Lexington, MA
Contact:

Re: Infinity

Postby doogly » Tue Feb 16, 2010 8:12 pm UTC

mike-l wrote:
doogly wrote:It certainly can reach infinity, but it is interesting that any positive power of x will always beat it, regardless of what it is, and x^(-a)ln(x) will go to zero no matter how tiny a positive number a is. The divergence of the logarithm at 0 is also fun - it is so close to behaving, and yet not quite. This makes them interesting in quantum field theory, for example, where the degree of divergence actually matters. We do tricks like subtract infinity from infinity and get an answer like the mass of the electron. There are also a lot of pure math areas where people care about the degree of singularity in a problem; I think some geometers care, but it's mostly analysts, whom I do not so frequently talk to. But I can prove they exist! [Which is about all they can do for me when I ask them questions :wink: ]


Geometers don't believe in e^x or ln x.


I am not sure why you would say this.
LE4dGOLEM: What's a Doug?
Noc: A larval Doogly. They grow the tail and stinger upon reaching adulthood.

Keep waggling your butt brows Brothers.
Or; Is that your eye butthairs?

mike-l
Posts: 2758
Joined: Tue Sep 04, 2007 2:16 am UTC

Re: Infinity

Postby mike-l » Tue Feb 16, 2010 9:11 pm UTC

doogly wrote:
Geometers don't believe in e^x or ln x.


I am not sure why you would say this.


It was a joke, e^x and ln x are not algebraic functions.
addams wrote:This forum has some very well educated people typing away in loops with Sourmilk. He is a lucky Sourmilk.

hawkmp4
Posts: 232
Joined: Sun Oct 18, 2009 10:44 pm UTC
Location: Colorado, US

Re: Infinity

Postby hawkmp4 » Tue Feb 16, 2010 9:13 pm UTC

minno wrote:The easiest way to think of a limit of [imath]\infty[/imath] at [imath]\infty[/imath] is to think of it as a contest. If someone challenges you to say something like, "I bet you can't make ln(x) bigger than 100", then you can say "anything bigger than e100 works" and win. The limit is [imath]\infty[/imath] at [imath]\infty[/imath] if the second person can always win, no matter what the first person says.

I like this explanation. It's a good way to describe to people the concept of making a function arbitrarily large. Thanks! I'll use this when helping teach a Calc 1 workshop I do for a job.
Computer Science: A place to discuss the spirituality of Pornography Storage Apparatuses and programs, from algorithms to computability.

Formal proofs preferred.

User avatar
doogly
Dr. The Juggernaut of Touching Himself
Posts: 5538
Joined: Mon Oct 23, 2006 2:31 am UTC
Location: Lexington, MA
Contact:

Re: Infinity

Postby doogly » Tue Feb 16, 2010 9:23 pm UTC

The exponential map is highly important in any sort of differential geometry. I suppose they are less common in algebraic geometry, but although you can't do as much algebra with non-algebraic functions, you can ask the super interesting questions "what does algebra teach about analysis" and the reverse, which makes it perhaps more interesting to me than is warranted. And I was probably just being unfortunately humorless, but in my defense it was the morning. And I like transcendental curves.
LE4dGOLEM: What's a Doug?
Noc: A larval Doogly. They grow the tail and stinger upon reaching adulthood.

Keep waggling your butt brows Brothers.
Or; Is that your eye butthairs?

User avatar
snowyowl
Posts: 464
Joined: Tue Jun 23, 2009 7:36 pm UTC

Re: Infinity

Postby snowyowl » Wed Feb 17, 2010 7:56 pm UTC

Back to the OP, you remind me of what my director of studies told me about a candidate he had interviewed (too see if the candidate was good enough to study at the university). He asked the candidate to sketch the graph of a certain function (which one is not important). The candidate drew it wrong. After trying to find out where the candidate was going wrong, the director of studies asked him to sketch the graph y=e^x. The student drew a reasonably accurate sketch, but with a vertical asymptote at x=99. The supervisor asked why there was an asymptote there. The candidate said "Because my calculator gives an error if I try to work it out".

He didn't get in.
The preceding comment is an automated response.

mike-l
Posts: 2758
Joined: Tue Sep 04, 2007 2:16 am UTC

Re: Infinity

Postby mike-l » Thu Feb 18, 2010 2:19 pm UTC

doogly wrote:The exponential map is highly important in any sort of differential geometry. I suppose they are less common in algebraic geometry, but although you can't do as much algebra with non-algebraic functions, you can ask the super interesting questions "what does algebra teach about analysis" and the reverse, which makes it perhaps more interesting to me than is warranted. And I was probably just being unfortunately humorless, but in my defense it was the morning. And I like transcendental curves.


Yes, it was just a (weak) joke.
addams wrote:This forum has some very well educated people typing away in loops with Sourmilk. He is a lucky Sourmilk.

User avatar
minno
Posts: 152
Joined: Fri Jul 31, 2009 11:33 pm UTC
Location: Where you least expect it.

Re: Infinity

Postby minno » Fri Feb 19, 2010 1:39 am UTC

hawkmp4 wrote:
minno wrote:The easiest way to think of a limit of [imath]\infty[/imath] at [imath]\infty[/imath] is to think of it as a contest. If someone challenges you to say something like, "I bet you can't make ln(x) bigger than 100", then you can say "anything bigger than e100 works" and win. The limit is [imath]\infty[/imath] at [imath]\infty[/imath] if the second person can always win, no matter what the first person says.

I like this explanation. It's a good way to describe to people the concept of making a function arbitrarily large. Thanks! I'll use this when helping teach a Calc 1 workshop I do for a job.


I can't claim credit for this explanation, but I also can't remember who I heard it from. Just spread it on, the more people that know it the better.
If you fight fire with fire, you'll get twice as burned.

mike-l
Posts: 2758
Joined: Tue Sep 04, 2007 2:16 am UTC

Re: Infinity

Postby mike-l » Fri Feb 19, 2010 5:29 pm UTC

minno wrote:
hawkmp4 wrote:
minno wrote:The easiest way to think of a limit of [imath]\infty[/imath] at [imath]\infty[/imath] is to think of it as a contest. If someone challenges you to say something like, "I bet you can't make ln(x) bigger than 100", then you can say "anything bigger than e100 works" and win. The limit is [imath]\infty[/imath] at [imath]\infty[/imath] if the second person can always win, no matter what the first person says.

I like this explanation. It's a good way to describe to people the concept of making a function arbitrarily large. Thanks! I'll use this when helping teach a Calc 1 workshop I do for a job.


I can't claim credit for this explanation, but I also can't remember who I heard it from. Just spread it on, the more people that know it the better.


I like to explain epsilon-delta proofs in this way as well, I heard it first from a colleague, no clue where he heard it from or if he just made it up, but it tends to help! Existentials and Universals are confusing at first, it's nice whenever you can find a nice way of explaining it.
addams wrote:This forum has some very well educated people typing away in loops with Sourmilk. He is a lucky Sourmilk.

AllSaintsDay
Posts: 35
Joined: Thu Aug 28, 2008 1:01 am UTC

Re: Infinity

Postby AllSaintsDay » Fri Feb 19, 2010 10:42 pm UTC

Image


Return to “Mathematics”

Who is online

Users browsing this forum: No registered users and 3 guests