arXiv subjects

Oleksandr Maslyuchenko

Publications and source records attributed to Oleksandr Maslyuchenko.

4 recordsLinked to original sources

arXiv2025

On stable pairs of Hahn and extremal sections of separately continuous functions on the products with a scattered multiplier

The minimal and the maximal sections $\wedge_f,\vee\!_f:X\to\overline{\mathbb R}$ of a function $f:X\times Y\to\overline{\mathbb R}$ are defined by $\wedge_f(x)=\inf\limits_{y\in Y}f(x,y)$ and $\vee\!\!_f(x)=\sup\limits_{y\in Y}f(x,y)$ for any $x\in X$. A pair $(g,h)$ of functions on $X$ is called a stable pair of Hahn if there exists a sequence of continuous functions $u_n$ on $X$ such that $h(x)=\min\limits_{n\in\mathbb{N}}u_n(x)$ and $g(x)=\max\limits_{n\in\mathbb{N}}u_n(x)$ for any $x\in X$. Evidently, every stable pair of Hahn is a countable pair of Hahn, and hence a pair of Hahn. We prove that for any separately continuous function $f$ on the product of compact spaces $X$ and $Y$ such that $Y$ is scattered and at least one of them has the countable chain property, the pair $(\wedge_f,\vee\!_f)$ is a stable pair of Hahn. We prove that for any stable pair of Hahn $(g,h)$ on the product of a topological space $X$ and an infinity completely regular space $Y$ there exists a separately continuous function $f$ on $X\times Y$ such that $\wedge_f=g$ and $\vee\!_f=h$.

math.GN↗

arXiv2024

Takagi-van der Waerden functions in metric spaces and its Lipschitz derivatives

We introduce the Takagi--van der Waerden function with parameters $a{>}b{>}0$ by setting $f_{a,b}(x)=\sum\limits_{n=1}^\infty b^n d\big(x,S_n\big)$, where $S_n$ is a maximal $\frac1{a^n}$-separated set in a metric space $X$. So, if $X=\mathbb R$ and $S_n=\frac1{a^n}\mathbb Z$ then $f_{2,1}$ is the Takagi function and $f_{10,1}$ is the van der Waerden function which are the famous examples of nowhere differentiable functions. Then we prove that the big Lipschitz derivative $\mathrm{Lip} f_{a,b}(x)=+\infty$ if $a>b>2$ and $x$ is a non-isolated point of $X$. Moreover, if the shell porosity $p^s(X,x)<λ<1$ for some $λ$ and each non-isolated point $x\in X$ then the little Lipschitz derivative $\mathrm{lip} f_{a,b}(x)=+\infty$ for large enough $a>b$ and any non-isolated point $x\in X$. In particular, this is true for any normed space. Finally, we prove that for any open set $A$ in a metric (normed) space $X$ without isolated points there exists a continuous function $f$ such that $\mathrm{Lip} f(x)=+\infty$ (and $\mathrm{lip} f(x)=+\infty$) exactly on $A$.

math.FA↗

arXiv2024

Compact subspaces of the space of separately continuous functions with the cross-uniform topology

We consider two natural topologies on the space $S(X\times Y,Z)$ of all separately continuous functions defined on the product of two topological spaces $X$ and $Y$ and ranged into a topological or metric space $X$. These topologies are the cross-open topology and the cross-uniform topology. We show that these topologies coincides if $X$ and $Y$ are pseudocompacts and $Z$ is a metric space. We prove that a compact space $K$ embeds into $S(X\times Y,Z)$ for infinite compacts $X$, $Y$ and a metrizable space $Z\supseteq\mathbb{R}$ if and only if the weight of $K$ is less than the sharp cellularity of both spaces $X$ and $Y$.

math.GN↗

arXiv2019

Linearly continuous functions and $F_σ$-measurability

The linear continuity of a function defined on a vector space means that its restriction on every affine line is continuous. For functions defined on $\mathbb R^m$ this notion is near to the separate continuity for which it is required only the continuity on the straight lines which are parallel to coordinate axes. The classical Lebesgue theorem states that every separately continuous function $f:\mathbb R^m\to\mathbb R$ is of the $(m-1)$-th Baire class. In this paper we prove that every linearly continuous function $f:\mathbb R^m\to\mathbb R$ is of the first Baire class. Moreover, we obtain the following result. If $X$ is a Baire cosmic topological vector space, $Y$ is a Tychonoff topological space and $f:X\to Y$ is a Borel-measurable (even BP-measurable) linearly continuous function, then $f$ is $F_σ$-measurable. Using this theorem we characterize the discontinuity point set of an arbitrary linearly continuous function on $\mathbb R^m$. In the final part of the article we prove that any $F_σ$-measurable function $f:\partial U\to \mathbb R$ defined on the boundary of a strictly convex open set $U\subset\mathbb R^m$ can be extended to a linearly continuous function $\bar f:X\to \mathbb R$. This fact shows that in the ``descriptive sense'' the linear continuity is not better than the $F_σ$-measurability.

math.GN↗