I got a small question concerning the proof of a min-max theorem for selfadjoint operators that I'm currently trying to understand.
The article I'm refering to is http://en.wikipedia.org/wiki/Min-max_theorem#Compact_operators Section: Compact operators.
So my problem is the proof of showing that the intersection of S' and $S_{k}$ is non-empty. First of all the proof is written down in a bit of confusing way. For example I suspect that S' is basically the space of all eigenvectors belonging to eigenvalues greater or equal to $\lambda_{k}$. (They don't really point out what the $u_{i}$ with i=k,k+1,... are. I suspect that they are the eigenvectors. Nonetheless the notation is a bit misleading since it suggests that there's only one eigenvector $u_{k}$ for the eigenvalue $\lambda_{k}$.) Now the part that puzzles me starts: First, they point out that S' has codimension k-1. Doesn't that mean that we only have one eigenvector for every eigenvalue $\lambda_{i}$ with i
Second, they say that they use a "dimension count argument" to show that the intersection is non-empty. I figured out that argument for the finite dimensional (matrix) case but couldn't figure it out for the infinite dimensional case.
I'm still a student, so I'd be happy if someone could show me just these two arguments in detail. My background is also more from physics, so I'm not an expert when it comes to infinite dimensional vectorspace.
I'd be more than happy if someone could help me. Thanks in advance!!