主题
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)渐近符号


另请参阅

迪克曼函数, 不同素因子, 除数函数, 因子, 最大素因子, 最小素因子, 刘维尔函数, 梅尔滕斯常数, 波利亚猜想, 素因数分解, 素因数分解算法, 素数, 本原素因子, 圆整数字, 素因子之和 在 MathWorld 课堂中探索此主题

相关的 Wolfram 站点

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

使用 Wolfram|Alpha 探索

参考文献

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.

在 Wolfram|Alpha 中引用

素因子

引用为

Weisstein, Eric W. "素因子。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/PrimeFactor.html

主题分类