Ordinals in analysis and measure theory

DOI10.1007/S00591-007-0020-4MaRDI QIDQ951763zbMATH OpenOpenAlexFDO

Publication date 3 November 2008

Published in Mathematische Semesterberichte (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00591-007-0020-4

Ordinal and cardinal numbers (03E10) Descriptive set theory (03E15) Other classical set theory (including functions, relations, and set algebra) (03E20) Contents, measures, outer measures, capacities (28A12)

Review text

First, the author gives a definition of \(\omega_1\) and of the countable ordinals according to, what he calls, Hartogs' method: Let \({\mathcal H}\) be the set of all subsets \(N\) of the set \(\mathbb{N}\) of natural numbers, each equipped with a well-ordering. Two of these ordered sets are called equivalent \((\equiv)\) if they have equal length. Then \(\omega_1\) is the set \({\mathcal H}/\!\!\equiv\) of equivalence classes, and the \(a\in\omega_1\) are the countable ordinals. Then several theorems of analysis (mean-value theorem, existence of the maximum, compactness of closed bounded intervals) are proved by transfinite recursion along \(\omega_1\). Further, the Borel hierarchy of metric spaces is discussed. The most important part of the paper is a new proof for the theorem of existence and uniqueness in measure theory. Also, two sections on Borel-measurable functions and atom-free measures are presented.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Ordinals in analysis and measure theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q951763)