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

I have a sequence of finite-dimensional, compact sets in $L^2(\Omega)$, where $\Omega\subset \mathbf{R}^2$ is closed and bounded. The dimension grows monotonically with the sequence, and there is no assumption that the sets are nested or anything. I would like to say something about the "limiting set", but sequence doesn't converge under standard "set metrics" like the Hausdorff metric (for example, in the Hausdorff psuedometric, a limit of compact sets, if it exists, is compact, so long as the underlying metric space is complete).

Does anyone know a way to talk about convergence of finite-dimensional compact sets to an infinite-dimensional set?

P.S. This is my first post. I read the rules, but my apologies in advance for any mistakes.

share|cite|improve this question
There are stronger norms defined on subsets of $L^2$ whose unit balls are compact in $L^2$. If in your problem the sets are uniformly bounded in such a norm, maybe you could say something? – Anthony Quas Nov 15 '12 at 20:35
"Infinite-dimensional" does not imply "non-compact". Some sequences with dimension going to infinity actually converge in the Hausdorff metric. – Sergei Ivanov Nov 15 '12 at 22:19
@Sergei: Hilbert cube! – Nik Weaver Nov 16 '12 at 1:09

Ok. Suppose $\mathcal{F}_n \subset L^2(\Omega)$ such that $\mathcal{F}_n$ is spanned by $n$ linearly independent "vectors" with bounded norm, which means $L^2(\Omega)$ functions such that $||f||\leq C$ for all $f \in \mathcal{F}_n$. Then being finite-dimensional subspaces these sets will be compact in the strong topology.

However, in general, the limit will almost never be compact, since in this case it will recover a ball in $L^2(\Omega)$ which is not compact in the strong topology. You are going to need to make some more assumptions on the relationship between the sets to recover some information on the limit.

share|cite|improve this answer

As a general idea, without any other information on a sequence, it seems rather unlikely to find a natural metric in which it converges. Yet a metric in which it has a convergent subsequence is a more reasonable task; then you may prove that your sequence actually converges there, by means of additional informations on the particular sequence.

Here, if these compact sets $C_n$ are included in a closed ball $B$ of $L^2(\Omega)$, you may use the Hausdorff distance induced from the weak topology, which makes $B$ a metric compact space. So $\mathcal{H}(B)$ is a compact metric space, and your sequence has a convergent subsequence there, that converges to a weakly compact set. Otherwise you may just consider the trace on each ball, $C_n\cap \bar B( 0,r)$, and get by a standard diagonal argument a subsequence $C_ {n _ k}$ that converges on the Hausdorff distance of the weak topology on bounded sets.

share|cite|improve this answer

If you do not have a limit, but want to talk about it you say "ultralimit".

Let $(K_n)$ be your sequence of compact sets (in any complete metric space not nesessury $L^2(\Omega)$). Consider sequence of functions $$f_n=\mathop{\rm dist}\nolimits_{K_n}.$$ It is a a sequence of 1-Lipschtz functions, so you can pass to its ultralimit $f_\omega$ for a fixed in advance ultrafilter $\omega$. The zero set $K_\omega$ of $f_\omega$ can be considered as the ultralimit of $K_n$.

share|cite|improve this answer

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.