ﻻ يوجد ملخص باللغة العربية
The structure of topological spaces is analysed here through the lenses of fibrous preorders. Each topological space has an associated fibrous preorder and those fibrous preorders which return a topological space are called spacial. A special class of spacial fibrous preorders consisting of an interconnected family of preorders indexed by a unitary magma is called cartesian and studied here. Topological spaces that are obtained from those fibrous preorders, with a unitary magma emph{I}, are called emph{I}-cartesian and characterized. The characterization reveals a hidden structure of such spaces. Several other characterizations are obtained and special attention is drawn to the case of a monoid equipped with a topology. A wide range of examples is provided, as well as general procedures to obtain topologies from other data types such as groups and their actions. Metric spaces and normed spaces are considered as well.
We prove that the semigroup operation of a topological semigroup $S$ extends to a continuous semigroup operation on its the Stone-v{C}ech compactification $beta S$ provided $S$ is a pseudocompact openly factorizable space, which means that each map $
We introduce and study some generalizations of regular spaces, which were motivated by studying continuity properties of functions between (regular) topological spaces. In particular, we prove that a first-countable Hausdorff topological space is reg
Topological gyrogroups, with a weaker algebraic structure without associative law, have been investigated recently. We prove that each $T_{0}$-strongly topological gyrogroup is completely regular. We also prove that every $T_{0}$-strongly topological
For a non-isolated point $x$ of a topological space $X$ the network character $nw_chi(x)$ is the smallest cardinality of a family of infinite subsets of $X$ such that each neighborhood $O(x)$ of $x$ contains a set from the family. We prove that (1) e
A topological group $X$ is called $duoseparable$ if there exists a countable set $Ssubseteq X$ such that $SUS=X$ for any neighborhood $Usubseteq X$ of the unit. We construct a functor $F$ assigning to each (abelian) topological group $X$ a duoseparab