Showing 1–25 of 25 results for author: Zarichnyi, M

Invariant idempotent $\ast$-measures

Authors: Nataliya Mazurenko, Khrystyna Sukhorukova, Mykhailo Zarichnyi

Abstract: The notion of $\ast$-idempotent measure is a modification of the notion of idempotent measure defined for every triangular norm $\ast$. We prove existence and uniqueness of invariant $\ast$-idempotent measures for iterated function systems on compact metric spaces. The notion of $\ast$-idempotent measure is a modification of the notion of idempotent measure defined for every triangular norm $\ast$. We prove existence and uniqueness of invariant $\ast$-idempotent measures for iterated function systems on compact metric spaces. △ Less

Submitted 8 December, 2023; originally announced December 2023.

Comments: 5 pages

MSC Class: 28A80; 54B20

There is no universal proper metric spaces for asymptotic dimension 1

Authors: Mykhailo Zarichnyi

Abstract: Answering a question of Ma, Siegert, and Dydak we show that there is no universal proper metric space for the asymptotic dimension $n\ge1$. Answering a question of Ma, Siegert, and Dydak we show that there is no universal proper metric space for the asymptotic dimension $n\ge1$. △ Less

Submitted 19 November, 2022; originally announced November 2022.

Comments: 3 pages

MSC Class: 54E35; 54F45

Strong topology on the set of persistence diagrams

Authors: Volodymyr Kiosak, Aleksandr Savchenko, Mykhailo Zarichnyi

Abstract: We endow the set of persistence diagrams with the strong topology (the topology of countable direct limit of increasing sequence of bounded subsets considered in the bottleneck distance). The topology of the obtained space is described. Also, we prove that the space of persistence diagrams with the bottleneck metric has infinite asymptotic dimension in the sense of Gromov. We endow the set of persistence diagrams with the strong topology (the topology of countable direct limit of increasing sequence of bounded subsets considered in the bottleneck distance). The topology of the obtained space is described. Also, we prove that the space of persistence diagrams with the bottleneck metric has infinite asymptotic dimension in the sense of Gromov. △ Less

Submitted 21 May, 2020; originally announced May 2020.

Comments: 6 pages

MSC Class: 55N35; 54E35

Journal ref: AIP Conference Proceedings 2164, 040006 (2019)

The $\ell^p$-metrization of functors with finite supports

Authors: T. Banakh, V. Brydun, L. Karchevska, M. Zarichnyi

Abstract: Let $p\in[1,\infty]$ and $F:\mathbf{Set}\to\mathbf{Set}$ be a functor with finite supports in the category $\mathbf{Set}$ of sets. Given a non-empty metric space $(X,d_X)$, we introduce the distance $d^p_{FX}$ on the functor-space $FX$ as the largest distance such that for every $n\in\mathbb N$ and $a\in Fn$ the map $X^n\to FX$, $f\mapsto Ff(a)$, is non-expanding with respect to the $\ell^p$-metri… ▽ More Let $p\in[1,\infty]$ and $F:\mathbf{Set}\to\mathbf{Set}$ be a functor with finite supports in the category $\mathbf{Set}$ of sets. Given a non-empty metric space $(X,d_X)$, we introduce the distance $d^p_{FX}$ on the functor-space $FX$ as the largest distance such that for every $n\in\mathbb N$ and $a\in Fn$ the map $X^n\to FX$, $f\mapsto Ff(a)$, is non-expanding with respect to the $\ell^p$-metric $d^p_{X^n}$ on $X^n$. We prove that the distance $d^p_{FX}$ is a pseudometric if and only if the functor $F$ preserves singletons; $d^p_{FX}$ is a metric if $F$ preserves singletons and one of the following conditions holds: (1) the metric space $(X,d_X)$ is Lipschitz disconnected, (2) $p=1$, (3) the functor $F$ has finite degree, (4) $F$ preserves supports. We prove that for any Lipschitz map $f:(X,d_X)\to (Y,d_Y)$ between metric spaces the map $Ff:(FX,d^p_{FX})\to (FY,d^p_{FY})$ is Lipschitz with Lipschitz constant $\mathrm{Lip}(Ff)\le \mathrm{Lip}(f)$. If the functor $F$ is finitary, has finite degree (and preserves supports), then $F$ preserves uniformly continuous function, coarse functions, coarse equivalences, asymptotically Lipschitz functions, quasi-isometries (and continuous functions). For many dimension functions we prove the formula $\dim F^pX\le\mathrm{deg}(F)\cdot\dim X$. Using injective envelopes, we introduce a modification $\check d^p_{FX}$ of the distance $d^p_{FX}$ and prove that the functor $\check F^p:\mathbf{Dist}\to\mathbf{Dist}$, $\check F^p:(X,d_X)\mapsto (FX,\check d^p_{FX})$, in the category $\mathbf{Dist}$ of distance spaces preserves Lipschitz maps and isometries between metric spaces. △ Less

Submitted 13 December, 2021; v1 submitted 4 April, 2020; originally announced April 2020.

Comments: 79 pages

MSC Class: 54B30; 54E35; 54F45

Journal ref: Colloq. Math. 166 (2021) , 251-266

Spaces of max-min measures on compact Hausdorff spaces

Authors: Viktoriya Brydun, Mykhailo Zarichnyi

Abstract: The notion of max-min measure is a counterpart of the notion of max-plus measure (Maslov measure or idempotent measure). In this paper we consider the spaces of max-min measures on the compact Hausdorff spaces. It is proved that the obtained functor of max-min measures is isomorphic to the functor of max-plus (idempotent) measures considered by the second-named author. However, it turns out that t… ▽ More The notion of max-min measure is a counterpart of the notion of max-plus measure (Maslov measure or idempotent measure). In this paper we consider the spaces of max-min measures on the compact Hausdorff spaces. It is proved that the obtained functor of max-min measures is isomorphic to the functor of max-plus (idempotent) measures considered by the second-named author. However, it turns out that the monads generated by these functors are not isomorphic. △ Less

Submitted 18 April, 2019; originally announced April 2019.

Comments: 16 pages

MSC Class: 28A33; 46E27

On convergence in the subpower Higson corona of metric spaces

Authors: Jacek Kucab, Mykhailo Zarichnyi

Abstract: The subpower Higson corona of a proper metric space is defined in \cite{KZ}. We prove that, unlikely to the Higson corona, the closure of a $σ$-compact subset of the subpower Higson corona of a proper unbounded metric space does not necessarily coincide with its Stone-Čech corona. The subpower Higson corona of a proper metric space is defined in \cite{KZ}. We prove that, unlikely to the Higson corona, the closure of a $σ$-compact subset of the subpower Higson corona of a proper unbounded metric space does not necessarily coincide with its Stone-Čech corona. △ Less

Submitted 4 November, 2017; v1 submitted 3 January, 2017; originally announced January 2017.

Comments: There was an error in the proof of Theorem1 in the previous version

MSC Class: 54D35; 54E35; 54D40

Remarks on asymptotic power dimension

Authors: Jacek Kucab, Michael Zarichnyi

Abstract: Using a result of Dranishnikov and Smith we prove that, under some conditions, the asymptotic power dimension of a proper metric space coincides with the dimension of its subpower corona. Using a result of Dranishnikov and Smith we prove that, under some conditions, the asymptotic power dimension of a proper metric space coincides with the dimension of its subpower corona. △ Less

Submitted 24 December, 2015; originally announced December 2015.

Comments: 5 pages

MSC Class: 54F45; 54E35

Max-min measures on ultrametric spaces

Authors: Matija Cencelj, Dušan Repovš, Mykhailo Zarichnyi

Abstract: The ultrametrization of the set of all probability measures of compact support on the ultrametric spaces was first defined by Hartog and de Vink. In this paper we consider a similar construction for the so called max-min measures on the ultrametric spaces. In particular, we prove that the functors max-min measures and idempotent measures are isomorphic. However, we show that this is not the case f… ▽ More The ultrametrization of the set of all probability measures of compact support on the ultrametric spaces was first defined by Hartog and de Vink. In this paper we consider a similar construction for the so called max-min measures on the ultrametric spaces. In particular, we prove that the functors max-min measures and idempotent measures are isomorphic. However, we show that this is not the case for the monads generated by these functors. △ Less

Submitted 26 February, 2013; originally announced February 2013.

MSC Class: 32P05; 54B30; 60B05

Journal ref: Topology Appl. 160:5 (2013), 673-681

Asymptotic dimension, decomposition complexity, and Haver's property C

Authors: Alexander Dranishnikov, Michael Zarichnyi

Abstract: The notion of the decomposition complexity was introduced in \cite{GTY} using a game theoretical approach. We introduce a notion of straight decomposition complexity and compare it with the original as well with the asymptotic property C. Then we define a game theoretical analog of Haver's property C in the classical dimension theory and compare it with the original. The notion of the decomposition complexity was introduced in \cite{GTY} using a game theoretical approach. We introduce a notion of straight decomposition complexity and compare it with the original as well with the asymptotic property C. Then we define a game theoretical analog of Haver's property C in the classical dimension theory and compare it with the original. △ Less

Submitted 3 April, 2017; v1 submitted 15 January, 2013; originally announced January 2013.

Comments: 16 pages

MSC Class: 54F45 (Primary); 53C23 (Secondary)

Nonexistence of linear operators extending Lipschitz (pseudo)metric

Authors: Dušan Repovš, Mykhailo Zarichnyi

Abstract: We present an example of a zero-dimensional compact metric space $X$ and its closed subspace $A$ such that there is no continuous linear extension operator for the Lipschitz pseudometrics on $A$ to the Lipschitz pseudometrics on $X$. The construction is based on results of A. Brudnyi and Yu. Brudnyi concerning linear extension operators for Lipschitz functions. We present an example of a zero-dimensional compact metric space $X$ and its closed subspace $A$ such that there is no continuous linear extension operator for the Lipschitz pseudometrics on $A$ to the Lipschitz pseudometrics on $X$. The construction is based on results of A. Brudnyi and Yu. Brudnyi concerning linear extension operators for Lipschitz functions. △ Less

Submitted 12 July, 2012; originally announced July 2012.

Comments: arXiv admin note: substantial text overlap with arXiv:math/0408200

MSC Class: 26A16; 54C20; 54E35; 54E40

Journal ref: Publ. Math. Debrecen 81:1-2 (2012), 31-39

Hyperspaces of max-plus convex subsets of powers of the real line

Authors: Lidia Bazylevych, Dušan Repovš, Mykhailo Zarichnyi

Abstract: The notion of max-plus convex subset of Euclidean space can be naturally extended to other linear spaces. The aim of this paper is to describe the topology of hyperspaces of max-plus convex subsets of Tychonov powers $\mathbb R^τ$ of the real line. We show that the corresponding spaces are AR's if and only if $τ\leω_1$. The notion of max-plus convex subset of Euclidean space can be naturally extended to other linear spaces. The aim of this paper is to describe the topology of hyperspaces of max-plus convex subsets of Tychonov powers $\mathbb R^τ$ of the real line. We show that the corresponding spaces are AR's if and only if $τ\leω_1$. △ Less

Submitted 9 June, 2012; originally announced June 2012.

MSC Class: 52A07; 54B20; 57N20

Journal ref: J. Math. Anal. Appl. 394:2 (2012), 481-487

Convex hyperspaces of probability measures and extensors in the asymptotic category

Authors: Dušan Repovš, Mykhailo Zarichnyi

Abstract: The objects of the Dranishnikov asymptotic category are proper metric spaces and the morphisms are asymptotically Lipschitz maps. In this paper we provide an example of an asymptotically zero-dimensional space (in the sense of Gromov) whose space of compact convex subsets of probability measures is not an absolute extensor in the asymptotic category in the sense of Dranishnikov. The objects of the Dranishnikov asymptotic category are proper metric spaces and the morphisms are asymptotically Lipschitz maps. In this paper we provide an example of an asymptotically zero-dimensional space (in the sense of Gromov) whose space of compact convex subsets of probability measures is not an absolute extensor in the asymptotic category in the sense of Dranishnikov. △ Less

Submitted 6 July, 2011; originally announced July 2011.

MSC Class: 46E27; 46E30; 54C55; 54E35;

Journal ref: Topology Appl. 158:13 (2011), 1571-1574

On asymptotic extension dimension

Authors: Dušan Repovš, Mykhailo Zarichnyi

Abstract: The aim of this paper is to introduce an asymptotic counterpart of the extension dimension defined by Dranishnikov. The main result establishes a relation between the asymptotic extensional dimension of a proper metric space and extension dimension of its Higson corona. The aim of this paper is to introduce an asymptotic counterpart of the extension dimension defined by Dranishnikov. The main result establishes a relation between the asymptotic extensional dimension of a proper metric space and extension dimension of its Higson corona. △ Less

Submitted 28 May, 2011; originally announced May 2011.

MSC Class: 54F45; 54C40; 55M10

Journal ref: Ukrainian Math. J. 62:11 (2011),1766-1774

Fuzzy Prokhorov metric on the set of probability measures

Authors: D. Repovš, A. Savchenko, M. Zarichnyi

Abstract: We introduce a fuzzy metric on the set of probability measures on a fuzzy metric space. The construction is an analogue, in the realm of fuzzy metric spaces, of the Prokhorov metric on the set of probability measures on compact metric spaces. We introduce a fuzzy metric on the set of probability measures on a fuzzy metric space. The construction is an analogue, in the realm of fuzzy metric spaces, of the Prokhorov metric on the set of probability measures on compact metric spaces. △ Less

Submitted 19 May, 2011; originally announced May 2011.

MSC Class: 54E70; 54A40; 60B05

Journal ref: Fuzzy Sets and Systems 175:1 (2011), 96-104

On monomorphic topological functors with finite supports

Authors: Taras Banakh, Marta Martynenko, Michael Zarichnyi

Abstract: We prove that a monomorphic functor $F:Comp\to Comp$ with finite supports is epimorphic, continuous, and its maximal $\emptyset$-modification $F^\circ$ preserves intersections. This implies that a monomorphic functor $F:Comp\to Comp$ of finite degree $deg F\le n$ preserves (finite-dimensional) compact ANR's if the spaces $F\emptyset$, $F^\circ\emptyset$, and $Fn$ are finite-dimensional ANR's. This… ▽ More We prove that a monomorphic functor $F:Comp\to Comp$ with finite supports is epimorphic, continuous, and its maximal $\emptyset$-modification $F^\circ$ preserves intersections. This implies that a monomorphic functor $F:Comp\to Comp$ of finite degree $deg F\le n$ preserves (finite-dimensional) compact ANR's if the spaces $F\emptyset$, $F^\circ\emptyset$, and $Fn$ are finite-dimensional ANR's. This improves a known result of Basmanov. △ Less

Submitted 21 August, 2011; v1 submitted 3 April, 2010; originally announced April 2010.

Comments: 6 pages

MSC Class: 18B30; 54B30; 54C55

Journal ref: Carpathian Math. Publ. 4:1 (2012) 4-12

Spaces of idempotent measures of compact metric spaces

Authors: Lidia Bazylevych, Dušan Repovš, Michael Zarichnyi

Abstract: We investigate certain geometric properties of the spaces of idempotent measures. In particular, we prove that the space of idempotent measures on an infinite compact metric space is homeomorphic to the Hilbert cube. We investigate certain geometric properties of the spaces of idempotent measures. In particular, we prove that the space of idempotent measures on an infinite compact metric space is homeomorphic to the Hilbert cube. △ Less

Submitted 29 March, 2008; originally announced March 2008.

MSC Class: 54C65; 52A30; 28A33

Journal ref: Topology and Its Applications 157:1 (2010),136-144.

Hyperspace of convex compacta of nonmetrizable compact convex subspaces of locally convex spaces

Authors: Lidia Bazylevych, Dušan Repovš, Michael Zarichnyi

Abstract: Our main result states that the hyperspace of convex compact subsets of a compact convex subset $X$ in a locally convex space is an absolute retract if and only if $X$ is an absolute retract of weight $\leω_1$. It is also proved that the hyperspace of convex compact subsets of the Tychonov cube $I^{ω_1}$ is homeomorphic to $I^{ω_1}$. An analogous result is also proved for the cone over… ▽ More Our main result states that the hyperspace of convex compact subsets of a compact convex subset $X$ in a locally convex space is an absolute retract if and only if $X$ is an absolute retract of weight $\leω_1$. It is also proved that the hyperspace of convex compact subsets of the Tychonov cube $I^{ω_1}$ is homeomorphic to $I^{ω_1}$. An analogous result is also proved for the cone over $I^{ω_1}$. Our proofs are based on analysis of maps of hyperspaces of compact convex subsets, in particular, selection theorems for such maps are proved. △ Less

Submitted 29 March, 2008; originally announced March 2008.

MSC Class: 54B20; 54C55; 46A55

Journal ref: Topology and Its Applications 155:8 (2008), 764-772.

Idempotent probability measures, I

Authors: Michael Zarichnyi

Abstract: The set of all idempotent probability measures (Maslov measures) on a compact Hausdorff space endowed with the weak* topology determines is functorial on the category $\comp$ of compact Hausdorff spaces. We prove that the obtained functor is normal in the sense of E. Shchepin. Also, this functor is the functorial part of a monad on $\comp$. We prove that the idempotent probability measure monad… ▽ More The set of all idempotent probability measures (Maslov measures) on a compact Hausdorff space endowed with the weak* topology determines is functorial on the category $\comp$ of compact Hausdorff spaces. We prove that the obtained functor is normal in the sense of E. Shchepin. Also, this functor is the functorial part of a monad on $\comp$. We prove that the idempotent probability measure monad contains the hyperspace monad as its submonad. A counterpart of the notion of Milyutin map is defined for the idempotent probability measures. Using the fact of existence of Milyutin maps we prove that the functor of idempotent probability measures preserves the class of open surjective maps. Unlikely to the case of probability measures, the correspondence assigning to every pair of idempotent probability measures on the factors the set of measures on the product with these marginals, is not open. △ Less

Submitted 30 August, 2006; originally announced August 2006.

Comments: 22 pages

MSC Class: 54C65; 52A30

Open-multicommutativity of the probability measure functor

Authors: R. Kozhan, M. Zarichnyi

Abstract: For the functors acting in the category of compact Hausdorff spaces, we introduce the so-called open multi-commutativity property, which generalizes both bicommutativity and openness, and prove that this property is satisfied by the functor of probability measures. For the functors acting in the category of compact Hausdorff spaces, we introduce the so-called open multi-commutativity property, which generalizes both bicommutativity and openness, and prove that this property is satisfied by the functor of probability measures. △ Less

Submitted 29 September, 2004; originally announced September 2004.

MSC Class: 46E27; 60B05; 54B30; 54C10

Nonexistence of linear operators extending Lipschitz (pseudo)metrics

Authors: Michael Zarichnyi

Abstract: We provide an example of a zero-dimensional compact metric space $X$ and its closed subspace $A$ such that there is no continuous linear extension operator for the Lipschitz pseudometrics on $A$ to the Lipschitz pseudometrics on $X$. The construction is based on results of A. Brudnyi and Yu. Brudnyi concerning linear extension operators for Lipschitz functions. We provide an example of a zero-dimensional compact metric space $X$ and its closed subspace $A$ such that there is no continuous linear extension operator for the Lipschitz pseudometrics on $A$ to the Lipschitz pseudometrics on $X$. The construction is based on results of A. Brudnyi and Yu. Brudnyi concerning linear extension operators for Lipschitz functions. △ Less

Submitted 15 August, 2004; originally announced August 2004.

Comments: 7 pages

MSC Class: 26A16; 54C20; 54E35; 54E40

On convex bodies of constant width

Authors: L. E. Bazylevych, M. M. Zarichnyi

Abstract: We present an alternative proof of the following fact: the hyperspace of compact closed subsets of constant width in $\mathbb R^n$ is a contractible Hilbert cube manifold. The proof also works for certain subspaces of compact convex sets of constant width as well as for the pairs of compact convex sets of constant relative width. Besides, it is proved that the projection map of compact closed su… ▽ More We present an alternative proof of the following fact: the hyperspace of compact closed subsets of constant width in $\mathbb R^n$ is a contractible Hilbert cube manifold. The proof also works for certain subspaces of compact convex sets of constant width as well as for the pairs of compact convex sets of constant relative width. Besides, it is proved that the projection map of compact closed subsets of constant width is not 0-soft in the sense of Shchepin, in particular, is not open. △ Less

Submitted 7 January, 2004; originally announced January 2004.

Comments: 6 pages

MSC Class: 54B20; 52A20; 46A55

On simultaneous linear extensions of partial (pseudo)metrics

Authors: E. D. Tymchatyn, M. Zarichnyi

Abstract: We consider the question of simultaneous extension of (pseudo)metrics defined on nonempty closed subsets of a compact metrizable space. The main result is a counterpart of the result due to Künzi and Shapiro for the case of extension operators of partial continuous functions and includes, as a special case, Banakh's theorem on linear regular operators extending (pseudo)metrics. We consider the question of simultaneous extension of (pseudo)metrics defined on nonempty closed subsets of a compact metrizable space. The main result is a counterpart of the result due to Künzi and Shapiro for the case of extension operators of partial continuous functions and includes, as a special case, Banakh's theorem on linear regular operators extending (pseudo)metrics. △ Less

Submitted 15 November, 2002; v1 submitted 13 November, 2002; originally announced November 2002.

Comments: 10 pages

MSC Class: 54E35; 54C20; 54E40

Universal spaces for asymptotic dimension

Authors: A. Dranishnikov, M. Zarichnyi

Abstract: We construct a universal space for the class of proper metric spaces of bounded geometry and of given asymptotic dimension. As a consequence of this result, we establish coincidence of the asymptotic dimension with the asymptotic inductive dimensions. We construct a universal space for the class of proper metric spaces of bounded geometry and of given asymptotic dimension. As a consequence of this result, we establish coincidence of the asymptotic dimension with the asymptotic inductive dimensions. △ Less

Submitted 4 November, 2002; originally announced November 2002.

Comments: 24 pages, 1 figure

MSC Class: 54F45

Topological semigroups and universal spaces related to extension dimension

Authors: A. Chigogidze, A. Karasev, M. Zarichnyi

Abstract: It is proved that there is no structure of left (right) cancelative semigroup on $[L]$-dimensional universal space for the class of separable compact spaces of extensional dimension $\le [L]$. Besides, we note that the homeomorphism group of $[L]$-dimensional space whose nonempty open sets are universal for the class of separable compact spaces of extensional dimension $\le [L]$ is totally disco… ▽ More It is proved that there is no structure of left (right) cancelative semigroup on $[L]$-dimensional universal space for the class of separable compact spaces of extensional dimension $\le [L]$. Besides, we note that the homeomorphism group of $[L]$-dimensional space whose nonempty open sets are universal for the class of separable compact spaces of extensional dimension $\le [L]$ is totally disconnected. △ Less

Submitted 17 September, 2001; originally announced September 2001.

MSC Class: 54H15

Characterizing the topology of pseudo-boundaries of Euclidean spaces

Authors: Alex Chigogidze, M. M. Zarichnyi

Abstract: We give a topological characterization of the n-dimensional pseudo-boundary of the (2n+1)-dimensional Euclidean space. We give a topological characterization of the n-dimensional pseudo-boundary of the (2n+1)-dimensional Euclidean space. △ Less

Submitted 17 November, 1999; originally announced November 1999.

Comments: 7 pages

MSC Class: 54F65; 54F35