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

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

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

  • 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

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.

Katso myös muokkaa