3
$\begingroup$

First, some notation:

  • Set variables, $X, Y$, range over sets of natural numbers, $\mathbb{N}={1,2,3,..}$.

  • Square brackets represent sets of natural numbers based on a formula. $$[φ(\mathbf{n})]=\{φ(n)|n∈N\}$$ So, $[2n]=\{2,4,6…\}$ and $[\mathbf{n}^2] = {1, 4, 9, ..}$

  • $X_Y$ = the selection of $X$ based on $Y$: $$X_Y = \{X_k|k\in Y\}$$ where $X_k$ is the $k$-th member of $X$ (in numeric order).

    So, $X_{[2n]}$ consists of every second element of X and $X_{[n^2]} = \{X_1, X_4, X_9,…\}$

Now, the question: Is there a non-principal ultrafilter, $F$, over $\mathbb{N}$ such that:

  1. For each $k \in \mathbb{N}$, $[k\mathbf{n}]\in F$.
  2. If $X \in F$, then, for every $k$, $[k\mathbf{n}]_X \in F$.
  • 0
    How did you come up with the question?2012-11-03
  • 0
    I am trying to prove the existence of _sizings_ of sets of natural numbers which have satisfy some similarity conditions - for example - that $$\sigma(X) = \sigma(Y) \iff \sigma([kn]_X) =\sigma([kn]_Y)$$. By _sizings_, I mean the kinds of orderings developed in the citations on my answer to http://math.stackexchange.com/questions/1393/relative-sizes-of-sets-of-integers-and-rationals-revisited-how-do-i-make-sense/203828#203828.2012-11-03
  • 0
    @fmkatz, the answer also depends on the set axiom system: according to Herrlich's *Axiom of Choice*, in ZF+AD there are no non-principal (he calls them "free") ultrafilters on $\mathbb N$2013-01-14

1 Answers 1