[Date Index]
[Thread Index]
[Author Index]
Re: Zero divided by a number...
*To*: mathgroup at smc.vnet.net
*Subject*: [mg51902] Re: Zero divided by a number...
*From*: "David W. Cantrell" <DWCantrell at sigmaxi.org>
*Date*: Thu, 4 Nov 2004 01:51:11 -0500 (EST)
*References*: <dz50uwrnio0u@legacy> <cm4qoc$6j6$1@smc.vnet.net> <200411020705.CAA21635@smc.vnet.net> <cm9vk0$8ns$1@smc.vnet.net>
*Sender*: owner-wri-mathgroup at wolfram.com
DrBob <drbob at bigfoot.com> wrote:
> > In Mathematica, it is _not_ true that "x/0 is undefined for any number
> > x." Rather, for any nonzero x, x/0 is defined as ComplexInfinity.
>
> You mean for any x, zero or not.
No. I meant precisely what I said. If x = 0, then x/0 is Indeterminate,
rather than ComplexInfinity.
> Let's not confuse Mathematica's result for an expression with a useful
> mathematical definition of it.
???
But Mathematica's result of ComplexInfinity _is_ correct mathematically (in
the extended complex number system, of course).
> x/0 is undefined, no matter WHAT
> Mathemematica does with the expression.
Wrong.
> Consider this:
>
> Simplify[x y/x]
> y
>
> Simplify[ComplexInfinity y/ComplexInfinity]
> Indeterminate
>
> As you can see, ComplexInfinity isn't a full-fledged member of the
> algebraic system.
Not a good argument. By precisely that same reasoning, 0 shouldn't be "a
full-fledged member of the algebraic system" either:
In[1]:= Simplify[0 x/0]
Out[1]= Indeterminate
> As another example, Gamma[-5] returns ComplexInfinity, but that doesn't
> mean defining Gamma that way (into the extended complex plane) removes
> the discontinuity -- which is what we'd like from a meaningful extension
> of Gamma.
In fact, defining Gamma[-5] in that way _does_ remove the discontinuity.
[As z -> -5, regardless of the path in the complex plane, |Gamma[z]|
increases without bound.]
David Cantrell
> On Tue, 2 Nov 2004 02:05:11 -0500 (EST), David W. Cantrell
> <DWCantrell at sigmaxi.org> wrote:
>
> > rwprogrammer at hotmail.com (Richard) wrote:
> > [snip]
> >> Mathematica handles 0 appropriately. x/0 is undefined for any number
> >> x.
> >
> > In Mathematica, it is _not_ true that "x/0 is undefined for any number
> > x." Rather, for any nonzero x, x/0 is defined as ComplexInfinity.
> >
> >> This is extremely simple to see if only you view division as the
> >> opposite of multipication.
> >
> > That view of division is simply inadequate in number systems (such as
> > the extended complex numbers) in which division of nonzero quantities
> > by zero is defined.
> >
> >> A/B = C implies that C * B = A.
> >>
> >> 12/4 = 3 because 3*4 = 12.
> >> 0/7 = 0 because 0*7 = 0.
> >> 7/0 is undefined because x*0 does not equal 7 for any number x.
> >> Therefore it has no answer (except undefined).
> >
> > In Mathematica, 7/0 yields ComplexInfinity, but that certainly does not
> > imply that 0 * ComplexInfinity = 7. (In fact, 0 * ComplexInfinity is
> > Indeterminate in Mathematica.)
> >
> > David Cantrell
Prev by Date:
**Re: Zero divided by a number...**
Next by Date:
**Re: LegendreP (Symbolic) is different in Mathematica5 than previous versions (M4, M3 ..)**
Previous by thread:
**Re: Re: Zero divided by a number...**
Next by thread:
**Re: Re: Zero divided by a number...**
| |