INTERNAL SET THEORY AND AN INTUITIVE DEVELOPMENT OF THE CALCULUS
SIMON LAZARUS
Abstract. In this paper, we present Internal Set Theory (IST) as a means to more intuitively develop mathematics while still maintaining complete rigor. We begin by stating the axioms of IST and demonstrating several of their central consequences. We then use these results to rigorously introduce the notions of infinitesimal numbers and infinite closeness. Lastly, we develop the calculus in a nonstandard fashion based on these intuitive notions.
Contents 1. Introduction 1 2. Fundamentals of Internal Set Theory 3 3. Standard Relations 7 4. Infinitesimal and Unlimited Numbers 9 5. The Calculus 12 Continuity 12 Di↵erentiatiation 14 Integration 19 6. Appendix 24 Acknowledgments 27 References 27
1. Introduction The vast majority of modern mathematics is based in principle upon Zermelo- Fraenkel Set Theory with the Axiom of Choice (ZFC). The axioms of ZFC stipulate the rules of set formation based upon the (undefined) binary predicate ,where x y intuitively states “x is an element of the set y.” Using and the2 logical symbols2 (for all), (there exists), (and), (or), (not), =2 (implies), and (is8 equivalent9 to; if and only if)^ under the_ rules¬ of first-order) logic and the axioms() of ZFC, one can create definitions, state theorems, and write proofs. Although these methods are quite powerful, in many cases the strict requirements of ZFC can lead to definitions and proofs that are less intuitive than we may wish them to be. For this reason, we introduce Internal Set Theory (IST) to allow for many more intuitive definitions and proofs to be perfectly rigorous. IST is an extension of ZFC: it introduces the (undefined) unary predicate “standard” (we say
Date:September3,2012. 1 2 SIMON LAZARUS
“standard(x)” to mean that the set x is standard) and adds to the axioms of ZFC three axiom schemata that allow us to work with formulas involving this predicate. We assume the reader is familiar with the basic structure of a well-formed formula in first-order logic1. We recall that a variable x is said to be free in a formula A if A does not quantify x with “ x” or “ x.” For example, the formula x R has x as 8 9 2 a free variable, while the formula x Q(x R) has no free variables; x is bound. A formula with no free variables is8 said2 to be2 a statement. Every theorem of ZFC is a statement formulated from (i) variables quantified by or and (ii) some or all of the symbols , , ,= , , and . Formulas of8 ZFC9 are created in a similar manner, but^ not_ ¬ all of) a formula’s() variables2 need to be bound. In much the same way, formulas of IST are created using free and bound vari- ables, some or all of the above symbols, as well as possibly the predicate “standard.” If A is a formula of IST in which “standard” does not appear, then A is clearly also a formula of ZFC. In this case, we say that A is an internal formula. If B is a formula of IST in which “standard” does appear, we say that B is external. IST merely adds new terminology to ZFC and gives axioms to explain how it can be used. In this way, any statement that is provable in ZFC will necessarily be provable in IST. However, the axioms of ZFC apply only to internal concepts. In particular, given any set x and any external formula with at least one free variable, the Axiom of Specification cannot be used to form a subset of x whose elements are exactly those of x which satisfy the given formula—it can only do so for internal formulas. We are therefore in need of new axiom schemata that allow us to form and work with sets based upon external formulas. These are the Principles of Transfer, Idealization, and Standardization. After stating these axiom schemata and a few of their important consequences, we will rigorously develop the notions of infinitesimal and unlimited numbers and infinite closeness, which we will use to develop the calculus in a fashion that we find much more intuitive than the usual presentation. One may wonder: even if IST does provide easier methods with which to state definitions and prove theorems, why should we believe anything IST begets? That is, just because we can show using the new methods of IST that some internal Theorem A holds true, does that necessarily mean Theorem A follows from ZFC alone? The answer to this question is a resounding yes. In particular, we have the following result.
Conservation Theorem (Powell). Let A be an internal theorem. If A is provable in IST, then A is provable in ZFC.
A proof of the Conservation Theorem is omitted in this paper. Within the proof given in [1], Nelson presents a method of reducing any proof of A using IST to a proof of A using ZFC alone. Therefore, we can have full confidence in the fruits of IST: any proof of an internal theorem that employs IST immediately implies a proof of that same theorem that employs only ZFC. Additionally, this theorem guarantees that IST is consistent if ZFC is consistent. With this in mind, we begin our formal discussion of Internal Set Theory.
1Essentially, this means the reader will neither accept nor produce combinations of symbols that amount only to nonsense. INTERNAL SET THEORY AND AN INTUITIVE DEVELOPMENT OF THE CALCULUS 3
2. Fundamentals of Internal Set Theory Before stating the three axiom schemata mentioned in the previous section, we introduce some notation. First, if y is any set, we say finite(y)ifthereisno bijection between y and any proper subset of y. Now let A be any formula with free variable(s) including x. Then we introduce the following notation. Notation. (i) We use finxA(x) to mean x(finite(x)= A(x)) and we use finxA(x) to mean8 x(finite(x) A(x)).8 ) 9 (ii) We use 9stxA(x) to mean^ x(standard(x)= A(x)) and we use stxA(x) to mean8 x(standard(x) 8A(x)). ) 9 (iii) We use 9st finxA(x) to^ mean st(x)(finite(x)= A(x)) and we use st finxA(8x) to mean stx(finite(8x) A(x)). ) 9 9 ^ We can now state the three axiom schemata of Internal Set Theory.
Transfer Principle. Let A(x, t1,...,tn) be an internal formula with free variables x, t1,...,tn and no other free variables. Then (T) stt ... stt ( stxA(x, t ,...,t )= xA(x, t ,...,t )). 8 1 8 n 8 1 n )8 1 n Idealization Principle. Let A(x, y) be an internal formula with free variables including x and y.Then (I) st finz x y zA(x, y) x styA(x, y). 8 9 8 2 () 9 8 Standardization Principle. Let A(z) be a (not necessarily internal) formula with free variable(s) including z.Then (S) stx sty stz(z y z x A(z)). 8 9 8 2 () 2 ^ For the remainder of this section, we develop the intuitive meaning of these axiom schemata as we employ them. By replacing A with A and employing contraposition in (T) and (I) above, we can arrive at the logical¬duals of (T) and (I):
(T1) stt ... stt ( xA(x, t ,...,t )= stxA(x, t ,...,t )). 8 1 8 n 9 1 n )9 1 n (I1) st finz x y zA(x, y) x styA(x, y). 9 8 9 2 () 8 9 We now discuss some important consequences of (T) and (T1). First, we observe that if A is any internal formula whose only free variable is x and there exists a unique x such that A(x) holds true, then that x must be standard, as (T1) asserts the existence of a standard x satisfying A. Thus, one way of thinking about the standard sets is that any set that can be uniquely described within ZFC is standard. For example, the set of natural numbers N, the function sin, and the real number e are all standard sets since they are all sets which are uniquely described within ZFC. (The reader should recall that every entity in ZFC is a set, including numbers and functions.) More generally, (T1) tells us that any set which is uniquely determined by some finite number of other standard sets will itself be standard. We o↵er a few examples of this below. 4 SIMON LAZARUS
Examples 2.1. (i) If A is a standard set, then the power set of A (the set of all subsets of A) is standard since it is uniquely determined by A. (ii) If x and y are standard sets, then the ordered pair (x, y) is standard since it is uniquely determined by x and y. (iii) If f is a standard function and a is a standard element of the domain of f, then f(a) is standard since it is uniquely determined by f and a. (iv) If f and g are standard functions such that f g is a function, then f g is standard since it is uniquely determined by f and g. Remark 2.2. We note that restricted quantifiers maintain their restrictions through applications of (T) and (T1). For example, if X and Y are sets and B is an internal formula whose only free variables are x, t1,...,tn, then for all standard t1,...,tn we have stx XB(x)= x XB(x), and letting ! denote unique existence, we also have8 2!xB(x)= )8!stxB2(x). (Here, !stxB(x)9 means there exists a unique x satisfying B9 (x) and x)9is standard; it doesn’t9 mean the weaker statement “there exists a unique standard x satisfying B(x).”) Restrictions on quantifiers behave similarly through (I) and (I1); for example, if A is an internal formula with free variables including x and y,wehave st finz Y x X y zA(x, y) x X sty YA(x, y). 8 ✓ 9 2 8 2 () 9 2 8 2 We leave the proof of these simple facts to the reader, and we shall employ these results as needed in this paper. Other commonly employed restrictions on quanti- fiers include “finite” (as in finxB(x)) as well as any combinations of the above (as in !finx XB(x)). 8 9 2 Before carrying on, we introduce some new concepts and prove a related theorem that will guide our intuition in IST. Notation. Let A be an internal statement. We use Ast to mean the statement obtained by changing each instance in A of to st and each instance in A of to st. We call Ast the relativization of A to the8 standard8 sets. 9 9 Remark 2.3. In a similar manner to 2.2, we note that the relativization to the standard sets of a statement involving restricted quantifiers is merely that statement with the same restrictions on each quantifier plus the restriction “standard” on each quantifier. For example, if X and Y are sets and B is a quantifier-free internal formula whose only free variables are x and y, then the relativization to the standard sets of finx X !y YB(x, y) would be st finx X !sty YB(x, y). As before,8 the proof2 is9 simple2 and left to the reader.8 2 9 2 Definition 2.4. Let A be a statement. We say A is in prenex normal form if A is of the form Q1x1 ...QnxnB(x1,...,xn), where (i) B is an internal formula whose only free variables are x1,...,xn such that neither nor appears in B and (ii) for every i 1,...,n , Q is either or . 8 9 2{ } i 8 9 The following is a simple but tedious exercise in first-order logic. Exercise 2.5. Every internal statement can be rewritten in prenex normal form. With these tools in hand, we can begin to demonstrate some of the theorem- proving power of (T). INTERNAL SET THEORY AND AN INTUITIVE DEVELOPMENT OF THE CALCULUS 5
Relativization Theorem. Let A be an internal statement. Then A is true if and only if Ast is true.
Proof. By 2.5, we can write A as Q1x1 ...QnxnB(x1,...,xn), where B is a quan- tifier free internal formula whose only free variables are x1,...,xn and each Qi is st st st either or .Thus,A is Q1 x1 ...Qn xnB(x1,...,xn). We note that the con- verses8 of (T)9 and (T1) are obviously true, as (i) a formula A being true for all x means it is true for all standard x and (ii) the existence of a standard x satisfying a formula A clearly implies the existence of some x satisfying A. First, suppose A is true. Suppose Q1 is . Then by the converse of (T), we have Qstx Q x ...Q x B(x ,...,x ). Similarly,8 if Q is , we obtain the same result 1 1 2 2 n n 1 n 1 9 through (T1). Working rightwards towards B(x1,...,xn) in this fashion, we obtain st st st st st Q1 x1 ...Qn xnB(x1,...,xn), namely A . Now suppose instead A is true. If Qn st st st st st is , we use (T) to obtain Q1 x1 ...Qn 1xn 1QnxnB(x1,...,xn). If Qn is , we8 use the converse of (T1) to obtain the same result. Working leftwards towards9 st Q1 in this fashion, we obtain Q1x1 ...QnxnB(x1,...,xn), namely A. ⇤ Although the Relativization Theorem is a near-immediate consequence of (T), it is one of the central results of IST. The Relativization Theorem demonstrates two important facts. First, every theorem of ZFC is true when relativized to the standard sets. Second, one can prove any theorem of ZFC by merely proving its relativization to the standard sets. This latter task is often far simpler than the former. We now move on to some consequences of (I). Theorem 2.6. Let X be a set. Then X is standard and finite if and only if each element of X is standard. Proof. In (I1), let A(x, y) be the formula x X x = y.Thenwehave 62 _ st finz x y z(x X x = y) x sty(x X x = y). 9 8 9 2 62 _ () 8 9 62 _ This is the same as saying (*) st finz(X z) x X(standard(x)). 9 ✓ () 8 2 First, suppose X is standard and finite. Then we can choose X as the z in the left-hand side of (*), so every x in X is standard. Now suppose instead that each x in X is standard. Then by (*), st finz(X z). Let }(z) be the power set of z (the set of all subsets of z). Since z is9 standard,✓}(z) is standard by 2.1. Also, since z is finite, }(z) is finite. Thus, by the previous part of this proof, every element of }(z) is standard. So since X }(z) (as X z), X is standard. Lastly, since X z and z is finite, X is finite. 2 ✓ ✓ ⇤ The following remarkable theorem gives us further intuition into the nature of the standard sets. Theorem 2.7. There exists a finite set S such that X S whenever X is a standard set. 2 Proof. Let A(x, y) be the formula (finite(x) y x). Now consider the left-hand side of (I). Let z be any standard finite set. Then^ 2 clearly x y zA(x, y), as taking x = z we have y z(finite(z) y z), which is true. Thus,9 8 the2 left-hand side of (I) holds, so (I) tells8 us2 x sty(finite(^ x2) y x). This is equivalent to finx sty(y x). 9 8 ^ 2 9 8 2 So we can take S as any such x. ⇤ 6 SIMON LAZARUS
Remark 2.8. For any set A,thereexistsafinitesetF A such that for all standard x in A we have x F . This follows from 2.7; letting ✓S be any finite set containing every standard set2 as one of its elements, we obtain such a set F by taking A S. \ It is worth noting that although there is a finite set which contains every standard set in it as an element, there is no set whose elements are precisely all of the standard sets; that is, every such finite set S will have nonstandard elements. (By 2.6, this also means that each such set S is not standard.) For suppose there were a finite set T whose elements were precisely all of the standard sets. Then T would be standard by 2.6, so we would have T T , a contradiction to the Axiom of Foundation. Another way of thinking2 about this is as follows. Although there are many possible sets S given above, we cannot take their intersection to achieve a “smallest set” containing every standard set, as we cannot take the intersection of these sets whatsoever. This is because the intersection of any collection of sets is defined only upon the set of all sets we wish to intersect - and there is no set “ S : finite(S) stx(x S) ” because the formula “finite(S) stx(x S)” is not internal{ (meaning^8 we can’t2 apply} the Axiom of Specification^8 to it, even2 if we considered only S in some given universal set U). Similarly, we cannot simply form a set “ x : standard(x) ,” as the formula standard(x) is external. { Since the Axiom} of Specification does not apply to external formulas, if we wish to create a subset of a given set corresponding to a particular external formula, we can only use the Standardization Principle (S) to do so. However, the method in which we can do so is somewhat indirect. (S) only allows us to create a subset whose standard elements satisfy the given formula: a subset formed by means of (S) may contain nonstandard elements which do not satisfy the formula. However, the subset (formed by (S)) of a given set x corresponding to any given formula is indeed unique; this follows from the lemma below. Lemma 2.9. Let X and Y be standard sets. Then X = Y if and only if X and Y have the same standard elements. Proof. If X = Y ,thenX and Y have the same elements and hence have the same standard elements. So suppose X and Y have the same standard elements, i.e. suppose stx(x X x Y ). Note that the formula (x X x Y ) has free variables8 of2 only ()x, X, and2 Y ,whereX and Y are standard.2 Thus,() by2 (T) we have x(x X x Y ); namely, X = Y . 8 2 () 2 ⇤ Now returning to (S), let x be a standard set and A be a formula (internal or external) with free variable(s) including z. Then (S) asserts that there exists a standard set y such that any standard set z is in y precisely when it is in x and it satisfies A(z). We therefore have stz y(z x), so since x and y are standard, by (T) we have z y(z x8). Thus,2 y2is a standard subset of x whose standard elements are8 those2 of x2 which satisfy A. Now suppose w is also a standard subset of x whose standard elements are those which satisfy A.Then clearly stz(z y z w), as the standard elements of both z and w are precisely8 the standard2 () elements2 of x satisfying A. So by 2.9, w = y.Thus,the set y produced by (S) is the unique standard subset of x whose standard elements satisfy A. This result is summarized below. Notation. Let x be a set and A be a formula with free variable(s) including z. We denote the unique standard subset of x whose standard elements are those of x which satisfy A by S z x : A(z) . { 2 } INTERNAL SET THEORY AND AN INTUITIVE DEVELOPMENT OF THE CALCULUS 7
As a final note in this section, we discuss the notion of a standard function. (Recall that a standard function is merely a standard set which is a function.) Theorem 2.10. Let A be a (possibly external) formula with free variables including x and y and let X and Y be standard sets. Suppose that for each standard x in X there exists at least one corresponding standard y in Y such that A(x,y) holds. Then there exists a standard function y˜ : X Y such that for all standard x in X, A(x, y˜(x)) holds. ! Proof. First, suppose for each standard x in X there exists a unique standard y in Y such that A(x, y). Let Z = S (x, y) X Y : A(x, y) . Then by the above, we st st st { 2 ⇥ } have x X y Y y0 Y [(x, y) Z ((x, y0) Z = y0 = y)] since by 2.6 (x,8 y) is2 standard9 2 precisely8 2 when x and2 y ^are standard.2 So) since X, Y , and Z are standard, by (T) in accordance with 2.2 we have
x X y Y y0 Y [(x, y) Z ((x, y0) Z = y0 = y)]; 8 2 9 2 8 2 2 ^ 2 ) that is, x X !y Y [(x, y) Z]. Thus, Z is a (standard) function from X to Y . Also, by8 the2 definition9 2 of Z, the2 hypothesis at the beginning of this paragraph, and 2.6 we know that whenever x is standard we have A(x, Z(x)). So we can choose Z as oury ˜. Now consider the case where y is not necessarily unique given x. Let }(Y )be the power set of Y . Then by 2.1 }(Y ) is standard since Y is standard. Recall that given any x X, S y Y : A(x, y) is a unique standard subset of Y .Thus, certainly for2 all standard{ 2 x X there} exists a unique standard z }(Y )such that z = S y Y : A(x, y) 2. By the first part of this proof, then,2 there exists a standard{ function2 z ˜ : X } }(Y ) such that for all standard x X we have z˜(x)=S y Y : A(x, y) . Now! given any standard x in X, S y Y2 : A(x, y) is nonempty,{ as2 by hypothesis} sty Y (A(x, y)). Thus, for all standard{ 2 x in X,˜z}(x) is a nonempty standard set. 9 2 This means we can apply the relativized-to-the-standard-sets version of the Ax- iom of Choice to obtain that there exists a standard function C such that stx X, we have C(˜z(x)) z˜(x). Thus, C z˜ maps each standard element x of X8 to some2 element of S y 2Y : A(x, y) . (That is, for all standard x in X, A(x, (C z˜)(x)) holds.) Now{ since2 C andz ˜ are} standard, by 2.1 C z˜ is standard. Also, by the above, it is certainly true that stx X((C z˜)(x) Y ). So since X, Y , and C z˜ are all standard, by (T) in accordance8 2 with 2.2, we2 know x X((C z˜)(x) Y ). So to summarize: (i) C z˜ is standard, (ii) x X((C8 z˜2)(x) Y ), and2 (iii) stx XA(x, (C z˜)(x)). This means C z˜ su8 ces2 as a desired y ˜.2 8 2 ⇤ Remark 2.11. Let A and B be sets such that A is standard. Then we can define a unique standard function f : A B solely by defining the (standard) values which f takes on at each standard x in! A. For let g : A B be any standard function such that stx A(g(x)=f(x)). Then since A, g,! and f are standard, by (T) we have x 8A(g(2x)=f(x)); namely, g = f. 8 2 3. Standard Relations The purpose of this section is to introduce a means of defining properties based on external formulas that we will frequently employ in our development of the calculus. In ZFC we may define properties of sets through relations. For example, 8 SIMON LAZARUS letting RR denote the set of functions from R to R, we may define the relation “f : R R is bounded above by M R on [a, b]” by the set ! 2
A := (f,M,a,b) RR R R R : x [a, b](f(x) M) . { 2 ⇥ ⇥ ⇥ 8 2 }
In this way, given any function g : R R and any Z, c, d R, we can immedi- ately determine whether or not g is bounded! above by Z on2 [c, d]: this is true if (g, Z, c, d) A; it is false if (g, Z, c, d) A. However,2 the above method of defining62 relations only works using internal for- mulas (such as x [a, b](f(x) M) in the above example). If we wish to define a relation via an external8 2 formula, we must employ (S) to create a standard relation. In general, if for standard sets A1,...,An we wish to define a property B that any a A ,...,a A may or may not have, we do so via the standard set 1 2 1 n 2 n S (a ,...,a ) A ... A : B(a ,...,a ) { 1 n 2 1 ⇥ ⇥ n 1 n } which we shall call B¯. Then given any c1 A1,...,cn An,weusemembership in B¯ to determine whether or not c ,...,c2 have property2 B:if(c ,...,c ) B¯, 1 n 1 n 2 we say c1,...,cn have property B; if not, we say they do not. (Note that every relation of ZFC is a standard relation, as it is a uniquely defined set and hence is a standard set, and its standard elements satisfy the given formula because all of its elements satisfy it.) At this point, we note that given any standard sets A1,...,An we can define a unique standard relation on A1 ... An solely by its standard elements. This follows from 2.9, as a standard relation⇥ ⇥ is a standard set. That is: we can define what it means for any c1 A1,...,cn An to have some property B simply by saying “for all standard (c 2,...,c ) A 2 ... A ,wesayc ,...,c have property 1 n 2 1 ⇥ ⇥ n 1 n B if B(c1,...,cn) holds true.” (The reader should note that since (c1,...,cn)is a finite set, it will be standard precisely when each of c1,...,cn is standard.) In the future, whenever we define a relation by its standard elements we shall use a sentence such as “given c A ,...,c A ,wesayc ,...,c have property B if 1 2 1 n 2 n 1 n (for c1,...,cn standard) we have B(c1,...,cn).” The reader should note that although (by the above methods) we can easily define a standard relation on A1 ... An corresponding to a property B and can easily check whether or not some⇥ given⇥standard c A ,...,c A have property 1 2 1 n 2 n B, it is not always possible to know whether any given c1 A1,...,cn An have property B. This is because nonstandard elements of the relation2 S (a ,...,a2 ) { 1 n 2 A1 ... An : B(a1,...,an) need not satisfy B(c1,...,cn); see Section 2. Despite⇥ ⇥ this fact, proving} theorems related to properties defined by standard relations is quite easy. For example, let ↵ and be standard relations on A1 ... A . Suppose some Theorem 1 says a A ... a A [(a ,...,a ) ↵⇥ =⇥ n 8 1 2 1 8 n 2 n 1 n 2 ) (a1,...,an) ]; that is, if a1 A1 ...an An have property ↵ then they have property .Thenby(T),since2 ↵2 and are2 standard, we may prove Theorem 1 by st st merely proving a1 A1 ... an An[(a1,...,an) ↵ = (a1,...,an) ]. By similar arguments,8 2 we find8 that whenever2 we are faced2 with) a theorem relating2 to properties (defined by standard relations) of some finite number of sets, in our proof of that theorem we may immediately assume that those sets are standard. We shall do so frequently in Section 5. INTERNAL SET THEORY AND AN INTUITIVE DEVELOPMENT OF THE CALCULUS 9
4. Infinitesimal and Unlimited Numbers In this section, we introduce several of the notions upon which we will develop the calculus. We begin with the following definition. Definition 4.1. Let x be a real number. We say x is infinitesimal if for all standard ✏>0wehave x <✏.Wesayx is limited if there exists a standard real number y such that x | y|.Ifx is not limited, we say x is unlimited. | | We next introduce external induction, which will be quite useful to us both in proofs and in terms of our intuition. Recall the induction theorem of ZFC: if A is an internal formula with free variables including n such that (i) A(0) holds and (ii) k N(A(k)= A(k + 1)), then n NA(n). (Here, we implicitly assume that8 2 all of the other) free variables of A 8have2 already been quantified, so we can talk, for example, of A(0) being true or false.) External induction is the IST analogue of ZFC induction; it allows for external formulas. However, the External Induction Theorem has two weaker hypotheses and a weaker conclusion than the ZFC induction theorem. External Induction Theorem. Let A be a (possibly external) formula with free variables including n.Suppose(i) A(0) holds and (ii) for all standard k N we 2 have A(k)= A(k + 1). Then for all standard n N we have A(n). ) 2 Proof. Let B = S n N : A(n) . Since 0 is standard (since it is uniquely described in ZFC) and since{ by2 hypothesis} A(0) holds, by definition 0 B. Now suppose for 2 some standard k N that k B.Sincek is standard and in B, by definition we have A(k), meaning by2 hypothesis2 we have A(k + 1). Also, since k is standard, k +1is standard (as it is uniquely determined by k), so since we have A(k+1), by definition (k +1) B. In summary, we know stk N(k B = (k +1) B). By applying 2 8 2 2 ) 2 (T), we obtain k N(k B = (k + 1) B). Thus, by the ZFC induction 8 2 2 ) 2 theorem, we have n N(n B). So by definition n N(standard(n)= A(n)); 8 2 2 8 2 ) that is, stn N we have A(n). 8 2 ⇤ Whenever one works with external notions, one should be careful not to apply ZFC induction in place of external induction. For example, as in the above proof we know that 0 is standard and that whenever k N is standard k +1 willbe standard. An inappropriate application of ZFC induction2 would therefore tell us that every natural number n is standard. This is not the case. By 2.7, let S be any finite set containing each standard set as one of its elements. Thus, N S is finite, \ where stn N we have n N S.SosinceN is infinite, there must exist infinitely 8 2 2 \ many nonstandard elements of N. This does not contradict the External Induction Theorem, as that theorem merely gives us the obvious fact stn N(standard(n)). Now returning to unlimited and infinitesimal numbers,8 we note2 that if x is a standard real number, then x is limited. This is because x is standard (since it is uniquely determined by x) and x x . In fact, within| the| natural numbers we can make a stronger observation.| || |
Observation 4.2. Let m N. Then m is standard if and only if m is limited. 2 Proof. One direction of implication was proved above. For the other direction, suppose m is limited. Then by definition sty R(m y). This means y (the smallest integer greater than or equal to9 y)2 is standard since it is uniquelyd e 10 SIMON LAZARUS determined by the standard number y. We now claim st (1) n N x N(x n = standard(x)). 8 2 8 2 ) If (1) is true, then our desired result would follow with y in place of n and m in place of x. So we now prove (1) by external induction.d Ase a base case, clearly x N(x 1= standard(x)), as the only such natural number x is 1, which 8 2 ) is standard. As an induction hypothesis, suppose for some standard k N that 2 x N(x k = standard(x)). Then k + 1 is standard, so clearly we have 8 2 ) x N(x k +1 = standard(x)). By external induction, then, (1) holds. 8 2 ) ⇤ Thus, we now see that the conclusion of external induction is precisely that A(n) holds for all limited n N. Additionally, we now know there exist infinitely many unlimited natural numbers;2 this follows from 4.2 and the fact that there exist infinitely many nonstandard elements of N. We next discuss the existence of infinitesimals. Observation 4.3. (i) If y R is standard and infinitesimal, then y =0. However, 2 (ii) there exists a (nonstandard) x R such that x is infinitesimal but x =0. 2 6 Proof. (i) Suppose y is infinitesimal and y = 0. Then st✏>0( y <✏). Now suppose y is standard. Then we have y >6 0 and y 8is standard| | (since y is uniquely determined by a standard y), so| choosing| y |as| our ✏,wefind y < |y|,a contradiction. Thus, if y is infinitesimal and y = 0,| then| y is not standard.| | | | 6 (ii) We know st finz R x R y z(x =0 (y>0= x