В статистике и теории кодирования пространство Хэмминга обычно представляет собой множество всех двоичных строк длины N , где различные двоичные строки считаются смежными, если они отличаются только в одной позиции. Общее расстояние между любыми двумя двоичными строками тогда равно общему числу позиций, в которых соответствующие биты различны, называемому расстоянием Хэмминга . [1] [2] Пространства Хэмминга названы в честь американского математика Ричарда Хэмминга , который ввел это понятие в 1950 году. [3] Они используются в теории кодирования сигналов и передачи.
В более общем смысле пространство Хэмминга можно определить над любым алфавитом (множеством) Q как множество слов фиксированной длины N с буквами из Q. [4] [5] Если Q — конечное поле , то пространство Хэмминга над Q — это N -мерное векторное пространство над Q. В типичном, двоичном случае поле, таким образом, есть GF(2) (также обозначается Z 2 ). [4]
В теории кодирования, если Q имеет q элементов, то любое подмножество C (обычно предполагается, что его мощность не менее двух) N -мерного пространства Хэмминга над Q называется q-ичным кодом длины N ; элементы C называются кодовыми словами . [4] [5] В случае, когда C является линейным подпространством своего пространства Хэмминга, оно называется линейным кодом . [4] Типичным примером линейного кода является код Хэмминга . Коды, определенные через пространство Хэмминга, обязательно имеют одинаковую длину для каждого кодового слова, поэтому они называются блочными кодами , когда необходимо отличать их от кодов переменной длины , которые определяются уникальной факторизацией на моноиде.
Расстояние Хэмминга наделяет пространство Хэмминга метрикой , которая необходима для определения основных понятий теории кодирования, таких как коды обнаружения и исправления ошибок . [4]
Также рассматривались пространства Хэмминга над неполевыми алфавитами, особенно над конечными кольцами (прежде всего над Z 4 ), что привело к появлению модулей вместо векторных пространств и кольцевых линейных кодов (идентифицируемых с подмодулями ) вместо линейных кодов. Типичная метрика, используемая в этом случае, — расстояние Ли . Существует изометрия Грея между (т. е. GF(2 2m )) с расстоянием Хэмминга и (также обозначаемая как GR(4,m)) с расстоянием Ли. [6] [7] [8]