主題
Search

素因子


素因子是一個因子,它也是素數,即它本身不能被分解。一般來說,素因數分解的形式為

 n=p_1^(alpha_1)p_2^(alpha_2)...p_k^(alpha_k),
(1)

其中 p_i 是素因子,alpha_i 是它們的階數。素因數分解可以在 Wolfram 語言 中使用命令FactorInteger[n] 執行,該命令返回一個 (p_i,alpha_i) 對的列表。

下表給出了正整數 <=50素因數分解

111111213·731314141
22122^2·3222·11322^5422·3·7
3313132323333·114343
42^2142·7242^3·3342·17442^2·11
55153·5255^2355·7453^2·5
62·3162^4262·13362^2·3^2462·23
771717273^337374747
82^3182·3^2282^2·7382·19482^4·3
93^219192929393·13497^2
102·5202^2·5302·3·5402^3·5502·5^2
PrimeFactors

一個數 n不必不同的素因子數記為 Omega(n) (Hardy 和 Wright 1979, p. 354) 或 r(n)。Conway et al. (2008) 創造了術語“n 的多素性”來描述 Omega(n),其中半素數然後被稱為雙素數,具有三個因子的數項稱為三素數,等等。素因子的數量由上面的素因數分解給出:

 Omega(n)=sum_(i=1)^kalpha_i.
(2)

對於 n=1, 2, ... 的前幾個值是 0, 1, 1, 2, 1, 2, 1, 3, 2, 2, 1, 3, 1, 2, 2, 4, 1, 3, 1, 3, ... (OEIS A001222)。Omega(n) 在上面繪製,直到 n=100(左)和 n=1000(右)。函式 Omega(n)Wolfram 語言 中實現為PrimeOmega[n],

lambda(n)=(-1)^(Omega(n)) 定義的函式被稱為劉維爾函式

一個數 n不同素因子數記為 omega(n) (Hardy 和 Wright 1979, p. 354),有時也記為 nu(n)r(n),並在 Wolfram 語言 中實現為PrimeNu[n].

例如,4=2·2 只有一個不同的素因子,所以 omega(4)=1,但總共有兩個素因子,所以 Omega(4)=2

Omega(n) 的漸近級數由下式給出

 Omega(n)∼lnlnn+B_2+sum_(k=1)^infty(-1+sum_(j=0)^(k-1)(gamma_j)/(j!))((k-1)!)/((lnn)^k)
(3)

(Diaconis 1976, Knuth 2000, Diaconis 2002, Finch 2003, Knuth 2003),其中 B_2 是一個與 梅爾滕斯常數 相關的常數,gamma_j斯蒂爾傑斯常數。此外,方差由下式給出

 var(Omega(n))∼lnlnn+B_2^'+(c_1)/(lnn)+(c_2)/((lnn)^2)+...,
(4)

其中

B_2^'=B_2-T-1/6pi^2
(5)
=0.76478...
(6)

(OEIS A091589),以及

 T=sum_(k=1)^infty1/((p_k-1)^2) approx 1.37506...
(7)

(OEIS A086242; Finch 2003) 是一個收斂的素數和。係數 c_1c_2 由以下和給出

c_1=gamma-1-2sum_(k=1)^(infty)(lnp_k)/((p_k-1)^2)
(8)
=gamma-1+2sum_(k=2)^(infty)phi(k)(zeta^'(k))/(zeta(k))
(9)
=2.8767219464...
(10)
c_2=-gamma_1-(gamma-1)[gamma-2sum_(k=1)^(infty)(lnp_k)/((p_k-1)^2)]-2sum_(k=1)^(infty)(p_k(lnp_k)^2)/((p_k-1)^3)
(11)
=4.9035933594...
(12)

(Diaconis 1976, Knuth 2000, Diaconis 2002, Finch 2003, Knuth 2003),其中

U=sum_(k=1)^(infty)(lnp_k)/((p_k-1)^2)
(13)
=1.2269688...
(14)
V=sum_(k=1)^(infty)(p_k(lnp_k)^2)/((p_k-1)^3)
(15)
=2.0914802...
(16)

(Finch 2003)。

類似地,如果 n 是在 1 和 x 之間隨機選擇的,那麼機率

 Omega(n)<=lnlnn+csqrt(lnlnx)
(17)

趨近於

 1/(sqrt(2pi))int_(-infty)^ce^(-u^2/2)du
(18)

x->infty 時 (Knuth 1998, p. 384)。此外,對於 1<=n<=xOmega(n)-lnlnx 的平均值 t^_ 趨近於 B_2 (Erdős 和 Kac 1940; Hardy 和 Wright 1979; Knuth 1998, p. 384)

PrimeFactorsAverageOrder

Omega(n) 的平均階數為

 Omega(n)∼lnlnn
(19)

(Hardy 1999, p. 51)。更精確地說,

 sum_(n<=x)Omega(n)=xlnlnx+Bx+O(x/(lnx)),
(20)

對於適當的常數 AB (Hardy 和 Ramanujan 1917; Hardy 和 Wright 1979, p. 355; Hardy 1999, p. 57),其中 O(x)漸近符號


另請參閱

迪克曼函式, 不同素因子, 除數函式, 因子, 最大素因子, 最小素因子, 劉維爾函式, 梅爾滕斯常數, 波利亞猜想, 素因數分解, 素因數分解演算法, 素數, 本原素因子, 圓整數字, 素因子之和 在 課堂中探索此主題

相關的 Wolfram 站點

http://functions.wolfram.com/NumberTheoryFunctions/FactorInteger/

使用 探索

參考文獻

Conway, J. H.; Dietrich, H.; O'Brien, E. A. "Counting Groups: Gnus, Moas, and Other Exotica." Math. Intell. 30, 6-18, 2008.Diaconis, P. "Asymptotic Expansions for the Mean and Variance of the Number of Prime Factors of a Number n." Dept. Statistics Tech. Report 96, Stanford, CA: Stanford University, 1976.Diaconis, P. "G. H. Hardy and Probability???" Bull. London Math. Soc. 34, 385-402, 2002.Erdős, P. and Kac, M. "The Gaussian Law of Errors in the Theory of Additive Number Theoretic Functions." Amer. J. Math. 26, 738-742, 1940.Finch, S. "Two Asymptotic Series." December 10, 2003. http://algo.inria.fr/bsolve/.Hardy, G. H. Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, 3rd ed. New York: Chelsea, 1999.Hardy, G. H. and Ramanujan, S. Quart. J. Math. 48, 76-92, 1917.Hardy, G. H. and Wright, E. M. §22.11 in An Introduction to the Theory of Numbers, 5th ed. Oxford, England: Clarendon Press, 1979.Knuth, D. E. The Art of Computer Programming, Vol. 2: Seminumerical Algorithms, 3rd ed. Reading, MA: Addison-Wesley, p. 384, 1998.Knuth, D. E. Selected Papers on Analysis of Algorithms. Stanford, CA: CSLI Publications, pp. 338-339, 2000.Ramanujan, S. Collected Papers of Srinivasa Ramanujan (Ed. G. H. Hardy, P. V. S. Aiyar, and B. M. Wilson). Providence, RI: Amer. Math. Soc., p. 327, 2000.Sloane, N. J. A. Sequences A001222/M0094, A001221/M0056, A030059, A083342, A086242, and A091589 in "The On-Line Encyclopedia of Integer Sequences."Turán, P. "On a Theorem of Hardy and Ramanujan." J. London Math. Soc. 9, 274-276, 1934.Turán, P. "Über einige Verallgemeinerungen eines Satzes von Hardy und Ramanujan." J. London Math. Soc. 11, 125-133, 1936.

在 中引用

素因子

引用為

Weisstein, Eric W. "素因子。" 來自 Web 資源。 https://mathworld.tw/PrimeFactor.html

主題分類