„Konstans függvény” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
→Tulajdonságok: link hozzáadása |
→További összefüggések, általánosítás: bizonyítás |
||
42. sor:
* Tartalmazzon az <math>Y</math> halmaz egynél több elemet. Az <math>X</math> topologikus tér összefüggő, ha minden lokálisan konstans <math>f:X \to Y</math> függvény konstans.
* Ha az <math>A</math> topologikus tér összefüggő, és a <math>B</math> topologikus tér diszkrét, akkor a <math>g:A \to B</math> folytonos függvény konstans.
Bizonyítás: A <math>B</math> tér minden pontja nyílt-zárt. Tekintsük minden egyes pont teljes ősképét, ezek nyílt-zárt halmazok az <math>A</math> térben. Az <math>A</math> tér összefüggősége miatt azonban az összes nyílt-zárt részhalmaz az üres és az egész. Az egésznek viszont csak egy képe lehet, így az egész egy pontba képeződik, tehát a függvény konstans.
==Források==
|