Ordering On Ultrafilters
Rudin–Keisler ordering is a preorder on the class of ultrafilters defined as follows: if U is an ultrafilter on X, and V an ultrafilter on Y, then if and only if there exists a function f: X → Y such that
for every subset C of Y.
Ultrafilters U and V are Rudin–Keisler equivalent, if there exist sets, and a bijection f: A → B which satisfies the condition above. (If X and Y have the same cardinality, the definition can be simplified by fixing A = X, B = Y.)
It is known that is the kernel of, i.e., if and only if and .
Read more about this topic: Ultrafilter
Famous quotes containing the word ordering:
“Seeing then that truth consisteth in the right ordering of names in our affirmations, a man that seeketh precise truth had need to remember what every name he uses stands for, and to place it accordingly, or else he will find himself entangled in words, as a bird in lime twigs, the more he struggles, the more belimed.”
—Thomas Hobbes (1588–1679)