Strict Stripping in Hyperreal Analysis

• Strict stripping is a nonstandard analysis approach where .999... is represented as a hyperreal number that is strictly less than 1 until its infinitesimal deficit is removed by the standard part function.
• The framework uses ultrapowers to construct hyperreals, with an infinite hyperinteger H producing a hyperfinite decimal sum that equals 1 - 10^(-H), highlighting a measurable infinitesimal gap.
• Lightstone’s extended decimal notation clarifies the dual role of the ellipsis by distinguishing between the standard limit in ℝ and a specific nonstandard instantiation in *ℝ.

“Strict stripping” denotes a nonstandard-analysis account of the decimal expression $.999\ldots$ in which a specific hyperreal instantiation can be strictly less than $1$, yet becomes equal to $1$ after application of the standard part map. In this framework, the expression with an $H$-long block of 9s, for an infinite hyperinteger $H$, represents a hyperreal $x_H = 1-10^{-H}$, where $10^{-H}$ is a positive infinitesimal. The classical real-number evaluation $.999\ldots=1$ is then recovered by “stripping away” that infinitesimal deficit via the standard part function. The construction separates two meanings of the ellipsis: a limit in $\mathbb{R}$, and a particular nonstandard instantiation in ${}^\ast\mathbb{R}$ (Katz et al., 2008).

1. Hyperreal framework and the meaning of stripping

The underlying number system is Robinson’s hyperreal field, constructed by ultrapowers. Fix a nonprincipal ultrafilter $1$0 on $1$1. Then

$1$2

with arithmetic and order defined coordinatewise modulo $1$3. The constant embedding

$1$4

identifies $1$5. Similarly,

$1$6

This ordered field extension is real-closed and is equipped with the Transfer Principle: any first-order statement true in $1$7 is true in $1$8 for the corresponding starred objects (Katz et al., 2008).

A hyperinteger is an element $1$9. It is infinite if $1$0, equivalently if $1$1 for every standard $1$2. A hyperreal $1$3 is infinitesimal if

$1$4

A hyperreal $1$5 is finite if it lies within some standard bound. For each finite $1$6, there is a unique real $1$7 such that $1$8, meaning that $1$9 is infinitesimal. The map

$H$0

is the standard part function.

In this context, “stripping” names the action of $H$1: it strips away the infinitesimal part of a finite hyperreal, collapsing an entire cluster of infinitely close values to a single real number. The paper characterizes the usual assertion $H$2 as depending on this unspoken removal of an infinitesimal, described as the “stripping away of a ghost of an infinitesimal,” echoing Berkeley (Katz et al., 2008).

2. Lightstone decimals and nonstandard decimal notation

Lightstone’s extended decimal expansions provide a notation for hyperreals in which digit positions are indexed not only by standard integers but also by hyperintegers. A semicolon separates the standard part of the decimal from the nonstandard tail. Positions before “;” are the standard digit slots $H$3, while positions after “;” lie beyond every standard index and are indexed by nonstandard hyperintegers. A hat marks a specific hyperinteger position (Katz et al., 2008).

In this notation, an $H$4-long block of 9s is written

$H$5

meaning that the digit $H$6 occurs in every standard position and still occurs at the $H$7-th place in the nonstandard tail. The notation therefore records a decimal with an unbounded initial run of 9s, but one that is still associated with a particular hyperinteger index $H$8.

The same notation expresses infinitesimals. For example,

$H$9

represents the negative infinitesimal $H$0: all zeros up to the $H$1-th place after the semicolon, where there is a single $H$2. The notation is not merely suggestive. It gives a direct decimal representation of the infinitesimal difference between a hyperreal of the form $H$3 and the real number $H$4 (Katz et al., 2008).

This notation is essential to the strict-stripping account because it distinguishes the standard initial segment of the decimal from a nonstandard tail. A plausible implication is that the ordinary ellipsis in $H$5 suppresses a distinction that becomes explicit once decimal positions are indexed by hyperintegers.

3. The hyperreal $H$6 and the strict inequality

Let $H$7 be an infinite hyperinteger. Consider the hyperfinite geometric sum

$H$8

By Transfer of the finite geometric sum formula

$H$9

one obtains, with $x_H = 1-10^{-H}$0 and $x_H = 1-10^{-H}$1 replaced by $x_H = 1-10^{-H}$2,

$x_H = 1-10^{-H}$3

Multiplying by $x_H = 1-10^{-H}$4 yields

$x_H = 1-10^{-H}$5

Equivalently, $x_H = 1-10^{-H}$6 is Lightstone’s decimal

$x_H = 1-10^{-H}$7

with the last $x_H = 1-10^{-H}$8 occurring at the $x_H = 1-10^{-H}$9-th digit (Katz et al., 2008).

Set

$10^{-H}$0

Then $10^{-H}$1, and $10^{-H}$2 is infinitesimal. The proof is standard within the hyperreal framework: if $10^{-H}$3 is a standard real, choose $10^{-H}$4 with $10^{-H}$5. Since $10^{-H}$6 is infinite, $10^{-H}$7. By transfer of monotonicity for $10^{-H}$8,

$10^{-H}$9

Thus $.999\ldots=1$0 is smaller than every standard positive real, hence infinitesimal (Katz et al., 2008).

Therefore,

$.999\ldots=1$1

while also

$.999\ldots=1$2

This yields the strict nonstandard inequality

$.999\ldots=1$3

The inequality is strict in $.999\ldots=1$4, not merely heuristic. The deficit from $.999\ldots=1$5 is a positive infinitesimal, not zero.

4. Standard part and recovery of the real equality

Since $.999\ldots=1$6 is finite and $.999\ldots=1$7, the standard part function applies:

$.999\ldots=1$8

This is the stripping step proper. The infinitesimal deficit $.999\ldots=1$9 is removed, and equality with $\mathbb{R}$0 is recovered at the real level (Katz et al., 2008).

The account therefore distinguishes two procedures. In $\mathbb{R}$1, one may first evaluate a hyperfinite sum at an infinite hyperinteger $\mathbb{R}$2, obtaining a number strictly less than $\mathbb{R}$3. One may then apply $\mathbb{R}$4, thereby collapsing that hyperreal to the real number $\mathbb{R}$5. The classical real equality appears as the endpoint of this two-step nonstandard procedure:

1. evaluate at $\mathbb{R}$6;
2. take standard part.

The paper contrasts this with the standard real interpretation, where

$\mathbb{R}$7

In $\mathbb{R}$8, there is no nonzero infinitesimal deficit to retain. In $\mathbb{R}$9, the specific instantiation ${}^\ast\mathbb{R}$0 remains strictly less than ${}^\ast\mathbb{R}$1 until ${}^\ast\mathbb{R}$2 is applied. This suggests that the controversy surrounding ${}^\ast\mathbb{R}$3 often turns not on arithmetic error but on an unstated shift between number systems and between operations.

5. Ambiguity of the ellipsis and the generic limit

The central interpretive claim concerns the ambiguity of the ellipsis “${}^\ast\mathbb{R}$4”. In standard analysis, the ellipsis denotes a limiting process:

${}^\ast\mathbb{R}$5

In nonstandard analysis, the same pattern may be instantiated at an infinite hyperinteger:

${}^\ast\mathbb{R}$6

These are not contradictory statements because they refer to different mathematical objects (Katz et al., 2008).

The paper links this distinction to Cornu and Tall’s notion of a “generic limit,” which models the intuition that an endless process “never quite reaches” its limit but gets “arbitrarily close.” In the hyperreal framework, that intuition corresponds to selecting an infinite hyperinteger ${}^\ast\mathbb{R}$7 and obtaining a precise infinitesimal shortfall ${}^\ast\mathbb{R}$8. The “generic limit” is thus represented by a nonzero but negligible quantity.

This is also the setting in which student resistance to the evaluation ${}^\ast\mathbb{R}$9 is interpreted. So long as the ambient number system has not been specified, the idea that $1$00 could fall infinitesimally short of $1$01 is mathematically coherent in $1$02. The resistance is then directed, in nonstandard terms, against an unspoken application of $1$03. Once the framework is made explicit, the ambiguity dissolves: either one works in $1$04, where “$1$05” means a limit, or one works in $1$06, where an $1$07-long decimal yields a specific hyperreal less than $1$08 (Katz et al., 2008).

6. Generality across bases and formal summary

The mechanism is base-independent. For any integer base $1$09, and any infinite hyperinteger $1$10,

$1$11

If

$1$12

then $1$13 is a positive infinitesimal by the same argument used in base $1$14. Hence

$1$15

In Lightstone notation, the corresponding expansion has an $1$16-long block of $1$17 digits, with the last $1$18 marked at the $1$19-th nonstandard place (Katz et al., 2008).

The formal statements collected in the paper are these:

$1$20

$1$21

$1$22

$1$23

$1$24

$1$25

These formulas define the strict-stripping picture with precision. In $1$26, $1$27 by limits. In $1$28, a particular hyperfinite decimal with an infinite but bounded-by-$1$29 run of 9s is strictly less than $1$30. Equality is recovered only after the standard part function strips away the infinitesimal deficit.