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

learn more… | top users | synonyms

0
votes
3answers
21 views

When a symmetric densely defined operator is an adjoint operator?

I am wondering if it is possible to say that if a symmetric differential operator is densely defined then the operator is self-adjoint indeed? More Precisely, Let $A:D(A)(\subset H)\to H$ a densely ...
0
votes
1answer
11 views

Calculating the form domain of an operator

I am reading the book "Mathematical Methods in Quantum Mechanics" by Gerald Teschl and just came across the concept of a form domain. It is defined for non-negative operators i.e $<\phi,A \phi> ...
0
votes
0answers
14 views

Prove that every reproducing kernel is a positive matrix (and vice versa)

Let $\mathcal{H}$ be a functional hilbert space (defined over a set $S$) with a reproducing kernel K. Prove that: a) $K$ is a positive matrix means the queadtric form is positive, i.e ...
-1
votes
0answers
28 views

prove of inner product space [on hold]

Show that$$ L^1 (R^n ) $$under the operator $$〈.,.〉:L^1×L^1→R$$ such that $$〈f,g〉=∫_(R^n)▒〖f(x) (g(x)) ̅ 〗$$ for all$$ f,g∈L^1 (R^n )$$forms an inner product space
0
votes
1answer
20 views

Proving for each seperatble hilbert space exist complete sequence

Let $H$ be a separable Hilbert Space. Prove that exists orthonormal complete sequence and give example for one non-orthonormal sequence. I thought taking orthonormal basis for $H$ denoted by ...
1
vote
1answer
25 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 ...
0
votes
0answers
26 views

dense subspace of $C(0,T)$

I want to prove that the space H of functions which are continuous in [0,T] with weak derivative in $L^2[0,T]$ and their value in 0 is 0, is dense in the space of continuous functions in [0,T] with ...
2
votes
1answer
49 views

What is the image of operator exponential?

Given a Banach space $V$ and a bounded linear operator $A:V\to V$, the operator $e^A$ is bounded and invertible. When $V$ is finite dimensional, every invertible operator is of the form $e^B$ (one can ...
1
vote
1answer
17 views

Does a Reproducing Kernel Hilbert Space of functions always have a distance defined in it?

Recall that a (reproducing kernel hilbert space) RKHS has two equivalent definitions: 1) Its a Hilbert space of functions $\mathcal{H}$ (i.e. vector space with an inner product $\langle \cdot, \cdot ...
1
vote
1answer
22 views

Product Hilbert Spaces that require completion?

My lecturer said that to make the Hilbert space $(H\oplus H',⟨\cdot,\cdot⟩ )$ we need to (1) make the cartesian product $H \oplus H' = H\times H'$, (2) give it an inner product, and - the confusing ...
0
votes
0answers
65 views

Comparison of Hilbert space tensor product and wedge product

For Hilbert Spaces: $$(|0\rangle + |1\rangle)\otimes (|0\rangle + |1\rangle) = |00\rangle + |01\rangle + |10\rangle + |11\rangle.$$ where all results are column vectors \begin{eqnarray*} 0 ...
0
votes
1answer
18 views

Adjoint of differential operator in two variables

I would like to find the adjoint of the operator $$L = x \frac{\partial^{2}}{\partial y^{2}} \frac{\partial }{\partial x}.$$ I know the adjoint is the operator $L^{*}$ such that $$(Lu,v) = (u, ...
1
vote
1answer
31 views

Identity involving the resolvent of an operator.

$\mathcal{H}$ is a complex separable Hilbert space, $D \subseteq \mathcal{H}$ is a dense subspace. $L : D \rightarrow \mathcal{H}$ is a densely defined, symmetric and closed operator. $L$ is not ...
0
votes
0answers
8 views

dimension of the set of separable states is $\dim \cal H_1 + \dim \cal H_2$?

Please can you help me to understand how the dimension of the set of separable states is $\dim \cal H_1 + \dim \cal H_2$? This is the relevant passage: So far, we have assumed implicitly that the ...
1
vote
0answers
17 views

How do you show the connection of reproducing kernels to feature maps?

This question is in the context of Hilbert Reproducing Hilbert Spaces and reproducing Kernels and their relation to feature maps (and machine learning). We have a Hilbert space $\mathcal{F}$ and ...
0
votes
2answers
38 views

Is a Hilbert space a vector space or a space of functions?

I was learning what Hilbert space was and this is the definition that I have: $\mathcal{H}$ Hilbert Space is a vector space with $\langle \cdot , \cdot\rangle$ inner product and is complete with ...
2
votes
1answer
41 views

Uniformly bounded sequence in Hilbert-Sobolev space

Let $\Omega \subset \mathbb{R}$ be a bounded open set with $C%1$ boundary and $H^1(\Omega) = W^{1,2}(\Omega)$ be the Hilbert-Sobolev space. Let ${u_n}$ be a sequence of functions which are uniformly ...
1
vote
1answer
31 views

Hilbert Spaces; eigenvalues of $PBP$ vs. $B$ for $B$ compact selfadjoint and $P$ orthoprojection.

An exercise I have come upon while studying Hilbert Spaces: Let $A$ be a compact operator, and $P \in L(H)$ be an orthoprojection. Prove that $$\lambda_n (PA^*AP) \leq \lambda_n (A^*A)$$ (Where ...
0
votes
1answer
18 views

$\|x\|=1,\|x-y\|\ge\epsilon\forall x,y\in A,x\neq y$ , is this finite set in hilbert spaace?

$A$ be a subset of a Hilbert Space $H\ni \|x\|=1\forall x\in A$ and there is an $\epsilon\ni\|x-y\|\ge\epsilon\forall x,y\in A,x\neq y$ I need to know whether $A$ is finite or not. Intuitively, It ...
1
vote
0answers
52 views

Proving that the set is closed.

We use the sequential definition to prove a set is closed. So no continuity or closure or anything related to the topology of the set is allowed. Show $A = \{ x \in \ell^2: |x_n| \leq 1/n \}$ is ...
1
vote
1answer
18 views

Help proof regarding sequence in subset of Hilbert space

I'm to prove the following: Let $H$ be a Hilbert space, and let $M$ be a non-empty convex subset of $H$. Suppose that $(x_n)$ is a sequence in $M$ such that $ ||x_n|| \to d$, where $d= \inf ...
0
votes
1answer
39 views

The definition of convex body and the Hilbert cube

I currently have a question about the definition of convex body. The formal definition is: a convex body is a convex set which has non-empty interior. By non-empty interior, we meant for a set ...
0
votes
1answer
30 views

Existence of adjoint operator on a Hilbert space

friends! I read that the algebra $\mathscr{L}(H,H)$ of the bounded operators on a Hilbert space $H$ is a $B^\ast$-algebra in the sense defined here . I easily verify all the properties except for the ...
0
votes
0answers
18 views

Existance of Unitary Operator which Extends any inner product preserving operator in a Hilbert Space

Suppose $V$ is a finite dimensional Hilbert Space with a subspace $W$ Suppose $T:W\to V$ be a linear operator which preserves inner product i.e $\forall w_1,w_2\in W$ we have $\langle ...
1
vote
1answer
19 views

Questions about open balls and convergence in Hilbert space

So, I've started reading about dimension theory and currently am dealing with a lemma which is used in a proof of $\dim(\mathcal{\ell}^{2}_{\mathbb{Q}})=1$. This lemma says that convergence of a ...
1
vote
0answers
19 views

product of one dimensional basis functions spanning two dimensional space

Lets assume I have a set of basis functions $h_1(x),h_2(x), ...$ spanning the whole hilbert space of one dimensional square integrable functions. Now I want a basis set that spans the the whole ...
1
vote
1answer
72 views

Subalgebra generated by selfadjoint operator $A_0\in\mathscr{L}(H,H)$

Let $\mathscr{L}(H,H)$ be the Banach algebra of bounded operators defined on a complex Hilbert space $H$ and let $B(A_0)$ be the subalgebra generated by the selfadjoint operator $A_0$, i.e. ...
1
vote
3answers
65 views

Is the (first order theory) of Hilbert spaces categorical?

Suppose the axioms of a Hilbert space (i.e. vector space, inner product, completeness and separability) are formulated as a first order theory. It can be shown that any infinite dimensional Hilbert ...
0
votes
0answers
28 views

If $y_m \to y$ in $H$ then $|y_m|_H \leq C|y|$ for this sequence?

Let $w_i$ be a basis for a Banach space $V$. We have $V \subset H$ a continuous and dense embedding into a Hilbert space $H$. Define $y_m = \sum_{i=1}^m a_{im}w_i$. We have that $y_m \to y$ in a $H$ ...
1
vote
1answer
68 views

Why coefficients of Fourier series are countable, though the initial periodic function is described with an uncountable set of points

Coefficients in the Fourier series for any periodic square-integrable function $f(x)$ form a countable (though infinite) set, i.e., they have cardinality $\aleph_0$. As far as Fourier exponents form a ...
1
vote
1answer
34 views

Can we have infinite-dimensional separable Hilbert spaces?

In Wikipedia's Hilbert space article on separability, it says: A Hilbert space is separable if and only if it admits a countable orthonormal basis. All infinite-dimensional separable Hilbert ...
3
votes
1answer
42 views

Show that Polynomials Are Complete on the Real Line

Consider the Hilbert Space of weighted-square-integrable functions f(x): $$ \begin{equation} \int_{-\infty}^{\infty}\frac{f(x)^2}{e^{x}+e^{-x}}dx<\infty. \end{equation} $$ Note this integral is ...
1
vote
1answer
22 views

The projection operator defined by $(P_n(h) - h, v)_H = 0$

Let $V \subset H$ be separable Hilbert spaces with continuous embedding and suppose $\{v_n\}$ be a (non-orthogonal) basis for $V$. If we let $V_n = \text{span}(v_1, ..., v_n)$ and given $h \in H$ we ...
5
votes
3answers
162 views

Is this space a Hilbert Space?

I have a space of continuously differentiable functions on [a, b] with the dot product defined in this way: $ x \cdot y = \int_a^b \! [x(t)y(t) + x'(t)y'(t)] \, \mathrm{d}t. $ Is this space a Hilbert ...
2
votes
0answers
31 views

Sum of closed linear subspaces necessarily closed?

Let $H$ be an infinite-dimensional Hilbert space. Let $L_1,L_2 \subset H$ be two closed linear subspaces. If it is also known that $L_1 \perp L_2$ then it is not hard to show that $L_1 + L_2 = \{x_1 ...
1
vote
0answers
44 views

Bounded operators with infinite matrix representations

Suppose that $A$ is a unital $C^*$-algebra, $\varphi\colon A\to B(H)$ is a unital, completely positive map and that $I$ is a non-empty set. If $A\subseteq B(K)$ for some Hilbert space $K$, we can ...
0
votes
1answer
19 views

A basis of $V$ is linearly independent in $H$ where $V \subset H$ are Hilbert spaces?

Let $V \subset H$ both be separable Hilbert spaces with continuous and dense embedding. Let $\{v_j\}$ be a basis for $V$, so every $v \in V$ can be written as $v = \sum_{j=1}^\infty a_jv_j$ with ...
2
votes
1answer
35 views

Hilbert Spaces - an application of the minimax principle.

Let $A$ be a compact, self-adjoint operator, $A \geq 0$. We need to prove that for any orthonormal system $\{e_i\}_1^{\infty}$ and for any $N$, $$\sum_1^N \langle Ae_i,e_i \rangle \leq \sum_1^N ...
5
votes
0answers
38 views

Two Hilbert spaces $V \subset H$, a basis for both spaces?

Let $V \subset H$ be a pair of Hilbert spaces (with different inner products). The embedding is continuous and dense, and both spaces are separable. Is it always the case that one can I find a ...
0
votes
1answer
62 views

Confusion related to hilbert space

I was reading this article related to Hilbert spaces I didn't get why the first function space is not Hilbert space. I mean I can define the same norm $||f|| =\max_{a\leqslant x\leqslant b} ...
4
votes
2answers
352 views

Reproducing Kernel Hilbert Spaces for Dummies

I am in the middle of some machine learning paper that states that for function $f$, imposing the norm constraint, $\|f \|=1$, corresponds to an orthogonal projection onto the direction selected in ...
0
votes
3answers
21 views

Describing a Subset of a Hilbert Space $H$

Let $H$ be a Hilbert space. How can we describe the set $\{ x \in H \mid \|x-y\| = a \|x-z\| \},$ where $y, z \in H$ are fixed and $a > 0$? Geometrically how does it look like?
1
vote
1answer
37 views

Estimating the modulus of continuity of translation in $L^2$ by a Sobolev norm of the function

For any $s\in \mathbb{R}$ define the Hilbert space $H^s(\mathbb{T})$ by means of norm $$\|f\|^2_{H^s}=|\widehat{f}(0)|^2+\sum_{n\in\mathbb{Z}}|n|^{2s}|\widehat{f}(n)|^2.$$ Show that for any $0\leq ...
2
votes
2answers
37 views

left regular representation of SU(2)

in Sepanski's book Compact Lie groups, he describes the representation theory of SU(2) as being isomorphic to $\mathbb{N}$ (SU(2) acts irreducibly on the (n+1)-dimensional space of homogeneous ...
2
votes
1answer
51 views

Why are “not bounded” operators not everywhere defined?

Let $X, Y$ be Banach spaces, $\mathcal{D}(T)$ a subspace of $X$, and $T\colon X\to Y$ a linear map. Such a $T$ is commonly called an unbounded linear operator, where unbounded just means that the ...
0
votes
1answer
13 views

Integration over subsets of the complex plane.

Original Problem: Let $\Omega\subset \mathbb{C}$ be an open set and let $f:\Omega\to\mathbb{C}$ be holomorphic such that $f\in L^{2}(\Omega)$. Show that if $B(z,r)$, the ball of radius $r$ ...
1
vote
2answers
68 views

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

Consider exercise 23 from chapter 4 ("Hilbert Spaces: An Introduction") of [1] (p. 198). Any help will be much appreciated. Thank you in advance. Suppose $\{T_k\}$ is a collection of bounded ...
0
votes
1answer
26 views

Existence of minimum norm solution to linear equation $Tx =y$

Let $T: X \to Y$ be a bounded linear map between Hilbert spaces $(X, \langle \cdot , \cdot \rangle_X)$ and $(Y, \langle \cdot , \cdot \rangle_Y)$ (the Hilbert spaces may be complex or just real ...
1
vote
1answer
21 views

Extending mappings on simple tensors

Consider the following situation: Let $H, K$ be Hilbert spaces and let $\Phi$ be some mapping defined on simple tensors in $H\otimes K$ taking values in $B(H\otimes K)$ with the property that each ...
2
votes
1answer
62 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. ...