Sumea joukko

Wikipediasta
Siirry navigaatioon Siirry hakuun

Sumea joukko on joukko, jossa joukkoon kuuluvilla alkioilla kuulumisen astetta kuvaa kuuluvuusarvo. Sumean joukon matemaattista käsitteen esitti 1965 azerbaidžanilainen Lotfi A. Zadeh (s. 1921). Hän jatkoi työtään tällä saralla esittämällä vielä 1973 sumean logiikan teorian.

Sumean joukon teoria laajentaa klassisen joukko-opin (Cantor) joukon käsitettä. Kun klassisessa joukko-opissa alkio joko kuuluu joukkoon tai on sen ulkopuolella, eli se noudattaa kaksiarvoista logiikkaa (kts. kolmannen poissulkeva sääntö), niin sumeassa joukossa alkion kuuluvuuden vahvuutta kuvattaan reaaliluvulla, joka kuuluu suljettuun väliin [0,1].

Sumeissa joukoissa kysymys on tietoisesti epätarkkarajaisesta joukosta. Esimerkiksi voimme ottaa kirjojen sumean joukon: ”Kirja käsittelee aihetta x” . Tässä x voi olla mikä tahansa aihe rakkaudesta maanjäristykseen tai ahvenista geenimutaatioon. Kirjan kuuluvuusarvo joukossa voidaan määritellä esimerkiksi seuraavasti: kirjan aihetta x käsittelevien sivujen lukumäärä / sivujen kokonaismäärällä.

Määritelmä

[muokkaa | muokkaa wikitekstiä]

Sumea joukko on pari (A,m), jossa A on joukko ja m kuvaus: A → [0,1]. Kaikille x, jotka kuuluvat A:han on olemassa m(x), alkion x joukkoon kuulumisen aste. Jos niin tämä (A,m) voidaan merkitä: { /,...,/ }.

Joukkoon kuuluminen

[muokkaa | muokkaa wikitekstiä]

Alkio, jonka arvo kuvauksessa m on 0, ei kuulu sumeaan joukkoon, eli on sen ulkopuolella, ja jos kyseinen arvo on 1, kuuluu kyseinen alkio täydellisesti sumeaan joukkoon. Sumean joukkoa {x kuuluu A:han | m(x) > 0} kutsutaan joukon kannaksi (engl. support) ja joukkoa {x kuuluu A:han | m(x) = 1} joukon ytimeksi (engl. kernel).

Sumeiden joukkojen operaatioita

[muokkaa | muokkaa wikitekstiä]
  • Sumean joukon komplementti

c(A) = 1 −

  • Sumeiden joukkojen ja leikkaus

(A ∩ B)(x) = min(, )

  • Sumeiden joukkojen ja unioni

(A ∪ B)(x) = max(, )

Sumea joukko ja todennäköisyyksien teoria

[muokkaa | muokkaa wikitekstiä]

Sumeat joukot ja todennäköisyyksien teoria eivät ole samaa perhettä, vaikka niin virheellisesti voisi päätellä kuvauksen kuvapisteiden joukosta [0,..,1]. Joukkojen sumeudessa sattumalla ei ole mitään osaa, kun taas todennäköisyyslaskennan teoreettinen lähtökohta on ennalta arvaamaton sattuma.