Privacy Policy Cookie Policy Terms and Conditions Теория на числата — Уикипедия

Теория на числата

от Уикипедия, свободната енциклопедия

Класическата теория на числата е клон на математиката който изследва свойствата на целите числа. От сравнително по-скоро теорията на числата се занимава с по-широк клас проблеми, които естествено възникват при изучаването на целите числа. Тя се разделя на няколко подобласти, в зависимост от методите които се използват и типовете въпроси които се разглеждат.

Терминът "аритметика" се използва понякога като синоним на "теория на числата". Това е сравнително старо значение и по настоящем не е много популярно. Теорията на числата се е наричала висша аритметика, но този термин също е отпаднал от употреба. Въпреки това все още участва в някои наименования (аритметична функция, аритметика на елиптичните криви, основна теорема на аритметиката). Това значение на термина аритметика не трябва да се бърка със елементарната аритметика.

Съдържание

[редактиране] Области

[редактиране] Елементарна теория на числата

В елементарната теория на числата, целите числа се изучават без да се използват методи от други области на математиката. Тя се занимава с въпроси като делимост, използване на алгоритъма на Евклид за намиране на най-голям общ делител, разлагане на целите числа като произведение на прости, изследване на съвършените числа, сравнения и други. Някои от важните открития в тази област включват: малката теорема на Ферма, теоремата на Ойлер, китайската теорема за остатъците и закона за квадратичната реципрочност. Изучаване на свойствата на мултипликативните функции като например функцията на Мьобиус и функцията на Ойлер, целочислени редици, функцията факториел и числата на Фибоначи също попадат в тази област.

Много теоретико-числови проблеми могат да се изкажат с термини от елементарната теория на числата но въпреки това изискват много по-дълбоки изследвания и методи от други области на математиката. Например:

  • хипотезата на Голдбах, която твърди, че всяко четно число по-голямо от 4 може да се изрази като сума на две прости.
  • Хипотезата за простите числа близнаци, която твърди, че има безброй много двойки прости числа с разлика 2, като 3 и 5 или 11 и 13.
  • Голямата теорема на Ферма (която е изказана през 1637, но е доказана чак през 1994) която твърди, че уравнението xn + yn = zn няма решение в цели числа за n по-голямо от 2.

Теорията на диофантовите уравнения е доказано неразрешима (виж Хилбертови проблеми).

[редактиране] Аналитична теория на числата

Аналитичната теория на числата използва средствата на диференциалното и интегрално смятане и комплексния анализ, за да отговаря на въпроси за целите числа. Законът за разпределение на простите числа и свързаната с него хипотеза на Риман са области от аналитичната теория на числата. Други проблеми включват: проблемът на Варинг (касаещ представянето на дадено цяло число като сума на квадрати, кубове и т.н.), хипотезата за простите числа близнаци и хипотезата на Голдбах. [[математическо доказателство|Доказателствата],] че π и e са трансцедентни, също принадлежат на аналитичната теория на числата. Въпреки че твърденията за трансцедентните числа на пръв поглед нямат много общо с изучаването на целите числа, те всъщност изучават възможните стойности на полиноми с цели коефициенти пресметнати например в числото e. Те също са свързани с теорията на диофантовите приближения, която изучава колко добре дадено реално число може да се приближи с рационално число.

[редактиране] Алгебрична теория на числата

В алгебричната теория на числата, понятието число е разширено до алгебричните числа които са корени на полиноми с рационални коефициенти. Те съдържат елементи аналогични на целите числа, така наречените цели алгебрични числа. При тях познатите свойства на целите (например еднозначно разлагане на прости множители) не винаги се запазват.

Много теоретико-числови въпроси могат най-добре да се атакуват като се разгледат по модул p за всяко просто p (вижте крайно поле). Това се нарича локализация и води до конструкцията на p-адичните числа. Те се изучават в област от математиката наречена локален анализ, която произлиза от алгебричната теория на числата.


[редактиране] История

[редактиране] Ранна история

Теорията на числата е била любима област за древните гърци, на които са били известни някои специални случаи на диофантовите уравнения. Тя се възражда през шестнадесети и седемнадесети век в Европа, с Франсоа Виет, Bachet de Meziriac, и особено Ферма, чийто метод на безкрайното спускане е първата обща идея за решаване на диофантови уравнения. Основни приноси през осемнадесети век правят Ойлер и Лагранж.

[редактиране] Начало на систематична теория

Около началото на деветнадесети век книги на Лежандър (1798), и Гаус излагат първите систематични теории. Може да се каже, че книгата на Гаус Disquisitiones Arithmeticae[1] (1801) поставя началото на модерната теория на числата.

Гаус пръв формулира теорията на сравненията. Той въвежда означението

a \equiv b \pmod c,

и изследва по-голямата част от тази област. През 1847 Чебишев публикува труд на руски език.

Освен обобщаване на предишни резултати, Лежандър излага законът за квадратичната реципрочност. Този закон, първоначално формулиран от Ойлер е за пръв път доказан в книгата на Лежандър Théorie des Nombres (1798) за някои частни случаи. Независимо от тях Гаус открива закона през 1795, и е първият който дава общо доказателство. Към предмета също допринасят: Коши, Дирихле, Якоби, който въвежда символа на Якоби; Жозеф Лиувил, Айзенщайн, Кумер, и Крьонекер. Теорията се разширява и включва кубична и биквадратична реципрочност.

На Гаус дължим и представянето на числата като квадратични форми.

[редактиране] Теория на простите числа

Плодотворна тема в теорията на числата е изучаването на разпределението на простите числа. Още като тинейджър, Гаус формулира хипотеза относно броят на простите числа, които не надвишават дадено число (виж Закон за разпределение на простите числа).

Чебишев (1850) дава полезни ограничения отгоре и отдолу на същия брой. Риман пръв използва комплексен анализ в изследването на дзета функцията на Риман. Това води до намирането на връзка между нулите на дзета функцията и разпределението на простите числа, което в крайна сметка дава доказателство на закона за разпределение на простите числа, намерено едновременно от Адаманд и Вале-Пусен през 1896. По-късно, през 1969 Пол Ердьош и Атле Селберг дават елементарно доказателство на теоремата. Тук елементарно означава че не се използват техники от комплексния анализ, доказателството обаче, е доста трудно. Хипотезата на Риман, би ни дала много по-точна информация по въпроса, но все още не е известно дали тя е вярна.

THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu