2
votes
2answers
34 views

If $f(x)g(y)$ is a measurable function, and $f$, $g \in L^{1}(dm)$, does this imply $g(y - x) \in L^{1}(dm)$?

Question rephrased Suppose we are working in $(\mathbb{R}, \Sigma(m^{*}) \times \Sigma(m^{*}), m \times m)$ where $m$ is Lebesgue measure. Note that our $\sigma$-algebra is not necessarily complete. ...
4
votes
2answers
58 views

Example of a function $u\in L^\infty(0,T,H^1)$ such that $u_t\notin L^\infty(0,T,H^1)$

Could someone give me an example of a function $u\in L^\infty(0,T,H^1)$ such that $u_t$ exists (in the distributional sense), $u_t\in L^\infty(0,T,L^2)$ and $u_t\notin L^\infty(0,T,H^1)$? Thanks. ...
0
votes
1answer
48 views

Question about statement of Fubini's theorem

This is a question on the statement of Fubini's theorem for measurable sets. The theorem looks like this: Let $(X \times Y, \overline{\Sigma \times \tau}, \lambda = \mu \times \nu)$ be a complete ...
3
votes
1answer
35 views

If $(X \times Y, \overline{\Sigma \times \tau}, \mu \times \nu)$ is $\sigma$-finite, does that imply $(X, \Sigma, \mu)$ is $\sigma$-finite?

I'm having trouble proving or disproving the statement: If the product space $(X \times Y, \overline{\Sigma \times \tau}, \mu \times \nu)$ is $\sigma$-finite, then so is $(X, \Sigma, \mu)$. I ...
0
votes
1answer
46 views

Borel Measure on Banach Space

While thinking about what some measure on an infinite dimensional Banach space could look like a came across the point that if I'd like to assign a size to all epsilon balls, they by Riesz' lemma ...
2
votes
1answer
63 views

What exactly is a product measure?

If we have $(X \times Y, \overline{\Sigma \times \tau}, \lambda)$ a complete measure space with underlying complete spaces $(X, \Sigma, \mu)$ and $(Y, \tau, \nu)$, and $\lambda = \mu \times \nu$, what ...
2
votes
1answer
31 views

If $f \in L^{1}(d\mu)$, is it true that $\int \limits_{X} f\chi_{\{ f \neq 0 \} } \,d\mu = \int \limits_{X}f \,d(\chi_{\{ f\neq 0 \} }\,d\mu)$?

Ok, so we have $f \in L^{1}(d\mu)$, with $(X, \Sigma, \mu)$ a complete measure space. If we assume $f$ is nonnegative, we can define a measure $\rho(E) = \int \limits_{E} f \,d\mu$ for $E \in ...
3
votes
1answer
40 views

If $f \in L^{1}(d\mu)$ is nonnegative, can we conclude $\mu( \{ x \mid f(x) \neq 0 \} ) < \infty$?

I am trying to prove a statement, and I need the fact that: If $f \in L^{1}(d\mu)$ is a nonnegative function, then this implies $\mu( \{x \mid f(x) \neq 0 \} ) < \infty$. But I don't know ...
1
vote
1answer
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? ...
4
votes
0answers
90 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 ...
3
votes
1answer
78 views

Questions on Fubini's Theorem and $\sigma$-finite measure?

I asked a question about this a several days ago, but I think I have a better formulated question now. The reason I did not just edit the last question about this is that I feel the answers I got ...
1
vote
0answers
19 views

Uniform continuity of weighted Sobolev functions.

I am trying to show an embedding result for a weighted Sobolev space and have come to the following problem: I have a function $f: (0,a] \rightarrow \mathbb{R} $ such that: $f$ is bounded and ...
1
vote
0answers
44 views

When does an integral operator belong to the Schatten - von Neumann class in terms of its kernel?

It is well known that an integral operator $X: L^2(\mu)\to L^2(\nu)$ with kernel $k(x, y)$ belongs to the Schatten -- von Neumann class $\mathfrak S_2$ if and only if $\int |k(x, y)|^2\, d\mu(x)\, ...
4
votes
1answer
80 views

Proof that $(L^1)\neq(L^\infty)^\ast$

I have seen a "proof" that $L^1\neq(L^\infty)^\ast$ which goes as follows: show that there is an element of $(L^\infty)^\ast$ which is not in the image of the canonical map ...
0
votes
0answers
28 views

Relation between $L^1(T)$ and $L^1[0,1]$

I know the question may be too general, but I need to know if there is a way in which I could relate the spaces $L^1(T)$ (where $T=\{e^{2 \pi i x}: x \in [0,1]\}$ and we use the Lebesgue measure on ...
1
vote
1answer
58 views

How do you show $\int \limits_{X \times Y} f(x,y)\, d\lambda < \infty$ if $\int \limits_{X} \int \limits_{Y} f(x,y) \,d\nu \,d\mu < \infty$?

Suppose $f: X\times Y \rightarrow [0,\infty]$ is a measurable function with respect to the product measure $\lambda$ ( $(X, \Sigma, \mu)$ and $(Y, \tau, \nu)$ are complete measure spaces). Suppose ...
1
vote
0answers
38 views

amazing boundedness problem from maximal function

Let $n\geq 2$. For any $M>1$, prove that there exists a constant $C_M>1$ such that for any ball $B$ in $\mathbb{R}^n$, if we denote $MB$ as the concentric ball of $B$ with $M$ times radius of ...
0
votes
1answer
31 views

Essential support vs. classical support for a continuous function

The essential support of a function $f:\Bbb R^n\rightarrow \Bbb R$ is defined in the following way: Let's denote $\mathcal A_f=\{\omega \subset \Bbb R^n: \omega \quad \text{open}, \quad f(x)=0\quad ...
4
votes
2answers
97 views

Fubini's theorem and $\sigma$-finiteness?

I'm reviewing my analysis notes, and I am really confused about what is meant by $\sigma$-finiteness being a hidden hypothesis of Fubini's theorem. Here is Fubini's theorem as was stated to me: ...
14
votes
0answers
323 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 ...
2
votes
2answers
51 views

Banach spaces not isomorphic to $\ell^p(S)$?

We know that every Hilbert space is unitarily equivalent to $\ell^2(S)$, for a set $S$ of suitable cardinality. Is there a Banach space which is NOT isomorphic to $L^p(X)$, for any $1\leq p \leq ...
0
votes
1answer
39 views

Measurable function that's defined almost everywhere

If $(X, \Sigma, \mu)$ is a complete measure space, and $f$ is a function that is defined almost everywhere, can I use the language that $f$ is measurable? What does it mean for this function that is ...
2
votes
1answer
26 views

Can we integrate a measurable function defined on a conull subset of a complete measure space?

Suppose $(X, \Sigma, \mu)$ is a complete measure space, and suppose $f$ is a measurable function with domain of $f$ the set $X \setminus N$ for a measurable set $N$ of measure $0$. Does it make sense ...
1
vote
1answer
59 views

Sequence of measurable functions converging a.e. to a measurable function?

I understand if $(X, \Sigma, \mu)$ is a measure space, and we have a sequence of measurable functions $f_{n}$ such that $\lim \limits_{n \to \infty} f_{n}$ exists almost everywhere d$\mu$ (a.e. ...
2
votes
1answer
26 views

Confusion on statement of Fubini's theorem for characteristic function of measurable set

I'm having trouble understanding what this theorem is saying. Theorem. Let $(X \times Y, \overline{\Sigma \times \tau}, \lambda)$ be a complete measure space and suppose $E \in \overline{\Sigma ...
1
vote
1answer
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 ...
0
votes
1answer
33 views

Limit of integral of L^p functions

Let $p\in (0,\infty)$ and $f\in L^p(\mathbb{R})$. Show that $\displaystyle \lim_{n\to\infty} \int_{\mathbb{R}} f(x) \chi_{[-n,n]}\frac{1}{n^{(1-1/p)}} dx=0$. I believe $f(x) ...
3
votes
1answer
32 views

Local convexity of the topology of weak convergence of probability measures

Let $X$ be a Polish or standard Borel space, and $\mathcal P(X)$ be the space of all Borel probability measures on $X$ endowed with the topology of weak convergence. I am thinking of using ...
2
votes
1answer
43 views

Need help with application of Hardy-Littlewood inequality (Marcinkiewicz space and distribution functions)

I am going over this work here. I couldn't understand the equality where the Hardy-Littlewood inequality is used. I think $\delta$ here is a weight so we can take it to be $1$ for simplicity. Would ...
2
votes
1answer
65 views

Differentiation under the integral if and only if we have an $L^1$ dominator

Let $f(x)\in L^2(\mathbb{R})$ and define $$g(t) = \int_\mathbb{R} f^2(x)\exp(-tx^2)dx$$ for $t\geq0$. We want to show that $g(t)$ is continuously differentiable if and only if $xf(x)\in ...
1
vote
1answer
61 views

Relation between Sobolev Space $W^{1,\infty}$ and the Lipschitz class

I have a Sobolev space related question. In the book 'Measure theory and fine properties of functions' by Lawrence Evans. I know the result that states that for $f: \Omega \rightarrow \mathbb{R}$. $f$ ...
1
vote
1answer
11 views

Is $\text{Id} = \chi_{\{ |u| \leq k\}} + \chi_{\{|u| > k\}}$ well defined for $u \in L^p(0,T;L^q)$?

Is the decomposition $$\text{Id}(z) = \chi_{\{ |u| \leq k\}}(z) + \chi_{\{|u| > k\}}(z)\tag{1}$$ well defined for $u \in L^p(0,T;L^q(\Omega))$? I guess (1) holds a.e. So the problem is, is the set ...
3
votes
1answer
81 views

Usual convex combination and the one with measure

Let $X$ be a Borel measurable subset of $\Bbb R^n$ and let $\nu$ be a probability measure on $X$. Can we always find an integer $m$, points $x_1,\dots,x_m\in X$ and coefficients $a_1,\dots,a_m \geq ...
0
votes
2answers
46 views

Representation of linear functionals on a certain Banach space

Let $C^k([0,1])$ be the space of such complex-valued functions on $[0,1]$ that are continuously differentiable at least $k$ times ($k\in\mathbb N$). It is well known that $C^k([0,1])$ is a Banach ...
2
votes
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 ...
2
votes
0answers
54 views

Integration with values in a $C^*$-algebra

My question is quite specific to locally compact groups but I'm sure it can be generalised to locally compact Hausdorff spaces with a Borel measure. Let $G$ be a locally compact group and fix a Haar ...
2
votes
1answer
30 views

Obscure inequality in a passage of a proof (maximal ergodic theorem)

Look at the following excerpt from the book "Einsiedler and Ward- Ergodic Theory, with a view towards Number Theory": I don't understand why the inequality in the red box is valid. Maybe the ...
1
vote
0answers
30 views

boundedness of $\{\int_E(g f_n)\}$ implies boundedness of $\{f_n\}$

I need some help on this problem: Let $E$ be a measurable set, $1 \le p < \infty$ and $q$ is the conjugate of $p$. Suppose that $\{f_n\}$ is a sequence in $L^p(E)$ such that for each $g \in ...
1
vote
0answers
41 views

Linear w.r.t. any measure

Let $X$ be a Banach space endowed with a Borel $\sigma$-algebra. How do we call a real-valued Borel function $f$ that satisfies for any Borel probability measure $\mu$ the following formula $$ ...
1
vote
0answers
27 views

Almost Everywhere Function Space

Problem Let $\Omega$ be a measure space with measure $\mu$ and $V$ a topological vector space not necessarily Hausdorff as well as the function space $\mathcal{F}:=\{f:\Omega\to V\}$ topologized by ...
4
votes
2answers
44 views

p-norm of a function

Let $f\in L^1(\mu)\cap L^\infty(\mu)$. I have proved for any $1<p<\infty$, $f\in L^p(\mu)$, $w(p)=||f||_p$ is continuous w.r.t. $p$, and $\lim_{p\to \infty}||f||_p=||f||_\infty$. Is $w(p)$ ...
0
votes
0answers
37 views

Taking a limit but everything is only almost everywhere

Suppose $h$ is a function such that $h(s)$ exists for all $s$ and $\lim_{s \to t} h(s)$ exists for all $t$. Here $s$ and $t$ range over some bounded interval. Suppose for a.e. $t$ and a.e. $s$, we ...
1
vote
0answers
46 views

Representation of a linear functional Lipschitz in total variation

Let $\Omega$ be a Borel space and let $\mathcal P(\Omega)$ be the space of all Borel probability measures on $\Omega$ endowed with the topology of weak convergence. Define the total variation metric ...
0
votes
0answers
76 views

Is Fourier transform density preserving?

I know my question is not well-defined since Fourier domain and codomain are not the same, but one knows that they are actually homomorphic. Now what I mean by density preserving is as follows: ...
0
votes
0answers
20 views

Let S be the set of of all step functions on [0, 1] with rational range and rational partition points.

Hello need help with this problem: Let $S$ be the set of of all step functions on $[0, 1]$ with rational range and rational partition points. 1- Show that the closure of $S$ in $L^\infty[0,1]$ ...
4
votes
0answers
49 views

Jordan decomposition of linear functionals

Let $X$ be a locally compact Hausdorff space. Also, let $C_0(X,\mathbb R)$ denote the vector space of such continuous functions $f:X\to\mathbb R$ that the set $\{x\in X\,|\,|f(x)|\geq\varepsilon\}$ is ...
1
vote
1answer
37 views

Proposed proof Lebesgue integration question

I just want to confirm the following proof: Consider a function $u: \Omega \rightarrow \mathbb{R}$ where $\Omega \subset \mathbb{R}^{n}$ and $u \in C^{2}(\bar{\Omega})$. Let $a_{jk}$ be smooth ...
2
votes
1answer
65 views

Why the space of probability measures is a subset of the measure space

Consider $\mathcal M (X)$ the measure space of a metric, compact space $X$ allowed of the weak-* topology induced by the semi-norms $\mu \in \mathcal M (X) \mapsto |\int_X f ~d\mu| \in \mathbb R ...
0
votes
0answers
17 views

Existence of Density in Bochner's Thoerem

Bochner theorem for locally compact abelian group, $G$ and a positive definite function $f$ there exist a unique measure $\mu_f$ such that: $$f(x)=\int\limits_{\hat G}(x,\gamma)d\mu_f(\gamma)$$ Where ...
0
votes
1answer
28 views

Positive-definite function on a group function on a group

I have quite a hard time understanding the definition of positive-definite functions that is based on Hilbert spaces, the one that I read from Wiki; it does not exactly specify that how $H$ relates to ...