Tropik semiring - Tropical semiring

Yilda idempotent tahlil, tropik semiring a semiring ning kengaytirilgan haqiqiy raqamlar operatsiyalari bilan eng kam (yoki maksimal ) va odatdagi ("klassik") operatsiyalarni o'rniga mos ravishda qo'shish va ko'paytirish.

Tropik semiring turli xil dasturlarga ega (qarang) tropik tahlil ) va asosini tashkil qiladi tropik geometriya.

Ta'rif

The min tropik semiring (yoki min-plus semiring yoki min-plus algebra) bo'ladi semiring (ℝ ∪ {+ ∞}, ⊕, ⊗), amallar bilan:

⊕ va The amallari quyidagicha yuritiladi tropik qo'shilish va tropik ko'paytirish navbati bilan. For uchun birlik + ∞, for uchun birlik 0 ga teng.

Xuddi shunday, maksimal tropik semiring (yoki max-plus semiring yoki max-plus algebra) bu semiring (ℝ ∪ {−∞}, ⊕, ⊗), quyidagi amallar bilan:

For uchun birlik −∞, ⊗ uchun birlik 0 ga teng.

Ushbu semiringslar izomorfik, inkor ostida , va odatda ulardan bittasi tanlanadi va oddiygina deb nomlanadi tropik semiring. Konventsiyalar mualliflar va pastki maydonlar o'rtasida farq qiladi: ba'zilari min konventsiya, ba'zilari maksimal anjuman.

Tropik qo'shimchalar idempotent, shuning uchun tropik semiring an misolidir idempotent semiring.

Tropik semiring a deb ham yuritiladi tropik algebra,[1] ammo buni an bilan aralashtirib yubormaslik kerak assotsiativ algebra tropik semiring orqali.

Tropik eksponentatsiya odatdagi tarzda takrorlanadigan tropik mahsulotlar sifatida aniqlanadi (qarang) Ko'rsatkich § mavhum algebrada ).

Qimmatbaho maydonlar

Tropik semiring operatsiyalari qanday amalga oshiriladi baholash a-da qo'shish va ko'paytirish ostida o'zini tutish qimmatbaho maydon. Haqiqiy baholangan maydon K funktsiya bilan jihozlangan maydon

bu quyidagi xususiyatlarni hamma uchun qondiradi a, b yilda K:

agar va faqat agar
agar tenglik bilan

Shuning uchun baholash v deyarli bir semiring gomomorfizmidir K tropik semiringa, faqat bir xil bahoga ega ikkita element qo'shilganda homomorfizm xususiyati ishdan chiqishi mumkin.

Ba'zi umumiy qiymatlar:

  • Q yoki C ahamiyatsiz baho bilan, v(a) = 0 hamma uchun a ≠ 0,
  • Q yoki bilan kengaytmalari p-adik baholash, v(pna/b) = n uchun a va b coprime to p,
  • maydoni rasmiy Loran seriyasi K((t)) (butun sonli kuchlar) yoki maydon Puiseux seriyasi K{{t}} yoki maydon Hahn seriyasi, eng kichik ko'rsatkichni qaytaradigan qiymat bilan t ketma-ketlikda paydo bo'ladi.

Adabiyotlar

  1. ^ Litvinov, Grigoriy Lazarevich; Sergeev, Sergej Nikolaevich (2009). Tropik va idempotent matematika: Xalqaro seminar Tropical-07, Tropik va idempotent matematika (PDF). Amerika matematik jamiyati. p. 8. ISBN  9780821847824. Olingan 15 sentyabr 2014.
  • Litvinov, G. L. (2005). "Maslov dequantizatsiyasi, idempotent va tropik matematikasi: qisqacha kirish". arXiv:matematik / 0507014v1.