En mathématiques, le théorème de Banach-Stone, nommé d'après Stefan Banach et Marshall Stone, est un résultat d'analyse fonctionnelle selon lequel si deux espaces compacts ont le « même » espace vectoriel normé (à isomorphisme près) d'applications continues à valeurs complexes, alors ils sont homéomorphes.
