From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2670 Path: news.gmane.org!not-for-mail From: Vaughan Pratt Newsgroups: gmane.science.mathematics.categories Subject: Re: Modeling infinitesimals with 2x2 matrices Date: Mon, 26 Apr 2004 09:54:31 -0700 Message-ID: References: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1241018819 5246 80.91.229.2 (29 Apr 2009 15:26:59 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:26:59 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue Apr 27 16:54:42 2004 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 27 Apr 2004 16:54:42 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1BIYf7-0007CC-00 for categories-list@mta.ca; Tue, 27 Apr 2004 16:54:38 -0300 X-Mailer: exmh version 2.6.3 04/04/2003 with nmh-1.0.4 In-Reply-To: Message from Steve Vickers of "Mon, 26 Apr 2004 09:47:38 BST." <408CCCAA.9090404@cs.bham.ac.uk> Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 50 Original-Lines: 63 Xref: news.gmane.org gmane.science.mathematics.categories:2670 Archived-At: From: Steve Vickers >I thought that was the whole reason for contemplating infinitesimals in >the first place - 0/0 cannot be meaningful, but d/d is 1, ed/d is e etc. Well, you're not alone in thinking that way. This was the basis for Robinson's invention of nonstandard analysis: the belief that a/b has to be defined for all nonzero b in order to make infinitesimals nonparadoxical. Instead of formulating division a/b as an operation, go back to its motivating formulation as a system in search of a solution, in this case the system consisting of the one linear equation a = bx in one unknown. Had the system been one of ordinary or partial differential equations, there would be no argument that the solution space could turn out quite oddly shaped. Now when a and b are reals the solution space is a rectangle: only the column indexed by b=0 is undefined. This remains true when a and b are extended to the complex numbers, or even to the quaternions. But if you extend the domain to the algebra R(2) of 2x2 real matrices, the columns indexed by singular matrices now lose some of their entries. But not all, and so the solution space ceases to be rectangular. Robinson believed that the way to make infinitesimals safe for analysis was to make the solution space for a = bx rectangular. Today's logicians are magicians with logic: if logic indicates the impossibility of a rectangular solution space, no need to abandon that goal, just bend logic until the solution space does become rectangular. The students will bend with you, at least those who've approached nonstandard analysis with the proper upbeat spirit about how much simpler analysis becomes when infinitesimals can be objectified. Power tools are wonderful. To answer your question (or comment), in the system of refined numbers I described, if b is infinitesimal and nonzero, a = bx is solvable if and only if a is infinitesimal. The division table is no longer rectangular. So what? One might grumble that a = bx can't have an infinitesimal part when a and b are both infinitesimals, but in the simple cases that's a plus. In more complicated cases, 2x2 matrices aren't enough, you need nxn matrices, with distance of nonzero entries from the diagonal measuring the degree of their infinitesimality (if that's a word). In this case d^n = 0 only for higher n's. After thinking along those lines for a bit more the other day, I decided that even though I liked this approach better than throwing ultrafilters at it, it still wasn't as good as doing analysis in Boole's finite difference calculus with h remaining unbound throughout, the approach I'd used since the early 1970's. That approach has the great advantage of being able to use the same analysis in classical and quantum physics by setting h=0 to interpret a result classically and setting it to Planck's constant to interpret the same result quantumly. As a case in point, the same integration formulas can deliver areas under smooth curves and discrete summations of e.g. n^3, the latter with h=1. (I already wrote a bit about that two or three messages ago.) The right power tools are even more wonderful. Vaughan Pratt