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

learn more… | top users | synonyms

4
votes
2answers
372 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 ...
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 ...
4
votes
4answers
2k views

Orthogonal complement of a Hilbert Space

I have this problem: Let $S$ be a subset of a Hilbert $H$ and let $M$ be the closed subspace generated by $S$. Show that $M^{\perp} = S^{\perp}$ $M = (S^{\perp})^{\perp}$ if $V$ is a subspace of ...
4
votes
2answers
478 views

A counterexample to theorem about orthogonal projection

Can someone give me an example of noncomplete inner product space $H$, its closed linear subspace of $H_0$ and element $x\in H$ such that there is no orthogonal projection of $x$ on $H_0$. In other ...
4
votes
2answers
225 views

Is this operator bounded? Hilbert space projection

Let $V \subset H$ be Hilbert spaces (different inner products) with $V$ dense in $H$. Let $b_n$ be an orthonormal basis for $H$ and an orthogonal basis for $V$. Define $$P_n:H \to ...
4
votes
2answers
96 views

A counterexample on the existence of some sequence in Hilbert space

I want to find a uniformly bounded sequence $\{x_n\}$ in $l^2(\mathbb{C})$ such that $x_n$ does not converge to zero in weak topology, i.e., $\exists ~y\in l^2(\mathbb{C}),$ such that $\langle y, ...
4
votes
2answers
152 views

Do all angles occur in Hilbert spaces?

Let $X$ be a Hilbert space with scalar product $(\cdot,\cdot)$. Then for two vectors $v,w$ of norm $1$, we can interpret $(v,w)$ as an angle, so that $(v,w)=\cos(\varphi)$ for a unique angle ...
4
votes
2answers
431 views

Paradox or Error: On the inclusion of dense subspaces into Hilbert spaces

the following observations are very simple, but I suppose they contain an error, which I haven't been able to find it so far. Maybe somebody can help how to fix it: Let $H$ be a Hilbert space, $U$ be ...
4
votes
1answer
196 views

Normal $T\in B(H)$ has a nontrivial invariant subspace

I am wondering if the following is true: Every normal $T\in B(H)$ has a nontrivial invariant subspace if $\dim(H)>1$?
4
votes
1answer
760 views

Hilbert-Schmidt Operator

We have just covered Hilbert-Schmidt operators in class (which I missed) and I am having a hard time getting my head around them. I know the definition: If $H$ is a Hilbert space and ...
4
votes
1answer
69 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
3answers
89 views

$A^2$ self-adjoint and Compact, prove $A$ has an eigenvalue

Suppose $H$ is a Hilbert space and $A \in L(H)$ is such that $A^2$ is compact and self-adjoint. Prove that $A$ has an eigenvalue. (Here $L(H)$ is the set of bounded linear operators on a Hilbert ...
4
votes
1answer
413 views

The Hahn-Banach theorem for Hilbert spaces follows from Riesz's theorem

How does the Hahn-Banach theorem for Hilbert spaces follow from Riesz's representation theorem?
4
votes
1answer
741 views

Formula for trace of compact operators on $L^2(\mathbb{R})$ given by integral kernels?

Given an appropriate function $K: \mathbb{R}^2 \to \mathbb{C}$, say continuous of compact support, we obtain a compact operator $T$ on the Hilbert space $L^2(\mathbb{R})$ by the formula $$ (T h)(t) = ...
4
votes
5answers
887 views

Subspaces of Hilbert Spaces of finite dimension

Given a Hilbert space $H$ of finite dimension, why is any subspace of this space closed? I tried bashing out an answer using an arbitrary Cauchy sequence $\{ f_1 , f_2, \ldots \} \subset S \subset H $ ...
4
votes
1answer
59 views

How to conclude $\Re $ is zero?

I'm in a Hilbert space $H$ and for $z,v, h \in H$ and $t \in \mathbb C$ I have $$ \|z\|^2 \leq \|h−(tv+y)\|^2 = \|z−tv\|^2 =\|z\|^2 −2\Re(t⟨v,z⟩)+|t|^2\|v\|^2$$ According to my notes it follows ...
4
votes
1answer
313 views

A linearly independent, countable dense subset of $l^2(\mathbb{N})$ [duplicate]

Possible Duplicate: Does there exist a linear independent and dense subset? I am looking for an example of a countable dense subset of the Hilbert space $l^2(\mathbb{N})$ consisting of ...
4
votes
3answers
697 views

Separability of the space of bounded operators on a Hilbert space

Let $H$ be a (separable) infinite dimensional Hilbert space, and $B(H)$ the space of bounded operators on $H$. Is $B(H)$ separable in the operator norm topology? What about in the strong and weak ...
4
votes
1answer
167 views

Continuation of Linear Operator in Hilbert spaces

First of all, here is the assignment: Let $X$ be a Hilbert space over $\mathbb{C}$, $V \subseteq X$ be a closed subspace and $f \in L(V, \mathbb{C}) $ a linear continuous operator. Show that ...
4
votes
1answer
276 views

How to characterize self-adjoint operators in terms of orthogonal diagonalizability

Have a look at the following excerpt of Tosio Kato (taken from Zeidler Applied functional analysis vol. I): The fundamental quality required of operators representing physical quantities in ...
4
votes
1answer
78 views

Definitions of adjoints (functional analysis vs category thy)

If I have a linear operator $f$ on a Hilbert space, then I define the adjoint of $f$ to be $f^*$ where, $(fx,y)=(x,f^*y)$ for all $x,y$. I am confused because this definitions is very different to ...
4
votes
1answer
120 views

If the expectation $\langle v,Mv \rangle$ of an operator is $0$ for all $v$ is the operator $0$?

I ran into this a while back and convinced my self that it was true for all finite dimensional vector spaces with complex coefficients. My question is to what extent could I trust this result in the ...
4
votes
1answer
257 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
92 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
737 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
4answers
1k views

Weak and pointwise convergence in a $L^2$ space

Let $I$ be a measured space (typically an interval of $\Bbb R$ with the Lebesgue measure), and let $(f_n)_n$ a sequence of function of $L^2(I)$. Assume that the sequence $(f_n)$ converge pointwise ...
4
votes
1answer
750 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
1answer
114 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
83 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
197 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
2answers
142 views

Showing $\mathcal{H}$ is a hilbert space.

So this is an early exercise in Conway's A Course In Functional Analysis. I'm trying to get to grips with this upto open mapping and closed graph to see if I want to do any more functional analysis. ...
4
votes
2answers
208 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
151 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
498 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
89 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
243 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
308 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
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 ...
4
votes
1answer
80 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 ...
4
votes
3answers
138 views

Gram-Schmidt for uncountable sets?

I know that Gram Schmidt can be applied to countable linear independent sets on Hilbert spaces, but what happens if we apply it on uncountable sets? Obviously this process has to fail then (at least ...
4
votes
2answers
97 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
2answers
815 views

Isomorphisms of inner-product spaces

I think I understand why all finite-dimensional vector spaces over a field $\mathbb{K}$ are isomorphic to $\mathbb{K}^n$. Any linear map $T: V \rightarrow W$ between finite-dimensional vector spaces ...
4
votes
1answer
123 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
169 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
244 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
1k 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
293 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
124 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 ...