• Ei tuloksia

FunktioF :X → Y on jatkuva, joss f−1(V) on avoin X:ssä aina, kun V on avoin Y:ssä

N/A
N/A
Info
Lataa
Protected

Academic year: 2022

Jaa "FunktioF :X → Y on jatkuva, joss f−1(V) on avoin X:ssä aina, kun V on avoin Y:ssä"

Copied!
1
0
0

Kokoteksti

(1)

4. Kuvauksen jatkuvuus riippuu topologiasta Olkoot seuraavassa (X,TX) ja (Y,TY) topologisia avaruuksia.

Määritelmä 4.1. Funktio f : X Y on jatkuva pisteessä x X, jos jokaista avointa joukkoaV 3f(x)vastaa avoin joukko U 3x siten, että f(U)⊂V.

Funktio on jatkuva joukossa X, jos se on jatkuva joukonX jokaisessa pisteessä.

Esimerkki 4.2. Olkoon X topologinen avaruus ja Y varustettu minitopologialla {∅, Y}. Tällöin jokainen kuvaus f :X →Y on jatkuva, sillä jokaisella x ∈X ainut avoin joukko, joka sisältää pisteen f(x), on Y. Lähtöavaruuden X topologiassa on perusjoukko X välttämättä avoin ja sille pätee x∈X sekäf(X)⊂Y.

Seuraava lause karakterisoi funktion jatkuvuuden:

Lause 4.3. FunktioF :X Y on jatkuva, joss f−1(V) on avoin X:ssä aina, kun V on avoin Y:ssä.

Todistus. Oletetaan ensin, ettäf on jatkuva. OlkoonV ⊂Y avoin. Jos f−1(V) =, pitää väite paikkansa. Jos x∈ f−1(V) eli f(x)∈V, niin funktion f jatkuvuudesta seuraa, että on olemassa sellainen avoin joukkoU(x)3x, ettäf(U(x))⊂V. Tällöin x∈U(x)⊂f−1(V). Siis

f−1(V) = [

x∈f−1(V)

{x} ⊂ [

x∈f−1(V)

U(x)⊂f−1(V) elif−1(V) on avoin avoimien joukkojen yhdisteenä.

Oletetaan toisaalta, että f−1(V) on avoin aina, kun V on avoin. Olkoon x X mv. ja V 3f(x) avoin. Tällöinf−1(V) on avoin ja

f−1(V)⊃f−1(f(x))3x

Lisäksi f(f−1(V)) V, joten jokaista avointa joukkoa V 3 f(x) vastaa sellainen avoin joukkof−1(V), että f(f−1(V))⊂V. Siis f on jatkuva. ¤ Esimerkki 4.4. Olkoon X = {a, b, c} varustettu topologialla T = {∅,{a}, X}. Tarkastellaan kysymystä, milloin kuvaus f : X X on jatkuva. Lauseen 4.3 perusteella riittää tutkia, että maaliavaruuden avoimien joukkojen alkukuvat ovat avoimia. Siis kuvaus on jatkuva, jos alkukuvat

f−1(∅), f−1({a}), f−1(X)

ovat avoimia. Ensimmäinen on tyhjä joukko (siis avoin) ja viimeinen on perusjoukko (avoin sekin). Kyseisessä topologiassa kuvaus joukolta itselleen on jatkuva, jos jokin seuraavista on totta:

f−1({a}) = (mikään alkioista ei kuvaudu alkiolle a)

f−1({a}) ={a} (a kuvautuu itselleen)

f−1({a}) =X (kaikki kuvautuvat alkiolle a)

Määritelmä 4.5. Joukon X osajoukko X0 voidaan varustaa indusoidulla topolo- gialla:

A ⊂X0 on avoin⇔A=B∩X0, missä B on avoin avaruudenX topologiassa.

10

Viittaukset

LIITTYVÄT TIEDOSTOT

Tyhjän joukon mitallisuus seuraa jo siitä, että tyhjä joukko on avoin, ja kaikki avoimet joukot ovat mital- lisiaX. Väite (b) seuraa ilman sen kum- mempaa todistusta

Esimerkki 1.9. Edellisen kaavan avulla voidaan mm.. 1) C on selvästi avoin, ja lisäksi sen komplementti ∅ on määritelmän mu- kaan avoin, joten C on myös suljettu... Jos joukko

[r]

n points are plaed randomly and independently to the unit disk of the plain R 2. Let R be the distane from origin of the point that is

Olkoon R origoa lähinnä olevan pisteen etäisyys origosta. Johda satunnaismuuttujan

Se, millaiset asetelmat nykyinen tieteen avoimuus luo informaatiotutkimuk- sen kentälle, on vielä pitkälti tutkimatta niin kotimaisesta kuin kansainvälisestä nä- kökulmasta..

Kaiken kaikkiaan minulle jäi komitean työskentelystä se kuva, että tieteellisten kirjastojen haasteet ovat koko maailmassa samankaltaiset ja.. että meillä kirjastoilla on

Ihmettelin, mikseivät Kauhanen, Suoniemi ja Tuomala tuo tätä tulosta esiin samalla kun vah- vasti tuovat esiin nousevan työttömyysturvap- rofiilin hyödyllisyyttä.. Tuomala