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 answers only not deleted user 23141

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 …
Nik Weaver's user avatar
  • 42.8k
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 …
Nik Weaver's user avatar
  • 42.8k
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 …
Nik Weaver's user avatar
  • 42.8k
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 …
Nik Weaver's user avatar
  • 42.8k
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 …
Nik Weaver's user avatar
  • 42.8k
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. …
Nik Weaver's user avatar
  • 42.8k
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 …
Nik Weaver's user avatar
  • 42.8k
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$ …
Nik Weaver's user avatar
  • 42.8k
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 …
Nik Weaver's user avatar
  • 42.8k
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 …
Nik Weaver's user avatar
  • 42.8k
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 …
Nik Weaver's user avatar
  • 42.8k
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$.)
Nik Weaver's user avatar
  • 42.8k
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$ …
Nik Weaver's user avatar
  • 42.8k
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 …
Nik Weaver's user avatar
  • 42.8k
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 …
Nik Weaver's user avatar
  • 42.8k

15 30 50 per page