For question involving Hilbert spaces, that is, complete normed spaces whose norm comes from an inner product.

learn more… | top users | synonyms

0
votes
1answer
31 views

Tensor Product: Identification

This is meant as note. Given a measure space and a Hilbert space. Then there's an identification: $$\mathcal{L}^2(\mu)\hat{\otimes}\mathcal{H}\cong\mathcal{L}^2_\mathcal{H}(\mu):\quad ...
0
votes
1answer
27 views

Tensor Product: ONB

This thread is just a note. Given Hilbert spaces. Consider their hilbertian tensor product: ...
4
votes
2answers
32 views

If the scalar product are equal then the operators are equal.

I want to show the following: Let H be a $\mathbb C$ -hilbert space and $S,T\in L(X)$ If $\langle Sx,x \rangle = \langle Tx,x \rangle$ for all $x\in H$, then $S=T$ Any hints for me?
1
vote
1answer
48 views

Showing $(M^\perp)^\perp=\overline{M}$

I have a question about a step in proving $(M^\perp)^\perp=\overline{M}$ where $M$ is a linear subspace of a normed vector space $E$. And $M^\perp=\{f\in E^*|\langle f,x\rangle =0\}$ This is the ...
0
votes
0answers
39 views

Invertible operators on a separable Hilbert space

Using polar decomposition or Kuiper's theorem one can show that the set of invertible operators on a separable Hilbert space $H$ is a connected subset of ${\mathcal B}(H)$. But does anyone know an ...
2
votes
1answer
35 views

Bergman space $L_a^2(\mathbb C)$

I claim that the Bergman space $L_a^2(\mathbb C)$ is the zero space. Is this true? If it is, how can I prove that every non-constant entire function is not in $L^2$?
1
vote
0answers
30 views

Symmetries on Hilbert spaces

Let $\mathfrak{H}$ be a Hilbert space and let $\mathcal{E}(\mathfrak{H})$ be the set of all operators $T\in B(\mathfrak{H})$ such that $0\leq T\leq 1$ (these operators are also called effects on ...
4
votes
1answer
62 views

Fourier multiplier is the only translation invariant bounded linear operator on $L^2[-\pi, \pi]$

This a question from Stein-Shakarchi Real Analysis. Let $\mathcal{H}= L^2[ -\pi, \pi]$. And define the $\textbf{Fourier Multiplier}$ by, $$Tf(x) \sim \sum_{-\infty}^{\infty} \lambda_n a_n e^{inx}$$ ...
2
votes
0answers
35 views

Orthogonal projectors on non-orthogonal subspaces

It is a well known fact that if(f) $V,W$ are orthogonal subspaces of a Hilbert space $H$, then their orthogonal projectors satisfy: $$ P_{VW} = P_V + P_W, $$ where $P_{VW}$ is the projector on $V+W$. ...
1
vote
0answers
38 views

Strong resolvent convergence and spectral measures

Suppose $\{A_n\}$ is a sequence of self-adjoint operators in a Hilbert space $\mathcal H$, and $A$ is a self-adjoint operator, with $A_n \to A$ in the strong resolvent sense. Denoting by $E_n$ and $E$ ...
0
votes
0answers
16 views

A vector space with norm metric induced by inner product

What is the meaning of " A vector space with norm metric induced by inner product ? " Can norm metric induced by opertion(s) other than inner product ?
2
votes
1answer
36 views

Is a bounded operator with finite trace trace class?

Let $\mathcal{H}$ be a seperable Hilbert space, $A\in\mathcal{B}(\mathcal{H})$ a bounded linear Operator and assume we have an orthonormal basis $(x_n)_{n=1}^\infty$. If $A$ is trace-class, then ...
1
vote
0answers
15 views

References on projectors

What are good books or articles about linear projectors in Hilbert spaces? I am mostly interested in the finite dimensional case (but anything is welcome). All about idempotents, orthogonal and ...
2
votes
1answer
24 views

Is $X= \{ u \in H^1(\Omega \times I) \mid \int_\Omega u(x,y)\;\mathrm{d}x = 0 \text{ for a.a. $y \in I$}\}$ a Hilbert space?

Let $\Omega$ be a bounded domain and let $I$ be an unbounded interval. Let $$X= \{ u \in H^1(\Omega \times I) \mid \int_\Omega u(x,y)\;\mathrm{d}x = 0 \text{ for a.a. $y \in I$}\}$$ Is this ...
0
votes
1answer
39 views

Approximation Property: Decomposition

This is a real question of me. Given a Banach space $E$. Consider a finite rank operator $F\in\mathcal{F}(X,E)$. Introduce a basis on the finite dimensional range: ...
0
votes
0answers
19 views

How to prove this sequence is in $l^2$? [duplicate]

I ran into such a problem in some exercise book on hilbert space. Suppose we have a sequence $ \{a_n \}_1^\infty$. Now, for any sequence $\{ b_n \}_1^\infty $ in $l^2$, we have $$ ...
0
votes
1answer
37 views

Short proof of sequential Banach Alaoglu for Hilbert spaces

Do you know of a short proof of the fact that bounded sequences in Hilbert spaces admit weakly converging subsequences? If the space is separable, then the common sequential-version proof is what I ...
1
vote
1answer
33 views

Embedding $L^2[0,1]$ into any Hilbert space?

Is it true that every Hilbert space has a closed subspace isometrically isomorphic to $L^2[0,1]$? Can someone sketch a proof of this, or at least point me in the right direction to understanding it? ...
1
vote
1answer
41 views

Inverse operator of $I-A$

Let $H$ be an Hilbert space, $A:H\to H$ be a bounded linear operator such that $$ \|A^{n_0}\|< 1\qquad\text{for some}\quad\; n_0\in\mathbb{N}. $$ I have to show that $I-A$ is invertible. My idea ...
0
votes
1answer
25 views

Partial Isometries: Subspaces

Note: This thread is not to gain reputation!!! Given Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$. Consider a bounded operator: $$W:\mathcal{H}\to\mathcal{K}:\quad\|W\|<\infty$$ Then a partial ...
2
votes
1answer
29 views

Adjoints of operators between different Hilbert spaces.

When we have an operator $$ T ~\colon \mathscr{H} \longrightarrow \mathscr{H} $$ from a Hilbert space to itself, we can use the Riesz representation theorem to prove the existence of the adjoint ...
1
vote
1answer
25 views

Open set in Hilbert Cube.

Any open set in the Hilbert Cube is the union of open subsets of the form $$U_1 \times ... \times U_n \times X_{n+1} \times .... \times X_{n+k} \times...$$ where $X_k := [0, \frac{1}{k}]$ for $k \in ...
0
votes
1answer
21 views

Action of projections

Suppose we have a projection $p$ on a Hilbert space $\mathfrak{H}$. Is the following true: There exists an set $V\subset\mathfrak{H}$ such that $p(x)=x$ if $x\in V$ and zero else? I asked because I ...
1
vote
1answer
25 views

Strong Topology and Strong Operator Topology on Hilbert Space

Suppose $H$ is a Hilbert space (much of this still works if it's just a Banach space), $x\in H$, and $(x_n)$ a sequence in $H$. Does $x_n\to x$ strongly in H iff $x_n\to x$ as operators in the strong ...
3
votes
1answer
53 views

Orthogonality of projections on a Hilbert space

Assume that $p$ and $q$ are (orthogonal) projections on Hilbert space $\mathcal{H}$. I want to prove: $pq=0$ iff $p+q\leq1$ I had the following in mind: Assume $pq=0$. Then $qp=0$, hence $p+q$ is a ...
2
votes
2answers
47 views

Is the composition function again in $L^2[a,b]$ [closed]

Let $f \in L^2[a,b]$. 1- In what condition(s) on a function $g:[a,b]\rightarrow [a,b]$ we can get $$f \circ g \in L^2[a,b]?$$ 2- In what condition(s) on $g:[a,b]\rightarrow [a,b]$, the operator ...
2
votes
1answer
81 views

Difference between total orthonormal set and basis

I'm learning about Hilbert spaces and related things from the book "Introductory functional analysis with applications". Now I just read the following sentence, which I don't quite understand: "A ...
2
votes
2answers
420 views

Infinite Dimensional Hilbert Space

Let $H$ be a Hilbert space with a countable basis $B$. Does it mean that any vector $x\in H$ can be expressed as a finite linear combination of elements from $x$, or as an infinite linear combination? ...
1
vote
1answer
104 views

Prove that space of Laurent series is not Hilbert

Let $z_0 \in \mathbb{C}, s>0,T(z_0,s):=\{z\in\mathbb{C}:|z-z_0|=s\}$ and let $V=V(z_0,s)$ be a vector space over field $\mathbb{C}$ of all Laurent series that are uniformly and absolutely ...
2
votes
1answer
84 views

What is the norm on the completion of a Hilbert space?

Let $X$ be a Hilbert space with a norm $|u|_X = |u|_{X_1} + |Gu|_{X_1}$, where $G:X \to X_1$ is linear and continuous, $X_1$ is a Hilbert space. Define $$|u|_Y = |Gu|_{X_1} + |Tu|_{Z}\quad\text{for ...
0
votes
2answers
48 views

How to prove that any Hamel basis of an infinite-dimensional complete and separable real inner-product space is uncountable?

How to prove that any Hamel basis of an infinite-dimensional complete and separable (having a countable dense set ) real inner-product space is uncountable ? Do I have to use Baire-category theorem ? ...
2
votes
0answers
35 views

Does every closed, densely operator in a Banach space have an closed, densely defined extension on a Hilbert space?

Assume that $H_1,H_2$ are separable Hilbert spaces, $B$ is a separable Banach space and $H_1\subset B\subset H_2$. Assume further that the inclusion mappings are continuous and have dense images. ...
1
vote
1answer
52 views

Møller Operators: Summary

Disclaimer This thread is meant as summary. For more informations see: SE blog: Answer own Question MSE meta: Answer own Question (The second especially reveals the opinion of the community!) ...
2
votes
2answers
57 views

Spectral Measures: Equivalence

This thread is a record. Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}\to\mathcal{H}:\quad N^*N=NN^*$$ and its spectral measure: ...
0
votes
1answer
37 views

Spectral Measures: Restriction

This thread is just a note. Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}(N)\to\mathcal{H}:\quad N^*N=NN^*$$ Denote its spectral measure by: ...
0
votes
0answers
28 views

Spectral Measures: Uniqueness

Given a Hilbert space $\mathcal{H}$. Consider spectral measures: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H})$$ $$E':\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H})$$ How to prove ...
1
vote
2answers
43 views

infinite sum of normal r.v. is still a normal r.v. when given $\sum \limits_{i=1}^\infty a_i^{2}$ is finite

If $X_1, X_2, ...$ are i.i.d.standard normal random variables and for real constants $a_1, a_2, ...$, given $\sum \limits_{i=1}^\infty a_i^{2} $ is finite, then $Y_n =\sum\limits_{i=1}^n a_iX_i$ ...
0
votes
1answer
70 views

Hilbert space projection theorem: how to finish my proof?

The Hilbert space projetion theorem is the following theorem: Let $H$ be a Hilbert space and $C$ any closed convex subset. Then for $h \in H$ there exists a unique $c_0 \in C$ such that $\|h-c_0\| = ...
-1
votes
1answer
42 views

Dynamics: Continuity

Disclaimer: This is a record of results. Given a C*-algebra $\mathcal{A}\subseteq\mathcal{B}(\mathcal{H})$. Consider a Hamiltonian dynamics: ...
0
votes
0answers
65 views

Discrete J-method of interpolation (about understanding theorem statement)

The discrete $J$ method is, given Banach spaces $A_0$ and $A_1$: The interpolationn space $[A_0, A_1]_\theta$ is defined by: $a \in [A_0, A_1]_\theta$ if and only if $a$ can be written as ...
0
votes
1answer
42 views

$f_n\to f$ in $L^2$ and $fg\in L^2(\Omega)\implies f_n\,g\in L^2?$

Let $f,g\in L^2(\Omega),\,$ $f_n\in L^p\,\,\forall 1\leq p<\infty$ such that $f_n\to f$ in $L^2$ and $fg\in L^2(\Omega)$. I was trying to understand if we can derive that $f_n\,g\in L^2?$ My first ...
2
votes
2answers
100 views

How can I show $U^{\bot \bot}\subseteq \overline{U}$?

Let $H$ be a Hilbert space and $U$ a subspace. Let $U^{\bot}$ denote its orthogonal complement. I had no trouble showing $\overline{U}\subseteq U^{\bot\bot}$. But now I'm stuck for $\supseteq$. ...
0
votes
1answer
22 views

Closure of the image is equal to image of $u^\ast u$?

Let $u \in B(H,H')$ where $H,H'$ are Hilbert spaces and let $u^\ast$ denote its adjoint. How can I see that $\overline{u^\ast(H')} = u^\ast u (H)$?
37
votes
6answers
3k views

What do mathematicians mean by “equipped”

I am a mathematical illiterate so I do not know what people mean when they say equipped. For example, I say that Hilbert space is a vector space equipped with a inner product. What does that ...
0
votes
1answer
49 views

Why is $\langle x-P(x),m\rangle=0$?

Let $H$ be a Hilbert space, and let $M\le H$ be a subspace of it. Let $P:H\rightarrow M$ be the orthogonal projection $H$ onto $M$. We'll take $x\in H$, and $m \in M$. By the definition I know ...
1
vote
1answer
19 views

Significance of closedness of a subspace when writing a Hilbert space as a direct sum

I read that if $U$ is a closed subspace of a Hilbert space $H$ then we can write $H$ as $H = U \oplus U^\bot$ (the direct sum). What is not clear to me is why $U$ is required to be closed. I thought ...
3
votes
1answer
97 views

Questions about the Fourier transform as a unitary transform

As far as I know, the Fourier transform is a (linear) unitary transform: $T: \textbf{L}^2(-\infty, +\infty) \rightarrow \textbf{L}^2(-\infty, +\infty)$ where the basis functions {$e^{i \omega x} | ...
0
votes
2answers
34 views

Prove $\big|\langle x,y \rangle\big| \space ≤ \space \lambda \cdot \|x\|^2+\frac{1}{4\lambda} \cdot \|y\|^2$ in an inner product space

I want to prove that if I have an inner product space with $\lambda>0,$ then $$\big|\langle x,y \rangle\big| \space ≤ \space \lambda \cdot \|x\|^2+\frac{1}{4\lambda} \cdot \|y\|^2$$ Where should I ...
1
vote
0answers
75 views

Sum of closed subspaces of a Hilbert space is closed

Let $M, N ⊂ H$ ($H$ Hilbert), be two closed linear subspaces. Assume that $\langle u, v\rangle = 0$ $∀u ∈ M$, $∀v ∈ N$. Prove that $M + N$ is closed. Take a sequence $(g_n)\in M+N$ such that $g_n\to ...
1
vote
1answer
55 views

Orthogonal projection on subspace

Let $\Omega$ be a measure space and let $h : \Omega → [0, +∞)$ be a measurable function. Let$$K = \{u ∈ L^2(\Omega);\ |u(x)| ≤ h(x)\ a.e. on\ \Omega\}.$$ Check that K is a non-empty closed convex ...