Search Results
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 |
Questions about abstract measure and Lebesgue integral theory. Also concerns such properties as measurability of maps and sets.
5
votes
Solving interval problems without outer measure
I give an elementary solution to Problem 1 in $\mathbb{R}^n$ in my book Measure Theory and Functional Analysis (Proposition 2.16, p. 48). Here is the one-dimensional version.
I guess it's clear that t …
6
votes
Accepted
A characterisation of continuous real functions
Edit: the proof can be made a little simpler.
Yes, this condition is equivalent to $f$ being continuous. The reverse direction is easy because if $f$ is continuous at $x$ then all of the limits in que …
29
votes
Accepted
Equivalence between Lebesgue integrable and Riemann integrable functions
Let $A$ be a measurable subset of $[0,1]$ such that both it and its complement have positive measure in every open interval in $[0,1]$ (see here for example). Its characteristic function is dominated …
4
votes
Accepted
A “compactness theorem” for measurable functions
Counterexample. For each $n$ let $k_n$ be the characteristic function of $[0,\frac{1}{2^n}] \cup [\frac{2}{2^n},\frac{3}{2^n}] \cup \cdots$. Next observe that there are only countably many subsets of …
2
votes
Accepted
Strong measurability of operator-valued map induced by a kernel
It helps to note that $\mathcal{T}_tf(s) = K(s,t)\langle f(\cdot), \overline{K}(\cdot,t)\rangle$.
If $K_n = \sum a_i1_{A_i\times B_i}$ is a finite linear combination of characteristic functions of rec …
4
votes
Accepted
Conditions for the existence of von Neumann-Morgenstern utility on a Polish space
There exists a continuous, bounded utility function if and only if the relation is continuous in the stronger sense of being closed in $P(X) \times P(X)$, using the weak${}^*$ topology on each factor. …
3
votes
Accepted
Does $\mathbb R^n$ equipped with a sum of Dirac delta measures admit nowhere locally constan...
Partition $(a_n)$ into two subsequences $(a_n')$ and $(a_n'')$ with $\sum a_n' < \infty$, and partition $(d_i)$ into two subsequences $(d_i')$ and $(d_i'')$ such that $d_i'' \to \infty$. Pair the $a_i …
8
votes
Accepted
Does the space of Lipschitz functions have the Radon-Nikodym property?
Let $X$ be a metric space consisting of a countable set of points, the distance between any two of which is $2$, together with one additional point $e$ whose distance to any of the other points is $1$ …
8
votes
Accepted
Differentiability of the map $x\mapsto \delta_x$ in the Arens-Eells/Lipschitz-free space
This fails for $X = \mathbb{R}$, and hence for every nonzero Banach space, since they all contain copies of $\mathbb{R}$. If the map $t \mapsto \delta_t$ were differentiable in either sense then for e …
9
votes
Accepted
Explicit example of a certain weak-* limit
(reading "sequence" as "net", as suggested in the comments)
Well, $C_b(\mathbb{R}^+) \cong C(\beta\mathbb{R}^+)$, so any such $L$ will arise from a probability measure on the Stone-Cech remainder $\be …
2
votes
Accepted
Is integration against an indicator Wasserstein-Continuous
Assuming $C$ isn't also open, find a sequence $(x_n)$ in $X\setminus C$ which converges to a point $x$ in $C$. Then the point measures $\delta_{x_n}$ converge to $\delta_x$ but their integrals against …
3
votes
Accepted
Convergence in weak dual topology $\sigma(L^\infty, L^1)$
It isn't research level, but $f(t) = \sin(e^{t^2})$ is a counterexample. (The uniform distance between $f$ and any shift of $f$ is $1$.)
10
votes
Accepted
Are lattice operations in a Lipschitz space sequentially continuous in the weak* topology?
Yes. If $f_n \to f$ weak* then the sequence $(f_n)$ must be bounded in ${\rm Lip}_0(X)$ (Banach-Steinhaus), and for bounded nets weak* convergence is the same as pointwise convergence. So $f_n \to f$ …
8
votes
Measure Theories with a different convention to $\infty\cdot 0 =0$
It's not a convention, it's a theorem. Let's say I have a measure space $X$ and a function $f: X \to \overline{\mathbb{R}}$ which is identically zero off of a null set $N$, and constantly $+\infty$ on …
14
votes
Acting with all rational rotations on a subset of the circle having positive measure do you ...
An easy way to see this is by using the Lebesgue density theorem. Any set of positive measure has a density point $t$ (indeed, almost every element of the set is a density point). This means that for …