Krotka

Krotka (ang. tuple), zwana czasem n-tką, to uogólnienie pary (dwójki), trójki, czwórki, itd. na dowolną liczbę elementów.

Krotka n-elementowa to uporządkowany skończony (n-elementowy) zbiór elementów. Inaczej mówiąc – jest to uporządkowana lista pewnych obiektów. Krotka jest uogólnieniem pojęcia ciągu skończonego, bowiem kolejne elementy krotki nie muszą należeć do tego samego zbioru.

Formalnie, n-elementową krotkę można zdefiniować rekurencyjnie:

dla n=2 stosujemy definicję pary uporządkowanej (sformułowaną przez Kazimierza Kuratowskiego):

= \{ \{a_1\},\{a_1, a_2\}\}

dla n>2 definiujemy:

= >

Krotki występują jako typy w wielu językach, m.in. językach rodziny ML, Pythonie i Cyclone, są też ważnym pojęciem systemów baz danych (relacyjny rachunek krotek - RRK).

Krotka - specjalistyczne oznaczenie rzędu przy konstrukcji baz danych.

Zobacz też

przegląd zagadnień z zakresu matematyki.

programowanie | teoria mnogości

Gourt Home::Gourt :: Krotka

Zobacz też