Many problems arising in the physical sciences, engineering, biology and ap plied mathematics lead to mathematical models described by nonlinear integral equations in abstract spaces. The theory of nonlinear integral equations in ab stract spaces is a fast growing field with important applications to a number of areas of analysis as well as other branches of science. This book is devoted to a comprehensive treatment of nonlinear integral equations in abstract spaces. It is the first book that is dedicated to a systematic development of this subject, and it includes the developments during recent years. Chapter 1 introduces some basic results in analysis, which will be used in later chapters. Chapter 2, which is a main portion of this book, deals with nonlin ear integral equations in Banach spaces, including equations of Fredholm type, of Volterra type and equations of Hammerstein type. Some applica equations tions to nonlinear differential equations in Banach spaces are given. We also discuss an integral equation modelling infectious disease as a typical applica tion. In Chapter 3, we investigate the first order and second order nonlinear integro-differential equations in Banach spaces including equations of Volterra type and equations of mixed type. Chapter 4 is devoted to nonlinear impulsive integral equations in Banach spaces and their applications to nonlinear impul sive differential equations in Banach spaces."

Ne as' book "Direct Methods in the Theory of Elliptic Equations," published 1967 in French, has become a standard reference for the mathematical theory of linear elliptic equations and systems. This English edition, translated by G. Tronel and A. Kufner, presents Ne as' work essentially in the form it was published in 1967. It gives a timeless and in some sense definitive treatment of a number issues in variational methods for elliptic systems and higher order equations. The text is recommended to graduate students of partial differential equations, postdoctoral associates in Analysis, and scientists working with linear elliptic systems. In fact, any researcher using the theory of elliptic systems will benefit from having the book in his library.

The volume gives a self-contained presentation of the elliptic theory based on the "direct method," also known as the variational method. Due to its universality and close connections to numerical approximations, the variational method has become one of the most important approaches to the elliptic theory. The method does not rely on the maximum principle or other special properties of the scalar second order elliptic equations, and it is ideally suited for handling systems of equations of arbitrary order. The prototypical examples of equations covered by the theory are, in addition to the standard Laplace equation, Lame's system of linear elasticity and the biharmonic equation (both with variable coefficients, of course). General ellipticity conditions are discussed and most of the natural boundary condition is covered. The necessary foundations of the function space theory are explained along the way, in an arguably optimal manner. The standard boundary regularity requirement on the domains is the Lipschitz continuity of the boundary, which "when going beyond the scalar equations of second order" turns out to be a very natural class. These choices reflect the author's opinion that the Lame system and the biharmonic equations are just as important as the Laplace equation, and that the class of the domains with the Lipschitz continuous boundary (as opposed to smooth domains) is the most natural class of domains to consider in connection with these equations and their applications.

A nonlinear Markov evolution is a dynamical system generated by a measure-valued ordinary differential equation with the specific feature of preserving positivity. This feature distinguishes it from general vector-valued differential equations and yields a natural link with probability, both in interpreting results and in the tools of analysis. This brilliant book, the first devoted to the area, develops this interplay between probability and analysis. After systematically presenting both analytic and probabilistic techniques, the author uses probability to obtain deeper insight into nonlinear dynamics, and analysis to tackle difficult problems in the description of random and chaotic behavior. The book addresses the most fundamental questions in the theory of nonlinear Markov processes: existence, uniqueness, constructions, approximation schemes, regularity, law of large numbers and probabilistic interpretations. Its careful exposition makes the book accessible to researchers and graduate students in stochastic and functional analysis with applications to mathematical physics and systems biology.

Analysis on Symmetric Cones is the first book to provide a systematic and clear introduction to the theory of symmetric cones, a subject of growing importance in number theory and multivariate analysis. Beginning with an elementary description of the Jordan algebra approach to the geometric and algebraic foundations of the theory, the book goes on to discuss harmonic analysis and special functions associated with symmetric cones, tying these results together with the study of holomorphic functions on bounded symmetric domains of tube type. Written by algebraic geometers, the book contains a detailed exposition of the spherical polynomials, multivariate hypergeometric functions, and invariant differential operators. The approach is based on Jordan algebras; all that is needed from the theory of these is developed in the first few chapters. The book will be read by students and theoreticians in pure mathematics, non-commutative harmonic analysis, Jordan algebras, and multivariate statistics.

The renormalization group (RG) has nowadays achieved the status of a meta-theory, which is a theory about theories. The theory of the RG consists of a set of concepts and methods which can be used to understand phenomena in many different ?elds of physics, ranging from quantum ?eld theory over classical statistical mechanics to nonequilibrium phenomena. RG methods are particularly useful to understand phenomena where ?uctuations involving many different length or time scales lead to the emergence of new collective behavior in complex many-body systems. In view of the diversity of ?elds where RG methods have been successfully applied, it is not surprising that a variety of apparently different implementations of the RG idea have been proposed. Unfortunately, this makes it somewhat dif?cult for beginners to learn this technique. For example, the ?eld-theoretical formulation of the RG idea looks at the ?rst sight rather different from the RG approach pioneered by Wilson, the latter being based on the concept of the effective action which is ite- tively calculated by successive elimination of the high-energy degrees of freedom. Moreover, the Wilsonian RG idea has been implemented in many different ways, depending on the particular problem at hand, and there seems to be no canonical way of setting up the RG procedure for a given problem.

Different Faces of Geometry - edited by the world renowned geometers S. Donaldson, Ya. Eliashberg, and M. Gromov - presents the current state, new results, original ideas and open questions from the following important topics in modern geometry: Amoebas and Tropical Geometry Convex Geometry and Asymptotic Geometric Analysis Differential Topology of 4-Manifolds 3-Dimensional Contact Geometry Floer Homology and Low-Dimensional Topology Kahler Geometry Lagrangian and Special Lagrangian Submanifolds Refined Seiberg-Witten Invariants. These apparently diverse topics have a common feature in that they are all areas of exciting current activity. The Editors have attracted an impressive array of leading specialists to author chapters for this volume: G. Mikhalkin (USA-Canada-Russia), V.D. Milman (Israel) and A.A. Giannopoulos (Greece), C. LeBrun (USA), Ko Honda (USA), P. Ozsvath (USA) and Z. Szabo (USA), C. Simpson (France), D. Joyce (UK) and P. Seidel (USA), and S. Bauer (Germany). "One can distinguish various themes running through the different contributions. There is some emphasis on invariants defined by elliptic equations and their applications in low-dimensional topology, symplectic and contact geometry (Bauer, Seidel, Ozsvath and Szabo). These ideas enter, more tangentially, in the articles of Joyce, Honda and LeBrun. Here and elsewhere, as well as explaining the rapid advances that have been made, the articles convey a wonderful sense of the vast areas lying beyond our current understanding. Simpson's article emphasizes the need for interesting new constructions (in that case of Kahler and algebraic manifolds), a point which is also made by Bauer in the context of 4-manifolds and the "11/8 conjecture". LeBrun's article gives another perspective on 4-manifold theory, via Riemannian geometry, and the challenging open questions involving the geometry of even "well-known" 4-manifolds. There are also striking contrasts between the articles. The authors have taken different approaches: for example, the thoughtful essay of Simpson, the new research results of LeBrun and the thorough expositions with homework problems of Honda. One can also ponder the differences in the style of mathematics. In the articles of Honda, Giannopoulos and Milman, and Mikhalkin, the "geometry" is present in a very vivid and tangible way; combining respectively with topology, analysis and algebra. The papers of Bauer and Seidel, on the other hand, makes the point that algebraic and algebro-topological abstraction (triangulated categories, spectra) can play an important role in very unexpected ways in concrete geometric problems." - From the Preface by the Editors

The 7th International Workshop in Analysis and its Applications (IWAA) was held at the University of Maine, June 1-6, 1997 and featured approxi mately 60 mathematicians. The principal theme of the workshop shares the title of this volume and the latter is a direct outgrowth of the workshop. IWAA was founded in 1984 by Professor Caslav V. Stanojevic. The first meeting was held in the resort complex Kupuri, Yugoslavia, June 1-10, 1986, with two pilot meetings preceding. The Organization Committee to gether with the Advisory Committee (R. P. Boas, R. R. Goldberg, J. P. Kahne) set forward the format and content of future meetings. A certain number of papers were presented that later appeared individually in such journals as the Proceedings of the AMS, Bulletin of the AMS, Mathematis chen Annalen, and the Journal of Mathematical Analysis and its Applica tions. The second meeting took place June 1-10, 1987, at the same location. At the plenary session of this meeting it was decided that future meetings should have a principal theme. The theme for the third meeting (June 1- 10, 1989, Kupuri) was Karamata's Regular Variation. The principal theme for the fourth meeting (June 1-10, 1990, Kupuri) was Inner Product and Convexity Structures in Analysis, Mathematical Physics, and Economics. The fifth meeting was to have had the theme, Analysis and Foundations, organized in cooperation with Professor A. Blass (June 1-10, 1991, Kupuri)."

This volume contains solicited articles by speakers at the workshop ranging from expository surveys to original research papers, each of which carefully refereed. They all bear witness to the very rich mathematics that is connected with the study of elementary operators, may it be multivariable spectral theory, the invariant subspace problem or tensor products of C*-algebras.

The current form of modern approximation theory is shaped by many new de velopments which are the subject of this series of conferences. The International Meetings on Approximation Theory attempt to keep track in particular of fun damental advances in the theory of function approximation, for example by (or thogonal) polynomials, (weighted) interpolation, multivariate quasi-interpolation, splines, radial basis functions and several others. This includes both approxima tion order and error estimates, as well as constructions of function systems for approximation of functions on Euclidean spaces and spheres. It is a piece of very good fortune that at all of the IDoMAT meetings, col leagues and friends from all over Europe, and indeed some count ries outside Europe and as far away as China, New Zealand, South Africa and U.S.A. came and dis cussed mathematics at IDoMAT conference facility in Witten-Bommerholz. The conference was, as always, held in a friendly and congenial atmosphere. After each meeting, the delegat es were invited to contribute to the proceed ing's volume, the previous one being published in the same Birkhauser series as this one. The editors were pleased about the quality of the contributions which could be solicited for the book. They are refereed and we should mention our gratitude to the referees and their work."

Most real-world spectrum analysis problems involve the computation of the real-data discrete Fourier transform (DFT), a unitary transform that maps elements N of the linear space of real-valued N-tuples, R , to elements of its complex-valued N counterpart, C , and when carried out in hardware it is conventionally achieved via a real-from-complex strategy using a complex-data version of the fast Fourier transform (FFT), the generic name given to the class of fast algorithms used for the ef?cient computation of the DFT. Such algorithms are typically derived by explo- ing the property of symmetry, whether it exists just in the transform kernel or, in certain circumstances, in the input data and/or output data as well. In order to make effective use of a complex-data FFT, however, via the chosen real-from-complex N strategy, the input data to the DFT must ?rst be converted from elements of R to N elements of C . The reason for choosing the computational domain of real-data problems such N N as this to be C , rather than R , is due in part to the fact that computing equ- ment manufacturers have invested so heavily in producing digital signal processing (DSP) devices built around the design of the complex-data fast multiplier and accumulator (MAC), an arithmetic unit ideally suited to the implementation of the complex-data radix-2 butter?y, the computational unit used by the familiar class of recursive radix-2 FFT algorithms.

This book presents a geometric theory of complex analytic integrals representing hypergeometric functions of several variables. Starting from an integrand which is a product of powers of polynomials, integrals are explained, in an open affine space, as a pair of twisted de Rham cohomology and its dual over the coefficients of local system. It is shown that hypergeometric integrals generally satisfy a holonomic system of linear differential equations with respect to the coefficients of polynomials and also satisfy a holonomic system of linear difference equations with respect to the exponents. These are deduced from Grothendieck-Deligne's rational de Rham cohomology on the one hand, and by multidimensional extension of Birkhoff's classical theory on analytic difference equations on the other.

The present lectures are based on a course deli vered by the authors at the Uni versi ty of Bucharest, in the winter semester 1985-1986. Without aiming at completeness, the topics selected cover all the major questions concerning hyponormal operators. Our main purpose is to provide the reader with a straightforward access to an active field of research which is strongly related to the spectral and perturbation theories of Hilbert space operators, singular integral equations and scattering theory. We have in view an audience composed especially of experts in operator theory or integral equations, mathematical physicists and graduate students. The book is intended as a reference for the basic results on hyponormal operators, but has the structure of a textbook. Parts of it can also be used as a second year graduate course. As prerequisites the reader is supposed to be acquainted with the basic principles of functional analysis and operator theory as covered for instance by Reed and Simon [1]. A t several stages of preparation of the manuscript we were pleased to benefit from proper comments made by our cOlleagues: Grigore Arsene, Tiberiu Constantinescu, Raul Curto, Jan Janas, Bebe Prunaru, Florin Radulescu, Khrysztof Rudol, Konrad Schmudgen, Florian-Horia Vasilescu. We warmly thank them all. We are indebted to Professor Israel Gohberg, the editor of this series, for his constant encouragement and his valuable mathematical advice. We wish to thank Mr. Benno Zimmermann, the Mathematics Editor at Birkhauser Verlag, for cooperation and assistance during the preparation of the manuscript.

Et mai . ..., si j'avait su comment en revenir. One service mathematics has rendered the human race. It has put common sense back je n'y serais point aIIe.' Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non- The series is divergent: therefore we may be sense' . able to do something with it. Eric T. Bell O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series."

On May 20-24. 1968, a Conference on Functional Analysis and Related Fields was held at the Center for Continuing Education of the University cl Chicago in honor of ProfessoLMARSHALL HARVEY STONE on the occasion of his retirement from active service at the University. The Conference received support from the Air Force Office of Scientific Research under the Grant AFOSR 68-1497. The Organizing committee for this Conference consisted of ALBERTO P. CALDERON, SAUNDERS MACLANE, ROBERT G. POHRER, and FELIX E. BROWDER (Chairman). The present volume contains some of the papers presented at the Conference. nther talks which were presented at the Conference for which papers are noLinduded hereare: K. CHANDRASEKHARAN, "Zeta functions of quadratic fields"; J. L. DooB, "An application of prob ability theory to the Choquet boundary"; HALMOS, "Irreducible operators"; P. R. KADISON, "Strong continuity of operator functions"; L. NIRENBERG, "Intrinsic norms on complex manifolds"; D. SCOTT, "Some problems and recent results in Boolean algebras"; 1. M. SINGER, "A conjecture relating the Reidemeister torsion and the zeta function of the Laplacian." A banquet in honor of Professor STONE was held during the Con ference, with brief talks by S. S. CHERN, A. A. ALBERT, S. MACLANE, E. HEWITT, K. CHANDRASEKHARAN, and F. E. BROWDER (as Toast master), as weH as a response by Professor STONE."

One of the major concerns of theoretical computer science is the classifi cation of problems in terms of how hard they are. The natural measure of difficulty of a function is the amount of time needed to compute it (as a function of the length of the input). Other resources, such as space, have also been considered. In recursion theory, by contrast, a function is considered to be easy to compute if there exists some algorithm that computes it. We wish to classify functions that are hard, i.e., not computable, in a quantitative way. We cannot use time or space, since the functions are not even computable. We cannot use Turing degree, since this notion is not quantitative. Hence we need a new notion of complexity-much like time or spac that is quantitative and yet in some way captures the level of difficulty (such as the Turing degree) of a function."

This volume contains a selection of papers by the participants of the 6. International Conference on Probability in Banach Spaces, Sand bjerg, Denmark, June 16-D1, 1986. The conference was attended by 45 participants from several countries. One thing makes this conference completely different from the previous five ones, namely that it was ar ranged jointly in Probability in Banach spaces and Banach space theory with almost equal representation of scientists in the two fields. Though these fields are closely related it seems that direct collaboration between researchers in the two groups has been seldom. It is our feeling that the conference, where the participants were together for five days taking part in lectures and intense discussions of mutual problems, has contributed to a better understanding and closer collaboration in the two fields. The papers in the present volume do not cover all the material pre sented in the lectures; several results covered have been published else where. The sponsors of the conference are: The Carlsberg Foundation, The Danish Natural Science Research Council, The Danish Department of Education, The Department of Mathematics, Odense University, The Department of Mathematics, Aarhus University, The Knudsen Foundation, Odense, Odense University, The Research Foundation of Aarhus University, The Thborg Foundation. The participants and the organizers would like to thank these institu tions for their support. The Organizers. Contents A. de Acosta and M. Ledoux, On the identification of the limits in the law of the iterated logarithm in Banach spaces. . . . ."

In July of 1996, the conference Nonlinear Analysis and its Applications in Engineering and Economics took place on the Greek island of Samos, the birthplace of Pythagoras. During this conference, a special session was held on th the occasion of the 50 birthday of the well known mathematician and math ematical economist Professor Charalambos Aliprantis, who, by his numerous friends, is usually called Roko. The story behind this nickname is not quite clear yet; it will be investigated further and will be made public prior to his th 60 birthday. (At this moment we have already found out that it has nothing to do with the famous movie Rocco and his Brothers even though Roko does have two brothers. ) Roko was born on the Greek island of Cephalonia on May 12,1946, and his elementary and secondary school education took place there. At 18 he entered the Mathematics Department at the University of Athens. Upon graduation from the University of Athens he proceeded with his graduate studies at Cal tech, where in 1973 he completed his Ph. D. degree in Mathematics under the supervision of Professor W. A. J. Luxemburg. His research career can be divided into two periods. The first one, till 1981, was devoted entirely to pure mathematics. The other one, after 1981, has been subdivided between pure mathematics and mathematical economics. The main objects of Roko's work in pure mathematics are spaces with order structure (Riesz spaces) and operators acting on them."

The chapters in this volume, written by international experts from different fields of mathematics, are devoted to honoring George Isac, a renowned mathematician. These contributions focus on recent developments in complementarity theory, variational principles, stability theory of functional equations, nonsmooth optimization, and several other important topics at the forefront of nonlinear analysis and optimization.

These volumes are companions to the treatise; "Fundamentals of the Theory of Operator Algebras," which appeared as Volume 100 - I and II in the series, Pure and Applied Mathematics, published by Academic Press in 1983 and 1986, respectively. As stated in the preface to those volumes, "Their primary goal is to teach the sub ject and lead the reader to the point where the vast recent research literature, both in the subject proper and in its many applications, becomes accessible." No attempt was made to be encyclopcedic; the choice of material was made from among the fundamentals of what may be called the "classical" theory of operator algebras. By way of supplementing the topics selected for presentation in "Fundamentals," a substantial list of exercises comprises the last section of each chapter. An equally important purpose of those exer cises is to develop "hand-on" skills in use ofthe techniques appearing in the text. As a consequence, each exercise was carefully designed to depend only on the material that precedes it, and separated into segments each of which is realistically capable of solution by an at tentive, diligent, well-motivated reader."

Non-Archimedean functional analysis, where alternative but equally valid number systems such as p-adic numbers are fundamental, is a fast-growing discipline widely used not just within pure mathematics, but also applied in other sciences, including physics, biology and chemistry. This book is the first to provide a comprehensive treatment of non-Archimedean locally convex spaces. The authors provide a clear exposition of the basic theory, together with complete proofs and new results from the latest research. A guide to the many illustrative examples provided, end-of-chapter notes and glossary of terms all make this book easily accessible to beginners at the graduate level, as well as specialists from a variety of disciplines.

The first international conference on Probability in Banach Spaces was held at Oberwolfach, West Germany, in 1975. It brought together European researchers who, under the inspiration of the Schwartz Seminar in Paris, were using probabi listic methods in the study of the geometry of Banach spaces, a rather small number of probabilists who were already studying classical limit laws on Banach spaces, and a larger number of probabilists, specialists in various aspects of the study of Gaussian processes, whose results and techniques were of interest to the members of the first two groups. This first conference was very fruitful. It fos tered a continuing relationship among 50 to 75 probabilists and analysts working on probability on infinite-dimensional spaces, the geometry of Banach spaces, and the use of random methods in harmonic analysis. Six more international conferences were held since the 1975 meeting. Two of the meetings were held at Tufts University, one at Scentsnderborg, Denmark, and the others at Oberwolfach. This volume contains a selection of papers by the partici pants of the Seventh International Conference held at Oberwolfach, West Ger many, June 26-July 2, 1988. This exciting and provocative conference was at tended by more than 50 mathematicians from many countries. These papers demonstrate the range of interests of the conference participants. In addition to the ongoing study of classical and modern limit theorems in Banach spaces, a branching out has occurred among the members of this group."

This book contains 33 papers from among the 41 papers presented at the Eighth International Conference on Fibonacci Numbers and Their Applications which was held at the Rochester Institute of Technology, Rochester, New York, from June 22 to June 26, 1998. These papers have been selected after a careful review by well known referees in the field, and they range from elementary number theory to probability and statistics. The Fibonacci numbers and recurrence relations are their unifying bond. It is anticipated that this book, like its seven predecessors, will be useful to research workers and graduate students interested in the Fibonacci numbers and their applications. June 1, 1999 The Editor F. T. Howard Mathematics and Computer Science Wake Forest University Box 7388 Reynolda Station Winston-Salem, NC USA xvii THE ORGANIZING COMMITTEES LOCAL COMMITTEE INTERNATIONAL COMMITTEE Anderson, Peter G. , Chairman Horadam, A. F. (Australia), Co-Chair Arpaya, Pasqual Philippou, A. N. (Cyprus), Co-Chair Biles, John Bergum, G. E. (U. S. A. ) Orr, Richard Filipponi, P. (Italy) Radziszowski, Stanislaw Harborth, H. (Germany) Rich, Nelson Horibe, Y. (Japan) Howard, F. (U. S. A. ) Johnson, M. (U. S. A. ) Kiss, P. (Hungary) Phillips, G. M. (Scotland) Turner, J. (New Zealand) Waddill, M. E. (U. S. A. ) xix LIST OF CONTRIBUTORS TO THE CONFERENCE AGRATINI, OCTAVIAN, "Unusual Equations in Study. " *ANDO, SHIRO, (coauthor Daihachiro Sato), "On the Generalized Binomial Coefficients Defined by Strong Divisibility Sequences. " *ANATASSOVA, VASSIA K. , (coauthor J. C.

One service mathematics has rendered the "Et moi, "'f si favait su comment en revenir. je n 'y serais point alleC human raoe. It hat put common sense back where it belongs. on the topmost shelf next Jules Verne to the dusty canister labelled 'discarded non. The series is divergent; therefore we may be smse'. Eric T. Bell able to do something with it. O. H eaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'elre of this series."

The discovery of quantum mechanics in the years 1925-1930 necessitated the consideration of associating ordinary functions with non-commuting operators. Methods were proposed by Born/Jordan, Kirkwood, and Weyl. Sometime later, Moyal saw the connection between the Weyl rule and the Wigner distribution, which had been proposed by Wigner in 1932 as a way of doing quantum statistical mechanics. The basic idea of associating functions with operators has since been generalized and developed to a high degree. It has found several application fields, including quantum mechanics, pseudo-differential operators, time-frequency analysis, quantum optics, wave propagation, differential equations, image processing, radar, and sonar.

This book aims at bringing together the results from the above mentioned fields in a unified manner and showing the reader how the methods have been applied. A wide audience is addressed, particularly students and researchers who want to obtain an up-to-date working knowledge of the field. The mathematics is accessible to the uninitiated reader and is presented in a straightforward manner.

This is the first volume of a two volume set that provides a modern account of basic Banach algebra theory including all known results on general Banach *-algebras. This account emphasises the role of *-algebra structure and explores the algebraic results which underlie the theory of Banach algebras and *-algebras. This first volume is an independent, self-contained reference on Banach algebra theory. Each topic is treated in the maximum interesting generality within the framework of some class complex algebras rather than topological algebras. In both volumes proofs are presented in complete detail at a level accessible to graduate students. In addition, the books contain a wealth of historical comments, background material, examples, particularly in noncommutative harmonic analysis, and an extensive bibliography. Together these books will become the standard reference for the general theory of *-algebras.