En topologie, on appelle cube de Hilbert l'espace produit muni de la topologie produit, autrement dit : l'espace des suites à valeurs dans [0, 1], muni de la topologie de la convergence simple. D'après le théorème de Tykhonov, c'est un espace compact. Il est homéomorphe au sous-espace suivant de l, pour tous : Il est donc métrisable et par conséquent (puisqu'il est compact), séparable et possède la propriété suivante : Cela fournit en particulier un moyen commode pour compactifier les espaces métrisables séparables, et aussi un critère pour les classifier selon leur complexité ; par exemple un espace est polonais si et seulement s'il est homéomorphe à l'intersection d'une suite d'ouverts de K.
Un miroir est un objet possédant une surface suffisamment polie pour qu'une s'y forme par réflexion et qui est conçu à cet effet. C'est souvent une couche métallique fine, qui, pour être protégée, est placée sous une plaque de verre pour les miroirs domestiques (les miroirs utilisés dans les instruments d'optiques comportent la face métallique au-dessus, le verre n'étant qu'un support de qualité mécanique stable). En termes de miroiterie, le miroir est une glace de petit volume, c'est-à-dire de petites dimensions.
Un miroir sphérique est un miroir dont la forme est une calotte sphérique, c'est-à-dire une sphère tronquée par un plan. L'ouverture du miroir est donc un disque, et son axe optique est la droite normale à l'ouverture et passant par son centre. Il existe des miroirs sphériques convexes et concaves. Le miroir sphérique est astigmatique, c'est-à-dire que des rayons issus d'un même point source ne convergent pas. Il n'est stigmatique que pour son centre qui est sa propre image.