MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


they define the ultracoproduct of a sequence of compact Hausdorff spaces, $\sum_\mathcal{U}X_i$ along an ultrafilter $\mathcal{U}$ as the Wallman-Frink compactification of the ultraproduct


where each $A_i$ is the normal lattice base of the closed sets of $X_i$. More generally, I it appears that you can do this for more general topological spaces (at least Tychonoff?): .

I'm wondering: is it possible to drop (or at least some how relax) the condition that the base is separating (condition 4, Definition P3.1) and have some sort of ultracoproduct construction?

If we consider compact Hausdorff spaces again, then for a sequence $(X_i)$ of spaces, I believe it is also true that


where $C(X)$ is the Banach space of continuous, real-valued functions on $X$ and $\prod_{\mathcal{U}}C(X_i)$ is the Banach ultraproduct. Would it make sense (for more general topological spaces $X_i$) to just define the ultracoproduct as


where $C_b(X_i)$ is the Banach space of bounded, continuous, real-valued functions on $X_i$? I suppose that this would make sense if there was a good way to recover the space $\sum_{\mathcal{U}}X_i$ from $C_b(\sum_{\mathcal{U}}X_i)$.

Also, Can an ultracoproduct be (perhaps naively) be seen as a kind of Kolmogorov quotient of an ultraproduct?

share|cite|improve this question
Ah, the answer might be that the ultracoproduct of general topological spaces is homeomorphic to the ultracoproduct of their Stone-Čech compactification. – greg Jul 16 '13 at 0:42

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.