비티 수열

수학에서 비티 수열(Beatty sequence) 또는 동차 비티 수열(homogeneous Beatty sequence)은 1보다 큰 무리수의 양의 배수의 바닥 함수를 취하여 얻어지는 정수의 수열이다. 비티 수열은 1926년에 이 수열에 대해 저술한 새뮤얼 비티의 이름을 따서 명명되었다.

레일리 경의 이름을 딴 레일리 정리는 비티 수열에 속하지 않는 양의 정수로 구성된 비티 수열의 여집합이 다른 무리수에 의해 생성되는 비티 수열 자체임을 명시한다.

비티 수열은 슈투름 단어를 생성하는 데도 사용될 수 있다.

정의
1보다 큰 모든 무리수 은 다음 비티 수열을 생성한다.

두 무리수 과 은 자연스럽게  방정식을 만족한다.
이들이 생성하는 두 비티 수열 과 는 상호 보완적인 비티 수열 쌍을 이룬다. 여기서 "상호 보완적"이란 모든 양의 정수가 이 두 수열 중 정확히 하나에 속한다는 의미이다.

예시
이 황금비 일 때, 의 정수 배수 수열은 대략 다음과 같은 값을 갖는다.

이 숫자들을 정수로 내림하면 다음 수열 이 얻어지며, 이는 하위 위토프 수열로 알려져 있다.

이 경우, 상호 보완적인 비티 수열은 다음으로부터 생성된다.

그 정수 배수는 대략 다음과 같은 값을 갖는다.

이 값들을 정수로 내림하면  상위 위토프 수열이 생성된다.

모든 양의 정수는 이 두 수열 중 정확히 하나에 속한다. 이 수열들은 위토프의 게임에 대한 최적 전략을 정의하며, 위토프 배열의 정의에 사용된다.

또 다른 예로, 제곱근 2에 대해  이고 이다. 이 경우 수열은 다음과 같다.

 및  의 경우 수열은 다음과 같다.

첫 번째 수열의 어떤 숫자도 두 번째 수열에는 없고 그 반대도 마찬가지다.

 역사 

비티 수열은 1926년 새뮤얼 비티가 The American Mathematical Monthly에 제기한 문제에서 이름을 얻었다. 하지만 그보다 훨씬 이전인 1894년, 레일리 경이 그의 저서 "소리의 이론" 2판에서 이러한 수열을 간략하게 언급했다.

레일리 정리
레일리 정리(또는 비티 정리)는 무리수 이 주어지면, 양의 정수 집합을 분할하는 이 존재하여 비티 수열 과 가 모든 양의 정수가 두 수열 중 정확히 하나에 속하게 됨을 명시한다.

첫 번째 증명
이 주어졌을 때, 라고 하자. 우리는 모든 양의 정수가 두 수열 과  중 하나에만 속함을 보여야 한다. 우리는 양의 정수 j와 k에 대해 모든 분수 과 가 비내림차순으로 함께 나열될 때 차지하는 순서 위치를 고려하여 이를 수행할 것이다.

두 숫자 중 어떤 두 개도 같은 위치를 차지할 수 없음을 (단일 숫자로서) 확인하기 위해, 어떤 j와 k에 대해 라고 가정하자. 그러면  = 는 유리수가 되지만, 은 유리수가 아니다. 따라서 어떤 두 숫자도 같은 위치를 차지하지 않는다.

어떤 에 대해, 인 양의 정수 가 개 있고, 인 양의 정수 가 개 있으므로, 목록에서 의 위치는 이다.  방정식은 다음을 의미한다.

마찬가지로, 목록에서 의 위치는 이다.

결론: 모든 양의 정수(즉, 목록의 모든 위치)는  또는 의 형태이지만, 둘 다는 아니다. 역 진술도 참이다: p와 q가 모든 양의 정수가 위 목록에 정확히 한 번 나타나도록 하는 두 실수라면, p와 q는 무리수이고 그 역수의 합은 1이다.

두 번째 증명
: 정리와 반대로, j > 0과 k, m과 같은 정수가 있다고 가정하자.

이는 다음 부등식과 동등하다.

0이 아닌 j에 대해, r과 s의 무리성은 등식과 양립할 수 없으므로,

이는 다음으로 이어진다.

이들을 모두 더하고 가설을 사용하면 다음을 얻는다.

이는 불가능하다 (두 인접한 정수 사이에 정수가 있을 수 없다). 따라서 가설은 거짓이어야 한다.

: 정리와 반대로, j > 0과 k, m과 같은 정수가 있다고 가정하자.

j + 1이 0이 아니고 r과 s는 무리수이므로, 등식은 제외할 수 있으므로,

그러면 다음을 얻는다.

해당하는 부등식을 더하면 다음을 얻는다.

이 또한 불가능하다. 따라서 가설은 거짓이다.

특성
숫자 이 비티 수열 에 속하는 것은 다음 조건이 성립할 때만이다.

여기서 는 의 소수 부분을 나타낸다. 즉, 이다.

증명:

더 나아가, 이다.

증명:

슈투름 수열과의 관계
무리수 과 관련된 비티 수열의 첫 번째 차분

는 알파벳 에 대한 특성 슈투름 단어이다.

 일반화 

약간 수정하면 레일리 정리는 양의 실수(반드시 무리수일 필요는 없음)와 음의 정수로도 일반화될 수 있다. 양의 실수 과 가 을 만족하면, 수열 과 은 정수의 분할을 이룬다. 예를 들어, 피아노 건반의 흰색 건반과 검은색 건반은 과 에 대한 그러한 수열로 분포된다.

람베크–모저 정리는 레일리 정리를 일반화하며 정수 함수와 그 역함수로부터 정의된 더 일반적인 수열 쌍이 정수를 분할하는 동일한 특성을 가짐을 보여준다.

우스펜스키 정리는 이 에 모든 양의 정수가 정확히 한 번씩 포함되는 양의 실수라면 임을 명시한다. 즉, 세 개 이상의 비티 수열에 대한 레일리 정리와 동등한 것은 없다.J. V. Uspensky, On a problem arising out of the theory of a certain game, Amer. Math. Monthly 34 (1927), pp. 516–521.R. L. Graham, On a theorem of Uspensky, Amer. Math. Monthly 70 (1963), pp. 407–409.

 각주 

더 읽을거리

  많은 참고 자료를 포함한다.

 외부 링크 

 알렉산더 보고몰니, 비티 수열, Cut-the-knot

분류:정수열
분류:디오판토스 근사
분류:수론 정리