Suljetuista joukoista ja indusoiduista topologioista

Anonyymi

1.Oletus on, että A on topologisen avaruuden (X,T) suljettu osajoukko. Jos F ( A on suljettu joukossa A, osoita, että F on suljettu joukossa X. Onko seuraava perustelu oikein:

Oletetaan, että F on suljettu.
Joukko on suljettu jos ja vain jos sen komplementti on avoin, eli X\A on avoin, siis X\A € T. Samoin A\F on avoin oletuksen nojalla. Nyt A\F € T_X\A ja T_X\A ( T, joten A\F € T. Siis joukon F komplementti on avoin joukossa X, mistä seuraa, että F on suljettu joukossa X.

2. Olkoon T diskreetti topologia joukolle X, ja olkoon f: X-->Y mikä tahansa funktio. Mikä on funktion f ja avaruuden (X,T) indusoima topologia joukolle Y?

Joukon Y topologia on muotoa

T_y = {V ( Y: f^-1(V) € T}

Nyt, kun kyseessä on diskreetti topologia, johon kuuluu joukon X potenssijoukot, eli kaikki joukot ovat sekä avoimia, että suljettuja, niin nythän kaikki joukon Y alkukuvat kuuluvat joukon X topologiaan? Tällä perusteella sanoisin, että joukolle Y indusoituu myös diskreetti topologia. Onko tämä riittävä perustelu?

5

78

    Vastaukset

    Anonyymi (Kirjaudu / Rekisteröidy)
    5000
    • Anonyymi

      Kun kirjoittelet sentään topologiasta olisi syytä jo olla tarkkana. Esim. "Oletetaan, että F on suljettu". Missä topolpgiassa? Tai "joukon X potenssijoukot". Tarkoittanet X:n osajoukkoja? Potenssijoukko on kaikkien osajoukkojen muodostama joukko.

      En ole tavannut omissa kirjoissani merkintää F ( A. Mitä se tarkoittaa?

      Diskreetissä topologiassa kaikki osajoukot ovat avoimia ja siis myös suljettuja. Y:n osajoukko U on avoin sjvs kun f^-1 (U) on avoin X:ssä.Koska jokainen X:n osajoukko on avoin on minkä tahansa Y:n osajoukon alkukuva siis avoin eli tuo joukko itse on avoin tuossa koindusoidussa topologiassa. Huomaa että myös tyhjän joukon alkukuva on avoin sillä se on tyhjä ja avoin X:n topologiassa. Näin saatu Y:n topologia on tosiaankin diskreetti.

      • Anonyymi

        "Tai "joukon X potenssijoukot". Tarkoittanet X:n osajoukkoja? Potenssijoukko on kaikkien osajoukkojen muodostama joukko."

        Kiitos korjauksesta, olen melko keltanokka vielä ja käsitteet ja määritelmät ovat välillä hakusessa.

        "En ole tavannut omissa kirjoissani merkintää F ( A. Mitä se tarkoittaa?"

        Tässä olen aistivinani pientä kettuilua, mutta merkitsin inkluusiota tuolla sululla. Siis F on A:n osajoukko.


      • Anonyymi
        Anonyymi kirjoitti:

        "Tai "joukon X potenssijoukot". Tarkoittanet X:n osajoukkoja? Potenssijoukko on kaikkien osajoukkojen muodostama joukko."

        Kiitos korjauksesta, olen melko keltanokka vielä ja käsitteet ja määritelmät ovat välillä hakusessa.

        "En ole tavannut omissa kirjoissani merkintää F ( A. Mitä se tarkoittaa?"

        Tässä olen aistivinani pientä kettuilua, mutta merkitsin inkluusiota tuolla sululla. Siis F on A:n osajoukko.

        Ei ollut kettuilua. Mutta kun käyttää outoa merkintää olisi hyvä määritellä mitä se tarkoittaa.

        Kun F on suljettu A:ssa (relatiivitopologiassa) se tarkoittaa sitä, että F on X:n suljetun osajoukon S ja joukon A leikkaus.Koska A on suljettu X:ssä on S:n ja A:n leikkaus suljettu X:ssä joten siis F on suljettu X:ssä.


    • "Samoin A\F on avoin oletuksen nojalla."
      Niin, se on avoin A:ssa. En ihan pysty seuraamaan tuota mitä sen jälkeen tulee, mutta minusta se olisi helpompi näin:

      A\F:n avoimuus A:ssa merkitsee, että on olemassa X:n avoin joukko U, jolle

      A\F = U ∩ A

      Piirrä kuva, josta huomaa, että F = U^C ∩ A, joten kahden X:ssä suljetun joukon leikkauksena X:ssä suljettu.

      • Anonyymi

        Aivan, eli ei se ihan pätevä perustelu vielä ollut. Kiitti vinkistä.


    Ketjusta on poistettu 0 sääntöjenvastaista viestiä.

    Luetuimmat keskustelut

    1. Vasemmistohallitus palauttaa hintasääntelyn, esim. bensalitra vain 1e.

      Tuleva vasemmistolaisista koostuva hallitus ottaa käyttöön vanhat hyvät keinot pitää hinnat kurissa. Tähän tarkoitukse
      Maailman menoa
      66
      4454
    2. Vasemmistolainen valehteli jälleen - Purra tai persut eivät luvanneet "euron bensaa"

      Väite "euron bensasta" on ensisijaisesti poliittisten vastustajien käyttämä puhdas vale. Persut kyllä kampanjoivat näky
      Maailman menoa
      104
      3727
    3. Arman Alizadin viesti puna-aktivisteille: "Pitäkää lärvinne nytkin kiinni"

      Arman Alizad kritisoi vasemmiston kaksinaismoralismia. Iranissa syntynyt suosikkijuontaja Arman Alizad pakeni perheensä
      Maailman menoa
      108
      3341
    4. Minja Koskela nostanut vasemmistoliiton kannatuksen ennätykseen

      Koskela valittiin puolueen johtoon lokakuussa 2024, ja silloin Ylen kysely antoi puolueelle 9,3 prosentin kannatuksen.
      Maailman menoa
      21
      1896
    5. Antti johtaa Petteriä jo 7,1 prosenttiyksiköllä

      Tällä menolla sdp menee kokoomuksesta kierroksella ohi jo tällä vaalikaudella. https://yle.fi/a/74-20213575
      Maailman menoa
      68
      1893
    6. Mitä on tullut

      Entisen abcn rakennuksen tilalle se oli tyhjillään monta vuotta siellä oli jo nyt valot onko huoltoasema? 5:30.
      Haapavesi
      87
      1139
    7. Harmi nainen kun

      olet niin elähtäneen näköinen. Miestä et koskaan löydä itelles. j
      Ikävä
      89
      903
    8. Minne pyydän sut?

      Jotta saan nähdä 🤨
      Ikävä
      49
      851
    9. Palosta selvinnyt 18 vuotias munira tarvitsi tulkin kun puhui Iltalehdelle

      Suomessa asuva 18 vuotias tarvii tulkin !!! Tää Suomea puhumaton on palossa kuolleen naisen veli ja asui perheen kanssa.
      Vantaa
      108
      834
    10. Mikä homma?

      https://share.google/NvruSS4P4EzjTWPov Poliisilla oli keskiviikkona 4. maaliskuuta yksityisasunnossa Saarijärvellä tehtä
      Saarijärvi
      23
      774
    Aihe