---
tag: 7ZVA2C9Y90
kind: concept
name: Normal measure
aliases: [normal-ultrafilter, normal-ultrapower]
sources:
  - wikipedia: en:5016313@r1305449282
    locator: Normal measure
    note: adopted
    mention: wikipedia://en/5016313
    sections: [Summary]
same_as:
  wikidata: Q7051817
  wikipedia: Normal measure
inventory: [RV24THBP7C]
---

## Summary

In set theory, a **normal measure** is a measure on a measurable cardinal $\kappa$ such that the equivalence class of the identity function on $\kappa$ maps to $\kappa$ itself in the ultrapower construction. Equivalently, a measure $\mu$ on $\kappa$ is normal iff whenever $f:\kappa\to\kappa$ is such that $f(\alpha)<\alpha$ for $\mu$-many $\alpha<\kappa$, then there is a $\beta<\kappa$ such that $f(\alpha)=\beta$ for $\mu$-many $\alpha<\kappa$. (Here, "$\mu$-many" means that the set of elements of $\kappa$ where the property holds is a member of the ultrafilter, i.e. has measure 1 in $\mu$.) Also equivalent, the ultrafilter (set of sets with measure 1) is closed under diagonal intersection.