(This is the promised analysis that have been delayed from posting due to busy uni life)
Pathological properties introduced if n/0 is allowed
It has been previously shown and proved that the reals (and complex numbers) does not fundamentally allow division by zero
For the purpose of the illustration of the pathological "can of worms" that division by zero can introduce, however, lets give the following definition:
Definition 1 said:
Let q be the only element ∉ C such that
q x 0 = 1
Using the definition of multiplicative inverse and Def 1
Definition 2 said:
For any number, a is a multiplicative inverse of b iff axb=bxa=1 and a is unique
q
should be an inverse of 0
Therefore q[sup]-1[/sup]=0
Other definitions and results that would be used in the illustration:
Definition 3 said:
A number a is an multiplicative identity iff axn=n and nxn[sup]-1[/sup]=a where n is any number
Proved result 1 said:
Property of 0 in the set C: 0xn=0 for any n∈C
Definition 4 said:
Property of 0 in the set C: 0xn=0 for any n∈C
Definition 5 said:
Commutative law for complex numbers: axb=bxa, a+b=b+a
Property 1: Multiplication of q is non associative
Assume we are given the following expression and were asked to evaluate it
qx0xn
If we consider
(qx0)xn
=1xn (Def 1)
=n (Def 3)
However if we consider this instead:
qx(0xn)
=qx0 (result 1)
=1 (Def 1)
Therefore multiplication involving q is non associative
we observed that
(qx0)xn=n but qx(0xn)=1, therefore we can apply a trick, inspired from the property of cross products
Reference 1 said:
One property of the cross product: axb=-bxa
and have the following definition
Definition 6 said:
Property of the multiplication of q:
(qx0)xn=nx(qx(oxn))
Property 2: Multiplication of q is non distributive
Consider
qx(0+0)
=qx(0x2)
=qx0 (Result 1)
=1 (Def 1)
Now consider
qx(0+0)
=qx0+qx0
=2
=/=qx0
Therefore multiplication of q is non distributive
Property 2 also highlighted the most disturbing property of division by zero (which compound with the observations in the the context of limits, result in it being undefined)
Property 3: "Spontaneous generation/Trivial Ring property"
Consider the following case again
qx0
By the property of the addition of real numbers and Result 1
qx0=qx(0+0+0+0+0+...)
Property 2 showed that
qx0=/=qx(0+0+0+0+0+...)
In addition
qx(0+0+0+0+0=...) = qx0+qx0+qx0+qx0+qx0+... = ???
Thus if the results of both sides are regarded as the same, then this implies the following disturbing fact
0=1=2=3=4=5=6=7=...
I.e. The entire complex numbers collapsed into the trivial ring (discussed earlier in another thread)
(This also explained why division by zero memes were often associated with black holes)
Conclusion: In order to define a sensible number system for division by zero, the following hurdles must be overcome:
1. Evaluate qx1, q+0, qxq, q+1
2. Fix property 3
3. Address and solve property 2 in detail
4. Proof or disprove that qxn=nxq (n∈C)
Again I must emphasize it is undefined anywhere in the reals, complex or possibly the quarternions (however I don't really have get into much detail with that yet)