We say that $\rho(A)=\lim\_{n\to\infty}\frac{|A\cap n|}{n}$ is the density of subset $A\subset\omega$ if the limit exists. Let us define the filter $\mathcal{F\_1}=\{A\subset\omega~|~\rho(A)=1\}$. 


**Question:** Does there exist (in ZFC & CH) selective ultrafilter $\mathcal{U}$ and a bijection $\varphi:\omega\to\omega$ such that 
 $\varphi(\mathcal{F\_1})\subset\mathcal{U}$ ?


**Remark:** Someone had downvoted two similar questions. Please, explain what is wrong if something is wrong



Dense filter and selective ultrafilter
No, there are no such $\mathcal U$ and $\varphi$.


Let me start the proof with two simplifying observations. First, $\varphi$ is irrelevant, because bijections of $\omega$ to itself preserve selectivity of ultrafilters.


Second, every selective ultrafilter $\mathcal U$ is a P-point, which means that, given any countably many sets $A\_n\in\mathcal U$, there is a set $B\in\mathcal U$ almost included in all of the $A\_n$"s, i.e., $B-A\_n$ is finite for all $n$. To prove that selective ultrafilters $\mathcal U$ have this property, let sets $A\_n\in\mathcal U$ be given. If $\bigcap\_nA\_n\in\mathcal U$, then this intersection serves as the required $B$, so assume $\bigcap\_nA\_n\notin\mathcal U$. Then we can partition $\omega$ into the pieces $\omega-A\_0, A\_0-A\_1, A\_1-A\_2, A\_2-A\_3, \dots$ and $\bigcap\_nA\_n$, none of which are in $\mathcal U$. Selectivity provides a set $B\in\mathcal U$ that intersects each of these pieces in at most one point. Then $B-A\_n$ is finite (in fact it has at most $n+1$ elements) for each $n$, as required.


So now it suffices to show that no P-point ultrafilter $\mathcal U$ can include the density-$1$ filter $\mathcal F\_I$. For each natural number $n\geq 2$, partition $\omega$ into $n$ sets each of which has density $\frac1n$; for example, take the congruence classes modulo $n$. Being an ultrafilter, $\mathcal U$ must contain one of these $n$ sets, say $A\_n$. If $\mathcal U$ is a P-point, it contains a set $B$ almost included in all of these $A\_n$'s. But from almost inclusion it easily follows that $B$ has upper density at most the density $\frac1n$ of $A\_n$. (Upper density is defined like density but with $\limsup$ instead of $\lim$.) So $B$ has upper density $0$, which means it has density $0$. Thus, $\omega-B$ has density $1$ and is therefore in $\mathcal F\_I$, but it is not in $\mathcal U$ because $B\in\mathcal U$.


