Matemaatikko symmetrioiden etsijänä Raimo Lehti
|
|
- Pia Hyttinen
- 8 vuotta sitten
- Katselukertoja:
Transkriptio
1 Matemaatikko symmetrioiden etsijänä Raimo Lehti Hermann Weyl: Symmetria. Suom. Kimmo Pietiläinen. Terra Cognita Hermann Weyl ( ) oli yksi sukupolvensa monipuolisimmista matemaatikoista. Hänen teoksistaan tunnetaan ehkä parhaiten ryhmäteorian kvanttimekaanisia menetelmiä käsittelevä teos sekä suhteellisuusteoriaa käsittelevä teos Raum und Zeit. Suhteellisuusteoreettiset tarkastelut johtivat Weylin tutkimaan tensorilaskentaa ja invarianttiteoriaa. Einsteinin teorian yhteydessä olivat puolittain filosofiset, puolittain matemaattiset yleistä "avaruuden" käsitettä koskevat ideat suunnanneet hänen tutkimuksensa yleistämään "vapaan liikkuvuuden" ominaisuuksien avulla tapahtuvan Eukleidisen geometrian luonnehdinnan. Tämä johti Weylin tutkimaan Lien ryhmiä sekä lineaaristen ryhmien esitysteoriaa. Weyl oli koko ikänsä kiinnostunut filosofiasta ja metafysiikasta; hänen matemaattisissa julkaisuissaan on usein filosofinen pohjavire. Ulkoisilta mitoiltaan pieni neljästä luennosta koostuva teos Symmetria antaa viehättävän esimerkin hänen eri suuntiin osoittavasta kiinnostuksestaan. Weyl ilmoittaa ajatelleensa kirjan lukijoiksi oppineita spesialisteja laajemman joukon. Tulemme kohtaamaan tosiasian, että hän kuitenkin asettaa lukijoilleen paikoittain huomattavia ennakkotietoihin ja matemaattiseen kykyyn kohdistuvia vaatimuksia. Heti aluksi (s. 5) hän ilmoittaa teoksessa päätyvänsä "yleiseen ajatukseen, joka on automorfisten muunnosten suhteen invariantti elementtien konfiguraatio". Lukijalta oletetaan alun alkaen, että hän vaivattomasti ymmärtää, mitä tämä tarkoittaa. Bilateraalisymmetria Ensimmäinen luku on helppoa luettavaa. Asian matematiikka on yksinkertaista, ja Weyl kirjoittaa pikemminkin symmetrian yleisiä periaatteita pohtivana luonnonfilosofina kuin matemaatikkona. Yksinkertaisimmassa symmetriassa, vasemman ja oikean välisestä symmetriasta, kuvio pysyy invarianttina, kun se peilataan symmetriatasossaan (esim. pystysuorassa tasossa. Weylin filosofinen asenne ilmenee heti hänen pohdiskellessaan symmetristä kuvapatsasta (s. 17): "... Keksikö taiteilija symmetrian, jonka luonto on antanut olennoilleen lakiensa mukaan? Kopioiko ja hioiko hän sen, minkä luonto antaa vain epätäydellisessä muodossa? Vai onko symmetrian esteettisellä arvolla riippumaton lähde? Minulla on taipumus ajatella Platonin tapaan, että matemaattinen käsite on molempien syntyprosessin yhteinen lähde: luontoa hallitsevat matemaattiset lait synnyttävät luonnon symmetrian ja käsitteen vaistomainen hahmottuminen luovan taiteilijan ajatuksissa synnyttää symmetrian taiteeseen...." Weylillä on tässä mielessään myös analoginen tieteenfilosofian probleemi. Missä määrin matemaattiseen asuun puetut teoriat koskevat jotain luonnossa itsessään' olevaa? Weylin asenne on varsin metafyysistä platonismia. Weyl antaa esimerkkejä bilateraalisymmetrian esiintymisestä ornamenteissa ja muissa taideteoksissa (s. 17-7) ja toteaa, että aikaa myöten ehdoton symmetria väljeni asetelmaksi, jossa kuvan perusidea' on symmetrinen, mutta kuvioissa ei symmetria tiukasti toteudu. Weyl kirjoittaa symmetrian esiintymisestä fysiikan laeissa (s. 8, 31): "Tieteen kannalta vasemman ja oikean välillä ei ole periaatteellista eroa tai polaarisuutta,... Vasemman ja oikean määrittäminen edellyttää mielivaltaista valintaa. Kun se on tehty yhdelle kappaleelle, se pätee kaikille kappaleille.... Avaruuden sisäinen rakenne erottaa vasenkätisen ja oikeakätisen ruuvin toisistaan vain mielivaltaisen valinnan seurauksena. Olennainen tulos on, että fysiikassa ei ole mitään, mikä viittaa vasemman ja oikean perustavaa laatua olevaan eroon. Vasen ja oikea ovat samanarvoisia samaan tapaan kuin kaikki avaruuden pisteet ja suunnat ovat samanarvoisia. Paikka, suunta, vasen ja oikea ovat suhteellisia käsitteitä." Sanotaanpa "avaruuden sisäisestä rakenteesta" mitä hyvänsä, voi kysyä, tekevätkö fysiikan lait eron vasemman ja oikean välillä vai eivätkö tee. Tuskin enää esittäisimme väitteitä sellaisella varmuudella kuin Weyl tekee. Kysymystä absoluuttisen ja suhteellisen paikan probleemista Weyl käsittelee selostamalla Leibnizin ja Newtonin kantaa edustaneen Samuel Clarken kirjeenvaihtoa Vasemman ja
2 oikean samanarvoisuuden Weyl rinnastaa tulevaisuuden ja menneisyyden samanarvoisuuteen fysiikan laeissa (s. 36): "Kuitenkin ne lait, jotka voimme sanoa tuntevamme kohtuullisen hyvin, ovat invariantteja ajan suunnan muutoksen suhteen ja vasemman ja oikean vaihtamisen suhteen." Mikä merkitys on sillä, että matemaattiseen muotoon puetut lait ovat tuolla tavoin invariantteja. Merkitseekö se, että myöskin luonto on? Weyl kirjoittaa (s ): "Jos luonto olisi pelkkää lainmukaisuutta, niin jokaisella ilmiöllä olisi luonnon universaalien lakien täysi symmetria sellaisena kuin suhteellisuusteoria sen muotoilee. Tosiasia, ettei näin ole, osoittaa, että kontingenssi eli asiayhteyteen liittyvä sattumanvaraisuus on olennainen maailman piirre.... Totuus sellaisena kuin se nykyään nähdään on seuraava: luonnonlait eivät määrää ainutlaatuisesti olemassa olevaa todellista maailmaa,..." Tämä on aiheellinen universaalisten teorioiden merkitystä koskeva rajoitus. On tietenkin jossain määrin problemaattista, mikä universumimme universaalinen ominaisuus on laki? Esimerkkeinä luonnossa esiintyvästä bilateraalisymmetriasta Weyl mainitsee kiteet ja toteaa mm. orgaanista alkuperää olevissa kiteissä esiintyvät laevo - ja dextro -muodot, joista hän kirjoittaa (s ): "On kuitenkin muuan todellinen vaikeus: miksi luonto tuottaa niin monista miltei varmasti elävistä eliöistä peräisin olevista enantiomorfisista muotojen kaksikoista vain toisen?... Itse asiassa, jos kasveissa ja eläimissä olevat epäsymmetriset proteiinimolekyylit ovat syntyneet riippumattomasti monissa paikoissa, niin niiden laevo- ja dextro-muotojen pitäisi olla likimain yhtä yleisiä.... On kuitenkin varmaa, että arvoituksen ratkaisu ei liity universaalisiin biologisiin lakeihin, vaan eliömaailman synnyn sattumiin.... Tarvitaan kuitenkin vähemmän radikaali selitys, joka esimerkiksi palauttaa Maan asukkaiden epäsymmetrian johonkin itse Maan tai Auringosta Maahan tulevan valon perustavaa laatua olevaan, joskin sattumanvaraiseen epäsymmetriaan.... Toinen mahdollisuus on olettaa, että kehitys todella alkoi enantiomorfisten muotojen tasaisesta jakautumasta, joka oli epätasapainossa siten, että satunnainen pieni häiriö johti sen toista muotoa suosivaksi." Kaikesta ilmenee Weylin haluttomuus sijoittaa tätä epäsymmetriaa luonnon fundamentaalisiin tekijöihin. Asialla on tietty analogia positiivisen ja negatiivisen varauksen väliseen epäsymmetriaan tai materian ja antimaterian' epäsymmetriaan. Niidenkin tapauksessa vedotaan alussa' tapahtuneeseen satunnaiseen häiriöön, joka johti toisen vaihtoehdon ylivaltaan. Weyl käsittelee vielä elävien olentojen rakenteessa esiintyvää oikea-vasen-symmetriaa ja pohtii sen syntyä munasolun jakautumisesta alkaen (s ). Siirto- ja kiertosymmetriat Toisessa luvussa Weyl siirtyy matemaattisempaan aiheeseen. Hän ilmoittaakin tarvitsevansa "hieman matematiikkaa", ja pyytää "sitä varten kärsivällisyyttä" (s. 53). Matemaattisen tekstin omaksumiseen ei ikävä kyllä pelkkä kärsivällisyys riitä. Weyl selostaa (s ) avaruuden bijektioita itselleen ja rajoittaa sitten kuvaukset automorfeiksi, jotka jättävät "avaruuden rakenteen muuttumattomaksi". Hän kertoo (s. 55) matemaatikkojen käyttävän sanaa ryhmä kuvaamaan tätä tilannetta ja siksi he sanovat, että automorfismit muodostavat ryhmän. Weyl rajoittaa käsitteen ryhmä koskemaan transformaatioryhmiä ja siksi ei ole ottanut antamaansa ryhmäominaisuuksien luetteloon mukaan assosiatiivisuutta. Käsitteen "avaruuden rakenne" Weyl määrittelee kongruenssirelaation avulla. Olennaisen tekijän muodostavat jäykän kappaleen liikkeet, joille Weyl ottaa käyttöön nimityksen kongruentti kuvaus. Olennaiset käsitteet selostetaan sivuilla 56-57: "... Kongruenssi on joko aito, jolloin se vie vasenkätisen ruuvin vasenkätiseksi ja oikeakätisen oikeakätiseksi, tai se on epäaito eli refleksiivinen, jolloin se muuttaa vasenkätisen ruuvin oikeakätiseksi ja päinvastoin.... Näin on luotu askelten rakenne: similariteetit kongruenssit = similariteetit ilman mittakaavan muutosta liikkeet = aidot kongruenssit. Kongruenssit muodostavat similariteetien aliryhmän ja liikkeet muodostavat kongruenssien ryhmän aliryhmän, jonka indeksi on. Tämä lisäys tarkoittaa, että jos B on mielivaltainen epäaito kongruenssi, kaikki epäaidot kongruenssit saa muodossa BS yhdistämällä B:n kaikkiin mahdollisiin aitoihin kongruensseihin S...." Monista muistakin Weylin teksteistä ilmenee hauskalla tavalla kuluneen puolen vuosisadan aikaansaama muutos matemaattisessa tyylissä. Weyl ei aloita täsmällisillä määritelmillä. vaan pudottelee jonkinlaisia pseudomääritelmiä' tekstiin sinne tänne sen jälkeen kun on jo käsitteitä käyttänyt. Esimerkiksi tässä hän ottaa käyttöön käsitteen aliryhmä vailla määritelmää myöskään käsitettä aliryhmän indeksi hän ei määrittele, vaan valaisee sitä indeksin tapauksessa
3 konkreettisella esimerkillä. Kongruenssien joukosta määritellään kierrot jonkin pisteen ympäri ja siirrot eli translaatiot. Kaikki tämä liittyy symmetrian käsitteeseen seuraavasti (s. 58): "Annetussa avaruuden rakenteessa F ne avaruuden automorfismit, jotka jättävät rakenteen F muuttumattomaksi, muodostavat ryhmän G, ja tämä ryhmä kuvaa rakenteen F symmetrian tarkasti." Rakenteella F Weyl tarkoittaa jotain pisteistä muodostunutta kuviota. Hän osoittaa, että jos kuvio ei ulotu äärettömiin eikä supistu vain yhdeksi pisteeksi, täytyy sen muuttumattomaksi jättävän automorfismin säilyttää mittakaava, jolloin se on kongruenssi. Weyl käsittelee esimerkkien valossa siirtojen ja mahdollisten heijastuksen invariantteja kuvioita eli nauhaornamentteja ja antaa esimerkkejä tällaisista sekä eläinkunnasta että taiteesta. Seuraavaksi hän tarkastelee symmetrioita, jotka perustuvat kiertoihin tietyn akselin ympäri. Tällaisia löytyy ruukkujen, pylväiden ja rakennusten koristeluista sekä kukista ja eliöistä. Erityisesti viisilukuinen symmetria on yleinen sekä kukissa että alemmissa eläimissä (s. 73, 75, 77). Viisilukuisen symmetrian vastapainoksi Weyl mainitsee lumikiteiden kuusilukuisen symmetrian. Hän ei kuitenkaan varoita lukijaa siitä, että lumikiteistä esitetyt kauniit kuvat ylikorostavat kiteiden säännöllisyyttä. Seuraavaksi Weyl siirtyy käsittelemään aitojen kiertojen lisäksi epäaitoja, siis sellaisia, joissa on yhdistetty kierto heijastukseen. Hän määrittelee pelkistä kierroista koostuvat sykliset ryhmät C n, n = 1,, 3,..., sekä näiden ja kiertoakselissa tapahtuvan heijastuksen yhdistämisestä saatavat diedraaliryhmät D n, n = 1,, 3,... Hän kertoo näissä ryhmissä ilmenevän symmetrian mukaisten kuvioiden ilmenemisestä luonnossa ja taiteessa ja siirtyy tarkastelemaan nauhaornamenttien kaltaisia potentiaalisesti äärettömiä kuvioita, joissa peruskuvauksena ei olekaan kongruenssi vaan yleisempi similariteetti (joka siis muuttaa mittakaavaa). Hän tarjoaa esimerkeiksi jotkut nilviäisten kuoret sekä logaritmisen spiraalin ja mainitsee ruuviliikkeen (s ). Äärellisiä transformaatioryhmiä C n vastaavat symmetriset kuviot ovat säännöllisiä monikulmioita. Kolmiulotteisessa avaruudessa vastaavat kuviot ovat säännöllisiä monitahokkaita, ja niitä on vain viisi kappaletta. (s ). Viidelle säännölliselle kappaleelle muodostetaan niiden aitojen kiertojen ryhmät. Näitä on vain kolme; tetraedrin, kuution ja oktaedrin, sekä dodekaedrin ja ikosaedrin ryhmät T, W ja P. Weyl selittää, miksi kahdella kappaleella on sama transformaatioryhmä ja kertoo (s. 95): "Tässä tilanteessa kuutio ja oktaedri ovat polaarikuvioita projektiivisen geometrian mielessä.... Vastaavasti dodekaedri ja ikosaedri ovat polaarikuvioita." Lukijalle ei kuitenkaan anneta selostusta siitä, mitä tämä tarkoittaa. Luvun viimeisillä sivuilla Weyl luettelee kaikki avaruuden äärellisten aitojen ja epäaitojen kiertojen ryhmät. Asian käsittäminen on vaikeaa lukijalle, joka ei jo alunperin tunne ryhmäteorian käsitteistöä. Ornamenttisymmetria Weyl aloittaa kolmannen luvun tarkastelemalla pintaornamentteja, siis säännöllisiä kuvioita, joiden avulla voi peittää tason. Ensimmäiseksi mainitaan säännöllisistä kuusikulmioista koostuva ornamentti ja kerrotaan sen esiintymisestä ja ominaisuuksista (s ). Tämä ornamentti liittyy ympyröiden mahdollisimman tiheään pakkaukseen, joten Weyl siirtyy käsittelemään pallopakkauksia avaruudessa ja tässä yhteydessä viittaa myös Keplerin tekstiin Strena -teoksessa teosta itseään mainitsematta. Weyl kertoo, millaisia spekulaatioita on esitetty siitä, että mehiläiset rakentavat kennonsa rombidodekaedreista ja ryhtyy sitten järjestelmällisesti tutkimaan tason ornamenttisymmetrioita. Hän antaa lyhyen selostuksen kaksidimensioisesta vektorialgebrasta sekä koordinaattimuunnoksista matriisien avulla (s ). Lieneekö suomennoksen vai alkutekstin lapsus, kun vektorin r pituus IrI määritellään neliömuodoksi g 11 x 1 + g 1 x 1 x + g x, jonka muodostavat vektorin koordinaatit x 1 ja x sekä vakiokertoimet g 11, g 1 ja g. Karteesiset koordinaatistot muodostuvat keskenään kohtisuorista ykkösen pituisista vektoreista; tällaisissa pituuden neliön lauseke saa muodon x 1 + x. Koordinaattimuunnos, joka säilyttää tämän lausekkeen
4 on ortogonaalimuunnos; tällaisen voi tulkita myös itse tason muunnokseksi, jolloin on kyseessä kierto. Kun kiertoihin lisätään siirto, saadaan kaikille tason liikkeille koordinaattiesitys. Tätä aparaattia käyttäen Weyl tutkii tason diskreettien kongruenttien kuvausten ryhmiä sekä näiden määrittelemiä hilapisteistöjä (s ). Esityksen seuraamisen vaatimista matematiikan taidoista voi antaa hauskana esimerkkinä Weylin siteeraaman Maschken teoreeman (s.17): "... voidaan osoittaa, että mille tahansa lineaarimuunnosten äärelliselle ryhmälle, jonka kertoimet ovat reaalilukuja, voidaan konstruoida positiivisia neliömuotoja, jotka ovat näissä muunnoksissa invariantteja Todistus on varsin yksinkertainen. Otetaan positiivinen neliömuoto, vaikkapa x 1 + x, tehdään sille jokainen ryhmän muunnos S ja lasketaan näin saadut muodot yhteen. Tulos on invariantti positiivinen muoto." Jos lukija muutamassa minuutissa löytää tälle todistuksen ja lisäksi iloitsee todistuksessa vaadittavasta hyvälle matematiikalle tyypillisestä niksistä', niin Weylin kirjan lukeminen ei tuota hänelle vaikeuksia. - Yleisten lauseittensa sovellutuksena Weyl antaa lukuisia esimerkkejä kauneista pintaornamenteista (s ). Kiteistä ja symmetrian yleisestä käsitteestä Neljännessä luvussa Weyl käsittelee kolmidimensioisen avaruuden äärellisiä kiertoryhmiä sekä näiden invariantteina kuvioina "kappalemaisia ornamentteja" (s ). Tällaisia esiintyy kiteissä. Kiteiden tutkiminen röntgensäteillä otettujen valokuvien avulla antaa hänelle aiheen "epistemologiseen huomautukseen" (s. 146): "Röntgensäteiden tuottamat kuvat esittävät vääristymistään huolimatta kiteen symmetrian tarkasti. Tämä on seuraavan yleisen periaatteen erikoistapaus: jos ilmiön yksikäsitteisesti määrittävillä syillä on tiettyjä symmetrioita, niiden seurauksillakin on sama symmetria... Mielestäni kaikilla fysiikan a priori lausumilla on symmetriaan perustuva alkuperä." Kirjan lopuksi Weyl siirtyy käsittelemään symmetrioiden esiintymistä yleisemmissä yhteyksissä. Ensimmäiseksi hän tarkastelee geometriassa ilmenevää suhteellisuusperiaatetta' (s ) ja siirtyy paikasta paikan ja ajan yhdelmään. Jo aikaisemmin Weyl kertoi koko suhteellisuusteorian riippuvan symmetriasta (s. 8). Mitä hän tällä tarkoittaa, selviää, kun Weyl identifioi symmetrian invarianssiksi tilannetta luonnehtivassa transformaatioryhmässä. Weyl on perusteellisesti tutkinut suhteellisuusteoriaa, joten hänellä on aiheesta kiinnostavaa sanottavaa. Hän aloittaa (s. 151): "Nämä päätelmät ovat puutteellisia yhdessä suhteessa: ne jättävät huomiotta fysikaaliset tapahtumat ei vain avaruudessa, vaan myös avaruudessa ja ajassa. Kolmiulotteisen jatkumon asemesta maailma on neliulotteinen jatkumo. Einstein kuvasi ensimmäisenä oikein tämän neliulotteisen väliaineen symmetrian, suhteellisuuden tai homogeenisuuden." Weyl kertoo Newtonin absoluuttista paikkaa koskevista ajatuksista ja siirtyy ajan probleemiin (s. 151): "Siis onko väitteellä, että kaksi tapahtumaa ovat samanaikaiset (mutta eri paikoissa, vaikkapa täällä ja Siriuksessa), objektiivinen merkitys? Ennen Einsteinia vastaus kuului kyllä." Valon äärellinen etenemisnopeus on Weylin mukaan kumonnut tämän uskomuksen (s. 15): "Tämä kyseenalaisti sen, voiko maailman rakenteen objektiivisia piirteitä kuvata siten, että neliulotteinen jatkumo jakautuu kolmiulotteisiksi samanaikaisuuden kerroksiksi ja sitä vastaan kohtisuoriksi yksiulotteisiksi lepotilan kuiduiksi eli avaruuden pisteiden maailmanviivoiksi. Einstein keräsi ennakkoluulottomasti kaiken neliulotteisen avaruusajan jatkumon todellista rakennetta koskevan fysikaalisen todistusaineiston ja tämän perusteella johti sen todellisen automorfismien ryhmän. Sitä sanotaan Lorentzin ryhmäksi hollantilaisen fyysikon H. A. Lorentzin mukaan,... Osoittautui, että tämän ryhmän mukaan ei ole invariantteja samanaikaisuuden kerroksia tai invariantteja levon kuituja. Valokartio... jakaa maailman tulevaisuuteen ja menneisyyteen, siihen maailman osaan, johon toimeni pisteessä O voivat vaikuttaa ja siihen osaan, johon ne eivät vaikuta. Tämä tarkoittaa, että mikään vaikutus ei kulje valoa nopeammin ja että maailmalla on objektiivinen kausaalinen rakenne, jonka nämä jokaisesta maailmanpisteestä O tulevat valokartiot kuvaavat." Weyl kirjoittaa aivan kuin "maailma" olisi identtinen Minkowskin avaruuden kanssa. Täytyihän hänen tietää, että Einstein oli jo vuonna 1917 kosmologiassaan ottanut käyttöön juuri Weylin kritisoimat "yksiulotteiset lepotilan kuidut". Vaikka tällaisia ei suppeammassa suhteellisuusteoriassa olekaan, sellaisia on yleisen suhteellisuusteorian mukaisessa kosmologiassa. Kumman, jos kummankaan, maailmasta antamaa kuvaa on aiheellista pitää "objektiivisena"? Mikä merkitys maailman
5 todelliselle rakenteelle on sillä, että Weylin mainitsemia kuituja ja kerroksia ei ole olemassa erään matemaattisesti konstruoidun ryhmän mukaan? Suhteellisuusteorian jälkeen Weyl tarkastelee vielä kvanttimekaniikkaa ja siellä ilmeneviä symmetrioita (s ). Kvanttimekaniikan ryhmäteoreettisia menetelmiä Weyl olikin perusteellisesti tutkinut. Vielä Weyl esittelee yhtälöiden ratkaisujen ja niiden juurien Galois-ryhmien välisiä yhteyksiä (s ). Tässä yhteydessä hän antaa hyvin havainnollisen esityksen Gaussin tuloksesta, että säännöllisen 17-kulmion voi konstruoida harpilla ja viivoittimella (s ). Weylin teos julkaistiin ensimmäisen kerran vuonna Siitä on jo kulunut yli puoli vuosisataa, ja tämä aika on huomattavasti muuttanut matematiikan sekä sisältöjä että tyyliä'. Niinpä kirja valaisee paitsi matematiikkaa myös matematiikan historiaa. Weyl ei ole sellaisella tavalla formalisti' kuin useimmat nykyiset (ehkä mm. Bourbakilta suoraan tai välillisesti vaikutuksia saaneet) matemaatikot ovat. Hän ei useinkaan aloita kunkin aiheen käsittelyä määritelmillä ja oletuksilla, vaan tällaiset seuraavat usein vasta myöhemmin, kun aihetta on jo käsitelty. Tämän johdosta lukija saattaa usein törmätä uuteen käsitteeseen, josta annetaan selvitys vasta myöhemmin. Weyl on pikemminkin klassillinen' matemaatikko kuin moderni struktuurimatemaatikko'. Tämä käy esimerkiksi ilmi siitä, miten hän määrittelee "algebrikon" oman aikamme matemaatikosta jo vieraalta tuntuvalla tavalla (s. 156): "Algebrikko on ihminen, joka käsittelee lukuja, mutta saa käyttää vain neljää operaatiolajia +, -,,. Näillä neljällä operaatiolla nollasta ja ykkösestä saadut luvut ovat rationaalilukuja.... Niinpä algebrikolla ei ole syytä astua rationaalilukujen kunnan F ulkopuolelle, elleivät geometrian ja fysiikan vaatimukset pakota matemaatikkoa tarttumaan jatkuvuuden hankalaan analyysiin ja upottamaan rationaaliluvut reaalilukujen jatkumoon...." Modernia matematiikkaa Weyl luonnehtii ryhmä-käsitteen merkitystä korostaen hieman Kleinin Erlangenin ohjelmaa muistuttavalla tavalla (s. 165): "Saamme koko esityksestä seuraavanlaisen opin, josta on tullut koko modernia matematiikkaa ohjaava peeriaate: Kun käsitellään kohdetta S, jolla on rakenne, on yritettävä määrittää sen automorfismien ryhmä eli se alkioita koskevien muunnosten ryhmä, joka ei muuta rakenteeseen liittyviä relaatioita." Tarkastelipa Weylin kirjaa oman aikamme matematiikan tai matematiikan historian perspektiivistä, joka tapauksessa se antaa oivallisen kuvan matemaatikon tavasta katsoa sekä omaa tiedettään että luontoa. Kimmo Pietiläinen ansaitsee suuren kiitoksen siitä, että on liittänyt suomennoksensa kustantamiensa kirjojen komeaan ja Suomen matemaattisluonnontieteellistä kulttuuria avartavaan valikoimaan. Kirjoittaja on Teknillisen korkeakoulun matematiikan emeritusprofessori.
Injektio. Funktiota sanotaan injektioksi, mikäli lähtöjoukon eri alkiot kuvautuvat maalijoukon eri alkioille. Esim.
Injektio Funktiota sanotaan injektioksi, mikäli lähtöjoukon eri alkiot kuvautuvat maalijoukon eri alkioille. Esim. Funktio f on siis injektio mikäli ehdosta f (x 1 ) = f (x 2 ) seuraa, että x 1 = x 2.
Symmetrisistä ryhmistä symmetriaryhmiin
Symmetrisistä ryhmistä symmetriaryhmiin 16. marraskuuta 2006 1 Symmetrisistä ryhmistä... Bijektiivistä kuvausta {1,..., n} {1,..., n} kutsutaan n-permutaatioksi. Merkitään n-permutaatioden joukkoa S n.
Sisällysluettelo. Alkusanat 11. A lbert E insteinin kirjoituksia
Sisällysluettelo Alkusanat 11 A lbert E insteinin kirjoituksia Erityisestä ja yleisestä su hteellisuusteoriasta Alkusanat 21 I Erityisestä suhteellisuusteoriasta 23 1 Geometristen lauseiden fysikaalinen
1. Otetaan perusjoukoksi X := {0, 1, 2, 3, 4, 5, 6, 7}. Piirrä seuraaville kolmelle joukolle Venn-diagrammi ja asettele alkiot siihen.
Joukko-oppia Matematiikan mestariluokka, syksy 2010 Harjoitus 1, vastaukset 20.2.2010 1. Otetaan perusjoukoksi X := {0, 1, 2, 3, 4, 5, 6, 7}. Piirrä seuraaville kolmelle joukolle Venn-diagrammi asettele
Paulin spinorit ja spinorioperaattorit
Paulin spinorit ja spinorioperaattorit Spinoreita on useita erilaisia. Esimerkiksi Paulin, Dirackin ja Weyelin spinorit. Yhteisenä piirteenä eri spinoreilla on se, että kukin liittyy tavallisesti johonkin
Matematiikan tukikurssi
Matematiikan tukikurssi Kurssikerta 1 Määrittelyjoukoista Tarkastellaan funktiota, jonka määrittelevä yhtälö on f(x) = x. Jos funktion lähtöjoukoksi määrittelee vaikkapa suljetun välin [0, 1], on funktio
Vektorien pistetulo on aina reaaliluku. Esimerkiksi vektorien v = (3, 2, 0) ja w = (1, 2, 3) pistetulo on
13 Pistetulo Avaruuksissa R 2 ja R 3 on totuttu puhumaan vektorien pituuksista ja vektoreiden välisistä kulmista. Kuten tavallista, näiden käsitteiden yleistäminen korkeampiulotteisiin avaruuksiin ei onnistu
Jarkko Peltomäki. Aliryhmän sentralisaattori ja normalisaattori
Jarkko Peltomäki Aliryhmän sentralisaattori ja normalisaattori Matematiikan aine Turun yliopisto Syyskuu 2009 Sisältö 1 Johdanto 2 2 Määritelmiä ja perusominaisuuksia 3 2.1 Aliryhmän sentralisaattori ja
MS-A0402 Diskreetin matematiikan perusteet
MS-A0402 Diskreetin matematiikan perusteet Osa 5: Ryhmät ja permutaatiot Riikka Kangaslampi 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Ryhmät ja permutaatiot Väritysongelma Jos meillä
σ = σ = ( ).
APPROBATUR 3 (MATP170) Harjoitus 6, Ratkaisut 1. Kirjoita permutaatio perinteisessä kaksirivisessä esitysmuodossa. σ = ( 1 3 6 2 )( 4 5 6 1 )( 2 3 4 5 ) Ratkaisu. Katsotaan alkioden 1, 2, 3, 4, 5, 6 kuvautuminen
Suhteellinen nopeus. Matkustaja P kävelee nopeudella 1.0 m/s pitkin 3.0 m/s nopeudella etenevän junan B käytävää
3.5 Suhteellinen nopeus Matkustaja P kävelee nopeudella 1.0 m/s pitkin 3.0 m/s nopeudella etenevän junan B käytävää P:n nopeus junassa istuvan toisen matkustajan suhteen on v P/B-x = 1.0 m/s Intuitio :
Johdatus matematiikkaan
Johdatus matematiikkaan Luento 7 Mikko Salo 11.9.2017 Sisältö 1. Funktioista 2. Joukkojen mahtavuus Funktioista Lukiomatematiikassa on käsitelty reaalimuuttujan funktioita (polynomi / trigonometriset /
Monikulmiot 1/5 Sisältö ESITIEDOT: kolmio
Monikulmiot 1/5 Sisältö Monikulmio Monikulmioksi kutsutaan tasokuviota, jota rajaa perättäisten janojen muodostama monikulmion piiri. Janat ovat monikulmion sivuja, niiden päätepisteet monikulmion kärkipisteitä.
Johdatus matematiikkaan
Johdatus matematiikkaan Luento 4 Mikko Salo 4.9.2017 Sisältö 1. Rationaali ja irrationaaliluvut 2. Induktiotodistus Rationaaliluvut Määritelmä Reaaliluku x on rationaaliluku, jos x = m n kokonaisluvuille
Tietojenkäsittelyteorian alkeet, osa 2
TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. syyskuuta 2016 Sisällys vs Ovat eri asioita! Älä sekoita niitä. Funktiot Funktio f luokasta A luokkaan B, merkitään
Topologia Syksy 2010 Harjoitus 4. (1) Keksi funktio f ja suljetut välit A i R 1, i = 1, 2,... siten, että f : R 1 R 1, f Ai on jatkuva jokaisella i N,
Topologia Syksy 2010 Harjoitus 4 (1) Keksi funktio f ja suljetut välit A i R 1, i = 1, 2,... siten, että f : R 1 R 1, f Ai on jatkuva jokaisella i N, i=1 A i = R 1, ja f : R 1 R 1 ei ole jatkuva. Lause
Oppimistavoitematriisi
Oppimistavoitematriisi Lineaarialgebra ja matriisilaskenta I Arvosanaan 1 2 riittävät Arvosanaan 5 riittävät Yhtälöryhmät (YR) Osaan ratkaista ensimmäisen asteen yhtälöitä ja yhtälöpareja Osaan muokata
Suora 1/5 Sisältö ESITIEDOT: vektori, koordinaatistot, piste
Suora 1/5 Sisältö KATSO MYÖS:, vektorialgebra, geometriset probleemat, taso Suora geometrisena peruskäsitteenä Pisteen ohella suora on geometrinen peruskäsite, jota varsinaisesti ei määritellä. Alkeisgeometriassa
Algebra I, Harjoitus 6, , Ratkaisut
Algebra I Harjoitus 6 9. 13.3.2009 Ratkaisut Algebra I Harjoitus 6 9. 13.3.2009 Ratkaisut (MV 6 sivua 1. Olkoot M ja M multiplikatiivisia monoideja. Kuvaus f : M M on monoidihomomorfismi jos 1 f(ab = f(af(b
Kannan vektorit siis virittävät aliavaruuden, ja lisäksi kanta on vapaa. Lauseesta 7.6 saadaan seuraava hyvin käyttökelpoinen tulos:
8 Kanta Tässä luvussa tarkastellaan aliavaruuden virittäjävektoreita, jotka muodostavat lineaarisesti riippumattoman jonon. Merkintöjen helpottamiseksi oletetaan luvussa koko ajan, että W on vektoreiden
7 Vapaus. 7.1 Vapauden määritelmä
7 Vapaus Kuten edellisen luvun lopussa mainittiin, seuraavaksi pyritään ratkaisemaan, onko annetussa aliavaruuden virittäjäjoukossa tarpeettomia vektoreita Jos tällaisia ei ole, virittäjäjoukkoa kutsutaan
Joukot. Georg Cantor ( )
Joukot Matematiikassa on pyrkimys määritellä monimutkaiset asiat täsmällisesti yksinkertaisempien asioiden avulla. Tarvitaan jokin lähtökohta, muutama yleisesti hyväksytty ja ymmärretty käsite, joista
MS-A0401 Diskreetin matematiikan perusteet
MS-A0401 Diskreetin matematiikan perusteet Osa 5: Ryhmät ja permutaatiot Riikka Kangaslampi Syksy 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Ryhmät ja permutaatiot Väritysongelma Jos
9. Vektorit. 9.1 Skalaarit ja vektorit. 9.2 Vektorit tasossa
9. Vektorit 9.1 Skalaarit ja vektorit Skalaari on koon tai määrän mitta. Tyypillinen esimerkki skalaarista on massa. Lukumäärä on toinen hyvä esimerkki skalaarista. Vektorilla on taas suuruus ja suunta.
Platonin kappaleet. Avainsanat: geometria, matematiikan historia. Luokkataso: 6-9, lukio. Välineet: Polydron-rakennussarja, kynä, paperia.
Tero Suokas OuLUMA, sivu 1 Platonin kappaleet Avainsanat: geometria, matematiikan historia Luokkataso: 6-9, lukio Välineet: Polydron-rakennussarja, kynä, paperia Tavoitteet: Tehtävässä tutustutaan matematiikan
Matematiikan tukikurssi, kurssikerta 2
Matematiikan tukikurssi kurssikerta 1 Relaatioista Oletetaan kaksi alkiota a ja b. Näistä kumpikin kuuluu johonkin tiettyyn joukkoon mahdollisesti ne kuuluvat eri joukkoihin; merkitään a A ja b B. Voidaan
Suhteellisuusteorian vajavuudesta
Suhteellisuusteorian vajavuudesta Isa-Av ain Totuuden talosta House of Truth http://www.houseoftruth.education Sisältö 1 Newtonin lait 2 2 Supermassiiviset mustat aukot 2 3 Suhteellisuusteorian perusta
1 Kannat ja kannanvaihto
1 Kannat ja kannanvaihto 1.1 Koordinaattivektori Oletetaan, että V on K-vektoriavaruus, jolla on kanta S = (v 1, v 2,..., v n ). Avaruuden V vektori v voidaan kirjoittaa kannan vektorien lineaarikombinaationa:
Matemaattisten työvälineiden täydentäviä muistiinpanoja
Matemaattisten työvälineiden täydentäviä muistiinpanoja Antti-Juhani Kaijanaho 7 maaliskuuta 0 Deduktiivinen ja induktiivinen päättely Deduktiivisessa päättelyssä johtopäätös seuraa aukottomasti premisseistä
Esko Turunen Luku 3. Ryhmät
3. Ryhmät Monoidia rikkaampi algebrallinen struktuuri on ryhmä: Määritelmä (3.1) Olkoon joukon G laskutoimitus. Joukko G varustettuna tällä laskutoimituksella on ryhmä, jos laskutoimitus on assosiatiivinen,
Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista
Matematiikan johdantokurssi, syksy 06 Harjoitus, ratkaisuista. Valitse seuraaville säännöille mahdollisimman laajat lähtöjoukot ja sopivat maalijoukot niin, että syntyy kahden muuttujan funktiot (ks. monisteen
Dihedraalinen ryhmä Pro gradu Elisa Sonntag Matemaattisten tieteiden laitos Oulun yliopisto 2013
Dihedraalinen ryhmä Pro gradu Elisa Sonntag Matemaattisten tieteiden laitos Oulun yliopisto 2013 Sisältö Johdanto 2 1 Ryhmä 3 2 Symmetrinen ryhmä 6 3 Symmetriaryhmä 10 4 Dihedraalinen ryhmä 19 Lähdeluettelo
(1) refleksiivinen, (2) symmetrinen ja (3) transitiivinen.
Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus. Tietyn ominaisuuden samuus -relaatio on ekvivalenssi; se on (1) refleksiivinen,
Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9
Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9 Tuntitehtävät 9-10 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 13-14 loppuviikon harjoituksissa. Kotitehtävät 11-12 tarkastetaan loppuviikon
33. pohjoismainen matematiikkakilpailu 2019 Ratkaisut
33. pohjoismainen matematiikkakilpailu 2019 Ratkaisut 1. Kutsutaan (eri) positiivisten kokonaislukujen joukkoa merkitykselliseksi, jos sen jokaisen äärellisen epätyhjän osajoukon aritmeettinen ja geometrinen
Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus.
Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus. Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden
Taso 1/5 Sisältö ESITIEDOT: vektori, koordinaatistot, piste, suora
Taso 1/5 Sisältö Taso geometrisena peruskäsitteenä Kolmiulotteisen alkeisgeometrian peruskäsitteisiin kuuluu taso pisteen ja suoran lisäksi. Intuitiivisesti sitä voidaan ajatella joka suunnassa äärettömyyteen
X R Matematiikan johdantokurssi, syksy 2016 Harjoitus 5, ratkaisuista
Matematiikan johdantokurssi, syksy 06 Harjoitus, ratkaisuista. Olkoon perusjoukkona X := {,,,, } ja := {(, ), (, ), (, ), (, )}. Muodosta yhdistetyt (potenssi)relaatiot,,,. Entä mitä on yleisesti n, kun
Oppimistavoitematriisi
Oppimistavoitematriisi Lineaarialgebra ja matriisilaskenta I Esitiedot Arvosanaan 1 2 riittävät Arvosanaan 3 4 riittävät Arvosanaan 5 riittävät Yhtälöryhmät (YR) Osaan ratkaista ensimmäisen asteen yhtälöitä
8 KANNAT JA ORTOGONAALISUUS. 8.1 Lineaarinen riippumattomuus. Vaasan yliopiston julkaisuja 151
Vaasan yliopiston julkaisuja 151 8 KANNAT JA ORTOGONAALISUUS KantaOrthogon Sec:LinIndep 8.1 Lineaarinen riippumattomuus Lineaarinen riippumattomuus on oikeastaan jo määritelty, mutta kirjoitamme määritelmät
Määritelmä Olkoon T i L (V i, W i ), 1 i m. Yksikäsitteisen lineaarikuvauksen h L (V 1 V 2 V m, W 1 W 2 W m )
Määritelmä 519 Olkoon T i L V i, W i, 1 i m Yksikäsitteisen lineaarikuvauksen h L V 1 V 2 V m, W 1 W 2 W m h v 1 v 2 v m T 1 v 1 T 2 v 2 T m v m 514 sanotaan olevan kuvausten T 1,, T m indusoima ja sitä
3.3 Paraabeli toisen asteen polynomifunktion kuvaajana. Toisen asteen epäyhtälö
3.3 Paraabeli toisen asteen polynomifunktion kuvaajana. Toisen asteen epäyhtälö Yhtälön (tai funktion) y = a + b + c, missä a 0, kuvaaja ei ole suora, mutta ei ole yhtälökään ensimmäistä astetta. Funktioiden
Onko kuvaukset injektioita? Ovatko ne surjektioita? Bijektioita?
Matematiikkaa kaikille, kesä 2017 Avoin yliopisto Luentojen 2,4 ja 6 tehtäviä Päivittyy kurssin aikana 1. Olkoon A = {0, 1, 2}, B = {1, 2, 3} ja C = {2, 3, 4}. Luettele joukkojen A B, A B, A B ja (A B)
Bijektio. Voidaan päätellä, että kuvaus on bijektio, jos ja vain jos maalin jokaiselle alkiolle kuvautuu tasan yksi lähdön alkio.
Määritelmä Bijektio Oletetaan, että f : X Y on kuvaus. Sanotaan, että kuvaus f on bijektio, jos se on sekä injektio että surjektio. Huom. Voidaan päätellä, että kuvaus on bijektio, jos ja vain jos maalin
Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara
Kuvauksista ja relaatioista Jonna Makkonen Ilari Vallivaara 20. lokakuuta 2004 Sisältö 1 Esipuhe 2 2 Kuvauksista 3 3 Relaatioista 8 Lähdeluettelo 12 1 1 Esipuhe Joukot ja relaatiot ovat periaatteessa äärimmäisen
Matematiikan tukikurssi, kurssikerta 3
Matematiikan tukikurssi, kurssikerta 3 1 Epäyhtälöitä Aivan aluksi lienee syytä esittää luvun itseisarvon määritelmä: { x kun x 0 x = x kun x < 0 Siispä esimerkiksi 10 = 10 ja 10 = 10. Seuraavaksi listaus
Lineaariavaruudet. Span. Sisätulo. Normi. Matriisinormit. Matriisinormit. aiheita. Aiheet. Reaalinen lineaariavaruus. Span. Sisätulo.
Lineaariavaruudet aiheita 1 määritelmä Nelikko (L, R, +, ) on reaalinen (eli reaalinen vektoriavaruus), jos yhteenlasku L L L, ( u, v) a + b ja reaaliluvulla kertominen R L L, (λ, u) λ u toteuttavat seuraavat
Lineaarialgebra ja matriisilaskenta I, HY Kurssikoe Ratkaisuehdotus. 1. (35 pistettä)
Lineaarialgebra ja matriisilaskenta I, HY Kurssikoe 26.10.2017 Ratkaisuehdotus 1. (35 pistettä) (a) Seuraavat matriisit on saatu eräistä yhtälöryhmistä alkeisrivitoimituksilla. Kuinka monta ratkaisua yhtälöryhmällä
MS-A0207 Differentiaali- ja integraalilaskenta 2 (Chem) Yhteenveto, osa I
MS-A0207 Differentiaali- ja integraalilaskenta 2 (Chem) Yhteenveto, osa I G. Gripenberg Aalto-yliopisto 21. tammikuuta 2016 G. Gripenberg (Aalto-yliopisto) MS-A0207 Differentiaali- ja integraalilaskenta
Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa.
Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa. Vastaus 2. Vertaillaan
Symmetrioiden tutkiminen GeoGebran avulla
Symmetrioiden tutkiminen GeoGebran avulla Tutustutaan esimerkkien kautta siihen, miten geometrista symmetriaa voidaan tutkia ja havainnollistaa GeoGebran avulla: peilisymmetria: peilaus pisteen ja suoran
Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }?
Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Vastaus
1. Logiikan ja joukko-opin alkeet
1. Logiikan ja joukko-opin alkeet 1.1. Logiikkaa 1. Osoita totuusarvotauluja käyttäen, että implikaatio p q voidaan kirjoittaa muotoon p q, ts. että propositio (p q) ( p q) on identtisesti tosi. 2. Todista
Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38
Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38 Tuntitehtävät 11-12 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 15-16 loppuviikon harjoituksissa. Kotitehtävät 13-14 tarkastetaan loppuviikon
Tässä osassa ei käytetä laskinta. Kaikkiin tehtäviin laskuja tai perusteluja näkyviin, ellei muuta ole mainittu.
Peruskoulun matematiikkakilpailu Loppukilpailu perjantaina 6..009 OSA Ratkaisuaika 30 min Pistemäärä 0 Tässä osassa ei käytetä laskinta. Kaikkiin tehtäviin laskuja tai perusteluja näkyviin, ellei muuta
Epäyhtälöt ovat yksi matemaatikon voimakkaimmista
6 Epäyhtälöitä Epäyhtälöt ovat yksi matemaatikon voimakkaimmista työvälineistä. Yhtälö a = b kertoo sen, että kaksi ehkä näennäisesti erilaista asiaa ovat samoja. Epäyhtälö a b saattaa antaa keinon analysoida
Esko Turunen MAT Algebra1(s)
Määritelmä (4.1) Olkoon G ryhmä. Olkoon H G, H. Jos joukko H varustettuna indusoidulla laskutoimituksella on ryhmä, se on ryhmän G aliryhmä. Jos H G on ryhmän G aliryhmä, merkitään usein H G, ja jos H
Vapaus. Määritelmä. Vektorijono ( v 1, v 2,..., v k ) on vapaa eli lineaarisesti riippumaton, jos seuraava ehto pätee:
Vapaus Määritelmä Oletetaan, että v 1, v 2,..., v k R n, missä n {1, 2,... }. Vektorijono ( v 1, v 2,..., v k ) on vapaa eli lineaarisesti riippumaton, jos seuraava ehto pätee: jos c 1 v 1 + c 2 v 2 +
Johdatus matematiikkaan
Johdatus matematiikkaan Luento 6 Mikko Salo 6.9.2017 Sisältö 1. Kompleksitaso 2. Joukko-oppia Kompleksiluvut Edellisellä luennolla huomattiin, että toisen asteen yhtälö ratkeaa aina, jos ratkaisujen annetaan
5 Lineaariset yhtälöryhmät
5 Lineaariset yhtälöryhmät Edellisen luvun lopun esimerkissä päädyttiin yhtälöryhmään, jonka ratkaisemisesta riippui, kuuluuko tietty vektori eräiden toisten vektorien virittämään aliavaruuteen Tämäntyyppisiä
6. Tekijäryhmät ja aliryhmät
6. Tekijäryhmät ja aliryhmät Tämän luvun tavoitteena on esitellä konstruktio, jota kutsutaan tekijäryhmän muodostamiseksi. Konstruktiossa lähdetään liikkeelle jostakin isosta ryhmästä, samastetaan alkioita,
Mikäli huomaat virheen tai on kysyttävää liittyen malleihin, lähetä viesti osoitteeseen
Mikäli huomaat virheen tai on kysyttävää liittyen malleihin, lähetä viesti osoitteeseen anton.mallasto@aalto.fi. 1. 2. Muista. Ryhmän G aliryhmä H on normaali aliryhmä, jos ah = Ha kaikilla a G. Toisin
MS-A0402 Diskreetin matematiikan perusteet
MS-A040 Diskreetin matematiikan perusteet Osa : Relaatiot ja funktiot Riikka Kangaslampi 017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Relaatiot Relaatio Määritelmä 1 Relaatio joukosta A
Kant Arvostelmia. Informaatioajan Filosofian kurssin essee. Otto Opiskelija 65041E
Kant Arvostelmia Informaatioajan Filosofian kurssin essee Otto Opiskelija 65041E David Humen radikaalit näkemykset kausaaliudesta ja siitä johdetut ajatukset metafysiikan olemuksesta (tai pikemminkin olemattomuudesta)
Pienoismallien rakentaminen Linnanmäen laitteista
Pienoismallien rakentaminen Linnanmäen laitteista Suunnittelu ja ohjeet: Hannele Ikäheimo ja Leena Kokko Valokuvat: Leena Kokko Pienoismallien rakentaminen Linnanmäen laitteista Suunnittelu ja ohjeet:
ja jäännösluokkien joukkoa
3. Polynomien jäännösluokkarenkaat Olkoon F kunta, ja olkoon m F[x]. Polynomeille f, g F [x] määritellään kongruenssi(-relaatio) asettamalla g f mod m : m g f g = f + m h jollekin h F [x]. Kongruenssi
Matematiikan tukikurssi
Matematiikan tukikurssi Kurssikerta 9 1 Implisiittinen derivointi Tarkastellaan nyt yhtälöä F(x, y) = c, jossa x ja y ovat muuttujia ja c on vakio Esimerkki tällaisesta yhtälöstä on x 2 y 5 + 5xy = 14
(2n 1) = n 2
3.5 Induktiotodistus Induktiota käyttäen voidaan todistaa luonnollisia lukuja koskevia väitteitä, jotka ovat muotoa väite P (n) on totta kaikille n =0, 1, 2,... Tässä väite P (n) riippuu n:n arvosta. Todistuksessa
MS-A0003/A0005 Matriisilaskenta Malliratkaisut 4 / vko 47
MS-A3/A5 Matriisilaskenta Malliratkaisut 4 / vko 47 Tehtävä 1 (L): Oletetaan, että AB = AC, kun B ja C ovat m n-matriiseja. a) Näytä, että jos A on kääntyvä, niin B = C. b) Seuraako yhtälöstä AB = AC yhtälö
Cantorin joukon suoristuvuus tasossa
Cantorin joukon suoristuvuus tasossa LuK-tutkielma Miika Savolainen 2380207 Matemaattisten tieteiden laitos Oulun yliopisto Syksy 2016 Sisältö Johdanto 2 1 Cantorin joukon esittely 2 2 Suoristuvuus ja
Approbatur 3, demo 5, ratkaisut
Approbatur 3, demo 5, ratkaisut 51 Tehtävänä on luetella kaikki joukon S 4 alkiot eli neljän alkion permutaatiot Tämä tarkoittaa kaikkia eri tapoja kuvata joukko {1, 2, 3, 4} bijektiivisesti itselleen
Ellipsit, hyperbelit ja paraabelit vinossa
Ellipsit, hyperbelit ja paraabelit vinossa Matti Lehtinen 1 Ellipsi, hyperbeli ja paraabeli suorassa Opimme lukion analyyttisen geometrian kurssilla ainakin, jos kävimme lukiota vielä muutama vuosi sitten
Neliömatriisi A on ortogonaalinen (eli ortogonaalimatriisi), jos sen alkiot ovat reaalisia ja
7 NELIÖMATRIISIN DIAGONALISOINTI. Ortogonaaliset matriisit Neliömatriisi A on ortogonaalinen (eli ortogonaalimatriisi), jos sen alkiot ovat reaalisia ja A - = A T () Muistutus: Kokoa n olevien vektorien
Ristitulolle saadaan toinen muistisääntö determinantin avulla. Vektoreiden v ja w ristitulo saadaan laskemalla determinantti
14 Ristitulo Avaruuden R 3 vektoreille voidaan määritellä pistetulon lisäksi niin kutsuttu ristitulo. Pistetulosta poiketen ristitulon tulos ei ole reaaliluku vaan avaruuden R 3 vektori. Ristitulosta on
Johdatus diskreettiin matematiikkaan Harjoitus 1,
Johdatus diskreettiin matematiikkaan Harjoitus 1, 15.9.2014 1. Hahmottele tasossa seuraavat relaatiot: a) R 1 = {(x, y) R 2 : x y 2 } b) R 2 = {(x, y) R 2 : y x Z} c) R 3 = {(x, y) R 2 : y > 0 and x 2
14 Monikulmiot 1. Nimeä monikulmio. a) b) c) Laske monikulmion piiri. a) 30,8 cm 18,2 cm. Laske sivun x pituus, kun monikulmion piiri on 25,0 cm.
1 14 Monikulmiot Nimeä monikulmio. a) b) c) kolmio nelikulmio 12-kulmio Laske monikulmion piiri. a) 4,2 cm b) 3,6 cm 11,2 cm 4,8 cm 3,6 cm 4,3 cm 30,8 cm 18,2 cm Laske sivun x pituus, kun monikulmion piiri
Matemaattisen analyysin tukikurssi
Matemaattisen analyysin tukikurssi 4. Kurssikerta Petrus Mikkola 4.10.2016 Tämän kerran asiat Funktion raja-arvo Raja-arvon määritelmä Toispuolinen raja-arvo Laskutekniikoita Rationaalifunktion esityksen
+ 3 2 5 } {{ } + 2 2 2 5 2. 2 kertaa jotain
Jaollisuustestejä (matematiikan mestariluokka, 7.11.2009, ohjattujen harjoitusten lopputuloslappu) Huom! Nämä eivät tietenkään ole ainoita jaollisuussääntöjä; ovatpahan vain hyödyllisiä ja ainakin osittain
Tekijä Pitkä matematiikka
K1 Tekijä Pitkä matematiikka 5 7..017 a) 1 1 + 1 = 4 + 1 = 3 = 3 4 4 4 4 4 4 b) 1 1 1 = 4 6 3 = 5 = 5 3 4 1 1 1 1 1 K a) Koska 3 = 9 < 10, niin 3 10 < 0. 3 10 = (3 10 ) = 10 3 b) Koska π 3,14, niin π
Lauseen erikoistapaus on ollut kevään 2001 ylioppilaskirjoitusten pitkän matematiikan kokeessa seuraavassa muodossa:
Simo K. Kivelä, 13.7.004 Frégier'n lause Toisen asteen käyrillä ellipseillä, paraabeleilla, hyperbeleillä ja niiden erikoistapauksilla on melkoinen määrä yksinkertaisia säännöllisyysominaisuuksia. Eräs
30A02000 Tilastotieteen perusteet
30A02000 Tilastotieteen perusteet Kertaus 1. välikokeeseen Lauri Viitasaari Tieto- ja palvelujohtamisen laitos Kauppatieteiden korkeakoulu Aalto-yliopisto Syksy 2019 Periodi I-II Sisältö Välikokeesta Joukko-oppi
Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus
Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus 1 / 51 Lineaarikombinaatio Johdattelua seuraavaan asiaan (ei tarkkoja määritelmiä): Millaisen kuvan muodostaa joukko {λv λ R, v R 3 }? Millaisen
Diskreetin Matematiikan Paja Tehtäviä viikolle 2. ( ) Jeremias Berg
Diskreetin Matematiikan Paja Tehtäviä viikolle 2. (24.3-25.3) Jeremias Berg Tämän viikon tehtävien teemoina on tulojoukot, relaatiot sekä kuvaukset. Näistä varsinkin relaatiot ja kuvaukset ovat tärkeitä
Kuva 1: Yksinkertainen siniaalto. Amplitudi kertoo heilahduksen laajuuden ja aallonpituus
Kuva 1: Yksinkertainen siniaalto. Amplitudi kertoo heilahduksen laajuuden ja aallonpituus värähtelytiheyden. 1 Funktiot ja aallot Aiemmin käsiteltiin funktioita ja miten niiden avulla voidaan kuvata fysiikan
Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.
3 Todistustekniikkaa 3.1 Väitteen kumoaminen vastaesimerkillä Monissa tilanteissa kohdataan väitteitä, jotka koskevat esimerkiksi kaikkia kokonaislukuja, kaikkia reaalilukuja tai kaikkia joukkoja. Esimerkkejä
Yhtälöryhmä matriisimuodossa. MS-A0004/A0006 Matriisilaskenta. Tarkastellaan esimerkkinä lineaarista yhtälöparia. 2x1 x 2 = 1 x 1 + x 2 = 5.
2. MS-A4/A6 Matriisilaskenta 2. Nuutti Hyvönen, c Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto 5.9.25 Tarkastellaan esimerkkinä lineaarista yhtälöparia { 2x x 2 = x + x 2
Johdatus diskreettiin matematiikkaan Harjoitus 2, Osoita että A on hyvin määritelty. Tee tämä osoittamalla
Johdatus diskreettiin matematiikkaan Harjoitus 2, 23.9.2015 1. Osoita että A on hyvin määritelty. Tee tämä osoittamalla a) että ei ole olemassa surjektiota f : {1,, n} {1,, m}, kun n < m. b) että a) kohdasta
1 Ominaisarvot ja ominaisvektorit
1 Ominaisarvot ja ominaisvektorit Olkoon A = [a jk ] n n matriisi. Tarkastellaan vektoriyhtälöä Ax = λx, (1) 1 missä λ on luku. Sellaista λ:n arvoa, jolla yhtälöllä on ratkaisu x 0, kutsutaan matriisin
Induktiota käyttäen voidaan todistaa luonnollisia lukuja koskevia väitteitä, jotka ovat muotoa. väite P(n) on totta kaikille n = 0,1,2,...
Induktiotodistus Induktiota käyttäen voidaan todistaa luonnollisia lukuja koskevia väitteitä, jotka ovat muotoa väite P(n) on totta kaikille n = 0,1,2,.... Tässä väite P(n) riippuu n:n arvosta. Todistuksessa
Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. ( ) Jeremias Berg
Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. (14.3-18.3) Jeremias Berg 1. Luettele kaikki seuraavien joukkojen alkiot: (a) {x Z : x 3} (b) {x N : x > 12 x < 7} (c) {x N : 1 x 7} Ratkaisu:
A = a b B = c d. d e f. g h i determinantti on det(c) = a(ei fh) b(di fg) + c(dh eg). Matriisin determinanttia voi merkitä myös pystyviivojen avulla:
11 Determinantti Neliömatriisille voidaan laskea luku, joka kertoo muun muassa, onko matriisi kääntyvä vai ei Tätä lukua kutsutaan matriisin determinantiksi Determinantilla on muitakin sovelluksia, mutta
Kolmannen ja neljännen asteen yhtälöistä
Solmu /019 7 Kolmannen neljännen asteen yhtälöistä Esa V. Vesalainen Matematik och statistik, Åbo Akademi Tämän pienen artikkelin tarkoituksena on satuilla hieman algebrallisista yhtälöistä. Erityisesti
Todistusmenetelmiä Miksi pitää todistaa?
Todistusmenetelmiä Miksi pitää todistaa? LUKUTEORIA JA TO- DISTAMINEN, MAA11 Todistus on looginen päättelyketju, jossa oletuksista, määritelmistä, aksioomeista sekä aiemmin todistetuista tuloksista lähtien
MS-A0004/A0006 Matriisilaskenta
4. MS-A4/A6 Matriisilaskenta 4. Nuutti Hyvönen, c Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto..25 Tarkastellaan neliömatriiseja. Kun matriisilla kerrotaan vektoria, vektorin
Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.
Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion. Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa
Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.
Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion. Vastaavuus puolestaan on erikoistapaus relaatiosta.
= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120
Tehtävä 1 : 1 Merkitään jatkossa kirjaimella H kaikkien solmujoukon V sellaisten verkkojen kokoelmaa, joissa on tasan kolme särmää. a) Jokainen verkko G H toteuttaa väitteen E(G) [V]. Toisaalta jokainen
1 Lineaariavaruus eli Vektoriavaruus
1 Lineaariavaruus eli Vektoriavaruus 1.1 Määritelmä ja esimerkkejä Olkoon K kunta, jonka nolla-alkio on 0 ja ykkösalkio on 1 sekä V epätyhjä joukko. Oletetaan, että joukossa V on määritelty laskutoimitus
RTEK-2000 Statiikan perusteet. 1. välikoe ke LUENTOSALEISSA K1705 klo 11:00-14:00 sekä S4 klo 11:15-14:15 S4 on sähkötalossa
RTEK-2000 Statiikan perusteet 1. välikoe ke 27.2. LUENTOSALEISSA K1705 klo 11:00-14:00 sekä S4 klo 11:15-14:15 S4 on sähkötalossa RTEK-2000 Statiikan perusteet 4 op 1. välikoealue luennot 21.2. asti harjoitukset
MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I
MS-A040 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto. maaliskuuta 05 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä. ym.,