Skip to main content
4 of 4
Updated with remarks on the uniformity requirement
Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k

This is never true in the circumstances you request, quite apart from your uniformity requirement, since some $U$ admit no such $f$ at all.

The reason is that if $[\text{id}]_U$ is generated by $\kappa$ in this way, then indeed the whole embedding $j_U$ will be isomorphic to the induced ultrapower by the normal measure. If $j_U:V\to M$ is the ultrapower by $U$, then every element of $M$ has the form $j_U(h)([\text{id}]_U)$ for some function $h$, since $[h]_U\mapsto j_U(h)([\text{id}]_U)$ is an isomorphism, and by composing with your function $f$ we would get that every element of $M$ has the form $j_U(g)(\kappa)$ for some function $g:\kappa\to V$. But this occurs only when $U$ is isomorphic to a normal measure on $\kappa$, the induced measure $X\in\mu\iff\kappa\in j_U(X)$, with the isomorphism being $[g]_\mu\mapsto j_U(g)(\kappa)$.

If $\kappa$ is measurable, however, then there are always measures on $\kappa$ that are not isomorphic to any normal measure, and these will form counterexamples to your property. For example, a product of measures $\mu\times\mu$ is never isomorphic to a normal measure. Such ultrafilters $U$ can have no function $f:\kappa\to V$ for which $j_U(f)(\kappa)=[\text{id}]_U$.

I conceive of all of this kind of reasoning as part of what I call seed theory. An elementary introduction to seed theory is available in my paper:

Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k