\documentclass[12pt,titlepage]{article} \usepackage{amsmath} \usepackage{mathrsfs} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsthm} \usepackage{mathtools} \usepackage{graphicx} \usepackage{color} \usepackage{ucs} \usepackage[utf8x]{inputenc} \usepackage{xparse} \usepackage{hyperref} %----Macros---------- % % Unresolved issues: % % \righttoleftarrow % \lefttorightarrow % % \color{} with HTML colorspec % \bgcolor % \array with options (without options, it's equivalent to the matrix environment) % Of the standard HTML named colors, white, black, red, green, blue and yellow % are predefined in the color package. Here are the rest. \definecolor{aqua}{rgb}{0, 1.0, 1.0} \definecolor{fuschia}{rgb}{1.0, 0, 1.0} \definecolor{gray}{rgb}{0.502, 0.502, 0.502} \definecolor{lime}{rgb}{0, 1.0, 0} \definecolor{maroon}{rgb}{0.502, 0, 0} \definecolor{navy}{rgb}{0, 0, 0.502} \definecolor{olive}{rgb}{0.502, 0.502, 0} \definecolor{purple}{rgb}{0.502, 0, 0.502} \definecolor{silver}{rgb}{0.753, 0.753, 0.753} \definecolor{teal}{rgb}{0, 0.502, 0.502} % Because of conflicts, \space and \mathop are converted to % \itexspace and \operatorname during preprocessing. % itex: \space{ht}{dp}{wd} % % Height and baseline depth measurements are in units of tenths of an ex while % the width is measured in tenths of an em. \makeatletter \newdimen\itex@wd% \newdimen\itex@dp% \newdimen\itex@thd% \def\itexspace#1#2#3{\itex@wd=#3em% \itex@wd=0.1\itex@wd% \itex@dp=#2ex% \itex@dp=0.1\itex@dp% \itex@thd=#1ex% \itex@thd=0.1\itex@thd% \advance\itex@thd\the\itex@dp% \makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}} \makeatother % \tensor and \multiscript \makeatletter \newif\if@sup \newtoks\@sups \def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}% \def\reset@sup{\@supfalse\@sups={}}% \def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else% \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}% \else \append@sup#2 \@suptrue \fi% \expandafter\mk@scripts\fi} \def\tensor#1#2{\reset@sup#1\mk@scripts#2_/} \def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2% \reset@sup\mk@scripts#3_/} \makeatother % \slash \makeatletter \newbox\slashbox \setbox\slashbox=\hbox{$/$} \def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$} \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa \copy\slashbox \kern-\@tempdima \box\@tempboxa} \def\slash{\protect\itex@pslash} \makeatother % math-mode versions of \rlap, etc % from Alexander Perlis, "A complement to \smash, \llap, and lap" % http://math.arizona.edu/~aprl/publications/mathclap/ \def\clap#1{\hbox to 0pt{\hss#1\hss}} \def\mathllap{\mathpalette\mathllapinternal} \def\mathrlap{\mathpalette\mathrlapinternal} \def\mathclap{\mathpalette\mathclapinternal} \def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}} \def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}} \def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}} % Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2} \let\oldroot\root \def\root#1#2{\oldroot #1 \of{#2}} \renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}} % Manually declare the txfonts symbolsC font \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n} \SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n} \DeclareFontSubstitution{U}{txsyc}{m}{n} % Manually declare the stmaryrd font \DeclareSymbolFont{stmry}{U}{stmry}{m}{n} \SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n} % Manually declare the MnSymbolE font \DeclareFontFamily{OMX}{MnSymbolE}{} \DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n} \SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n} \DeclareFontShape{OMX}{MnSymbolE}{m}{n}{ <-6> MnSymbolE5 <6-7> MnSymbolE6 <7-8> MnSymbolE7 <8-9> MnSymbolE8 <9-10> MnSymbolE9 <10-12> MnSymbolE10 <12-> MnSymbolE12}{} % Declare specific arrows from txfonts without loading the full package \makeatletter \def\re@DeclareMathSymbol#1#2#3#4{% \let#1=\undefined \DeclareMathSymbol{#1}{#2}{#3}{#4}} \re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46} \re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12} \re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64} \re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6} \re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77} \re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77} \makeatother % \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE \makeatletter \def\Decl@Mn@Delim#1#2#3#4{% \if\relax\noexpand#1% \let#1\undefined \fi \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}} \def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}} \def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}} \Decl@Mn@Open{\llangle}{mnomx}{'164} \Decl@Mn@Close{\rrangle}{mnomx}{'171} \Decl@Mn@Open{\lmoustache}{mnomx}{'245} \Decl@Mn@Close{\rmoustache}{mnomx}{'244} \makeatother % Widecheck \makeatletter \DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}} \def\@widecheck#1#2{% \setbox\z@\hbox{\m@th$#1#2$}% \setbox\tw@\hbox{\m@th$#1% \widehat{% \vrule\@width\z@\@height\ht\z@ \vrule\@height\z@\@width\wd\z@}$}% \dp\tw@-\ht\z@ \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@ \setbox\tw@\hbox{% \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box \tw@}}}% {\ooalign{\box\tw@ \cr \box\z@}}} \makeatother % \mathraisebox{voffset}[height][depth]{something} \makeatletter \NewDocumentCommand\mathraisebox{moom}{% \IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{% \IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}% }{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}% \mathpalette\@temp{#4}} \makeatletter % udots (taken from yhmath) \makeatletter \def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.} \mkern2mu\raise4\p@\hbox{.}\mkern1mu \raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}} \makeatother %% Fix array \newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}} %% \itexnum is a noop \newcommand{\itexnum}[1]{#1} %% Renaming existing commands \newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}} \newcommand{\widevec}{\overrightarrow} \newcommand{\darr}{\downarrow} \newcommand{\nearr}{\nearrow} \newcommand{\nwarr}{\nwarrow} \newcommand{\searr}{\searrow} \newcommand{\swarr}{\swarrow} \newcommand{\curvearrowbotright}{\curvearrowright} \newcommand{\uparr}{\uparrow} \newcommand{\downuparrow}{\updownarrow} \newcommand{\duparr}{\updownarrow} \newcommand{\updarr}{\updownarrow} \newcommand{\gt}{>} \newcommand{\lt}{<} \newcommand{\map}{\mapsto} \newcommand{\embedsin}{\hookrightarrow} \newcommand{\Alpha}{A} \newcommand{\Beta}{B} \newcommand{\Zeta}{Z} \newcommand{\Eta}{H} \newcommand{\Iota}{I} \newcommand{\Kappa}{K} \newcommand{\Mu}{M} \newcommand{\Nu}{N} \newcommand{\Rho}{P} \newcommand{\Tau}{T} \newcommand{\Upsi}{\Upsilon} \newcommand{\omicron}{o} \newcommand{\lang}{\langle} \newcommand{\rang}{\rangle} \newcommand{\Union}{\bigcup} \newcommand{\Intersection}{\bigcap} \newcommand{\Oplus}{\bigoplus} \newcommand{\Otimes}{\bigotimes} \newcommand{\Wedge}{\bigwedge} \newcommand{\Vee}{\bigvee} \newcommand{\coproduct}{\coprod} \newcommand{\product}{\prod} \newcommand{\closure}{\overline} \newcommand{\integral}{\int} \newcommand{\doubleintegral}{\iint} \newcommand{\tripleintegral}{\iiint} \newcommand{\quadrupleintegral}{\iiiint} \newcommand{\conint}{\oint} \newcommand{\contourintegral}{\oint} \newcommand{\infinity}{\infty} \newcommand{\bottom}{\bot} \newcommand{\minusb}{\boxminus} \newcommand{\plusb}{\boxplus} \newcommand{\timesb}{\boxtimes} \newcommand{\intersection}{\cap} \newcommand{\union}{\cup} \newcommand{\Del}{\nabla} \newcommand{\odash}{\circleddash} \newcommand{\negspace}{\!} \newcommand{\widebar}{\overline} \newcommand{\textsize}{\normalsize} \renewcommand{\scriptsize}{\scriptstyle} \newcommand{\scriptscriptsize}{\scriptscriptstyle} \newcommand{\mathfr}{\mathfrak} \newcommand{\statusline}[2]{#2} \newcommand{\tooltip}[2]{#2} \newcommand{\toggle}[2]{#2} % Theorem Environments \theoremstyle{plain} \newtheorem{theorem}{Theorem} \newtheorem{lemma}{Lemma} \newtheorem{prop}{Proposition} \newtheorem{cor}{Corollary} \newtheorem*{utheorem}{Theorem} \newtheorem*{ulemma}{Lemma} \newtheorem*{uprop}{Proposition} \newtheorem*{ucor}{Corollary} \theoremstyle{definition} \newtheorem{defn}{Definition} \newtheorem{example}{Example} \newtheorem*{udefn}{Definition} \newtheorem*{uexample}{Example} \theoremstyle{remark} \newtheorem{remark}{Remark} \newtheorem{note}{Note} \newtheorem*{uremark}{Remark} \newtheorem*{unote}{Note} %------------------------------------------------------------------- \begin{document} %------------------------------------------------------------------- \section*{measurable space} \hypertarget{context}{}\subsubsection*{{Context}}\label{context} \hypertarget{measure_and_probability_theory}{}\paragraph*{{Measure and probability theory}}\label{measure_and_probability_theory} [[!include measure theory - contents]] \hypertarget{measurable_spaces}{}\section*{{Measurable spaces}}\label{measurable_spaces} \noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak \noindent\hyperlink{definitions}{Definitions}\dotfill \pageref*{definitions} \linebreak \noindent\hyperlink{variations}{Variations}\dotfill \pageref*{variations} \linebreak \noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak \noindent\hyperlink{properties}{Properties}\dotfill \pageref*{properties} \linebreak \noindent\hyperlink{RelationToVonNeumannAlgebras}{Relation to von Neumann algebras}\dotfill \pageref*{RelationToVonNeumannAlgebras} \linebreak \noindent\hyperlink{relation_to_boolean_toposes}{Relation to Boolean toposes}\dotfill \pageref*{relation_to_boolean_toposes} \linebreak \noindent\hyperlink{in_alternative_foundations}{In alternative foundations}\dotfill \pageref*{in_alternative_foundations} \linebreak \noindent\hyperlink{Predicative}{Predicative theory}\dotfill \pageref*{Predicative} \linebreak \noindent\hyperlink{constructive_theory}{Constructive theory}\dotfill \pageref*{constructive_theory} \linebreak \noindent\hyperlink{in_dream_mathematics}{In dream mathematics}\dotfill \pageref*{in_dream_mathematics} \linebreak \noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak \noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak \noindent\hyperlink{general}{General}\dotfill \pageref*{general} \linebreak \noindent\hyperlink{ReferencesRelationToVonNeumannAlgebras}{Relation to von Neumann algebra}\dotfill \pageref*{ReferencesRelationToVonNeumannAlgebras} \linebreak \noindent\hyperlink{relation_to_boolean_toposes_2}{Relation to Boolean toposes}\dotfill \pageref*{relation_to_boolean_toposes_2} \linebreak \hypertarget{idea}{}\subsection*{{Idea}}\label{idea} Measurable spaces are the traditional prelude to the general theory of [[measure]] and [[integration]]. Basically, a measure is a recipe for computing the size --- e.g., length, area, volume --- of [[subsets]] of a given [[set]] $X$. The structure of a `measurable space' picks out those subsets of $X$ for which the size is well-defined; these subsets are called `measurable'. The measure on $X$ is then an operation that assigns a number to each measurable subset saying how big it is. In short: you get a [[measure space]] by placing a measure on a measurable space. Ideally, all subsets would be measurable, but this contradicts the [[axiom of choice]] for the basic example of [[Lebesgue measure]] on the [[real line]]. Although it is possible to use nonstandard [[foundations]] of mathematics in which all subsets of the real line are Lebesgue measurable, any general theory that includes that example and is more general than those foundations requires some explicit notion of measurable space (or an alternative such as a [[measurable locale]]). In any case, measurable spaces are of some interest in their own right, even without a measure on them. \hypertarget{definitions}{}\subsection*{{Definitions}}\label{definitions} We give first the usual notion, assuming the validity of [[excluded middle]] and [[power sets]]; see below for alternative versions, including the [[constructive mathematics|constructive]] and [[predicative mathematics|predicative]] theories. Given a [[set]] $X$, a \textbf{$\sigma$-[[sigma-algebra|algebra]]} is a collection of [[subsets]] of $X$ that is closed under [[complement|complementation]], [[countable set|countable]] [[unions]], and countable [[intersections]]. A \textbf{measurable space}, by the usual modern definition, is a set $X$ equipped with a $\sigma$-algebra $\Sigma$. The elements of $\Sigma$ are called the \textbf{[[measurable sets]]} of $X$ (or more properly, the measurable subsets of $(X,\Sigma)$). Given measurable spaces $X$ and $Y$, a \textbf{[[measurable function]]} from $X$ to $Y$ is a [[function]] $f\colon X \to Y$ such that the [[preimage]] $f^*(T)$ is measurable in $X$ whenever $T$ is measurable in $Y$. Measurable spaces and measurable functions form a [[category]] $Measble$, which is [[topological concrete category|topological]] over [[Set]]. In classical measure theory, it is usually assumed that $Y$ is the [[real line]] (or a variation) equipped with the [[Borel sets]] (see the examples below). Then $f$ is measurable if and only if $f^{-1}(I)$ is measurable whenever $I \subseteq Y$ is an interval. \hypertarget{variations}{}\subsection*{{Variations}}\label{variations} We will briefly examine variations of the notion of measurable space, from those most like the standard to those most unlike it. Most of these are discussed at articles dedicated to them. Historically, people have used more general notions that $\sigma$-algebras, such as algebras, $\delta$-rings, and similar concepts whose names you can probably now guess; these are all discussed at [[sigma-algebra]]. These are all more general than $\sigma$-algebras, being possibly not closed under some operations. When using some of these more general rings of measurable sets, it is necessary to allow [[partial functions]] whose domain is a [[relatively measurable set]] as measurable functions; for details, see [[measurable function]]. It is often convenient if a measurable space has, in addition to the $\sigma$-algebra of measurable sets, a $\sigma$-[[sigma-ideal|ideal]] of \textbf{measurable [[null sets]]}. That is, besides the set $X$ and the $\sigma$-alebra $\Sigma$, we have a collection $N \subseteq \Sigma$ that is closed under [[countable set|countable]] unions and taking subsets (within $\Sigma$). (The elements of $N$ are the \emph{measurable} null sets; a \textbf{[[null set]]} is \emph{any} subset of a measurable null set.) One can equivalently specify a $\delta$-[[delta-filter|filter]] of \textbf{measurable [[full sets]]}; the full sets are the [[complements]] of the null sets. Either way, this allows us to use almost measurable [[almost functions]] up to [[almost equality]], as described at [[measurable function]]. In [[constructive mathematics]], because [[complement|complementation]] doesn't behave nicely, the concept of $\sigma$-algebra is not so useful. It's also essential to use [[almost functions]] to avoid a paucity of measurable functions. One solution, due to [[Henry Cheng]], may be found at [[Cheng measurable space]]; briefly, we use [[disjoint pairs]] $(A,B)$ of sets instead of individual measurable sets and use formal complements in the algebra, as well as a notion of [[full sets]]. Assuming [[excluded middle]], a Cheng measurable space is actually equivalent to a measurable space equipped with null (or full) sets, as in the previous paragraph. In order to have the most important theorems of [[measure theory]], it is necessary and sufficient to restrict to [[localizable measures]]. Since localizability refers only to the null (or full) sets, we can actually speak of a \textbf{[[localizable measurable space]]}: a measurable space equipped with null (or full) sets as above, with the property that the [[boolean algebra]] of measurable sets [[quotient algebra|modulo]] the null sets is [[complete lattice|complete]]. Another approach to measure theory, more abstract, is to ignore the set $X$ and use \emph{only} the $\sigma$-algebra $\Sigma$, as an abstract [[boolean algebra]] equipped with [[countable set|countable]] [[suprema]]; this is called a \textbf{[[measurable algebra]]} (or a [[measure algebra]] when equipped with a [[measure]]). A measurable algebra might also can be equipped with a $\sigma$-ideal of null sets (or a $\delta$-filter of full sets), but really it is simpler to take the [[quotient algebra]], which is itself a perfectly good measurable algebra. Even if a measurable algebra is a [[complete lattice]], it can still be pathological; but if it has enough [[normal measure]]s, then we have a \textbf{[[measurable locale]]}; the [[category]] of measurable locales is [[equivalence of categories|equivalent]] to that of [[localizable measurable spaces]] (from the previous paragraph). Yet another category equivalent to localizable measurable spaces and measurable locales is the [[opposite category]] of the category of [[commutative ring|commutative]] [[von Neumann algebras]]; this is really a version of the [[Gelfand–Neumark theorem]]. Then a \emph{[[noncommutative geometry|noncommutative]]} (localizable) measurable space is (the formal dual of) \emph{any} von Neumann algebra. In this way, measure theory may be seen as a branch of [[operator algebra]] theory (at least if one assumes that only localizable measurable spaces are well enough behaved to be worthy of study). \hypertarget{examples}{}\subsection*{{Examples}}\label{examples} \begin{itemize}% \item Of course, the [[power set]] of $X$ is closed under all operations, so it is a $\sigma$-algebra. Thus every set becomes a \textbf{[[discrete space|discrete]] measurable space}. \item If $X$ is a [[topological space]], then the $\sigma$-algebra generated by the open sets (or equivalently, by the closed sets) in $X$ is the \textbf{Borel $\sigma$-algebra}; its elements are called the \textbf{[[Borel sets]]} of $X$. In particular, the Borel sets of [[real number]]s are the Borel sets in the [[real line]] with its usual topology. \item If a measurable space $(X,\Sigma)$ is equipped with a measure $\mu$, making it into a [[measure space]], then the sets of measure zero form a $\sigma$-[[sigma-ideal|ideal]] of $\Sigma$ (that is an [[ideal]] that is also a sub-$\sigma$-ring). Let a \textbf{[[null subset|null set]]} be \emph{any} set (measurable or not) contained in a set of measure zero; then the null sets form a $\sigma$-ideal in the [[power set]] of $X$. Call a set \textbf{$\mu$-measurable} if it is the union of a measurable set and a null set; then the $\mu$-measurable sets form a $\sigma$-algebra $\Sigma_\mu$ called the \textbf{completion} of $\Sigma$ under $\mu$, and the measurable space $(X,\Sigma_\mu)$ is the \textbf{completion} of $(X,\Sigma)$. \item In particular, the \textbf{Lebesgue-measurable} sets in the real line are the elements of the completion of the Borel $\sigma$-algebra under [[Lebesgue measure]]. \end{itemize} \hypertarget{properties}{}\subsection*{{Properties}}\label{properties} \hypertarget{RelationToVonNeumannAlgebras}{}\subsubsection*{{Relation to von Neumann algebras}}\label{RelationToVonNeumannAlgebras} One version of the [[Gelfand-Naimark theorem|Gel'fand–Naimark theorem]] states that the category of [[commutative algebra|commutative]] $W^*$-[[W\emph{-algebra|algebras]] is [[dual equivalence|dual]] to the category of}localizable* measurable spaces. (As such, arbitrary $W^*$-algebras may be interpreted as `noncommutative' measurable spaces in a sense analogous to [[noncommutative geometry]].) See the \hyperlink{ReferencesRelationToVonNeumannAlgebras}{references below}. To make this work correctly, we cannot simply define localizability as a [[property]] of measurable spaces; instead, a \textbf{[[localizable measurable space]]} is a measurable space (a set $X$ with a $\sigma$-algebra $\Sigma$) with a $\sigma$-[[sigma-ideal|ideal]] $\mathcal{N}$ of $\Sigma$ and $\mathcal{P}X$ simultaneously (called the ideal of \textbf{[[null sets]]}) such that $\Sigma/\mathcal{N}$ is a [[complete lattice]]; and a [[morphism]] of localizable measurable spaces is a measurable function, with the property that the [[preimage]] of any null set is null, up to an [[equivalence relation]] where $f \cong g$ if $\{ x \;|\; f(x) \neq g(x) \}$ is a null set. The requirement that $\Sigma/\mathcal{N}$ be complete is the real localizability condition here; the trick of equipping a measurable space with a $\sigma$-ideal of null sets (or equivalently a $\sigma$-[[filter]] of [[full sets]]) and taking measurable functions only up to equivalence is a common one in other situations. Localizable measurable spaces can also be studied via the lattice $\Sigma/\mathcal{N}$, which is a [[frame]]; the morphisms correspond to certain [[continuous maps]] between [[locales]], and thus we are studying locales with [[extra structure]], called \textbf{[[measurable locales]]}. \hypertarget{relation_to_boolean_toposes}{}\subsubsection*{{Relation to Boolean toposes}}\label{relation_to_boolean_toposes} In terms of [[topos theory]], measured spaces are closely related to [[Boolean toposes]] (e.g. \hyperlink{Jackson06}{Jackson 06}, \hyperlink{Henry14}{Henry 14}). \hypertarget{in_alternative_foundations}{}\subsection*{{In alternative foundations}}\label{in_alternative_foundations} While Lebesgue measure on $\mathbb{R}^n$ can be done in very weak [[foundations]], a general theory of measure and measurable spaces seems to require powerful [[set theory|set-theoretic]] machinery. Indeed, not much seems to be possible in [[predicative mathematics|predicative]] contexts, and the (nonpredicative) [[constructive mathematics|constructive]] theory is noticeably more complicated than the classical theory. On the other hand, the classical theory has its own complications, with nonmeasurable sets and functions that can be proved to exist but which seem to never arise in practice. Instead, there are classically false but apparently consistent foundations in which measure theory is extremely simple. \hypertarget{Predicative}{}\subsubsection*{{Predicative theory}}\label{Predicative} The main problem for measure theory in [[predicative mathematics]] is getting your hands on a $\sigma$-algebra. Once you've got that, you've got a measurable space (obviously) and go on to [[measure space]], where there are no new difficulties. However, what is (say) a Borel set in the real line? This is difficult, if not impossible, to explain predicatively. (In the case of [[Lebesgue measure]], there \emph{are} ways to describe the Lebesgue-measurable sets predicatively, but these do not seem to generalise to a broader theory.) Note that there is no real problem in describing what, say, an open set is. Not only can this be done for the real line in the usual $\epsilon$-$\delta$ way, but it is easy to take \emph{any} collection of subsets of any set $X$, call that collection a [[subbase]], and describe which sets are the open sets in the [[topological space|topology]] generated by that subbase. The reason is that there are only two steps in moving from a subbase to a topology, and while the latter step is too impredicative to allow one to speak of the \emph{set} of all open sets, it's OK if you only want to talk about \emph{individual} open sets. (To be explicit: given a collection $B$ to be used as subbase, a set $G$ is \emph{open} if, for every point $x$, if $x \in G$, then there exist a [[natural number]] $n$ and elements $A_1, \ldots, A_n$ of $B$ such that $x \in A_i$ for each $i$ and, for every point $y$, if $y \in A_i$ for each $i$, then $y \in G$. Since we quantify only over points and natural numbers, not over sets or functions, this is a predicative definition, and it's easy to prove that the open sets satisfy the axioms of a topology.) This cannot be done with $\sigma$-algebras, since we need uncountably many sets. To be sure, each individual step is predicative, and we can freely talk about $G_\delta$ sets and the like, but to define a Borel set we need to quantify over all countable ordinals. While it is possible to hypothesise the existence of an uncountable ordinal $\omega_1$ and be predicative `over' $\omega_1$ (and after all, everything else in this section is only predicative over the first infinite ordinal $\omega_0$, which we only have if we accept an [[axiom of infinity]]), this cannot be constructed predicatively. (The immediate definition of $\omega_1$ as the [[Hartog's number]] of $\omega_0$ uses [[power set]]s; while the construction of an uncountable ordinal by applying the [[well-ordering theorem]] to the [[function set]] $\mathbf{N}^{\mathbf{N}}$ doesn't seem to use reasoning that requires the existence of power sets as long as you don't also throw in [[excluded middle]], it does use reasoning that is not accepted by any predicative school that I know.) So as far as I ([[Toby Bartels]]) can tell, there is no general predicative theory of measurable spaces, only an ad hoc theory of Lebsegue measurability. I would be delighted to learn otherwise! \hypertarget{constructive_theory}{}\subsubsection*{{Constructive theory}}\label{constructive_theory} From a constructive perspective, there are a couple of related problems with the classical theory. One is that the notion of $\sigma$-algebra is highly suspicious, because it relies on an operation, [[complement]]ation, that behaves very differently in the [[intuitionistic logic]] that [[constructive mathematics]] uses. The other is that, even you acept the definition of $\sigma$-algebra anyway (after all, the Lebesgue-measurable sets on the real line do still form one), there may be very few measurable functions. Indeed, if we set aside the general theory of measurable spaces and simply do Lebesgue measure ad hoc in a constructive (even predicative) way, we find that instead of measurable [[functions]] we really want measurable [[partial functions]] whose domain of definition is a [[full set]]. This suggests that if we want to define the concept of measurable function, then we have to know what the full sets are. There is a way out, due to [[Henry Cheng]], for both of these problems at once. Instead of dealing with individual sets, we will deal with pairs of [[disjoint sets]]. The intuition is that we use disjoint pairs $(A,B)$ such that $A \cup B$ is full ---with $(A,\neg{A})$ being the motivating example in the classical theory---, but we let the $\sigma$-algebra itself tell us which pairs those are. Once we fix a particular measure, we may find additional pairs whose union is full, somewhat like finding additional measurable sets when taking the completion in the classical theory (although taking the completion is a separate phenomenon here), but that's all right; the important thing is that each pair chosen really is full in any measure used (much as each set in a classical $\sigma$-algebra must actually be measurable by any measure used). See details at [[Cheng space]]. \hypertarget{in_dream_mathematics}{}\subsubsection*{{In dream mathematics}}\label{in_dream_mathematics} While measure theory only gets more complicated in constructive mathematics, it becomes much easier in [[dream mathematics]]. \ldots{} more coming \ldots{} \hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts} \begin{itemize}% \item [[measurable locale]] \end{itemize} \hypertarget{references}{}\subsection*{{References}}\label{references} \hypertarget{general}{}\subsubsection*{{General}}\label{general} For Cheng's theory of measure spaces, see the 1985 edition of Bishop \& Bridges, \emph{Constructive Analysis}. (And the references therein, obviously, but I haven't read those.) \hypertarget{ReferencesRelationToVonNeumannAlgebras}{}\subsubsection*{{Relation to von Neumann algebra}}\label{ReferencesRelationToVonNeumannAlgebras} A discussion of the abstract properties of the category of localizable measurable spaces and its relation to [[von Neumann algebras]] is in \begin{itemize}% \item Alain Guichardet, \emph{Sur la cat\'e{}gorie des alg\`e{}bres de von Neumann} (French) Bull. Sci. Math. (2) 90 1966 41--64. (\href{http://ams.org/mathscinet-getitem?mr=201989}{MSN}) (\href{http://dmitripavlov.org/scans/guichardet.pdf}{scan}) \end{itemize} A useful series of expositions along these lines is in \begin{itemize}% \item [[Dmitri Pavlov]], \emph{On measurable spaces} \begin{itemize}% \item \href{http://mathoverflow.net/questions/20740/is-there-an-introduction-to-probability-theory-from-a-structuralist-categorical-p/20820#20820}{MO comment 1} \item \href{http://mathoverflow.net/questions/49426/is-there-a-category-structure-one-can-place-on-measure-spaces-so-that-category-th/49542#49542}{MO comment 2} \end{itemize} \end{itemize} See also \begin{itemize}% \item Ryszard Pawe Kostecki, \emph{$W^\ast$-algebras and noncommutative integration} (\href{http://www.fuw.edu.pl/~kostecki/wstarint.pdf}{pdf}) \end{itemize} \hypertarget{relation_to_boolean_toposes_2}{}\subsubsection*{{Relation to Boolean toposes}}\label{relation_to_boolean_toposes_2} \begin{itemize}% \item Matthew Jackson, \emph{A sheaf-theoretic approach to measure theory}, 2006 (\href{http://www.andrew.cmu.edu/~awodey/students/jackson.pdf}{pdf}) \item [[Simon Henry]], \emph{From toposes to non-commutative geometry through the study of internal Hilbert spaces}, 2014 (\href{http://www.math.jussieu.fr/~henrys/Thesis.pdf}{pdf}) \end{itemize} \textbf{Revision plan} \begin{enumerate}% \item Describe several variations of definition: \begin{itemize}% \item with a filter of full sets, \item localizable, \item Cheng, \item from a delta-ring etc, \item localic, \item finitary, \item noncommutative. \end{itemize} \item Do measurable functions only afterwards, stressing almost-everywhere equality. Describe the relevant categories. \item Mention measure spaces and anything else. \end{enumerate} [[!redirects measurable space]] [[!redirects measurable spaces]] [[!redirects complete measurable space]] [[!redirects complete measurable spaces]] [[!redirects completion of a measurable space]] [[!redirects completions of a measurable space]] [[!redirects completions of measurable spaces]] \end{document}