Aleks855 skrev:I tallteorien er ideen om "største felles divisor" eller $\gcd$ ganske sentral. Boka jeg leser nevner i en bisetning at $\gcd(0, 0) = 0$ uten forklaring.
Hvordan defineres dette?
Jeg har googlet frem og tilbake, men alle forklaringer inkluderer begrepet "partial order of divisibility on the natural numbers", og forklarer at ordet "største" i denne sammenhengen ikke beskriver størrelsen med hensyn på rekkefølgen av naturlige tall, som man vanligvis forbinder det med.
Kan noen utdype hva dette betyr, og hvorfor vi får resultatet $\gcd(0, 0) = 0$?
Sånn jeg ser det så er grunnen til problemene at $0$ oppfører seg litt rart når det kommer til delelighet. Den vanligste definisjonen for to heltall er at deres gcd er det største heltallet som deler begge tallene. Dette funker fint for alle par av tall hvor ikke begge er null, men hvis begge er null så vil ethvert naturlig tall dele $0$, så $\gcd{0,0}$ kan ikke defineres på denne måten.
Nå vet jeg ikke hvor mye du har lært om partielle ordninger, men her er en kort forklaring: Når vi snakker om delelighet, så er $0$ det "største" naturlige tallet, fordi det er det mest "delelige" tallet. Mer presist: Delelighet har den fine egenskapen at hvis $a\mid b$ og $b\mid c$, så vil $a\mid c$, liksom $a\leq b$ og $b\leq c$ impliserer $a\leq c$. På denne måten oppfører $\mid$ seg veldig likt som $\leq$, med den åpenbare forskjellen at ikke alle tall kan relateres ved hjelp av $\mid$, noe de kan med $\leq$ (vi kan hverken si $3\mid 5$ eller $5\mid 3$, men vi vet at $3\leq 5$...). Med $\leq$ så kan vi ordne alle elementene i $\mathbb{N}_0=\{0,1,2,3,\dotsc\}$ slik:
\[ 0\leq 1\leq 2\leq 3 \leq \dotsb \]
Men vi kan jo også prøve å ordne de ved hjelp av $\mid$, selv om vi ikke kan lage en rekke med alle elementene, slik som vi gjorde med $\leq$. For eksempel så har vi
\[ 1\mid 2\mid 4\mid 8\mid\dots, \]
hvor $1$ er "minst" og tallene blir "større" mot høyre. Grunnen til at jeg skriver "minst" og "større" er at selv om tallene i de fleste tilfeller vokser i størrelse mot høyre, så har vi kjeder som
\[ 1\mid 2\mid 4\mid 8\mid\dots\mid 0, \]
hvor dette ikke lenger er tilfellet. Her er $0$ det "største" elementet, og siden alle heltall deler $0$, så vil vi kunne legge på $0$ som et siste element på alle slike delelighetskjeder, slik som i
\[ 1!\mid 2!\mid 3!\mid\dots\mid 0. \]
Det er dette som menes med at $0$ er "størst" når vi snakker om delelighet. Dette kan gjøres mer formelt med partielle ordninger, men idéen er den samme. Og da kan det hende at definisjonen av gcd over gir litt mer mening, fordi $0$ kan sees på som det største tallet når vi kun er interesserte i delelighet.
Et annet poeng er at hvis vi har en definisjon for de fleste tilfellene av noe, og ønsker og utvide den til alle tilfeller, så vil vi gjerne at definisjonen skal bevare noen egenskaper ved det som allerede er definert. For eksempel så er $\gcd(a,0)=a$ for alle $a\neq 0$, og det vil da være naturlig å definere $\gcd(0,0)=0$ for å beholde denne egenskapen ved gcd. En annen egenskap er at $\gcd(a,b)$ er det minste positive heltallet $d$ som kan skrives på formen $ax+by$ hvor $x$ og $y$ er heltall, og skal vi utvide dette til å gjelde for $a=b=0$, så virker det naturlig å bruke $d=0$.
Det går også an å bruke mer avanserte metoder som ringteori til å definere gcd, men det enkleste er vel bare å tenke på det som en høyeste felles faktor (hcf), der hvor $0$ er den største faktoren av alle.