Power Algebras over Semirings: With Applications in Mathematics and Computer Science: 488 (Mathematics and Its Applications) - Tapa blanda

This monograph is a continuation of several themes presented in my previous books [146, 149]. In those volumes, I was concerned primarily with the properties of semirings. Here, the objects of investigation are sets of the form RA, where R is a semiring and A is a set having a certain structure. The problem is one of translating that structure to RA in some "natural" way. As such, it tries to find a unified way of dealing with diverse topics in mathematics and theoretical com­ puter science as formal language theory, the theory of fuzzy algebraic structures, models of optimal control, and many others. Another special case is the creation of "idempotent analysis" and similar work in optimization theory. Unlike the case of the previous work, which rested on a fairly established mathematical foundation, the approach here is much more tentative and docimastic. This is an introduction to, not a definitative presentation of, an area of mathematics still very much in the making. The basic philosphical problem lurking in the background is one stated suc­ cinctly by Hahle and Sostak [185]: ". . . to what extent basic fields of mathematics like algebra and topology are dependent on the underlying set theory?" The conflicting definitions proposed by various researchers in search of a resolution to this conundrum show just how difficult this problem is to see in a proper light.

This research monograph investigates sets of the form RA where R is a semiring, and A is a set with a certain structure. Such constructs generalise fuzzy and toll algebraic structures, which in recent years have shown themselves of importance in engineering and computer science, as well as in new mathematical disciplines like idempotent analysis. This volume puts much of the ad hoc work of the past decade on a firm mathematical foundation by creating a unified approach which has important implications in such diverse areas as formal language theory, discrete dynamical systems, models of optimal control, and many others.

This book also seeks to address the fundamental question posed by Höhle and Sostak as to what extent basic fields of mathematics like algebra and topology are dependent on the underlying set theory.

Since the development of a new mathematical theory is basically inductive, this book begins with a large number of instances which appear in various mathematical contexts, and then develops a general abstract framework, with many examples which will encourage further study in greater depth.

Audience: This work will be of interest to mathematicians whose work involves associative rings and algebras, ordered algebraic structures, optimal control, graph theory, fuzzy sets and fuzzy algebraic structures.