Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 238

Questions about abstract measure and Lebesgue integral theory. Also concerns such properties as measurability of maps and sets.

18 votes
3 answers
1k views

Is there a natural measurable structure on the $\sigma$-algebra of a measurable space?

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 …
23 votes
2 answers
7k views

What is a Gaussian measure?

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 …
12 votes

Proof of Krylov-Bogoliubov theorem

In addition to the excellent answers above, I also suggest the nice survey Oxtoby, Ergodic Sets (Zbl 0046.11504, MR47262, DOI: 10.1090/S0002-9904-1952-09580-X). Introduction. Ergodic sets were introd …
Martin Sleziak's user avatar
10 votes
2 answers
2k views

When is a space of measures a measurable space?

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 …
15 votes
3 answers
2k views

Disintegrations are measurable measures - when are they continuous?

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 …
8 votes

Is there a natural measures on the space of measurable functions?

Sorry for the necromancy. Here's an attempt at constructing a $\sigma$-algebra using the tensor product of $\sigma$-algebras. This should likely not result in a Borel structure (i.e., a $\sigma$-algeb …
Martin Sleziak's user avatar
5 votes
0 answers
536 views

Conditional probabilities in Banach spaces

This is the infinite-dimensional sequel to my question, Conditional probabilities are measurable functions - when are they continuous?. Let $\Omega = \Omega_1 \times \Omega_2$ be a probability space …
12 votes
3 answers
862 views

Measure theory in nuclear spaces

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 …
18 votes
3 answers
2k views

How do we express measurable spaces using type theory?

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 …
3 votes
1 answer
1k views

If $H$ is a separable Hilbert space, is its dual dense in $L^2(H)$?

Let $H$ be an infinite-dimensional, separable Hilbert space, and let $\gamma$ be a Radon probability measure on $H$ with mean zero and covariance operator the identity $I$. Let $H^*$ denote the space …
11 votes
1 answer
2k views

Do Measurable Cardinals Exist? (assuming ZFC)

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, …
5 votes
1 answer
743 views

Cameron-Martin theorem for non-Gaussian measures

Let $X$ be a locally convex topological linear space, and $\mathbb P$ be a probability measure on $X$. Denote the mean vector $m \in X$ and covariance operator $k : X^* \to X$. Let $\tau_u : X \to X$ …
4 votes
1 answer
567 views

Density of linear functionals in $L^2$

Let $X$ be a locally convex topological linear space, and let $\mathbb P$ be a probability measure on $X$. Suppose that $\operatorname{var}(\varphi) < \infty$ for all continuous linear functionals $\v …
17 votes
7 answers
1k views

Examples of toposes for analysts

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 …
2 votes
1 answer
244 views

Probability measures on $L^p$

Let $(X,\mathcal X,\mu)$ be a fixed measure space, and suppose that $\mu$ is stationary and ergodic with respect to the (left) action of a topological group $G$. Stationarity means that $\mu = g_* \mu …

15 30 50 per page