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

learn more… | top users | synonyms

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
3answers
776 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
174 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
292 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
3answers
89 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
79 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
189 views

Are two hilbert spaces with the same algebraic dimension (their hamel bases have the same cardinality) isomorphic?

We know that two hilbert spaces tat have orthonormal bases of the same cardinality are isomorphic (as an inner product spaces). my question is what can we say when we know that their hamel bases ...
4
votes
1answer
132 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
283 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
927 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
918 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
61 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
85 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
1answer
779 views

What is the difference between an isometric operator and a unitary operator on a Hilbert space?

It seems that both isometric and unitary operators on a Hilbert space have the following property: $U^*U = I$ ($U$ is an operator and $I$ is the identity operator) What is the difference between ...
4
votes
1answer
158 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
119 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
220 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
657 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
423 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
235 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
186 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
195 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
284 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
734 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
270 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
327 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
51 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
191 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
39 views

Show that in a complex Hilbert space, T normal bounded linear operator, $\| T^2 \| =\| T \| ^2$

So, as a part of a problem, I've been asked to prove that if $H$ is a complex Hilbert space and $T\in L(H)$ is normal, then $\| T^2 \| =\| T \| ^2$ (Operator norm) Context: This is part (b) in a ...
4
votes
1answer
115 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
162 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
1answer
97 views

The strong operator limit of a sequence of unitary operators

If $\mathcal H$ is a Hilbert space and $U_n \in B(\mathcal H)$ is a strong-operator convergent sequence of unitary operators, say $U_n\rightarrow U$, is it true that $U$ is unitary? More explicitly, ...
4
votes
2answers
96 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
100 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
131 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
236 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
359 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
681 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
92 views

Generalized Fourier series in $L^2$ that do not converge pointwise a.e.

For a Hilbert space $L^2$ we have the notion of an orthonormal basis $\{f_j\}$ being a sequence of orthonormal elements such that any element $f$ in $L^2$ can be approximated by partial sums in terms ...
4
votes
1answer
66 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
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
89 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 ...