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

learn more… | top users | synonyms

1
vote
2answers
36 views

Fock Space: Formal Adjoints

Problem Given a pre-Hilbert space $\mathcal{H}$. Consider unbounded operators: $$S,T:\mathcal{H}\to\mathcal{H}$$ Suppose they're formal adjoints: $$\langle ...
1
vote
0answers
35 views

What is the idea behind interpolation spaces?

I am working through a text on Numerics for SPDEs and there the concept an interpolation (Hilbert-)space associated to an operator is used. To be specific: Definition. Let $H$ be an ...
0
votes
0answers
47 views

When $1 \le p \le \infty, p\ne 2$, $L^p$ space is not a Hilbert space

It suffices to show that when $1 \le p \le \infty, p\ne 2$, $L^p$ norm does not arise from an inner product.(there is a hint saying that we can use the parallelogram law) I can proof a special case ...
2
votes
0answers
34 views

Fourier transform and non-standard calculus

The Fourier transform is not as easily formalizable as the Fourier series. For example, one needs to introduce tempered distributions to define the Dirac delta-function. Also, it is impossible to view ...
0
votes
1answer
39 views

Prove that if ,$||f||^2 = A\sum_{j}|<f, \phi_j>|^2 $ then $f = \sum_{j}<f, \phi_j> \phi_j$

Let $\phi_k$ be some sequence of real functions in an infinite Hilbert space $H$ such that there exists $A \in \mathbb{R}$ such that for all $f \in H$ ,$||f||^2 = A\sum_{j}|<f, \phi_j>|^2 $ ...
0
votes
1answer
22 views

For a given Hilbert space find a tight frame with bound A

For a given Hilbert space and $A>0$ find a tight frame with bound A. I know that an ortho-basis is a tight frame with $A=1$. Can I extend this to any $A>0$ by just scaling the ortho-basis?
5
votes
0answers
41 views

Pointwise approximation of a closed operator

If $T:\mathcal D(T) \rightarrow \mathcal Y$ is a closed operator from a Banach space $\mathcal X$ to a Banach space $\mathcal Y$, is it possible to find bounded operators $T_n\in \mathscr B(\mathcal ...
2
votes
1answer
36 views

Theorem 3.6-4 in Erwin Kreyszig's Introductory Functional Analysis With Applications

Here's the statement of Theorem 3.6-4 in Erwin Kreyszig's Introductory Functional Analysis With Applications: Let $H$ be a Hilbert space. Then (a) If $H$ is separable, then every orthonormal set in ...
0
votes
1answer
47 views

Invariant Subspace Problem: Non-Seperable Hilbert Space

I was reading an article, about the invariant subspace problem.. The statement of the problem is as follows: Given an $n$-dimensional Hilbert Space (or complex Banach Space) $\mathcal{H}^n$, does ...
4
votes
1answer
58 views

Example: operator injective, then the adjoint is NOT surjective

Let $T: V \rightarrow W$ be a bounded operator on normed spaces $V,W$. Now, there is a unique adjoint operator $T': W' \rightarrow V'$ defined by $T'(\alpha) = \alpha \circ T$. In finite dimensional ...
1
vote
1answer
51 views

How to use Triangle inequality to find the projection onto unit ball?

The projection onto the unit ball $$C:=\mathbb{B}(0,1)=\{x:||x||\leq1\}$$ is given by $$P_{C}(x)=\frac{x}{max\{||x||,1\}}, \quad\forall x\in X$$ where $X$ is Hilbert space. Now I can understand this ...
3
votes
2answers
51 views

How to prove a Banach normed vector space is NOT a Hilbert space?

We know that the Banach space $\big(\Bbb R^n,\|\cdot\|_2\big)$ is a Hilbert space with inner product $\langle x,y\rangle := \sum_{k=1}^n x_ky_k$. However, how to prove that $\big(\Bbb ...
0
votes
0answers
30 views

Construction of direct sum of Hilbert spaces

The following is a theorem of Takesaki's operator theory: I do not know why he puts $\bar H$ instead of $H$ for $n=-1,-2,\ldots\,{}$. Please help me. Thanks.
0
votes
1answer
49 views

Computing an orthogonal projection,

I'm trying to find a vector in $\mathbb{R}^4$ that is both orthogonal to the space $W$ spanned by $\{(1,2,0,1), (0,1,1,1)\}$ and happens to be "closest" to the vector $(3,3,3,3)$. From reading ...
0
votes
0answers
22 views

States: Liouvilleans

Given a C*-algebra $\mathcal{A}$ with dynamics $\tau$. Consider an invariant state: $\omega\circ\tau^t\equiv\omega$ Then the dynamics is unitarily implementable: ...
2
votes
0answers
55 views

An inequality for positive operators

Let $S$ and $T$ be positive operators on a Hilbert space $\mathcal{H}$. Suppose that $S \le T$. Since the square root function is operator monotone, it follows that $S^{1/2} \le T^{1/2}$. Does the ...
2
votes
1answer
41 views

Convergence of series in a Hilbert Space

I'm hoping for some help on the following question. I haven't gotten very far: Let $\{h_n\}_{n\geq 1}$ be a sequence of vectors in a Hilbert space $H$ with the property that $(h_n-h_m)\perp h_m$ ...
1
vote
1answer
93 views

If $p$ and $q$ are projections how can I prove that $\|p(1-q)(x)\|\le \|q(1-q)(x)\|$?

Let $p,q$ be orthogonal projection operators in a Hilbert space. Does the following equation hold? $$ \langle p(1-q)x,p(1-q)x\rangle = \langle p(1-q)x,x\rangle$$ It's clear to me that $ \langle ...
1
vote
1answer
38 views

Is this extension a Hilbert space?

Let $V$ be an inner product space over $\mathbb{F}$. Let $H$ be a complete subspace of of $V$ and $x\in V\setminus H$ Define $K= span(H\cup \{x\})$. Is $K$ a Hilbert space? How do I prove it?
1
vote
1answer
40 views

Existence of adjoint of the inverse

Let $H$ be a Hilbert space over $\mathbb{F}$ and $V$ be an inner product space over $\mathbb{F}$. Let $T:H\rightarrow V$ be a bounded linear bijection. If $V$ is a Hilbert space, then the open ...
0
votes
1answer
51 views

A operator is unitary if and only if it is a surjective isometry

I'm trying to prove the following result. Let U be an operator of a Hilbert space H, then $U$ is an unitary operator $\iff$ $U$ is an isometry and $R_u = H$ ($U$ is onto and isometry) I tried to use ...
1
vote
0answers
24 views

How to prove the sum of RKHS (Reproducing Kernel Hilbert Space)?

$k,k_1$ and $k_2$ are kernels on $\mathcal{X}\times\mathcal{X}$, and $k=k_1+k_2$, then we have the following properties for the RKHS (Reproducing Kernel Hilbert Space) $\mathcal{H}$, $\mathcal{H}_1$ ...
4
votes
1answer
61 views

Can Fourier transform be seen as a decomposition over a basis in a space of tempered distributions

Fourier series of a function that belongs to $L^2([0,T])$ can be seen as a decomposition of this function over an (orthonormal) basis in the Hilbert space $L^2([0,T])$. Fourier transform of a ...
3
votes
0answers
36 views

Proof of the Riesz-Schauder Theorem (for compact operators) using the Analytical Fredholm Theorem

First of all sorry for my bad English, I'm an Italian student, hope to let you understand! I'm having a little troubles with the proof of the Riesz-Schauder theorem for Compact Operators. Some infos ...
4
votes
5answers
530 views

Why do bases of infinite dimensional spaces need to be orthonormal?

I asked this question following a discussion in my Mathematical Methods course and didn't get a satisfactory answer. If we have an infinite dimensional Hilbert space, why do we need an orthonormal ...
1
vote
0answers
33 views

Coercivity of a sesquilinear form on a Hilbert space

Given two Hilbert Spaces $(V,||\cdot||)$ and $(H,|\cdot|)$ with the compact inclusion $V\hookrightarrow H$ and a sesquilinear form $a(\cdot,\cdot)$ on $V$ such that: $\bf (i)$ $Re\ a(u,u)\geq 0\ ...
0
votes
1answer
39 views

Summary: Spectrum vs. Numerical Range

Reference A proof of the statement below is split into: Normal Operators: Spectrum vs. Numerical Range Spectral Measures: Spectrum vs. Numerical Range Problem Given a Hilbert space ...
1
vote
0answers
21 views

How to prove this specific kernel is not in RKHS?

Consider $\mathcal{X}=\mathbb{R}$, and $k(x,y)=xy=[\frac{x}{\sqrt{2}},\frac{x}{\sqrt{2}}]\cdot [\frac{y}{\sqrt{2}},\frac{y}{\sqrt{2}}]^T$, where we thus can define two kinds of feature maps ...
2
votes
0answers
31 views

How to prove $\Phi_w(x)=\cos (w^T x+b)$ is outside the RKHS associated with the Gaussian kernel function$K(x,y)=\exp(-\frac{||x-y||^2}{2\sigma})$?

How to prove $\Phi_w (x)=\cos (w^T x+b)$ is outside the RKHS ( Reproducing Kernel Hilbert Space) associated with the Gaussian kernel function$K(x,y)=\exp(-\frac{||x-y||^2}{2\sigma})$?
1
vote
0answers
37 views

How to understand ' Let $\mathcal{H}$ be a Hilbert space of functions $f$ : $ \mathcal{X} \rightarrow R$, denoted on a non-empty set $\mathcal{X}$.'

I am a beginner. By asking this question, I means that, to construct a Hilbert space, should $\mathcal{X}$ satisfy some properties? Furthermore, in some papers especially on machine learning, ...
1
vote
1answer
69 views

Why $\|f\|_2^2$ can be written as $\int |f(x)|^2 p(x)dx$?

I am recently learning some papers on optimization in infinite-dimensional space, and I not familiar with function analysis. In some papers, I see $\|f\|_2^2$ is written as $\int |f(x)|^2 p(x)dx$ , ...
2
votes
2answers
46 views

What is the definition of closed subspace?

I am trying to understand what is intended with closed subspace, I took the following guess: A closed subspace $M$ of a Hilbert space $H$ is a subspace of $H$ s.t. any sequence $\{x_n\}$ of elements ...
2
votes
1answer
60 views

$L_2$ norm and RHKS norm in Hilbert spaces $\mathcal{H}$

According to this paper (just right below the Theorem 3 and above the section 3) Reproducing Kernel Hilbert Space(RKHS) $\mathcal{H}$ on $\mathcal{X}$ is a Hilbert space of functions from ...
2
votes
1answer
26 views

The inner product of the Cartesian Product space

I want to know how can one define the inner product in the Cartesian product of spaces, i.e. let $A,B$ two hilbert spaces. Let $a_1, a_2 \in A$ and $b_1, b_2 \in B$, how can one express the inner ...
3
votes
3answers
48 views

On the intuition behind the projection theorem.

I have recently proved the projection theorem in a Hilbert space setting. The statements were: If $M$ is a closed subspace of a Hilbert space $H$ and $x \in H$, then: There is a unique element ...
1
vote
1answer
27 views

Determining the orthogonal complement of $\{1 \}^\perp$ in $L^2[0,1]$

Consider the space $L^2[0,1]$ of complex valued square-integrable functions $f : [0,1] \to \mathbb{C}$. Let $\langle f, g \rangle = \int_0^1 f \bar{g}$ denote the standard $L^2$ inner product. For $M ...
1
vote
1answer
20 views

The Spectral Radius of a Product of Two Hilbert-Space Operators

I’m given a Hilbert space $ \mathcal{H} $ such that $ \dim(\mathcal{H}) > 1 $, and I’m supposed to construct two operators $ A $ and $ B $ on $ \mathcal{H} $ such that $ r(A B) \neq r(A) r(B) $. Is ...
0
votes
0answers
16 views

What is the orthogonal of an intersection?

Background I have been introduced to the notion of orthogonal complement of a subset of a (pre)hilbert space. Given $X$ a (pre)hilbert space and $A\subseteq X$, one defines $A^\perp:=\{x\in X:x\perp ...
1
vote
0answers
56 views

Construct a unitary operator U on H with prescribed spectrum

Given an infinite dimensional Hilbert space $H$. Let $|\lambda_k| = 1$ for $k = 1, ..., n$. Construct a unitary operator $U$ on $H$ such that $\sigma(U) = \{\lambda_k\}$ for $k=1,....,n.$ I can ...
1
vote
2answers
33 views

Construct a bounded linear operator S on H such that σ(S) = A

Given an infinite dimensional Hilbert space $H$. Let $A\subseteq \mathbb{C}$ be closed and bounded. Construct a bounded linear operator $S$ on $H$ such that $\sigma(S)=A$, where $\sigma(S)$ is the ...
0
votes
1answer
15 views

On the polar representation of an inner product.

Take $H$ an inner product space. $x,y \in H$. Take $b = |<x,y>|$ . Then the polar representation of $<x,y>$ is: $$<x,y> = be^{i\theta}$$ for some $\theta \in (-\pi, \pi]$. Why is ...
1
vote
1answer
43 views

Show that a subspace is closed in Hilbert space $H$

Let $u\in B(H)$ , $\lambda < 0$. Also we have $\|(u-\lambda)x\|\geq |\lambda|\|x\|$. So $u-\lambda$ is bounded below. To show $(u-\lambda)(H)$ is closed in $H$, suppose $\{(u-\lambda)x_n\}$ be ...
1
vote
1answer
49 views

What is the 'largest' space of integrable functions which is also a Hilbert space?

It is well known that $L^2(X,\mu)$, the set of functions $f:X \rightarrow \mathbb{C}$ such that $\int_X |f|^2 \text{d} \mu < \infty$, is a Hilbert space. Is there a Hilbert space $H$ such that ...
0
votes
0answers
35 views

Basis of $H^1(\Omega)$ which is orthonormal wrt. $L^2(\partial\Omega)$ inner product?

Let $\Omega$ be a domain with $\partial\Omega$ bounded. Is it possible to find a smooth basis of $H^1(\Omega)$ and $L^2(\Omega)$ which is orthonormal wrt. the $L^2(\partial\Omega)$ inner product? ...
3
votes
0answers
69 views

Approximate the unit ball in an infinite-dimensional Hilbert space, by compact sets?

Are there some common ways to approximate the unit ball in an infinite-dimensional Hilbert space, by compact sets? (note that the unit ball isn't compact.) My goal is to prove a statement which holds ...
2
votes
1answer
33 views

For $(l^2,\|\cdot\|_2)$ and $e_n=(0,0,.,1,0,.)$ and a bounded linear functional $\Phi$ find $p\geq 1$ where $\sum_{n=1}^\infty |b_n|^p$ converges?

For $(l^2,\|\cdot\|_2)$ and $e_n=(0,0,...,1,0,...)$ and a bounded linear functional $\Phi$ find a value of $p\geq 1$ where $\sum_{n=1}^\infty |b_n|^p$ converges for $b_n=\Phi(e_n)$? Ok so since ...
1
vote
1answer
82 views

If $H$ is a one-dimensional Hilbert space then the zero representation of a C*-algebra on $H$ is irreducible.

It says on page 143 of Murphy's $C^*$-algebras and operator theory that if $H$ is a one-dimensional Hilbert space then the zero representation of any C*-algebra on H is irreducible. What is the zero ...
-1
votes
1answer
41 views

the norm of a linear operator

In in the demonstration of Lax-Milgramm lemma, they use a linear operator $A:V\to V$, where $V$ is a Hilbert space; My basic problem is how to prove that $$\|Au\|_V=\sup_{v\in ...
1
vote
1answer
34 views

Am I doing this approximation correctly? (least squares method)

Here is the problem. Find the function $f$ of the type $f(x) = a\cos x + b\sin x$ which best approximates the function $g$ in the points : $$ \begin{array}{ c | c | c | c | c | c | c } x & ...
3
votes
2answers
25 views

Terminology for orthogonal projections

Let $H = X \oplus Y$ a Hilbert space. Then, the map $p(x + y) = x$ is called the orthogonal projection onto $X$ along $Y$. Why is it necessary to mention along $Y$? Of course if a space has a ...