가감기준
Additive basis가법적 수 이론에서 가법적 근거는 일부 유한한 k 에 모든 자연수는 k{\ 또는 그 이하의 인S {\ S}의 합으로 표현할 수 있는 속성을 가진 자연수의 집합이다 즉, 개의S {\ 복사본은 모두 자연 숫자로 구성되어 있다.가법적 근거의 순서나 는 숫자 k 이다 가법적 숫자 이론의 맥락이 명확할 때 가법적 근거를 단순히 근거라고 부를 수도 있다.점근법적 가법적 근거는 S S을(를) 세트 또는 의 요소들의 합으로 표현될 수 있다[1]
예를 들어 라그랑주의 4제곱 정리에서는 제곱수의 집합이 순서 4의 가법이며, 보다 일반적으로 페르마트 다형수 에서는k {\측 다각형의 다형수가 k 의 가법적 근거를 형성한다 마찬가지로 워링의 문제에 대한 해결책도 t를 암시한다. 그들의 가 k k보다 많기는 하지만 k\[1] 을 hatts th powers는 첨가물 기준이다 비노그라도프의 정리로는 프라임 숫자는 최대 4개의 무증상 첨가물 기준이며, 골드바흐의 추측은 그들의 순서가 3개라는 것을 암시할 것이다.
검증되지 않은 에르디즈-첨가제 기반에 대한 투란 추측에 따르면, k 의 모든 첨가제 기반에 대해 의 요소의 합계로서 n 의 숫자 표현 가 무한대로 되어가는 경향이 있다. (더 정확히 말하면, n 표현에는 유한한 우월성이 없다.)[2]관련 Erdős-Fuchs 정리에서는 표현 횟수가 선형 함수에 근접할 수 없다고 기술하고 있다.[3]Erddss-Tetali 정리는 모든 에 대해 각 의 표현 수가 ) 인 k 의 첨가 기준이 존재한다고 명시한다[4]
Lev Schnirelmann의 정리는 양의 Schnirelmann 밀도를 가진 모든 시퀀스는 부가적인 기초라고 말한다.이는 헨리 만(Henry Mann)의 보다 강력한 정리로부터 따르며, 이들의 합이 모든 자연수로 구성되지 않는 한, 두 시퀀스 합계의 슈니렐만 밀도는 적어도 슈니렐만 밀도의 합이다.따라서 Schnirelmann 밀도 > 의 순서는 최대 / ⌉ 1의 순서에 따라 순서가 추가된다[5]
참조
- ^ a b Bell, Jason; Hare, Kathryn; Shallit, Jeffrey (2018), "When is an automatic set an additive basis?", Proceedings of the American Mathematical Society, Series B, 5: 50–63, arXiv:1710.08353, doi:10.1090/bproc/37, MR 3835513
- ^ Erdős, Paul; Turán, Pál (1941), "On a problem of Sidon in additive number theory, and on some related problems", Journal of the London Mathematical Society, 16 (4): 212–216, doi:10.1112/jlms/s1-16.4.212
- ^ Erdős, P.; Fuchs, W. H. J. (1956), "On a problem of additive number theory", Journal of the London Mathematical Society, 31 (1): 67–73, doi:10.1112/jlms/s1-31.1.67, hdl:2027/mdp.39015095244037
- ^ Erdős, Paul; Tetali, Prasad (1990), "Representations of integers as the sum of terms", Random Structures & Algorithms, 1 (3): 245–261, doi:10.1002/rsa.3240010302, MR 1099791
- ^ Mann, Henry B. (1942), "A proof of the fundamental theorem on the density of sums of sets of positive integers", Annals of Mathematics, Second Series, 43 (3): 523–527, doi:10.2307/1968807, JSTOR 1968807, MR 0006748, Zbl 0061.07406