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

learn more… | top users | synonyms

7
votes
4answers
3k views

A linear operator on a finite dimensional Hilbert space is continuous

How do I show that a linear function from a Hilbert space $H$ to itself is continuous if $H$ is finite dimensional? Also, what would be an example of a linear function from a Hilbert space to itself ...
7
votes
4answers
717 views

An idempotent operator is compact if and only if it is of finite rank

Would you help me to solve this problem. Show that an idempotent operator on hilbert space is compact if and only if it has finite rank.
7
votes
1answer
745 views

Does there exist a real Hilbert space with countably infinite dimension as a vector space over $\mathbb{R}$?

Essentially what the title says - where to me a Hilbert space is a complete (Hermitian) inner product space, am I safe to assume every such real Hilbert space is of uncountable dimension over ...
7
votes
2answers
105 views

The spectrum of a self-adjoint operator on $\mathcal l^2$

Let $S$ be the unilateral shift operator on $\mathcal l^2$ (which shifts one place to the right) and $S^*$ its adjoint, the backward shift (which shifts one place to the left). I've been trying to ...
7
votes
3answers
228 views

If a linear operator has an adjoint operator, it is bounded

This is a question I'm struggling with for a while: Let $H$ be a Hilber space. Let $T,S: H\rightarrow H$ be linear operators (not neccessarily bounded) such that for every $x,y\in H$: $\langle ...
7
votes
2answers
2k views

Example that in a normed space, weak convergence does not implies strong convergence.

The book "Introductory Functional Analysis with Applications" (Kreyszig) presents the following definitions. A sequence $(x_n)$ in a normed space $X$ is said to be strongly convergent if there is ...
7
votes
1answer
279 views

Existence of the Pettis integral

This is related to a question of MO: A question on the integral of Hilbert valued functions. I'm sure it's easy, but I cannot think right now, so I thought I'd ask. Let $f:[0,1]\rightarrow H$ be a ...
7
votes
1answer
230 views

Energy estimate of the differential equation $\dot{x}=Ax$

Conside the differential equation $$\dot{x}=Ax,\qquad x(t):{\bf R}\to{\mathcal H}$$ where $\mathcal{H}$ is a Hilbert space and $A$ is a bounded linear operator. With the initial condition, one can ...
7
votes
1answer
186 views

Dense subspace of $L^{2}[0,1]$

I know that $C[0,1]$ is dense in $L^{2}[0,1]$ but is $\{f\in C^{2}[0,1]:f(0)=f(1)=0\}$ dense in $L^{2}[0,1]$?
7
votes
2answers
277 views

Counterexample for the stability of orthogonal projections

Let $V$ be a seperable Banach space, which is dense and continuously embedded in a Hilbert Space $H$. Let $(V_m)$ be a Galerkin scheme (See definition below) for $V$. Using the embedding we can ...
7
votes
1answer
448 views

Weak Formulations and Lax Milgram:

I have a question on how to put a PDE into weak form, and more importantly, how to properly choose the space of test functions. I know that for an elliptic problem, we want to start with a problem ...
7
votes
3answers
330 views

For what sequences of real numbers $\left\{ k_{n}\right\}$ is the set of functions $\left\{ e^{ik_{n}x}\right\}$ a basis?

It is well known that the set of functions $\left\{ e^{^{inx}}\right\}$, for integer $n$, is an othonormal basis for the space of square integrable real functions in the interval $[-\pi,\pi]$. Now ...
7
votes
2answers
981 views

Contexts For Bessel's Inequality?

Bessel's inequality appears to be about orthonormal sequences. But (in the context of inner product spaces), I've thought of this inequality as being a demonstration that the hypotenuse of triangles ...
7
votes
1answer
216 views

Non-examples for the Kato-Rellich Theorem

The Kato-Rellich Theorem is a classical result stating that if $A,B$ are unbounded operators on a Hilbert space with $A$ self-adjoint, $B$ symmetric, $\mathcal D (A)\subset \mathcal D(B)$ and $$ ...
7
votes
1answer
106 views

Tight Probability on Hilbert space

I am considering the following problem. Let $(X_j)$ be i.i.d. $N(0,1)$ random variables and $H$ a Hilbert space with orthonormal basis $(e_j)$. Let $$X:=\sum_j \frac{X_j e_j}{j}$$ And for any ...
7
votes
1answer
294 views

Approximating a Hilbert-Schmidt operator

Let $H$ be a separable Hilbert space. Recall that a bounded operator $A : H \to H$ is said to be Hilbert-Schmidt if $$\|A\|_{HS}^2 := \sum_{i=1}^\infty \|A e_i\|^2 < \infty$$ where ...
7
votes
1answer
225 views

Reproducing Kernel Hilbert Space is dense?

Let $E=C[0,1]$, space of all real-valued continuous functions on $[0,1]$, $\mathcal{E}$ be its Borel $\sigma$-algebra and $\mu$ a Gaussian measure on $E$. Let $E^*$ be a space of all continuous ...
7
votes
0answers
433 views

On the weak and strong convergence of an iterative sequence

I have some difficulties in the following problem. I would like to thank for all kind help and construction. Let $H$ be an infinite dimensional real Hilbert space and $F: H\rightarrow H$ be a ...
7
votes
0answers
313 views

Is this question solvable? $2$ non-linear equations and the proof that the solution is unique (with asymmetric bounty option)

As mentioned in the title I want to show the uniqueness of the solution to $2$ non-linear equations. However, it seems that I can not solve this question with my current mathematical knowledge. More ...
6
votes
2answers
1k views

Relationship of Fourier series and Hilbert spaces?

I just read in a textbook that a Hilbert space can be defined or represented by an appropriate Fourier series. How might that be? Is it because a Fourier series is an infinite series that adequately ...
6
votes
3answers
412 views

A complete orthonormal system contained in a dense sub-space.

Let H be a separable complex Hilbert space. Let A be a dense sub-space of H. Is it possible to find a complete orthonormal system for H that is contained in A?
6
votes
2answers
338 views

Question about positive operators on a Hilbert space

I have the following problem. Let $\Omega \subset R^n$ have finite measure, let $H = L^2(\Omega)$ and let $S: H \to H$ be a bounded linear operator. Then it is well known that $P = SS^*$ is a positive ...
6
votes
3answers
237 views

Sequences are Cauchy depending on the norm?

Assume that we have two Banach spaces $B_1, B_2$ with their underlying sets being identical. Is it possible that a Cauchy sequence in one of the spaces would fail to be Cauchy in the other? I am ...
6
votes
1answer
1k views

Compactness of Multiplication Operator on $L^2$

Suppose we have an bounded linear operator A that operates from $L^2([a,b]) \mapsto L^2([a,b])$. Now suppose that $A(f)(t) = tf(t)$. Is A compact? Edit: I know $A = A^*$ but I'm not really sure ...
6
votes
1answer
476 views

Sum of Closed Operators Closable?

Let $A$ and $B$ be closed operators on a (separable complex) Hilbert space with dense domains $D(A)$ and $D(B)$ respecitvely. Then, we may define the operator $A+B$ on $D(A)\cap D(B)$. In general, ...
6
votes
1answer
467 views

Reproducing kernel Hilbert spaces and the isomorphism theorem

A reproducing kernel Hilbert space is a Hilbert space in which the evaluation functional $L_x : f \rightarrow f(x)$ is continuous. By continuity, the Riesz representation theorem says that this ...
6
votes
1answer
80 views

$\sin$ and $\cos$ are the basis of what space?

When learning Fourier expansions, we learn that $\{\sin(mx), \cos(mx)\}_{m \in \Bbb N}$ is an orthonormal basis for our space and thus we can expand functions in it. My question is what space is this ...
6
votes
1answer
198 views

Matrix Representation of Trace Class Operators

Suppose we have a separable Hilbert space (thus with a countable basis) and that represent an operator in matrix form, i.e: $A: H \rightarrow H $$$x \;\rightarrow \sum_{j \in \mathbb{N}}\left(\sum_{k ...
6
votes
3answers
343 views

Why isn't it a Hilbert space

Let $X$ be the vector space of all the continuous complex-valued functions on $[0,1]$. Then $X$ has an inner product $$(f,g) = \int_0^1 f(t)\overline{g(t)} dt$$ to make it an inner product space. But ...
6
votes
2answers
696 views

Recognition of an orthonormal complete set in an Hilbert Space

I recently came across this exercise: Let $u_n:[0,1]\to \mathbb R$ be the sequence of functions defined by: $$(u_n):=\text{sign }(\sin(2^n\pi x)),\qquad n=0,1,2,\dots$$ a)Prove that this set of ...
6
votes
2answers
293 views

Example of a non-algebraic $\ell^2$-function in two variables

Let's call an $\ell^2$-function $\mathbb{N} \times \mathbb{N} \to \mathbb{C}$ algebraic if it is in the image of the natural algebra homomorphism $\ell^2(\mathbb{N}) \otimes \ell^2(\mathbb{N}) \to ...
6
votes
2answers
28 views

Prove Operator is a Projector

Let $\mathscr{H}$ be a complex Hilbert space. A projector is a linear map $P:\mathscr{H}\to\mathscr{H}$ such that $P\circ P = P$. I'm trying to prove the following claim, from the information given ...
6
votes
1answer
51 views

Derive Fourier transform from what it should do?

I was wondering about the following: Imagine you want to figure out whether there is a transform that exchanges differentiation with multiplication and convoution with pairwise transformation for ...
6
votes
1answer
291 views

Approximation of bounded and continuous mappings

Does anyone know if we can approximate a bounded (i.e. bounded sets in V are mapped to bounded sets in V': for every bounded $U\subseteq V$ and $x\in U$, there exists $K_U>0$ such that ...
6
votes
2answers
464 views

On the isometry between bounded linear operators and the dual of nuclear linear operators

Let $H$ be a separable Hilbert space. Let $(e_i)_i$ be an orthonormal basis. For any bounded linear map $T$ we write, whenever possible $$\operatorname{tr} T := \sum_{i}^{\infty} \langle T e_i, e_i ...
6
votes
1answer
254 views

Measure on a separable Hilbert space

Let $H$ be a real separable Hilbert space. Is it true that there exist a probability space $(\Omega, \mu)$ and a measurable function $\pi\colon \Omega \to H$ such that for any $h \in H$ we have $$ ...
6
votes
1answer
142 views

A complete eigenvector basis for the restricted operator

Let $X$ be a (not necessarily bounded) selfadjoint linear operator on a Hilbert space $H$ and let $M$ be a closed subspace such that $X(M) \subset M$. Suppose that $X$ admits an orthonormal basis ...
6
votes
1answer
302 views

Two different definitions of ellipticity

This is a question originating in another mathematics forum, matematicamente.it (in Italian). In literature one encounters the word elliptic in (at least) two different definitions. In what follows ...
6
votes
1answer
94 views

Show that an unbouned normal operator is closed

A linear operator $A$ is called nomal if $\mathcal{D}(A)=\mathcal{D}(A^{*})$ and $\lVert A\phi\rVert =\lVert A^{*}\phi\rVert$ for every $\phi\in \mathcal{D}(A)$. Show that normal operators are closed. ...
6
votes
1answer
642 views

Isomorphic Hilbert spaces

As part of a broader proof , I need to show that every two separable Hilbert spaces (that contains a dense countable set) are isomorphic (the linear mapping from one space to the other is injective ...
6
votes
0answers
137 views

Does this sequence of operators converge in norm or strongly?

Let $H$ be a Hilbert space and $\mathcal{L}(H)$ the set of all bounded linear operators $L:H\to H$, equiped with the usual norm $\|\cdot\|_{\mathcal{L}}$. Let $T:D(T)\subset H\to H$ be a ...
6
votes
0answers
419 views

Why is the numerical range of an operator convex?

Let $T$ be a Hilbert space operator. Its numerical range is \begin{equation} W(T)=\{\langle Tx,x\rangle:\|x\|=1\}.\end{equation} It is a well-known fact that $W(T)$ is a convex subset of the complex ...
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
113 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
2answers
218 views

Hilbert space with all subspaces closed

Does there exist an infinite-dimensional Hilbert space with all subspaces closed?
5
votes
3answers
462 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
523 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
592 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
200 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
2answers
603 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 ...