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:
“We want our children to become warm, decent human beings who reach out generously to those in need. We hope they find values and ideals to give their lives purpose so they contribute to the world and make it a better place because they have lived in it. Intelligence, success, and high achievement are worthy goals, but they mean nothing if our children are not basically kind and loving people.”
—Neil Kurshan (20th century)