Lähdekoodi sivulle Muistisääntöjä matematiikan oudoille merkinnöille ja termeille

Kerro tällä sivulla kummallisimmat, erikoisimmat mutta erityisesti mieleenjäävimmät muistisääntösi erinäisille abstrakteille asioille joita diskreetissä viljellään.

= Joukot =

== Joukko-opilliset toiminnot ==

Joukko-opilliset toiminnot on hyvä oppia, koska niihin törmää mm. tietokantojen puolella. Merkinnät on taulukoitu [http://fi.wikipedia.org/wiki/Joukko-oppi Wikipediassa] paremmin.

* Kahden joukon unionia eli liitosta merkitään isolla U:lla, ja kahden joukon leikkausta ylösalaisin-U:lla. 
** U niin kuin Unioni, ylösalaisin-U niin kuin se toinen.
** Lisäksi kahden joukon unionissa kaikki otetaan mukaan, eli kaikilla on kivaa (hymysuu), kun taas leikkauksessa mukaan pääsee vain molemmissa joukoissa ollut porukka, jolloin monella ei ole kivaa (mutrusuu).
** Unioni ja leikkaus ovat vähän kuin loogiset operaatiot "tai" ja "ja", joiden merkit ovat vastaavasti V ja ylösalaisin-V. Jos a kuuluu A:han tai B:hen, se otetaan mukaan A unioni B:hen. Jos a kuuluu A:han ''ja'' B:hen, se otetaan mukaan A leikkaus B:hen.

= Relaatiot =

== Relaatioiden eri esitystavat ==

Relaatioita voidaan esittää monella eri tavalla, joilla on hieman epäintuitiivinen yhteys. Sovitaan että R on relaatio.

* Relaatiota voi merkitä joukkona järjestettyjä pareja, esim. '''{ (a,b), (c,d) } kuuluu R:ään'''. 
* '''x R y''' viittaa esitystapaan, joka on tuttu esim. x = y, x < y ja x loooves y -relaatioista.
** Huom: jos x R y, tämä ilmeisesti vastaa joukkomerkintää {(y,x)} eli alkiot vaihtavat paikkaa. Tämä on epäintuitiivista. 
* Relaation voi piirtää myös graafina eli verkkona eli pampuloina ja nuolina. '''x nuoli y''' vastaa silloin yhtä (x,y) -paria relaation joukossa. (Näiden päikkäisyyttä en nyt ehdi muistaa.)
* Verkkoesitystavan lähisukulainen on taulukko, jossa parien osapuolet löytyvät riveiltä ja sarakkeilta, ja '''ruksi ruudussa''' tarkoittaa että kyseisen rivin ja sarakkeen pari kuuluu joukkoon. Näidenkään päikkäisyyttä matikantunneilla en ikinä muista. 

Jonkun muun pitää tehdä muistisäännöt noiden suhteille, koska en muista niitä. X-)

Relaation voi vetää myös sellaisesta joukosta, jonka kaikki alkiot eivät kuulu relaatioon. Otetaan esimerkiksi joukko (Jouko, Casper , Maija), jossa Casper on materiaton mutta ystävällinen kummitus. Tätä joukkoa voidaan käyttää relaatiossa PidempiKuin, jossa Maija PidempiKuin Jouko, mutta vertailua ei voida tehdä Casperin kanssa ollenkaan. PidempiKuin = {(Jouko,Maija)}. Casper voisi tällöin olla taulukkoesityksessä rivi ja sarake jolla ei ole yhtään rastia, tai verkkoesityksessä piste joka ei ole yhteydessä mihinkään muuhun pisteeseen. 

== Relaatioiden ominaisuuksia ==

Relaatioilla voi olla monenlaisia ominaisuuksia, jotka ovat tosi mystisiä. Muistisäännöiksi The Relation Rules of Luuuuv.

* '''Symmetrisyys''' tarkoittaa sitä, että jos a,b niin b,a. Esimerkiksi '=' on symmetrinen relaatio.
** Symmetrisessä rakkausrelaatiossa olevat alkiot eivät koskaan kärsi yksipuolisesta rakkaudesta. Joku ei välttämättä rakasta ketään, tai rakastaa vain itseään (a,a), mutta jos rakastaa jotakuta muuta (a,b), niin se rakastaa myös takaisin (b,a).
* '''Antisymmetrisyys''' tarkoittaa sitä, että jos a,b ja b,a, niin silloin väkisinkin a=b. Esimerkiksi pienempi-tai-yhtäsuuri-kuin on antisymmetrinen relaatio.
** Antisymmetrisessä rakkausrelaatiossa olevat alkiot jotka ovat erehtyneet rakastumaan johonkuhun muuhun ((a,b) ja a ei sama kuin b) eivät voi koskaan saada tältä vastarakkautta. Itseään rakastavat narsistit ja ei ketään rakastavat ovat myös ok antisymmetrisessä rakkausrelaatiossa, samoin kolmiodraamat ((a,b), (b,c), (c,a)), kunhan kukaan ei saa suoraan vastarakkautta.

Kuten tästä näemme, narsistit ja erakot sopivat aina joukkoon, oli meno symmetristä tai antisymmetristä, koska silloin meitä kiinnostaa lähinnä miten väki suhtautuu toisiinsa.

* '''Täydellisyys''' tarkoittaa sitä, että kaikille a ja b, joissa a != b (eli eri kuin), on joko (a,b) relaatiossa tai (b,a). Esimerkiksi kaikki erisuuruusvertailut (<, >, jne) ovat täydellisiä kun vastassa on normaaleja lukuja. Niistä saadaan epätäydellisiä lähinnä heittämällä sekaan joku Casper, jota ei voi vertailla.
** Saippuasarjan käsikirjoittajan kannalta täydellinen rakkausrelaatio on sellainen, jossa ihan joka hahmo (eli alkio) joko rakastaa toista hahmoa tai sitten kyseinen toinen hahmo rakastaa sitä (täydellisyyteen sopii myös molemminpuolisuus, ymmärtääkseni). Itseään rakastavia narsisteja voi olla osa tai olla olematta, mutta erakkoja ei suvaita. Tällöin saadaan maksimimäärä ihme säätöä aikaiseksi.

* '''Refleksiivisyys''' tarkoittaa sitä, että kaikille a, a R a. Esimerkiksi = on tällainen relaatio erinäisille lukujärjestelmille.
** Refleksiivisessä rakkausrelaatiossa kaikki viettävät ainakin jonkin verran aikaa tuijotellen kuvajaistaan (reflection), eli ovat itseään rakastavia narsisteja. Saavat toki rakastaa vapaa-ajallaan myös muita kuin itseään. (Esimerkiksi täydellinen ja reflektiivinen rakkausrelaatio on ihmissuhdeverkkona kuvattuna ihme häkkyrä, jossa on joka suuntaan viivoja ja joka pisteessä vielä itseen osoittava pampula.)