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

<50

    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. Ammuskelu Härmän häjyissä

      Onko jollain enempää tietoa?
      Seinäjoki
      188
      6092
    2. Minä itkin kotona kun tajusin että

      Pelkuruuteni takia kun en lähestynyt vaikka järjestit otollisen hetken ja myöhemmin huomasin lasittuneen katseesi miten
      Ikävä
      12
      2352
    3. Siis oikeasti S... En ymmärrä...

      Oletko se sinä joka täällä kaipailee? Kaikki täsmää.
      Ikävä
      24
      1739
    4. Keksin sinulle tänään uuden lempinimen

      Olet kisu-muija. Mitäs tykkäät älynväläyxestäni?
      Ikävä
      79
      1718
    5. Oiskohan se aika

      Selvittää pää vihdoin ja viimein. Minun kaivattu ei todellakaan käy täällä ja piste. Ei ole mitään järkeä enää tuhlata t
      Ikävä
      8
      1631
    6. Muistutus t-Naiselle.

      Olet ilkeä ja narsistinen k-pää. Annat itsestäsi kiltin kuvan ulospäin kelataksesi ihmiset ansaan. Sitten päsmäröit, hau
      Ikävä
      153
      1624
    7. Ylen jälkiviisaat estotonta Kamala Harris suitsutusta

      Kolme samanmielistä naikkosta hehkutti Kamala Harrisia ja haukkui Trumpia estottomasti. Nyt oli tarkoituksella valittu
      Maailman menoa
      326
      1622
    8. Oho! Varmistusta odotellaan.

      Pitäneekö paikkansa? "🇺🇦Ukrainian drones hit a 🇷🇺Russian Tu-22M3 bomber at the Olenya airfield,"
      NATO
      137
      1417
    9. Onko jotain sanottavaa vielä, nyt voi kertoa

      Poistun kohta täältä ja unohdan ajatuksen naimisiin menosta. Mieheltä
      Ikävä
      29
      1399
    10. Kun Suomen uutisiin ei voi luottaa?

      Kertoisitteko te uutismaailmasn perehtyneet ASIANTUNTIJAT nyt sitten sen, mihin voi?
      Maailman menoa
      336
      1242
    Aihe