RE: 'monotonic increasing'

"Yaakov Stein" <yaakov_s@rad.com> Mon, 20 February 2006 16:12 UTC

Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1FBDe3-0008R3-DR; Mon, 20 Feb 2006 11:12:15 -0500
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1FBDe1-0008Qp-P9 for ietf@ietf.org; Mon, 20 Feb 2006 11:12:13 -0500
Received: from mx1-b.rad.co.il ([62.219.98.8] helo=antivir1.rad.co.il) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1FBDdy-0003Mf-9F for ietf@ietf.org; Mon, 20 Feb 2006 11:12:13 -0500
Received: from antivir1.rad.co.il (localhost [127.0.0.1]) by antivir1.rad.co.il (8.12.10/8.12.10) with ESMTP id k1KG7mI2005658 for <ietf@ietf.org>; Mon, 20 Feb 2006 18:07:50 +0200 (IST)
Received: from exrad2.ad.rad.co.il (exrad2 [192.114.24.112]) by antivir1.rad.co.il (8.12.10/8.12.10) with ESMTP id k1KG7k8p005650; Mon, 20 Feb 2006 18:07:46 +0200 (IST)
Content-class: urn:content-classes:message
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0
Date: Mon, 20 Feb 2006 18:11:59 +0200
Message-ID: <27A0F290348F8E45AEF79889DDE65A52062D328C@exrad2.ad.rad.co.il>
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
Thread-Topic: 'monotonic increasing'
Thread-Index: AcY2NL/RMHNqIl5gS8SVotPw/M3+rAAAhj7Q
From: Yaakov Stein <yaakov_s@rad.com>
To: "Tom.Petch" <sisyphus@dial.pipex.com>
X-Spam-Score: 0.0 (/)
X-Scan-Signature: 2409bba43e9c8d580670fda8b695204a
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

 

> 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?


That would depend on the subject matter.
If the article was on real analysis (where the domain is
nondenumerable), 
then it would most probably mean >=.
If the article's subject matter was "concrete mathematics" (i.e.
discrete values)
then "increasing" would probably mean > and only "nondecreasing" would
mean >=.

So in the case you raise, monotonic increasing would usually be strictly
interpreted as x_n > x_n-1,
and if you want to include the case where the sequence doesn't actually
increase
you should say "nondecreasing" .

However, since the Godel failure of Principia Mathematica
even mathematicians have lost faith in consistent definitions   :>

Y(J)S

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