Дискретность в наиболее простой форме означает, что пространство строится из некоторых одинаковых неделимых конечных элементов. Казалось бы, все просто: приставляя элементы один к другому, мы получаем прямую, плоскость, трехмерное пространство и так далее, в зависимости от нашего желания или необходимости. Однако при размышлениях на эту тему возникают психологические противоречия.
Выдающийся немецкий математик Г. Вейль так сказал о гипотезе дискретности: «Как следует понимать согласно этой идее существующие в пространстве отношения мер длин? Если сложить из камешков квадрат, то на диагонали будет лежать столько же камешков, сколько их имеется в направлении стороны. Таким образом, диагональ должна иметь ту же длину, что и сторона». Вейль наивно применяет непрерывную меру к дискретному пространству, чего делать нельзя. Дискретное расстояние нужно мерить дискретной мерой, т. е. числом камешков. С этой точки зрения диагональ действительно имеет ту же длину, что и сторона.
Впервые упоминание о дискретном представлении непрерывного множества встречается у средневековых арабских философов, с точки зрения которых для образования квадрата (или границы квадрата, т. е. окружности) требуются четыре точки. Много размышлял над идеей дискретного пространства Альберт Эйнштейн. В одной из своих статей он писал: «Я придерживаюсь представлений о континууме не потому, что исхожу из некоторого предрассудка, а потому, что не могу придумать ничего такого, что могло бы органически заменить эти представления. Каким образом следует сохранить наиболее существенные черты четырехмерности, если отказаться от этого представления?»
Решение проблемы создания дискретного пространства, как это часто бывает, пришло с неожиданной стороны. И это решение — наглядный пример того, как потребности практики влияют на науку. Сравнительно недавно были разработаны математические основы многомерной компьютерной графики, называемой также дигитальной топологией. Дигитальные, т. е. выстроенные из одинаковых неделимых единых элементов, образы различных объектов появляются в силу особенностей компьютера, где такими элементами являются, прежде всего, ячейки памяти. Кроме того, в любом компьютере образ объекта состоит всегда из конечного числа элементов, ограниченного объемом памяти машины. В многомерной компьютерной графике имеется несколько альтернативных подходов. Один из подходов называется теорией молекулярных пространств
