Intereting Posts

Jobs in industry for pure mathematicians
Question on compactification
probability of picking a specific card from a deck
Parity through Series expansion
Continuity of $d(x,A)$
How to prove Mandelbrot set is simply connected?
$f\geq 0$, continuous and $\int_a^b f=0$ implies $f=0$ everywhere on $$
Local maxima of Legendre polynomials
Number Of Solutions $X^{2}=X$
Classifying the compact subsets of $L^p$
Does any uncountable set contain two disjoint uncountable sets?
Natural way of looking at projective transformations.
Step in Proof of Cardinality of Product of two Groups
Extension of a Uniformly Continuous Function between Metric Spaces
Proof of $\sum^{2N}_{n=1} \frac{(-1)^{n-1}}{n} = \sum^{N}_{n=1} \frac{1}{N+n}$

I’m having a bit trouble with this homework exercise.

Let $\mathcal{H}$ be a Hilbert space and $\{u_n\}_{n=1}^\infty$ an

orthonormal sequence in $\mathcal{H}$. Let $A$ be a compact operator

on $\mathcal{H}$. Show that $\|Au_n \| \to 0$ as $n\to \infty$.

My book defines a compact operator as an operator $A$ such that whenever $f_n$ is bounded, then $Af_n$ has a convergent subsequence (equivalently, the image of $A$ is relatively compact).

- Weak convergence in a subspace
- Elliptic Regularity Theorem
- Is the weak topology sequential on some infinite-dimensional Banach space?
- Why don't analysts do category theory?
- Compact operator with closed range has finite dimensional range
- Generalized convex combination over a Banach space

It seems I must somehow combine the fact that $Au_n$ has a convergent subsequence with the fact that $\{u_n\}$ is orthonormal. This is where I get stuck. Maybe I can somehow use the fact that $\|u_n-u_m \| = \sqrt{2}\, $ for $m \neq n$.

- Proof of Goldstine's theorem
- Must a weakly or weak-* convergent net be eventually bounded?
- $X$ compact Hausdorff space, characterize the maximal ideals of $C(X)$
- $C_0(X)$ is not the dual of a complete normed space
- How can I show $U^{\bot \bot}\subseteq \overline{U}$?
- Why is $l^\infty$ not separable?
- Adjoint matrix eigenvalues and eigenvectors
- If $T^2=TT^*$ then can i conclude that $T=T^*$?
- Properties of Hardy operator $T(u)(x)=\frac{1}{x}\int_0^x u(t)dt$
- Separation in dual space

I suppose it is clear for you that a compact operator is clearly bounded so continuous.

Suppose that the $(Au_n)$ has a convergent subsequence towards $v$ not zero. For the sake of simplicity, let us note also $(Au_n)$ this subsequence. $(u_n)$ is then also an orthonormal sequence in $\mathcal{H}$. Set $v_n=\frac{1}{n}\sum_{k=n}^{2n}u_k$. It is clear that the sequence $(v_n)$ converges towards $0$. But $(Av_n)$ converge towards $v$ which is not zero. QEA.

- Intuitive explanation for formula of maximum length of a pipe moving around a corner?
- Primes approximated by eigenvalues?
- Ergodicity of tent map
- Help: rules of a game whose details I don't remember!
- In every set of $14$ integers there are two that their difference is divisible by $13$
- Continuous function on metric space
- Cylinder Gaussian Curvature
- Software for drawing geometry diagrams
- Sum of combinations of the n by consecutive k
- How to get to the formula for the sum of squares of first n numbers?
- Infinity times $i$
- TicTacToe State Space Choose Calculation
- If $d$ is a metric, then $d/(1+d)$ is also a metric
- Proving the Möbius formula for cyclotomic polynomials
- $A$ is an affine $K$-algebra and $f$ a non-zero divisor of $A$. Can one say that $\dim A=\dim A_f$?