„Konstans függvény” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
→Tulajdonságok: topologikus tereken |
→Tulajdonságok: ==További összefüggések, általánosítás== |
||
33. sor: | 33. sor: | ||
Ha a konstans függvény az értelmezési tartományába képez, akkor |
Ha a konstans függvény az értelmezési tartományába képez, akkor |
||
idempotens. |
idempotens. |
||
==További összefüggések, általánosítás== |
|||
* Liouville tétele szerint korlátos egészfüggvény konstans. Következmény: pólushely nélküli elliptikus függvény konstans. |
|||
A lokálisan konstans függvények a konstans függvények általánosításának tekinthetők. |
|||
* Tartalmazzon az Y halmaz egynél több elemet. Az X topologikus tér összefüggő, ha minden lokálisan konstans <math>f:X \to Y</math> függvény konstans. |
|||
* Ha az A topologikus tér összefüggő, és a B topologikus tér diszkrét, akkor a <math>g:A \to B</math> folytonos függvény konstans. |
A lap 2008. május 31., 19:44-kori változata
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 y-ra. Nem tekintjük konstansnak a függvényt, ha az üres halmazon van értelmezve. 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.
Ha f valós intervallumon értelmezett konstans függvény, és valós értékű, akkor differenciálható, és deriváltja az azonosan 0 függvény. Monoton nő és monoton csökken, de nem szigorúan monoton. Grafikonja vízszintes egyenesdarab, az intervallumtól függően szakasz, félegyenes vagy egyenes.
A konstans függvények részben rendezett halmazokon egyszerre rendezéstartók és rendezésfordítók. Hálókon ez az állítás megfordítható: nincs más függvény, aminek ilyen tulajdonságai lennének.
Topologikus terek bármely konstans leképezése folytonos. Összefüggő halmazon minden lokálisan konstans függvény az egész halmazon konstans. Ha a konstans függvény az értelmezési tartományába képez, akkor idempotens.
További összefüggések, általánosítás
- Liouville tétele szerint korlátos egészfüggvény konstans. Következmény: pólushely nélküli elliptikus függvény konstans.
A lokálisan konstans függvények a konstans függvények általánosításának tekinthetők.
- Tartalmazzon az Y halmaz egynél több elemet. Az X topologikus tér összefüggő, ha minden lokálisan konstans függvény konstans.
- Ha az A topologikus tér összefüggő, és a B topologikus tér diszkrét, akkor a folytonos függvény konstans.