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

learn more… | top users | synonyms

5
votes
2answers
1k views

Elegant proof that $L^2([a,b])$ is separable

Is anybody aware of, or can provide at least an outline, of a proof that the Hilbert space of Lebesgue functions square-integrable on the closed real interval [a,b], equipped with the $L^2$ norm, is ...
5
votes
1answer
126 views

If $\sum (a_n)^2$ converges and $\sum (b_n)^2$ converges, does $\sum (a_n)(b_n)$ converge?

Could someone help me to solve this or at least give me a hint?, I have tried using Cauchy's criterion, the Dirichlet test for convergence, etc, but I can´t prove it.Honestly I don´t know where to ...
5
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 ...
5
votes
2answers
228 views

Hilbert space with all subspaces closed

Does there exist an infinite-dimensional Hilbert space with all subspaces closed?
5
votes
3answers
495 views

Soft Question Hilbert Space Geometry

Just a quick question about the geometry of Hilbert spaces from an intuitive standpoint. Maybe just assuming we're working with $L^2$ would simplify the situation. Basically, in something like ...
5
votes
1answer
550 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?
5
votes
3answers
621 views

$f$ an isometry from a hilbert space $H$ to itself such that $f(0)=0$ then $f$ linear.

This question was on an exam and I am not sure how to answer it. I mostly tried writing zero in different ways and tried lots of algebra to get something out. I also tried to use the fact that $H$ is ...
5
votes
1answer
210 views

Can the composite of two projections really fail to be a projection?

Let $H$ denote a Hilbert space. For any closed subspace $C \subseteq H$, write $P_C$ for the orthogonal projection onto $C$. Then according to wikipedia, the composite $P_U \circ P_V$ needn't be a ...
5
votes
1answer
705 views

Proof Complex positive definite => self-adjoint

I am looking for a proof of the theorem that says: A is a complex positive definite endomorphism and therefore is A self-adjoint. Does anybody of you know how to do this?
5
votes
2answers
644 views

Norm inequality for sum and difference of positive-definite matrices

If $X_{1}$ and $X_{2}$ are positive definite matrices, how to show that $\left\Vert X_{1}-X_{2}\right\Vert \le\left\Vert X_{1}+X_{2}\right\Vert$ for the spectral norm? and how about for the nuclear ...
5
votes
2answers
122 views

What's the spectrum of this operator in $\ell^2$?

Suppose that $\ell^2 = \biggl\{(x_n)_n \in \mathbb{K}^{\mathbb{N}_0} \biggm| \sum_{n=1}^{\infty}|{x_n}^2| < +\infty \biggr\}$ is a Hilbert-space with the inproduct $\langle\cdot,\cdot\rangle_2: ...
5
votes
1answer
260 views

Homeomorphisms between infinite-dimensional Banach spaces and their spheres

As I know Cz. Bessaga has proved that an infinite-dimensional Banach space is homeomorphic to its unit sphere. Unfortunately I do not have his book but I want to know is this theorem true without ...
5
votes
2answers
257 views

Show that linear Operator on $\ell^2$ is unbounded

Currently, I am preparing for a next semester course and trying to figure out some basic concepts in functional analysis. Let $T:\mathcal{D}(T)\to \ell^2$ be defined by ...
5
votes
1answer
356 views

Uniform mean ergodic theorem

I'm working in Einsiedler and Ward's book on Ergodic Theory and in Exercise 2.5.4 they want to prove the following $$\lim_{N - M \to \infty} \frac{1}{N - M} \sum_{n = M}^{N - 1} U_T^n f \to P_T f.$$ ...
5
votes
2answers
289 views

Properties of reflexive Banach spaces

I just want to see the importance of reflexive Banach spaces and what is special about them compared to other Banach spaces. What kind of properties hold in reflexive spaces that do not necessarily ...
5
votes
2answers
172 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. ...
5
votes
2answers
130 views

Norm of a $2\times 2$ matrix as a Hilbert space operator

Work in the Hilbert space $\mathbb C^2$. Let $$A = \begin{bmatrix} a & b \\ c & d \\ \end{bmatrix} $$ be a matrix with entries in $\mathbb C$, and let $A$ ...
5
votes
2answers
308 views

Unit Ball of $\mathcal{l}_2$

Let $B(\mathcal{l}_2) :=\{x \in \mathcal{l}_2 : \|x \| \leq 1 \}$ and $S(\mathcal{l}_2) :=\{x \in \mathcal{l}_2 : \|x \| = 1 \}$ be the unit ball and the unit sphere of $\mathcal{l}_2$, respectively. ...
5
votes
1answer
83 views

Show that $\|e^{tA}\| \le e^{t\|\Re (A)\|}$

Let $X$ be a complex Hilbert space, and let $A$ be a bounded linear operator on $X$. Define the real part of $A$ to be $\Re(A)=\frac{1}{2}(A^{\star}+A)$, and define ...
5
votes
2answers
1k views

Tensor product of operators

We know that if $T_1$ is a linear bounded operator on a Hilbert space $H_1$ and $T_2$ is a linear bounded operator on a Hilbert space $H_2$ there exists a unique linear bounded operator $T$ on $H_1 ...
5
votes
2answers
933 views

Parallelogram law valid in banach spaces?

It is known that the parallelogram law $\|x-y\|^2+\|x+y\|^2 = 2(\|x\|^2 + \|y\|^2)$ holds in any space with an inner product (the norm being induced by this inner product). Is this formula valid in ...
5
votes
1answer
172 views

Convex subset of Hilbert space as intersection of closed balls

How does one prove that any closed, convex, and bounded subset of a Hilbert space is the intersection of the closed balls that contain it?
5
votes
1answer
968 views

How to prove this integral operator is compact?

$T_kf=\int K(x,y)f(y)dy$ where $K(x,y)=\frac{\phi(x)\phi(y)}{|x-y|^{n-\alpha}}$ $\phi(x)$ is a smooth function on a compact support. $f$ is defined on $R^n$ and $K$ is defined on $R^n\times R^n$ ...
5
votes
1answer
539 views

Exhibiting open covers with no finite subcovers.

How do I exhibit an open cover of the closed unit ball of the following: (a) $X = \ell^2$ (b) $X=C[0,1]$ (c) $X= L^2[0,1]$ that has no finite subcover?
5
votes
1answer
409 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.
5
votes
1answer
164 views

Addition of Unbounded Operators

Let $H$ be a (separable complex) Hilbert space and let $A$ and $B$ be two densely-defined, maximally-defined linear operators on $H$ with domains $D(A)$ and $D(B)$ respectively. (By maximall-defined, ...
5
votes
1answer
325 views

Is this functional weakly continuous?

Take a $C^1$ function $G \colon \mathbb{R}\to \mathbb{R}$ and define a functional $$\mathcal{G}(u)=\int_0^1G(u(t))\, dt, \quad u \in H^1(0, 1).$$ We then have $\mathcal{G}\in C^1\big(H^1(0, 1)\to ...
5
votes
1answer
83 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 ...
5
votes
1answer
191 views

Proof involving strongly continuous semigroups.

Let $ (T(t))_{t \geq 0} $ be a $ C_{0} $-semigroup on a Hilbert space $ X $ with an infinitesimal generator $ A $, and let $ \rho \in (0,1) $. I want to prove that $ \displaystyle \sup_{t \geq 0} \| ...
5
votes
1answer
87 views

Nonseparable $L^2$ space built on a sigma finite measure space

Is it possible to have a nonseparable $L^2$ Hilbert space for which the underlying measure space is sigma finite? I appreciate any example but prefer one built on the Borel sigma algebra of some ...
5
votes
3answers
157 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 ...
5
votes
1answer
320 views

The sup norm on $C[0,1]$ is not equivalent to another one, induced by some inner product

Let $\mathrm{C}[0,1]$ be the space of continuous functions $[0,1]\rightarrow \mathbb{R}$ endowed with the norm $||x||_{\infty}=\mathrm{max}_{t\in [0,1]}|x(t)|$. It is easy to verify that this norm is ...
5
votes
2answers
75 views

Prob. 8, Sec. 3.5 in Erwin Kreyszig's Introductory Functoinal Anlaysis With Applications

Erwin Kreyszig's Introductory Functoinal Anlaysis With Applications Prob. 8, Sec. 3.5 $\DeclareMathOperator{\span}{span}$Let $(e_k)$ be an orthonormal sequence in a Hilbert space $H$, and let $M = ...
5
votes
1answer
190 views

Continuous linear image of closed, bounded, and convex set of a Hilbert Space is compact

Is my proof of this proposition correct ? And is this proposition well known? Proposition: Let $C$ be a closed, bounded, and convex set in a separable Hilbert space $H$. Let $L : H \to \mathbb{R}^n$ ...
5
votes
1answer
192 views

Show that a subspace of l2 is not complete

I would like to know if this exercise is correct. Let $\Bbb R^\infty=\{x:\Bbb N\rightarrow \Bbb R: \exists n \text{ such that}\quad x(k)=0 \quad \forall k\geq n\}$. Show that $(\Bbb R^\infty, \| ...
5
votes
1answer
101 views

Strong convergence of an “averaging” operator

Let $X$ be an Hilbert space and $S:X \rightarrow X$ be a bounded linear operator with $||S||=1 $ Define $$T_n= \frac{1}{n} \sum_{r=0}^{n-1} S^r$$ I want to show it converges strongly to some ...
5
votes
1answer
456 views

Prove or disprove existence of a sequence converging weakly to $0$ in an infinite dim Hilbert space

This is a problem on an old analysis qual, the prompt is: "Prove or give a counter example: if $H$ is an infinite dimensional Hilbert space and $0$ is the zero vector in $H$, then there exists a ...
5
votes
1answer
431 views

Bounded operator and Compactness problem

Let $H$ be a Hilbert space with orthonormal basis $(e_{n})_{n\in\mathbb{N}}$. Furthermore, let $T\colon H\rightarrow C[a,b]$ be a bounded operator. a) Let $x\in [a,b]$. Show that there is a ...
5
votes
1answer
69 views

Space of Jordan curves

The space of square-integrable functions $f:[0,1]\rightarrow\mathbb{R}$ is well conceivable: it's essentially an $\infty$-dimensional Euclidean space (the Hilbert space $L^2$) with well interpretable ...
5
votes
1answer
533 views

Every Hilbert-Schmidt is an integral operator?

Let $(X,\mu)$ be a $\sigma$-finite measure space. If $K\in\mathcal{L}^2(X\times X,\mu\times\mu)$ then the map $A_K:\mathcal{L}^2(X,\mu)\to\mathcal{L}^2(X,\mu)$ defined by\begin{equation} ...
5
votes
1answer
713 views

Showing the sum of orthogonal projections with orthogonal ranges is also an orthogonal projection

Show that if $P$ and $Q$ are two orthogonal projections with orthogonal ranges, then $P+Q$ is also an orthogonal projection. First I need to show $(P+Q)^\ast = P+Q$. I am thinking that since ...
5
votes
2answers
571 views

Orthonormal basis in Hilbert space

I an reading a book about functional analysis and there is one thing i really don't understand. Let $\mathcal{H}$ be a Hilbert space. And $U \subset \mathcal{H}$ a closed subspace. Is it possible to ...
5
votes
3answers
3k views

How to prove that square-summable sequences form a Hilbert space?

Let $l^2$ be the set of sequences $x = (x_n)_{n\in\mathbb{N}}$ ($x_n \in \mathbb{C}$) such that $\sum_{k\in\mathbb{N}} \left|x_k\right|^2 < \infty$, how can I prove that $l^2$ is a Hilbert space ...
5
votes
1answer
75 views

Definition of resolvent set

I'm having trouble understanding some subtlety of definition of resolvent set for given bounded operator A everywhere defined on some Hilbert space. Book I use (and many other sources) give the ...
5
votes
1answer
52 views

Showing a certain subspace of Hilbert space is dense

Let H be the Hilbert space of square-summable sequences of reals. A few years ago I thought I had proved that the subspace Z of real sequences with only finitely many nonzero terms, such that they ...
5
votes
3answers
206 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 ...
5
votes
1answer
83 views

Is there a useful relationship between pointwise and $L^2$ distance?

It would be really convenient to get a bound on the point-wise closeness of functions by knowing their $L^2$ distance. Clearly, if two functions are close in the $L^2$ sense, you cannot get a general ...
5
votes
1answer
138 views

Adjoint of multiplication by $z$ in the Bergman space

I am learning Hilbert space theory from Halmos' "Introduction to Hilbert space and the theory of spectral multiplicity". While talking about understanding adjoints (p. 39), he calls special ...
5
votes
2answers
166 views

Does a symmetric operator on a Hilbert space have a symmetric adjoint?

Suppose we have a linear operator $T$, densely-defined on some Hilbert space. If $T$ is symmetric (i.e., $T^*$ extends $T$: notationally, $T\subseteq T^*$) does it follow that $T^*$ is also symmetric ...
5
votes
1answer
219 views

A baby version of the Stein-Cotlar almost-orthogonality lemma

The following is an exercise from Stein and Shakarchi's Real Analysis. Suppose $\{T_k\}$ is a collection of bounded operators on a Hilbert space $H$, each with norm at most $1$. Suppose also that ...