Projections in minimax algebra

An axiomatic theory of linear operators can be constructed for abstract spaces defined over (R, ⊕, ⊗), that is over the (extended) real numbersR with the binary operationsx ⊕ y = max (x,y) andx ⊗ y = x + y. Many of the features of conventional linear operator theory can be reproduced in this theory, although the proof techniques are quite different. Specialisation of the theory to spaces ofn-tuples provides techniques for analysing a number of well-known operational research problems, whilst specialisation to function spaces provides a natural formal framework for certain familiar problems of approximation, optimisation and duality.