Lähdekoodi sivulle Joukko

'''Joukko''' on [[matematiikka|matematiikassa]] [[joukko-oppi]]in kuuluva peruskäsite. Periaatteessa joukko on kokoelma olioita eli [[Alkio (joukko-oppi)|alkio]]ita, joiksi joukon jäseniä kutsutaan. Joukko voi myös olla tyhjä alkioista, jolloin sitä kutsutaan [[tyhjä joukko|tyhjäksi joukoksi]]. <ref name=h1/>

==Esimerkkejä joukoista==
===Taskun sisältö===
Naiivi esimerkki joukosta voisi olla taskun sisältö. Taskussa on kolikko, avain, noppa ja tulitikkulaatikko, jolloin joukossa on neljä alkiota. Alkioiden suhde toisiinsa on tasa-arvoinen siinä mielessä, että jokainen esine on taskun jäsen. Tulitikkuaskissa on polttamattomia tikkuja, joten sitä voidaan pitää siinä mielessä osajoukkona, vaikka kokonaisuutena se on myös alkio. Tyhjää joukkoa voisi esittää tyhjä tasku, joka laitetaan taskuun muiden esineiden sekaan. Jos taskussa oleva kolikko luiskahtaa tyhjään taskuun, muuttuu se sisemmän taskun alkioksi ja kuuluu siten joukkoon ja sen osajoukkoon samanaikaisesti.

===Lukujoukko===
Matematiikassa lukujoukoilla on erityisasema. Suurin osa matematiikasta käsittelee lukuja ja niiden muodostamat joukot ovat analyysin perusta. Tarkastelun kohteeksi voidaan valita tunnettujen lukujen [[osajoukko]], esimerkiksi alle 100 olevien parillisten positiivisten kokonaislukujen joukkoa. Tämän joukon koko on 50 alkiota ja joukkoa kutsutaan '''äärelliseksi joukoksi'''.

Koska tunnettuja lukuja on määrättömästi, sanotaan lukujoukon alkioita olevan äärettömän monta. Tällaiseen epäkäytännölliseen tilanteeseen on jouduttu, koska laskulait ovat voimassa yksinkertaisessa muodossaan vain, jos oletetaan lukuja olevan kuinka paljon tahansa. Esimerkiksi lukumääriä tai järjestystä ilmaisevat luvut eli [[luonnollinen luku|luonnolliset luvut]] muodostavat tällaisen [[Kompaktius|kompaktin]] kokonaisuuden. Tässä joukossa yhteen- ja kertolaskutoimitukset onnistuvat niin, että myös tulos kuuluu samaan lukujoukkoon. Tällaista joukkoa kutsutaan '''äärettömäksi joukoksi'''.

Myös [[kokonaisluku|kokonaisluvut]], [[rationaaliluku|rationaaliluvut]], [[irrationaaliluku|irrationaaliluvut]] [[reaaliluku|reaaliluvut]] ovat perinteisiä matematiikassa käytettyjä lukuja. Niitä voidaan kuvata havainnollisesti [[lukusuora]]lla. Nämäkin ovat äärettömiä joukkoja.

===Vektorit===
[[Vektori]]joukoiksi kutsutaan sellaisia joukkoja, jossa on alkioina useamman lukujoukon yhdistelmiä. Esimerkiksi joukko <math>A = \{1, 2\}</math> ja joukko <math>B = \{1, 2, 3\}</math> voidaan ottaa muodostamaan yhdistelmäalkioita. Joukon <math>A</math> luvut ilmoitetaan ensimmäiseksi luvuksi ja joukon <math>B</math> alkiot toiseksi luvuksi. Kaikki tällaisen lukuparit (a, b) eli '''vektorit''' voidaan luetella joukoksi <math>C</math>, joka on 
:<math>C = \{(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3)\}</math>.

Joukko <math>C</math> on joukkojen <math>A</math> ja <math>B</math> [[karteesinen tulo]] eli <math>C = A \times B</math>. 

Reaalilukujen parit muodostavat siten karteesisen tulon <math>\mathbb{R} \times \mathbb{R} = \mathbb{R}^2</math>. Tätä lukujoukkoa voidaan havainnollistaa myös ''xy''-tasolla, jossa ''x''-koordinaatti meritsee lukuparin <math>(x, y)</math> vasenta lukua ja ''y''-koordinaatti lukuparin oikeaa lukua. Tilaa eli avaruutta voidaan kuvata lukukolmikolla <math>(x, y, z)</math>, joka esittää vektorijoukon <math>\mathbb{R} \times \mathbb{R} \times \mathbb{R} = \mathbb{R}^3</math> alkiota. Lukukolmikoita käytetään yleisesti esittämään avaruuden kolmiulotteista tilaa, jonka paikkoja esittävät ''xyz''-koordinaatiston vektorit eli pisteet <math>(x, y, z)</math>.

===Funktiot===
Joukkojen alkioita voivat olla myös [[funktio]]t. Kaikkien funktioiden joukossa [[polynomi]]t ovat sen osajoukko ja polynomeissa [[potenssifunktio]]t ovat polynomijoukon osajoukko. Funktioilla voi olla yhteisiä ominaisuuksia, jotka sopivat tarkasteltavaan tehtävään. Tällaisia funktioiden joukkoja ovat esimerkiksi [[alkeisfunktio]]t, [[lineaarinen funktio|lineaariset funktiot]] tai [[funktio|algebralliset funktiot]].

==Peruskäsitteitä==
===Merkintöjä===
[[Tiedosto:Venn diagram showing Greek, Latin and Cyrillic letters.svg|thumb|[[Vennin diagrammi]]lla voi esittää joukkoja ja niiden suhteita havainnollisesti. Kuvan joukossa on kreikkalaisia, kyrillisiä ja latinalaisia aakkosia, jotka on siksi ryhmitelty kolmeen osajoukkoon (ympyrät). Kahden osajoukon yhteiset alkiot ovat molempien ympyröiden sisällä. Osa alkiosta kuuluvat kaikkiin kolmeen osajoukkoon yhtä aikaa.]]
Joukkoja voi havainnollistaa '''luetteloimalla''' tai '''piirtämällä''' sen alkiot. Joukon alkioiden luetteloimisen sijaan voidaan niiden tunnistamiseksi esittää '''alkioiden yhteinen ominaisuus'''. Voidaan sanoa vain, että lukujoukkoon <math>A</math> kuuluu kaikki alle 100 olevat parilliset luonnolliset luvut. Tämä voidaan merkitä kirjoittamalla joukon alkiot pilkulla erottaen aaltosulkujen sisään 
: <math>A = \{2, 4, 6, 8, ..., 98 \}</math>.
Luettelon loppuun lisätään kolme pistettä, jos luettelo jatkuu vielä pitkään, mutta ''joukon idea'' selvisi lukijalle. Yhteinen ominaisuus voidaan myös lisätä merkintään, jolloin lukija varmasti huomaa sen:
: <math>A = \{2, 4, 6, 8, ..., 2n,..., 98 \}</math>.
Tällaista merkintää käytetään [[lukujono|lukujonojen]] teoriassa.

Jos lukuja on äärettömän monta, voidaan luettelo aloittaa tai päättää kolmeen pisteeseen. Näin voidaan helposti esittää kaikki joukon <math>B</math> parittomat kokonaisluvut
: <math>B = \{..., -3, -1, 1, 3, 5, ... \}</math>.

Joukko-opissa on oleelista tietää, kuuluuko alkio tarkasteltavaan joukkoon. Ajatus kuulumisestä voidaan esittää väitteenä, jossa kuusi (6) '''kuuluu joukkoon''' <math>A</math> eli <math>6 \in A \,</math> tai
102 '''ei kuulu joukkoon''' <math>A</math> eli <math>102 \notin A</math>. Useamman luvun tapauksessa merkitään
<math>\{2, 4, 6\} \in A</math> eli luvut 2, 4 ja 6 kuuluvat (yksitellen) joukkoon tai osajoukko <math>\{2, 4, 6\}</math> kuuluu joukkoon. Kumpikin tulkinta merkitsee samaa asiaa.

Kaksi esiteltyä joukkoa ovat sama joukko, jos jokainen joukon <math>A</math> alkio esiintyy joukossa <math>B</math>, ja vastaavasti, jokaisen joukon <math>B</math> alkio esiintyy joukossa <math>A</math>. Tällöin merkkään <math>A=B</math>.

Ellei joukkoon kuulu mikään alkio, on joukko niin sanottu '''[[tyhjä joukko]]'''. Se merkitään symbolilla <math>\varnothing</math>. On olemassa vain yksi tyhjä joukko, sillä monen erilaisen tyhjän joukon olemassaolo ei ole joukko-opin hengen mukaista.

===Alkioiden lukumäärä===
Joukon alkioiden lukumäärä on [[Äärellinen joukko|äärellisen joukon]] tapauksessa selvä. Taskussa olevien esineiden lukumäärä selviää laskemalla esineet, joita taskussa on. Joukon koko on tällöin saatu lukumäärä.

'''Luonnollisten lukujen''' joukko on sen sijaan ääretön. Jos luetteloidaan lukujoukon lukuja lähtien liikkeelle sen pienimmästä luvuta '''1''', jatkaen seuraavaksi suurimmasta luvusta '''2''' ja näin edetään seuraavaksi suurimpaan lukuun jatkuvasti, on aloitettu laskemisprosessi, jonka loppumista ei voi odottaa. Lukujoukon tärkeä ominaisuus nimittäin on, että jokaisella luvulla ''n'' on myös seuraajana sellainen luku, joka on lukua yksi suurempi (''n + 1''). Luetteloon on siten mahdollista löytää aina vain yksi luku lisää eikä luettelointi siksi lopu milloinkaan. Lukujoukko on siten ääretön. 

'''Rationaalilukujen joukko''' on myös ääretön, koska se sisältää kaikki luonnolliset luvut ja puuttuvat murtoluvut vielä niiden lisäksi. Kumpi on siten suurempi joukko: luonnolliset luvut vai rationaalit luvut? Arkinen järki sanoo rationaalilukujen joukkoa suuremmaksi, mutta matematiikassa voidaan esittää joukkojen vertailutilanne, jossa huomataan niillä olevan yhtä monta alkiota. Alkioita on molemmissa ääretön määrä. Erotukseksi äärelliselle lukumäärälle käytetään äärettömille joukoille lukumäärän mittana [[mahtavuus|mahtavuutta]]. Sanotaan, että luonnolliset luvut, kokonaisluvut ja rationaaliluvut ovat '''yhtä mahtavat'''.

'''Irrationaaliluvut''' ja '''reaaliluvut''' sen sijaan ovat lukujoukkona edellisiä joukkoja vielä mahtavampia. Kun edellisien joukkojen mahtavuus on <math>\aleph_0</math> (lue: [[alef]]-0), on jälkimmäisillä mahtavuus jo <math>\aleph_1</math>. Reaalilukujen rakenne on sellainen, että jokaisessa lukuvälissä on "yhtä paljon alkioita" kuin koko reaalilukujen joukossa. Reaaliluvut ovat irrationaalisten lukujen tavoin äärettömän tiheä. Tilanne ei muutu oleellisesti, jos tarkastellaan karteesia tuloa <math>\mathbb{R}^2</math>, sillä jokaiselle reaalilukujoukon <math>\mathbb{R}</math> alkiolle voidaan osoittaa yksi <math>\mathbb{R}^2</math> alkio.

==Lähteet==
*{{Kirjaviite | Tekijä =Fuchs, Walter R. | Nimeke =Matematiikka | Suomentaja =Mattila, Pekka | Vuosi =1968 | Julkaisupaikka =Länsi-Saksa | Julkaisija =Kirjayhtymä | Viitattu = }}
* {{Kirjaviite | Tekijä =Barrow John D. | Nimeke =Lukujen taivas | Suomentaja =Vilikko, Risto | Vuosi =1999 | Julkaisupaikka =Smedjebacken, Ruotsi | Julkaisija =Art House | Tunniste = | Isbn = 951-884-231-0 | Viitattu = }}

=== Viitteet ===
{{Viitteet|viitteet=
* <ref name=h1>{{Kirjaviite | Tekijä=Häsä, Jokke & Rämö, Johanna | Nimeke=Johdatus abstraktiin algebraan| Sivut=17  | Julkaisupaikka=Helsinki | Julkaisija=Gaudeamus | Vuosi=2015 | Isbn= 978-952-495-361-0}}</ref>
}}

==Kirjallisuutta==
* {{Kirjaviite | Tekijä=Merikoski, Jorma; Virtanen, Ari; Koivisto, Pertti | Nimeke=Diskreetti matematiikka I | Julkaisupaikka=Tampere | Julkaisija=Tampereen yliopisto | Vuosi=2001 (1993)| Tunniste = | Isbn = 951-44-3604-0}}
* {{Kirjaviite | Tekijä=Rikkonen, Harri | Nimeke=Matematiikan pitkä peruskurssi II: Reaalimuuttujan funktioiden differentiaalilasku | Julkaisija=Otakustantamo | Julkaisupaikka=Helsinki | Vuosi=1969 | Tunniste = | Isbn = 951-671-022-0}}

[[Luokka:Joukko-oppi]]
[[Luokka:Matemaattiset objektit]]
[[Luokka:Seulonnan keskeiset artikkelit]]