- #1
Bipolarity
- 776
- 2
I have begun to read about the hyperreals, and am wondering whether the natural extensions of real-valued functions to hyperreal-valued functions is simply a definition of the hyperreals, or can it be proved? Or is it accepted as an axiom?
For example, if f(x) = sin(x), then is the existence of f*(x) = sin*(x) provable, or is it assumed? (f*(x) and sin*(x) represent the natural extensions.)
Thanks!
BiP
For example, if f(x) = sin(x), then is the existence of f*(x) = sin*(x) provable, or is it assumed? (f*(x) and sin*(x) represent the natural extensions.)
Thanks!
BiP