Charakteristická funkce
Skočit na navigaci
Skočit na vyhledávání
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.
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í