Related papers: Formally continuous functions on Baire space

We prove some consistency results concerning the Moving Off Property for locally compact spaces and thus the question of whether their function spaces are Baire.

In this short note, we prove that all geodesically convex functions defined on a Riemannian manifold are continuous in the interior of their domain. This is a folklore result, but to the best of our knowledge, there is only one available…

We introduce the notion of $B_1$-retract and investigate the connection between $B_1$- and $H_1$-retracts.

Brief development of the idea of the very important notion of continuity is given. Continuity is often confused with contiguity, "drawing the graph in one go," "no gaps," etc. The author argues in support of using correct notions of…

A topological space $X$ is Baire if the intersection of any sequence of open dense subsets of $X$ is dense in $X$. Let $C_p(X,[0,1])$ denote the space of all continuous $[0,1]$-valued functions on a Tychonoff space $X$ with the topology of…

In the setting of a metric space equipped with a doubling measure supporting a Poincar\'e inequality, we show that BV functions are, in the sense of multiple limits, continuous with respect to a 1-fine topology, at almost every point with…

Let C(K) be the Banach space of all continuous functions on a given compact space K. We investigate the w*-sequential closure in C(K)* of the set of all finitely supported probabilities on K. We discuss the coincidence of the Baire…

Let $\mathcal{L}(X;Y)$ be the space of bounded linear operators from a Banach space $X$ to a Banach space $Y$. Given an operator-valued function $u:\mathbb{R}_{\geq 0}\rightarrow \mathcal{L}(X;Y)$, suppose that every orbit $t\mapsto u(t)x$…

It is proved that every function of finite Baire index on a separable metric space $K$ is a $D$-function, i.e., a difference of bounded semi-continuous functions on $K$. In fact it is a strong $D$-function, meaning it can be approximated…

This paper demonstrates that the space of piecewise smooth functions can be well approximated by the space of functions defined by a set of simple (non-linear) operations on smooth uniform splines. The examples include bivariate functions…

To every log-concave function $f$ one may associate a pair of measures $(\mu_{f},\nu_{f})$ which are the surface area measures of $f$. These are a functional extension of the classical surface area measure of a convex body, and measure how…

Interaction with services provided by an execution environment forms part of the behaviours exhibited by instruction sequences under execution. Mechanisms related to the kind of interaction in question have been proposed in the setting of…

Infinite-dimensional manifolds modelled on arbitrary Hilbert spaces of functions are considered. It is shown that changes in model rather than changes of charts within the same model make coordinate formalisms on finite and…

We prove that for elliptic and canceling linear differential operators $\mathbb{B}$ of order $n$ on $\mathbb{R}^n$, continuity of a map $u$ can be inferred from the fact that $\mathbb{B} u$ is a measure. We also prove strict continuity of…

We give necessary and sufficient conditions on a non-oscillatory curve in an o-minimal field such that, for any bounded definable function, the germ of the function on an initial segment of the curve can be continuously extended to a closed…

Here we present a Bayesian formalism for the goodness-of-fit that is the evidence for a fixed functional form over the evidence for all functions that are a general perturbation about this form. This is done under the assumption that the…

The paper deals with continuous and compact mappings generated by the Fourier transform between distinguished function spaces on $\mathbb{R}^n$. The degree of compactness will be measured in terms of related entropy numbers. We are more…

The paper deals with the interplay between boundedness, order and ring structures in function lattices on the line and related metric spaces. It is shown that the lattice of all Lipschitz functions on a normed space $E$ is isomorphic to its…

The Fourier transform of a bounded measurable function, $f$, on the real line is shown to be the second distributional derivative of a H\"older continuous function. The Fourier transform is written as the difference of $\int_{-1}^1…

The notion of microscopic state of the system at a given moment of time as a point in the phase space as well as a notion of trajectory is widely used in classical mechanics. However, it does not have an immediate physical meaning, since…