En mathématiques, et plus particulièrement en géométrie algébrique, la taille et la complexité d'une variété algébrique (ou d'un schéma) est d'abord mesurée par sa dimension. Elle est fondée sur la topologie de Zariski et coïncide avec l'intuition dans le cas des espaces affines.