Is 0^0 Equal to 1? An Explanation of Mathematical Concepts and Terminology

  • Thread starter coolul007
  • Start date
In summary, there is a convention that 0^0 is equal to 1, although it may not be well-defined in all cases. This convention is often used in mathematical proofs and allows for simplification and reduction of special cases. Some mathematicians argue that this convention is useful and makes sense in certain contexts, while others argue that it violates the rules of exponents. Ultimately, it is up to the individual mathematician to decide whether to use this convention or not.
  • #36
You can use taylor expansion to prove that 00 is one.

[tex](x+1)^{0}=1+\frac{f'(a)}{1!}(x-a)+\frac{f''(a)}{2!}(x-a)^{2}...[/tex]

x-a= 1
f'(a)= 0
f''(a)=0
.
.
.
So we take x=-1, and we get
00= 1+0+0...
= 1
As simple as that.
 
Mathematics news on Phys.org
  • #37
The evidence micromass pointed out is sufficient. The idea that [tex]0^{0}=0[/tex] doesn't make sense.

And,
[tex]\frac{1}{0^{2}}[/tex] is equal to infinity, without the need for limits.
 
  • #38
Ashwin_Kumar said:
You can use taylor expansion to prove that 00 is one.

You can never prove that 00=1. You can only define it as being 1, but you can never prove it.

Your Taylor series argument is merely an indication why it is sometimes useful to set 00=1, but it is no proof of it.
 
  • #39
Ashwin_Kumar said:
The evidence micromass pointed out is sufficient. The idea that [tex]0^{0}=0[/tex] doesn't make sense.

It does make sense. But it just isn't useful. (Except in studying limits of functions such as [itex]0^x[/itex]).


And,
[tex]\frac{1}{0^{2}}[/tex] is equal to infinity, without the need for limits.

Uuh, I was actually pointing out that this was not the case. You can not divide by zero.
 
  • #40
Oh- wait- no. Taylor expansion proves that 00 is infinity.

[tex]f'(a)=0^{-1}=\infty[/tex]

So we get [tex]0^{0}=\infty[/tex]
 
  • #41
Uuh, are you serious or just trolling??

Ashwin_Kumar said:
Oh- wait- no. Taylor expansion proves that 00 is infinity.

[tex]f'(a)=0^{-1}=\infty[/tex]

You can't divide by 0, and I have no clue what your f is...
 
  • #42
coolul007 said:
I'm to the point of leaving a forum/moderator that uses "power" to get his point across. Intellectual discourse is frowned upon, so adios, auswiedersehn.
And this is why I was closing the discussion. It isn't intellectual discourse to continually insist to others that mathematics should be practiced your way while simultaneously closing your mind to the how and why of mathematics is actually practiced. I put my moderator hat on not to get a point across, but because it's time to clean up.
 
  • #43
Let me start by saying I don't speak French. Pointing to an untranslated French paper has zero meaning to me.

Now, if the idea idea of 0^0 is mystifying to the average person, at what point can one expect to learn how to explain it? Don't say to use google, because it will immediately jump to a confusing answer, and even independent study needs a structure that provides necessary prerequisite knowledge. Just tell me to learn X, then Y, then finally Z
 
  • #44
Using, different methods, you get different results for 00
But micromass said you cannot divide a number by zero to get infinity(or am i mistaken). And way, you obviously can:

[tex]\frac{1}{0}=0^{-1}
=(\frac{x}{\infty})^{-1}=\frac{\infty}{x}=\infty[/tex]
 
  • #45
Ashwin_Kumar said:
Using, different methods, you get different results for 00

You can never obtain different results for 00, you can only define these results. There is no way you can write 00=1 or 00=infinity, with defining things that way. All we are doing here is setting a convention. You cannot prove anything about this.

But micromass said you cannot divide a number by zero to get infinity(or am i mistaken). And way, you obviously can:

[tex]\frac{1}{0}=0^{-1}
=(\frac{x}{\infty})^{-1}=\frac{\infty}{x}=\infty[/tex]

Sigh... Dividing by 0 is not allowed in the real numbers. Not now, not ever. And infinity is not a real number, so we can't work with that either.
 
  • #46
Ashwin_Kumar said:
Using, different methods, you get different results for 00
But micromass said you cannot divide a number by zero to get infinity(or am i mistaken). And way, you obviously can:

[tex]\frac{1}{0}=0^{-1}
=(\frac{x}{\infty})^{-1}=\frac{\infty}{x}=\infty[/tex]

No no no, you can't divide by 0. You can use limits like this
[tex]\lim_{x\rightarrow 0}{x^0}=
\lim_{x\rightarrow 0}{x^{n-n}}=\lim_{x\rightarrow 0}{\frac{x^n}{x^n}}=\lim_{x\rightarrow 0}1=1[/tex]
or like this
[tex]\lim_{x\rightarrow0}\left (e^{-\frac{1}{t}} \right )^t=\lim_{x\rightarrow0}e^{-\frac{t}{t}}=\lim_{x\rightarrow0}e^{-1}=\frac{1}{e}\approx 0.367879[/tex]
As you can see 0^0 varies depending the limit, therefore it is an inditerminate form
Without limits however, mathematicians avoid writing 0^0 because it rests undefined
 
Last edited:
  • #47
Okay, I've read all the posts and have tried to figure out the controversy of 0^0=1. From what I understand (correct me if I'm wrong), but it seems that 0^0 is actually indeterminate, but the general consensus is that defining 0^0=1 makes things easier in some ways, but it violates some rules somehow.

I'm no mathematician (I'm an engineer), so why is it convenient to define it this way? I guess I'm trying to figure out what problems arise if we didn't say that 0^0=1.

P.S. I'm not trying to beat a dead horse or rile things up, but I'm trying to learn more about this interesting topic.
 
  • #48
timthereaper said:
Okay, I've read all the posts and have tried to figure out the controversy of 0^0=1. From what I understand (correct me if I'm wrong), but it seems that 0^0 is actually indeterminate, but the general consensus is that defining 0^0=1 makes things easier in some ways, but it violates some rules somehow.

That's a very good summary!

I'm no mathematician (I'm an engineer), so why is it convenient to define it this way? I guess I'm trying to figure out what problems arise if we didn't say that 0^0=1.

Well, for example in Taylor series. The Taylor series of ex is

[tex]e^x=1+x+\frac{x^2}{2}+\frac{x^3}{3!}+...[/tex]

No problems so far, but if we want to write it more compactly, we get

[tex]e^x=\sum_{k=0}^{+\infty}{\frac{x^k}{k!}}[/tex]

However, when we evaluate this in 0 (thus if we want to evaluate e0), then we get 00 in the first term. That is:

[tex]e^0=\frac{0^0}{0!}+\frac{0^1}{1!}+\frac{0^2}{2!}+...[/tex]

Now the conventions 0!=1 and 00=1 are handy because they allow us to calculate e0=1 (which we already knew to be true).
If we didn't set 00=1, then we would had to write

[tex]e^x=1+\sum_{k=1}^{+\infty}{\frac{x^k}{k!}}[/tex]

which is less elegant. So you see, we only define 00=1, because it is sometimes more elegant to do so. We won't create new mathematics with it, we won't run into problems with it, it just makes things nicer.

In a way, it's the same thing as setting 0!=1. This is just a handy convention that makes a lot of things easier. But setting 0!=2 would have been as good, but it would make the formula's uglier...
 
  • #49
micromass said:
That's a very good summary!



Well, for example in Taylor series. The Taylor series of ex is

[tex]e^x=1+x+\frac{x^2}{2}+\frac{x^3}{3!}+...[/tex]

No problems so far, but if we want to write it more compactly, we get

[tex]e^x=\sum_{k=0}^{+\infty}{\frac{x^k}{k!}}[/tex]

However, when we evaluate this in 0 (thus if we want to evaluate e0), then we get 00 in the first term. That is:

[tex]e^0=\frac{0^0}{0!}+\frac{0^1}{1!}+\frac{0^2}{2!}+...[/tex]

Now the conventions 0!=1 and 00=1 are handy because they allow us to calculate e0=1 (which we already knew to be true).
If we didn't set 00=1, then we would had to write

[tex]e^x=1+\sum_{k=1}^{+\infty}{\frac{x^k}{k!}}[/tex]

which is less elegant. So you see, we only define 00=1, because it is sometimes more elegant to do so. We won't create new mathematics with it, we won't run into problems with it, it just makes things nicer.

In a way, it's the same thing as setting 0!=1. This is just a handy convention that makes a lot of things easier. But setting 0!=2 would have been as good, but it would make the formula's uglier...

Same goes with the taylor expansion of [tex]\frac{1}{1-x}=\sum_{n=0}^{\infty}x^n[/tex]

Generally, If we define [tex]0^0\neq1[/tex] most of the Taylor-Mc Laurin expansions and some other power series would not be well defined since
[tex]f(x)=\sum_{n=0}^{\infty}\frac{f^{(n)}(0)}{n!}x^n[/tex]

Lastly the function [tex]f(x)=x^0[/tex] would be "deprived" of its continuity and differentiability
 
Last edited:
  • #50
3.1415926535 said:
Lastly the function [tex]f(x)=x^0[/tex] would be "deprived" of its continuity and differentiability

That's not really an argument, since now the function

[tex]f(x)=0^x[/tex]

get's deprived of its continuity and differentiability. :biggrin:
 
  • #51
Okay, I think I understand. It's an elegance thing. However, I thought that 0!=1 is true and not just defined that way. Maybe I'm wrong, but I thought the rule was n!=n*(n-1)! and if n=1, then 1!=1*0! and thus 0!=1.
 
  • #52
micromass said:
That's not really an argument, since now the function

[tex]f(x)=0^x[/tex]

get's deprived of its continuity and differentiability. :biggrin:

Haha:smile:

If we define [tex]0^0=1[/tex] then the function [tex]f(x)=x^0[/tex] is continuous and differentiable everywhere unlike the function [tex]g(x)=0^x[/tex]

If we define [tex]0^0=0[/tex] then the function [tex]g(x)=0^x[/tex] is continuous and differentiable everywhere unlike the function [tex]f(x)=x^0[/tex]

If we define [tex]0^0\neq1[/tex] and [tex]0^0\neq0[/tex] then none of the functions are continuous and differentiable everywhere! :wink:
 
  • #53
timthereaper said:
Okay, I think I understand. It's an elegance thing. However, I thought that 0!=1 is true and not just defined that way. Maybe I'm wrong, but I thought the rule was n!=n*(n-1)! and if n=1, then 1!=1*0! and thus 0!=1.

0! is defined as 1 in order to satisfy the rule you have written and because the Gamma Function [tex]\Gamma (x)=\int_{0}^{\infty}t^{x-1}e^{-t}dt=(x-1)![/tex] has a value 0!=Γ(1)=1
 
  • #54
Okay, so the n!=n*(n-1)! rule is something that we constructed *because* we defined 0!=1. However, I'm wondering if the Gamma function defines the factorial.
 
  • #55
timthereaper said:
Okay, so the n!=n*(n-1)! rule is something that we constructed *because* we defined 0!=1.

No, we constructed the rule because it is true for every natural number apart from 0 and so is the gamma function. Defining 0!=1 not only allows us to make more elegant formulas but also satisfies the two equalities mentionned above. Apart from that, I believe that the official definition of the factorial is the Gamma Function since it is not limited to natural numbers.
0! is officially defined as 1 because there are no problems with this unlike 0^0
 
  • #56
Okay...I think I got it. Thanks for all your help.
 
  • #57
Hmm, I don't think we defined 0!=1 because of the Gamma function. The convention 0!=1 was made before the Gamma function was introduced. But of course, seeing that the Gamma function agrees with our convention 0!=1 is reassuring.

Now, 0!=1 was mainly introduced to make formula's more elegant. For example:

[tex]\binom{n}{0}=\frac{n!}{0!(n-0)!}=\frac{1}{0!}[/tex]

Now, we want [itex]\binom{n}{0}[/itex] to denote the number of ways we can pick 0 numbers from a collection of n numbers. And we can do that in one way: picking nothing at all.

Another reason is because of the binomial theorem:

[tex](a+b)^n=\sum_{k=0}^n{\binom{n}{k}a^kb^{n-k}}[/tex]

if k=0, then we see [itex]\binom{n}{k}[/itex] appearing, and to make the formula work, we want to have [itex]\binom{n}{0}=1[/itex].

If we didn't define 0!=1, then we would have made the definition

[tex]\binom{n}{k}=\frac{n!}{k!(n-k)!}~\text{k nonzero and}~\binom{n}{0}=1[/tex]

which is certainly less elegant.

The same thing appears in why we defined 20=1, this is also a mere convention that is handy to make (and furthermore, it's a very cool convention because all the rules of exponentiation stay valied, unlike with 00=1).
 
  • #58
From hillzagold :
Let me start by saying I don't speak French. Pointing to an untranslated French paper has zero meaning to me.
I am so sorry ! I beg in two ways your pardon, since this is another very interesting paper :
http://forums.futura-sciences.com/mathematiques-superieur/166012-finir-0-0-a.html
I suppose that there are similar papers written in English. These papers are only compendiums of what is known for years. 0^0 is an hackneyed subject.
 
  • #59
coolul007 said:
and for those of us who don't read French?

hillzagold said:
Let me start by saying I don't speak French. Pointing to an untranslated French paper has zero meaning to me.

All right all you belly-achers, here is my humble attempt at a translation of JJacquelin's paper.

Now quit your griping and learn some French! :-p

JJacquelin, I hope you're OK with my translation. If not, PM me and I'll remove my post.
 

Attachments

  • zerothpower.pdf
    80.5 KB · Views: 291
  • #60
I hope you're OK with my translation.
I am very pleased with your translation which appears quite perfect.
I contact you by private message for acknowlegments.
 
  • #61
JJacquelin said:
I am very pleased with your translation which appears quite perfect.
I contact you by private message for acknowlegments.

Excellent work JJacquelin!:approve:
 
  • #62
Hi !
The paper, now entitled "Zéro Puissance Zero" & "Zero To Zeroth Power" has been updated with the spamiam's English translation. Pubished on Scribd : http://www.scribd.com/JJacquelin/documents
Thanks again,
JJ.
 
  • #63


jostpuur said:
Did you prove my equation for all [itex]0 < j < k[/itex] already? So that you can now complain about notational issue with [itex]0=j[/itex] and [itex]j=k[/itex] cases? :-p

But seriously... I just said that I define [itex]0^0[/itex] to be [itex]1[/itex]. Therefore [itex]0^0=1[/itex], by definition. OK? What do you think about dialogue like this:

Person A: "I have defined [itex]f[/itex] so that it is [itex]f(x)=x^2[/itex]"

Person B: "I see. I think I'm going to define [itex]f[/itex] so that [itex]f(x)=x^3[/itex]... What a minute! Did you just say that [itex]f(x)=x^2[/itex]? That's wrong! By (my) definition [itex]f(x)=x^3[/itex], and [itex]x^2\neq x^3[/itex]".

Person A: ":confused:"

Well, but actually you 0^0 is not 1 or 0. I mean, I thought it was interdeterminate?
:confused:
 
  • #64


dimension10 said:
Well, but actually you 0^0 is not 1 or 0. I mean, I thought it was interdeterminate?
:confused:
Viewing the expression [itex]0^0[/itex] as a limit form, it is indeed indeterminate.

But the math problem that spawned this thread was not about limit forms.
 
  • #65

[tex]\lim_{x \rightarrow 0} 0^x = 0[/tex]
[tex]\lim_{x \rightarrow 0} x^0 = 1[/tex]
[tex]0^0 = \text{indeterminate}[/tex]
 
Last edited:
  • #66
Orion1 said:

[tex]\lim_{x \rightarrow 0} 0^x = 0[/tex]
[tex]\lim_{x \rightarrow 0} x^0 = 1[/tex]
[tex]0^0 = \text{indeterminate}[/tex]

Indeed, when used as a limit form, it is indeterminate!
But when working with integer exponents only, then 00 is a convention that is often made!
 
  • #67
Orion1 said:

[tex]\lim_{x \rightarrow 0} 0^x = 0[/tex]
[tex]\lim_{x \rightarrow 0} x^0 = 1[/tex]
[tex]0^0 = \text{indeterminate}[/tex]

True.

But:

[tex]\lim_{x \rightarrow 0} x^x = 1[/tex]

and

[tex]| \emptyset^ \emptyset| =1[/tex] in set theory.

So in some contexts it makes perfect sense to take [tex]0^0 = 1[/tex] as a convention.

I believe these points have already been made several times in this thread.
 
  • #68


Let a be a number such that a^a=a/a

a^a=a/a
a^(a-1)=1/a
a^(a-1)=a^-1
a-1=-1
a=0.

Thus, 0^0=0/0. Since 0/0 is intedeterminate, 0^0 is intedeterminate. However, now we have more information. So, we can say:

0^5=1*0*0*0*0*0
0^4=1*0*0*0*0
0^3=1*0*0*0
0^2=1*0*0
0^1=1*0
0^0=1

Thus,

0^0=1.

However, with limits, it is both 0 and 1. But when we have more information, can't we claim it to be 1?
 
Last edited:
  • #69
Since this discussion will never end, we should settle on some compromise. So let's declare 0^0 = 1/2.
 
  • #70


dimension10 said:
0^5=1*0*0*0*0*0
0^4=1*0*0*0*0
0^3=1*0*0*0
0^2=1*0*0
0^1=1*0
0^0=1
This argument only makes sense if exponentiation is repeated multiplication. This is why the convention [itex]0^0=1[/itex] works very well when plugging 0 into a polynomial or Taylor series, because the exponentiation there is repeated multiplication. (and for the same reason it is often used in algebra and combinatorics)

However, the exponentiation operator on real numbers is not repeated multiplication, and continuity is rather important for calculus and real analysis, which is why real exponentiation leaves [itex]0^0[/itex] undefined.

Let a be a number such that a^a=a/a

a^a=a/a
a^(a-1)=1/a
a^(a-1)=a^-1
a-1=-1
a=0.
Ah, the classic fallacies of forgetting your hypotheses, and reversing the flow of logic.

The very premise of your problem requires a to be a positive number. (0 is not a positive number)

Also, what you have proved is
If a is a (positive) number satisfying [itex]a^a=a/a[/itex], then a = 0​
which is very different from
If a=0, then [itex]a^a = a/a[/itex].​
 

Similar threads

Replies
12
Views
741
Replies
66
Views
5K
Replies
1
Views
1K
Replies
1
Views
749
Replies
55
Views
4K
Replies
1
Views
832
Replies
14
Views
2K
Replies
9
Views
1K
Back
Top