Source author record

Oleksiy Dovgoshey

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.MG math.CO math.GN math.CA math.AP

Catalog footprint

Research overview

18works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Bipartite graphs and best proximity pairs

We say that a bipartite graph $G(A, B)$ with fixed parts $A$ , $B$ is proximinal if there is a semimetric space $(X, d)$ such that $A$ and $B$ are disjoint proximinal subsets of $X$ and all edges $\{a, b\}$ satisfy the equality $d(a, b) = \operatorname{dist}(A, B)$ . It is proved that a bipartite graph $G$ is not isomorphic to any proximinal graph iff $G$ is finite and empty. It is also shown that the subgraph induced by all non-isolated vertices of a nonempty bipartite graph $G$ is a disjoint union of complete bipartite graphs iff $G$ is isomorphic to a nonempty proximinal graph for an ultrametric space.

preprint2022arXiv

Completeness, Closedness and Metric Reflections of Pseudometric Spaces

It is well-known that a metric space $(X, d)$ is complete iff the set $X$ is closed in every metric superspace of $(X, d)$ . For a given pseudometric space $(Y, ρ)$ , we describe the maximal class $\mathbf{CEC}(Y, ρ)$ of superspaces of $(Y, ρ)$ such that $(Y, ρ)$ is complete if and only if $Y$ is closed in every $(Z, Δ) \in \mathbf{CEC}(Y, ρ)$ . We also introduce the concept of pseudoisometric spaces and prove that spaces are pseudoisometric iff their metric reflections are isometric. The last result implies that a pseudometric space is complete if and only if this space is pseudoisometric to a complete pseudometric space.

preprint2022arXiv

Labeled trees generating complete, compact, and discrete ultrametric spaces

We investigate the interrelations between labeled trees and ultrametric spaces generated by these trees. The labeled trees, which generate complete ultrametrics, totally bounded ultrametrics, and discrete ones, are characterized up to isomorphism. As corollary, we obtain a characterization of labeled trees generating compact ultrametrics, and discrete totally bounded ultrametrics. It is also shown that every ultrametric space generated by labeled tree contains a dense discrete subspace.

preprint2022arXiv

Uniqueness of best proximity pairs and rigidity of semimetric spaces

For arbitrary semimetric space $(X, d)$ and disjoint proximinal subsets $A$ , $B$ of $X$ we define the proximinal graph as a bipartite graph with parts $A$ and $B$ whose edges $\{a, b\}$ satisfy the equality $d(a, b) = \operatorname{dist}(A, B)$ . We characterize the semimetric spaces whose proximinal graphs have at most one edge and the semimetric spaces whose proximinal graphs have the vertices with degree at most $1$ only. This allows us to describe the necessary and sufficient conditions for uniqueness of the best proximity pairs and best approximations.

preprint2022arXiv

When all Permutations are Combinatorial Similarities

Let $(X, d)$ be a semimetric space. A permutation $Φ$ of the set $X$ is a combinatorial self similarity of $(X, d)$ if there is a bijective function $f \colon d(X^2) \to d(X^2)$ such that $d(x, y) = f(d(Φ(x), Φ(y)))$ for all $x$ , $y \in X$ . We describe the set of all semimetrics $ρ$ on an arbitrary nonempty set $Y$ for which every permutation of $Y$ is a combinatorial self similarity of $(Y, ρ)$ .

preprint2021arXiv

The range of ultrametrics, compactness, and separability

We describe the order type of range sets of compact ultrametrics and show that an ultrametrizable infinite topological space $(X, τ)$ is compact iff the range sets are order isomorphic for any two ultrametrics compatible with the topology $τ$ . It is also shown that an ultrametrizable topology is separable iff every compatible with this topology ultrametric has at most countable range set.

preprint2020arXiv

Isomorphism of trees and isometry of ultrametric spaces

We study the conditions under which the isometry of spaces with metrics generated by weights given on the edges of finite trees is equivalent to the isomorphism of these trees. Similar questions are studied for ultrametric spaces generated by labelings given on the vertices of trees. The obtained results generalized some facts previously known for phylogenetic trees and for Gurvich-Vyalyi monotone trees.

preprint2016arXiv

Boundedness of Lebesgue constants and interpolating Faber bases

We investigate some conditions under which the Lebesgue constants or Lebesgue functions are bounded for the classical Lagrange polynomial interpolation on a compact subset of $\mathbb R$ . In particular, relationships of such boundedness with uniform and pointwise convergence of Lagrange polynomials and with the existence of interpolating Faber bases are discussed.

preprint2015arXiv

First Baire class functions in the pluri-fine topology

Let $B_{1}(Ω, \mathbb R)$ be the first Baire class of real functions in the pluri-fine topology on an open set $Ω\subseteq \mathbb C^{n}$ and let $H_{1}^{*}(Ω, \mathbb R)$ be the first functional Lebesgue class of real functions in the same topology. We prove the equality $B_{1}(Ω, \mathbb R)=H_{1}^{*}(Ω, \mathbb R)$ and show that for every $f\in B_{1}(Ω, \mathbb R)$ there is a separately continuous function $g: Ω^{2} \to\mathbb R$ in the pluri-fine topology on $Ω^2$ such that $f$ is the diagonal of $g.$

preprint2014arXiv

Uniform boundedness of pretangent spaces, local constancy of metric derivatives and strong right upper porosity at a point

Let $(X,d,p)$ be a pointed metric space. A pretangent space to $X$ at $p$ is a metric space consisting of some equivalence classes of convergent to $p$ sequences $(x_n), x_n \in X,$ whose degree of convergence is comparable with a given scaling sequence $(r_n), r_n\downarrow 0.$ A scaling sequence $(r_n)$ is normal if this sequence is eventually decreasing and there is $(x_n)$ such that $\mid d(x_n,p)-r_n\mid=o(r_n)$ for $n\to\infty.$ Let $\mathbf{Ω_{p}^{X}(n)}$ be the set of pretangent spaces to $X$ at $p$ with normal scaling sequences. We prove that $\mathbf{Ω_{p}^{X}(n)}$ is uniformly bounded if and only if $\{d(x,p): x\in X\}$ is a so-called completely strongly porous set. It is also proved that the uniform boundedness of $\mathbf{Ω_{p}^{X}(n)}$ is an equivalent of the constancy of metric derivatives of all metrically differentiable mappings on $X$ in the open balls of a fixed radius centered at the marked points of pretangent spaces.

preprint2013arXiv

Isotone extension of mappings

A set of necessary and sufficient conditions under which an isotone mapping from a subset of a poset X to a poset Y has an extension to an isotone mapping from X to Y are found.

preprint2013arXiv

Pretangent spaces with nonpositive and nonnegative Aleksandrov curvature

We find conditions under which the pretangent spaces to general metric spaces have the nonpositive Aleksandrov curvature or nonnegative one. The infinitesimal structure of general metric cpaces with Busemann convex pretangent spaces is also described.

preprint2013arXiv

Uniform boundedness of pretangent spaces and local strong one-side porosity

Let (X,d,p) be a pointed metric space. A pretangent space to X at p is a metric space consisting of some equivalence classes of convergent to p sequences (x_n), x_n \in X, whose degree of convergence is comparable with a given scaling sequence (r_n), r_n\downarrow 0. We say that (r_n) is normal if there is (x_n) such that |d(x_n,p)-r_n|=o(r_n) for n\to\infty. Let Omega_{p}^{X}(n) be the set of pretangent spaces to X at p with normal scaling sequences. We prove that the spaces from Omega_{p}^{X}(n) are uniformly bounded if and only if {d(x,p:x\in X}is a so-called completely strongly porous set.

preprint2012arXiv

Boundedness of pretangent spaces to general metric spaces

Let (X,d,p) be a metric space with a metric d and a marked point p. We define the set of w-strongly porous at 0 subsets of [0,\infty) and prove that the distance set {d(x,p): x\in X} is w-strongly porous at 0 if and only if every pretangent space to X at p is bounded.

preprint2012arXiv

Mean value type inequalities for quasinearly subharmonic functions

The mean value inequality is characteristic for upper semicontinuous functions to be subharmonic. Quasinearly subharmonic functions generalize subharmonic functions. We find the necessary and sufficient conditions under which subsets of balls are big enough for the catheterization of nonnegative, quasinearly subharmonic functions by mean value inequalities. Similar result is obtained also for generalized mean value inequalities where, instead of balls, we consider arbitrary bounded sets which have nonvoid interiors and instead of the volume of ball some functions depending on the radius of this ball.

preprint2012arXiv

Tangent metric spaces to starlike sets on the plane

Let $A\subseteq\mathbb C$ be a starlike set with a center $a$ . We prove that every tangent space to $A$ at the point $a$ is isometric to the smallest closed cone, with the vertex $a$ , which includes $A$ . A partial converse to this result is obtained. The tangent space to convex sets is also discussed.

preprint2012arXiv

Weak similarities of metric and semimetric spaces

Let (X,dX) and (Y,dY) be semimetric spaces with distance sets D(X) and, respectively, D(Y). A mapping F : X \to Y is a weak similarity if it is surjective and there exists a strictly increasing f : D(Y) \to D(X) such that dX = f \circ dY \circ F. It is shown that the weak similarities between geodesic spaces are usual similarities and every weak similarity F : X \to Y is an isometry if X and Y are ultrametric and compact with D(X) = D(Y). Some conditions under which the weak similarities are homeomorphisms or uniform equivalences are also found.

preprint2011arXiv

Metrization of weighted graphs

We find a set of necessary and sufficient conditions under which the weight $w:E\to\mathbb R^+$ on the graph $G=(V,E)$ can be extended to a pseudometric $d:V\times V\to\mathbb R^+$ . If these conditions hold and $G$ is a connected graph, then the set $\mathfrak M_w$ of all such extensions is nonvoid and the shortest-path pseudometric $d_w$ is the greatest element of $\mathfrak M_w$ with respect to the partial ordering $d_1 \leqslant d_2$ if and only if $d_1(u,v) \leqslant d_2(u,v)$ for all $u,v\in V$ . It is shown that every nonvoid poset $(\mathfrak M_w,\leqslant)$ contains the least element $ρ_{0,w}$ if and only if $G$ is a complete $k$ -partite graph with $k\geqslant 2$ and in this case the explicit formula for computation of $ρ_{0,w}$ is obtained.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Oleksiy Dovgoshey

Research overview

Is this your work?

18 publications

Bipartite graphs and best proximity pairs

Completeness, Closedness and Metric Reflections of Pseudometric Spaces

Labeled trees generating complete, compact, and discrete ultrametric spaces

Uniqueness of best proximity pairs and rigidity of semimetric spaces

When all Permutations are Combinatorial Similarities

The range of ultrametrics, compactness, and separability

Isomorphism of trees and isometry of ultrametric spaces

Boundedness of Lebesgue constants and interpolating Faber bases

First Baire class functions in the pluri-fine topology

Uniform boundedness of pretangent spaces, local constancy of metric derivatives and strong right upper porosity at a point

Isotone extension of mappings

Pretangent spaces with nonpositive and nonnegative Aleksandrov curvature

Uniform boundedness of pretangent spaces and local strong one-side porosity

Boundedness of pretangent spaces to general metric spaces

Mean value type inequalities for quasinearly subharmonic functions

Tangent metric spaces to starlike sets on the plane

Weak similarities of metric and semimetric spaces

Metrization of weighted graphs

See the researcher in context

Building this map preview