리틀우드 추측

Littlewood conjecture

수학에서 리틀우드 추측은 1930년경 존 에덴소 리틀우드가 제안한 디오판타인 근사치공개 문제(2021년 5월 기준)이다.그것은 어떤 두 개의 실수 α와 β에 대해서,

여기서 (는) 가장 가까운 정수에 대한 거리.

공식화 및 설명

이는 다음을 의미한다: 평면에서 점(α, β)을 취한 후 점의 순서를 고려한다.

(2α, 2β), (3α, 3β), ... .

이들 각각에 대해 정수 x 좌표로 가장 가까운 선까지의 거리를 정수 y 좌표로 가장 가까운 선까지의 거리로 곱한다.이 제품은 반드시 기껏해야 1/4이 될 것이다.그 추측은 이 일련의 값들이 수렴될 것인지에 대한 어떠한 설명도 하지 않는다; 그것은 일반적으로 그렇지 않다.이 추측에 따르면 한계는 열등하다고 하며, 거리가 역수보다 더 빨리 붕괴되는 연속성이 있다고 한다.

o(1/n)

리틀오 표기법으로

추가 추측과의 연관성

이것은 숫자의 기하학적 결과에서, 세 개의 실제 변수에서 세 개의 선형 형태의 제품의 0이 아닌 격자점에 대한 최소값으로, 그 함축은 1955년 J. W. S. CascelsSwinnerton-Dyer에 의해 보여졌다.[1]이것은 집단 이데올로기적 용어로 다른 방법으로 공식화될 수 있다.현재 n 3 3에 대해 유지될 것으로 예상되는 또 다른 추측이 있다: 그것Gn = SL(R), = = SLn(Z), 그리고 G에서 대각 행렬의 부분군 D의 관점에서 명시되어 있다.

추측: Dg비교적 소형(G/G)인 G/N에 대해, Dg는 닫힌다.

이것은 차례로 리 그룹에 대한 마굴리스에 대한 일반적인 추측의 특별한 경우다.

부분 결과

보렐은 1909년 추측의 진술을 위반하는 예외적인 실쌍(α,3β) 집합이 르베그 측도 0이라는 것을 보여주었다.[2]Manfred Einsiedler, Anatole Katok, Elon LindenstraussHausdorff 치수 0이 있어야 한다는 것을 보여주었다[3];[4] 사실 박스 카운팅 치수 0의 많은 콤팩트 세트들의 조합이다.그 결과는 상위 집단의 대각선으로 가능한 작용에 대한 측정 분류 정리를 사용하여 증명되었고, 린덴스트라우스와 바락 바리스에 의해 증명된 격리 정리가 있었다.

이러한 결과는 추측을 만족시키는 비경쟁 쌍이 존재함을 암시한다: 1 n> 0 n과 같은 실제 수 α에 따라, (α,β) 추측을 만족시키는 명시적 β를 구성할 수 있다.[5]

참고 항목

참조

  1. ^ J.W.S. Cassels; H.P.F. Swinnerton-Dyer (1955-06-23). "On the product of three homogeneous linear forms and the indefinite ternary quadratic forms". Philosophical Transactions of the Royal Society A. 248 (940): 73–96. Bibcode:1955RSPTA.248...73C. doi:10.1098/rsta.1955.0010. JSTOR 91633. MR 0070653. S2CID 122708867. Zbl 0065.27905.
  2. ^ Adamczewski & Bugeaud(2010) 페이지 444
  3. ^ M. Einsiedler; A. Katok; E. Lindenstrauss (2006-09-01). "Invariant measures and the set of exceptions to Littlewood's conjecture". Annals of Mathematics. 164 (2): 513–560. arXiv:math.DS/0612721. Bibcode:2006math.....12721E. doi:10.4007/annals.2006.164.513. MR 2247967. S2CID 613883. Zbl 1109.22004.
  4. ^ Adamczewski & Bugeaud (2010) 페이지 4445
  5. ^ Adamczewski & Bugeaud(2010) 페이지 446

추가 읽기