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 16702

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

15 votes
3 answers
6k views

Dirac measures dense in space of measures? [closed]

Let $I$ be a compact interval and $\mathcal{M}(I)$ the space of (signed) Borel measures. We equip it with the weak topology, i.e. a sequence $\mu_n$ converges to zero if and only if $$ \left|\int_I f( …
Matthias Ludewig's user avatar
2 votes
2 answers
861 views

Uniformly bounded operator family and pointwise convergence

Let $1 \leq p < \infty$ be fixed and let $\Omega \subseteq \mathbb{R}^n$ be open. Let $(Q_n)_{n \in \mathbb{N}}$ be a uniformly bounded family of operators on $L^p(\Omega)$, i.e. there exists $C>0$ su …
Matthias Ludewig's user avatar
42 votes
2 answers
3k views

Measurability and Axiom of choice

In some situations, you need to show Lebesgue-measurability of some function on $\mathbb{R}^n$ and the verification is kind of lengthy and annoying, and even more so because measurability is "obvious" …
Matthias Ludewig's user avatar
2 votes

Difference between spaces of integrable functions w.r.t Lebesgue measure and Borel measure

I don't exactly know what the Lebesgue sigma-algebra is, but I presume you mean the extension of - for example - the Borel algebra that gives a complete measure. I know this as Baire algebra, and it h …
Matthias Ludewig's user avatar
4 votes
3 answers
504 views

Bounded operators and axiom of choice

In the article below, it is shown that the proposition "Every linear operator defined on a whole Hilbert space is bounded" is consistent with the axioms of ZF + a weakened version of the axiom of choi …
Matthias Ludewig's user avatar
3 votes
1 answer
855 views

Measurability of subspace of set of all functions

Set $X=\mathbb{R}^n$ and let $X^{I}$, the space of maps from the (bounded or unbounded) interval $I$ to $X$, be endowed with the locally convex topology of pointwise convergence. Is it true that the …
Matthias Ludewig's user avatar
3 votes
1 answer
307 views

Pullback of $L^p$ functions via exponential map

Let $M$ be a complete Riemannian manifold, endowed with its exponential map $\exp: TM \longrightarrow M$. For any $C^k$- function $u$, we get the Pullback $$ \exp^* u = u \circ \exp$$ which is in $C^k …
Matthias Ludewig's user avatar
6 votes
1 answer
1k views

Tensor product of measure spaces

For a compact topological space $X$, denote by $\mathcal{M}(X)$ the Banach space of finite signed Borel (Radon) measures on $X$ with the total variation norm. This is canonically isometric to the dual …
Matthias Ludewig's user avatar
1 vote
1 answer
271 views

Laplacian on space of measures

Let $X$ be a compact Riemannian manifold and let $\mathcal{M}(X)$ be the space of regular finite Borel measures with the total variation as norm. The Laplace-Belrami-Operator $\Delta$ on $X$ with do …
Matthias Ludewig's user avatar