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

learn more… | top users | synonyms

5
votes
1answer
241 views

If $\sum (a_n)^2$ converges and $\sum (b_n)^2$ converges, does $\sum (a_n)(b_n)$ converge?

Could someone help me to solve this or at least give me a hint?, I have tried using Cauchy's criterion, the Dirichlet test for convergence, etc, but I can´t prove it.Honestly I don´t know where to ...
3
votes
1answer
443 views

Graph of symmetric linear map is closed

A homework problem: Let $H$ be a Hilbert space. Let $T:H\rightarrow H$ be a symmetric linear map ($\langle Tx,y\rangle=\langle x,Ty\rangle$). Show that $S$ is bounded. My attempt: I'd ...
12
votes
1answer
745 views

Meaning of “kernel”

In analysis, there are at least three kinds of "kernel" concepts: In probability theory, there is a concept called transition probability, also called probability kernel, from one measure space $X$ ...
7
votes
4answers
4k views

A linear operator on a finite dimensional Hilbert space is continuous

How do I show that a linear function from a Hilbert space $H$ to itself is continuous if $H$ is finite dimensional? Also, what would be an example of a linear function from a Hilbert space to itself ...
7
votes
1answer
1k views

Isomorphic Hilbert spaces

As part of a broader proof , I need to show that every two separable Hilbert spaces (that contains a dense countable set) are isomorphic (the linear mapping from one space to the other is injective ...
6
votes
1answer
273 views

Are two Hilbert spaces with the same algebraic dimension (their Hamel bases have the same cardinality) isomorphic?

We know that two Hilbert spaces that have orthonormal bases of the same cardinality are isomorphic (as an inner product spaces). My question is: what can we say when we know that their Hamel bases ...
5
votes
3answers
871 views

$f$ an isometry from a hilbert space $H$ to itself such that $f(0)=0$ then $f$ linear.

This question was on an exam and I am not sure how to answer it. I mostly tried writing zero in different ways and tried lots of algebra to get something out. I also tried to use the fact that $H$ is ...
5
votes
2answers
2k views

Elegant proof that $L^2([a,b])$ is separable

Is anybody aware of, or can provide at least an outline, of a proof that the Hilbert space of Lebesgue functions square-integrable on the closed real interval [a,b], equipped with the $L^2$ norm, is ...
5
votes
1answer
139 views

Explicit characterization of dual of $H^1$

Let's start by some well-known facts: $H^1(\mathbb{R})$ is a Hilbert space, hence there holds the Riesz representation theorem, stating that any linear functional on it can be represented as $L = \...
2
votes
1answer
308 views

Countable family of Hilbert spaces is complete

Let $H_1, H_2, \ldots, H_n$ be a countable family of Hilbert spaces. Let H be the set of tuples $x = (x_1, \ldots, x_n,\ldots)\in \prod_n H_n$ with the property that $$\|x \| ^2 =\sum_n \| x_n \| _{...
2
votes
1answer
308 views

Exercise 31 from chapter 4 (“Hilbert Spaces: An Introduction”) of Stein & Shakarchi's “Real Analysis”

The following problem shows that $\{e^{inx}\}_{n \in \mathbb{Z}}$ is an orthonormal basis of $L^2([-\pi, \pi])$. It is taken from [1] (exercise 31 of chapter 4: "Hilbert Spaces: An Introduction", pp. ...
8
votes
1answer
138 views

Vector space that can be made into a Banach space but not a Hilbert space

Are there any (real or complex) vector spaces which can be made into a Banach space given a suitable norm, but cannot be given a norm that makes it a Hilbert space? I know that the parallelogram law ...
7
votes
3answers
597 views

If a linear operator has an adjoint operator, it is bounded

This is a question I'm struggling with for a while: Let $H$ be a Hilber space. Let $T,S: H\rightarrow H$ be linear operators (not neccessarily bounded) such that for every $x,y\in H$: $\langle Tx,y\...
5
votes
2answers
419 views

Optimization problem using Reproducing Kernel Hilbert Spaces

I am encountering a problem concerning Reproducing Kernel Hilbert Spaces (RKHS) in the context of machine learning using Support Vector Machines (SVMs). With refernece to this paper [Olivier Chapelle,...
4
votes
1answer
303 views

Norms involving positive operators

Let's say we have $A \leq B$. Is it then true that $||Ax|| \leq ||Bx||$ (where $x, A, B$ all belong to the same finite-dimensional Hilbert space $H$)?
4
votes
1answer
477 views

Show that if the Riesz map is surjective on $H$, then $H$ is a Hilbert space

Let $H$ be a vector space equipped with an inner product $(\cdot, \cdot)$ and $f:H\to H',\ f(x)=(\cdot,x)$ surjective. Now, why $H$ is a Hilbert space? The other direction is clear by Riesz' ...
4
votes
1answer
2k views

Weak convergence, together with convergence of norms, implies strong convergence in a Hilbert space.

Let $(x_n)$ be a weakly convergent sequence in a Hilbert space $H$. If $\| x_n \| \to \| x \|$, show that $x_n$ converges strongly to $x$. Context This problem comes from a question in my exam ...
4
votes
2answers
565 views

Boundedness of operator on Hilbert space

I have the following question: let $\mathcal{H}$ be a Hilbert space and $\{\varphi_{i}\}_{i \in \mathbb{N}}$ be an orthonormal basis. Furthermore let $T: \mathcal{H} \rightarrow \mathcal{H}$ be an ...
3
votes
2answers
996 views

Hellinger-Toeplitz theorem use principle of uniform boundedness

Suppose $T$ is an everywhere defined linear map from a Hilbert space $\mathcal{H}$ to itself. Suppose $T$ is also symmetric so that $\langle Tx,y\rangle=\langle x,Ty\rangle$ for all $x,y\in\mathcal{H}$...
2
votes
2answers
970 views

Physical interpretation of L1 Norm and L2 Norm

In signal analysis, students have no qualms about associating the L2 norm of a square integrable function f(t) as the energy associated with that signal. A good understanding of whether a function f(...
1
vote
1answer
220 views

Normal operators in Hilbert spaces

Let $H$ be a separable Hilbert space and let $T:H\to H$ be a continues linear map such that there exists an orthonormal basis of $H$ that consists of the eigenvectors of $T$. Show that $T$ is normal. ...
1
vote
1answer
200 views

Show $\{u_n\}$ orthonormal, A compact implies $\|Au_n\| \to 0$

I'm having a bit trouble with this homework exercise. Let $\mathcal{H}$ be a Hilbert space and $\{u_n\}_{n=1}^\infty$ an orthonormal sequence in $\mathcal{H}$. Let $A$ be a compact operator on ...
1
vote
1answer
111 views

Proving that if $\sum\|f_n-e_n\|^2< 1$, $\{f_n\}$ is a complete sequence

Let $\{e_n\}$ be a complete orthonormal sequence in an Hilbert space $H$ and let $\{f_n\}$ be an arbitrary sequence of elements in $H$ s.t $$\sum_{n=1}^\infty\|f_n-e_n\|^2<1$$Show that $\{f_n\}$is ...
0
votes
2answers
64 views

Adjoint of an Operator in $l^2$

Let $l^2$ be the Hilbert space of all complex sequences $\phi =(\phi_j)_{j=0}^{\infty}$ such that $\sum_{j=0}^{\infty} |\phi_j |^2 < \infty$. Set $D= \{ \phi \in l^2 : \sum_{j=0}^{\infty} j |\...
0
votes
1answer
50 views

Spectral Measures: Constructions

Any constructions welcome!!! Given a Hilbert space $\mathcal{H}$. Regard spectral measures: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H})$$ That are additive: $$E\left(\biguplus_kA_k\right)...
5
votes
1answer
548 views

Bounded operator and Compactness problem

Let $H$ be a Hilbert space with orthonormal basis $(e_{n})_{n\in\mathbb{N}}$. Furthermore, let $T\colon H\rightarrow C[a,b]$ be a bounded operator. a) Let $x\in [a,b]$. Show that there is a ...
5
votes
1answer
70 views

Showing a certain subspace of Hilbert space is dense

Let H be the Hilbert space of square-summable sequences of reals. A few years ago I thought I had proved that the subspace Z of real sequences with only finitely many nonzero terms, such that they ...
4
votes
1answer
107 views

Does $S^\bot+T^\bot = (S\cap T)^\bot$ hold in infinite-dimensional spaces?

If $S$ and $T$ are subspaces of some finite-dimensional inner product space then $$S^\bot+T^\bot = (S\cap T)^\bot.$$ See, for example, this post or this post Does it hold in infinite-dimensional ...
4
votes
2answers
131 views

(From Lang $SL_2$) Orthonormal bases for $L^2 (X \times Y)$

Lang $SL_2$ p. 13 :Let $\{\phi_i\}$, $\{\psi_i\}$ be orthonormal bases for $L^2(X)$ and $L^2(Y)$ respectively. Let $$\theta_{ij}(x,y) = \phi_i(x)\psi_i(y).$$ Then $\{\theta_{ij}\}$ is an orthonormal ...
4
votes
1answer
146 views

Question about adjoint map and strong operator topology (SOT)

I am wondering if there is any condition one can apply (e.g. uniform boundedness?) that ensure the adjoint of a net of SOT-continuous elements is again SOT-continuous? My major question is ...
2
votes
1answer
182 views

proof for a basis in $L^2$

I know, correct me if I am wrong, that the functions $H_n(x)\exp(-x^2/2)$ form a complete basis in $L^2(\mathbb{R},dx)$, where $H_n(x)$ is the $n$th Hermite polynomial. This must be true also for $x^n\...
2
votes
2answers
260 views

What is the norm of the operator $L((x_n)) \equiv \sum_{n=1}^\infty \frac{x_n}{\sqrt{n(n+1)}}$ on $\ell_2$?

Let $(x_n) \subset \ell_2$ and let operator $L:\ell_2\to \mathbb R$ be defined by: $\displaystyle L((x_n)) := \sum_{n=1}^{\infty} \frac{x_n}{\sqrt{n(n+1)}}$. Find the norm of L.
2
votes
2answers
95 views

Stone's Theorem Integral: Avanced Integral

Reference This problem grew out from: Stone's Theorem Integral: Basic Integral Problem Given the real line as measure space $\mathbb{R}$ and a Hilbert space $\mathcal{H}$. Consider a strongly ...
2
votes
2answers
177 views

I need to show that $K$ is compact and that $co(K)$ is bounded, but not closed.

Let $x_n$ be a sequence in a Hilbert space such that $\left\Vert x_n \right\Vert=1$ and $ \langle x_n,\ x_m \rangle =0 $, for all $n \neq m$. Let $ K= \{ x_n/ n : n \in \mathbb{N} \} \cup \{0\} $. ...
1
vote
1answer
76 views

Spectral Measures: Embedding

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^*$$ And its spectral measure: $$E:\mathcal{B}(\mathbb{C})\...
1
vote
2answers
186 views

Characterisation of norm convergence

Let $X$ be a Hilbert space and $(x_n)\in X^{\mathbb N}$ be a sequence. Then the following statements are equivalent (with $x \in X$): We have $x_n \to x$, i.e. $\| x_n -x \| \to 0$ and we have $x_n \...
1
vote
0answers
37 views

Lemma 3.3-7 and Theorem 3.6-2 in Kreyszig's “Introductory Functional Analysis With Applications”: What if completeness is lost? [duplicate]

Let $X$ be an inner product space, and let $M$ be a non-empty subset of $X$. Then we have the following: (a) If the space of $M$ is dense in $X$, then $M^\perp = \{0 \}$, that is, $x \in X$, $x \...
1
vote
1answer
81 views

Wave Operators: Calculus

Given Hilbert spaces $\mathcal{H}_0$ and $\mathcal{H}$. Consider Hamiltonians: $$H_\#:\mathcal{D}(H_\#)\to\mathcal{H}_\#:\quad H_\#=H_\#^*$$ Denote their evolutions: $$U_\#(t)^*=U_\#(-t)=U_\#(t)^{-1}...
1
vote
1answer
62 views

Does the sequence $(\sqrt{n} \cdot 1_{[0, 1/n]})_n$ converge weakly in $L^2$?

Let $f_n (x) = \sqrt n 1_{[0,1/n ] } (x) \in L^2 (\mathbb R)$. Does $f_n$ converges weakly to $0$ in $L^2$? I tried to prove it by using Hölder's inequality or the Lebesgue differentiation theorem, ...
1
vote
1answer
79 views

$l^p$ space not having inner product

I know that $l^2$ space is a Hilbert space. But for other $l^p$ spaces, where $p\geq1$, I have to show that they do not satisfy the parallelogram equality. But, I can't find appropriate sequences ...
1
vote
1answer
43 views

Spectral Measures: Multi Version (III)

This question is only Q&A! Problem Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}(N)\to\mathcal{H}:\quad N^*N=NN^*$$ And its spectral measure: $$E:\mathcal{B}(...
1
vote
1answer
102 views

Spectral Measures: Square Root

Isometric Equality Given a Hilbert space $\mathcal{H}$. Consider a closed operator: $$A:\mathcal{D}(A)\to\mathcal{H}:\quad A=A^{**}$$ Denote for shorthand: $$H:=A^*A:\quad H=H^*$$ Regard elements: ...
1
vote
1answer
259 views

weak convergence condition

Let $l^{2}=\left\{x=(x^{(1)},x^{(2)},...):\sum_{i=1}^{\infty }\left\vert x ^{(i)}\right\vert ^{2}<\infty \right\} $. Would you help me to prove that $({\vert|x_n |\vert})$ is bounded sequence and $(...
0
votes
2answers
109 views

$T:\ell_2\to \ell_2, T(x_1,x_2,\dotsc)=(x_1,x_2/2,x_3/3,\dotsc)$

$T:\ell_2\to \ell_2, T(x_1,x_2,\dotsc)=(x_1,x_2/2,x_3/3,\dotsc)$ I need to know whether it is self adjoint and unitary operator given that $x_i\in\mathbb C$ I am not able to do it please tell me how ...
0
votes
1answer
43 views

Wave Operators: Reducibility

Given Hilbert spaces $\mathcal{H}_0$ and $\mathcal{H}$. Consider Hamiltonians: $$H_\#:\mathcal{D}(H_\#)\to\mathcal{H}_\#:\quad H_\#=H_\#^*$$ Denote their evolutions: $$U_\#(t)^*=U_\#(-t)=U_\#(t)^{-1}...
0
votes
1answer
149 views

If a sequence is not a frame

A sequence $\{f_{n}\}_{n\in I}$ is a frame for a separable Hilbert space $H$ if there exists $0<A\leq B<\infty$ such that $$ A\|f\|^{2} \leq \sum_{n\in I}|\langle f,f_{n}\rangle|^{2}\leq B\|f\|^...
0
votes
1answer
269 views

Weak limits and subsequences

Let $S:X \to X$ be a (nonlinear) map between a Hilbert space $X$. I want to show that $S$ is weakly continuous, so if $x_n \rightharpoonup x$, then $S(x_n) \rightharpoonup S(x)$. To do this, I have ...
0
votes
2answers
57 views

Dense Operators: Kernel

This thread is Q&A. Problem Given Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$. Consider an operator: $$A:\mathcal{D}A\subseteq\mathcal{H}\to\mathcal{K}$$ Then for the kernel: $$\mathcal{N}A=...
0
votes
0answers
186 views

Is the closure of a symmetric operator unique?

Let $T:D(T)\rightarrow H$ be a densely defined symmetric operator in a Hilbert space H. The closure $\overline T$ of $T$ is defined as the operator whose graph $G(T)$ is the closure of the graph of $...
0
votes
1answer
126 views

Spectral Measures: Lebesgue

Preface Dominated convergence: $$f_n(\omega)\to f(\omega)\quad(\omega\in\Omega)\implies f_n(E)\to f(E)$$ (This gives a tool for analysis of operators.) Problem Given a Borel space $\Omega$ and a ...