<p>This paper introduces and investigates the category <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({\textbf {CL}} _{\mathcal {Z}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">CL</mi> <mi mathvariant="script">Z</mi> </msub> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Z</mi> </math></EquationSource> </InlineEquation>-closure spaces. These spaces are defined based on a subset system <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Z</mi> </math></EquationSource> </InlineEquation> on the category <b>CLAT</b> of complete lattices. Specifically, a closure space X is called a <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Z</mi> </math></EquationSource> </InlineEquation>-closure space if its lattice of closed sets <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Gamma (X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is closed under unions of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Z</mi> </math></EquationSource> </InlineEquation>-sets (members of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {Z}(\Gamma (X))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">Z</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>). We introduce the concept of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathcal {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Z</mi> </math></EquationSource> </InlineEquation>-irreducible sets and define an associated subset system <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathcal {Z}_{I}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">Z</mi> <mi>I</mi> </msub> </math></EquationSource> </InlineEquation> on the category <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\({\textbf {CL}} _{0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">CL</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(T_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> closure spaces. Utilizing the theory of <i>Z</i>-completions and the <i>b</i>-closure operator, we provide a complete characterization of reflective subcategories of <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\({\textbf {CL}} _{\mathcal {Z}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">CL</mi> <mi mathvariant="script">Z</mi> </msub> </math></EquationSource> </InlineEquation> that contain a specific non-<InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(T_{1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> space (which is pointed under certain conditions). This characterization links reflectivity to the properties of being a K-category and being equivalent to a category <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\({\textbf {CCS}} _Z\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">CCS</mi> <mi>Z</mi> </msub> </math></EquationSource> </InlineEquation> of <i>Z</i>-convergence <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\mathcal {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">Z</mi> </math></EquationSource> </InlineEquation>-closure spaces, where <i>Z</i> is a subset system coarser than <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\mathcal {Z}_{I}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">Z</mi> <mi>I</mi> </msub> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\({\textbf {CL}} _{\mathcal {Z}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">CL</mi> <mi mathvariant="script">Z</mi> </msub> </math></EquationSource> </InlineEquation>. Furthermore, we present a unified construction for the reflective hull of subcategories within <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\({\textbf {CL}} _{\mathcal {Z}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">CL</mi> <mi mathvariant="script">Z</mi> </msub> </math></EquationSource> </InlineEquation>. Finally, we apply the main results to several concrete category instances, including closure spaces (<InlineEquation ID="IEq22"> <EquationSource Format="TEX">\({\textbf {CL}} _0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">CL</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>), topological spaces (<InlineEquation ID="IEq23"> <EquationSource Format="TEX">\({\textbf {TOP}} _0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">TOP</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>), <i>P</i>-spaces (<InlineEquation ID="IEq24"> <EquationSource Format="TEX">\({\textbf {PTOP}} _0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">PTOP</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>), convex spaces (<InlineEquation ID="IEq25"> <EquationSource Format="TEX">\({\textbf {CONV}} _0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">CONV</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>), and Alexandroff spaces (<InlineEquation ID="IEq26"> <EquationSource Format="TEX">\({\textbf {ALEX}} _0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">ALEX</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>), thereby unifying and generalizing results concerning reflectivity in these categories.</p>

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

A Unified Characterization of Reflective Subcategories of \(\mathcal {Z}\)-closure Spaces

  • Zhongxi Zhang

摘要

This paper introduces and investigates the category \({\textbf {CL}} _{\mathcal {Z}}\) CL Z of \(\mathcal {Z}\) Z -closure spaces. These spaces are defined based on a subset system \(\mathcal {Z}\) Z on the category CLAT of complete lattices. Specifically, a closure space X is called a \(\mathcal {Z}\) Z -closure space if its lattice of closed sets \(\Gamma (X)\) Γ ( X ) is closed under unions of \(\mathcal {Z}\) Z -sets (members of \(\mathcal {Z}(\Gamma (X))\) Z ( Γ ( X ) ) ). We introduce the concept of \(\mathcal {Z}\) Z -irreducible sets and define an associated subset system \(\mathcal {Z}_{I}\) Z I on the category \({\textbf {CL}} _{0}\) CL 0 of \(T_0\) T 0 closure spaces. Utilizing the theory of Z-completions and the b-closure operator, we provide a complete characterization of reflective subcategories of \({\textbf {CL}} _{\mathcal {Z}}\) CL Z that contain a specific non- \(T_{1}\) T 1 space (which is pointed under certain conditions). This characterization links reflectivity to the properties of being a K-category and being equivalent to a category \({\textbf {CCS}} _Z\) CCS Z of Z-convergence \(\mathcal {Z}\) Z -closure spaces, where Z is a subset system coarser than \(\mathcal {Z}_{I}\) Z I on \({\textbf {CL}} _{\mathcal {Z}}\) CL Z . Furthermore, we present a unified construction for the reflective hull of subcategories within \({\textbf {CL}} _{\mathcal {Z}}\) CL Z . Finally, we apply the main results to several concrete category instances, including closure spaces ( \({\textbf {CL}} _0\) CL 0 ), topological spaces ( \({\textbf {TOP}} _0\) TOP 0 ), P-spaces ( \({\textbf {PTOP}} _0\) PTOP 0 ), convex spaces ( \({\textbf {CONV}} _0\) CONV 0 ), and Alexandroff spaces ( \({\textbf {ALEX}} _0\) ALEX 0 ), thereby unifying and generalizing results concerning reflectivity in these categories.