## Nonstandard Analysis: Theory and ApplicationsLeif O. Arkeryd, Nigel J. Cutland, C. Ward Henson 1 More than thirty years after its discovery by Abraham Robinson , the ideas and techniques of Nonstandard Analysis (NSA) are being applied across the whole mathematical spectrum,as well as constituting an im portant field of research in their own right. The current methods of NSA now greatly extend Robinson's original work with infinitesimals. However, while the range of applications is broad, certain fundamental themes re cur. The nonstandard framework allows many informal ideas (that could loosely be described as idealisation) to be made precise and tractable. For example, the real line can (in this framework) be treated simultaneously as both a continuum and a discrete set of points; and a similar dual ap proach can be used to link the notions infinite and finite, rough and smooth. This has provided some powerful tools for the research mathematician - for example Loeb measure spaces in stochastic analysis and its applications, and nonstandard hulls in Banach spaces. The achievements of NSA can be summarised under the headings (i) explanation - giving fresh insight or new approaches to established theories; (ii) discovery - leading to new results in many fields; (iii) invention - providing new, rich structures that are useful in modelling and representation, as well as being of interest in their own right. The aim of the present volume is to make the power and range of appli cability of NSA more widely known and available to research mathemati cians. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

II | 1 |

IV | 2 |

V | 14 |

VI | 22 |

VII | 29 |

VIII | 36 |

IX | 43 |

X | 51 |

LV | 174 |

LVI | 183 |

LVIII | 186 |

LIX | 199 |

LX | 205 |

LXI | 209 |

LXII | 210 |

LXIII | 213 |

XII | 52 |

XIII | 56 |

XIV | 59 |

XV | 64 |

XVI | 67 |

XVII | 69 |

XVIII | 75 |

XIX | 77 |

XXI | 79 |

XXII | 80 |

XXIII | 81 |

XXIV | 82 |

XXV | 84 |

XXVIII | 85 |

XXIX | 86 |

XXX | 87 |

XXXI | 91 |

XXXIII | 94 |

XXXIV | 98 |

XXXV | 102 |

XXXVI | 105 |

XXXVII | 109 |

XXXVIII | 112 |

XXXIX | 115 |

XL | 116 |

XLI | 121 |

XLIII | 125 |

XLIV | 130 |

XLV | 135 |

XLVI | 140 |

XLVII | 143 |

XLVIII | 146 |

XLIX | 153 |

LII | 159 |

LIII | 167 |

LIV | 169 |

LXIV | 216 |

LXV | 220 |

LXVI | 223 |

LXVII | 225 |

LXVIII | 228 |

LXIX | 231 |

LXX | 237 |

LXXI | 240 |

LXXII | 242 |

LXXIII | 244 |

LXXIV | 249 |

LXXV | 251 |

LXXVI | 253 |

LXXVII | 254 |

LXXVIII | 259 |

LXXX | 260 |

LXXXI | 270 |

LXXXII | 273 |

LXXXIII | 276 |

LXXXIV | 279 |

LXXXVI | 283 |

LXXXVII | 289 |

LXXXVIII | 293 |

LXXXIX | 296 |

XC | 304 |

XCI | 309 |

XCII | 310 |

XCIII | 317 |

XCIV | 326 |

XCV | 341 |

XCVII | 344 |

XCVIII | 350 |

XCIX | 354 |

355 | |

357 | |

### Common terms and phrases

A C Xm adapted algebra applications assume Banach space bounded Brownian motion called cardinality compact condition consider construction contains convergence Corollary countable Cutland defined Definition denote element example Exercise exists finite finite intersection property formula function f give given graph Hausdorff hence Henson hyperfinite infinite infinitesimal internal function internal set internal subset intersection isomorphism K-saturated Keisler Lebesgue measure Lemma Let f lifting Lindstr0m linear Loeb measure Loeb space logical martingale Math mathematical metric space monad nearstandard neocompact set neocontinuous non-empty nonstandard analysis nonstandard extension nonstandard hull nonstandard universe norm notation Note open set operator probability space proof of Theorem Proposition prove random variable real number result S-continuous satisfies Section sequence solution standard part map stochastic differential equations stochastic integral superstructure Suppose theory topological space topology Transfer Principle ultrafilter ultrapower vector field X2-martingale