On matematiikka , jos n on luonnollinen kokonaisluku , sitten n- -tuple tai n -uple on tilattu kokoelma on n esineitä, nimeltään ”osat” tai ”osat” tai ”sanojen” n -tuple.
Vuonna ohjelmointi , löydämme vastaavan käsitteen joissakin kielillä , kuten Python , Rust , OCaml , Scala , Swift tai MDX. Vuonna toiminnalliset kielillä , tuplat on toteutettu tuotetyyppejä ; in välttämätöntä kieliä , on nimetty tuplat, jossa komponentit tunnistetaan nimen, muodossa struct ( C ) tai nauhoittaa ( Pascal ).
Huomautus : Englanninkielisen termin tuple , quin-tuple / sex-tuple /… jälkiliitteen käyttö on yleistä ranskalaisessa tietokoneohjelmointityössä.
Ja n > 0, jos me ilmi 1 ensimmäisen elementin, 2 toinen elementti, ..., n n : nnen elementin, n -tuple on kirjoitettu: ( 1 , 2 , ..., n ) .
Esimerkkejä :
Tasa on n monikon on määritelty
( a 1 , a 2 ,…, a n ) = ( b 1 , b 2 ,…, b n ) vain ja vain, jos a 1 = b 1 ja a 2 = b 2 … ja a n = b n .Esimerkkejä :
N : nnen teho karteesinen E n on joukko E on joukko n- monikon elementtien E .
Yleisemmin karteesinen tulo E 1 x ... x E n on n kappaletta E 1 , ..., E n on joukko n -uples ( 1 , 2 , ..., n ), jossa 1 kuuluu E 1 , …, A n kuuluu ryhmään E n .
Mukaisesti määritelmää induktio on karteesinen tuotteen n sarjaa , n -tuple voidaan määrittää käsitteen ulkopuolelle pari , joka itsessään voidaan määritellä sarjaa:
( a 1 , a 2 ,…, a n ) = ((… (( a 1 , a 2 ), a 3 ),…, a n –1 ), a n )(eli ( n + 1) -tuppi on pari, jonka ensimmäinen komponentti on n -tuppi). Toisin sanoen :
Tyypillisen ominaisuuden n -uples (määritelmä tasa-arvo) on välittömästi osoittaa induktioon, että parien.
Valitsimme määrittelemällä n + 1 -parin lisäämään elementin n- nipun "loppuun" : se on mielivaltainen, ja se on mahdollista aloittaa alusta, toisin sanoen määritellä n + 1- tuple parina, jonka toinen komponentti on n -tuple . Tämä johtaa erilaiseen määritelmään, mutta jolla on samat ominaisuudet.
Lopuksi on mahdollista määritellä n -tupeli tuloksena valmiiksi, toisin sanoen funktio , joka on määritelty rajalliselle joukolle {0, ..., n - 1} tai {1, ..., n }.