Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0706.4197

On the Theory of Relative Bitopological and Topological Properties

B. P. Dvalishvili
View original source ↗Read source document ↗Export metadata ↓

Abstract

In the first part of the work (Sections 2-6) a special attention is given to relative separation axioms and relative connectedness, in particular, many relative versions of p-T_0, p-T_1, p-T_2, (i,j)- and p-regularities, (i,j)- and p-complete regularities, p-real normality and p-normality are discussed. Moreover, relative properties of (i,j)- and p-compactness types, including relative versions of (i,j)- and p-paracompactness, (i,j)- and p-Lindeofness, (i,j)- and p-pseudocompactness are also introduced and investigated. The second part (Sections 7-12) is devoted, on the one hand, to relative bitopological inductive and covering dimension functions and, on the other hand, to relative versions of Baire spaces for both the topological and the bitopological case. At the end, note that relative (bi)topological properties play a special role not only in the development of respective theories, but also in the strengthening of the previously known results.

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

B. P. Dvalishvili. 2007-06-28. On the Theory of Relative Bitopological and Topological Properties. https://arxiv.org/abs/0706.4197

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

$PF$-well-filtered spaces

This paper solves two open problems concerning the well-filteredness of topological spaces. The first, due to Shen, Xi and Zhao\cite{shen2023further}, asks whether a space must be open well-filtered whenever its upper space is so; the answer is negative; the Hofmann-Lawson space provides a counterexample. The second, posed by Li, Yuan and Zhao\cite{li2020unified}, inquires whether $PF$-well-filteredness and $PF$- sobriety are equivalent under the assumption of local compactness; we answer it in the affirmative. Subsequently, we give characterizations of $PF$-sobriety and $PF$-well-filteredness for $T_0$ spaces, respectively. On the basis of the characterizations, we obtain the following result: $PF$-sobriety and $PF$-well-filteredness coincide on the Rudin spaces, which extends the previously established equivalence for locally compact spaces, as every locally compact space is a Rudin space. Furthermore, we give a counterexample to show that for nonempty $T_0$ topological spaces $X$ and $Y$, if $Y$ is a $PF$-well-filtered ($PF$-sober) space, then the function space consisting of all continuous maps from $X$ to $Y$ equipped with the Isbell topology may not be a $PF$-well-filtered ($PF$-sober) space even when $X$ is a core-compact space. We also prove that if the function space comprising all continuous maps from nonempty $X$ to $Y$ endowed with the Isbell topology is $PF$-well-filtered ($PF$-sober), then $Y$ is also $PF$-well-filtered ($PF$-sober) even though $PF$-sobriety and $PF$-well-filteredness are not preserved under retracts. Finally, we show that the reflective hull of the category of $PF$-well-filtered ($PF$-sober) spaces with continuous maps in $TOP_0$ is $TOP_0$.

math.GN↗
arXiv2026

A non-sober core-compact meet-continuous dcpo

We construct a meet-continuous dcpo whose Scott space is core-compact but neither sober nor locally compact. The example is a proper sub-dcpo of a locally compact sober complete lattice, and restriction induces an isomorphism between their lattices of Scott-closed sets. It follows that a locally compact sober dcpo need not be determined, among all dcpos, by its Scott-closed-set lattice.

math.GN↗
arXiv2026

On identities in connected topological groups

We construct a connected (indeed, path-connected) Hausdorff topological group G such that, for an odd n >= 665, the identity x^n = e holds in some neighbourhood of the identity but does not hold in the whole group. This answers in the negative a question of Mycielski and Aronszajn (Question 2.48 of the Kourovka Notebook). The construction uses the Graev extension of metrics to free topological groups and results of Adian and Adian-Atabekyan (for n > 10^10, alternatively, of Ol'shanskii and Ashmanov-Ol'shanskii) on free Burnside groups and their central extensions.

math.GN↗