Yhteismitallisuus (matematiikka)
Matematiikassa kahta reaalilukua "a" ja "b", joista kumpikaan ei ole nolla, sanotaan yhteismitallisia, jos niiden suhde formula_1 on rationaaliluku. Muussa tapauksessa niitä sanotaan yhteismitattomiksi. Rationaaliluvut ovat lukuja, jotka ovat yhtä suuria kuin joidenkin kahden kokonaisluvun suhde. Ryhmäteoriassa on määritelty myös yleisempi yhteismitallisuuden käsite.
Esimerkiksi luvut 3 ja 2 ovat yhteismitallisia, koska niiden suhde, formula_2; on rationaaliluku. Myös luvut formula_3 ja formula_4 ovat yhteismitallisia, koska niiden suhde formula_5, on rationaaliluku. Sen sijaan luvut formula_6 ja 2 ovat yhteismitattomia, koska niiden suhde, formula_7, on irrationaaliluku.
Voidaan todistaa, että jos "a" ja "b" ovat rationaalilukuja, joista kumpikaan ei ole nolla, ne ovat keskenään yhteismitallisia, mutta jos "a" on irrationaaliluku ja "b" mikä tahansa nollasta poikkeava rationaaliluku, luvut "a" ja "b" ovat yhteismitattomia. Jos taas "a" ja "b" ovat molemmat irrationaalilukuja, ne saattavat olla keskenään yhteismitallisia, mutta eivät kaikissa tapauksissa ole.
Irrationaaliluvun ja yhteismitattomuuden käsitteen keksivät ensimmäisinä pythagoralaiset. Ensimmäinen luku, joka todistettiin irrationaaliseksi, oli kahden neliöjuuri, formula_8, joka ilmaisee myös neliön lävistäjän ja sivun pituuksien suhteen. Käsitteen ensimmäiset sovellukset liittyivät janojen pituuksiin. Kun kahden janan pituuksien suhde on irrationaaliluku, termiä yhteysmitattomuus käytetään, paitsi janojen pituuksista, myös itse janoista.
Yhteismitattomien pituuksien keksiminen oli suuri järkytys pythagoralaisille, sillä se näytti kumoavan koko heidän filosofiansa. Ne saivat kreikkalaiset matemaatikot yleensäkin vakuuttuneiksi siitä, että geometria oli kehitettävä aritmetiikasta riippumatta.
Platon oli hyvin kiinnostunut yhteismitattomuuden käsitteestä, vaikka se tulikin hänelle tutuksi vasta melko vanhalla iällä. Teoksessaan "Lait" hän piti suurena häpeänä, ettei asia ollut yleisemmin tunnettu. Dialogissa "Menon" Sokrates johdattaa sokraattisen metodin avulla geometriaa ennestään osaamattoman orjapojan todistamaan, että neliön lävistäjälle piirretyn neliön pinta-ala on kaksi kertaa niin suuri kuin alkuperäisen neliön. Todistus on hyvin samankaltainen kuin Eukleideen myöhemmin esittämä.
Geometristen suureiden verrannollisuutta, sellaisena kuin se antiikin Kreikassa ymmärrettiin, käsiteltiin yleisemmin, joskin kiertoteitse, Eukleideen "Alkeet"-teoksen V kirjassa Siinä todistetaan geometrian avulla paljon sellaista, mikä nykyisin katsottaisiin algebraan kuuluviksi. Eukleides piti tällaista menetelmää välttämättömänä yhteismitattomien suureiden aiheuttamien ongelmien vuoksi.
Eukleideen esittämän määritelmän mukaan kahta janaa "a" ja "b" sanotaan yhteismitallisiksi silloin ja vaoin silloin, kun on olemassa kolmas jana "c", jota voidaan jatkaa yhtä pitkällä janalla kokonaisluvulla ilmaistava määrä kertoja, niin, että saadaan "a":n kanssa yhtenevä jana, ja myös toisella kokonaisluvulla ilmaistava määrä kertoja niin, että saadaan "b":n kanssa yhtenevä jana. Eukleides ei käyttänyt reaaliluvun käsitettä, mutta hän käytti janojen yhtenevyyden käsitettä ja vertaili janojen pituuksia keskenään niin, että toinen niistä oli pidempi tai lyhyempi kuin toinen.
Välttämätön ja riittävä ehto sille, että formula_1 on rationaalinen, on, että on olemassa sellainen reaaliluku "c" ja sellaiset kokonaisluvut "m" ja "n", että
Jos yksinkertaisuuden vuoksi oletetaan, että "a" ja "b" ovat positiivisia, voidaan sanoa, että viivainta, johon on merkitty mitta-asteikko, jossa pituusmittana on "c", voidaan käyttää sekä "a":n että "b":n pituisen janan mittaamiseen niin, että mittaluvut ovat kokonaislukuja. Toisin sanoen on olemassa sellainen pituusyksikkö, jolla mitattuna sekä "a":n että "b":n pituuksien lukuarvot ovat kokonaislukuja. Termi "yhteismitallinen" perustuukin juuri tähän seikkaan. Muussa tapauksessa "a" ja "b" ovat "yhteismitattomia".
Ryhmäteoriasa ryhmän "G" kahta aliryhmää Γ ja Γ sanotaan yhteismitallisiksi, jos niiden leikkauksella on äärellinen indeksi sekä Γ:ssä että Γ:ssa.
Esimerkki: olkoot "a" ja "b" kaksi reaalilukua, joista kumpikaan ei ole nolla. Silloin "a":n virittämä aliryhmä reaalilukujen ryhmässä formula_10 on yhteismitallinen "b":n virittämän aliryhmän kanssa, jos ja vain jos reaaliluvut "a" ja "b" ovat yhteismitallisia, siinä mielessä, että "a"/"b" on rationaalinen. Täten ryhmäteoreettinen yhteismitallisuuden käsite on reaalilukujen samannimisen käsitteen yleistys.
Vastaava käsite voidaan määritellä myös kahdelle ryhmälle, jotka ei alun perin ole määritelty saman ryhmän aliryhmiksi. Kaksi ryhmää "G" ja "G" ovat (abstraktisti) yhteismitallisia, jos on olemassa aliryhmät "H" ⊂ "G" ja "H" ⊂ "G", joilla on äärellinen indeksi ja "H" is isomorfinen "H":n kanssa.
Kahta polkuyhtenäistä topologista avaruutta sanotaan joskus "yhteismitallisiksi", jos niillä on homeomorfiset äärellissäikeiset peiteavaruudet. Riippuen käsiteltävän avaruuden tyypistä määritelmässä voidaan homeomorfisuuden sijasta käyttää homotopiaekvivalenssia tai diffeomorfismeja. Jos kaksi avaruutta on yhteismitallisia, niiden perusryhmät ovat yhteismitallisia.
Esimerkiksi kaikki suljetut pinnat, joiden genus on vähintään 2, ovat keskenään yhteismitallisia.