Hello,
i was reading your article about non metrizability of \*R.
i was able to prove that the interval open topology is not metrizable by proving that the intersection of decreasing hyper-intervals contains an interval. But i do not get how you used this argument for any metric, since we do not know how our nested balls look like.
Plus how do you prove that \*R is not connected?
thanks a lot



Metrization of hyperreals
I am not sure whom you are addressing in your question, but
some of your remarks relate to issues brought up at [this
MO
question](https://mathoverflow.net/questions/10870/which-topological-spaces-admit-a-nonstandard-metric). If not, could you let us know to which post you were referring?


It is quite common to consider hyperreal structures
${}^\*\mathbb{R}$ that exhibit uncountable cofinality, which
means that every countable subset of the hyperreals is
bounded. For example, this is true in all the hyperreal
models obtained by the ultrapower method, and it is a
consequence of the $\omega\_1$-saturation property that is often
insisted upon. (But it is possible though rarely done to construct hyperreal
models with the full transfer principle, but mere countable cofinality.)


In any hyperreal model with uncountable cofinality, no
point has a countable local basis in the order topology,
since for any countable collection of neighborhoods, one
can find an infinitesimal ball around the point contained
in them all. Thus, such a space cannot be metrizable, as
metric spaces always have a countable local basis at every
point, a countable collection of open neighborhoods of the
point, such that every open neighborhood of the point
contains one of them.


In a hyperreal model ${}^\*\mathbb{R}$ with *countable* cofinality (rare but possible), however, then the order topology is metrizable. To see this, fix an increasing unbounded $\omega$-sequence of nonstandard reals $r\_n$, which will eventually include many infinitely large hyperreals, and assume $r\_{n+1}\geq 2r\_n$. The balls of radius $\frac{1}{r\_n}$ form a countable local basis around any point. Define a metric $d$ on ${}^\*\mathbb{R}$ by $d(x,y)=\frac{1}{2^n}$, if $n$ is first such that $\frac{1}{r\_n}\leq |y-x|$. It generates the same topology since the ball of radius $\frac{1}{2^n}$ corresponds basically to the interval of radius $\frac{1}{r\_n}$ in ${}^\*\mathbb{R}$. 


Finally, the hyperreals are never connected, since we may
partition the space into the infinitesimals and the
non-infinitesimals, and these sets are both disjoint and
open. In the case that there are increasingly tiny levels of infinitesimality, a consequence of saturation, then the same argument shows that the space is totally disconnected, since for any two points I may consider the lower-level infinitesimals around $p$ and the complement of this set, which are both open.


