Krotka
Z Wikipedii
Krotka (także n-tka albo k-tka) – uporządkowany skończony zbiór elementów. Intuicyjnie: uporządkowana lista dowolnych obiektów.
Krotka jest uogólnieniem pojęć uporządkowanych: pary (dwójki), trójki, czwórki, itd. na dowolną (skończoną) liczbę elementów,
Każdemu ciągowi skończonemu odpowiada krotka, jednak nie na odwrót, gdyż pojęcia te nie są tożsame: w przeciwieństwie do krotki ciąg zdefiniowany jest formalnie w oparciu o pojęcie funkcji (jego elementy mogą przyjmować wartości ograniczonego do pewnego zbioru – dziedziny tej funkcji).
[edytuj] Definicja formalna
Krotkę n-elementową można zdefiniować rekurencyjnie:
- dla n = 2 stosujemy definicję pary uporządkowanej (sformułowaną przez Kazimierza Kuratowskiego):
- ,
- dla n > 2 definiujemy:
- .
[edytuj] Krotki w informatyce
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), gdzie stanowią specjalistyczne oznaczenie rzędu przy konstrukcji baz danych.