En heltallsfølge er i matematikken en følge av heltall[1].

En heltallsfølge kan spesifiseres eksplisitt ved å gi en formel for det n-te medlemmet, eller implisitt ved å gi et forhold mellom medlemmene. For eksempel dannes følgen 0, 3, 8, 15, ... i henhold til formelen n2 – 1 for det n-te medlemmet: en eksplisitt definisjon. På den annen side dannes følgen 0, 1, 1, 2, 3, 5, 8, 13, ... (Fibonaccifølgen) ved å starte med 0 og 1, og deretter legge sammen to og to nabotall i følgen for å få det neste tallet: en implisitt beskrivelse.

Alternativt kan en heltallsfølge defineres ved en egenskap som medlemmene av følgen innehar og andre heltall ikke innehar. Vi kan for eksempel bestemme hvorvidt et gitt heltall er et perfekt tall selv om vi ikke har noen formel for det n-te perfekte tallet.

Se også rediger

Referanser rediger

  1. ^ Hamkins, Joel David; Linetsky, David; Reitz, Jonas (2013). «Pointwise Definable Models of Set Theory». Journal of Symbolic Logic (78): 139–156.