No label defined (Q4027604)

[For the entire collection see Zbl 0744.00030.] Let \({\mathfrak A}\) be a nonvoid set system on a nonvoid set \(X\). \({\mathfrak A}\) is a lattice if \(A,B\in{\mathfrak A}\Rightarrow A\cup B\in{\mathfrak A}\) and \(A\cap B\in{\mathfrak A}\). Suppose \(\varphi\) is a set function from a lattice \({\mathfrak A}\to\overline\mathbb{R}\) such that \(A,B\in{\mathfrak A}\) and \(A\subset B\Rightarrow\varphi(A)\leq\varphi(B)\). Then \(\varphi\) is said to be isotone. The author defines new inner and outer regularizations by two set functions \(\varphi_ \sigma\), \(\varphi^ \sigma:{\mathcal P}(X)\to\overline\mathbb{R}\) as follows which make sense for isotone set functions: \[ \varphi_ \sigma(A)=\text{sup}\left\{\lim_{n\to\infty}\varphi(M_ n):(M_ n)_ n\text{ in }{\mathfrak A}\quad\text{with }M_ n\downarrow\text{ some } S\subset A\right\} \] \[ \varphi^ \sigma(A)=\text{inf}\left\{\lim_{n\to\infty}\varphi(M_ n):(M_ n)_ n\text{ in }{\mathfrak A}\quad\text{with }M_ n\uparrow\text{ some } S\supset A\right\}. \] The author attempts to bring in the connection between outer extension theorem and inner extension theorem proved earlier by various people including the author [Math. Z. 190, 83-94 (1985; Zbl 0551.28003)]. In order to achieve that, the assumption that \({\mathfrak A}\) contains \(\varphi\) is dropped and measurability, tightness are redefined.