From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1826 Path: news.gmane.org!not-for-mail From: Larry Stout Newsgroups: gmane.science.mathematics.categories Subject: Some infinitesimal analysis questions Date: Sun, 04 Feb 2001 17:33:44 -0600 Message-ID: <3A7DE6D8.62497273@sun.iwu.edu> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018129 662 80.91.229.2 (29 Apr 2009 15:15:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:15:29 +0000 (UTC) To: Categories List Original-X-From: rrosebru@mta.ca Mon Feb 5 10:55:25 2001 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f15EKhD25912 for categories-list; Mon, 5 Feb 2001 10:20:44 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Mozilla 4.75 [en] (X11; U; Linux 2.2.16-22 i686) X-Accept-Language: en Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 8 Original-Lines: 31 Xref: news.gmane.org gmane.science.mathematics.categories:1826 Archived-At: I am teaching a course out of Bell's book "A Primer of Infinitesimal Analysis" to senior mathmajors at my liberal arts college. It is making a nice capstone, since it lets them look at the material they started college with (claculus) from a completely different viewpoint (that of synthetic differential geometry). It also lets me teach some of a topos theoretic view on mathematics. I am left with some questions in my own mind about what one can and cannot do in a smoth world. Specifically, 1. The usual inverse function theorem uses monotonicity to guarantee the existence of an inverse function, a monotonicity obtained from the mean value theorem. It seems unlikely to me that the mean value theorem holds in synthetic differential geometry, so how does one guarantee the existence of an inverse for a function with strictly positive derivative? 2. In a smooth world must the image of a closed interval be a closed interval? Can one characterize closed intervals without knowing what their endpoints are purported to be? (Since closed intervals are microstable you can't actually know those endpoints uniquely). 3. How do you justify the leap from stationary points to maxima and minima? Have any of the other readers of this list tried teaching a course out of this book? -- Lawrence Neff Stout Professor of Mathematics Illinois Wesleyan University http://www.iwu.edu/~lstout "Fiddling is a viol habit." Anon? "Dancing is necessary in a well ordered society." Thoinot Arbeau