RE: 'monotonic increasing'

"Hallam-Baker, Phillip" <pbaker@verisign.com> Mon, 20 February 2006 17:23 UTC

Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1FBElN-0007Aq-M9; Mon, 20 Feb 2006 12:23:53 -0500
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1FBElM-0007Al-Uo for ietf@ietf.org; Mon, 20 Feb 2006 12:23:52 -0500
Received: from colibri.verisign.com ([65.205.251.74]) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1FBElM-00063M-JW for ietf@ietf.org; Mon, 20 Feb 2006 12:23:52 -0500
Received: from mou1wnexcn01.vcorp.ad.vrsn.com (mailer1.verisign.com [65.205.251.34]) by colibri.verisign.com (8.13.1/8.13.4) with ESMTP id k1KHNmKn005092; Mon, 20 Feb 2006 09:23:48 -0800
Received: from MOU1WNEXMB04.vcorp.ad.vrsn.com ([10.25.13.157]) by mou1wnexcn01.vcorp.ad.vrsn.com with Microsoft SMTPSVC(6.0.3790.1830); Mon, 20 Feb 2006 09:23:48 -0800
X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0
Content-class: urn:content-classes:message
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
Date: Mon, 20 Feb 2006 09:23:47 -0800
Message-ID: <198A730C2044DE4A96749D13E167AD3792AA21@MOU1WNEXMB04.vcorp.ad.vrsn.com>
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
Thread-Topic: 'monotonic increasing'
Thread-Index: AcY2Nnho4Vvwa3KGRzSvhHrT3J9zNgAC2gXg
From: "Hallam-Baker, Phillip" <pbaker@verisign.com>
To: "Tom.Petch" <sisyphus@dial.pipex.com>, Yaakov Stein <yaakov_s@rad.com>
X-OriginalArrivalTime: 20 Feb 2006 17:23:48.0312 (UTC) FILETIME=[68F2C580:01C63642]
X-Spam-Score: 0.1 (/)
X-Scan-Signature: 4b800b1eab964a31702fa68f1ff0e955
Cc: ietf <ietf@ietf.org>
Subject: RE: 'monotonic increasing'
X-BeenThere: ietf@ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: IETF-Discussion <ietf.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/ietf>, <mailto:ietf-request@ietf.org?subject=unsubscribe>
List-Post: <mailto:ietf@ietf.org>
List-Help: <mailto:ietf-request@ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/ietf>, <mailto:ietf-request@ietf.org?subject=subscribe>
Errors-To: ietf-bounces@ietf.org

The best solution to this problem is to avoid the use of technical
vocabulary and use plain English and unambiguous formulas. 

It is quite easy to see how the term 'strictly monotonic' gets
abreviated to 'monotonic' when used by non-mathematicians.

I am pretty sure that if we started using the terms 'surjection',
'bijection' &ct. instead of 'one to one', 'one to many' we would end up
with similar confusion.

> -----Original Message-----
> From: Tom.Petch [mailto:sisyphus@dial.pipex.com] 
> Sent: Monday, February 20, 2006 9:44 AM
> To: Yaakov Stein
> Cc: ietf
> Subject: Re: 'monotonic increasing'
> 
> ----- Original Message -----
> From: "Yaakov Stein" <yaakov_s@rad.com>
> To: "Tom.Petch" <sisyphus@dial.pipex.com>; "Elwyn Davies"
> <elwynd@dial.pipex.com>
> Cc: "ietf" <ietf@ietf.org>
> Sent: Sunday, February 19, 2006 7:10 AM
> Subject: RE: 'monotonic increasing'
> 
> 
> Actually, even mathematicians don't agree on the wording here.
> 
> In analysis we commonly talk about monotonic functions, which 
> can be either monotonically increasing ( x <= y  =>  f(x) <= 
> f(y) ) or monotonically decreasing ( x <= y  =>  f(x) >= f(y) ).
> Since analysis deals with continuous entities, the 
> distinction of nondecreasing vs. increasing is usually not 
> important, and thus not worried about. However physicists 
> tend to make the distinction by saying "nondecreasing".
> 
> In dealing with sequences, the distinction is almost 
> universally made between nondecreasing  ( x_n <= x_n+1) and 
> increasing (x_n < x_n+1) although the European school prefers 
> stressing the difference by using the word "strictly" instead.
> 
> To make things more confusing, in order theory (where you 
> would expect the wording to be the tightest) the wording used 
> is monotone (for "increasing") and antitone (for "decreasing").
> Of course there the distinction between nondecreasing and 
> increasing is not important since the description is of a 
> (partial) order relation, and if that relation includes 
> equality as a special case than you get one variety, while if 
> not you get the other.
> 
> Y(J)S
> 
> Beautiful (as mathematics always is).
> 
> But just to be clear, if you saw a reference to 'monotonic 
> increasing' in an American journal, say of applied 
> mathematics, would you be sure you understood what was meant?
> 
> And if so, would that be S_i+1 >=  S_i U+2200 i or S_i+1 > 
> S_i U+2200 i?
> 
> Tom Petch
> 
> 
> _______________________________________________
> Ietf mailing list
> Ietf@ietf.org
> https://www1.ietf.org/mailman/listinfo/ietf
> 
> 

_______________________________________________
Ietf mailing list
Ietf@ietf.org
https://www1.ietf.org/mailman/listinfo/ietf