Showing 1–18 of 18 results for author: Buzyakova, R

On Topological Groups of Automorphisms

Authors: Raushan Buzyakova

Abstract: We study spaces $X$ for which the space $Hom_p(X)$ of automorphisms with the topology of point-wise convergence is a topological group. We identify large classes of spaces $X$ for which $Hom_p(X)$ is or is not a topological group. We study spaces $X$ for which the space $Hom_p(X)$ of automorphisms with the topology of point-wise convergence is a topological group. We identify large classes of spaces $X$ for which $Hom_p(X)$ is or is not a topological group. △ Less

Submitted 27 June, 2024; v1 submitted 20 June, 2024; originally announced June 2024.

MSC Class: 54H11; 54C10

On Topological Groups of Automorphisms on Unions

Authors: Raushan Buzyakova

Abstract: We study groups of homeomorphic bijections on spaces that are finite unions of compact connected linearly ordered subsets. We prove that all such groups when endowed with the topology of point-wise convergence are topological groups. } We study groups of homeomorphic bijections on spaces that are finite unions of compact connected linearly ordered subsets. We prove that all such groups when endowed with the topology of point-wise convergence are topological groups. } △ Less

Submitted 26 December, 2023; originally announced December 2023.

MSC Class: 54F05; 54H11; 54C35

On Topological Groups of Monotonic Autohomeomorphisms

Authors: Raushan Buzyakova

Abstract: We study topological groups of monotonic autohomeomorphisms on a generalized ordered space $L$. We find a condition that is necessary and sufficient for the set of all monotonic autohomeomorphisms on $L$ along with the function composition and the topology of point-wise convergence to be a topological group. We study topological groups of monotonic autohomeomorphisms on a generalized ordered space $L$. We find a condition that is necessary and sufficient for the set of all monotonic autohomeomorphisms on $L$ along with the function composition and the topology of point-wise convergence to be a topological group. △ Less

Submitted 18 December, 2022; originally announced December 2022.

Comments: submitted for publication to Applied General Topology

MSC Class: 54F05; 54H11; 54C35

On Homeomorphisms of Function Spaces Over Products with Compacta

Authors: Raushan Buzyakova

Abstract: We show that if $C_p(X\times Z)$ is homeomorphic to $C_p(Y\times Z)$, where $Z$ is compact, and $X$ and $Y$ are of countable netweight, then $C_p(X\times M)$ is homeomorphic to $C_p(Y\times M)$ for some metric compactum $M$. We show that if $C_p(X\times Z)$ is homeomorphic to $C_p(Y\times Z)$, where $Z$ is compact, and $X$ and $Y$ are of countable netweight, then $C_p(X\times M)$ is homeomorphic to $C_p(Y\times M)$ for some metric compactum $M$. △ Less

Submitted 22 December, 2021; originally announced December 2021.

MSC Class: 54C35; 54B10; 54C10

Function Spaces over Products with Ordinals

Authors: Raushan Buzyakova

Abstract: We are concerned with the question of when a homeomorphism between $C_p(X\times τ)$ and $C_p(Y\times τ)$ implies the existence of a homeomorphism between $C_p(X\times τ')$ and $C_p(Y\times τ')$, where $τ$ and $τ'$ are spaces of ordinals with some additional desired properties. We are concerned with the question of when a homeomorphism between $C_p(X\times τ)$ and $C_p(Y\times τ)$ implies the existence of a homeomorphism between $C_p(X\times τ')$ and $C_p(Y\times τ')$, where $τ$ and $τ'$ are spaces of ordinals with some additional desired properties. △ Less

Submitted 8 April, 2021; v1 submitted 26 December, 2020; originally announced December 2020.

MSC Class: 54C35; 54B10; 54E99

A Glance into the Anatomy of Monotonic Maps

Authors: Raushan Buzyakova

Abstract: Given an autohomeomorphism on an ordered topological space or its subspace, we show that it is sometimes possible to introduce a new topology-compatible order on that space so that the same map is monotonic with respect to the new ordering. We note that the existence of such a re-ordering for a given map is equivalent to the map being conjugate (topologically equivalent) to a monotonic map on some… ▽ More Given an autohomeomorphism on an ordered topological space or its subspace, we show that it is sometimes possible to introduce a new topology-compatible order on that space so that the same map is monotonic with respect to the new ordering. We note that the existence of such a re-ordering for a given map is equivalent to the map being conjugate (topologically equivalent) to a monotonic map on some homeomorphic ordered space. We observe that the latter cannot always be chosen to be order-isomorphic to the original space. Also, we identify other routes that may lead to similar affirmative statements for other classes of spaces and maps. △ Less

Submitted 24 June, 2023; v1 submitted 31 August, 2019; originally announced September 2019.

MSC Class: 26A48; 54F05; 06B30

Journal ref: Applied General Topology, v 22, no 1, pp 1--10, 2021

A Note on Minimal Separating Function Sets

Authors: Raushan Buzyakova, Oleg Okunev

Abstract: We study point-separating function sets that are minimal with respect to the property of being separating. We first show that for a compact space $X$ having a minimal separating function set in $C_p(X)$ is equivalent to having a minimal separating collection of functionally open sets in $X$. We also identify a nice visual property of $X^2$ that may be responsible for the existence of a minimal sep… ▽ More We study point-separating function sets that are minimal with respect to the property of being separating. We first show that for a compact space $X$ having a minimal separating function set in $C_p(X)$ is equivalent to having a minimal separating collection of functionally open sets in $X$. We also identify a nice visual property of $X^2$ that may be responsible for the existence of a minimal separating function family for $X$ in $C_p(X)$. We then discuss various questions and directions around the topic. △ Less

Submitted 13 September, 2018; originally announced September 2018.

MSC Class: 54C35; 54E45; 54A25

When is $X\times Y$ homeomorphic to $X\times_l Y$?

Authors: Raushan Buzyakova

Abstract: We identify a class of linearly ordered topological spaces $X$ that may satisfy the property that $X\times X$ is homeomorphic to $X\times_l X$ or can be embedded into a linearly ordered space with the stated property. We justify the conjectures by partial results. We identify a class of linearly ordered topological spaces $X$ that may satisfy the property that $X\times X$ is homeomorphic to $X\times_l X$ or can be embedded into a linearly ordered space with the stated property. We justify the conjectures by partial results. △ Less

Submitted 5 January, 2018; originally announced January 2018.

MSC Class: 06B30; 54F05; 06A05; 54A10

A Note On Separating Function Sets

Authors: Raushan Buzyakova, Oleg Okunev

Abstract: We study separating function sets. We find some necessary and sufficient conditions for $C_p(X)$ or $C_p^2(X)$ to have a point-separating subspace that is a metric space with certain nice properties. One of the corollaries to our discussion is that for a zero-dimensional $X$, $C_p(X)$ has a discrete point-separating space if and only if $C_p^2(X)$ does. We study separating function sets. We find some necessary and sufficient conditions for $C_p(X)$ or $C_p^2(X)$ to have a point-separating subspace that is a metric space with certain nice properties. One of the corollaries to our discussion is that for a zero-dimensional $X$, $C_p(X)$ has a discrete point-separating space if and only if $C_p^2(X)$ does. △ Less

Submitted 26 August, 2017; originally announced August 2017.

Comments: Lobachevskii Journal of Mathematics, accepted, 2017

MSC Class: 54C35; 54E45; 54A25

Three Questions on Special Homeomorphisms on Subgroups of $R$ and $R^\infty$

Authors: Raushan Buzyakova, James West

Abstract: We provide justifications for two questions on special maps on subgroups of the reals. We will show that the questions can be treated from different points of view. We also discuss two versions of Anderson's Involution Conjecture. We provide justifications for two questions on special maps on subgroups of the reals. We will show that the questions can be treated from different points of view. We also discuss two versions of Anderson's Involution Conjecture. △ Less

Submitted 5 March, 2017; originally announced March 2017.

MSC Class: 54H11; 58B99; 06F15

On Monotonic Fixed-Point Free Bijections on Subgroups of $\mathbb R$

Authors: Raushan Buzyakova

Abstract: We show that for any continuous monotonic fixed-point free automorphism $f$ on a $σ$-compact subgroup $G\subset \mathbb R$ there exists a binary operation $+_f$ such that $\langle G, +_f\rangle$ is a topological group topologically isomorphic to $\langle G, +\rangle$ and $f$ is a shift with respect to $+_f$. We then show that monotonicity cannot be replaced by the property of being periodic-point… ▽ More We show that for any continuous monotonic fixed-point free automorphism $f$ on a $σ$-compact subgroup $G\subset \mathbb R$ there exists a binary operation $+_f$ such that $\langle G, +_f\rangle$ is a topological group topologically isomorphic to $\langle G, +\rangle$ and $f$ is a shift with respect to $+_f$. We then show that monotonicity cannot be replaced by the property of being periodic-point free. We explore a few routes leading to generalizations and counterexamples. △ Less

Submitted 16 June, 2016; originally announced June 2016.

MSC Class: 06F15; 54H11; 26A48

Factorization of Bijections onto Ordered Spaces

Authors: Raushan Buzyakova, Alex Chigogidze

Abstract: We identify a class of subspaces of ordered spaces $\mathcal L$ for which the following statement holds: If $f:X\to L\in \mathcal L$ is a continuous bijections of a zero-dimensional space $X$, then $f$ can be re-routed via a zero-dimensional subspace of an ordered space that has weight not exceeding that of $L$. We identify a class of subspaces of ordered spaces $\mathcal L$ for which the following statement holds: If $f:X\to L\in \mathcal L$ is a continuous bijections of a zero-dimensional space $X$, then $f$ can be re-routed via a zero-dimensional subspace of an ordered space that has weight not exceeding that of $L$. △ Less

Submitted 7 November, 2015; originally announced November 2015.

MSC Class: 54F05; 06F30; 54F45; 54C99

Ordering A Square

Authors: Raushan Z. Buzyakova

Abstract: We identify a condition on X that guarantees that any finite power of X is homeomorphic to a subspace of a linearly ordered space We identify a condition on X that guarantees that any finite power of X is homeomorphic to a subspace of a linearly ordered space △ Less

Submitted 9 May, 2015; originally announced May 2015.

MSC Class: 54F05; 06B30

Stationary Sets in Topological and Paratopological Groups

Authors: Raushan Buzyakova, Cetin Vural

Abstract: We show that if a topological or paratopological group $G$ contains a stationary subset of some regular uncountable cardinal, then $G$ contains a subspace which is not collectionwise normal. This statement implies that if a monotonically normal space (in particular, any generalized ordered space) is a paratopological group then the space is hereditarily paracompact. We show that if a topological or paratopological group $G$ contains a stationary subset of some regular uncountable cardinal, then $G$ contains a subspace which is not collectionwise normal. This statement implies that if a monotonically normal space (in particular, any generalized ordered space) is a paratopological group then the space is hereditarily paracompact. △ Less

Submitted 21 September, 2012; originally announced September 2012.

MSC Class: 54H11; 22A05; 54D20

On Hereditarily Normal Topological Groups

Authors: Raushan Buzyakova

Abstract: In this paper we investigate hereditarily normal topological groups and their subspaces. We prove that every compact subspace of a hereditarily normal topological group is metrizable. To prove this statement we first show that a hereditarily normal topological group with a non-trivial convergent sequence has $G_δ$-diagonal. This implies, in particular, that every countably compact subset of a here… ▽ More In this paper we investigate hereditarily normal topological groups and their subspaces. We prove that every compact subspace of a hereditarily normal topological group is metrizable. To prove this statement we first show that a hereditarily normal topological group with a non-trivial convergent sequence has $G_δ$-diagonal. This implies, in particular, that every countably compact subset of a hereditarily normal topological group with a non-trivial convergent sequence is metrizable. Another corollary is that under the Proper Forcing Axiom, every countably compact subset of a hereditarily normal topological group is metrizable. △ Less

Submitted 10 September, 2012; v1 submitted 4 September, 2012; originally announced September 2012.

MSC Class: 54H11; 22A05; 54D15

Injections into Function Spaces over Compacta

Authors: Raushan Z. Buzyakova

Abstract: We study the topology of X given that Cp(X) injects into Cp(Y), where Y is compact. We first show that if Cp over a GO-space (="subspace of a lineraly ordered space") injects into Cp over a compactum, then the Dedekind remainder of the GO-space is hereditarily paracompact. Also, for each ordinal tau of uncountable cofinality, we construct a continuous bijection of Cp(tau, {0,1}) onto a subgroup of… ▽ More We study the topology of X given that Cp(X) injects into Cp(Y), where Y is compact. We first show that if Cp over a GO-space (="subspace of a lineraly ordered space") injects into Cp over a compactum, then the Dedekind remainder of the GO-space is hereditarily paracompact. Also, for each ordinal tau of uncountable cofinality, we construct a continuous bijection of Cp(tau, {0,1}) onto a subgroup of Cp(tau+1, {0,1}), which is in addition a group isomorphism. △ Less

Submitted 30 July, 2012; originally announced July 2012.

Comments: 9 pages

MSC Class: 54C35; 54C10

On multivaled fixed-point free maps on R^n

Authors: Raushan Buzyakova

Abstract: To formulate our results let $f$ be a continuous map from $\mathbb R^n$ to $2^{\mathbb R^n}$ and $k$ a natural number such that $|f(x)|\leq k$ for all $x$. We prove that $f$ is fixed-point free if and only if its continuous extension $\tilde f:β\mathbb R^n\to 2^{β\mathbb R^n}$ is fixed-point free. If one wishes to stay within metric terms, the result can be formulated as follows: $f$ is fixed-poin… ▽ More To formulate our results let $f$ be a continuous map from $\mathbb R^n$ to $2^{\mathbb R^n}$ and $k$ a natural number such that $|f(x)|\leq k$ for all $x$. We prove that $f$ is fixed-point free if and only if its continuous extension $\tilde f:β\mathbb R^n\to 2^{β\mathbb R^n}$ is fixed-point free. If one wishes to stay within metric terms, the result can be formulated as follows: $f$ is fixed-point free if and only if there exists a continuous fixed-point free extension $\bar f: b\mathbb R^n\to 2^{b\mathbb R^n}$ for some metric compactificaton $b\mathbb R^n$ of $\mathbb R^n$. Using the classical notion of colorablity, we prove that such an $f$ is always colorable. Moreover, a number of colors sufficient to paint the graph can be expressed as a function of $n$ and $k$ only. The mentioned results also hold if the domain is replaced by any closed subspace of $\mathbb R^n$ without any changes in the range. △ Less

Submitted 13 June, 2012; originally announced June 2012.

MSC Class: 54H25; 58C30; 54B20

Journal ref: Proc. AMS, Proc. Amer. Math. Soc. 140 (2012) 2929-2936

Periodic and fixed points of multivalued maps on Euclidean spaces

Authors: R. Z. Buzyakova, A. Chigogidze

Abstract: We show, in particular, that a multivalued map $f$ from a closed subspace $X$ of $\mathbb R^n$ to ${\rm exp}_k(\mathbb R^n)$ has a point of period exactly $M$ if and only if its continuous extension $\tilde f: βX\to {\rm exp}_k(β\mathbb R^n)$ has such a point. The result also holds if one repace $\mathbb R^n$ by a locally compact Lindelöf space of finite dimension. We also show that if $f$ is a co… ▽ More We show, in particular, that a multivalued map $f$ from a closed subspace $X$ of $\mathbb R^n$ to ${\rm exp}_k(\mathbb R^n)$ has a point of period exactly $M$ if and only if its continuous extension $\tilde f: βX\to {\rm exp}_k(β\mathbb R^n)$ has such a point. The result also holds if one repace $\mathbb R^n$ by a locally compact Lindelöf space of finite dimension. We also show that if $f$ is a colorable map froma normal space $X$ to the space ${\mathcal K}(X)$ of all compact subsets of $X$ then its extension $\tilde f:βX\to {\mathcal K}(βX)$ is fixed-point free. △ Less

Submitted 7 February, 2012; originally announced February 2012.

Comments: 13 pages

MSC Class: 54H25; 58C30