Relationships Among Ideals
If I and J are ideals on X and Y respectively, I and J are Rudin–Keisler isomorphic if they are the same ideal except for renaming of the elements of their underlying sets (ignoring negligible sets). More formally, the requirement is that there be sets A and B, elements of I and J respectively, and a bijection φ : X \ A → Y \ B, such that for any subset C of X, C is in I if and only if the image of C under φ is in J.
If I and J are Rudin–Keisler isomorphic, then P(X) / I and P(Y) / J are isomorphic as Boolean algebras. Isomorphisms of quotient Boolean algebras induced by Rudin–Keisler isomorphisms of ideals are called trivial isomorphisms.
Read more about this topic: Ideal (set Theory)
Famous quotes containing the word ideals:
“There is something to be said for government by a great aristocracy which has furnished leaders to the nation in peace and war for generations; even a Democrat like myself must admit this. But there is absolutely nothing to be said for government by a plutocracy, for government by men very powerful in certain lines and gifted with the “money touch,” but with ideals which in their essence are merely those of so many glorified pawnbrokers.”
—Theodore Roosevelt (1858–1919)