Showing 1–16 of 16 results for author: Shchepin, E

On homogeneity of $\mathbb N^τ$

Authors: A. Karassev, E. Shchepin, V. Valov

Abstract: It is shown that any homeomorphism between two compact subsets of $\mathbb N^τ$ can be extended to an autohomeomorphism of $\mathbb N^τ$. It is shown that any homeomorphism between two compact subsets of $\mathbb N^τ$ can be extended to an autohomeomorphism of $\mathbb N^τ$. △ Less

Submitted 14 May, 2022; originally announced May 2022.

Comments: 6 pages

Extending homeomorphisms on Cantor cubes

Authors: E. Shchepin, V. Valov

Abstract: We discuss the question of extending homeomorphism between closed subsets of the Cantor discontinuum $D^τ$. It is established that any homeomorphism $f$ between two closed subsets of $D^τ$ can be extended to an autohomeomorphism of $D^τ$ provided $f$ preserves the $λ$-interiors of the sets for every cardinal $λ$. We discuss the question of extending homeomorphism between closed subsets of the Cantor discontinuum $D^τ$. It is established that any homeomorphism $f$ between two closed subsets of $D^τ$ can be extended to an autohomeomorphism of $D^τ$ provided $f$ preserves the $λ$-interiors of the sets for every cardinal $λ$. △ Less

Submitted 19 September, 2022; v1 submitted 10 November, 2021; originally announced November 2021.

Comments: 15 pages. arXiv admin note: substantial text overlap with arXiv:2109.07214

MSC Class: 54C20; 54F45

On homogeneity of Cantor cubes

Authors: E. Shchepin, V. Valov

Abstract: It is established that any homeomorphism between two closed negligible subset of $D^τ$ can be extended to an autohomeomorphism of $D^τ$. It is established that any homeomorphism between two closed negligible subset of $D^τ$ can be extended to an autohomeomorphism of $D^τ$. △ Less

Submitted 25 November, 2021; v1 submitted 15 September, 2021; originally announced September 2021.

MSC Class: 54

Search of fractal space-filling curves with minimal dilation

Authors: Yuri Malykhin, Evgeny Shchepin

Abstract: We introduce an algorithm for a search of extremal fractal curves in large curve classes. It heavily uses SAT-solvers~ -- heuristic algorithms that find models for CNF boolean formulas. Our algorithm was implemented and applied to the search of fractal surjective curves $γ\colon[0,1]\to[0,1]^d$ with minimal dilation $$ \sup_{t_1<t_2}\frac{\|γ(t_2)-γ(t_1)\|^d}{t_2-t_1}. $$ We report new results o… ▽ More We introduce an algorithm for a search of extremal fractal curves in large curve classes. It heavily uses SAT-solvers~ -- heuristic algorithms that find models for CNF boolean formulas. Our algorithm was implemented and applied to the search of fractal surjective curves $γ\colon[0,1]\to[0,1]^d$ with minimal dilation $$ \sup_{t_1<t_2}\frac{\|γ(t_2)-γ(t_1)\|^d}{t_2-t_1}. $$ We report new results of that search in the case of Euclidean norm. We have found a new curve that we call "YE", a self-similar (monofractal) plane curve of genus $5\times 5$ with dilation $5\frac{43}{73}=5.5890\ldots$. In dimension $3$ we have found facet-gated bifractals (that we call "Spring") of genus $2\times2\times 2$ with dilation $<17$. In dimension $4$ we obtained that there is a curve with dilation $<62$. Some lower bounds on the dilation for wider classes of cubically decomposable curves are proved. △ Less

Submitted 23 December, 2021; v1 submitted 12 March, 2021; originally announced March 2021.

On lower estimations of square-linear ratio for plane Peano curves

Authors: Evgeny Shchepin, Evgeny Mychka

Abstract: It is proved that for any mapping of a unit segment to a unit square, there is a pair of points of the segment for which the square of the Euclidean distance between their images exceeds the distance between them on the segment by at least $3\frac58$ times. And the additional condition that the images of the beginning and end of the segment belong to opposite sides of the square increases the esti… ▽ More It is proved that for any mapping of a unit segment to a unit square, there is a pair of points of the segment for which the square of the Euclidean distance between their images exceeds the distance between them on the segment by at least $3\frac58$ times. And the additional condition that the images of the beginning and end of the segment belong to opposite sides of the square increases the estimate to $4+\varepsilon$. △ Less

Submitted 3 March, 2021; originally announced March 2021.

Comments: 3 figures

About the Serpinsky-Knopp curve

Authors: Evgeny Shchepin

Abstract: The Serpinsky-Knopp curve is characterized as the only curve (up to isometry) that maps a unit segment onto a triangle of a unit area, so for any pair of points in the segment, the square of the distance between their images does not exceed four times the distance between them. The Serpinsky-Knopp curve is characterized as the only curve (up to isometry) that maps a unit segment onto a triangle of a unit area, so for any pair of points in the segment, the square of the distance between their images does not exceed four times the distance between them. △ Less

Submitted 3 March, 2020; originally announced March 2020.

Comments: An abridged version of this article is accepted for publication in Russian Mathematical Surveys

MSC Class: 51F99

Chain development of metric compacts

Authors: Yu. V. Malykhin, E. V. Shchepin

Abstract: Chain distance between points in a metric space is defined as the infimum of epsilon such that there is an epsilon-chain connecting these points. We call a mapping of a metric compact into the real line a chain development if it preserves chain distances. We give a criterium of existence of the chain development for metric compacts. We prove the diameter of any chain development of a given compact… ▽ More Chain distance between points in a metric space is defined as the infimum of epsilon such that there is an epsilon-chain connecting these points. We call a mapping of a metric compact into the real line a chain development if it preserves chain distances. We give a criterium of existence of the chain development for metric compacts. We prove the diameter of any chain development of a given compact to be the same iff the compact is countable. △ Less

Submitted 4 April, 2016; originally announced April 2016.

Comments: the paper is submitted to "Topology and Applications"

Riesz means and Greedy Sums

Authors: Evgeny Shchepin

Abstract: One introduces the concept of greedy k-summability in such a way, that the direct product of one greedy k-summable numeric array onto another greedy n-summable numeric array to be greedy (n+k+1)-summable. One introduces the concept of greedy k-summability in such a way, that the direct product of one greedy k-summable numeric array onto another greedy n-summable numeric array to be greedy (n+k+1)-summable. △ Less

Submitted 4 December, 2012; originally announced December 2012.

A Topological Code for Plane Images

Authors: Evgeny Shchepin

Abstract: It is proposed a new code for contours of plane images. This code was applied for optical character recognition of printed and handwritten characters. One can apply it to recognition of any visual images. It is proposed a new code for contours of plane images. This code was applied for optical character recognition of printed and handwritten characters. One can apply it to recognition of any visual images. △ Less

Submitted 4 December, 2012; originally announced December 2012.

Greedy Sums and Dirichlet Series

Authors: Evgeny Shchepin

Abstract: We prove that the greedy sum of a direct product of two numeric arrays of complex numbers is equal to the product of the greedy sums of the factors provided that all the mentioned sums exist. We prove that the greedy sum of a direct product of two numeric arrays of complex numbers is equal to the product of the greedy sums of the factors provided that all the mentioned sums exist. △ Less

Submitted 24 October, 2011; originally announced October 2011.

Comments: 3 pages

Local section of Serre fibrations with 3-manifold fibers

Authors: N. Brodsky, A. Chigogidze, E. V. Shchepin

Abstract: It was proved by H. Whitney in 1933 that a Serre fibration of compact metric spaces admits a global section provided every fiber is homeomorphic to the unit interval [0,1]. An extension of the Whitney's theorem to the case when all fibers are homeomorphic to some fixed compact two-dimensional manifold was proved by the authors \cite{BCS}. The main result of this paper proves the existence of loc… ▽ More It was proved by H. Whitney in 1933 that a Serre fibration of compact metric spaces admits a global section provided every fiber is homeomorphic to the unit interval [0,1]. An extension of the Whitney's theorem to the case when all fibers are homeomorphic to some fixed compact two-dimensional manifold was proved by the authors \cite{BCS}. The main result of this paper proves the existence of local sections in a Serre fibration with all fibers homeomorphic to some fixed compact three-dimensional manifold. △ Less

Submitted 19 February, 2009; originally announced February 2009.

Comments: Submitted to Topolofy and its Applications

MSC Class: 57N05; 57N10; 54C65

Local sections of Serre fibrations with 2-manifold fibers

Authors: N. Brodsky, A. Chigogidze, E. V. Shchepin

Abstract: It was proved by H. Whitney in 1933 that a Serre fibration of compact metric spaces admits a global section provided every fiber is homeomorphic to the unit interval [0,1]. Results of this paper extend Whitney theorem to the case when all fibers are homeomorphic to a given compact two-dimensional manifold. It was proved by H. Whitney in 1933 that a Serre fibration of compact metric spaces admits a global section provided every fiber is homeomorphic to the unit interval [0,1]. Results of this paper extend Whitney theorem to the case when all fibers are homeomorphic to a given compact two-dimensional manifold. △ Less

Submitted 19 February, 2009; originally announced February 2009.

MSC Class: 57N05; 57N10; 54C65

Journal ref: Topology and its Applications, 155 (2008), 773-782

The telescope approach to embeddability of compacta

Authors: Sergey A. Melikhov, Evgenij V. Shchepin

Abstract: We show that an n-dimensional compactum X embeds in R^m, where m>3(n+1)/2, if and only if X x X - Δadmits an equivariant map to S^{m-1}. In particular, X embeds in R^{2n}, n>3, iff the top power of the (twisted) Euler class of the factor-exchanging involution on X x X - Δis trivial. Assuming that X quasi-embeds in R^{2n} (i.e. is an inverse limit of n-polyhedra, embeddable in R^{2n}), this is eq… ▽ More We show that an n-dimensional compactum X embeds in R^m, where m>3(n+1)/2, if and only if X x X - Δadmits an equivariant map to S^{m-1}. In particular, X embeds in R^{2n}, n>3, iff the top power of the (twisted) Euler class of the factor-exchanging involution on X x X - Δis trivial. Assuming that X quasi-embeds in R^{2n} (i.e. is an inverse limit of n-polyhedra, embeddable in R^{2n}), this is equivalent to the vanishing of an obstruction in lim^1 H^{2n-1}(K_i) over compact subsets K_i\subset X x X - Δ. One application is that an n-dimensional ANR embeds in R^{2n} if it quasi-embeds in R^{2n-1}, n>3. We construct an ANR of dimension n>1, quasi-embeddable but not embeddable in R^{2n}, and an AR of dimension n>1, which does not "movably" embed in R^{2n}. These examples come close to, but don't quite resolve, Borsuk's problem: does every n-dimensional AR embed in R^{2n}? In the affirmative direction, we show that an n-dimensional compactum X embeds in R^{2n}, n>3, if H^n(X)=0 and H^{n+1}(X,X-pt)=0 for every pt\in X. There are applications in the entire metastable range as well. An n-dimensional compactum X with H^{n-i}(X-pt)=0 for each pt\in X and all i\le k embeds in R^{2n-k}. This generalizes Bryant and Mio's result that k-connected n-dimensional generalized manifolds embed in R^{2n-k}. Also, an acyclic compactum X embeds in R^m iff X x I embeds in R^{m+1} iff X x (triod) embeds in R^{m+2}. As a byproduct, we answer a question of T. Banakh on stable embeddability of the Menger cube. △ Less

Submitted 4 December, 2006; originally announced December 2006.

Comments: 26 pages

MSC Class: 57N35; 54C25; 57Q35; 57P99

On fractal Peano curves

Authors: Evgeny Shchepin

Abstract: It is proved that for every fractal continuous mapping F: I\to I^2 of the unit interval onto the unit square there is a pair of points x,y\in I, such that |F(x)-F(y)|^2\ge 5|x-y|. It is proved that for every fractal continuous mapping F: I\to I^2 of the unit interval onto the unit square there is a pair of points x,y\in I, such that |F(x)-F(y)|^2\ge 5|x-y|. △ Less

Submitted 29 April, 2004; originally announced April 2004.

Comments: 11 pages, in Russian, to appear in Proc. Steklov Math. Inst

MSC Class: 28A80

Sections of Serre fibrations with low-dimensional fibers

Authors: N. Brodsky, A. Chigogidze, E. V. Shchepin

Abstract: It was proved by H. Whitney in 1933 that it is possible to mark a point in all curves in a continuous way. The main result of this paper extends the Whitney theorem to dimensions 2 and 3. Namely, we prove that it is possible to choose a point continuously in all two-dimensional surfaces sufficiently close to a given surface, and in all 3-manifolds sufficiently close to a given 3-manifold. It was proved by H. Whitney in 1933 that it is possible to mark a point in all curves in a continuous way. The main result of this paper extends the Whitney theorem to dimensions 2 and 3. Namely, we prove that it is possible to choose a point continuously in all two-dimensional surfaces sufficiently close to a given surface, and in all 3-manifolds sufficiently close to a given 3-manifold. △ Less

Submitted 23 August, 2002; originally announced August 2002.

Comments: 22 pages

MSC Class: 57N05

On periodic homeomorphisms of spheres

Authors: L. Montejano, E. V. Shchepin

Abstract: The purpose of this paper is to study how small orbits of periodic homemorphisms of spheres can be. The purpose of this paper is to study how small orbits of periodic homemorphisms of spheres can be. △ Less

Submitted 5 October, 2001; originally announced October 2001.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol1/agt-1-22.abs.html

MSC Class: 57S25; 57N15

Journal ref: Algebr. Geom. Topol. 1 (2001) 435-444