Úvodní stránka | Tato stránka v originále

N-n-tice

V matematice, n-n-tice je sbírka objektů jehož objednávka vadí.

n moci být nahrazený specifickým číslem, tak jeden může například říkat čtveřice může být reprezentována jak 4-n-tice. 2-n-tice je spořádaný pár; 3-n-tice je trojnásobný nebo triplet; další stavby jsou možné, takový jako octuple, ale mnoho matematiků najde to rychleji psát “8-n-tice”, dokonce jestliže ještě vyslovuje “octuple”.

Generál n-n-tice je: (1,2,...,n) = (b1,b2,...,n) iff 1=b1, 2=b2 a tak dále.

Formálně, n- n-tice může být definována v podmínkách souborů jak jeden (1,2,...,n) = {1, {1,2}, {1,2,3},..., {1,2,...n}} nebo jako indukční definice:

  1. 1-n-tice (1) je právě 1;
  2. jestliže x je n- n-tice, pak (x,n+1) (tj. {x, {x,n+1}}) je (n+ 1) - n-tice.

To jde docela snadno ukázat, že jedna definice implikuje vlastnictví daný nahoře. Nicméně, soubory tvořily pohled velmi odlišný.

(Nicméně, co se stane když i se rovná i+1?)

Mnoho počítače programovací jazyky podporují n-tice jako datový typ, jeden pro předměty fixovaných typů, nebo jako sbírka předmětů nějakého typu.

Lisp programovací jazyk původně používal spořádanou párovou abstrakci vytvořit všechny jeho n-n-tice a struktury seznamu, podobně k indukční definici nahoře.

V poli relačních databází, n-tice je řádek ve vztahu (stůl). An n-n-tice je řada s n sloupce. To je důležité neplést n-n-tice s n n-tice.