Let be a group, be an infinite transitive -space. A free ultrafilter on is called -selective if, for any -invariant partition of , either one cell of is a member of , or there is a member of which meets each cell of in at most one point. We show (Theorem 1) that in ZFC with no additional set-theoretical assumptions there exists a -selective ultrafilter on , describe all -spaces (Theorem 2) such that each free ultrafilter on is -selective, and prove (Theorem 3) that a free ultrafilter on is selective if and only if is -selective with respect to the action of any countable group of permutations of . A free ultrafilter on is called -Ramsey if, for any -invariant coloring , there is such that is -monochrome. By Theorem 4, each -Ramsey ultrafilter on is -selective. Theorems 5 and 6 give us a plenty of -selective ultrafilters on (as a regular -space) but not -Ramsey. We conjecture that each -Ramsey ultrafilter is selective.

生成讲解博客的中文版本

生成AI智能校验的中文版本