Related papers: Differentiable functions defined in closed sets. A…
We study properties of strongly separately continuous mappings defined on subsets of products of topological spaces equipped with the topology of pointwise convergence. In particular, we give a necessary and sufficient condition for a…
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly by a polynomial in the sizes of the arguments. Examples of…
In this work our main objective is to establish various (high frequency-) uniqueness criteria. Initially, we consider $p-$Dirichlet type functionals on a suitable class of measure preserving maps $u: B\subset \mathbb{R}^2 \mapsto…
It is solved the problem on construction of separately continuous functions on product of $n$ topological spaces with given restriction. In particular, it is shown that for every topological space $X$ and $n-1$ Baire class function $g:X\to…
This paper studies a large class of continuous functions $f:[0,1]\to\mathbb{R}^d$ whose range is the attractor of an iterated function system $\{S_1,\dots,S_{m}\}$ consisting of similitudes. This class includes such classical examples as…
For any time bound f, let H(f) denote the hierarchy conjecture which means that the restriction of the numbers of work tapes of deterministic Turing machines to some b generates an infinite hierarchy of proper subclasses DTIME_b(f) \subset…
We study the set of curvature functions which a given compact manifold with boundary can possess. First, we prove that the sign demanded by the Gauss-Bonnet Theorem is a necessary and sufficient condition for a given function to be the…
It is investigated the existence of a separately continuous function $f:X\times Y\to \mathbb R$ with an onepoint set of discontinuity for topological spaces $X$ and $Y$ which satisfy compactness type conditions. In particular, it is shown…
About forty years ago it was realized by several researchers that the essential features of certain objects of Probability theory, notably Gaussian processes and limit theorems, may be better understood if they are considered in settings…
We prove that subharmonic functions of finite order on finite dimensional real space, bounded from above outside of some asymptotically small sets on spheres, are bounded from above everywhere. It follows that subharmonic functions of…
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,…
Generalizations of the theorems of Eberlein and Grothendieck on the precompactness of subsets of function spaces are considered: if $X$ is a countably compact space and $C_p(X)$ is a space of continuous functions in the pointwise topology…
We establish an analogue of the first fundamental theorem of calculus for functions defined on the Wasserstein space of probability measures. Precisely, we show that if a function on the Wasserstein space is sufficiently regular in the…
In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we study strict subsets, i.e. sets whose variational capacity with respect to a larger reference set is finite, in the case $p=1$.…
We show topological genericity for the set of functions in the space X, where X denotes the intersection of the Hardy spaces H^p with p<1, on the open unit disc such that the sequence of Taylor coefficients of the function and of all…
We study a fine hierarchy of Borel-piecewise continuous functions, especially, between closed-piecewise continuity and $G_\delta$-piecewise continuity. Our aim is to understand how a priority argument in computability theory is connected to…
For a set $X\sbst\R$, let $B(X)\sbst\R^X$ denote the space of Borel real-valued functions on $X$, with the topology inherited from the Tychonoff product $\R^X$. Assume that for each countable $A\sbst B(X)$, each $f$ in the closure of $A$ is…
We prove that a set of finite perimeter is indecomposable if and only if it is, up to a choice of suitable representative, connected in the 1-fine topology. This gives a topological characterization of indecomposability which is new even in…
We discuss removability problems concerning differentiability and pointwise Lipschitz conditions for functions of a real variable. We prove that, in each of the settings under consideration, a set is removable if and only if it has no…
We consider a length functional for $C^1$ curves of fixed degree in graded manifolds equipped with a Riemannian metric. The first variation of this length functional can be computed only if the curve can be deformed in a suitable sense, and…