All Questions
Tagged with hilbert-spaces measure-theory
31 questions
1
vote
1
answer
128
views
Is a bounded convex function $g$ that is non-negative on this particular convex set also non-negative on the its closure?
Setup :
Let $S$ be the simplex on $\mathbb N$, i.e. the set of probability distribution on the natural numbers. Suppose we have $p\in S$ such that, for all $n\geq 1$, $p_n > 0$. For any $\emptyset\...
- 204
1
vote
1
answer
123
views
Properties of the relatively bounded probability distributions on the simplex over the natural numbers
Setup :
Let $S$ be the simplex over $\mathbb N$, i.e. the set of probability distribution over $\mathbb N$. Let $p\in S$ be such that $0 < p_n$ for all $n\in \mathbb N$. Let $H$ be the Hilbert ...
- 204
0
votes
0
answers
98
views
Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity?
(Cross posted from Math StackExchange: Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity?)
Assume $(\Omega, \mu)$ is a probability space. Consider a ...
- 2,830
1
vote
0
answers
83
views
Finding a functional that stays non-negative on a particular subset of $L^2[0, 1]$
Start with the Hilbert space $L^2([0, 1])$ with Lebesgue measure. Fix some Borel-to-Borel measurable function $f: [0, 1] \times [0, 1] \rightarrow \mathbb{R}$. I present 4 scenarios, each more ...
- 83
0
votes
1
answer
90
views
A nonlinear mapping on $L^2(S^1)$ that commutes with all translation operators is necessarily measurable?
Let $H:= L^2(S^1)$, where $S^1$ is the circle, and $\tau_a : H \to H$ be the translation operator for each $a \in S^1$:
\begin{equation}
(\tau_a f)(x):= f(x+a)
\end{equation}
Then, it is clear that ...
- 3,477
2
votes
1
answer
233
views
Identity for spectral resolution: $dE_{\xi, \xi}= |g|^2 dE_{\eta, \eta}$
Let $(\Omega, \mathcal{F})$ be a measurable space. Let $E: \mathcal{F}\to B(H)$ be a regular resolution of the identity on the Hilbert space $H$, see e.g. Rudin's functional analysis book.
Suppose ...
- 175
2
votes
0
answers
135
views
What are examples of infinite-dimensional Banach spaces that are also measure spaces?
I am interested in examples of infinite-dimensional vector spaces that
are Banach spaces or even Hilbert spaces
are measure spaces
Instead of the full vector space, subsets with measure structure ...
- 5,327
1
vote
1
answer
89
views
Representing an $L^2$-functional by a non-$L^2$-function on a dense subspace - Part II
This is a follow-up to this previous question, but under stronger assumptions.
Let $(X, \mu)$ be a (say, $\sigma$-finite) measure space, let $g \in L^2$ (say, over the real
scalar field). Let $\tilde ...
- 12.5k
7
votes
2
answers
464
views
Representing an $L^2$-functional by a non-$L^2$-function on a dense subspace
Let $(X, \mu)$ be your favourite measure space (finite or $\sigma$-finite if you like), let $g \in L^2$ (say, the scalar field of $L^2$ is $\mathbb{R}$, though this probably doesn't matter). Let $\...
- 12.5k
2
votes
1
answer
139
views
Measurable structures for direct integrals
I'm working with the notion of direct integrals as in Dixmier. Briefly: Given a measurable space $X$ and a family of separable Hilbert spaces $(H_x)_{x\in X}$, a measurable structure is a subspace $Y$ ...
1
vote
0
answers
133
views
Subspace of RKHS generated by kernel mean embeddings
Suppose $\mathcal{H_k}$ is a reproducing kernel Hilbert space (RKHS) with reproducing kernel $k: \mathcal{X} \times \mathcal{X} \rightarrow \mathbb{R}$. I am looking for results characterising the ...
- 93
1
vote
0
answers
191
views
Dual of union of Reproducing Kernel Hilbert Spaces
I have a union of Reproducing Kernel Hilbert Spaces $\mathcal{B}$. I am interested in finding the dual of $\mathcal{B}$. Knowing what the dual is might help to write an alternate formulation for the ...
- 171
2
votes
0
answers
131
views
Does a spectral theorem exist for linear operator pencils?
I was wondering if a version of the spectral theorem (the projection valued measure case) holds for linear pencils of the form
$$
A-\lambda B
$$
where $A,B$ are self-adjoint on some Hilbert space $\...
- 223
0
votes
0
answers
107
views
Norm equivalences for Gaussian random functions (Cameron-Martin space)
Preliminaries
Consider the Hilbert space $H :={L^2_{\text{per}}(\mathbb{R})}$ of Gaussian random functions, $2\pi$-periodic in $\mathbb{R}$.
These random functions are drawn from a Gaussian measure $\...
- 101
1
vote
0
answers
83
views
Embedding random variables in infinite-dimensional spaces
Let $H$ be a reproducing kernel Hilbert space of functions $f:E\to F$ with kernel $k$. A point in $E$ may be embedded into $H$ via the canonical embedding $x\mapsto k(x,\cdot)$. Similarly, a random ...
- 710
7
votes
1
answer
425
views
What's so special about the Orthonormal base $\{e_n\}$ of $L^2[0,1]$, where $e_n(x)=e^{2\pi i nx }$?
Let $f \in L^2([0,1])$ . Then Carleson's Theorem states that
$$\lim_{N\to \infty} \sum_{|n|<N} \langle f,e_n\rangle e_n(x)=f(x),\quad\text{a.e. } x\in[0,1],$$
where $\{e_n\}$ is the Orthonormal ...
- 1,209
3
votes
0
answers
225
views
Defining a trace-class operator with a Bochner integral
I had asked this question previously on Math.StacheExchange but did not get an answer there in several months. This isn't strictly speaking research level mathematics but I hope it is sufficiently ...
- 131
2
votes
0
answers
160
views
A construction of abstract Wiener spaces using Prokhorov's theorem
I am struggling with Leonard Gross's (original) construction of abstract Wiener spaces (AWS). His proof is somewhat convoluted, but from what I have been able to understand he constructs a certain ...
- 5,407
2
votes
1
answer
651
views
Some integrals with respect to a Gaussian measure on a Hilbert space
Assume that $(H,\langle\cdot,\cdot\rangle)$ is a real separable Hilbert space equipped with a Gaussian measure $\mu$ with a mean $m$ and a covariance operator $C$. Let $x\in H$ be a fixed vector. What ...
- 21
8
votes
1
answer
2k
views
Definitions of Hilbert Bundles
I have some doubts regarding definitions and conventions on Hilbert Bundles. Some authors like Peter Kuchment (Floquet Theory for Partial Differential Equations) and Serge Lang (Differential and ...
5
votes
2
answers
310
views
Error estimate in the spectral theorem of compact operators on a Hilbert space
Given a compact self-adjoint operator $K$ mapping $L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$ as $f \rightarrow \int K(x,y) f(y) d\mu(y)$, let us define its eigenvalues $\lambda_i$ and eigen-...
- 2,246
4
votes
0
answers
185
views
A strongly open set which is not measurable in the weak operator topology
Let $H$ be a non-separable Hilbert space and $\{e_i\}_{i\in I}$ be an orthonormal basis for $H$. Let $J$ be a uncountable proper subset in $I$.
Let us put $$E=\{x\in B(H): \lVert xe_j\rVert <1: \...
- 4,058
2
votes
1
answer
183
views
Visualizing ANOVA Decomposition [closed]
Let $f \in L^2[0,1]^d$ be a measurable function where $d \in \mathbb{N}$. For a given subset $u \subseteq D := \{1,2,\ldots,d\}$ consider the projections $P_u : L^2[0,1]^d \to L^2[0,1]^{|u|}$ given ...
- 121
5
votes
2
answers
898
views
Density of Gaussian measures on Banach spaces
I am trying to get my head around this question and was reading (1) which states the same a little bit more general:
Let $X$ be a separable Banach space and $X^*$ the dual space. The mean
value $...
- 619
0
votes
1
answer
517
views
Injective inclusion map from RKHS function space to $L_p(\mu)$
Let $X$ be a measurable space, $\mu$ be a $\sigma$-finite measure on $X$, and $H$ be a separable reproducing kernel Hilbert space over $X$ with a measurable kernel $k$.
At a certain part in a proof I ...
- 103
1
vote
1
answer
127
views
Integral representation of joint projection valued measures
Given two positive $\sigma$-finite measures $\mu_{1/2}$ on the spaces $X_{1/2}$ one can define the product measure $\mu_1\otimes\mu_2$ on the product space $X_1\times X_2$. It can be proved that the ...
- 275
12
votes
2
answers
3k
views
Does there exist an event independent of a given sigma-algebra?
The following question came up in a discussion with my advisor:
Let $(\Omega, \mathcal F, \mathbb P)$ be a non-trivial probability space, and suppose that $\mathcal G$ is a proper sub-$\sigma$-...
- 8,512
3
votes
1
answer
1k
views
If $H$ is a separable Hilbert space, is its dual dense in $L^2(H)$?
Let $H$ be an infinite-dimensional, separable Hilbert space, and let $\gamma$ be a Radon probability measure on $H$ with mean zero and covariance operator the identity $I$.
Let $H^*$ denote the space ...
- 8,512
7
votes
1
answer
1k
views
If $H$ is a separable Hilbert space, is $L^2(H)$ separable?
Let $H$ be a separable Hilbert space, and let $\gamma$ be a Radon probability measure on $H$ with mean zero and covariance operator the identity $I$.
Is the Hilbert space $L^2(H,\gamma)$ separable?
- 8,512
0
votes
1
answer
319
views
Hilbert space automorphisms realized as induced by transformations of some base-spaces
Following question may be soft. Fix abstract hilbert space H and consider any automorphism A in banach-spaces sence (i.e. no conditions on metric). Call A is realizable if exist measure space $(X,\mu)$...
- 789
13
votes
4
answers
5k
views
What is known about the Gaussian measure of the unit ball in a Hilbert Space?
Let $X$ be an infinite dimensional separable Hilbert Space with norm $||\cdot||$ and let $\mu$ be a Gaussian measure on $X$ such that $\mu(X) = 1$. What do we know about $\mu(B(0,1))$, where $B(0,1)$ ...
- 617