Erlands lilla sats

AlefWiki
Version från den 19 oktober 2010 kl. 07.45 av Schreib (diskussion | bidrag)
(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)
Hoppa till navigering Hoppa till sök

Erlands lilla sats säger att [math]\displaystyle g = g[/math](där [math]\displaystyle g \in \mathbb{G}_\mathbb{N}[/math], mängden av godtyckliga tal som även är naturliga). Detta kan se omöjligt ut vid första anblick, men det är inte fallet.

Erland upptäckte detta efter två timmar av slafs på ett matematikprov. Originaluppgiften har han fortfarande inte löst.

Bevis

[math]\displaystyle g = g[/math]

...

[math]\displaystyle g = g[/math]

VVRV

Eftersom det är trivialt lämnas det som en övning åt läsaren att hitta fler bevis.

Se även