Xrfgtjtk

.mw-parser-output table.ambox{margin:0 10%;border-collapse:collapse;background:#fbfbfb;border:1px solid #aaa;border-left:10px solid #608ec2}.mw-parser-output table.ambox th.ambox-text,.mw-parser-output table.ambox td.ambox-text{padding:.25em .5em;width:100%}.mw-parser-output table.ambox td.ambox-image{padding:2px 0 2px .5em;text-align:center;vertical-align:middle}.mw-parser-output table.ambox td.ambox-imageright{padding:2px 4px 2px 0;text-align:center;vertical-align:middle}.mw-parser-output table.ambox-notice{border-left:10px solid #608ec2}.mw-parser-output table.ambox-delete,.mw-parser-output table.ambox-serious{border-left:10px solid #b22222}.mw-parser-output table.ambox-content{border-left:10px solid #f28500}.mw-parser-output table.ambox-style{border-left:10px solid #f4c430}.mw-parser-output table.ambox-merge{border-left:10px solid #9932cc}.mw-parser-output table.ambox-protection{border-left:10px solid #bba}.mw-parser-output .ambox+.ambox,.mw-parser-output .topbox+.ambox,.mw-parser-output .ambox+.topbox{border-top-width:0}.mw-parser-output .messagebox{border:1px solid #aaaaaa;background-color:#f9f9f9;width:80%;margin:0 auto 1em auto;padding:.2em}.mw-parser-output .messagebox.merge{border:1px solid #c0b8cc;background-color:#f0e5ff;text-align:center}.mw-parser-output .messagebox.cleanup{border:1px solid #9f9fff;background-color:#efefff;text-align:center}.mw-parser-output .messagebox.standard-talk{border:1px solid #c0c090;background-color:#f8eaba}.mw-parser-output .messagebox.nested-talk{border:1px solid #c0c090;background-color:#f8eaba;width:100%;margin:2px 4px}

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2013-10) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

Traditionellt är talteorin den gren inom matematiken som rör heltalens egenskaper. Talteorin har utvecklas till att bli en vedertagen teknik för att angripa problem även inom andra grenar av matematiken.

Talteori kan uppdelas i flera områden beroende på metoderna som används och problemen som undersöks.

Historia |

Tidig modern talteori |

Euler |

Eulers arbete inom talteori inkluderar följande:

• 
  Bevis av Fermats satser. Fermats lilla sats; varje primtal p kan skrivas som p = x² + y² om och bara om p ≡ 1 (mod 4); arbete mot beviset att varje positivt heltal kan skrivas som summan av fyra kvadrater (det första fullständiga beviset är av Joseph-Louis Lagrange (1770)); bevis av att ekvationen x⁴ + y⁴ = z² saknar heltalslösningar.


• 
  Pells ekvation. Euler skrev om sambandet mellan kedjebråk och Pells ekvation.


• 
  Analytisk talteori. Inom sitt arbete om summor av fyra kvadrater, partitioner, pentagontal och distributionen av primtal var Euler bland de första att använda analys (speciellt oändliga serier) inom talteori.


• 
  Kvadratiska former. Euler fortsatte Fermats undersökningar om frågan vilka primtal kan skrivas i formen x² + N y².


• 
  Diofantiska ekvationer. Euler undersökte flera diofantiska ekvationer av genus 0 och 1. Han upptäckte även att det fanns ett samband mellan diofantiska problem och elliptiska integraler.

Lagrange, Legendre and Gauss |

Adrien-Marie Legendre (1752–1833) upptäckte kvadratiska reciprocitetssatsen. Han förmodade primtalssatsen och Dirichlets sats om aritmetiska följder. Han undersökte noggrant ekvationen a x² + b y² + c z² = 0 och arbetade med kvadratiska former. Han var den första som bevisade Fermats stora sats för n = 5.

I sitt verk Disquisitiones Arithmeticae (1798) bevisade Carl Friedrich Gauss (1777–1855) kvadratiska reciprocitetssatsen och utvecklade framåt teorin av kvadratiska former.

Områden inom talteori |

Elementär talteori |

Inom elementär talteori studeras heltalen utan användning av någon av teknikerna från andra matematikområden. Frågor om delbarhet, Euklides algoritm för att beräkna största gemensamma delaren, faktorisering av heltalen i primtal, undersökning av perfekta tal och kongruenser^{[förtydliga]} hör hemma här. Exempel på teorem är Fermats lilla sats, Eulers sats, den kinesiska restklassatsen och kvadratiska reciprocitetssatsen.

Undersökning av egenskaperna hos aritmetiska funktioner som Möbiusfunktionen och Eulers φ-funktion samt heltalsföljder såsom fakulteter och Fibonaccital ingår också.

Många frågor inom den elementära talteorin är exceptionellt svåra och kräver helt nya angreppssätt. Några exempel är

• 
  Goldbachs förmodan som rör jämna heltal som är summan av två primtal


• 
  Catalans förmodan rörande heltalsdigniteter i följd


• 
  Primtalstvillingsförmodan om antalet primtalstvillingar
  


• 
  Collatz förmodan om enkel iteration
  


• 
  diofantiska ekvationer som har visat sig "olösbara". Se även Hilberts tionde problem.

Analytisk talteori |

Analytisk talteori använder analys och komplex analys som verktyg för att angripa frågor rörande heltal. Exempel är primtalssatsen och den relaterade Riemannhypotesen. Andra problem som angrips med analytiska metoder är Warings problem, att ett givet heltal representerar en summa av kvadrater, kuber, primtalstvillingsförmodan, för att hitta oändligt många primtalspar med skillnaden 2 och Goldbachs förmodan, som antyder att jämna heltal är summan av två primtal.

Bevis för att vissa matematiska konstanter såsom π och e är transcendenta, tillhör också analytisk talteori. Utsagor om transcendenta tal verkar ha flyttat från studiet av heltal. Däremot studeras möjliga värden på polynom med heltalskoefficienter för till exempel e, vilket är nära kopplat till området diofantisk approximation.

Exempel på metoder som används inom analytisk talteori är Hardy–Littlewoods cirkelmetod, L-funktioner och modulära former.

Algebraisk talteori |

Inom algebraisk talteori utvidgas talområdet till att också omfatta algebraiska tal, vilka är nollställen till polynom med koefficienter som är heltal. Denna mängd innehåller element som är analoga med heltal och som kallas algebraiska heltal. För dessa behöver inte välbekanta egenskaper, som till exempel unik faktorisering, längre gälla. De verktyg som används – galoisteori, representationsteori, gruppkohomologi, klasskroppsteori och L-funktioner – ger dessa talområden en partiell ordningsstruktur.

Ett stort antal teoretiska frågeställningar behandlas genom att studera heltalen modulo p för alla primtal p i ändliga kroppar. Detta kallas lokalisation och leder fram till konstruktionen av p-adiska tal. Denna typ av studier, som uppstått ur algebraisk talteori, kallas lokal analys.

Ett viktigt område inom algebraisk talteori är Iwasawateori.

Geometrisk talteori |

Geometrisk talteori omfattar alla former av geometri. Den inleds med Minkowskis sats som avhandlar gitterpunkter i konvexa uppsättningar och undersökningar av sfärpackningar. Man kan här även tillämpa algebraisk geometri, speciellt teorin bakom elliptiska kurvor. Fermats stora sats har bevisats med hjälp av dessa tekniker.

Probabilistisk talteori |

Probabilistisk talteori tar upp sannolikheten för olika att olika talfenomen uppträder inom intervall eller som samband, som antalet primtal inom ett talintervall.

Denna talteori har också lett till upptäckten av algoritmer som Cramérs förmodan.

Algoritmisk talteori |

Inom detta område studeras algoritmer. Snabba algoritmer för primtalstest och heltalsfaktorisering har utbredd tillämpning inom kryptografi.

Externa länkar |

• Basics of Computational Number Theory


• https://pure.ltu.se/ws/files/31066719/LTU-CDUPP-0803-SE.pdf


• Grundkurs i talteori

.mw-parser-output table.navbox{border:#aaa 1px solid;width:100%;margin:auto;clear:both;font-size:88%;text-align:center;padding:1px}.mw-parser-output table.navbox+table.navbox{margin-top:-1px}.mw-parser-output .navbox-title,.mw-parser-output .navbox-abovebelow,.mw-parser-output table.navbox th{text-align:center;padding-left:1em;padding-right:1em}.mw-parser-output .navbox-thlinkcolor .navbox-title a{color:inherit}.mw-parser-output .nowraplinks a,.mw-parser-output .nowraplinks .selflink{white-space:nowrap}.mw-parser-output .navbox-group{white-space:nowrap;text-align:right;font-weight:bold;padding-left:1em;padding-right:1em}.mw-parser-output .navbox,.mw-parser-output .navbox-subgroup{background:#fdfdfd}.mw-parser-output .navbox-list{border-color:#fdfdfd}.mw-parser-output .navbox-title,.mw-parser-output table.navbox th{background:#b0c4de}.mw-parser-output .navbox-abovebelow,.mw-parser-output .navbox-group,.mw-parser-output .navbox-subgroup .navbox-title{background:#d0e0f5}.mw-parser-output .navbox-subgroup .navbox-group,.mw-parser-output .navbox-subgroup .navbox-abovebelow{background:#deeafa}.mw-parser-output .navbox-even{background:#f7f7f7}.mw-parser-output .navbox-odd{background:transparent}

Auktoritetsdata • LCCN: sh85093222 • GND: 4067277-3 • SUDOC: 027270475 • BNF: cb131627085 (data) • NDL: 00570429 • BNE: XX4703223