Le théorème d'Atkinson est un résultat d'analyse fonctionnelle qui caractérise les opérateurs de Fredholm.