Let $\omega^\omega$ denote the set of all functions $f:\omega\to\omega$. For $f,g\in\omega^\omega$ we say $f\simeq\_{\text{fin}} g$ if there is $n\in \omega$ such that $f(k) = g(k)$ for all $k\geq n$.


We say that $A\subseteq \omega$ has *measure 1* if $$\text{lim inf}\_{n\to\infty}\frac{|A\cap\{1,\ldots,n+1\}|}{n+1} = 1.$$We define another equivalence relation on $\omega^\omega$ by setting $f\simeq\_1 g$ if $$\{n\in\omega:f(n)=g(n)\} \text{ has measure } 1.$$


When I look at the posets $(\omega^\omega/\simeq\_{\text{fin}}, \leq\_{\text{fin}})$ and $(\omega^\omega/\simeq\_{1}, \leq\_{1})$ (where the ordering relations are defined "pointwise modulo the equivalence relation"), I get the feeling that they are not isomorphic and am quite certain this is correct. However a proof has eluded me. Any help is appreciated!



Are these two quotients of $\omega^\omega$ isomorphic?
Very nice question!


They are not isomorphic.


What I claim is that when we take the quotient with respect to density, there is a countably infinite antichain above $0$ having a minimal upper bound, but when we take the quotient modulo finite, there is no such antichain. This is a property that distinguishes the isomorphism types.


To see this, I shall use the characteristic of the size of the
smallest infinite maximal almost disjoint family of sets in two
quotients. It turns out that these cardinals are different for the
two quotients.


Namely, on the one hand, the size of the smallest infinite maximal
almost-disjoint family modulo the finite sets is well-known to be
uncountable. This is the cardinal characteristic known as $\frak
a$.


On the other hand, when we take the quotient of $P(\omega)$ modulo
the ideal of asymptotic density zero sets, usually denoted $Z\_0$, then it turns out that there is a countably infinite maximal almost disjoint family.
Simply let $A\_0$ be half the numbers (the evens, say); let $A\_1$
be half of what is left; let $A\_2$ be half of what is left after
that, and so on. These sets are disjoint, union to the whole space and $A\_n$ has density $1/2^{n+1}$; so for any set $A$ with positive density, there is large enough $N$ such that it does not concentrate on the tail sets $\bigcup\_{k\geq N}A\_k$, since this union is too sparse, and so it must have $A\cap A\_n$ with positive density for some $n<N$. (See additional detail in lemma 2.5 in
Barnabás Farkas, Lajos Soukup, [The zero density
ideal, cardinal invariants and related forcing problems](http://www.renyi.hu/~descript/papers/Fa_So_zero.pdf).)


If $f\_n$ is the characteristic function of $A\_n$, then it follows
that $0<f\_n<1$ for all $n$, modulo density, and the $f\_n$ are incomparable and
have meet $0$ and the constant-$1$ function is a minimal upper
bound of the $f\_n$, since if $h<f$ modulo density, then the set
where it dropped would have positive density on some $A\_n$, and in
this case, we wouldn't have $f\_n\leq h$ modulo density. So in the
density quotient $\omega^\omega/Z\_0$, we have the countable
antichain above $0$ with a minimal upper bound.


But this situation cannot arise in the other quotient
$\omega^\omega/\text{Fin}$. Namely, if we have $0<g\_n<h$ modulo finite and
$g\_n\wedge g\_m=0$ for all $n\neq m$, then the support of the
$g\_n$'s must form an almost-disjoint family. But since it is
countable, there is another set almost disjoint from all these
supports, and contained in the support of $h$. So we can reduce
$h$ on that set to find a strictly smaller $h'<h$, which is still
an upper bound of the $g\_n$. So $h$ is not a minimal upper bound
of the $g\_n$ modulo finite.


So the two quotient order structures are not isomorphic.


