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

Let $\omega$ be a nonprincipal ultrafilter on $\mathbb N$.

A standard construction gives an $\omega$-limit, say $x_\omega$, for any bounded sequence $(x_n)$ of real numbers. Namely, there is unique real value $x_\omega$ such that
$$\{\,n\in\mathbb N\mid |x_\omega-x_n|<\varepsilon\,\}\in \omega$$ for any $\varepsilon>0$.

Clearly $x_\omega$ is a partial limit of $x_n$ [i.e., $x_\omega$ is a limit of a subsequence of $(x_n)$].

Question. Is it always possible to choose subsequence $(x_n)$, $n\in J$ converging to $x_\omega$ and such that $J\in\omega$?

share|cite|improve this question
1  
There also is a corresponding notion or P-filter (although they appear more frequently as the dual notion of P-ideal.) It can be defined in a similar way as p-point and such filters are precisely the filters with the property the OP is asking about. The reference I am aware of is: Kostyrko, Šalát, Wilczynski: I-convergence; Real Anal. Exchange, Volume 26, Number 2 (2000), 669-686. projecteuclid.org/euclid.rae/1214571359 – Martin Sleziak Jul 8 at 9:04
up vote 16 down vote accepted

No, only if $\omega$ is a p-point.

If $(A_k:k\in \mathbb N)$ is a partition of the natural numbers into $\omega$-small sets such that there is no $\omega$-large set meeting each $A_k$ in a finite set, then we can choose a sequence $x_n$ by declaring $x_n:= 1/k$ whenever $n\in A_k$. On each set $J\in \omega$ the sequence $x_n$ does not converge to 0.

To find a non-p-point, partition $\mathbb N$ into countably many infinite sets $A_k$, let $I$ be the ideal of sets meeting each $A_k$ only finitely often (except for finitely many $k$), and let $\omega$ be dual to any maximal ideal extending $I$. Then each $A_k$ is in $I$, hence null modulo $\omega$. The partition $(A_k)$ witnesses that $\omega$ is not a p-point.

Note that ZFC does not prove that there are p-points, but existence of p-points follows from CH (or weaker assumptions).

share|cite|improve this answer

Your Answer

 
discard

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.