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

Hi, I am interested in the following question:

Fix $n$. Let $M_n$ be matrix algebra over the field of complex numbers with normalized trace $tr_n$. Let $M_n^{\omega}$ be an ultrapover of $M_n$, namely we consider the algebra of all bounded (in norm) sequences in $M_n$,say $l_{\infty}(M_n)$, and take a quotient of this space by sequences $(a_i)_{i\in\mathbb{N}}$ with $lim_{\omega} tr_n(a_i^*a_i)=0$. Is $M_n^{\omega}$ is finite-dimensional? What is the structure of $M_n$?

Also, if $F_i$ is $n$-dimensional Banach space, what is the dimension of the Banach space ultraproduct of $\{F_i\}$.

share|cite|improve this question
A good reference for this sort of stuff (which would also have answered your question) is Heinrich's article, now available for free:… – Matthew Daws Jul 6 '11 at 12:41
up vote 4 down vote accepted

If the space $F$ is $k$-dimensional with basis $b_1,\ldots b_k$ then the ultraproduct with respect to the ultrafilter $U$ will also be $k$-dimensional. To see this let $x_i\in \ell_\infty(F_i)$ and let $q_{i,j}$ be scalars such that $\sum_{j=1}^kq_{i,j}b_j =x_i $. By the compactness of the ball in finite dimensional spaces the $q_{i,j}$ converge to $q_{j}$ with respect to $U$ and so $\sum_{j=1}^kq_{j}b_j = x$ modulo $U$.

The same argument works of different $k$-dimensional Banach spaces as long as there is a uniform bound on the norm of the identity map from one space to the other to allow the compactness argument to be used --- in other words, there is a single ball containing the unit balls of all the $F_i$.

share|cite|improve this answer
The condition on your second paragraph is always true, as a k-dim Banach space is always at most $\sqrt{k}$ distant from $\ell^2_k$ in the Banach-Mazur distance-- see – Matthew Daws Jul 6 '11 at 12:37
Thanks Matthew. I had had in mind a sequence of 2-dimensional spaces with increasingly oblong unit balls. I will have to think about why the bounded Banach-Mazur distance saves the day for such a product. – Juris Steprans Jul 6 '11 at 12:58
@Juris-- But then the "correct" unit length basis vectors also become enlongated, and so the distortions sort of cancel out... – Matthew Daws Jul 6 '11 at 15:04

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.