From sbelknap@UIC.EDU Sun Dec 23 21:32:37 2001 Return-Path: X-Sender: sbelknap@uic.edu X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_1_3); 24 Dec 2001 05:32:38 -0000 Received: (qmail 11879 invoked from network); 24 Dec 2001 05:32:37 -0000 Received: from unknown (216.115.97.171) by m11.grp.snv.yahoo.com with QMQP; 24 Dec 2001 05:32:37 -0000 Received: from unknown (HELO larch.cc.uic.edu) (128.248.155.164) by mta3.grp.snv.yahoo.com with SMTP; 24 Dec 2001 05:32:36 -0000 Received: (qmail 8091 invoked from network); 24 Dec 2001 05:16:43 -0000 Received: from dial0-072.dialin.uic.edu (HELO cis50113.uicomp.uic.edu) (128.248.170.105) by larch.cc.uic.edu with SMTP; 24 Dec 2001 05:16:43 -0000 Date: Sun, 23 Dec 2001 23:32:32 -0600 Subject: Re: [lojban] ga'omi'ike'i Content-Type: text/plain; charset=US-ASCII; format=flowed Mime-Version: 1.0 (Apple Message framework v480) Cc: lojban@yahoogroups.com To: phma@oltronics.net In-Reply-To: <01122323142726.01539@neofelis> Message-Id: Content-Transfer-Encoding: 7bit X-Mailer: Apple Mail (2.480) From: Steven Belknap X-Yahoo-Group-Post: member; u=810567 What is wanted then, is a way to express the term "open cover" On Sunday, December 23, 2001, at 10:14 PM, Pierre Abbat wrote: > According to the Book 18:17, A ga'omi'ike'i B is [A-B,A+B). In complex > numbers, it often makes no sense to describe an interval like that. For > instance, sum((x^-(n!))/n) converges in the interior of the unit disk, > but > diverges on a dense subset of its boundary. If {ga'omi'ike'i} meant > "including the center but not the outside", then this could be > described as 0 > ga'omi'i 1, but not 0 ga'omi'ike'i 1 or 0 ga'omi'iga'o 1, except that {0 > ga'omi'i 1} does not parse for reasons I do not understand. With the > Book's > meaning of {ga'omi'ike'i}, it makes no sense to describe such a disk as > ga'o > or ke'i, since there is no least or greatest endpoint. > > phma > > > To unsubscribe, send mail to lojban-unsubscribe@onelist.com > > Your use of Yahoo! Groups is subject to > http://docs.yahoo.com/info/terms/ >