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

learn more… | top users | synonyms

4
votes
1answer
280 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
93 views

Is this function positive?

I was wondering if: $$\int_0^1x(t)\int_0^tx(s)ds\ dt$$ is positive for a general $x\in L_2[0,1]$ . Can you help me with this?
4
votes
3answers
914 views

Showing that the orthogonal projection in a Hilbert space is compact iff the subspace is finite dimensional

Suppose that we have a Hilbert Space $H$ and $M$ is a closed subspace of $H$. Let $T\colon H\rightarrow M$ be the orthogonal projection onto $M$. I have to show that $T$ is compact iff $M$ is finite ...
4
votes
1answer
891 views

Summation of inner products

I can't seem to find a way of asking a sub-question in relation to does linearity of inner product hold for infinite sum, which is in itself too generic a question for my purposes. Could someone ...
4
votes
4answers
60 views

Is every projection on a Hilbert space orthogonal?

I'm highly doubtful that the answer is "yes," but I fail to see what's incorrect about this very basic proof I've thought of. If someone could point out my error, I'd appreciate it. My logic is as ...
4
votes
1answer
79 views

Sufficient conditions on integration kernel for continuity of the integral operator

Suppose that we have a measure $d\mu(v)=e^{-|v|^2}dv$ on $\Bbb R^d$. We define a linear operator $$T[f](u)=\int_{\Bbb R^d} |u-v|^\beta f(v) d\mu(v).$$ I want to establish conditons on $\beta\in\Bbb ...
4
votes
3answers
84 views

Inner product space over generalized number systems

Apologies for the lengthy setup, but I want to make sure I am clear on how I am using the notation, and what I mean by the phrase "generalized number system". Define a generalized number system $G$ ...
4
votes
1answer
146 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 ...
4
votes
2answers
112 views

Basic Quantum Mechanics Concepts with Continuous Spectra

The following are a couple excerpts of the first chapter of Sakurai and Napolitano, Modern Quantum Mechanics, 2nd edition: Prior to these formulas, the text discusses the fundamental mathematics ...
4
votes
2answers
208 views

Hermitian matrices and great circles

I am considering parameterised curves in an $n$-dimensional complex vector space, given by the solution to the discrete Schrödinger equation: $$ |\psi\rangle(t) = e^{-iHt}|\psi_0\rangle, $$ Where $H$ ...
4
votes
1answer
632 views

Direct sum of orthogonal subspaces

I'm working on the following problem set. Let $\mathcal{H}$ be a Hilbert space and $A$ and $B$ orthogonal subspaces of $\mathcal{H}$. Prove or disprove: 1) $A \oplus B$ is closed, then $A$ and $B$ ...
4
votes
1answer
416 views

Continuity of scalar product

In a Hilbert space $H$ with inner product and associated norm, why would if $\|x-x_n\| \longrightarrow 0$ and $\|y-y_n\| \longrightarrow 0$ also $\langle x_n,y_n\rangle \longrightarrow\langle ...
4
votes
2answers
225 views

a trace class operator problem

Could someone help me with this Prove that If $A$ and $B$ are positive trace class operators on a Hilbert space, then so is $A^zB^{(1-z)}$ for a complex number $z$ such that $0 <Re(z)< 1$. An ...
4
votes
1answer
184 views

Spectrum proofs

Let $T$ be a densely defined closed unbounded operator on a Hilbert space $H$. Show that if $\lambda$ is a point in the residual spectrum of $T$, then $\bar{\lambda}$ is in the point spectrum of the ...
4
votes
2answers
191 views

Is duality an exact functor on Banach spaces or Hilbert spaces?

Let $V,V',V''$ and $W$ be vector spaces over $k$. Then, it is known that $\operatorname{Hom}(\cdot,V)$ is a contravariant exact functor, i.e. for each exact sequence $0\to V'\to V\to V'' \to 0$, and ...
4
votes
2answers
282 views

Trying to understand Hilbert Spaces…

I am trying to get a hold on Hilbert Spaces, but I am having difficulties combinging various definitions. I have looked it up on wikipedia and wolfram, there it states something like "A Hilbert ...
4
votes
2answers
697 views

Spectrum of an Orthogonal Projection Operator

I want to show that $ \sigma(p) = \{ 0,1 \} $ for any orthogonal projection operator $ p \notin \{ 0,I \} $ on a Hilbert space $ \mathcal{H} $. Recall that an orthogonal projection operator $ p $ on $ ...
4
votes
3answers
91 views

$\|\cdot\|_1 \leq \|\cdot\|_2 \leq \|\cdot\|_{\infty}$ for functions in $C([0,1])$?

Why does the following hold for continuous functions on $[0,1]$? $\|\cdot\|_1 \leq \|\cdot\|_2 \leq \|\cdot\|_{\infty}$
4
votes
2answers
269 views

Why is the numerical range of a self-adjoint operator an interval?

I was reviewing for a test for functional analysis when I came across the following statement: Let $T$ be a bounded self-adjoint operator on a Hilbert space $H$. Then the numerical range of it is ...
4
votes
2answers
1k views

$C[0,1]$ is not Hilbert space

Prove that the space $C[0,1]$ of continuous functions from $[0,1]$ to $\mathbb{R}$ with the inner product $ \langle f,g \rangle =\int_{0}^{1} f(t)g(t)dt \quad $ is not Hilbert space. I know that I ...
4
votes
1answer
326 views

Bounded operator from a Hilbert space to $\ell^1$ is compact

Let $H$ be any Hilbert space. How can we prove that any bounded linear operator $T\colon H \to \ell^1$ is compact? If we use the fact that the space $\ell^1$ has Schur property (norm and weak ...
4
votes
1answer
40 views

Range of normal operator and its adjoint are equal

On Wikipedia it is written that bounded normal operator in Hilbert space has the same range and kernel as its adjoint. I've been able to show equality of kernels and closures of ranges: ...
4
votes
1answer
188 views

Proving that a sequence in $L^2(\mathbb R)$ is relatively compact

I have a bounded sequence $\{f_n\}_n$ in $L^2(\mathbb R)$ such that $\mbox{supp } f_n$ is uniformly bounded and $$ \int_{\mathbb R} x^2 |\Theta_n(x) (F f_n)(x)|^2 dx \leq C^2 $$ for all $n$, where ...
4
votes
1answer
104 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 ...
4
votes
2answers
161 views

Is $\|x\| = \| \overline{x} \|$ in an inner product space?

Suppose $X$ is a complex inner product space of complex valued functions that is closed under conjugation. Is it true that $\|x\| = \| \overline{x} \|$ for all $x$? If not, is there a simple ...
4
votes
2answers
94 views

Upper bound for norm of Hilbert space operator

It is a standard result that for a bounded self-adjoint operator $T$ on a complex Hilbert space $H$, we have $||T||=\sup_{||x||=1}|\langle Tx,x\rangle|:=M$. It seems that for any bounded operator on ...
4
votes
2answers
98 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 ...
4
votes
1answer
65 views

How can we pick $f \in C(0,T;H)$ with $f(T) =0$ and $f(0) = h$, where $h$ is arbitrary?

Let $C(0,T;H)$ be the space of continuous functions $f:[0,T]\to H$ where $H$ is Hilbert. For every $h \in H$, why is it possible to pick a function $f \in C(0,T;H)$ such that $f(0) = h$ and $f(T) = ...
4
votes
1answer
130 views

functional analytic interpretation of the (co)variation and the doob decompostion

I have a question concerning the covariation of two time-discrete stochastic processes. Let $(\mathcal{F}_i)_{i\in T}$ be a filtration. We call a time-discrete, real-valued, adapted process $X$ ...
4
votes
2answers
2k views

What is the difference between a complete orthonormal set and an orthonormal basis in a Hilbert space

I don't know if it's true but I think in a finite dimensional veccter space, an orthonormal set which is complete becomes a basis. But in a Hilbert space, the books say that the set of finite linear ...
4
votes
1answer
234 views

Spectrum in an separable Hilbert space

Let $H$ be a separable Hilbert space with orthonormal basis $\{e_i\}$. Let $(c_n)$ be a bounded sequence of complex numbers and consider the bounded linear operator $T$ on $H$ defined by $$Tx = ...
4
votes
1answer
348 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
2answers
1k views

Every Hilbert space has an orthonomal basis - using Zorn's Lemma

The problem is to prove that every Hilbert space has a orthonormal basis. We are given Zorn's Lemma, which is taken as an axiom of set theory: Lemma If X is a nonempty partially ordered set with the ...
4
votes
1answer
133 views

Is it possible to 'approximate' compact, convex sets in $\ell^2$ by the Hilbert cube

Define $H=\{(x_n)_n\in\ell^2:|x_n|\le \frac1n, n\in\mathbf N\}\subset\ell^2$. This set is known as the Hilbert cube and it is well-known that $H$ is compact, convex and non-empty. Let ...
4
votes
1answer
676 views

For positive invertible operators $C\leq T$ on a Hilbert space, does it follow that $T^{-1}\leq C^{-1}$?

I need the following result. I think it's quite obvious but I don't know how to prove that: Let $C, T : \mathcal{H} \rightarrow \mathcal{H}$ be two positive, bounded, self-adjoint, invertible ...
4
votes
2answers
94 views

Weak convergence as convergence of matrix elements

Let $H$ be a Hilbert space with orthonormal basis $(e_h)_{h \in \mathbb{N}}$ and let $(A_n)_{n \in \mathbb{N}}$ and $A$ be bounded linear operators. We say that $A_n$ converges weakly to $A$ if ...
4
votes
1answer
401 views

Direct sum $\Rightarrow$ Direct Integral, Tensor product $\Rightarrow$?

Is there a way to define a tensor product over a measure space(=index set) with a continuous measure for Hilbert spaces? For the sum we have the notion of a direct integral, here.
4
votes
1answer
62 views

Show that $\{ x_n \} \overset{T}{\mapsto} \{ \sum_{k=1}^{\infty} a_{nk} x_k \}$ is compact

Can someone help me with this question? Let $\ell^2$ be the space of complex sequences $\{ x_1, x_2, \ldots \}$ that $\sum_{n=1}^{\infty} \lvert x_n \rvert ^2 < \infty$. If $\mu$ be Counting ...
4
votes
1answer
78 views

Why do dagger categories supposedly capture the structure of a Hilbert space?

A dagger functor is a contravariant endofunctor $(\;)^\dagger$ satisfying $X^\dagger = X$ on objects and $f^{\dagger\dagger}$ on morphisms. It is supposed to model adjoint maps on Hilbert spaces, and ...
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?
4
votes
1answer
88 views

Uncountable series without axiom of choice

Consider a sequence of positive real numbers $(\alpha_i)_{i\in I}$ for some (suppose maybe wellordered for now) set $I$. Using axiom of choice, it is easy to see that $\sum_i \alpha_i$ is infinite if ...
4
votes
2answers
149 views

Is this following bilinear form coercive?

First of all I want to mention that this is homework, so don't spoil it and reveal all the answer. just some guidenss :) Let $H$ be a Hilbert space, $T:H\rightarrow H$ a bounded linear operator for ...
4
votes
2answers
299 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, ...
4
votes
2answers
55 views

$\left\{x\in H: 2\leq \|x\|\leq 5\right\}$ is compact?

In a Hilbert space $H$ of dimention infinite, $A=\left\{x\in H:2\leq \|x\|\leq 5\right\}$ is compact? (totally bounded and complete) Thanks in advance.
4
votes
1answer
54 views

Finding an orthonormal basis from an existing one in a Hilbert space

Suppose we are given a separable Hilbert space $H$ with countable orthonormal basis $\{e_n\}$. Suppose we are given an orthonormal set $\{f_n\}$ such that $\sum\|e_n-f_n\| < 1$. How do we prove ...
4
votes
3answers
380 views

When do inner products of weakly convergent subsequences converge?

If we have 2 weakly convergent subsequences in $L^2(U)$ (for $U$ some bounded open domain with smooth boundary), $u_k\rightharpoonup u$ and $v_k\rightharpoonup v$, under which conditions do we have ...
4
votes
1answer
146 views

find a weak solution in an intersection of Sobolev spaces

In using lax-milgram to find a weak solution in an intersection of sobolev spaces the weak solution for $$ -\Delta^2 u = f \in L^2(U)\\ \\ u|_{\partial U}=\Delta u|_{\partial U} = 0 $$ was ...
4
votes
1answer
125 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 ...
4
votes
2answers
215 views

about weak convergence in $L^{2}(0,T;H)$

I am trying to do an exercise and if the affirmation below is true, my exercise is done . This is the affirmation : Affirmation : Let $H$ a Hilbert space and suppose $u_k$ converges weakly to $u$ ...
4
votes
1answer
60 views

Selfadjoint and continuous operator on a complex Hilbert space

Let $T\colon H\to H$ be a selfadjoint continuous operator on a complex Hilbert space. Show: $$ \lVert (T\pm i\mbox{Id})x\rVert^2=\lVert Tx\rVert^2+\lVert x\rVert^2~\forall~x\in H. $$ -- How can I ...