New Immissions/Updates:
boundless - educate - edutalab - empatico - es-ebooks - es16 - fr16 - fsfiles - hesperian - solidaria - wikipediaforschools
- wikipediaforschoolses - wikipediaforschoolsfr - wikipediaforschoolspt - worldmap -

See also: Liber Liber - Libro Parlato - Liber Musica  - Manuzio -  Liber Liber ISO Files - Alphabetical Order - Multivolume ZIP Complete Archive - PDF Files - OGG Music Files -

PROJECT GUTENBERG HTML: Volume I - Volume II - Volume III - Volume IV - Volume V - Volume VI - Volume VII - Volume VIII - Volume IX

Ascolta ""Volevo solo fare un audiolibro"" su Spreaker.
CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Funkcja φ - Wikipedia, wolna encyklopedia

Funkcja φ

Z Wikipedii

Funkcja φ Eulera (inaczej tocjent) – funkcja określona dla dodatnich liczb całkowitych, której wartością dla danej liczby n jest ilość mniejszych lub równych niej liczb względnie pierwszych z liczbą n, przy czym 1 jest traktowana jako względnie pierwsza z każdą liczbą.

Funkcja φ odgrywa dużą rolę w badaniach nad pierwszością liczb. Ma również istotne zastosowania w kryptografii, szczególnie w dowodach o trudności łamania szyfrów.

Spis treści

[edytuj] Definicja formalna

Dla liczby całkowitej n funkcja Eulera określona jest następująco:

\varphi(n)= card \{k \in \mathbb{Z}: 0 < k < n \and \operatorname{NWD}(n, k)=1\}

gdzie card oznacza moc zbioru, a NWD(n,k) największy wspólny dzielnik liczb n i k.

[edytuj] Własności

[edytuj] Wzór ogólny

Można pokazać, że dla każdej dodatniej liczby całkowitej n zachodzi:

\varphi(n)=n\prod_{p|n}\left(1-\frac{1}{p}\right)

gdzie p przebiega wszystkie liczby pierwsze dzielące n.

[edytuj] Wartość dla liczb pierwszych

Jeżeli p jest liczbą pierwszą to każda z liczb 1,2,...p-1 należy do zbioru liczb mniejszych od p względnie pierwszych z p, więc:

\varphi(p)=p-1

[edytuj] Wartość dla liczb względnie pierwszych

Jeżeli liczby całkowite m i nwzględnie pierwsze to

\varphi(mn)=\varphi(m)\varphi(n)

[edytuj] Wartość dla potęg liczb pierwszych

Jeżeli n=pk to

\varphi(n) = p^k - p^{k - 1} = p^{k - 1}\cdot(p - 1)

[edytuj] Wartość dla liczb bez wielokrotnych podzielników pierwszych

Jeżeli nie ma wielokrotnych podzielników pierwszych, tj.

n=\prod_{i=1}^kp_i

gdzie liczby pi są pierwsze i parami różne, to

\varphi(n)=\prod_{i=1}^k(p_i-1)

[edytuj] Zależność od wartości funkcji dla podzielników

Dla dowolnej liczby całkowitej n zachodzi:

\sum_{m|n}\varphi(m)=n

gdzie sumowanie przebiega przez wszystkie dzielniki liczby n.

[edytuj] Dowód

Niech

n=\prod_{i=1}^k p_i^{k_i}

będzie rozkładem n na czynniki pierwsze. Rozważmy następujący iloczyn:

\prod_{i=1}^k \sum_{j=0}^{k_i} \varphi(p_i^{j})=\prod_{i=1}^k (\varphi(1)+\varphi(p_i)+...+\varphi(p_i^{k_i}))

Zgodnie z podaną wyżej własnością funkcji Eulera dla liczb będących potęgami liczb pierwszych iloczyn ten jest równy

\prod_{i=1}^k (1+(p_i-1)+...+(p_i^{k_i}-p_i^{k_i-1}))=\prod_{i=1}^k p_i^{k_i}=n

Z drugiej strony jeśli wymnożymy ów iloczyn dostaniemy długą sumę, w której dla każdego podzielnika n znajdzie się jeden składnik. Istotnie, podzielnikowi

m=\prod_{i=1}^k p_i^{k'_i}

gdzie dla każdego i k'i<ki, odpowiada składnik

\prod_{i=1}^k \varphi(p_i^{k'_i})

Na podstawie podanej poniżej zależności wartości funkcji Eulera od rozkładu na czynniki pierwsze łatwo widać, że składnik powyzszy

\prod_{i=1}^k \varphi(p_i^{k'_i})=\varphi(m)

Tak więc dla każdego dzielnika m liczby n w sumie odpowiadającej rozpatrywanemu iloczynowi (równemu n) istnieje składnik φ(n). Łatwo widać, że istnieje również zależność odwrotna, tj. każdemu składnikowi sumy odpowiada dokładnie jeden dzielnik m liczby n. Tak więc rozpatrywany iloczyn jest równy n i jednocześnie jest on sumą wartości funkcji Eulera dla wszystkich swoich dzielników.

[edytuj] Zależność od rozkładu na czynniki pierwsze

Jeżeli

n=\prod_{i=1}^kp_i^{k_i}

jest rozkładem liczby n na czynniki pierwsze to

\varphi(n)=\prod_{i=1}^k \varphi(p_i^{k_i})

[edytuj] Wartości funkcji φ(n) dla kilku początkowych n

1. 2. 3. 4. 5. 6. 7. 8. 9. 10.
1 1 2 2 4 2 6 4 6 4


[edytuj] Zobacz również

Static Wikipedia (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 (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 2006 (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 - 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 February 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