Is Zero Raised to the Power of Zero Equal to One?

  • Context: High School 
  • Thread starter Thread starter The Rev
  • Start date Start date
Click For Summary

Discussion Overview

The discussion centers on the mathematical expression of zero raised to the power of zero (0^0) and whether it should be defined as 1, 0, or left undefined. Participants explore various perspectives on the implications of this expression in different mathematical contexts, including series expansions, limits, and the properties of exponents.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that 0^0 should be defined as 1 for notational convenience in series and other mathematical contexts.
  • Others argue that 0^0 is undefined or indeterminate, particularly in the context of limits approaching (0,0).
  • One participant mentions that empty products are defined as 1, suggesting this supports defining 0^0 as 1.
  • Another viewpoint is that while x^0=1 for x≠0, the case for 0^0 is different due to the inability to divide by zero.
  • Some participants highlight that the limit of x^y as (x,y) approaches (0,0) does not converge to a single value, complicating the definition of 0^0.
  • There are claims that defining 0^0 as 1 is useful for simplifying expressions in power series and binomial expansions.
  • Counterexamples are presented to challenge the idea that limits involving 0^0 always yield 1.
  • Some participants express frustration over the repeated questioning of this topic, indicating it is a common point of contention.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the value of 0^0, with multiple competing views remaining. Some advocate for it being defined as 1, while others maintain it is undefined or should be treated differently than other exponentiation cases.

Contextual Notes

The discussion reveals limitations in the definitions and assumptions surrounding exponentiation, particularly regarding the continuity of operations at (0,0) and the implications of treating 0^0 as either 1 or undefined.

  • #61
mathelord said:
but 0 time sany number whatever it is give 0 right
What has ab got to do with multiplying so many times when b is not a natrual number?
 
Physics news on Phys.org
  • #62
mathelord said:
but 0 time sany number whatever it is give 0 right
There isn't any number log(0)
 
  • #63
log 0 is not a number
 
  • #64
i am sure this is right
set y= x^x
y=e^(x Ln[x])
lim[y,x,0]=lim[e^(x Ln[x]),x,0]
since it is continuous, it produces e^(lim[x Ln[x], x, 0]) = e^0 = 1
 
  • #65
That's (almost) correct; \lim_{x \rightarrow 0^+} x^x = 1.
 
  • #66
Hurkyl said:
That's (almost) correct; \lim_{x \rightarrow 0^+} x^x = 1.
Although perhaps their proof only covered that it's also true that \lim_{x \rightarrow 0^-} x^x = 1
 
  • #67
Zurtex said:
Although perhaps their proof only covered that it's also true that \lim_{x \rightarrow 0^-} x^x = 1

What is true is that xx is not defined for negative x so that doesn't even make sense.
 
  • #68
HallsofIvy said:
What is true is that xx is not defined for negative x so that doesn't even make sense.
\left( -\frac{1}{2} \right)^{-\frac{1}{2}} = -i \sqrt{2}

o:)

A couple years back the function xx I loved studying, the properties of the function I really enjoy.
 
Last edited:
  • #69
You're talking about a different x^x function. :biggrin:
 
  • #70
arildno said:
Note that we may approach 0^{0} in the following manner, by letting x go to 0 from the positive side:

f(x)=(e^{-\frac{1}{x}})^{\alpha{x}}

But, evidently, we have f(x)=e^{-\alpha}
In this case therefore, we have \lim_{x\to0}f=e^{-\alpha}

Interesting, but I'm not sure if f(x) = exp(-a) in the limit as x->0, because there's a 0/0 in the exponent.
I would say 0^0 is undefined, mainly because one can get different answers by attacking from different angles:

<br /> \lim_{x \rightarrow 0} 0^x = 0<br />

<br /> \lim_{x \rightarrow 0} x^x = 1<br />

The second I know how to prove with logs, the first I trust the arguments
given. Also, the proof of the second involves l'hospital's rule, which only
gives limits, not exact values. For instance,

<br /> \lim_{x \rightarrow 2} (x-2)/(x-2)(x+3) = 1/5<br />

but if one were to define that as a function f(x), f(2) is undefined.
In conclusion, I would say treat 0^0 much as 0/0, basically by taking
limits when it comes up.
 
  • #71
No, no you've misunderstood me (due to an omission I made).
I've said that the LIMIT of f is equal to e^{-\alpha}; I've not stated that f has been defined at x=0; that is; I should have written:
f(x)=e^{-\alpha},x\neq{0}
sorry about that one..
 
  • #72
BoTemp said:
Interesting, but I'm not sure if f(x) = exp(-a) in the limit as x->0, because there's a 0/0 in the exponent.

x/x=1 for all non-zero x. It's a limit, so we don't actually care what happens at x=0, just near it.

f(x)=(e^{-\frac{1}{x}})^{\alpha{x}}=e^{-\alpha}

for all x>0, so the limit in question is e^{-\alpha}
 
  • #73
BoTemp was right in critizing me, shmoe; I hadn't made the proper restriction on x.
 
  • #74
How you stated it is fine to me, you were talking about a right hand limit. There's no reason for anyone to assume (or even care) if your function was defined at 0.
 
  • #75
i agree that 0^0= 1

a^x= 1/(a^(-x))

if a=x=0 then there is no way that 0^0= 0 because we'll have 0=infinite(1/0)
 
  • #76
if a=x=0 then there is no way that 0^0= 0 because we'll have 0=infinite(1/0)

No, there's no way that 0^0 = 0 because 0^0 is undefined.


If you like heuristic reasoning from identities, what about 0^x = 0?
 
  • #77
I don't think of 0 as being in the same number system as anything else really. It's more of a concept like infinity.

So you really can't do all of the same math with 0 as you can with other numbers. 0^0 makes no sense. Nor would log(0).

LOL... that's so funny... where I listed ['tex'] 0^0 [/'tex'] it put "infinity".

EDIT: And now it's back to 0^0. Hmmm...
 
Last edited:
  • #78
So you really can't do all of the same math with 0 as you can with other numbers.

You meant arithmetic. :-p And that comes directly from the definitions -- division is defined for any nonzero denominator.

Incidentally, though, for each operation which is undefined at zero (such as 1/x), there's a corresponding operation which is undefined at one. (such as 1/(x-1)) So, in a very real sense, you can do exactly as much with zero as you can do with any other real number.
 
  • #79
Hurkyl said:
No, there's no way that 0^0 = 0 because 0^0 is undefined.


If you like heuristic reasoning from identities, what about 0^x = 0?


0^x = 0

defined: for all x > 0
undefined: for all x < 0, x = 0
 
  • #80
Wait! Did someone already do this?

0 \approx (1/\infty) Not quite; but approximately.

1/(1/\infty) \longrightarrow (1/1)/(1/\infty) \longrightarrow (\infty/1) * (1/1) \longrightarrow \infty*1 = \infty

Though 0 is a little less than 1/\infty. So what value is it really?
 
Last edited:
  • #81
As far as math teachers are concerned, you may safely assume 0^0 = 1 (/End deliberate hand-waving mode). As a precaution, most documents or proofs that require its use (most that I've seen, anyway) will still explicitly state it as a useful interpretation before applying it.
 
Last edited:
  • #82
Rahmuss said:
Wait! Did someone already do this?

0 \approx (1/\infty) Not quite; but approximately.

1/(1/\infty) \longrightarrow (1/1)/(1/\infty) \longrightarrow (\infty/1) * (1/1) \longrightarrow \infty*1 = \infty

Though 0 is a little less than 1/\infty. So what value is it really?
You are wrong \frac{1}{\infty} does not make sense for real numbers as \infty is not an element of the real number set. As for sets in which it does exist, you need to learn their axioms and not assume that they are the same as the real numbers (otherwise they would be the real numbers).
 
  • #83
hurkyl 0^x=0 if x is different from 0

0^m*0^-m=0^0=1

or as i said before a^x=1\(a^(-x)) so if a=x=0 this means

0^0= 1\(0^(-0))
in this case 0^0 should b equal to one

x^0= 1 even for x=0
 
  • #84
Sabine said:
0^m*0^-m=0^0=1


If you look very carefully you've just divided by zero: one of m or -m is negative (i'm assuming integral exponent)
 

Similar threads

  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 23 ·
Replies
23
Views
2K
  • · Replies 40 ·
2
Replies
40
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
899
Replies
6
Views
2K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K