В математике характеристика объекта — это набор условий, которые, хотя и могут отличаться от определения объекта, логически эквивалентны ему. [1] Сказать, что «Свойство P характеризует объект X », означает сказать, что не только X имеет свойство P , но и что X — единственное , что имеет свойство P (т. е. P — определяющее свойство X ). Аналогично, говорят, что набор свойств P характеризует X , когда эти свойства отличают X от всех других объектов. Даже если характеристика идентифицирует объект уникальным образом, для одного объекта может существовать несколько характеристик. Общие математические выражения для характеристики X в терминах P включают « P необходимо и достаточно для X » и « X выполняется тогда и только тогда, когда P ».
Также часто встречаются утверждения типа «Свойство Q характеризует Y с точностью до изоморфизма ». Первый тип утверждений говорит другими словами, что расширение P — это одноэлементное множество, тогда как второй говорит, что расширение Q — это один класс эквивалентности (для изоморфизма в данном примере — в зависимости от того, как используется свойство с точностью до , может быть задействовано некоторое другое отношение эквивалентности ).
В справочнике по математической терминологии отмечается, что характеристика происходит от греческого термина kharax , «острый кол»:
От греческого kharax произошло kharakhter , инструмент, используемый для маркировки или гравировки объекта. Как только объект был отмечен, он становился отличительным, поэтому характер чего-либо стал означать его отличительную природу. Позднегреческий суффикс -istikos преобразовал существительное character в прилагательное characteristics , которое, в дополнение к сохранению своего адъективного значения, позже также стало существительным. [2]
Так же, как в химии характерное свойство материала будет служить для идентификации образца, или в изучении материалов, структур и свойств будет определять характеристику , в математике есть постоянные усилия по выражению свойств, которые будут отличать желаемую особенность в теории или системе. Характеризация не является уникальной для математики, но поскольку наука абстрактна, большую часть деятельности можно описать как «характеризация». Например, в Mathematical Reviews по состоянию на 2018 год более 24 000 статей содержат это слово в названии статьи и 93 600 где-то в обзоре.
В произвольном контексте объектов и признаков характеристики были выражены через гетерогенное отношение aRb , означающее, что объект a имеет признак b . Например, b может означать абстрактный или конкретный . Объекты можно считать расширениями мира, в то время как признаки являются выражениями интенций . Продолжающаяся программа характеристики различных объектов приводит к их категоризации .