Pigeonhole principle

Measure theoretic pigeonhole principle

Let and be measure spaces and be a measurable function. We call finitely piecewise measure-preserving iff there exists a partition into measurable sets such that

for all . Given such a function, if , then is not injective.1 #m/thm/measure

Proof

If is injective then is the disjoint union of the and we have

so the above condition suffices for non-injectivity.

#state/tidy | #lang/en | #SemBr

Footnotes

  1. 2022. Algebraic number theory course notes, ¶3.4, p. 61 ↩