Tuple on tilattu kiinteän pituinen joukko.
Olkoon joukkoja annettu , ei välttämättä erillisiä.
Sitten monikko, jonka pituus on n [1] [2] , järjestetty joukko, jonka pituus on n [1] , järjestetty n - monikko [2] tai n - monikko [1] [3] on järjestetty n elementin sarja, jossa monikko on merkitty luetteloimalla koordinaatit kulmassa tai suluissa [1] :
tai
Elementtiä kutsutaan monikon i :nneksi koordinaatiksi [1] [4] ( projektio [2] , komponentti [2] [4] )
Lukua n kutsutaan monikon pituudeksi tai dimensioksi [2] .
Kaksi monikkoa ovat yhtä suuret, jos niiden pituudet ja vastaavat alkiot ovat yhtä suuret [2] [4] :
josEsimerkki monikosta on aritmeettinen vektori [2] .
N joukon karteesinen tulo on kaikkien n pituisten monikoiden joukko, joiden koordinaatit on otettu näistä joukoista [1] [5] [6] :
Pituuksia 2, 3, 4, 5, ... kutsutaan myös " järjestetyksi pariksi ", "järjestetyksi kolmeksi", "järjestyksessä neljäksi", "järjestetyksi viideksi" jne. [2]
Joukkoteoriassa monikot voidaan kuvata induktiivisesti joukkoihin [ 1 ] [7] [8] , esimerkiksi seuraavasti [1] [7] :
Monet matemaattiset objektit määritellään muodollisesti monikoiksi. Esimerkiksi suunnattu graafi määritellään pariksi, jossa V on kärkijoukko ja E on graafin vastaavien kaarien parien osajoukko [9] . Reaalilukujen n -ulotteisessa avaruudessa oleva piste määritellään n pituiseksi monikkoksi , joka koostuu reaalilukujoukon alkioista.
Orientoitu multigrafi , jossa on joukko pisteitä V , joukko kaaria E ja insidenssirelaatio , voidaan määritellä järjestetyksi kolmiosaksi silloin ja vain, jos kaari e lähtee kärjestä a ja tulee kärkeen b [10] .
Joissakin ohjelmointikielissä , kuten Python tai ML , monikko tietotyyppinä on sisäänrakennettu kieleen. Esimerkki monikon käyttämisestä Pythonissa:
a = ( 1 , 3.14 , 'kissa' ) tulosta ( a [ 0 ]) # Tulosta monikon ensimmäinen elementtiStaattisella kirjoituksella varustetuissa ohjelmointikielissä monikko eroaa listasta siten, että monikon elementit voivat kuulua eri tyyppeihin ja tällaisten tyyppien joukko on ennalta määrätty monikon tyypin mukaan, mikä tarkoittaa, että monikon koko on tuple on myös määritetty. Toisaalta kokoelmissa (luettelot, taulukot) on rajoitettu tallennettujen elementtien tyyppi, mutta ei rajoitusta pituudelle. Joten esimerkiksi Rust -kielessä funktio voi palauttaa useita arvoja tuple-rivityksen avulla:
fn div_ja_jäännös ( a : i32 , b : i32 ) -> ( i32 , i32 , merkkijono ) { olkoon tmp = ( a / b , a % b ); ( tmp . 0 , tmp . 1 , muoto! ( " {} + {} " , tmp . 0 , tmp . 1 )) } let ( res , rem , repr ) = div_ja_jäännös ( 5 , 2 );Toiminnallisissa kielissä moniargumenttiset uncurried - funktiot ottavat parametrit yhtenä argumenttina, joka on monikko.
C++ : ssa tuple-tuki on toteutettu luokkamallina std::tuple [11] ( C++11 :stä [12] ) ja Boost Tuple Libraryssa [13] .
Tuple on ollut vakiotyyppi .NET -alustassa versiosta 4.0 lähtien [14] .
Relaatiotietokannoista monikko on relaatioelementti . N -aarisessa suhteessa monikko on N - arvon järjestynyt joukko , yksi arvo jokaiselle relaatioattribuutille.
Tietotyypit | |
---|---|
Käsittämätön | |
Numeerinen | |
Teksti | |
Viite | |
Komposiitti | |
abstrakti | |
muu | |
liittyvät aiheet |