Structure algébrique dont l'addition est idempotente et s'exprime habituellement par le minimum (ou le maximum) tandis que la multiplication correspond à l'addition usuelle ; typiquement R ∪ {∞} avec a ⊕ b = min(a,b) et a ⊗ b = a + b.

Principe

Remplacer l'addition et la multiplication classiques par une combinaison fondée sur l'ordre (min ou max) et l'addition, transformant l'algèbre polynomiale en géométrie tropicale poly‑linéaire et permettant des méthodes combinatoires pour l'optimisation et l'algèbre.

Démonstration

Composition du plus court chemin : les longueurs s'additionnent lors de la concaténation (⊗ = +) et le chemin optimal est choisi en prenant le minimum (⊕ = min) parmi les alternatives, de sorte que les problèmes de chemin sont linéaires sur le semi‑anneau tropical.

Mauvaise application

Considérer le semi‑anneau tropical comme un corps et tenter d'inverser des éléments arbitraires ou d'utiliser la soustraction ; cela rend invalides des identités algébriques nécessitant des inverses additifs.

Conséquence

L'algèbre linéaire tropicale produit des systèmes linéaires max/min‑plus dont les 'spectres' sont combinatoires (p. ex. problèmes propres tropicaux) et dont les équations polynomiales définissent des variétés poly‑linéaires.

Inversion

L'anneau/corps classique où l'addition est réductible et possède des inverses ; là, les opérations min/max ne sont pas primaires et les objets algébriques sont lisses plutôt que par morceaux linéaires.

Limite

S'applique aux semi‑anneaux à loi additive idempotente (conventions min ou max) et aux modèles combinatoires ou métriques ; exclut les structures nécessitant des inverses additifs, les anneaux/corps véritables ou la continuation analytique réelle.

Tension sémantique

Tension entre l'appeler 'algèbre min‑plus' (accent algorithmique/opérationnel) et 'semi‑anneau tropical' (accent algébrique/géométrique) — les mêmes opérations servent les perspectives d'optimisation et de géométrie.

Synthèse

Un semi‑anneau tropical est un semi‑anneau idempotent (min/max pour l'addition, + pour la multiplication) qui transforme problèmes polynomiaux et linéaires en analogues poly‑linéaires et combinatoires adaptés à l'optimisation et à la géométrie tropicale.