Search Results

Let $X$ be a topological affine space. A Gaussian measure on $X$ is characterized by the property that its finite-dimensional projections are multivariate Gaussian distributions. Is there a direct ch …

A measurable space $(X,\mathcal X)$ consists of a set $X$ equipped with a $\sigma$-algebra of subsets $\mathcal X$. I would like to write computer programs involving measurable spaces, but to the best …

Let $(X, \Sigma)$ denote a measurable space. Is there a non-trivial $\sigma$-algebra $\Sigma^1$ of subsets of $\Sigma$ so that $(\Sigma, \Sigma^1)$ is also a measurable space? Here is one natural …

I've read that toposes are extremely important in modern mathematics, but I find the definitions and examples given on the nLab page a little too abstract to understand. Can you provide some examples …

Let $\Omega$ be a Banach space; for the sake of this post, we will take $\Omega = {\mathbb R}^2$, but I am more interested in the infinite dimensional setting. Take $\mathcal F$ to be the Borel $\sig …

This is a sequel to another question I have asked. The notion of disintegration is a refinement of conditional probability to spaces which have more structure than abstract probability spaces; someti …

Much of the literature on measure theory in linear spaces focuses on the case of normed linear spaces (e.g., the outstanding book by Vakhania, or its sequel). However, nuclear linear spaces "as far fr …

The following question came up in a discussion with my advisor: Let $(\Omega, \mathcal F, \mathbb P)$ be a non-trivial probability space, and suppose that $\mathcal G$ is a proper sub-$\sigma$-alg …

In Appendix B of his Uniform Central Limit Theorems (1999), Dudley writes: It is consistent with the usual axioms of set theory (including the axiom f choice) that there are no measurable cardinals, …

Let $X$ denote a measurable space, that is, a set equipped with a $\sigma$-algebra $\Sigma(X)$. Let $M(X)$ denote the space of real-valued measures over $X$. This is a vector space over the real numbe …

Consider the category $\operatorname{Meas}$ of measurable spaces: its objects are sets equipped with $\sigma$-algebras, and its morphisms are measurable functions between spaces. As Gerald Edgar & M …

Let $G$ be a Lie group, and let $\mathcal B(G)$ its Borel $\sigma$-algebra. Suppose that $f : G \to G$ is a Borel-measurable homomorphism. Is $f$ smooth? Edit: My original question said "measurable …

Let $H$ be a separable Hilbert space, and let $\gamma$ be a Radon probability measure on $H$ with mean zero and covariance operator the identity $I$. Is the Hilbert space $L^2(H,\gamma)$ separable?

Let $T$ be a commutative monoid, written additively. The set $T$ is equipped with a canonical pre-order, defined by $s \le t$ when there exists $s' \in T$ so that $s + s' = t$. Consequently, $T$ may b …

Consider a homogeneous space $M$, which for the sake of concreteness, let's take to be $M = \mathbb R^d$. Fix some space $A$, and consider the space of functions $X = C(M,A)$, along with its Borel $\s …