English

Hahn Field Representation of A. Robinson's Asymptotic Numbers

Commutative Algebra 2007-05-23 v1 Logic

Abstract

Let R^*\mathbb{R} be a nonstandard extension of R\mathbb{R} and ρ\rho be a positive infinitesimal in R^*\mathbb{R}. We show how to create a variety of isomorphisms between A. Robinson's field of asymptotic numbers ρR^\rho\mathbb{R} and the Hahn field ρR^(tR)\hat{^\rho\mathbb{R}}(t^\mathbb{R}), where ρR^\hat{^\rho\mathbb{R}} is the residue class field of ρR^\rho\mathbb{R}. Then, assuming that R^*\mathbb{R} is fully saturated we show that ρR^\hat{^\rho\mathbb{R}} is isomorphic to R^*\mathbb{R} and so ρR^\rho\mathbb{R} contains a copy of R^*\mathbb{R}. As a consequence (that is important for applications in non-linear theory of generalized functions) we show that every two fields of asymptotic numbers corresponding to different scales are isomorphic.

Keywords

Cite

@article{arxiv.math/0601722,
  title  = {Hahn Field Representation of A. Robinson's Asymptotic Numbers},
  author = {Todor Todorov and Robert Wolf},
  journal= {arXiv preprint arXiv:math/0601722},
  year   = {2007}
}

Comments

18 pages