Minkowskis ikinci teoremi - Minkowskis second theorem - Wikipedia

Matematikte, Minkowski'nin ikinci teoremi bir sonuçtur sayıların geometrisi tarafından alınan değerler hakkında norm bir kafes ve temel hücresinin hacmi üzerinde.

Ayar

İzin Vermek K olmak kapalı dışbükey merkezi simetrik pozitif sonlu hacimli gövde n-boyutlu Öklid uzayı n. ölçü[1] veya mesafe[2][3] Minkowski işlevsel g ekli K tarafından tanımlanır

Tersine, bir norm verildiğinde g açık n biz tanımlarız K olmak

İzin Vermek Γ olmak kafes içinde n. ardışık minimum nın-nin K veya g açık Γ ayarlanarak tanımlanır kardışık minimum λk olmak infimum sayıların λ öyle ki λK içerir k doğrusal bağımsız vektörler Γ. Sahibiz 0 < λ1λ2 ≤ ... ≤ λn < ∞.

Beyan

Ardışık minimumlar tatmin eder[4][5][6]

Kanıt

Doğrusal bağımsız kafes vektörlerinin temeli b1 , b2 , ... bn tarafından tanımlanabilir g (bj) = λj .

Alt sınır, dışbükey dikkate alınarak kanıtlanmıştır. politop 2n köşeleri ile ± bj/ λjile çevrili bir iç mekana sahip olan K ve bir hacim olan 2n/ n! λ1 λ2... λn çarpı bir tam sayı katı ilkel hücre kafesin (politopun ölçeklendirilmesiyle görüldüğü gibi) λj elde etmek için her temel vektör boyunca 2n n- basitler kafes noktası vektörleri ile).

Üst sınırı kanıtlamak için işlevleri düşünün fj(x) puan göndermek x içinde noktaların alt kümesinin ağırlık merkezine şu şekilde yazılabilir bazı gerçek sayılar için . Ardından koordinat dönüşümü bir Jacobian belirleyicisine sahiptir . Eğer ve olan nın-nin ve (ile ) sonra ile dahil olduğu yer (özellikle iç mekanı ) dışbükeylik ve simetriye bağlıdır. Ama iç kısımdaki kafes noktaları tanımı gereği , her zaman doğrusal bir kombinasyon olarak ifade edilebilir yani herhangi iki farklı nokta kafes vektörü ile ayrılamaz. Bu nedenle, kafesin ilkel bir hücresi içine alınmalıdır (hacmi olan ) , ve sonuç olarak .

Referanslar

  1. ^ Siegel (1989) s. 6
  2. ^ Cassels (1957) s. 154
  3. ^ Cassels (1971) s. 103
  4. ^ Cassels (1957) s. 156
  5. ^ Cassels (1971) s. 203
  6. ^ Siegel (1989) s. 57
  • Cassels, J. W. S. (1957). Diophantine yaklaşımına giriş. Matematik ve Matematiksel Fizikte Cambridge Yolları. 45. Cambridge University Press. Zbl  0077.04801.
  • Cassels, J. W. S. (1997). Sayıların Geometrisine Giriş. Matematikte Klasikler (1971 ed. Yeniden basımı). Springer-Verlag. ISBN  978-3-540-61788-4.
  • Nathanson, Melvyn B. (1996). Toplamsal Sayı Teorisi: Ters Problemler ve Toplam Kümelerinin Geometrisi. Matematikte Lisansüstü Metinler. 165. Springer-Verlag. s. 180–185. ISBN  0-387-94655-1. Zbl  0859.11003.
  • Schmidt, Wolfgang M. (1996). Diophantine yaklaşımları ve Diophantine denklemleri. Matematikte Ders Notları. 1467 (2. baskı). Springer-Verlag. s. 6. ISBN  3-540-54058-X. Zbl  0754.11020.
  • Siegel, Carl Ludwig (1989). Komaravolu S. Chandrasekharan (ed.). Sayıların Geometrisi Üzerine Dersler. Springer-Verlag. ISBN  3-540-50629-2. Zbl  0691.10021.