Fredholm の択一定理は関数解析入門の華と言える重要な定理だが、 多くの解説書で「有限次元空間では明らかに成り立つ」と説明してあるのは、 実は初学者にとってかなり意地悪であると思われる。 最近の線形代数の本には書いていないことが多いから。