Semiring con mínimo y suma reemplazando la suma y la multiplicación
En análisis idempotente , el semiring tropical es un semiring de números reales extendidos con las operaciones de mínimo (o máximo ) y suma reemplazando las operaciones habituales ("clásicas") de suma y multiplicación, respectivamente.
El semianillo tropical tiene diversas aplicaciones (ver análisis tropical ), y forma la base de la geometría tropical . El nombre tropical es una referencia al informático de origen húngaro Imre Simon , llamado así porque vivió y trabajó en Brasil. [1]
Definición
Elmin semiring tropical (osemirredondo min-plus oálgebra min-plus ) es elsemiring(,,), con las operaciones:
Las operaciones y se denominan suma tropical y multiplicación tropical respectivamente. El elemento de identidad para es y el elemento de identidad para es 0.
De manera similar, elsemiring tropical máximo (osemirredondo max-plus oálgebra max-plus oSemiring ártico ) es el semiring (,,), con operaciones:
La unidad del elemento de identidad es , y la unidad del elemento de identidad es 0.
Los dos semianillos son isomorfos bajo negación y, generalmente, se elige uno de ellos y se lo denomina simplemente semianillo tropical . Las convenciones difieren entre autores y subcampos: algunos usan la convención mínima , otros usan la convención máxima .
Los dos semirings tropicales son el límite (" tropicalización ", "descuantización") del log semiring cuando la base va al infinito (max-plus semiring) o a cero (min-plus semiring).
La adición tropical es idempotente , por lo que un semianillo tropical es un ejemplo de semianillo idempotente .
Un semianillo tropical también se conoce comoálgebra tropical ,[2]aunque esto no debe confundirse con unálgebra asociativasobre un semianillo tropical.
La exponenciación tropical se define de la forma habitual como productos tropicales iterados.
Campos valorados
Las operaciones de semianillo tropical modelan cómo se comportan las valoraciones bajo suma y multiplicación en un campo valorado . Un campo de valor real es un campo equipado con una función
que satisface las siguientes propiedades para todos , en :
- si y solo si
- con igualdad si
Por lo tanto, la valoración v es casi un homomorfismo semianular de K al semianillo tropical, excepto que la propiedad del homomorfismo puede fallar cuando se suman dos elementos con la misma valoración.
Algunos campos valorados comunes:
- o con la valoración trivial, para todos ,
- o sus extensiones con la valoración p-adic , for y coprime to ,
- el campo de la serie formal de Laurent (potencias enteras), o el campo de la serie de Puiseux , o el campo de la serie de Hahn , donde la valoración devuelve el exponente más pequeño que aparece en la serie.
Referencias
- ^ Pin, Jean-Éric (1998). «Semirrings tropicales» (PDF) . En Gunawardena, J. (ed.). Idempotencia . Publicaciones del Instituto Newton. vol. 11. Prensa de la Universidad de Cambridge . págs. 50–69. doi :10.1017/CBO9780511662508.004. ISBN 9780511662508.
- ^ Litvinov, Grigoriĭ Lazarevich; Sergeev, Sergej Nikolaevič (2009). Matemáticas Tropicales e Idempotentes: Taller Internacional Tropical-07, Matemáticas Tropicales e Idempotentes (PDF) . Sociedad Matemática Estadounidense. pag. 8.ISBN 9780821847824. Consultado el 15 de septiembre de 2014 .
- Litvinov, GL (2005). "La descuantización de Maslov, las matemáticas idempotentes y tropicales: una breve introducción". arXiv : matemáticas/0507014v1 .