„Konstans függvény” változatai közötti eltérés

nincs szerkesztési összefoglaló
[nem ellenőrzött változat][nem ellenőrzött változat]
(Új oldal, tartalma: „==Konstans függvény== Egy függvényt konstansnak nevezünk, ha értékkészlete egy elemű. Formálisan: f(x)=f(y) minden, az értelmezési tartományban levő x-re ...”)
 
Nincs szerkesztési összefoglaló
==Konstans függvény==
 
Egy függvényt konstansnak nevezünk, ha értékkészlete egy elemű.
Formálisan: f(x)=f(y) minden, az értelmezési tartományban levő x-re és
Ha polinomként tekintjük, akkor a nem 0 értékű konstans foka 0, a
konstans nulla fokát pedig nem értelmezzük.
 
==Tulajdonságok==
 
A konstans függvények jellemezhetők a függvénykompozíció segítségével.
A következők ekvivalensek:
f : A -> B konstans
minden g, h függvényre g, h : C -> A, f o g = f o h, (a
kategóriaelméletben így definiálják)
bármely függvénnyel komponáljuk is f-et, mindig konstans függvényt
kapunk.