Charakteristická funkce
Jako charakteristická funkce se v matematice označuje taková funkce, která pro nějakou podmnožinu A dané množiny X indikuje, které prvky X patří do A, to znamená, že její hodnota pro prvky množiny A je rovna jedné, pro všechny ostatní body nule.
Definice[editovat | editovat zdroj]
je charakteristická funkce množiny A v množině X, pokud platí
Značení[editovat | editovat zdroj]
Značení charakteristické funkce není jednotné, mimo se používá také , či dokonce jen A(x) (zejména v teorii vyčíslitelnosti).
Vlastnosti[editovat | editovat zdroj]
Jsou-li A a B dvě podmnožiny množiny X, pak platí
Speciální tvary[editovat | editovat zdroj]
- pokud je charakteristická funkce množiny A obecně rekurzivní, je množina A rekurzivní