В математике и информатике каноническая , нормальная или стандартная форма математического объекта — это стандартный способ представления этого объекта в виде математического выражения . Часто это тот, который обеспечивает простейшее представление объекта и позволяет его идентифицировать уникальным способом. Различие между «каноническими» и «нормальными» формами варьируется от подполя к подполю. В большинстве полей каноническая форма определяет уникальное представление для каждого объекта, тогда как нормальная форма просто определяет его форму без требования уникальности. [1]
Каноническая форма натурального числа в десятичном представлении — это конечная последовательность цифр, не начинающаяся с нуля. В более общем смысле, для класса объектов, на которых определено отношение эквивалентности , каноническая форма состоит в выборе конкретного объекта в каждом классе. Например:
В информатике, а точнее в компьютерной алгебре , при представлении математических объектов в компьютере обычно существует множество разных способов представления одного и того же объекта. В этом контексте каноническая форма — это такое представление, при котором каждый объект имеет уникальное представление (при этом канонизация — это процесс, посредством которого представление приводится в его каноническую форму). [2] Таким образом, равенство двух объектов можно легко проверить, проверив равенство их канонических форм.
Несмотря на это преимущество, канонические формы часто зависят от произвольного выбора (например, упорядочения переменных), что создает трудности при проверке равенства двух объектов, возникающих в результате независимых вычислений. Следовательно, в компьютерной алгебре нормальная форма — более слабое понятие: нормальная форма — это представление, в котором ноль представлен однозначно. Это позволяет проверять равенство, придавая разнице двух объектов нормальную форму.
Каноническая форма также может означать дифференциальную форму , определенную естественным (каноническим) способом.
Учитывая набор S объектов с отношением эквивалентности R на S , каноническая форма задается путем обозначения некоторых объектов S как находящихся «в канонической форме», так что каждый рассматриваемый объект эквивалентен ровно одному объекту в канонической форме. Другими словами, канонические формы в S представляют классы эквивалентности один и только один раз. Чтобы проверить, эквивалентны ли два объекта, достаточно проверить равенство их канонических форм. Таким образом, каноническая форма обеспечивает классификационную теорему и многое другое, поскольку она не только классифицирует каждый класс, но также дает выдающегося (канонического) представителя для каждого объекта в классе.
Формально канонизация по отношению эквивалентности R на множестве S — это отображение c : S → S такое, что для всех s , s1 , s2 ∈ S :
Свойство 3 является избыточным; это следует путем применения 2 к 1.
С практической точки зрения часто бывает полезно распознавать канонические формы. Также необходимо рассмотреть практический, алгоритмический вопрос: как перейти от данного объекта s из S к его канонической форме s *? Канонические формы обычно используются для повышения эффективности работы с классами эквивалентности. Например, в модульной арифметике канонической формой класса вычетов обычно считается наименьшее неотрицательное целое число в нем. Операции над классами осуществляются путем объединения этих представителей и последующего приведения результата к наименьшему неотрицательному остатку. Требование уникальности иногда ослабляется, позволяя формам быть уникальными с точностью до некоторого более тонкого отношения эквивалентности, например, допуская изменение порядка терминов (если нет естественного порядка терминов).
Каноническая форма может быть просто соглашением или глубокой теоремой. Например, полиномы обычно записываются с помощью членов в убывающих степенях: чаще пишут x 2 + x + 30, чем x + 30 + x 2 , хотя обе формы определяют один и тот же полином. Напротив, существование жордановой канонической формы матрицы является глубокой теоремой.
Согласно OED и LSJ , термин канонический происходит от древнегреческого слова kanonikós ( κανονικός , «регулярный, согласно правилу») от kanṓn ( κᾰνών , «жезл, правило»). Чувство нормы, стандарта или архетипа использовалось во многих дисциплинах. Математическое использование засвидетельствовано в письме Логана от 1738 года . [3] Немецкий термин « каноническая форма» засвидетельствован в статье Эйзенштейна 1846 года , [4] позже в том же году Ришело использует термин « Нормальная форма» в статье, [5] , а в 1851 году Сильвестр пишет: [6]
«Теперь я перехожу к [...] способу сведения алгебраических функций к их простейшим и наиболее симметричным, или, как мой замечательный друг М. Эрмит вполне предлагает назвать их, к их каноническим формам ».
В тот же период использование засвидетельствовано Гессе («Нормальная форма»), [7] Эрмитом («каноническая форма»), [8] Борхардтом («форма каноническая»), [9] и Кэли («каноническая форма»). [10]
В 1865 году Словарь науки, литературы и искусства определяет каноническую форму как:
«В математике обозначает форму, обычно самую простую или наиболее симметричную, к которой без потери общности можно свести все функции одного класса».
Примечание: в этом разделе « до » некоторого отношения эквивалентности E означает, что каноническая форма вообще не уникальна, но что если один объект имеет две разные канонические формы, они E-эквивалентны.
Стандартная форма используется многими математиками и учеными для записи чрезвычайно больших чисел более кратким и понятным способом, наиболее известной из которых является научная запись . [11]
Напротив, существуют альтернативные формы записи уравнений. Например, уравнение линии может быть записано как линейное уравнение в форме наклона точки и точки пересечения наклона .
Выпуклым многогранникам можно привести каноническую форму так, что:
Каждое дифференцируемое многообразие имеет кокасательное расслоение . Этому расслоению всегда можно наделить некоторую дифференциальную форму , называемую канонической одноформой . Эта форма придает кокасательному расслоению структуру симплектического многообразия и позволяет интегрировать векторные поля на многообразии с помощью уравнений Эйлера-Лагранжа или с помощью гамильтоновой механики . Такие системы интегрируемых дифференциальных уравнений называются интегрируемыми системами .
Изучение динамических систем частично совпадает с изучением интегрируемых систем ; там есть идея нормальной формы (динамических систем) .
При изучении трехмерных многообразий есть первая фундаментальная форма , вторая фундаментальная форма и третья фундаментальная форма .
Символическое преобразование формулы из одной формы в другую называется «переписыванием» этой формулы. Можно изучить абстрактные свойства переписывания общих формул, изучая набор правил, с помощью которых формулами можно правильно манипулировать. Это «правила переписывания» — неотъемлемая часть абстрактной системы переписывания . Общий вопрос заключается в том, можно ли привести некоторое родовое выражение к единой, общей форме, нормальной форме. Если различные последовательности перезаписей по-прежнему приводят к одной и той же форме, то эту форму можно назвать нормальной формой, а перезапись - сливающейся. Не всегда удается получить нормальную форму.
В теории графов , разделе математики, канонизация графов — это проблема нахождения канонической формы данного графа G. Каноническая форма — это помеченный граф Canon( G ), изоморфный G , такой, что каждый граф, изоморфный G , имеет ту же каноническую форму, что и G. Таким образом, из решения проблемы канонизации графов можно также решить проблему изоморфизма графов : проверить, изоморфны ли два графа G и H , вычислить их канонические формы Canon( G ) и Canon( H ) и проверить, являются ли эти графы изоморфными. две канонические формы идентичны.
В вычислительной технике приведение данных к любой канонической форме обычно называется нормализацией данных .
Например, нормализация базы данных — это процесс организации полей и таблиц реляционной базы данных для минимизации избыточности и зависимостей. [13]
В области безопасности программного обеспечения распространенной уязвимостью является непроверенный вредоносный ввод (см. Внедрение кода ). Решением этой проблемы является правильная проверка ввода . Прежде чем будет выполнена проверка входных данных, входные данные обычно нормализуются путем устранения кодирования (например, кодирования HTML ) и сведения входных данных к одному общему набору символов .
Другие формы данных, обычно связанные с обработкой сигналов (включая аудио и изображения ) или машинным обучением , могут быть нормализованы, чтобы обеспечить ограниченный диапазон значений.
В управлении контентом применима концепция единого источника истины (SSOT), так же, как и в нормализации баз данных в целом и в разработке программного обеспечения . Грамотные системы управления контентом предоставляют логические способы его получения, например включение .
