Normal function: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
(Created page with "A normal function is a function on ordinals that preserves limits and is strictly increasing. That is, \(f\) is normal if and only if it satisfies the following properties: * \(\alpha<\beta \Leftrightarrow f(\alpha)<f(\beta)\) * \(f(\alpha)=\sup f(\beta)\) if and only if \(\beta<\alpha\) and \(\alpha\) is a limit ordinal.") |
OfficialURL (talk | contribs) No edit summary |
||
Line 1: | Line 1: | ||
A normal function is |
A normal function is an [[ordinal function]] that preserves limits and is strictly increasing. That is, \(f\) is normal if and only if it satisfies the following properties: |
||
* \(\alpha<\beta \Leftrightarrow f(\alpha)<f(\beta)\) |
* \(\alpha<\beta \Leftrightarrow f(\alpha)<f(\beta)\) |
||
* \(f(\alpha)=\sup f(\beta)\) if and only if \(\beta<\alpha\) and \(\alpha\) is a [[limit ordinal]]. |
* \(f(\alpha)=\sup f(\beta)\) if and only if \(\beta<\alpha\) and \(\alpha\) is a [[limit ordinal]]. |
Revision as of 02:38, 13 September 2022
A normal function is an ordinal function that preserves limits and is strictly increasing. That is, \(f\) is normal if and only if it satisfies the following properties:
- \(\alpha<\beta \Leftrightarrow f(\alpha)<f(\beta)\)
- \(f(\alpha)=\sup f(\beta)\) if and only if \(\beta<\alpha\) and \(\alpha\) is a limit ordinal.