Gelen matematik , eğer , n a, doğal tam sayı , daha sonra bir n- -tuple veya n -uple bir olduğu , sıralı bir n “bileşenler” ya da “elemanlarının” veya “terimleri” olarak adlandırılan nesnelerin, n -tuple.
Gelen bilgisayar programlama , bazı eşdeğer bir fikri bulmak dilleri gibi, Python , Rust , OCaml , Scala , Swift veya MDX. Gelen fonksiyonel dillerin , küpe olarak gerçekleştirilir ürün türleri ; içinde zorunlu dillerin , bileşenler şeklinde bir isimle tanımlanan dizilerini, orada adlandırılır yapı ( C ) ya da kayıt ( Pascal ).
Not : İngilizce terim tuple , quin-tuple / sex-tuple /… sonekinin kullanımı Fransız bilgisayar programlama çalışmalarında yaygındır.
For n > 0, biz tarafından ifade ise bir 1 birinci elemanı, bir 2 İkinci unsur, ..., bir n n -inci elemanı, n -tuple yazılır: ( a 1 , a 2 , ..., a n ) .
Örnekler :
Eşitliği arasında N dizilerini ile tanımlanır
( bir 1 , bir 2 ,…, bir n ) = ( b 1 , b 2 ,…, b n ) ancak ve ancak a 1 = b 1 ve a 2 = b 2 … ve bir n = b n .Örnekler :
N -inci güç Kartezyen e n a grubu E grubu olduğu , n elemanları küpe E .
Daha genel olarak, Kartezyen ürün E 1 x ... x D , n ve n setleri e 1 , ..., e n kümesidir , n -uples ( bir 1 , bir 2 , ..., bir n ) bir 1 ait E 1 , …, A n , E n'ye aittir .
Göre endüksiyon yoluyla tanımı arasında kartezyen ürün , n setleri , bir, n- -tuple anlayışından tanımlanabilir çift kendisi grupları bakımından tanımlanabilir:
( bir 1 , bir 2 ,…, bir n ) = ((… (( bir 1 , bir 2 ), bir 3 ),…, bir n –1 ), bir n )(yani, bir ( n + 1) -tuple, birinci bileşeni n -tuple olan bir çifttir). Diğer bir deyişle :
N- katların karakteristik özelliği ( eşitliğin tanımı), çiftlerinkinden tümevarımla hemen gösterilir.
Biz bir tanımlamayı seçtiğiniz n bir bir "sonunda" bir öğe eklemek için + 1-tuple n -tuple: bu sallama olduğunu ve bir tanımlamak demek ki başından başlamak mümkündür n + 1- ikinci bileşeni n -tuple olan bir çift olarak tuple . Bu, farklı bir tanıma yol açar, ancak aynı özelliklere sahiptir.
Son olarak, bir n- çiftini sonlu bir dizi , yani sonlu bir küme üzerinde tanımlanan bir fonksiyon , {0,…, n - 1} veya {1,…, n } olarak tanımlamak mümkündür .