# Tagged Questions

21 views

### Spectral Measure: Support

The support of a spectral measure is defined by: $$\mathrm{supp}E:=\bigcap_{C:E(C)=1}C$$ where $C$ are closed subsets (see german wiki). So by definition it is closed. However I'm wondering wether it ...
26 views

### Spectral Measure: Composition

Given a Hilbert space $\mathcal{H}$ and spectral a measure $E:\Sigma(\Omega)\to\mathcal{B}(\mathcal{H})$. Can you give me a hint for: $$E(A)E(B)=E(A\cap B)$$ So far for disjoints I checked: ...
35 views

116 views

### Mutually orthogonal subspaces of $L^{2}(X,\mu)$

Let $(X,\mathcal{M},\mu)$ be a measure space. If $E\in\mathcal{M}$, we identify $L^{2}(E,\mu)$ with the subspace of $L^{2}(X,\mu)$ consisting of functions that vanish outside $E$. If $\{E_{n}\}$ is a ...
308 views

### Conditions on the weight function for Hermite polynomials' completeness

Hermite polynomials form a complete orthonormal basis of the weighted $L^2(\mathbb R, w \; dx)$ space, with inner product $$\langle f, g \rangle_w = \int_\mathbb R f(x) g(x) \; w(x) dx.$$ A short ...
143 views

### What is the dual space of $C([0,T];X)$ ($X$ Hilbert space)?

What is the dual space of $C([0,T];X)$, where $X$ is a Hilbert space? Is it $\operatorname{BV}([0,T]; X^*)$? As we know, for $C([0,T])$, the dual space is $\operatorname{BV}([0,T])$, but when it is ...
162 views

### Compute spectral/projection-valued measures explicitly?

Spectral/projection-valued measures have very handy applications theoretically, but I got stuck when asked to compute explicitly certain projection-valued measures. Let's focus on the following: ...
83 views

### Is it ok to switch the limits in $L_2$?

Let $(X,B,\mu)$ be a probability space and let $U$ be a unitary operator on $L_2(X,B,\mu)$. Suppose that $g_n$ is a convergent sequence in $L_2(X,B,\mu)$, $g_n\rightarrow g$. Suppose also that there ...
86 views

### Proving $L^2$ convergence (application of dominated convergence?)

For any $f\in L^2(\mathbb{R}^d)$ prove \begin{align}\left\lVert \int_{\mathbb{R}^d} e^{i |x-y|^2}f(y) dy-\int_{\mathbb{R}^d}e^{i |x-y|^2} e^{-|y|^2/a}f(y) dy \right\rVert_{L^2} \rightarrow 0\ \ \ ...
645 views

### Question about example of non-separable Hilbert space

I have come across the following example of a non-separable Hilbert space: Example 2.84. Let $I$ be a set, equipped with the discrete topology and the counting measure $\lambda_{\text{ count}}$ ...
141 views

### Hilbert spaces other than $L^2$

From measure theory we know that if $G$ is a finite measure space then $p \leq p^\prime$ implies $L^{p^\prime}(G) \subset L^p(G)$ where $L^p$ is the space of all $p$-integrable functions. So let $G$ ...
162 views

### Is $L^2(D)$ separable?

Let $D$ be a bounded connected open subset of $R^n$ and $μ$ is a finite measure on $D$, say the Lebesgue measure. Is $L_2(μ)$ separable? Is a bounded sequence $\{f_k\}$ of $L^2(μ)$ pre-compact?
338 views

### Orthonormal basis for product $L^2$ space

Let $(X,\mu)$ and $(Y,\nu)$ be $\sigma$-finite measure spaces such that $L^2(X)$ and $L^2(Y)$ . Let $\{f_n\}$ be an orthonormal basis for $L^2(X)$ and let $\{g_m\}$ be an orthonormal basis for ...
106 views

### Hilbert sum of $L_2(X_\nu,\mu_\nu)$ spaces.

Let $\{(X_\nu,\mu_\nu):\nu\in\Lambda\}$ be a family of measurable spaces. Is it true that $\bigoplus_2\{L_2(X_\nu,\mu_\nu):\nu\in\Lambda\}$ isometrically isomorphic to ...
816 views

### Measure on Hilbert Space

On $\mathbb{R}^n$, we of course have the usual Lebesgue meausre. In many ways, separable, infinite-dimesional Hilbert space is the most natural generalization of $\mathbb{R}^n$ to ...
475 views