Why is identity map on a separable Hilbert space not compact? False proof.

Mathematics Asked on January 5, 2022

Let $e_n$ be the orthonormal basis. Then the projection map onto $H$ is defined by $sum(x,e_k)e_k$. What is stopping us from taking a finite part of this series. This gives us a compact operators, that converge to the identity map. Clearly something is wrong here not all Hilbert spaces are finite dimensional.

compact operators functional analysis hilbert spaces

One Answer

Beacause that sequence of operators does not converge to the identity: if $ninBbb N$,$$leftlVert e_{n+1}-sum_{j=1}^nlangle e_{n+1},e_krangle e_krightrVert=lVert e_{n+1}rVert=1$$and therefore$$leftlVertoperatorname{Id}-sum_{k=1}^nlanglecdot,e_krangle e_krightrVertgeqslant1.$$

Answered by José Carlos Santos on January 5, 2022

Why is identity map on a separable Hilbert space not compact? False proof.

One Answer

Add your own answers!

Related Questions

Why should this result be true? If $f: [0,1] to mathbb{R}$ is differentiable, $g$ is continuous, and $f'(t) = g(f(t)),$ then $f$ is monotonic.

Evaluate $int_0^1frac{mathrm{e}^{12x}-mathrm{e}^{-12x}}{mathrm{e}^{12x}+mathrm{e}^{-12x}},mathrm{d}x$

Find an example of sets of cosets of different cardinality

Prime number checker formula

About holomorph of a finite group being the normalizer of regular image

How do you generally tell the independence of events in a probability problem when it is not outright stated?

Why this map is birational?

Relationship between multivariate Bernoulli random vector and categorical random variable

Can’t argue with success? Looking for “bad math” that “gets away with it”

The topology generated by open intervals of rational numbers

If the solutions of $X’=AX$ have a constant norm then $A$ is skew symmetric.

An interesting identity involving the abundancy index of divisors of odd perfect numbers

Prove the series converges almost everywhere

Prove that the functional in $C_c^0(Omega)$ is a Radon measure

How can I evaluate ${lim_{hto 0}frac{cos(pi + h) + 1}{h}}$?

Estimate $f(b)$ using Taylor Expansion for $f'(x) = cos(x^2)$

If $f ∈ C^∞(M)$ has vanishing first-order Taylor polynomial at $p$, is it a finite sum of $gh$ for $g, h ∈ C^∞(M)$ that vanish at $p$?

$ sum_{n=1}^infty csc^2(omegapi n)= frac{A}{pi} +B $

Show that $f$ is a strong contraction when $f$ is continuously differentiable.

Decomposition of a linear operator to a partially orthogonal operator and a semi-definite self-adjoint operator

Ask a Question