PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
[parent] proof of fixed points of normal functions (Proof)

Suppose $f$ is a $\kappa$ -normal function and consider any $\alpha<\kappa$ and define a sequence by $\alpha_0=\alpha$ and $\alpha_{n+1}=f(\alpha_n)$ . Let $\alpha_\omega=\sup_{n<\omega}\alpha_n$ . Then, since $f$ is continuous, $$f(\alpha_\omega)=\sup_{n<\omega} f(\alpha_n)=\sup_{n<\omega}\alpha_{n+1}=\alpha_\omega$$ So $\operatorname{Fix}(f)$ is unbounded.

Suppose $N$ is a set of fixed points of $f$ with $|N|<\kappa$ . Then $$f(\sup N)=\sup_{\alpha\in N} f(\alpha)=\sup_{\alpha\in N}\alpha=\sup N$$ so $\sup N$ is also a fixed point of $f$ , and therefore $\operatorname{Fix}(f)$ is closed.




"proof of fixed points of normal functions" is owned by Henry.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: closed, fixed points, unbounded, continuous, sequence, function
There is 1 reference to this entry.

This is version 1 of proof of fixed points of normal functions, born on 2003-02-23.
Object id is 4055, canonical name is ProofOfFixedPointsOfNormalFunctions.
Accessed 1809 times total.

Classification:
AMS MSC03E10 (Mathematical logic and foundations :: Set theory :: Ordinal and cardinal numbers)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)