<p>For a free filter <i>F</i> on <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation>, let <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="116" /> </InlineMediaObject> <EquationSource Format="TEX">\(N_F=\omega \cup \{p_F\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>N</mi> <mi>F</mi> </msub> <mo>=</mo> <mi>ω</mi> <mo>∪</mo> <mrow> <mo stretchy="false">{</mo> <msub> <mi>p</mi> <mi>F</mi> </msub> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(p_F\not \in \omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>p</mi> <mi>F</mi> </msub> <mo>∉</mo> <mi>ω</mi> </mrow> </math></EquationSource> </InlineEquation>, be equipped with the following topology: every element of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation> is isolated whereas all open neighborhoods of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq7.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(p_F\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>p</mi> <mi>F</mi> </msub> </math></EquationSource> </InlineEquation> are of the form <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\cup \{p_F\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>∪</mo> <mo stretchy="false">{</mo> <msub> <mi>p</mi> <mi>F</mi> </msub> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\in F\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>∈</mo> <mi>F</mi> </mrow> </math></EquationSource> </InlineEquation>. The aim of this paper is to study spaces of the form <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(N_F\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>N</mi> <mi>F</mi> </msub> </math></EquationSource> </InlineEquation> in the context of the Nikodym property of Boolean algebras. By <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{A}\mathcal{N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mi mathvariant="script">N</mi> </mrow> </math></EquationSource> </InlineEquation> we denote the class of all those ideals <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {I}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">I</mi> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation> such that for the dual filter <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {I}^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">I</mi> </mrow> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation> the space <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq15.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(N_{\mathcal {I}^*}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>N</mi> <msup> <mrow> <mi mathvariant="script">I</mi> </mrow> <mo>∗</mo> </msup> </msub> </math></EquationSource> </InlineEquation> carries a sequence <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="93" /> </InlineMediaObject> <EquationSource Format="TEX">\(\langle \mu _n:n\in \omega \rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">⟨</mo> <msub> <mi>μ</mi> <mi>n</mi> </msub> <mo>:</mo> <mi>n</mi> <mo>∈</mo> <mi>ω</mi> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation> of finitely supported signed measures such that <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Vert \mu _n\Vert \rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msub> <mi>μ</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">‖</mo> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq18.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _n(A)\rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>μ</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> for every clopen subset <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq19.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\subseteq N_{\mathcal {I}^*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>⊆</mo> <msub> <mi>N</mi> <msup> <mrow> <mi mathvariant="script">I</mi> </mrow> <mo>∗</mo> </msup> </msub> </mrow> </math></EquationSource> </InlineEquation>. We prove that <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq20.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {I}\in \mathcal{A}\mathcal{N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">I</mi> <mo>∈</mo> <mi mathvariant="script">A</mi> <mi mathvariant="script">N</mi> </mrow> </math></EquationSource> </InlineEquation> if and only if there exists a density submeasure <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq21.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq23.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi (\omega )=\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mi>ω</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {I}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">I</mi> </math></EquationSource> </InlineEquation> is contained in the exhaustive ideal <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq25.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text{ Exh }(\varphi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.333333em" /> <mtext>Exh</mtext> <mspace width="0.333333em" /> <mo stretchy="false">(</mo> <mi>φ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Consequently, we get that if <InlineEquation ID="IEq26"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq26.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="98" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {I}\subseteq \text{ Exh }(\varphi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">I</mi> <mo>⊆</mo> <mspace width="0.333333em" /> <mtext>Exh</mtext> <mspace width="0.333333em" /> <mo stretchy="false">(</mo> <mi>φ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for some density submeasure <InlineEquation ID="IEq27"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq21.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq28"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq29"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq23.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi (\omega )=\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mi>ω</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq30"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq15.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(N_{\mathcal {I}^*}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>N</mi> <msup> <mrow> <mi mathvariant="script">I</mi> </mrow> <mo>∗</mo> </msup> </msub> </math></EquationSource> </InlineEquation> is homeomorphic to a subspace of the Stone space <InlineEquation ID="IEq31"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq31.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(St(\mathcal {A})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mi>t</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of a given Boolean algebra <InlineEquation ID="IEq32"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq32.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq33"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq32.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> does not have the Nikodym property. We observe that each <InlineEquation ID="IEq34"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq20.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {I}\in \mathcal{A}\mathcal{N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">I</mi> <mo>∈</mo> <mi mathvariant="script">A</mi> <mi mathvariant="script">N</mi> </mrow> </math></EquationSource> </InlineEquation> is Katětov below the asymptotic density zero ideal <InlineEquation ID="IEq35"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq35.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Z</mi> </math></EquationSource> </InlineEquation>, and prove that the class <InlineEquation ID="IEq36"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{A}\mathcal{N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mi mathvariant="script">N</mi> </mrow> </math></EquationSource> </InlineEquation> has a subset of size <InlineEquation ID="IEq37"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq37.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {d}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">d</mi> </math></EquationSource> </InlineEquation> which is dominating with respect to the Katětov order <InlineEquation ID="IEq38"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq38.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(\le _K\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mo>≤</mo> <mi>K</mi> </msub> </math></EquationSource> </InlineEquation>, but <InlineEquation ID="IEq39"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{A}\mathcal{N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mi mathvariant="script">N</mi> </mrow> </math></EquationSource> </InlineEquation> has no <InlineEquation ID="IEq40"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq38.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(\le _K\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mo>≤</mo> <mi>K</mi> </msub> </math></EquationSource> </InlineEquation>-maximal element. We show that, when <InlineEquation ID="IEq41"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {I}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">I</mi> </math></EquationSource> </InlineEquation> is a density ideal, <InlineEquation ID="IEq42"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq42.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {I}\not \in \mathcal{A}\mathcal{N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">I</mi> <mo>∉</mo> <mi mathvariant="script">A</mi> <mi mathvariant="script">N</mi> </mrow> </math></EquationSource> </InlineEquation> holds if and only if <InlineEquation ID="IEq43"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {I}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">I</mi> </math></EquationSource> </InlineEquation> is totally bounded if and only if the Boolean algebra <InlineEquation ID="IEq44"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="153_2024_964_Article_IEq44.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {P}(\omega )/\mathcal {I}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">P</mi> <mo stretchy="false">(</mo> <mi>ω</mi> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mi mathvariant="script">I</mi> </mrow> </math></EquationSource> </InlineEquation> contains a countable splitting family. Our results shed some new light on differences between the Nikodym property and the Grothendieck property of Boolean algebras.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Nikodym property and filters on \(\omega \)

  • Tomasz Żuchowski

摘要

For a free filter F on \(\omega \) ω , let \(N_F=\omega \cup \{p_F\}\) N F = ω { p F } , where \(p_F\not \in \omega \) p F ω , be equipped with the following topology: every element of \(\omega \) ω is isolated whereas all open neighborhoods of \(p_F\) p F are of the form \(A\cup \{p_F\}\) A { p F } for \(A\in F\) A F . The aim of this paper is to study spaces of the form \(N_F\) N F in the context of the Nikodym property of Boolean algebras. By \(\mathcal{A}\mathcal{N}\) A N we denote the class of all those ideals \(\mathcal {I}\) I on \(\omega \) ω such that for the dual filter \(\mathcal {I}^*\) I the space \(N_{\mathcal {I}^*}\) N I carries a sequence \(\langle \mu _n:n\in \omega \rangle \) μ n : n ω of finitely supported signed measures such that \(\Vert \mu _n\Vert \rightarrow \infty \) μ n and \(\mu _n(A)\rightarrow 0\) μ n ( A ) 0 for every clopen subset \(A\subseteq N_{\mathcal {I}^*}\) A N I . We prove that \(\mathcal {I}\in \mathcal{A}\mathcal{N}\) I A N if and only if there exists a density submeasure \(\varphi \) φ on \(\omega \) ω such that \(\varphi (\omega )=\infty \) φ ( ω ) = and \(\mathcal {I}\) I is contained in the exhaustive ideal \(\text{ Exh }(\varphi )\) Exh ( φ ) . Consequently, we get that if \(\mathcal {I}\subseteq \text{ Exh }(\varphi )\) I Exh ( φ ) for some density submeasure \(\varphi \) φ on \(\omega \) ω such that \(\varphi (\omega )=\infty \) φ ( ω ) = and \(N_{\mathcal {I}^*}\) N I is homeomorphic to a subspace of the Stone space \(St(\mathcal {A})\) S t ( A ) of a given Boolean algebra \(\mathcal {A}\) A , then \(\mathcal {A}\) A does not have the Nikodym property. We observe that each \(\mathcal {I}\in \mathcal{A}\mathcal{N}\) I A N is Katětov below the asymptotic density zero ideal \(\mathcal {Z}\) Z , and prove that the class \(\mathcal{A}\mathcal{N}\) A N has a subset of size \(\mathfrak {d}\) d which is dominating with respect to the Katětov order \(\le _K\) K , but \(\mathcal{A}\mathcal{N}\) A N has no \(\le _K\) K -maximal element. We show that, when \(\mathcal {I}\) I is a density ideal, \(\mathcal {I}\not \in \mathcal{A}\mathcal{N}\) I A N holds if and only if \(\mathcal {I}\) I is totally bounded if and only if the Boolean algebra \(\mathcal {P}(\omega )/\mathcal {I}\) P ( ω ) / I contains a countable splitting family. Our results shed some new light on differences between the Nikodym property and the Grothendieck property of Boolean algebras.