From Wikipedia, the free encyclopedia
У теорији бројева, Ојлерова фи функција , за позитивне целе бројеве , је дефинисана као број позитивних целих бројева мањих или једнаких , који су узајамно прости са .
На пример, јер постоји шест бројева (1, 2, 4, 5, 7 и 8), који су узајамно прости са 9.
Ојлерова функција је добила име по швајцарском математичару Леонарду Ојлеру.
Ојлерова фи функција је важна углавном због тога што даје величину мултипликативних група целих бројева по модулу . Прецизније, је ред групе јединица прстена . Ова чињеница, заједно са Лагранжовом теоремом, даје доказ Ојлерове теореме.
Из дефиниције следи да је , и када је -ти степен простог броја . Штавише, је мултипликативна функција; ако су и узајамно прости, онда . Вредност се стога може израчунати коришћењем Основне теореме аритметике: ако
где су различити прости бројеви, онда
Задња формула је Ојлеров производ, и често се записује као
а производ узима само вредности различитих простих бројева који деле .
Речима, ово значи да су различити прости фактори броја 36 бројеви 2 и 3; половина тридесет и шест целих бројева од 1 до 36 су дељиви са 2, што оставља осамнаест; трећина њих је дељиво са 3, што оставља дванаест узајамно простих са 36. А ових 12 бројева су: 1, 5, 7, 11, 13, 17, 19, 23, 25, 29, 31, и 35.
+0 | +1 | +2 | +3 | +4 | +5 | +6 | +7 | +8 | +9 | |
---|---|---|---|---|---|---|---|---|---|---|
0+ | 1 | 1 | 2 | 2 | 4 | 2 | 6 | 4 | 6 | |
10+ | 4 | 10 | 4 | 12 | 6 | 8 | 8 | 16 | 6 | 18 |
20+ | 8 | 12 | 10 | 22 | 8 | 20 | 12 | 18 | 12 | 28 |
30+ | 8 | 30 | 16 | 20 | 16 | 24 | 12 | 36 | 18 | 24 |
40+ | 16 | 40 | 12 | 42 | 20 | 24 | 22 | 46 | 16 | 42 |
50+ | 20 | 32 | 24 | 52 | 18 | 40 | 24 | 36 | 28 | 58 |
60+ | 16 | 60 | 30 | 36 | 32 | 48 | 20 | 66 | 32 | 44 |
70+ | 24 | 70 | 24 | 72 | 36 | 40 | 36 | 60 | 24 | 78 |
80+ | 32 | 54 | 40 | 82 | 24 | 64 | 42 | 56 | 40 | 88 |
90+ | 24 | 72 | 44 | 60 | 46 | 72 | 32 | 96 | 42 | 60 |
Број је такође једнак броју могућих генератора цикличне групе . Како сваки елемент из генерише цикличну подгрупу и подгрупе од су облика где дели (што се записује као ), добијамо
где сума пролази кроз све позитивне делиоце од .
Сада можемо да искористимо Мебијусову инверзиону формулу да инвертујемо ову суму и добијемо још једну формулу за :
где је уобичајена Мебијусова функција дефинисана за позитивне целе бројеве.
Према Ојлеровој теореми, ако су и узајамно прости, то јест, нзд(, ) = 1, тада
Ово следи из Лагранжове теореме и чињенице да припада мултипликативној групи акко је узајамно просто са .
Две генераторне функције представљене овде су обе последице чињенице да
Дирехлеов ред са () је
Ово се изводи на следећи начин:
где је Риманова зета функција.
Генераторна функција Ламберовог реда је
што конвергира за ||<1.
Ово следи из
што је
Раст као функције од је интересантно питање, јер је први утисак добијен на основу малих да је знатно мање од је унеколико нетачан. Асимптотски имамо
за свако дато и . У ствари, ако размотримо
можемо из горње формуле да добијемо, као производ фактора
изнад простих бројева који деле . Стога вредности које одговарају посебно малим вредностима односа су они који су производ почетног сегмента низа простих бројева. Из Теореме простих бројева се може показати да се константа ε у горњој формули може заменити са
је такође генерално близу у смислу просека:
где је велико Ландауов симбол. Ово такође значи да је вероватноћа да ће два позитивна цела броја случајно изабрана из {1, 2, ..., } бити релативно прости тежи када тежи бесконачности.
где је позитиван цео број и означава број различитих простих фактора од . (Ова формула рачуна број природних бројева мањих или једнаких и релативно простих са .)
Неке неједнакости које укључују функцију су:
и
За прост , јасно је да . За не-прост имамо
За све :
За случајно велики , ове границе се и даље не могу побољшати, или учинити прецизнијим:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.