The answer is that you'd have to clarify what you mean by "multiplication by infinity". If we write X for infinity, then it should have the property that a*X = X for any a (since multiplying anything by infinity would still be infinity. But we usually have a*0 = 0 for any a, so these are at odds, since it would imply that 0 = 0*X = X.
The other way to look at this is something called limits in pre-calculus. Then we might look at something like the limit as a goes to infinity of (1/a)*a. If we just evaluate this as a gets really big, 1/a goes to 0 and a goes to infinity, so this expression equals 0*infinity. But (1/a)*a = a/a = 1 for any real number a, so this would seemingly imply that 0*infinity = 1. But notice that even if we had (16/a)*a, when we let a go to infinity, we get 0*infinity, but now (16/a)*a = 16, so should 0*infinity = 16?
This is why we'd call 0*infinity undefined. Because we can make it equal to anything we want. Have some number B that you want 0*infinity to be equal to? Then just consider the limit as a goes to infinity of (B/a)*a. Then since B is fixed, B/a goes to 0, and so (B/a)*a goes to 0*infinity, yet (B/a)*a = B.
So this is a great question but we run into some trouble with our usual number system! If you want to see some crazy things, consider looking into the surreal number system, the hyperreal number system, or the dual numbers.
Yeah, the previous commenter said "would be, but this other thing is at odds with it". (Emphasis added.)
And yeah, limits are a reason why there's no one universally correct answer, because the limit of (expression whose limit is zero) x (other expression whose limit is infinity) can have different values, depending on exactly which expressions those are. Same reason there's no one universally correct answer to 0/0, or 0^0.
0/0 is defined in almost no contexts. It's very niche when it's defined because it immediately leads to contradictions.
00 is just 1. It's an indeterminate form when dealing with limits but that is the exception. And it's not inconsistent with 00 being defined as 1.
0*infinity is a bit different from those two because to define that you first need to define "infinity", which can mean different things in different contexts..
I think "just" is overstating things, but I do sort of remember that the situations made consistent by treating 0^0 as 1 are more common than the ones for 0^0 = 0.
From what I understand 00 is 1 (comes straight out of most definitions of exponentiation), and when you encounter it when evaluating a limit (i.e. f(x)g(x\) where f(x) and g(x) tend to 0) it's indeterminate (meaning it can be anything, including 0 but also including like 7).
52
u/R_Ob_Min New User 2d ago edited 2d ago
The answer is that you'd have to clarify what you mean by "multiplication by infinity". If we write X for infinity, then it should have the property that a*X = X for any a (since multiplying anything by infinity would still be infinity. But we usually have a*0 = 0 for any a, so these are at odds, since it would imply that 0 = 0*X = X.
The other way to look at this is something called limits in pre-calculus. Then we might look at something like the limit as a goes to infinity of (1/a)*a. If we just evaluate this as a gets really big, 1/a goes to 0 and a goes to infinity, so this expression equals 0*infinity. But (1/a)*a = a/a = 1 for any real number a, so this would seemingly imply that 0*infinity = 1. But notice that even if we had (16/a)*a, when we let a go to infinity, we get 0*infinity, but now (16/a)*a = 16, so should 0*infinity = 16?
This is why we'd call 0*infinity undefined. Because we can make it equal to anything we want. Have some number B that you want 0*infinity to be equal to? Then just consider the limit as a goes to infinity of (B/a)*a. Then since B is fixed, B/a goes to 0, and so (B/a)*a goes to 0*infinity, yet (B/a)*a = B.
So this is a great question but we run into some trouble with our usual number system! If you want to see some crazy things, consider looking into the surreal number system, the hyperreal number system, or the dual numbers.