Ultraproduct of a metric space

Question

I am currently trying to understand "Curvature bounded below: a definition a la Berg--Nikolaev" by Nina Lebedeva and Anton Petrunin.

They start with a complete, intrinsic metric and space $X$ and say that one can assume that $X$ is geodesic (a shortest path exists between two arbitrary two points) otherwise one passes to the Ultraproduct of X. My question is what is the Ultraproduct of $X$ and why is it geodesic?

Wikipedia says that for metric spaces the Ultraproduct is somewhat more special and one considers the Ultralimit... I found something about Ultralimits in Metric spaces of Non-positive curvature in particular the following 3 results:

1. Every Ultralimit of metric spaces is complete.
2. The Ultralimit of a sequence of metric spaces is a length space if every metric space in the sequence was a length space.
3. The Ultralimit of a sequence of metric spaces is a geodesic space if every metric space in the sequence was a geodesic space

However they do not explain, why I am allowed to consider a geodesic space if I start with just an intrinsic one.

Thanks in advance!

Answer 1

If you have a sequence of paths $\gamma_i$ (between $p$ and $q$) of length converging to the infimum then the equivalence class of the sequence $\langle \gamma_i:i\in\mathbb N\rangle$ will give a minimizing path in the ultrapower.

Answer 2

I do not know for sure, but here are two possible interpretations. Let $(X,d)$ be a metric space, $\omega$ a nonprincipal ultrafilter on ${\mathbb N}$. The standard definition of the ultraproduct $$ X^*:= \left(\prod_{n\in {\mathbb N}} X\right)/\omega $$ of $X$ as a set is the quotient of $$ \prod_{n\in {\mathbb N}} X $$ by the following equivalence relation: $(x_n)\sim (y_n)$ iff these two sequences are equal on a subset contained in $\omega$. Now, you need to define a metric on this ultraproduct. The most natural thing to do is to define a metric with values in the field of nonstandard real numbers ${}^*{\mathbb R}$: $$ d^*((x_n), (y_n))= [d(x_n, y_n)] $$ where $[t_n]$ is the nonstandard real number represented by the sequence $(t_n)$ of real numbers. For such a nonstandard metric one can define all the usual concepts like completeness, geodesic property, etc.; it is easy to see that the ultraproduct $(X^*, d^*)$ is a geodesic metric space in this sense. Suppose, however, that you want to have a traditional metric, taking values in real numbers. You need a projection from ${}^*{\mathbb R}_+$ to $[0, \infty]$ and this is what the ultralimit of sequences accomplishes: $$ lim_{\omega}: {}^*{\mathbb R}_+ \to [0, \infty]. $$ Then the only natural thing I can think of is the ultralimit of the constant sequence $(X, d, x)$ of pointed metric spaces as the ultraproduct of $(X,d)$: It picks up a certain subset of $(X^*, d^*)$ and takes its further quotient, using the map $lim_\omega$.

Then the results that you quoted show that such ultraproduct is again complete and geodesic.

Hope it helps. I will add the tags "nonstandard analysis", "model-theory" and "logic" to your question, maybe logicians on this site can provide further insight.