Эта статья включает в себя список общих ссылок , но он остается в значительной степени непроверенным, поскольку в нем отсутствует достаточное количество соответствующих встроенных ссылок . ( Декабрь 2009 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
В математике , функция индикатора или характеристической функцией является функция , определенная на множестве X , который указывает на принадлежность элемента в подмножество A из X , имеющее значение 1 для всех элементов X в A и значение 0 для всех элементов X не в A . Обычно он обозначается символом 1 или I , иногда полужирным шрифтом или полужирным шрифтом на доске , с нижним индексом, определяющим подмножество.
В других контекстах, таких как информатика , это чаще описывалось бы как логическая функция- предикат (для проверки включения набора).
Функция Дирихле - это пример индикаторной функции и индикатор рациональных чисел .
Определение [ править ]
Индикаторная функция подмножества A множества X - это функция
определяется как
Кронштейн Айверсон обеспечивает эквивалентное обозначение, или ⧙ х ε ⧘ , чтобы использовать вместо .
Функция иногда обозначается , , K или даже просто . [а] [б]
Обозначения и терминология [ править ]
Обозначение также используется для обозначения характеристической функции в выпуклом анализе , который определяется, как если бы он был обратным стандартному определению индикаторной функции.
Связанное с этим понятие в статистике - это фиктивная переменная . (Это не следует путать с «фиктивными переменными», поскольку этот термин обычно используется в математике, также называемый связанной переменной .)
Термин « характеристическая функция » не имеет отношения к классической теории вероятностей . По этой причине традиционные вероятностники используют термин индикаторная функция почти исключительно для определенной здесь функции, в то время как математики в других областях с большей вероятностью будут использовать термин характеристическая функция [a] для описания функции, которая указывает на принадлежность к набору.
В нечеткой логике и современной многозначной логики , предикаты являются характеристическими функциями из с распределением вероятностей . То есть строгое определение истинности / ложности предиката заменяется величиной, интерпретируемой как степень истинности.
Основные свойства [ править ]
Индикатор или характерная функция подмножества А из некоторого множества X отображает элементы X в диапазон {0, 1}.
Это отображение сюръективно только тогда , когда является непустым собственным подмножеством из X . Если A ≡ X , то 1 A = 1. Аналогичным образом, если A ≡ Ø, то 1 A = 0.
Далее точка представляет собой умножение, 1 · 1 = 1, 1 · 0 = 0 и т. Д. «+» И «-» представляют собой сложение и вычитание. " " и " " - это пересечение и объединение соответственно.
Если и - два подмножества , то
и индикаторная функция дополнения в ИЭ является:
- .
В более общем плане , предположим , что представляет собой совокупность подмножеств X . Для любого :
явно является произведением нулей и единиц. Этот продукт имеет значение 1 точно для тех, которые не принадлежат ни одному из наборов, и 0 в противном случае. Это
Раскладывая товар с левой стороны,
где мощность F [ требуется дальнейшее объяснение ] . Это одна из форм принципа включения-исключения .
Как было предложено в предыдущем примере, индикаторная функция является полезным средством записи в комбинаторике . Обозначение также используется в других местах, например, в теории вероятностей : если X - вероятностное пространство с вероятностной мерой, а A - измеримое множество , то становится случайной величиной , ожидаемое значение которой равно вероятности A :
- .
Это тождество используется в простом доказательстве неравенства Маркова .
Во многих случаях, таких как теория порядка , может быть определена обратная индикаторная функция. Это обычно называется обобщенной функцией Мёбиуса , как обобщение обратной функции индикатора в элементарной теории чисел , функции Мёбиуса . (См. Параграф ниже об использовании обратной в классической теории рекурсии.)
Среднее, дисперсия и ковариация [ править ]
Учитывая вероятностное пространство с , индикаторная случайная величина определяется, если в противном случае
- Иметь в виду
- Дисперсия
- Ковариация
Характеристическая функция в теории рекурсии, представляющая функция Гёделя и Клини [ править ]
Курт Гёдель описал представляющую функцию в своей статье 1934 года «О неразрешимых предложениях формальных математических систем»: [1]
- "Каждому классу или отношению R должна соответствовать функция φ ( x 1 , ... x n ) = 0, если R ( x 1 , ... x n ) и φ ( x 1 , ... x n ) = 1, если ¬ R ( x 1 , ... x n ) ". [1] ( стр. 42 ) («¬» указывает на логическую инверсию, то есть «НЕ»)
Клини (1952) [2] предлагает то же определение в контексте примитивных рекурсивных функций, поскольку функция φ предиката P принимает значения 0, если предикат истинен, и 1, если предикат ложен.
Например, поскольку произведение характеристических функций φ 1 * φ 2 * ... * φ n = 0 всякий раз, когда любая из функций равна 0, оно играет роль логического ИЛИ: ЕСЛИ φ 1 = 0 ИЛИ φ 2 = 0 ИЛИ ... ИЛИ φ n = 0 ТОГДА их произведение равно 0. То, что современному читателю кажется логической инверсией представляющей функции, т. Е. Представляющая функция равна 0, когда функция R "истинна" или удовлетворена ", играет полезную роль. В определении Клини логических функций OR, AND и IMPLY (стр. 228), ограниченных (стр. 228) и неограниченных (стр. 279 и далее) мю-операторов (Клини (1952)) и функции CASE (стр. 229).
Характеристическая функция в теории нечетких множеств [ править ]
В классической математике характеристические функции множеств принимают только значения 1 (члены) или 0 (не члены). В теории нечетких множеств характеристические функции обобщаются, чтобы принимать значение в реальном единичном интервале [0, 1] или, в более общем смысле, в некоторой алгебре или структуре (обычно требуется, чтобы она была по крайней мере ч.у. или решеткой ). Такие обобщенные характеристические функции чаще называют функциями принадлежности , а соответствующие «множества» - нечеткими множествами. Нечеткие множества моделируют постепенное изменение степени членства, наблюдаемое во многих реальных предикатах, таких как «высокий», «теплый» и т. Д.
Производные индикаторной функции [ править ]
Особой индикаторной функцией является ступенчатая функция Хевисайда . Ступенчатая функция Хевисайда H ( x ) является индикаторной функцией одномерной положительной полупрямой, то есть области [0, ∞). Производная по распределению ступенчатой функции Хевисайда равна дельта-функции Дирака , т. Е.
со следующим свойством:
Производную ступенчатой функции Хевисайда можно рассматривать как производную по внутренней нормали на границе области, заданной положительной полупрямой. В более высоких измерениях, производная естественно обобщает к внутренней нормальной производной, а функция Хевисайда естественно обобщается на функцию индикатора некоторой области D . Поверхность D будем обозначать через S . Исходя из этого, можно вывести, что производная индикатора по внутренней нормали порождает «поверхностную дельта-функцию», которую можно обозначить как δ S ( x ):
где п есть внешний нормальная часть поверхности S . Эта «поверхностная дельта-функция» обладает следующим свойством: [3]
При установке функции F равен единице, то отсюда следует , что внутренний нормальная производная индикатор интегрирует к численному значению площади поверхности S .
См. Также [ править ]
- Мера Дирака
- Лапласиан индикатора
- Дельта Дирака
- Расширение (логика предиката)
- Свободные переменные и связанные переменные
- Ступенчатая функция Хевисайда
- Кронштейн Айверсона
- Дельта Кронекера , функция, которую можно рассматривать как индикатор тождественного отношения
- Брекеты Маколея
- Мультимножество
- Функция принадлежности
- Простая функция
- Фиктивная переменная (статистика)
- Статистическая классификация
- Функция потерь нуля или единицы
Заметки [ править ]
- ^ Б греческая буква появляется , потому что это начальная буква греческого слова χαρακτήρ , что является конечным происхождением слова характеристики .
- ^ Множество всех индикаторных функций на X можно отождествить с, в наборе мощности от X . Следовательно, оба набора иногда обозначают. Это частный случай () обозначениямножества всех функций.
Ссылки [ править ]
- ^ а б Дэвис, Мартин , изд. (1965). Неразрешимое . Нью-Йорк, Нью-Йорк: Книги Raven Press. С. 41–74.
- ^ Клини, Стивен (1971) [1952]. Введение в метаматематику (Шестое переиздание, с исправлениями, ред.). Нидерланды: Издательство Wolters-Noordhoff и Издательство Северной Голландии. п. 227.
- Перейти ↑ Lange, Rutger-Jan (2012). «Теория потенциала, интегралы по траекториям и лапласиан индикатора». Журнал физики высоких энергий . 2012 (11): 29–30. arXiv : 1302.0864 . Bibcode : 2012JHEP ... 11..032L . DOI : 10.1007 / JHEP11 (2012) 032 .
Источники [ править ]
- Фолланд, Великобритания (1999). Реальный анализ: современные методы и их приложения (второе изд.). ISBN компании John Wiley & Sons, Inc. 978-0-471-31716-6.
- Кормен, Томас Х .; Лейзерсон, Чарльз Э .; Ривест, Рональд Л .; Стейн, Клиффорд (2001). «Раздел 5.2: Индикаторные случайные величины». Введение в алгоритмы (второе изд.). MIT Press и McGraw-Hill. стр. 94 -99. ISBN 978-0-262-03293-3.
- Дэвис, Мартин , изд. (1965). Неразрешимое . Нью-Йорк, Нью-Йорк: Книги Raven Press.
- Клини, Стивен (1971) [1952]. Введение в метаматематику (Шестое переиздание, с исправлениями, ред.). Нидерланды: Издательство Wolters-Noordhoff и Издательство Северной Голландии.
- Булос, Джордж ; Берджесс, Джон П .; Джеффри, Ричард С. (2002). Вычислимость и логика . Кембридж, Великобритания: Издательство Кембриджского университета. ISBN 978-0-521-00758-0.
- Заде, Лотфи А. (июнь 1965 г.). «Нечеткие множества» (PDF) . Информация и контроль . 8 (3): 338–353. DOI : 10.1016 / S0019-9958 (65) 90241-X . Архивировано из оригинального (PDF) 22 июня 2007 года.
- Гогуэн, Джозеф (1967). « L- нечеткие множества». Журнал математического анализа и приложений . 18 (1): 145–174. DOI : 10.1016 / 0022-247X (67) 90189-8 . hdl : 10338.dmlcz / 103980 .