On the basic extension theorem in measure theory (Q801166): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4162207 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5799972 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measures in Boolean Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5828116 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3663565 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compactness in spaces of measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4820394 / rank | |||
Normal rank |
Latest revision as of 15:59, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the basic extension theorem in measure theory |
scientific article |
Statements
On the basic extension theorem in measure theory (English)
0 references
1985
0 references
Let \({\mathcal F}\) be a lattice of subsets of a nonvoid set X which contains \(\emptyset\), and \(\tau\) : \({\mathcal F}\to [0,\infty]\) be isotone and modular with \(\tau (\emptyset)=0\). The paper extends and unifies the known results on the existence of extensions of \(\tau\) to measures on the \(\sigma\)-algebra \({\mathcal F}^*\) generated by \({\mathcal F}\); see in particular \textit{J. L. Kelley, M. K. Nayak} and \textit{T. P. Srinivasan} [Vector operator valued measures Appl., Symp. Alta, Utah 1972, 155-164 (1973; Zbl 0293.28002)]. Instead of the usual Carathéodory outer measure \(\tau^*\) the author forms \(\tau^{\infty}:\) \(\tau^{\infty}(A)=Inf\lim_{l\to \infty}\tau (A_ l)\) for \(A\subset X\), where the Inf extends over all increasing sequences \((A_ l)_ l\) in \({\mathcal F}\) with union \(\supset A\). In contrast to \(\tau^*\) this function has an obvious counterpart as an inner measure, namely \(\tau_{\infty}:\) \(\tau_{\infty}(A)=Sup\lim_{l\to \infty}\tau (A_ l)\) for \(A\subset X\), where the Sup extends over all decreasing sequences \((A_ l)_ l\) in \({\mathfrak F}:=\{A\in {\mathcal F}: \tau (A)<\infty \}\) with intersection \(\supset A\). With the aid of these functions one obtains necessary and sufficient conditions which weaken the familiar sufficient conditions such as tightness and the like. For the existence of an extension on \({\mathcal F}^*\) which is inner regular with respect to \({\mathfrak F}^{\delta}\) the condition reads: It is downward smooth and satisfies \(\tau (A)+\tau_{\infty}(B\setminus A)\geq \tau (B)\) for all A,B\(\in {\mathfrak F}\) with \(A\subset B\), or equivalently: \(\tau\) is smooth at \(\emptyset\) and satisfies \(\tau (A)+\tau_ B(B\setminus A)\geq \tau (B)\) for all A,B\(\in {\mathfrak F}\) with \(A\subset B\), where \(\tau_ B\) is defined as \(\tau_{\infty}\) but restricted to the sequences \((A_ l)_ l\) contained in B.
0 references
existence of extensions
0 references
inner measure
0 references
tightness
0 references
downward smooth
0 references