Register to reply 
Zero raised to itselfby Shinobiku
Tags: raised 
Share this thread: 
#1
Nov303, 11:27 PM

P: 5

I was asked in another forum what zero raised to itself was. Any other number raised to zero equals one, but zero raised to any number equals 0. But what about zero itself. I already tried explaining it through thinking of zero as a limit of getting really small, but now this question has got me thinking. Any suggestions on how to think through this?



#3
Nov403, 03:06 AM

P: 1,210

Hi Shinobiku,
I think that to answer to your question, we have to examine the logic system itself. The most known logic system is the Boolean logic, which is based on 0 XOR 1 connective. Fuzzy logic is based on fading between 0 XOR 1. A nonBoolean logic is based on 0 AND 1. In Boolean or Fuzzy logic 0^0 is unknown because any base value is some cardinal X >= 0. Any cardinal X>0 is based on some nonempty set {x}, where cardinal X=0 is based on the empty set {}. So, what we have here is {x}^0 and {}^0. By Boolean and Fuzzy logic {x}^0=1, but {}^0 is not welldefined because it is based on no set's content. So, I think the answer to your question is beyond the limitations of Boolean and Fuzzy logic. What do you think? Organic 


#4
Nov403, 05:57 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,682

Zero raised to itself
Organic: Since you asked "what do you think", I think you chattered and chattered and finally said YOU were unable to answer the question.
The question is very simply answered: 0 to the 0 power is "undetermined" (that's an adjective: noun form is "indeterminant"). Notice that is NOT the same as saying "undefined". 1/0 is undefined because "1/0= x" is the same as "1= 0*x" which is untrue for all possible x. 0/0 is "undetermined" because "0/0= x" is the same as "0= 0*x" which is TRUE for all possible x. Another way of saying that is if we have f(x)>1, g(x)>0, then lim f(x)/g(x) does not exist while there are functions f(x)>0, g(x)>0 such that lim f(x)/g(x) exists and can be any given number. Similarly, given any number, we can find functions f(x)>0, g(x)>0 such that lim f(x)^{g(x)} exist and is equal to that number. 


#5
Nov403, 07:10 AM

P: 1,210

Hi HallsofIvy,
Thank you for your corrections about "1=0*x"(which is UNTRUE for all possible x) and "0=0*x"(which is TRUE for all possible x). What i mean is this: any nonempty set's content {x} which is some singleton, can be used as some base for x^0=1 where 1 means base value (some singleton) exists. In the case of the emptyset our content is NOTHING and by Boolean logic NOTHING^0 is gibberish. By nonBoolean logic we can define another set's content, wich is not {} ,not {.) (singleton) and not a collection of singletons {....}. This object has the ability to simultaneously be in two different states like > AND = ,0 AND 1, closed AND opened, and so on. Therefore it exists between any distinguished singletons as a nonlocalized object {.___.}. There are exactly 0 singletons in this object therefore its base value = 0, but because it exists ( unlike the empty set content, then __^0=1 or {__}^0=1, exactly as x^0=1 and {x}^0=1 in Boolean or Fuzzy logic. Organic 


#6
Nov403, 08:35 AM

P: 5

Alright, here's what i've come up w/ before i read anyones replies, which all had something to say, but left me w/ everyone saying it's indeterminate.
Let y = f(x)^g(x), take the ln of both sides ln(y) = ln(f(x)^g(x)) ln(y) = g(x)*ln(f(x)), now exponentiate both sides e^ln(y) = e^g(x) * e^ln(f(x)) y = f(x)*e^g(x), then take the limit as f(x)>0 and g(x)>0 y = 0*1 = 0 Can anyone see any flaws? Although I don't see anything wrong, it doesn't feel right to me. I believe this can only work if both f(x) and g(x) are finite polynomials. Any thoughts? EDIT: I just caught my own mistake (30 min. later) go back to the third line: ln(y) = g(x)*ln(f(x)), now take the limit as both f(x) and g(x)>0 I believe that ln(f(x)) approaches infinity faster than g(x) approaches 0. If so, then ln(y) = inf. but since this is a limit, then as ln(y) > inf., means that y > 0 But this depends on the rate at which g(x)>0 and ln(f(x))> inf. Any thoughts? 


#7
Nov403, 09:41 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,682

e^{ln(y)}= e^{g(x)*ln(f(x)} = e^{ln(f(x)^g(x))} or y= f(x)^{g(x)} which is exactly what you started with. 


#8
Nov403, 11:05 AM

P: 5

Plz notice the edit



#9
Nov403, 12:45 PM

Emeritus
Sci Advisor
PF Gold
P: 10,427

This thread was pointless after the second post.
 Warren 


#10
Nov403, 01:04 PM

P: 5

I don't really like the stuff i came up w/, i've asked some ppl at my college, as well as tested it in mathematica using different methods and this is what i've come up w/:
I'm just going to post here what i just posted in my other forum. I've talked w/ a friend of mine who is a math major (senior), and he likes to think of it as any number to the 0 power is the same as that number divided by itself, so a^1/a^1 = a^(11) = a^0 but in the case of zero, 0^1/0^1 is already indeterminate. That's one way to look at it. And then i went ahead and plugged a few things into mathematica: In[2]:= 0^0 Power::indet : Indeterminate expression 0.^0. encountered. Out[2]= Indeterminate In[3]:= Limit[x^x, x>0] Out[3]= 1 In[4]:= Table[{n,n^n},{n,.1,0,.01}]//TableForm Out[4]//TableForm= 0.10 0.794328 0.09 0.805159 0.08 0.817047 0.07 0.830151 0.06 0.844674 0.05 0.860892 0.04 0.879189 0.03 0.900147 0.02 0.924742 0.01 0.954993 0.00 Indeterminate So, from those 3 methods, it seems that it is apporoaching 1 as a solution 


#11
Nov403, 01:09 PM

Emeritus
Sci Advisor
PF Gold
P: 10,427

 Warren 


#12
Nov403, 02:26 PM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,682

Well, you're no fun at all!



#13
Nov403, 02:43 PM

P: 364




#15
Nov403, 04:22 PM

P: 5

Indeterminate does not mean there is no answer, it just implies that the current method is not suitable. Just because it is indeterminate does not imply there can be no discussion. If you don't like the topic, then there is no need for you to read it.
Stephen: From what i know, when something doesn't exist at a particular value, then for many purposes in mathematics, it is then appropriate to look at it's behavior in the limits that it approaches the value at which it does not exist. This said, the answer lies in what context the question is brought up, and what situation the solution would be used. 


#16
Nov403, 04:43 PM

Emeritus
Sci Advisor
PF Gold
P: 10,427

 Warren 


#17
Nov403, 06:33 PM

Emeritus
Sci Advisor
PF Gold
P: 16,091

I was trying to refrain from posting on this, but I couldn't resist.
0^0 is fairly ambiguous; there are lots of mathematican entities represented by '0', and '^' means different things in different contexts. The others have focused on the context of the form of limits in calculus. If you want to know: f(x)^g(x) as x → 0 where f(x) → 0 as x → 0 and g(x) → 0 as x → 0 then we have the indeterminate form 0^0, which means you have to do some more work to determine the answer. If we're talking about exponentiation over the real numbers, then 0^0 is undefined, not indeterminate. If we're talking about cardinal numbers, then 0^0 = 1, as can be verifed by direct computation. In fact, 0^x=1 for all cardinal numbers x. When working with polynomials (or power series), one often permits x^0 as a valid polynomial (or power series) which is defined to be a synonym for 1. This is occasionally written as "use the convention that 0^0 = 1" when evaluating polynomials (or power series). 


Register to reply 
Related Discussions  
Solving large #s raised to a large # with the mod function  Precalculus Mathematics Homework  1  
Mass of air leaving a room with temp raised.  Introductory Physics Homework  1  
Should the voting age be raised?  Current Events  56  
Modulos raised to phi  Introductory Physics Homework  1 