Related papers: On sequential separability of functional spaces
We prove the necessary and sufficient conditions for practical stability of nonlinear dynamical system at general phase restrictions. In such a case the Lyapunov function is nondifferentiable. But if the set of initial data is starry…
In this paper, we introduce concepts of separable functions in balls and in the whole space, and develop a new method to investigate the qualitative properties of separable functions. We first study the axial symmetry and monotonicity of…
Given a Tychonoff space $X$, let $\varrho(X)$ be the set of remote points of $X$. We view $\varrho(X)$ as a topological space. In this paper we assume that $X$ is metrizable and ask for conditions on $Y$ so that $\varrho(X)$ is homeomorphic…
We consider various collections of functions from the Baire space X into itself naturally arising in (effective) descriptive set theory and general topology, including computable (equivalently, recursive) functions, contraction mappings,…
This paper introduces first order Sobolev spaces on certain rectifiable varifolds. These complete locally convex spaces are contained in the generally nonlinear class of generalised weakly differentiable functions and share key functional…
We study the equivalence classes under $\Delta^1_1$ isomorphism, otherwise effective-Borel isomorphism, between complete separable metric spaces which admit a recursive presentation and we show the existence of strictly increasing and…
Under $\text{CH}$ we construct a partition of Baire space into compact sets, which is indestructible by countably supported iteration and product of Sacks forcing of any length, answering a question of Newelski. Further, we present an…
In 1934, Whitney raised the question of how to recognize whether a function f defined on a closed subset X of Euclidean space is the restriction of a function that is continuously differentiable to order p. A necessary and sufficient…
In this paper, we continue the investigation of topological properties of unbounded norm (un-)topology in normed lattices. We characterize separability and second countability of un-topology in terms of properties of the underlying normed…
A topological space is $Suslin$ ($Lusin$) if it is a continuous (and bijective) image of a Polish space. For a Tychonoff space $X$ let $C_p(X)$, $C_k(X)$ and $C_{{\downarrow}F}(X)$ be the space of continuous real-valued functions on $X$,…
A base $\mathcal{B}$ for a space $X$ is said to be sharp if, whenever $x\in X$ and $(B_n)_{n\in\omega}$ is a sequence of pairwise distinct elements of $\mathcal{B}$ each containing $x$, the collection $\{\bigcap_{j\le n}B_j:n\in\omega\}$ is…
It is shown that separation conditions (separation curves) are fundamental objects of separability theory. They are used for the classification of certain clases of separable systems, for the proof of bi-Hamiltonian property and finally…
We introduce an infinitary first order linear logic with least and greatest fixed points. To ensure cut elimination, we impose a validity condition on infinite derivations. Our calculus is designed to reason about rich signatures of…
It is investigated necessary and sufficient conditions on topological spaces $X=\prod\limits _{s\in S}X_s$ and $Y=\prod\limits _{t\in T}Y_t$ for the dependence of every separately continuous functions $f:X\times Y\to \mathbb R$ on at most…
We introduce and study (metrically) quarter-stratifiable spaces and then apply them to generalize Rudin and Kuratowski-Montgomery theorems about the Baire and Borel complexity of separately continuous functions.
In the paper we discuss conformable derivative behavior in arbitrary Banach spaces and clear the connection between two conformable derivatives of different order. As a consequence we obtain the important result that an abstract function…
Let $\{F_n\}$ be the sequence of the Fej\'er kernels on the unit circle $\mathbb{T}$. The first author recently proved that if $X$ is a separable Banach function space on $\mathbb{T}$ such that the Hardy-Littlewood maximal operator $M$ is…
The purpose of this article is to study the anti-coproximinal and strongly anti-coproximinal subspaces of the Banach space of all bounded (continuous) functions. We obtain a tractable necessary condition for a subspace to be stronsgly…
This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separation. Several computable T3- and Tychonoff separation axioms…
We prove that every homogeneous countable dense homogeneous topological space containing a copy of the Cantor set is a Baire space. In particular, every countable dense homogeneous topological vector space is a Baire space. It follows that,…