Skip to main content
Added anwer to bonus question; the previous answer is actually an answer to the other bonus question.
Source Link
KP Hart
  • 11.4k
  • 38
  • 48

AnAs an answer to the bonus question: yesno, see K. P. Hart and J. Vermeer. Fixed-point sets of autohomeomorphisms of compact F-spaces, Proceedings of the American Mathematical Society, 123 (1995), 311–314: every fixed-point set of an autohomeomorphism of $\omega^*$ is a $P$-set. The same paper also answers the other bonus question: every $P$-set is the fixed-point set of an involution. Apply this to a $P$-point.

An answer to the bonus question: yes, see K. P. Hart and J. Vermeer. Fixed-point sets of autohomeomorphisms of compact F-spaces, Proceedings of the American Mathematical Society, 123 (1995), 311–314: every $P$-set is the fixed-point set of an involution. Apply this to a $P$-point.

As an answer to the bonus question: no, see K. P. Hart and J. Vermeer. Fixed-point sets of autohomeomorphisms of compact F-spaces, Proceedings of the American Mathematical Society, 123 (1995), 311–314: every fixed-point set of an autohomeomorphism of $\omega^*$ is a $P$-set. The same paper also answers the other bonus question: every $P$-set is the fixed-point set of an involution. Apply this to a $P$-point.

Source Link
KP Hart
  • 11.4k
  • 38
  • 48

An answer to the bonus question: yes, see K. P. Hart and J. Vermeer. Fixed-point sets of autohomeomorphisms of compact F-spaces, Proceedings of the American Mathematical Society, 123 (1995), 311–314: every $P$-set is the fixed-point set of an involution. Apply this to a $P$-point.