arXiv subjects
Publications and source records attributed to Taras Banakh.
This is a short introductory course to Set Theory, based on axioms of von Neumann--Bernays--Gödel (briefly NBG). The text can be used as a base for a lecture course in Foundations of Mathematics, and contains a reasonable minimum which a good (post-graduate) student in Mathematics should know about foundations of this science.
Via computer search, we found seven non-isomorphic $1$-rotational Steiner systems $S(2,6,226)$ and six point-transitive Steiner systems $S(2,6,441)$, resolving two of $29$ previously undecided cases for $S(2,6,v)$.
Linear Geometry studies geometric properties which can be expressed via the notion of a line. All information about lines is encoded in a ternary relation called a line relation. A set endowed with a line relation is called a liner. So, Linear Geometry studies liners. Imposing some additional axioms on a liner, we obtain some special classes of liners: regular, projective, affine, proaffine, etc. Linear Geometry includes Affine and Projective Geometries and is a part of Incidence Geometry. The aim of this book is to present a self-contained logical development of Linear Geometry, starting with some intuitive acceptable geometric axioms and ending with algebraic structures that necessarily arise from studying the structure of geometric objects that satisfy those simple and intuitive geometric axioms. We shall meet many quite exotic algebraic structures that arise this way: magmas, loops, ternars, quasi-fields, alternative rings, procorps, profields, etc. The notion of area also belongs to Linear Geometry and can be defined and studied using only lines and their parallelity. We strongly prefer (synthetic) geometric proofs and use tools of analytic geometry only when no purely geometric proof is available. Liner Geometry has been developed by many great mathematicians since times of Antiquity (Thales, Euclides, Proclus, Pappus), through Renaissance (Descartes, Desargues), Early Modernity (Playfair, Gauss, Lobachevski, Bolyai, Poncelet, Steiner, Möbius), Late Modernity Times (Steinitz, Klein, Hilbert, Moufang, Hessenberg, Jordan, Beltrami, Fano, Gallucci, Veblen, Wedderburn, Lenz, Barlotti) till our contempories (Hartshorne, Hall, Buekenhout, Gleason, Kantor, Doyen, Hubault, Dembowski, Klingenberg, Grundhöfer, Müller, Nagy).
A metric space is plastic if all its non-expansive bijections are isometries. We prove three main results: (1) every countable dense subspace of a normed space is not plastic, (2) every $k$-crowded separable metric space contains a plastic dense subspace, and (3) every strictly convex separable metric group contains a plastic dense subgroup.
In this paper various Steiner systems $S(2,k,v)$ for $k = 6$ are collected and enumerated for specific constructions. In particular, two earlier unknown types of $1$-rotational designs are found for the groups $SL(2,5)$ and $((\mathbb Z_3 \times \mathbb Z_3) \rtimes \mathbb Z_3) \times \mathbb Z_5$. Also new Steiner systems $S(2,6,96), S(2,6,106), S(2,6,111)$ are listed.
We prove that a topological group is isomorphic to the real line if and only if it is a one-parameteric, metrizable, and not monothetic. This result is used in the authors' other paper to prove that one-parametric groups in strictly convex metric group all are topologically isomorphic to the real line. The example of the Bohr topology on the real line demonstrates that metrizability is an essential assumption in our first claim. This motivates further study to characterize the Bohr group topology as well as detect a monothetic one-parametric topological groups in a non-metrizable setting. Both issues are addressed and resolved in the present paper.
It is proved that for every stratifiable space $Y$ and a closed subset $X\subset Y$ there exists a regular (i.e. linear positive with unit norm) extension operator $T:C(X\times X)\to C(Y\times Y)$ preserving the class of (pseudo)metrics. This operator is continuous with respect to the pointwise as well as to the compact-open topologies on the linear lattices of continuous functions $C(X\t X)$ and $C(Y\t Y)$. If moreover the space Y is metrizable then the operator $T$ preserves the class of admissible metrics. The equivariant analog of the above statement is proved as well.
Linear Geometry describes geometric properties that depend on the fundamental notion of a line. In this paper we survey basic notions and results of Linear Geomery that depend on the flat hulls: flats, exchange, rank, regularity, modularity, and parallelity.
We show that every locally compact strictly convex metric group is abelian, thus answering one problem posed by the authors in their earlir paper. To prove this theorem we first construct the isomorphic embeddings of the real line into the strictly convex metric group using its geodesic properties and charaterization of the real line as a unique not monothetic one-parametric metrizable topological group. We proceed to show that all compact subgroups in a strictly convex metric group are trivial, which combined with the classical result of Iwasawa completes the proof of the main result.
In the paper we unify two extensions of the classical Hutchinson--Barnsley theory - the topological and the fuzzy-set approaches. We show that a fuzzy iterated function system (fuzzy IFS) on a Tychonoff space $X$ which is contracting w.r.t. some admissible multimetric, generates a natural fuzzy attractor in the hyperspace $\mathcal{K}_{\mathcal{F}}(X)$ of all compact fuzzy sets. As a consequence, we prove that a fuzzy IFS on a Hausdorff topological space which is topologically contracting admits a fuzzy attractor in a bit weaker sense. Our discussion involves investigations on topologies on the hyperspace $\mathcal{K}_{\mathcal{F}}(X)$ which are suitable for establishing convergence of sequences of iterations of a fuzzy Hutchinson operator.
In this paper new $1$-rotational 2-Steiner systems for different admissible $v,k$ pairs are introduced. In particular, $1$-rotational unitals of order $4$ are enumerated.
In this paper we introduce enumeration of unitals of order $5$, which are also Steiner systems $S(2,6,126)$, where automorphism group acts transitively and effectively on points or fixes one point.
A metric space $X$ is {\em injective} if every non-expanding map $f:B\to X$ defined on a subspace $B$ of a metric space $A$ can be extended to a non-expanding map $\bar f:A\to X$. We prove that a metric space $X$ is a Lipschitz image of an injective metric space if and only if $X$ is Lipschitz connected in the sense that for every points $x,y\in X$, there exists a Lipschitz map $f:[0,1]\to X$ such that $f(0)=x$ and $f(1)=y$. In this case the metric space $X$ carries a well-defined intrinsic metric. A metric space $X$ is a Lipschitz image of a compact injective metric space if and only if $X$ is compact, Lipschitz connected and its intrinsic metric is totally bounded. A metric space $X$ is a Lipschitz image of a separable injective metric space if and only if $X$ is a Lipschitz image of the Urysohn universal metric space if and only if $X$ is analytic, Lipschitz connected and its intrinsic metric is separable.
A $graph$ $metric$ on a set $X$ is any function $d: E_d \to\mathbb R_+:=\{x\in\mathbb R:x>0\}$ defined on a connected graph $ E_d \subseteq[X]^2:=\{A\subseteq X:|A|=2\}$ and such that for every $\{x,y\}\in E_d$ we have $d(\{x,y\})\le\hat d(x,y):=\inf\big\{\sum_{i=1}^nd(\{x_{i-1},x_i\}):\{x,y\}=\{x_0,x_n\}\;\wedge\;\{\{x_{i-1},x_i\}:0 \check d(x,y:= \sup\{d(\{a,b\})-\hat d(a,u)-\hat d(b,y):\{a,b\}\in E_d \}$ for every $x,y\in X$ with $\{x,y\}\notin E_d $. We prove that for every floppy graph metric $d: E_d \to\mathbb R_+$ on a set $X$, every points $x,y\in X$ with $\{x,y\}\notin E_d $, and every real number $r$ with $\frac 13\check d(x,y)+\frac23\hat d(x,y)\le r<\hat d(x,y)$ the function $d\cup\{\langle\{x,y\},r\rangle\}$ is a floppy graph metric. This implies that for every floppy graph metric $d: E_d \to\mathbb R_+$ with countable set $[X]^2\setminus E_d $ and for every indexed family $(F_e)_{e\in[X]^2\setminus E_d }$ of dense subsets of $\mathbb R_+$, there exists an injective function $r\in\prod_{e\in[X]^2\setminus E_d}F_e$ such that $d\cup r$ is a full metric. Also, we prove that the latter result does not extend to partial metrics defined on uncountable sets.
Following Will Brian, we define a metric space $X$ to be $Banakh$ if all nonempty spheres of positive radius $r$ in $X$ have cardinality $2$ and diameter $2r$. Standard examples of Banakh spaces are subgroups of the real line. In this paper we study the geometry of Banakh spaces, characterize Banakh spaces which are isometric to subgroups of the real line, and also construct Banakh spaces $(X,d)$ which do not embed into the real line and have a prescribed distance set $d[X^2]$.
For a metric Peano continuum $X$, let $S_X$ be a Sierpiński function assigning to each $\varepsilon>0$ the smallest cardinality of a cover of $X$ by connected subsets of diameter $\le \varepsilon$. We prove that for any increasing function $Ω:\mathbb R_+\to\mathbb R_+$ with $(0,1]\subseteqΩ[\mathbb R_+]$ and $s:=\sum_{n=1}^\infty S_X(2^{-n})\sum_{m=n}^\infty S_X(2^{-m})\,Ω^{-1}(\min\{1,2^{6-m}\})<\infty$ there exists a continuous surjective function $f:[0,s]\to X$ with continuity modulus $ω_f\leΩ$. This controlled version of the classical Hahn-Mazurkiewicz Theorem implies that $SDim(X)\le HDim(X)\le 2{\cdot}SDim(X)$, where $SDim(X)=\limsup_{\varepsilon\to 0}\frac{\ln(S_X(\varepsilon))}{\ln(1/\varepsilon)}$ is the $S$-dimension of $X$, and $HDim(X)=\inf\{α\in (0,\infty]:$ there is a~surjective $\frac1α$-Hölder map $f:[0,1]\to X\}$ is the $H\ddot older$ $dimension$ of $X$.
A subset $X$ of an Abelian group $G$ is called $midconvex$ if for every $x,y\in X$ the set $\frac{x+y}2=\{z\in G:2z=x+y\}$ is a subset of $X$. We prove that a subset $X$ of an Abelian group $G$ is midconvex if and only if for every $g\in G$ and $x\in X$, the set $\{n\in\mathbb Z:x+ng\in X\}$ is equal to $C\cap H$ for some order-convex set $C\subseteq \mathbb Z$ and some subgroup $H\subseteq \mathbb Z$ such that the quotient group $\mathbb Z/H$ has no elements of even order. This characterization implies that a subset $X$ of a periodic Abelian group $G$ is midconvex if and only if for every $x\in X$ the set $X-x$ is a subgroup of $G$ such that every element of the quotient group $G/(X-x)$ has odd order. Also we prove that a nonempty set $X$ in a subgroup $G\subseteq\mathbb Q$ is midconvex if and only if $X=C\cap(H+x)$ for some order-convex set $C\subseteq\mathbb Q$, some $x\in X$ and some subgroup $H$ of $G$ such that the quotient group $G/H$ contains no elements of even order.
A subset $X$ of an Abelian group $G$ is called $semiaf\!fine$ if for every $x,y,z\in X$ the set $\{x+y-z,x-y+z\}$ intersects $X$. We prove that a subset $X$ of an Abelian group $G$ is semiaffine if and only if one of the following conditions holds: (1) $X=(H+a)\cup (H+b)$ for some subgroup $H$ of $G$ and some elements $a,b\in X$; (2) $X=(H\setminus C)+g$ for some $g\in G$, some subgroup $H$ of $G$ and some midconvex subset $C$ of the group $H$. A subset $C$ of a group $H$ is $midconvex$ if for every $x,y\in C$, the set $\frac{x+y}2:=\{z\in H:2z=x+y\}$ is a subset of $C$.