Boolen algebra
Boolen algebra on George Boolen mukaan nimensä saanut algebrallinen struktuuri, joka toimii loogisen lausekalkyylin ja joukko-opin mallina.
Boolen algebran muodostaa joukko, jossa on määritelty kaksi laskutoimitusta, formula_1 ja formula_2, laskutoimitusten neutraalialkiot 0 ja 1 (joista käytetään joskus myös merkintöjä ⊥ ja formula_3) ja jossa jokaisella alkiolla on lisäksi komplementti formula_4 siten, että ne toteuttavat seuraavat ehdot:
Toisinaan Määritelmän ehdoista jätetään pois absorptiolait, ja ne korvataan uusilla ehdoilla formula_5 ja formula_6 (Ehtojen kokonaismäärä pysyy siis kymmenessä.). Molemmissa tapauksissa kymmenen ehtoa toteuttavat Boolen algebrat ovat täsmälleen samat, sillä voidaan osoittaa, että pitämällä muut kahdeksan ehtoa voimassa niistä ja tässä esitetyistä uusista ehdoista voidaan johtaa absorptiolakien voimassaolo ja päinvastoin kahdeksasta muusta ehdosta ja absorptiolaeista voidaan johtaa tässä esitettyjen uusien ehtojen voimassaolo.
Toisinaan käytetään laskutoimitukselle formula_7 myös merkintää a + b ja laskutoimitukselle formula_8 merkintää ab tai a · b. Ne eivät kuitenkaan kaikilta osin noudata reaalilukujen laskutoimituksia. Edellä esitetyistä Boolen algebran laskusäännöistä vain liitäntä- ja vaihdantalait sekä jälkimmäinen osittelulaki pätevät myös reaaliluvuille.
Yksinkertaisin Boolen algebra käsittää vain yhden alkion. Toisinaan määritelmään kuitenkin lisätään ehto, jonka mukaan 0 ja 1 eivät saa olla sama alkio, mikä sulkee tämän tapauksen pois.
Boolen algebraa voidaan käyttää matemaattisena esitystapana loogiselle lausekalkyylille. Tällöin laskutoimitus formula_1 vastaa lauseiden konjunktiota (JA, ), laskutoimitus formula_2 taas disjunktiota (TAI, ) ja komplementti formula_11negaatiota (EI, ). Alkio 0 tarkoittaa epätotta ja 1 totta lausetta. Mikäli perusjoukossa on muita alkioita, ne vastaavat yleensä lauseita, joiden totuusarvoa ei tunneta. Tällöin lauseet "a ja b", "a tai b" sekä "ei a" ovat a:sta ja b:stä riippuen tosia tai epätosia niin kuin seuraavat ns. totuusarvotaulukot osoittavat:
JA: Jos molemmat ehdot on tosia (eli arvo on 1), vastaus on tosi (1)
TAI: Jos edes toinen ehdoista on tosi (eli arvo on 1), vastaus on tosi (1)
EI kääntää totuusarvon toiseksi: ykkösen nollaksi ja nollan ykköseksi.
Voidaan osoittaa, että nämä loogiset operaatiot noudattavat kaikkia ylempänä esitettyjä Boolen algebran sääntöjä.
Disjunktio (TAI) merkitsee tässä ns. inklusiivista disjunktiota ("ja/tai"), joka on tosi, kun ainakin toinen lauseista a ja b on tosi. Tämän vuoksi sovellettaessa Boolen algebraa lausekalkyyliin ei operaatiolle a formula_2 b pidä käyttää merkintää a + b, koska sillä tarkoitetaan toisinaan ns. ekslusiivista disjunktiota, joka on tosi vain silloin, kun vain toinen sen yhdistämistä lauseista on tosi.
Esimerkiksi seuraavassa taulukossa analysoidaan, miten A OR B voidaan esittää toisessa muodossa:
A OR B = NOT( ( NOT(A) ) AND ( NOT(B) ) )
Minkä tahansa perusjoukon osajoukoille voidaan määritellä joukko-opilliset operaatiot unioni formula_13, leikkaus formula_14 ja komplementti formula_15. Nämä noudattavat myös Boolen algebran sääntöjä, kun unioni vastaa laskutoimitusta formula_2, leikkaus laskutoimitusta formula_1 ja komplementti operaatiota formula_11. Ykkösalkiona on tällöin perusjoukko, nolla-alkiona tyhjä joukko. Käänteisesti voidaan osoittaa, että jokainen Määritelmässä esitetyt "Boolen ehdot" toteuttava algebra on isomorfinen eli voidaan tulkita algebraksi, jonka alkioina ovat jonkin perusjoukon tietyt osajoukot ja laskutoimitukset on määritelty joukkojen unionin, leikkauksen ja komplementin perusteella. Tämä tulos seuraa Stonen esityslauseesta. Tämä Boolen algebran joukko-opillinen esitys ei ole yksikäsitteinen, mutta kaikki tiettyyn Boolen algebraan liittyvät joukko-opilliset esitykset ovat isomorfisia keskenään ja kyseisen Boolen algebran kanssa.
Boolen algebran ajatellaan usein koostuvan vain biteistä formula_19 ja formula_20, ja joukko-opillinen yhteys oikeuttaakin tämän tulkinnan siinä mielessä, että perusjoukon formula_21 jokaiseen pisteeseen voidaan ajatella liitetyn bitti-arvo formula_22 sen mukaan kuuluuko kyseinen piste haluttuun joukkoon. Esimerkiksi jos formula_23 tarkoittaa formula_24 ja formula_25 joukkoa formula_26. Tästä seuraa se, että joukkojen joukko-opillisten operaatioiden voidaan tulkita tapahtuvan pisteittäin bitteihin sovellettavien lausekalkyylin formula_27 ja formula_28 avulla, jolloin esimerkiksi unionia vastaa "pistebiteittäin" sovellettava formula_29, sillä unioniin tullakseen riittää, että piste kuuluu edes toiseen joukoista, ja vastaavasti formula_29 antaa bittiarvon formula_20, jos edes toinen bitti on formula_20. Äärettömissä eli äärettömän monta alkiota omaavissa Boolen algebroissa "bittitulkinnassa" on kuitenkin se ongelma, että eri pisteisiin liitettäviä bittejä ei välttämättä voida valita toisistaan riippumattomasti, sillä riippumattomasti valittaessa alkioina käytettäviksi osajoukoiksi saataisiin kaikki perusjoukon osajoukot, mikä ei seuraavan alakappaleen mukaan ole aina mahdollista. Kuitenkin äärellisen monta alkiota omaavalle Boolen algebralle löytyy "Äärellisistä Boolen algebroista"-alakappaleen mukaisesti aina kaikki osajoukot käyttävä joukko-opillinen tulkinta, jolloin pisteisiin liitettävät bitit voidaan valita toisistaan riippumattomasti.
Jos joukko-opillisessa tulkinnassa mielivaltaisesti valitun perusjoukon formula_21 kaikki osajoukot otetaan alkioiksi, saadaan varmasti Boolen algebra, mutta on huomattava, että on olemassa Boolen algebroja, joiden yhdessäkään joukko-opillisessa esityksessä ei voida hyväksyä alkioiksi kaikkia käytetyn perusjoukon osajoukkoja, vaan algebran alkioina on vain osa niistä. Tämä seuraa siitä, että kaikkien osajoukkojen joukossa on myös perusjoukon yksittäisistä formula_34-pisteistä koostuvat formula_35-joukot, jotka ovat selvästi atomeja eli sellaisia Boolen algebran alkioiksi hyväksyttyjä epätyhjiä osajoukkoja formula_36, joilla kaikilla alkioiksi hyväksytyillä osajoukoilla formula_37 pätee se, että formula_38 tai formula_39. Alkion atomi-ominaisuus säilyy isomorfismeissa, eli atomi-alkion vastine on myös atomi siinä Boolen algebrassa, joka on isomorfinen alkuperäisen Boolen algebran kanssa. On kuitenkin olemassa myös Boolen algebroja, joiden alkioista yksikään ei ole atomi, ja tällainen Boolen algebra ei siis voi olla isomorfisesti sama kuin sellainen Boolen algebra, jonka joukko-opillinen esitys ottaa alkioiksi kaikki osajoukot, sillä edellä todettiin, että kaikki osajoukot käyttävissä Boolen algebroissa on atomeja.
Atomittomasta Boolen algebrasta saamme esimerkin valitsemalla formula_40 (Perusjoukkona formula_21 on nyt siis puoliavoin reaalilukuväli.) ja ottamalla alkioiksi ne osajoukot, jotka saadaan valitsemalla ensin formula_42 ja ottamalla sitten jokin unioni ("tyhjä unioni" antaa tyhjän joukon) muotoa formula_43 olevista erillisistä puoliavoimista reaalilukuväleistä, missä formula_44. Esimerkiksi joukko
formula_45
on tämän Boolen algebran alkio, joka on saatu unionina kolmesta annettua muotoa olevasta puoliavoimesta reaalilukuvälistä. Kyseessä on todella Boolen algebra, sillä tällaisiin joukkoihin sovelletut operaatiot antavat edelleen kyseistä muotoa olevia formula_21:n osajoukkoja, mikä nähdään tarkastelemalla operaatiossa mukana olevia joukkoja suurimman niissä käytetyn formula_47-arvon mukaisina. Esimerkiksi
formula_48
formula_49
missä leikkauksen ensimmäinen joukkokin on nyt tulkittu hienomman formula_50-jaon mukaisena. Yksikään tällainen epätyhjä joukko ei ole tämän Boolen algebran atomi, sillä jokaisessa joukossa formula_36 on käytetty jotain tiettyä formula_47-arvoa, jota voidaan aina kasvattaa yhdellä ja näin "hienontamalla" voidaan ottaa alkuperäisen joukon aito epätyhjä osajoukko, joka formula_37:ksi ottamalla nähdään, että formula_36 ei toteuta atomin määritelmää, sillä nyt (koska formula_55) formula_56. Esimerkiksi
formula_57
Boolen algebran sanotaan olevan äärellinen, jos sen alkioiden määrä on äärellinen. Äärellisille Boolen algebroille saadaan hyvin yksinkertainen joukko-opillinen esitysmuoto, sillä silloin voidaan perusjoukoksi formula_21 valita äärellinen joukko ja Boolen algebran alkioiksi kaikki formula_21:n osajoukot. Äärellisen Boolen algebran kohdalla löydetään siis perusjoukko, josta voidaan käyttää kaikki osajoukot, mikä on yksinkertaisin tilanne. Tästä selvästi seuraa myös, että äärellisen Boolen algebran alkioiden lukumäärä on välttämättä muotoa formula_60, missä formula_61. Yllä esimerkkinä annetussa atomittomassa Boolen algebrassa osajoukko-alkioiden määrä sen sijaan ei ole äärellinen, vaan se on [[Numeroituvuus|numeroituvasti]] [[Äärettömyys|ääretön]].
Joukko-opillista Boolen algebraa vaativampi perusjoukon formula_21 osajoukkojen kokoelma on [[sigma-algebra]]. Joukko-opilliselta Boolen algebralta vaaditaan, että alkioksi hyväksytyn osajoukon komplementti on myös alkioksi hyväksytty ja kahden (Tätä kautta [[Induktio|induktiivisesti]] myös äärellisen monen.) alkioksi hyväksytyn osajoukon unioni on myös alkioksi hyväksytty, jolloin [[De Morganin lait|De Morganin laeista]] selvästi seuraa, että sama vaatimus toteutuu myös leikkauksen suhteen. Sigma-algebralta sen sijaan vaaditaan komplementti-ehto ja se, että numeroituvasti äärettömän monen (Boolen algebralla vain kahden) alkioksi hyväksytyn osajoukon unioni on myös alkioksi hyväksytty osajoukko, mikä on vaativampi ehto. Vastaavasti De Morganin laeista seuraa sigma-algebran kohdalla, että sigma-algebrassa myös numeroituvasti äärettömän monen alkioksi hyväksytyn osajoukon leikkaus on alkioksi hyväksytty osajoukko. Jokainen sigma-algebra on selvästi Boolen algebra, mutta käänteinen ei päde. Esimerkiksi yllä esitetty atomiton Boolen algebra ei ole sigma-algebra, sillä
formula_63
mutta formula_64 koostuu vain yhdestä formula_40-perusjoukon pisteestä (formula_19), eikä se siis selvästikään voi olla alkioksi hyväksytty formula_21:n osajoukko, eli sigma-algebraa koskeva numeroituvasti äärettömän monen alkion leikkausta koskeva sääntö ei nyt toteudu, eli kyseinen Boolen algebra ei ole sigma-algebra.[[Luokka:Matemaattinen logiikka]]
[[Luokka:Algebralliset rakenteet]]
[[Luokka:Seulonnan keskeiset artikkelit]]
[[en:Boolean algebra (structure)]]
[[fr:Algèbre de Boole (structure)]]
[[ko:불 대수]]
[[he:אלגברה בוליאנית (מבנה אלגברי)]]
[[zh:布尔代数]]