Наредена n-орка

Наредена n-орка (още: n-торка) е термин в математиката, с който се означава набор от краен брой елементи на дадено множество A, между които е въведена наредба и самият запис посочва реда на елементите: първи, втори, n-ти (n ∈ ℤ, n > 0).

Формалната дефиниция се дава от изображението f : [1, 2, ..., n] → A.

Съществува само една 0-орка, празната редица, празното множество ∅. Наредената n-орка се дефинира индуктивно, използвайки конструкцията на наредената двойка.

Обикновено наредените n-орки се изписват оградени в скоби, като елементите са разделени помежду си със запетаи: "$()$", но понякога се ползват и други видове скоби като квадратни "[ ]" или ъглови "< >". Фигурните скоби "{ }" се ползват само при дефинирането на масиви в някои програмни езици, например Java, но не и в математическите изрази, тъй като са запазени за стандартната нотация на множествата.

Свойства

Общото правило за еквивалентност на две n-орки гласи:

$(a_1,a_2,\dots ,a_n)=(b_1,b_2,\dots ,b_n)$ тогава и само тогава когато $a_1=b_1,a_2=b_2,\dots ,a_n=b_n.$

Така n-орката притежава свойства, които я отличават от множеството.

1. n-орката може да съдържа множество инстанции на един и същ елемент, поради което n-орките $(1,2,2,3)$ и $(1,2,3)$ са различни, въпреки че множествата $\{1,2,2,3\}$ и $\{1,2,3\}$ съвпадат.
2. Елементите на n-орката са наредени: $(1,2,3)\ne (3,2,1)$, за разлика от множествата $\{1,2,3\}=\{3,2,1\}$.
3. n-орките имат краен брой елементи, докато множествата могат да бъдат безкрайни, в това число изброими или неизброими.