Related papers: Measurable Functions and Topolgical Algebra

Let $(X,d_X,\mu)$ be a metric measure space where $X$ is locally compact and separable and $\mu$ is a Borel regular measure such that $0 <\mu(B(x,r)) <\infty$ for every ball $B(x,r)$ with center $x \in X$ and radius $r>0$. We define…

We briefly show how the use of topological spaces and $\sigma$-algebras in physics can be rederived and understood as the fundamental requirement of experimental verifiability. We will see that a set of experimentally distinguishable…

Let \bar{M}_{0,n} be the moduli space of pointed, genus 0 curves. Let L_i denote the line bundle on \bar{M}_{0,n} associated to the i-th marked point (the fiber of L_i is the cotangent space of the pointed curve at the i-th point).…

We give an explicit description of all finite Borel measures on Noetherian topological spaces X, and characterize them as objects dual to a space of functions on X. We use these results to study the asymptotic behavior of continuous…

We call a function constructible if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. For any $q > 0$ and…

We show that if $G$ is an amenable topological group, then the topological group $L^{0}(G)$ of strongly measurable maps from $([0,1],\lambda)$ into $G$ endowed with the topology of convergence in measure is whirly amenable, hence extremely…

We introduced the concept of a metric value set (MVS) in an earlier paper \cite{GM}. In this paper we study the algebraic structure of MVSs. For an MVS $M$ we define the concept of $M$-metrizability of a topological space and prove some…

Let (X,m) and (Y,n) be standard measure spaces. A function f in $L^\infty(X\times Y,m\times n)$ is called a (measurable) Schur multiplier if the map $S_f$, defined on the space of Hilbert-Schmidt operators from $L_2(X,m)$ to $L_2(Y,n)$ by…

Let X be an affine real algebraic set . We investigate on the theory of algebraically constructible functions on X and the description of the semi-algebraic subsets of X when we replace the polynomial functions on X by some rational…

We propose a sequential topology on the space of sub-$\sigma$-algebras of a separable probability space $(\Omega,\mathcal{F},\mathbb{P})$ by linking conditional expectations on $L^{2}$ along sequences of sub-$\sigma$-algebras. The varying…

The aim of this paper is twofold. Firstly, we give easy-to-handle criteria to determine whether a given family of subsets of a vector space is a neighbourhood basis of the origin for a complete vector topology. Then, we apply these criteria…

Given two metric measure spaces $X$ and $Y$. Let $f:X\to Y$ be a measurable mapping and $A\subset X$. The Banach indicatrix (multiplicity function) is defined as $N(y,f,A) = \#\{x\in A \mid f(x) = y\}$. We prove measurability of this…

In this paper, we study meromorphic functions on a domain $\Omega \subset \mathbb{C}$ whose image has finite spherical area, counted with multiplicity. The paper is composed of two parts. In the first part, we show that the limit of a…

Suppose that $L, M$ are two full-rank lattices in Euclidean space with $\text{vol}(L)=\text{vol}(M)$. We give a new proof on the existence of a bounded and Lebesgue measurable set that tiles $\mathbb{R}^d$ with both $L,M$ using the…

For a metrizable space $X$ and a finite measure space $(\Omega,\mathfrak{M},\mu)$ let $M_{\mu}(X)$ and $M^f_{\mu}(X)$ be the spaces of all equivalence classes (under the relation of equality almost everywhere mod $\mu$) of…

The ideal probabilistic forecast for a random variable $Y$ based on an information set $\mathcal{F}$ is the conditional distribution of $Y$ given $\mathcal{F}$. In the context of point forecasts aiming to specify a functional $T$ such as…

We show that for smooth manifolds X and Y, any isomorphism between the special algebra of Colombeau generalized functions on X, resp. Y is given by composition with a unique Colombeau generalized function from Y to X. We also identify the…

The structures $\langle M,\subseteq^M\rangle$ arising as the inclusion relation of a countable model of sufficient set theory $\langle M,\in^M\rangle$, whether well-founded or not, are all isomorphic. These structures $\langle…

Let $A$ be an associative ring and $M$ a finitely generated projective $A$-module. We introduce a category $\operatorname{RBS}(M)$ and prove several theorems which show that its geometric realisation functions as a well-behaved unstable…

We prove the following results. 1. If $X$ is a $\alpha$-favourable space, $Y$ is a regular space, in which every separable closed set is compact, and $f:X\times Y\to\mathbb R$ is a separately continuous everywhere jointly discontinuous…