Pierce-Birkhoff varsayımı - Pierce–Birkhoff conjecture

İçinde soyut cebir, Pierce-Birkhoff varsayımı herhangi bir parçalı polinom fonksiyonunun bir maksimum sonlu minimum sonlu koleksiyonlarının polinomlar. İlk başta belirtilmemiş olsa datitiz ve belirsiz ifadeler, 1956 tarihli gazetede Garrett Birkhoff ve Richard S. Pierce ilk tanıştırdıkları f-halkalar. Varsayımın modern, titiz ifadesi şu şekilde formüle edildi: Melvin Henriksen ve John R. Isbell, 1960'ların başında f halkaları üzerindeki çalışmaları ile bağlantılı olarak sorun üzerinde çalışan. Formülasyonları aşağıdaki gibidir:

Her gerçek parçalı polinom fonksiyonu için ${displaystyle fcolon mathbb {R} ^ {n} ightarrow mathbb {R}}$, var sonlu bir polinom kümesi ${Mathbb'de displaystyle g_ {ij} {R} [x_ {1}, ldots, x_ {n}]}$ öyle ki ${displaystyle f = sup _ {i} inf _ {j} (g_ {ij})}$.^[1]

İsbell muhtemelen ismin kaynağıdır Pierce-Birkhoff varsayımı1980'lerde sorunu, ilgilenen birkaç matematikçiyle tartışarak popüler hale getirdi. gerçek cebirsel geometri.^[1]

Varsayımın doğru olduğu kanıtlandı n = 1 ve 2 ile Louis Mahé.^[2]

Yerel Pierce-Birkhoff varsayımı

1989'da, James J. Madden açısından eşdeğer bir ifade sağladı gerçek spektrum nın-nin ${displaystyle A = R [x_ {1}, ldots, x_ {n}]}$ ve yerel polinom temsilcilerinin yeni kavramları ve ayırıcı idealler.

Gerçek spektrumunu belirten Bir tarafından ${displaystyle mathrm {Sper} A}$, ayırmak ideal α ve β içinde ${displaystyle mathrm {Sper} A}$ idealidir Bir tüm polinomlar tarafından oluşturulmuş ${görüntü stili cin A}$ bu değişiklik oturum açma ${displaystyle alpha}$ ve ${displaystyle eta}$yani ${displaystyle g (alfa) geq 0}$ ve ${displaystyle g (eta) leq 0}$. Herhangi bir sonlu kaplama ${displaystyle mathbb {R} ^ {n} = fincan _ {i} P_ {i}}$ nın-nin kapalı, yarı cebirsel kümeler karşılık gelen bir örtüyü indükler ${displaystyle mathrm {Sper} A = fincan _ {i} {ilde {P}} _ {i}}$yani özellikle ne zaman f parça parça polinom, bir polinom var ${displaystyle f_ {i}}$ her biri için ${matematikte displaystyle alpha {Sper} A}$ öyle ki ${displaystyle f | _ {P_ {i}} = f_ {i} | _ {P_ {i}}}$ ve ${{ilde {P}} _ {i}} 'de displaystyle alpha$. Bu ${displaystyle f_ {i}}$ olarak adlandırılır yerel polinom temsilcisi f -de ${displaystyle alpha}$.

Madden sözde yerel Pierce-Birkhoff varsayımı ${displaystyle alpha}$ ve ${displaystyle eta}$Pierce – Birkhoff varsayımına eşdeğer olan aşağıdaki gibidir:

İzin Vermek ${displaystyle alpha}$, ${displaystyle eta}$ içinde olmak ${displaystyle mathrm {Sper} A}$ ve f parça parça polinom olabilir. Her yerel temsilci için f -de ${displaystyle alpha}$, ${displaystyle f_ {alfa}}$ve yerel temsilcisi f -de ${displaystyle eta}$, ${displaystyle f_ {eta}}$, ${displaystyle f_ {alfa} -f_ {eta}}$ ayırma idealinde ${displaystyle alpha}$ ve ${displaystyle eta}$.^[1]

Referanslar

daha fazla okuma

• Birkhoff, Garrett; Pierce, Richard S. (1956). "Kafes sıralı halkalar". Anais da Academia Brasileira de Ciências. 28: 41–69. BAY  0080099. Zbl  0070.26602.
• Mahé, Louis (1984). "Pierce-Birkhoff varsayımı üzerine". Rocky Mountain Matematik Dergisi. 14 (4): 983–986. doi:10.1216 / RMJ-1984-14-4-983. BAY  0773148.
• Mahé, Louis (2007). "Üç değişkenli Pierce-Birkhoff varsayımı üzerine". Journal of Pure and Applied Cebir. 211 (2): 459–470. doi:10.1016 / j.jpaa.2007.01.012. BAY  2340463. Zbl  1130.13014.