See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Formula di inversione di Möbius - Wikipedia

Formula di inversione di Möbius

Da Wikipedia, l'enciclopedia libera.

La formula di inversione di Möbius fu introdotta nella teoria dei numeri da August Ferdinand Möbius nel XIX secolo.

Esistono due formule di inversione di Möbius.

Indice

[modifica] Prima formula di inversione di Mobius

Se g e f sono funzioni aritmetiche allora :

f = g * μ

(dove * è la convoluzione di Dirichlet e μ è la funzione di Mobius), se e solo se:

g = f * N0

[modifica] Dimostrazione

Per dimostrazione è necessario il seguente lemma :

\left(\mu*N_0\right)\left(n\right)=\sum_{d|n}\mu\left(d\right)=\left\{\begin{matrix}1 \ \mbox{se}\ n \ \mbox{=}\ 1 \\ 0 \ \mbox{altrimenti} \end{matrix}\right.

il secondo membro si ottiene direttamente dalla definizione di N e di * mentre il terzo membro si ricava facilmente dal fatto che alla sommatoria contribuiscono solo i divisori di n privi di quadrati, se n ha m fattori primi distinti il contributo alla sommatoria da parte dei divisori di n privi di quadrati con j fattori primi distinti è:

{m \choose j}\left(-1\right)^{j}

quindi:

\left(\mu*N_0\right)\left(n\right)=\sum_{d|n}\mu\left(d\right)=\sum_{j=0}^{m}{m \choose j}\left(-1\right)^{j}=\left(1-1\right)^m=0 \forall n>1

detto ciò consideriamo che se_

f = g * μ

allora applicando * N0 a entrambi i membri e ricordando la proprietà associativa di * si ottiene:

f*N_0=\left(g*\mu\right)*N_0
f*N_0=g*\left(\mu*N_0\right)
f * N0 = g

che è la tesi. Nell'ultimo passaggio si applica il lemma all'inizio della dimostrazione e la definizione di *.

[modifica] Seconda formula di inversione di Mobius

Sia h una funzione aritmetica moltiplicativa; allora:

f\left(x\right)=\sum_{n \leq x}h\left(n\right)g\left(\frac{x}{n}\right)

se e solo se:

g\left(x\right)=\sum_{n \leq x}h^{-1}\left(n\right)f\left(\frac{x}{n}\right)

dove h^{-1}\left(n\right) è l'inversa di h\left(n\right).

[modifica] Bibliografia

  • Tom M. Apostol (1976): Introduction to Analytic Number Theory, Springer-Verlag, New York. ISBN 0-387-90163-9, (Chapter 2.7)



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 -