The first chapter deals with idempotent analysis per se . To make the
pres- tation self-contained, in the first two sections we define
idempotent semirings, give a concise exposition of idempotent linear
algebra, and survey some of its applications. Idempotent linear algebra
studies the properties of the semirn- ules An, n E N, over a semiring A
with idempotent addition; in other words, it studies systems of
equations that are linear in an idempotent semiring. Pr- ably the first
interesting and nontrivial idempotent semiring, namely, that of all
languages over a finite alphabet, as well as linear equations in this
sern- ing, was examined by S. Kleene [107] in 1956 . This
noncommutative semiring was used in applications to compiling and
parsing (see also [1]) . Presently, the literature on idempotent
algebra and its applications to theoretical computer science (linguistic
problems, finite automata, discrete event systems, and Petri nets),
biomathematics, logic, mathematical physics, mathematical economics, and
optimizat ion, is immense; e. g., see [9, 10, 11, 12, 13, 15, 16, 17,
22, 31, 32, 35,36,37,38,39,40,41,52,53,54,55,61,62,63,64,68, 71, 72,
73,74,77,78, 79,80,81,82,83,84,85,86,88,114,125,128,135,136,
138,139,141,159,160, 167,170,173,174,175,176,177,178,179,180,185,186,
187, 188, 189]. In §1. 2 we present the most important facts of the
idempotent algebra formalism . The semimodules An are idempotent analogs
of the finite-dimensional v- n, tor spaces lR and hence endomorphisms of
these semi modules can naturally be called (idempotent) linear operators
on An .