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

learn more… | top users | synonyms

2
votes
1answer
23 views

Confusion related to reproducing kernels

I was reading this paper and I came across Reproducing Kernel Hilbert Space. I tried to read some references related to it. However, I couldn't understand much. I didn't get why they are called ...
4
votes
1answer
100 views

Reproducing Kernel Hilbert Space (RKHS) constructed by the summation of positive-definite kernels.

Let $k_1,\ldots,k_p$ be positive definite kernels defined on $\mathcal{X}\times\mathcal{X}$, where $\mathcal{X}$ is a non-empty set. $k_i$ is the reproducing kernel of the Reproducing Kernel Hilbert ...
1
vote
0answers
39 views

Proving that a Sturm-Liouville problem is in the limit-point/-circle case

I would like to understand techniques anybody is able to detail to me on how one may actually prove that a particular Sturm-Liouville (S-L) problem, i.e., of the form \begin{equation} ...
23
votes
3answers
771 views

If $\sum a_n b_n <\infty$ for all $(b_n)\in \ell^2$ then $(a_n) \in \ell^2$

I'm trying to prove the following: If $(a_n)$ is a sequence of positive numbers such that $\sum_{n=1}^\infty a_n b_n<\infty$ for all sequences of positive numbers $(b_n)$ such that ...
0
votes
1answer
21 views

Orthonormal basis $L^2(a,a+2\pi)$

Let $$\mathcal{B}=\left \{\frac{1}{\sqrt{2\pi}},\frac{\cos x}{\sqrt{\pi}},\frac{\sin x}{\sqrt{\pi}},\frac{\cos 2x}{\sqrt{\pi}},\frac{\sin 2x}{\sqrt{\pi}},\dots\right \}$$. This is an orthonormal basis ...
2
votes
2answers
81 views

Can Hilbert spaces generalize non-Euclidean geometry by having the sum of the angles of a triangle not be equal to pi?

I am an amateur mathematician learning new things. Let A and B be vectors in a Hilbert space. The three vectors A, B and A-B form a triangle. The idea of the angle between two vectors can be ...
2
votes
1answer
60 views

Sequence of orthogonal vectors in a Hilbert space

Let $\{x_n\}_{n\in\mathbb{N}}$ be a sequance of pairwise orthogonal vectors in a Hilbert space $H$. Show that the following are equavalent: (a) $\sum_{n=0}^\infty x_n$ converges in the norm topology ...
4
votes
1answer
60 views

“Refinement” of the existence of faithful representations of C*-algebras?

Conway, in a course in operator theory, brings the statement 1. below as a theorem and statement 2. below as an exercise. Still, he states that 2. refines 1., but I can't see it. Every C*-algebra ...
2
votes
1answer
57 views

Is a linear operator on $\ell^2$ defined by the inner product necessarily bounded? [duplicate]

If $a=\{a_n\}\in \ell^\infty(\mathbb{R})$ and $\langle a,x \rangle<\infty$ for all $x\in \ell^2(\mathbb{R})$, (where $\langle a, x\rangle=\displaystyle \sum_{k=1}^\infty a_kx_k$), then is $a\in ...
1
vote
2answers
50 views

The difference between a normed space being reflexive and being isomorphic to its dual

Quoting wikipedia "a normed vector space is reflexive if it coincides with its bidual". Another definition, more precise is that a normed vector space is reflexive if its evaluation map ...
2
votes
1answer
32 views

Weak convergence and infinite sum

Suppose that $\psi_n$ converges weakly to $\psi$ in a Hilbert space $H$. Assume further $\{\phi_k\}$ is an orthonormal sequence in $H$. Is it plausible that ...
1
vote
1answer
51 views

Existence of periodic orthogonal basis in $L^2([0,1])$ which is not trigonometric?

Let $$ \psi(x) := \sin(\pi x). $$ It is well-known that system $\{ \psi(n x) \}_{n \in \mathbb{N}}$ forms an orthogonal basis in $L^2([0,1])$. My question is the following: Are there other examples ...
1
vote
1answer
44 views

Orthonormal Basis of $L^{2}(0,1)$?

Are the functions $e_n := e^{i\cdot(2n+1)\cdot\pi\cdot x}$, $n \in \mathbb{Z}$ an orthonormal basis of $L^{2}(0,1)$? I suppose it is true, but I haven't been able to prove it myself yet.
2
votes
0answers
38 views

Discontinuous linear operator on $\ell^{2}$

Let $e_{n} = (0, 0, \ldots, 0, 1, 0, \ldots)$ where $1$ is in the $n$th position. Then $\{e_{n}\}$ is an orthonormal basis for the Hilbert space $\ell^{2}(\mathbb{N})$. Does there exists a linear ...
0
votes
1answer
24 views

Linear operator on a hilbert space

Let $\{e_{n}\}_{n = 1}^{\infty}$ be an orthonormal basis of a Hilbert space $H$. Suppose $T: H \rightarrow H$ is a linear operator. For each $x \in H$, then $x = \sum_{n}\langle x, e_{n}\rangle e_{n}$ ...
0
votes
1answer
33 views

Exercise about spectrum of selfadjoint operator.

I'm stuck on an exercise about the spectrum of a selfadjoint operator on a Hilbert space. The problem is the following: Let $(X,\langle \cdot, \cdot\rangle)$ a Hilbert space and let $A \in B(H)$ a ...
1
vote
0answers
17 views

Compactness of the projection operator

Let $H$ be a Hilbert space and let $F$ be a closed subspace. Then I'm to prove that the projection $p:H\rightarrow F$ is a compact operator if and only if $F$ is finite-dimensional. It's easy to prove ...
1
vote
1answer
70 views

Do there exist two vectors in a Hilbert space such that $(x,y)\geqslant k\|x-y\|^{-2}$?

Let $H$ be a Hilbert space, $(x,y)$ denote the inner product of the elements $x,y\in H$, $\|x\|$ denote the norm of $x\in H$, and $k>0$. Do there exist such $x,y\in H$ that $$ ...
2
votes
1answer
87 views

Uniform convex space

Please I want to know if this space $$H^1_{0,p}([0,+\infty))=\lbrace u, u\in AC([0,+\infty)), u(0)=u(+\infty)=0,\sqrt{p}u'\in L^2\rbrace$$ where $p>0$, $p\in L^1((0,+\infty))$ ...
0
votes
1answer
26 views

Linear operator defined by its eigenvectors/values

Let $H$ be a Hilbert space, $(e_n)$ a complete orthonormal sequence, and $\lambda_n$ a bounded sequence of complex numbers. Let $A$ be defined such that the $(e_n)$ are the eigenvectors of $A$ and the ...
1
vote
1answer
35 views

Galerkin Orthogonality in this FEM?

Problem Galerkin orthogonality is but I am not sure if it is in the right form. How can you use this orthogonality here? I think I should expand the last inequality first somehow.
0
votes
0answers
19 views

Symmetricity of square-integrable functions respect to inner-products.

Let $f(x),g(x) \in \mathrm{L}_2$. If we define inner-product $(f(x),g(x)) = \int_a^b f^*g dx$, then prove that $(f,pg) = (pf,g)$, given $f(1) = Cf(0), C=e^{i\psi}, p=-i d/dx, a=0, b=1$. I tried ...
-2
votes
2answers
85 views

Group of Unitaries: Strong Continuity

Let $\mathcal{L}^2(\mathbb{R})$ be the the Hilbert space of square integrable functions, shortly $\mathcal{L}^2$. Consider the group of unitaries: $$U:\mathbb{R}\to ...
1
vote
1answer
23 views

Weighted $L_2$ Hilbert space

this is a question where I am trying to find a reference for a result but I haven't been able to find one at all. Define $L_2(\mathbb R,d\mu) = \{g\in \mathbb R: \int g^2d\mu <\infty\}$. I am ...
0
votes
1answer
42 views

Parseval's theorem to $\sum_{k=1}^\infty |\langle x,x_k\rangle|^2$.

Let $\{x_k\}$ be a collection of vectors in a Hilbert space. We take any $x\in H$. The symbol $\langle .,.\rangle$ denote the inner product. The question is as follows. I have to apply the Parseval's ...
3
votes
1answer
44 views

Are translates of Gaussians an overcomplete set in $L^2(\Bbb R)$?

Consider the Gaussian $\exp(-t^2/2)$. Is it the case that any function in $L^2(\Bbb R)$ can be written as a limit of a sum of scalings and translations of Gaussians? That is, for any $f\in L^2(\Bbb ...
5
votes
1answer
153 views

Homeomorphisms between infinite-dimensional Banach spaces and their spheres

As I know Cz. Bessaga has proved that an infinite-dimensional Banach space is homeomorphic to its unit sphere. Unfortunately I do not have his book but I want to know is this theorem true without ...
2
votes
0answers
51 views

Trace class operators problem

Let $\mathcal{B}_1(\mathcal{H})$ be the set of trace class operators in a Hilbert space $\mathcal{H}$ and $\mathcal{H}^{(d)} = \bigoplus_{i=1}^d \mathcal{H}$ with $1 \leq d \leq \infty$. If $C \in ...
0
votes
0answers
134 views

Symmetry adapted basis function to make the Hamiltonian matrix Block Diagonal.

Can anybody give me a tip to solve this problem? I have large quantum mechanical Hamiltonian, to solve it numerically I have to decompose it into the block diagonal form. To convert the hamiltonian ...
4
votes
1answer
70 views

Composition of two orthogonal projections

Let $V$ be a finite dimensional Euclidean space and let $W_1,W_2$ be two subspaces of $V$. Let $P_1,P_2$ denote the projections onto $W_1,W_2$ respectively. Is it true that the composition $P_1\circ ...
2
votes
1answer
67 views

Hilbert space, orthonormal system, compact set of vectors

Could you help me solve this problem? Let $e_1, e_2, ...$ be an orthonormal system in a Hilbert space, $\delta_1, \delta_2 ... \in (0, + \infty)$. Prove that the set of all vectors $\sum _{n=1} ...
0
votes
1answer
53 views

What is the smallest non-trivial Hilbert space?

I came to know without proof or explanation that smallest non-trivial Hilbart space is generated by two basis vectors. What is its proof? One example I know. Denote $a = (0 , 1)$ and $b = (1 , 0)$. ...
0
votes
2answers
47 views

Complete ONS and pure point spectrum

In all that follows all operators are taken to be densely defined on a Hilbert space $H$. Some textbooks state that an operator $A$ on $H$ has pure point spectrum if $H$ admits a complete ONS (Hilbert ...
0
votes
1answer
13 views

For bounded operator $U$, show that if $UU^*$, $U^*U$ are projections, then $U$ is a partial isometry

Let $(\mathcal{H}, (\cdot, \cdot))$ be a Hilbert space over $\mathbb{L} = \mathbb{R}$ or $\mathbb{C}$. Suppose that $U : \mathcal{H} \to\mathcal{H}$ is a bounded linear operator such that $UU^*$ and ...
4
votes
2answers
241 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 refernce to this paper [Olivier Chapelle, ...
6
votes
1answer
102 views

Non-examples for the Kato-Rellich Theorem

The Kato-Rellich Theorem is a classical result stating that if $A,B$ are unbounded operators on a Hilbert space with $A$ self-adjoint, $B$ symmetric, $\mathcal D (A)\subset \mathcal D(B)$ and $$ ...
0
votes
0answers
36 views

Seeing that a function is a trigonometric polynomial

I'm working through Chapter 4 of Rudin's Real and Complex Analysis book right now, and I've found myself rather more confused than usual. In the proof of the completeness of the trigonometric system, ...
0
votes
0answers
124 views

Span of Dirac's delta distributions dense in Hilbert space of $L^2$ functions?

According to Wiki a set of elements of a Hilbert space(B) is a basis for that space if: Orthogonality: Every two different elements of $B$ are orthogonal: $⟨e_k,e_j⟩=0$ for all $k$, $j$ in $B$ with ...
0
votes
1answer
34 views

Question about different defintions of isometry on a Hilbert space

Let $(\mathcal{H} , (\cdot, \cdot))$ be a Hilbert space over the field $\mathbb{L} = \mathbb{R}$ or $\mathbb{C}$ (so the norm on $\mathcal{H}$ is given by $\|\cdot\| = (\cdot, \cdot)^{\frac{1}{2}}$). ...
0
votes
2answers
76 views

Looking for a book: $B(H)$ not reflexive

I'm looking for a book with a proof that for an infinite dimensional Hilbert space, $B(H)$ is not reflexive. Thank you.
0
votes
2answers
52 views

ONB: Density Check?

How to show that $\{\sin{kx}:k\in\mathbb{N}\}$ for $\{f\in\mathcal{L}^2[0,\pi]:f(0)=f(\pi)=0\}$ is an ONB? (Clearly they are orthogonal to each other but is their span also dense?) What general ...
2
votes
1answer
72 views

No trace on $B(H)$ if $H$ is infinite dimensional

Let $H$ be an infinite dimensional Hilbert space and $B(H)$ the bounded linear operators on $H$. Then thre is no ultra weakly continous non-zero positve trace $tr:B(H)\rightarrow \mathbb{C}$. I ...
2
votes
1answer
50 views

Implying a positive definite operator

If we are given that $A:V \rightarrow V$ is an operator where $V$ is a real Hilbert space. If we are given that $A$ is bounded, strictly positive $\big(\langle Au,u \rangle > 0$ for all $u \neq ...
8
votes
1answer
133 views

How to Prove the Semi-parametric Representer Theorem

This question concerns the generalized Representer Theorem, due to Schölkopf, Herbrich, and Smola. In this magnificent work, the authors provide two versions of the Representer Theorem, a ...
0
votes
1answer
49 views

Spectrum of the operator $A(f,g)=(g,\Delta f-f)$

Let $\Omega$ be an open set in $\mathbb{R^n}$. We consider the product Hilbert space $H=H^1_0(\Omega)\times L^2(\Omega)$ with the norm $$|(f,g)|^2=\int_\Omega (|\nabla f|^2+|f|^2+|g|^2 ) dx$$ We ...
0
votes
0answers
28 views

There is a unit sequence weakly converging to every element of unit ball

Suppose the Hilbert space $H$ has a countable (I assume Hilbert?) basis. Let $x \in H$ be such that $\lvert x \rvert \leq 1$. Show that there exists a sequence $\{u_{n}\}$ in $H$ with ...
2
votes
1answer
31 views

Closed subspace $M=(M^{\perp})^{\perp}$ in PRE hilbert spaces. [duplicate]

Is it true that $M=(M^{\perp})^{\perp}$ if $M$ is a closed subspace of a PRE hilbert space (a space with a scalar product, but that is not complete)? The proof of the analog fact for hilbert spaces ...
2
votes
2answers
37 views

Closed subspaces of $L^2(0,1)$

I would like to prove that the almost-everywhere constant functions, and the functions whose integral is 0 are closed subspaces of $L^2(0,1)$. It's readily seen that they are subspaces. I'm finding ...
3
votes
1answer
2k views

Volterra Operator is compact but has no eigenvalue

Volterra operator is defined as operator $V:L^2[0,1]\rightarrow L^2[0,1]$ by \begin{eqnarray} (V)(f(x))=\int_0^xf(y)dy \end{eqnarray} Would you help me to prove that this operator is compact but has ...
2
votes
2answers
33 views

Sequence of bounded linear operators implicating Cauchy sequence in $\mathbb K$

Let H be a Hilbert space and $(T_n)_{n \in \mathbb N}$ be a sequence in ${\rm BL}(H)$ (bounded linear operators) such that $(\langle y,T_nx \rangle)_{n \in \mathbb N}$ is a Cauchy sequence in $\mathbb ...