Ero sivun ”Avoin ja suljettu kuvaus” versioiden välillä

p
Diskreetti avaruus|
p (fix)
p (Diskreetti avaruus|)
Jokainen [[homeomorfismi]] on sekä avoin että suljettu ja lisäksi jatkuva kuvaus. Itse asiassa [[bijektio|bijektiivinen]] jatkuva kuvaus on homeomorfismi, [[jos ja vain jos]] se on avoin, ja niin ikään, jos ja vain jos se on suljettu.
 
Jos avaruudella ''Y'' on [[Diskreetti avaruus|diskreetti topologia]] eli sen kaikki osajoukot ovat avoimia ja samalla suljettuja, jokainen kuvaus ''f'' : ''X'' → ''Y'' on sekä avoin että suljettu, olipa ''X'' mikä avaruus tahansa. Jokainen kuvaus tällaiseen avaruuteen ei kuitenkaan ole jatkuva. Esimerkiksi [[lattiafunktio]] reaalilukujen joukosta <math>\mathbb{R}</math> [[kokonaisluku]]jen joukkoon <math>\mathbb{Z}</math> on avoin ja suljettu, mutta ei jatkuva kuvaus. Tämä esimerkki osoittaa, että [[yhtenäisyys|yhtenäisen]] joukon kuva avoimessa tai suljetussa kuvauksessa ei aina ole yhtenäinen.
 
Jos muodostetaan topologisten avaruuksien ''X''=Π''X''<sub>''i''</sub> [[karteesinen tulo]] ja varustetaan se [[tulotopologia]]lla, luonnolliset projektiot ''p''<sub>''i''</sub> : ''X'' → ''X''<sub>''i''</sub> ovat avoimia<ref>{{kirjaviite | Tekijä = Stephen Willard | Nimeke = General Topology | Julkaisija = Addison-Wesley | Vuosi = 1970 | Tunniste = ISBN 0486131785}}</ref><ref>{{kirjaviite | Tekijä = John M. Lee | Nimeke = Introduction to Smooth Manifolds, 2. ed. | Sivu = 606 (ex. A. 32) | Kirjasarja = Graduate Texts in Mathematics | Numero =218 |Vuosi = 2012 | Tunniste = ISBN 978-1-4419-9982-5 |Doi = 10.1007/978-1-4419-9982-5}}</ref> ja samalla jatkuvia kuvauksia. Koska [[peitekuvaus|peitekuvaukset]] ovat lokaalisti tuloavaruuksien luonnollisia projektioita, ne ovat myös avoimia kuvauksia. Sen sijaan suljettuja projektiot eivät välttämättä ole. Esimerkkinä voidaan tarkastella projektiota ''p''<sub>1</sub> : <math>\mathbb{R}^2</math> → <math>\mathbb{R}</math> ensimmäistä komponenttia: ''A'' = {(''x'',1/''x'') : ''x''≠0} on suljettu joukossa <math>{R}^2</math>, mutta ''p''<sub>1</sub>(''A'') = <math>\mathbb{R}</math> &minus; {0} joka ei ole suljettu. Jos kuitenkin ''Y'' on [[kompaktius|kompakti]], projektio ''X''&nbsp;&times;&nbsp;''Y''&nbsp;→&nbsp;''X'' on suljettu. Tämä on oleellisesti sama asia kuin [[putkilemma]].<!--tube lemma: onko suomennos oikea?-->
21 260

muokkausta