From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1360 Path: news.gmane.org!not-for-mail From: "Stephen H. Schanuel" Newsgroups: gmane.science.mathematics.categories Subject: Reals a la Eudoxus (updated from re: Tate Reals) Date: Tue, 18 Jan 2000 22:34:10 -0500 Message-ID: <000c01bf622e$0ddd7c60$80213018@buf.adelphia.net> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241017774 30882 80.91.229.2 (29 Apr 2009 15:09:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:09:34 +0000 (UTC) Cc: "Stephen H Schanuel" To: Original-X-From: rrosebru@mta.ca Wed Jan 19 15:11:40 2000 -0400 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id NAA06024 for categories-list; Wed, 19 Jan 2000 13:30:50 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 24 Xref: news.gmane.org gmane.science.mathematics.categories:1360 Archived-At: My 'construction' of the reals, referred to by Ross and Mike, was suggested by an observation of Tate about bilinear maps many years earlier, but essentially goes back to Eudoxus, who noted that to measure the ratio of a line segment to another with any desired accuracy, it isn't necessary to cut either of them up--instead multiply the 'numerator' segment by a large integer--thus pointing the way to a direct construction of the reals as ring from the integers as mere additive group. (Incidentally, I take the task to be relating the continuous to the discrete, rather than constructing the former from the latter, but never mind.) R is the ring of endomorphisms E(T(L))of the group T(L) of translations (rigid maps at finite distance from the identity) of the line L. If we start instead with a discrete line D (a line of dots), then T(D) is isomorphic to Z (additive group without preferred generator). E(T(D) is the ring Z, but instead take A(T(D)), 'almost homomorphisms' (as in Mike's description) from Z to Z. A(T(D)) is an additive goup with a 'multiplication' by composition, but not a ring, since one distributive law and commutativity of multiplication fail; but A(T(D)) modulo bounded maps is R. The maps in both directions are easy: send the real r to the map 'multiply by r and round down', and send the almost homomorphism f to the limit of the Cauchy sequence f(n)/n. Steve Schanuel