On the epireflective hull of top in near (Q2508929): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q590219 |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Harald Brandenburg / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2050464730 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: HOMOLOGY AND COHOMOLOGY FOR MEROTOPIC AND NEARNESS SPACES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4114502 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The reals and the reals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4189804 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Merotopological spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4247155 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3976460 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4665113 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3857427 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A concept of nearness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4069460 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4113080 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4147255 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3968115 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4039842 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5327708 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5511986 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4546501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: AUnif: A common supercategory of pMET and Unif / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4820377 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Products of quotients in Near / rank | |||
Normal rank |
Latest revision as of 21:58, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the epireflective hull of top in near |
scientific article |
Statements
On the epireflective hull of top in near (English)
0 references
20 October 2006
0 references
To characterize internally the nearness spaces belonging to the epireflective hull \(\text{EH}({\mathbf T}{\mathbf o}{\mathbf p})\) of \({\mathbf T}{\mathbf o}{\mathbf p}\) in \({\mathbf N}{\mathbf e}{\mathbf a}{\mathbf r}\) is a problem which is now open for more than 30 years. In [Categorical topology, Proc. int. Conf., Berlin 1978, Lect. Notes Math. 719, 122--136 (1979; Zbl 0423.54015)], \textit{N. C. Heldermann} has shown that the category \({\mathbf C}{\mathbf o}{\mathbf n}\) of concentrated nearness spaces is an epireflective subcategory of \({\mathbf N}{\mathbf e}{\mathbf a}{\mathbf r}\) such that \({\mathbf T}{\mathbf o}{\mathbf p}\subset{\mathbf C}{\mathbf o}{\mathbf n}\subset\text{EH}({\mathbf T}{\mathbf o}{\mathbf p})\). This is still the best approximation of \(\text{EH}({\mathbf T}{\mathbf o}{\mathbf p})\) from below. In the present paper the authors introduce an approximation of \(\text{EH}({\mathbf T}{\mathbf o}{\mathbf p})\) from above as follows. Two sequences \((x_n)_{n<\omega}\) and \((y_n)_{n<\omega}\) in a nearness space \((X,\mu)\) are said to be adjacent if for each \({\mathcal U}\in\mu\) there exists an \(n_0<\omega\) such that for each \(n\geq n_0\) there is a \(U\in{\mathcal U}\) such that \(\{x_n, y_n\}\subset U\). They are said to be attached if for each \({\mathcal U}\in\mu\) there exists a \(U\in{\mathcal U}\) such that \(\{n< \omega\mid \{x_n,y_n\}\subset U\}\) is infinite. A nearness space \((X,\mu)\) is called glutinous if whenever \((x_n)_{n< \omega}\) and \((y_n)_{n<\omega}\) are adjacent sequences in \((X,\mu)\) with \((x_n)_{n<\omega}\) Cauchy then \((x_n)_{n<\omega}\) and \((y_n)_{n<\omega}\) are attached. It is shown that the category \({\mathbf G}{\mathbf l}{\mathbf u}\) of glutinous nearness spaces is an epireflective subcategory of \({\mathbf N}{\mathbf e}{\mathbf a}{\mathbf r}\) which contains \(\text{EH}({\mathbf T}{\mathbf o}{\mathbf p})\). So far it is the best approximation of \(\text{EH}({\mathbf T}{\mathbf o}{\mathbf p})\) from above. However, since \({\mathbf C}{\mathbf o}{\mathbf n}\subsetneq \text{EH}({\mathbf T}{\mathbf o}{\mathbf p})\subsetneq{\mathbf G}{\mathbf l}{\mathbf u}\), the main problem remains open.
0 references
nearness space
0 references
subtopological space
0 references
concentrated space
0 references
glutinous space
0 references