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

Mathematics Asked on January 5, 2022

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

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.

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

## 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.

1  Asked on January 7, 2022

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

4  Asked on January 7, 2022

### Find an example of sets of cosets of different cardinality

3  Asked on January 7, 2022

### Prime number checker formula

2  Asked on January 7, 2022 by mondo-duke

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

1  Asked on January 7, 2022

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

0  Asked on January 7, 2022

### Why this map is birational?

0  Asked on January 7, 2022

### Relationship between multivariate Bernoulli random vector and categorical random variable

1  Asked on January 7, 2022

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

41  Asked on January 7, 2022

### The topology generated by open intervals of rational numbers

1  Asked on January 7, 2022 by roslavets

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

3  Asked on January 7, 2022 by as-soon-as-possible

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

1  Asked on January 7, 2022

### Prove the series converges almost everywhere

1  Asked on January 7, 2022 by christopher-rose

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

1  Asked on January 7, 2022

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

4  Asked on January 7, 2022 by dcdaking

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

1  Asked on January 7, 2022 by brucemcmc

### 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$?

1  Asked on January 7, 2022 by fred-akalin

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

2  Asked on January 7, 2022 by hwood87

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

2  Asked on January 7, 2022

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

1  Asked on January 7, 2022 by zhanxiong