From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9653 Path: news.gmane.org!.POSTED!not-for-mail From: Vaughan Pratt Newsgroups: gmane.science.mathematics.categories Subject: Re: Point-free affine real line? Date: Mon, 11 Jun 2018 12:01:47 -0700 Message-ID: References: Reply-To: Vaughan Pratt NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1528751755 32148 195.159.176.226 (11 Jun 2018 21:15:55 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 11 Jun 2018 21:15:55 +0000 (UTC) Cc: categories@mta.ca To: Peter Johnstone Original-X-From: majordomo@mlist.mta.ca Mon Jun 11 23:15:51 2018 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fSUAH-0008AQ-D0 for gsmc-categories@m.gmane.org; Mon, 11 Jun 2018 23:15:49 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:54902) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1fSUBP-000760-E7; Mon, 11 Jun 2018 18:16:59 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1fSUAs-000246-Fb for categories-list@mlist.mta.ca; Mon, 11 Jun 2018 18:16:26 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9653 Archived-At: Peter is right that Q as a field contains order information absent from Q as either a linear or affine space. (=E2=88=92*x*=C2=B2 =E2=89=A4 0 =E2=89= =A4 *x*=C2=B2.) > For the order to be definable from the algebraic structure, you need to consider Q as a field It certainly suffices, and indeed is traditional. But is it necessary for the construction of the affine real line? In particular do we have to define multiplication on the rationals only to throw it away at a later stage? Obviously the ordered dyadic rationals would suffice. Equally obviously they don't form a field. But can they be defined as an ordered affine space with the same degree of formality and economy as we routinely define the ordered linear space of rationals? Claim. The ordered algebra (D, xy, x+y, =E2=89=A4) consisting of the set D= of dyadic rationals under the two binary operations xy denoting 2y - x and x+y denoting (x + y)/2 can be defined order-algebraically up to isomorphism as the free ordered algebra on the ordinal 2 satisfying finitely many equations in the two operations along with the inference rules, from x =E2= =89=A4 y infer each of y =E2=89=A4 xy yx =E2=89=A4 x x =E2=89=A4 x+y x+y =E2=89=A4 y The Dedekind cuts being cuts in the rational line, the following claim depends on a distinct name for the corresponding notion of a cut in the ordered affine line of dyadic rationals, which I suggest calling a dyadic cut. (When cutting at a dyadic rational follow a consistent convention as to which side to associate that rational, as done with the Dedekind cuts, and always have both sides of the cut nonempty.) Claim. The dyadic cuts in the ordered affine space of dyadic rationals are in order-preserving bijection with the Dedekind cugts in the ordered linear space of rationals, with the cuts at dyadic rationals correctly matched to their Dedekind counterparts. Vaughan Pratt On Sun, Jun 10, 2018 at 6:54 AM, Peter Johnstone wrote: > Sorry, what I wrote was a bit sloppy. Vaughan is right that the problem > doesn't arise with the passage from considering Q as a linear space > to considering it as an affine space, since it already has order- > reversing linear automorphisms. For the order to be definable from > the algebraic structure, you need to consider Q as a field, which is > what the usual Dedekind-section construction does. > > Peter Johnstone > > > On Thu, 7 Jun 2018, Vaughan Pratt wrote: > > > Not quite: the affine rational line doesn't have a definable total >> order, >> >>> since it has order-reversing automorphisms, so any definition using >>> Dedekind sections is problematic. >>> >> >> Morphism-wise, since the affine transformations are just the composition >> of >> a linear transformation with a translation, and translation of the >> rational >> line preserves order, affinity can't be the problem here. >> >> Structure-wise, one can equip the rational line with either its linear >> combinations or its linear order, or both. Using both eliminates the >> order-reversing linear transformations. "Affine" only makes sense in t= he >> context of having the linear combinations, as "affine" limits the linear >> combinations to those whose coefficients sum to one. If it is ok for t= he >> linear combinations and the linear order to coexist, it must be even mor= e >> ok for the affine combinations and the linear order to coexist. >> >> So whether one considers the morphisms or the structure they preserve, >> affinity (affineness?) must be a red herring here: any problem for the >> rational line as an affine space is surely also a problem for it as a >> vector space. >> >> Vaughan Pratt >> >> >> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]