Tagged Questions

29 views

Halmos Measure Theory section 39 Theorem D

I have trouble explaining the remark "The function $\phi$ plays the role of Jacobian (or, rather, the absolute value of the Jacobian) in the theory of transformation of multiple integrals". I know ...
30 views

Derivation using Ito calculus?

I am reading the paper "Coupling Wiener processes by using copulas" by P. Jaworski and I've come across a statement I cannot reproduce. Let $L^{-}$ and $L^{+}$ be differential operators acting on ...
33 views

Projection measures and integrability

Let $(M, \mathcal{A}, \mu)$ a probability space, $Y$ compact metric space. Consider $\mathcal{M}(\mu)$ be the space of probability measures $\eta$ on $M\times Y$ such that $\pi_{*}\eta=\mu$ where ...
16 views

Reference on Riesz representation theorem for $L^p(0,T,X)$ spaces.

Brezis Functional Analysis book proves the following Riesz representation theorems for usual $L^p(\Omega)$ spaces: In what book can we find an analogous of these theorems for $L^p(0,T,X)$ spaces? ...
95 views
+150

Separability of a set with norm $\thickapprox$ $L^1$ +$L^{\infty}$

Let $(M, \mathcal{A}, \mu)$ a complete separable probability space. Recall that complete means that any subset of a measurable set with zero measure is measure (and has zero measure) and separable ...
54 views

Is a $L^1$-function which is linear near the origin in $L^p$?

Suppose you have a function $f$ on $\mathbb{R}$, such that $$\int_{-\infty}^{\infty} | f(x) | \, \mathrm{d} x < \infty$$ and $$\int_{-u}^u |f(x)| \, \mathrm{d} x = \mathcal{O}(u)$$ for $u \to 0$. ...
44 views

Series converges but term by term integration not valid?

Give an example of a series $\sum g_n$ of Lebesgue integrable functions on $\mathbb{R}$ that converges but for which term by term integration is not valid. This is last minute exam revision so I do ...
23 views

What is the integral of $\int_{\mathbb{N}} s d\mu$ where $\mu$ is the counting measure on $\mathbb{P}(\mathbb{N})$?

What is the integral of $\int_{\mathbb{N}} s d\mu$ where $\mu$ is the counting measure on $\mathbb{P}(\mathbb{N})$? What does it mean for $s$ to be integrable? 1. This is last minute exam revision. ...
29 views

324 views

Reinventing The Wheel - Part 2: The Lebesgue Integral

Disclaimer After struggling for some time to find an appropriate definition for the notion of integration I came across another attempt for which I would need your help deciding to what extend this ...
68 views

Negative part of the integrand in an iterated integral

Hi everyone: Suppose that $(X,\mathfrak{M},\mu)$ and $(Y,\mathfrak{N},\nu)$ are two measure spaces and $f(x,y)$ is an extended real valued measurable function on $X\times Y$. Suppose we can not apply ...
40 views

The space $C_c^\infty(\mathbb{Q}_p^*)$ of smooth compactly supported functions on $\mathbb{Q}_p^*$

Let $p$ be prime. Let $\mathbb{Q}_p^*$ be the multiplicative group of the field of $p$-adic numbers. We call a function $f:\mathbb{Q}_p^*\rightarrow\mathbb{C}$ smooth if it is invariant under ...
15 views

Non Borel Spaces: Gauge Integral

Is there a gauge integral over non Borel spaces? (My interest lies in finite measure spaces.) It seems as the definition of the gauge integral crucially depends on the existence of open sets for a ...
26 views

Darboux integrable, $f$ continuous at x where g(x)=G(x) [duplicate]

$f:[a_1,b_1]x[a_2,b_2]\rightarrow \mathbb{R}$ that is Riemann integrable, and let $g(x),G(x)$ functions with property $g(x)\leq f(x) \leq G(x)$, g=G a.e.! G(x), g(x) are obtain from proof Riemann int ...
36 views

A tricky integral with vanishing domain

I would love to have the following result, however I got no clue if it is even true! Let $B_n:=\{y:\varepsilon_n<|y|\leq\tilde{\varepsilon}_n\}$ for some sequences ...
17 views

Finiteness of the lower integral implies finiteness a.e. of the function

I want to prove that if a function $f$ is $\mu$-measurable, $f\geq 0$ $\mu$-a.e., then the integral of $f$ exists, that is its upper and lower integrals coincide. I've found the proof in Modern and ...
44 views

If $f$ is $+\infty$ on a set of positive measure and the integral exists in $[-\infty,+\infty]$, must the integral be $+\infty$?

Suppose $(X,\mathcal{M},\mu)$ is a measure space and $f$ a measurable function from $X$ to $[-\infty,+\infty]$. Suppose that $$\int_{X}f\ d\mu$$ exists in $[-\infty,+\infty]$, and that $X$ contains a ...
64 views

Why is the value assigned to a gauge integral well defined (unique)?

Why is the value assigned to a gauge integral well defined (unique)? If we would have given a net (so an underlying order that happens to be directed), then the limit would be unique given a ...
32 views

Finite Measure Space: Integral Closure = Bochner Integral

I can't sleep for so long time as the integral gives me headaches. I was looking for so many approaches. Now another one. Hope this works... Let $\Omega$ be a finite measure space and $E$ a Banach ...
69 views

Without Lebesgue

Everyone knows following problem. Let $f$ be positive function on $[0,1]$ and there exist $I = \int_{0}^{1}f(x)dx$. Prove that $I>0$. (recall that there are only two cases: $I=0$ or $I>0$. NOT ...
32 views

Let $f$ be a function of bounded variation on $[0,1]$. Let $\{[a_n,b_n]\}_{n=1}^\infty$ such that $(a_n,b_n)$ are pairwise disjoint and $\cup_{n=1}^\infty [a_n,b_n]=[0,1]$. (for example, $[1/2, 1], ... 1answer 33 views Proving and visualizing$\mathbf 1_{(x,x+a]}(y) = \mathbf 1_{[y-a,y)}(x)$Here is a trick from one of the proofs in probability: $$\iint \mathbf 1_{(x,x+a]}(y) \ \lambda(dx) \ \mathbb P(dy) = \iint \mathbf 1_{[y-a,y)}(x) \ \lambda(dx) \ \mathbb P(dy)$$ for$a>0$. So ... 0answers 115 views What types of integrals cannot be solved using improper Riemann-Stieltjes Integration? I came across the wikipedia discussion of the Riemann-Stieltjes integral. The first sentence in the "Generalization" section gave me pause: An important generalization is the Lebesgue–Stieltjes ... 0answers 155 views Open problems in Federer's Geometric Measure Theory I wanted to know if the problems mentionned in this book are solved. More specifically, at some places, the author says that he doesn't know the answer, for example :"I do not know whether this ... 1answer 49 views Defining the integral on an arbitrary metric space I am trying to prove a version of Mercer's Theorem for an arbitrary compact metric space; that is, I do not wish to restrict myself to the space of real-valued continuous functions$C[a,b]$. I ... 2answers 45 views Jordan measure zero discontinuities a necessary condition for integrability The following theorem is well known: Theorem: A function$f: [a,b] \to \mathbb R$is Riemann integrable if and only if its set of discontinuities has Lebesgue measure zero. Now if we change ... 2answers 93 views Do we need the$f,g \geq 0$condition for$\int f \ d\mu = \int g \ d\mu$? My lecture notes state the following corollary: Let$f,g \in \mathcal M_\bar{{\mathbb R}}$(that is, numerical measurable functions),$f=g\mu$-almost everywhere and$f,g \geq 0$. Then$\int f \ ...
I'm a bit lost... I have a measure space $(\Omega,\mathcal{B}(\Omega),\mu)$ where $\mathcal{B}(\Omega)$ is a Borel set. Let $f$ be a real-valued measurable function on $\Omega$ and $\mathcal{K}$ be ...