Showing posts with label 0^0. Show all posts
Showing posts with label 0^0. Show all posts

Thursday, August 20, 2009

Proofs of of div-by-zero and 0^0

Ok. I'm refreshed and I've had a few new thoughts on how to pursue this topic. I have been noticing that people seem to use patterns as proof that 2^0 = 1. Defining exponents as repetitive multiplication, and multiplication as repetitive addition, it would seem that 2^0 is undefined:

2^3 = 2 * 2 * 2 = (2+2)+(2+2) = 8
2^2 = 2 * 2 = (2+2) = 4
2^1 = 2 = 2 = 2
2^0 = = = ???
2^-1= 1/2 = 1/2 = 1/2

Although the empty product would explain it as:

2^3 = 1 * 2 * 2 * 2 = 1*((2+2)+(2+2)) = 8
2^2 = 1 * 2 * 2 = 1* (2+2) = 4
2^1 = 1 * 2 = 1* (2) = 2
2^0 = 1 = 1 = 1
2^-1= 1 * 1/2 = 1* (1/2) = 1/2

But when considering 0^0, the empty product would say:
0^3 = 1 * 0 * 0 * 0 = 1*0 = 0
0^2 = 1 * 0 * 0 = 1*0 = 0
0^1 = 1 * 0 = 1*0 = 0
0^0 = 1 = 1 = 1
0^-1= 1 * 1/0 = 1*0 = 0 <-- ?

Also defining 0^0 as equal to 1.

Now, the 0^-1 leads to the div-by-0 question, especially 0/0?
Using the pattern, x/x = 1 for all x, why wouldn't 0/0 be 1? x/x, for every number, even those infinitely close to 0 (Lim x->0), yields 1, yet not 0, which leaves an undefined point on the graph.

The same argument is used for z^0 = 1(where z not equal 0). I use z here since I'm talking about a graph and want the exponent to be the x axis for clarification. The graph of z^x looks like it would go right through 1 (except for z=0) there for it must go through 1, right? Well, we know that, just because something seems like it should be, doesn't make it so, but let's go with it for the time being.

If that is the case, then let's consider all z for z^x from inf as it approaches 0. When z = inf, z^x = inf for all positive x and infinitely close to 0 for all negative x. Does it equal 1 when x = 0?

As z falls from inf and approaches 1, the exponential curve broadens until, at z=1, it becomes a perfectly horizontal line at y=1. As z continues down from 1 towards 0, the curve changes so that the negative exponents increase towards infinity, and the positives fall towards 0. When we are infinitely close to z=0, we have the mirror of z=inf, so what about when z = 0?

0^x represents the true impulse function. It is 0 for all x's except x=0 where it equals 1.

0^0 is 1, unless all other x^0 are also considered undefined. We have a choice to either use the empty product or not.

Now, going back to div-by-zero; 0 can divide 0 into 0 parts evenly. My friend Mal made the next logical leap: 0 can not divide 1 evenly into 0 parts, there for the answer is 0 remainder 1. Here's a few examples:

3/0 = 0 reaminder 3
2/0 = 0 reaminder 2
1/0 = 0 reaminder 1
0/0 = 0 reaminder 0 or 1 remainder 0
-1/0 = 0 reaminder -1

This is supported by the long division process:
_00_
0 ) 10
0
----
10
0
----
10

Let's follow the procedure in words:
The first question can be phrased a couple of ways: "How many times can 0 go into 1?", but also "How many parts can 0 divide 1 into evenly?"
One might think the answer is infinity, or 0, but 0 is the only correct answer, and here's why. Zero represents nothing. Even if you chopped 1 into an infinite number of pieces, there would still be pieces, not nothing, so the answer is simply, you can not divide 1 into 0 parts which means that the answer to put above the 1, is 0.
Doing the remainder for the first part, we subtract off 0*0, which leaves 1. Bring down the next most significant digit, the 0, and now we have to divide 10, in its entirety, by zero. Well, the same logic applies as before. 10 can not be divided by 0, so a 0 goes above the 0 also. That completes the quotient part of the process, and now we have to determine how we want to handle the remainder. The remainder is 10, so we can either put that into fraction form (10/0) or we can continue the division process into the decimal places, which would yield infinite 0's.

Let's look at it a different way. Mal described div-by-zero as removing pennies from a pile on a table. I would like to use the examples of pies. When you serve pie, you divide it up and put it onto plates to be served. If you have one pie, and 3 people want it, each plate will get 1/3 of the pie put on their plate. If two people wanted the pie divided between them, then 1/2 the pie would be removed from the pie pan and placed on 1 plate and the other 1/2 would be put on a second plate.

Now here is were an interesting concept get's introduced, the remainder. If only 1 person wanted 1/2 the pie, then 1/2 the pie would be taken out of the pie pan and placed on the plate, leaving 1/2 remaining in the pan. What ever is left in the pan after the pie is divided represents the remainder.

So next comes the idea that no one wants any pie. No pie will be removed from the pie pan and put onto 0 plates. The answer to 1 pie divided for zero servings is 0 servings with 1 whole pie remaining, thus 1/0 = 0 remainder 1. This applies to 2 pies, three pie and even x number of pies divided into 0 servings.

The debatable point to this pattern of x/0 = 0 remainder x, is that of the infamous 0/0. 0*0 = 0 therefore 0/0 = 0, but x/x = 1 therefore 0/0=1. Is one right, is neither right, or are both right? The rules of math must evenly apply to all aspects of math, ultimately, without exception. This then says that the rules of multiplication and division must be followed, and the statement x/x = 1 is a pattern, not a rule. This ultimately tells us that 0/0 = 0 remainder 0, and that x/x is an inverse impulse function. It is 1, everywhere except x=0.

But what does that remainder do for math? Well, let's look at another principle of math:

2/4 = 1/(4/2)

This is provable. I'm using easily divisible numbers so the proof to follow doesn't get huge:
2/4 = 1/4 = 0.5

and:
1/(4/2) = 1/(2/1) = 1/2 = 0.5

so what about 0/1?
0/1 = 1/(1/0) = 1/(0 remainder 1) = 0

This tells us that the remainder is meaningless. Perhaps this falls into the realm of imaginary numbers, or something very much like it.

So, if x/0 is now defined, then 0^x is defined for all x's, even negatives:
0^1 = 1 * 0 = 1*0 = 0
0^0 = 1 = 1 = 1
0^-1= 1 * 1/0 = 1*(0+1/0) = 0
0^-2= 1 * 1/(0*0) = 1*(0+1/0) = 0
0^-3= 1 * 1/(0*0*0) = 1*(0+1/0) = 0

Monday, August 17, 2009

The foundations of math or "Bunches of something different than nothing"

I'm taking a quick detour to explore the foundations of math. It seems that there is something that isn't settling right, and I have to make sure I understand it before I go on.

I'll just tell you this came from 0^0 debate. Is it 0, 1, undefined, indefinite, or what?

So I started to work through what exponents are. Seems easy enough; exponentiation is the multiplication of multiplication. So:

2^3 = 2 * 2 * 2 = (2 * 2) * 2 = 8

To sum it up better, x^y says multiply x against itself y times. Like in the example, you multiplied two against two and then again against two.

OK, but then what does multiplication mean? Well, multiplication is short hand notation for adding a number to itself so many times, right?

2 * 3 = 2 + 2 + 2 = 6

so we can expand our exponent example (above) to be:

2^3 = 2 * 2 * 2 = (2 * 2) * 2 = (2 + 2) + (2 + 2) = 8

Wow, That's so neat. But what is addition?

...

Um, OK, that's a little harder to explain. It's like making something more than it was, right?

2 + 2 = 4

So 4 is 2 more that 2. But 2 is pretty abstract. What is 2? Well, 2 is 2. This is why they teach kindergartners about apples. :(

But using apples, we can say that 2 apples is 2 more than no apples. That would insinuate that 1 apple is 1 more than no apples and no apples is just no apples. So, numbers, such as 2, are the change from nothing. (i.e. there was nothing and now there is 2 is more than nothing)

Now, what about -1 apples? Well, then that would mean you have less than nothing or a hole has formed in the universe and made a trans dimensional/temporal crack and the whole thing is going to collapse in on itself!

...

Or, it means that 0 isn't always really nothing. Maybe 0 can just be the status quo, and when there isn't anything to relate the status quo to, them 0 is actually nothing. So I guess that would mean that numbers are a change from 0, which is a change from the status quo, which may be nothing.

That would define numbers to have the following format:

0+2

That says 2 more than nothing and:

0+2 -1 = 0+1

says 2 more than nothing is the status quo, and there is 1 less than that.

Seems like boring stuff, but really, this is going some place. There is a raging debate about what 0^0 means, and if I want to know what the answer is, we have to understand the very fundamentals of math.

So now we have a good understanding of numbers, and numbers them selves are addition, as we saw in the last example. Next on the list is to understand multiplication:

2*2 = (0+2) * 2 = (0+2) + (0+2) = 4

What does that mean? The parenthesis makes them look like groups, kinda like what we learned in kindergarten. 2 apples and 2 more apples is a total of 4 apples. So that's saying 1 group of 2 apples was combined with another group of 2 apples to make 4 apples. so the multiplier is really just saying how many groups of the same size/content we have. Like this:

2*2 + 3*2 = (0+2) * 2 + (0+3) * 2 = (0+2) + (0+2) + (0+3) + (0+3) = 10

Imagine if that were 2 groups of 2 apples and 2 groups of 3 sticks. Well, you would have 10 things, but you would still have 4 apples and 6 sticks, so we have to group things that are the same, and bunched the same way. This leads to a new form for numbers:

1*(0+2)

which says "There is 1 group of 2 things". Addition works on changing the contents of a group, and multiplication works on grouping groups.

So let's look at the special cases:

1*(0+0) = 1 bunch of nothing:
How can you have a bunch of nothing? Let's do an experiment. Actually go and get me 1 bunch of apples that have no apples more than nothing in them. You can't, but conceptually, you brain is capable of conjuring into existence a bunch of something that has nothing in it. Your brain is capable of storing part of a fact and waiting for the rest to be filled in, and this skill has granted us the ability to abstract nothing into something.

Example: If I tell you you have a bunch of apples, you brain might draw up the mental image of a wicker basket full of apples. Now, when I tell you your bunch of apples has no apples in it, your brain suddenly empties the basket and you can see to the bottom of the basket. Your brain still holds onto the basket as the symbol for the bunch of apples that doesn't exist.

1*(0+1) = 1 bunches of 1 more than nothing:
One bunch of a thing is easy to physically manifest. You have 1 bunches of 1 more than 0 keyboards connected to your computer. That makes sense; you have 1 thing that actually exists as a single group.

0*(0+0) = 0 bunches of nothing:
This is also pretty easy; You have no groups of nothing. It simply doesn't exist in any fashion.

0*(0+1) = 0 bunches of 1 more than nothing:
This a bit odder again. Let's play that little mental game like we did before. So, I tell you to group the apples into groups of 1 (set them by themselves), but then I tell you there are zero groups. Well, how can you group nothing together? It's like the first special case. Your brain can abstract the idea, but it would be an impossible task to actually do.

So what do we do from here? Do we let our brains play these games, or do we stick to what we can physically accomplish? We could call these odd ball cases undefined, but the math community has decided to accept them as equal to nothing, making the answer to 3 out of the 4 cases 0. But that's OK, because it seems reasonable. 0 groups of any size still means the group never existed, which means there is nothing.

Additionally, multiple groups of nothing makes some sense. If I have nothing and you have nothing, then there are 2 nothings, right? That would make 2 bunches of nothing, and nothing is nothing more than nothing.

So what about exponential and 0^0?

2^3 = 2*(2*(0+2)) = 1*(1*(0+2) + 1*(0+2)) + 1*(1*(0+2) + 1*(0+2)) = 1*(1*(0+2) + 1*(0+2) + 1*(0+2) + 1*(0+2)) = 8

(I have to admit. I'm getting tired, so the writing may not be as good).

This is saying to do a lot of adding. Take a bunch of 2 more than nothing and double it, and then double it again. As the equation was expanded, parenthesis were added to show grouping.

Now imagine 1^3, That says you have 1 group of 1 bunch of 1 more than 0. How about 0^3? That says you have 0 groups of 0 groups of nothing more than nothing.

So here comes the million dollar question: What about 0^0? That would say, following the convention that multiplication is compounded addition and exponents are compounded multiplications, I don't know what to say here.

As far as this would suggest, 0^0 is simply 0, but we will keep exploring...