1
vote
1answer
27 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
32 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
28 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
41 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
48 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 ...
0
votes
1answer
47 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
74 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
45 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
45 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 ...
0
votes
0answers
38 views

find an adjoint operator for operator N [closed]

I read this in a paper how to find its adjoint?
2
votes
0answers
46 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
29 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
29 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
40 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
25 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
43 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
17 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
48 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
36 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 ...
0
votes
1answer
27 views

Proving that the multiplication operator is closed

I was looking at this exercise: a) Let $f_n$ be a Cauchy sequence in $L^p(x,\mu)$. Prove that there exists a subsequence that converges pointwise $\mu$-almost everywhere. b) Let p $\in [1,\infty], ...
3
votes
1answer
32 views

Does $u=0$ a.e. in $[0,T]\times\Omega$ imply for a.a. $t \in [0,T]$, $u(t)=0$ a.e. in $\Omega$?

Let $u:[0,T]\times\Omega \to \mathbb{R}$. Consider the statements $u=0$ a.e. in $[0,T]\times\Omega$ and for a.a. $t \in [0,T]$, $u(t)=0$ a.e. in $\Omega$ Does the first statement imply ...
3
votes
0answers
45 views

Is $L^p$ separable?

Whether a $L^p(X,\mu)$ space is separable? I understand that the answer depends on $p$ and $X$. It seems to me that it is separable when $1\leq p < \infty, X=\mathbb{R}^n$ or $X=\mathbb{N}$. ...
0
votes
0answers
30 views

Measure theory for $L^2$

I have some questions about measure theory. $u,v,w \in L^{2}(\mathbb{R})$ We suppose $u,v,w$ are bounded and $|u(x)|\leq |v(x)|+|w(x)|$, $|u(x)-u(y)|\leq |v(x)-v(y)|+|w(x)-w(y)|$ for all $x,y \in ...
2
votes
1answer
96 views

Dirac delta distribution and measure?

Of course the Dirac delta is not a function. Despite, I think the concept of a measure is much easier than that of a distribution. Therefore, I was wondering: In what sense is the concept of a Dirac ...
0
votes
1answer
39 views

A sequence of polynomials with degree going to $\infty$ [closed]

Let $(\mathcal p_n)$ be a sequence of polynomials which converges uniformly on $[0,1]$ to some function $\mathcal f$, assume that $\mathcal f$ is not a polynomial. Prove the $\lim \limits_{n \to ...
1
vote
1answer
74 views

Weak convergence in $C[0,1]$

For a uniformly bounded sequence $(f_n)$ in $C[0,1]$, show that $f_n$ converges weakly to $0$ $\iff $ $\lim \limits_{n \to \infty} f_n(y) =0$ for all $y \in [0,1]$ Is the equivalence true if we do ...
2
votes
1answer
55 views

the point where all functional are non zero

Let $\{f_n\}$ be sequence of non zero bounded linear functionals on a Banach space X. Show that there is $x\in X$ so that $f_n(x)\ne0$, for all $n\in \Bbb N$. I am confused, non zero functional ...
0
votes
1answer
30 views

Is this subspace dense in $L^{2}(\Omega,\mu)$

Let $(\Omega,\mu)$ be a measure space, and let $X=L^{2}(\Omega,\mu)$ be the complex Hilbert space of square-integrable complex measurable functions on $\Omega$. (Each $f \in L^{2}$ is an equivalence ...
2
votes
1answer
61 views

Why this function is continuous?

Let $(\Omega,\Sigma,\mu)$ be a sample space and let $L^2= \lbrace f:\Omega \rightarrow R / \int f^2d\mu <\infty \rbrace$ be a Hilbert space. Let $L_n=L^2\times L^2 \times .... \times L^2$ ($n$ ...
2
votes
1answer
26 views

strengthen the condition of convergence in measure of sequence of functions

Let $\{f_n\}_{n=1}^\infty$ be a sequence of non-negative measurable functions on a measurable set $E$. (1). Suppose for any $\epsilon>0$, $$\sum_{n=1}^\infty \mu\{x\in E: ...
2
votes
0answers
41 views

Representation of Stochastic Integrals as Lebesgue/Bochner Integrals

Just as the Riemann–Stieltjes integral can be equivalently defined as a Lebesgue integral with the corresponding Lebesgue–Stieltjes measure, I am looking for the corresponding results for the ...
0
votes
0answers
47 views

A question on particular functions in $L^\infty$

Let D be the open unit disk in the complex plane, $\mu$ be the arc length measure, and $f, g\in L^{\infty}(\partial D,\mu)$ satisfying the following equations: $$ \int_{\partial D} ...
1
vote
1answer
58 views

Weak convergence of continuous functions

Let $X$ be an LCH space and $C_0(X)$ the set of continuous vanishing functions on $X$. If $C_0(X)$ is given the structure of a Banach space with the sup-norm, then its weak topology is given by the ...
2
votes
1answer
51 views

Simple Functions: Uniform Convergence

In the proof to proposition 4.2 of 'The Riemann Integral' it is stated that the net of simple functions converges uniformly for continuous functions. This question aims to prove this in a general ...
0
votes
2answers
46 views

A general question on $L^1$-space

Suppose that $\mu$ and $\nu$ are two ($\sigma$-finite) measures on a measurable space $(\mathbb{X},\mathcal{X})$ such that $\nu\ll \mu$. Is there any result like if $E$ is closed in $L^1(\mu)$, then ...
1
vote
1answer
18 views

convergence in measure implies the composition of the sequence of functions and a continuous function also converges in measure

Let $D$ be a measureble set in $\mathbb{R}^n$. Suppose $\mu(D)<\infty$. Let $\phi: D\times \mathbb{R}\to \mathbb{R}$ be a continuous function such that for almost every $x\in D$, ...
1
vote
1answer
35 views

Dual of $L^1$ when measure is the counting measure [closed]

Let $X$ be an uncountable set, $\mu$ the counting measure on $X$ and $\mathcal{M}$ the $\sigma$- algebra of countable or co-countable sets. How can I prove that the dual of $L^1(\mu|\mathcal{M})$ is ...
0
votes
1answer
17 views

Lebesgue integral question using du Boise-Reymond lemma

This question was inspired a previous question of mine. If we are given that $\Omega \subset \mathbb{R}^{n}$ is open and bounded and $$\int_{\Omega}fv dx = 0$$ where $f \in C(\Omega)$ and $v \in ...
1
vote
0answers
40 views

Compactness hypothesis in Riesz representation theorem

Let $X$ a compact metric space; I have to identify the dual of the set of continuous functions on $X$, $C(X)^*$. By Riesz representation theorem we have that it can be identified with the space of ...
1
vote
1answer
49 views

Counterexample to Marcinkiewicz

I have a version of Marcinkiewicz: Let $(X,\mu)$ and $(Y,\nu)$ be measure spaces and let $1<p_1 \leq \infty$. Suppose that $T$ is a mapping from $L^1(X,\mu) + L^{p_1}(X,\mu)$ to $\mu$- measurable ...
0
votes
1answer
24 views

Pointwise convergence in two variables.

I'm not sure about the following (taken from a proof). If $x \rightarrow x_0$ and $r\rightarrow r_0$ then $\chi_B(r,x) \rightarrow \chi_B(r_0,x_0)$ on $\mathbb{R}^n - S(r_o, x_o)$, where $S(r,x) = ...
1
vote
0answers
38 views

Convergence of product of continuous functions and test functions

I suspect the following result is true but I"m not sure how to go about proving: It is given that $\Omega \subset \mathbb{R}^{n}$ is an open bounded, connected domain.(Not sure if theses conditions ...
5
votes
1answer
105 views

Connection between separable measure spaces and $\sigma$-finite measure spaces

I recently came across a theorem which makes a hypothesis that a certain measure space is separable (the definition can be found here). In order to avoid confusion, I'll add the definition here: We ...