One of the characteristics of modern algebra is the development of new tools and concepts for exploring classes of algebraic systems, whereas the research on individual algebraic systems (e. g. , groups, rings, Lie algebras, etc. ) continues along traditional lines. The early work on classes of alge bras was concerned with showing that one class X of algebraic systems is actually contained in another class F. Modern research into the theory of classes was initiated in the 1930's by Birkhoff's work [1] on general varieties of algebras, and Neumann's work [1] on varieties of groups. A. I. Mal'cev made fundamental contributions to this modern development. ln his re ports [1, 3] of 1963 and 1966 to The Fourth All-Union Mathematics Con ference and to another international mathematics congress, striking the ories of classes of algebraic systems were presented. These were later included in his book [5]. International interest in the theory of formations of finite groups was aroused, and rapidly heated up, during this time, thanks to the work of Gaschiitz [8] in 1963, and the work of Carter and Hawkes [1] in 1967. The major topics considered were saturated formations, Fitting classes, and Schunck classes. A class of groups is called a formation if it is closed with respect to homomorphic images and subdirect products. A formation is called saturated provided that G E F whenever Gjip(G) E F.

The development of dynamics theory began with the work of Isaac Newton. In his theory the most basic law of classical mechanics is f = ma, which describes the motion n in IR. of a point of mass m under the action of a force f by giving the acceleration a. If n the position of the point is taken to be a point x E IR. , and if the force f is supposed to be a function of x only, Newton's Law is a description in terms of a second-order ordinary differential equation: J2x m dt = f(x). 2 It makes sense to reduce the equations to first order by defining the velo city as an extra n independent variable by v = :i; = ~~ E IR. . Then x = v, mv = f(x). L. Euler, J. L. Lagrange and others studied mechanics by means of an analytical method called analytical dynamics. Whenever the force f is represented by a gradient vector field f = - \lU of the potential energy U, and denotes the difference of the kinetic energy and the potential energy by 1 L(x,v) = 2'm(v,v) - U(x), the Newton equation of motion is reduced to the Euler-Lagrange equation ~~ are used as the variables, the Euler-Lagrange equation can be If the momenta y written as . 8L y= 8x' Further, W. R.

Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't see the problem. perhaps you will find the final question. G. K. Chesterton. The Scandal of Father 'The Hermit Clad in Crane Feathers' in R. Brown 'The point of a Pin'. van Gulik's The Chinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can us;; Stein spaces. And in addition to this there are such new emerging subdisciplines as "experimental mathematics," "CFD," "completely integrable systems," "chaos, synergetics and large-scale order," which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics."

In April of 1996 an array of mathematicians converged on Cambridge, Massachusetts, for the Rotafest and Umbral Calculus Workshop, two con ferences celebrating Gian-Carlo Rota's 64th birthday. It seemed appropriate when feting one of the world's great combinatorialists to have the anniversary be a power of 2 rather than the more mundane 65. The over seventy-five par ticipants included Rota's doctoral students, coauthors, and other colleagues from more than a dozen countries. As a further testament to the breadth and depth of his influence, the lectures ranged over a wide variety of topics from invariant theory to algebraic topology. This volume is a collection of articles written in Rota's honor. Some of them were presented at the Rotafest and Umbral Workshop while others were written especially for this Festschrift. We will say a little about each paper and point out how they are connected with the mathematical contributions of Rota himself."

The Hauptvermutung is the conjecture that any two triangulations of a poly hedron are combinatorially equivalent. The conjecture was formulated at the turn of the century, and until its resolution was a central problem of topology. Initially, it was verified for low-dimensional polyhedra, and it might have been expected that furt her development of high-dimensional topology would lead to a verification in all dimensions. However, in 1961 Milnor constructed high-dimensional polyhedra with combinatorially inequivalent triangulations, disproving the Hauptvermutung in general. These polyhedra were not manifolds, leaving open the Hauptvermu tung for manifolds. The development of surgery theory led to the disproof of the high-dimensional manifold Hauptvermutung in the late 1960's. Unfortunately, the published record of the manifold Hauptvermutung has been incomplete, as was forcefully pointed out by Novikov in his lecture at the Browder 60th birthday conference held at Princeton in March 1994. This volume brings together the original 1967 papers of Casson and Sulli van, and the 1968/1972 'Princeton notes on the Hauptvermutung' of Armstrong, Rourke and Cooke, making this work physically accessible. These papers include several other results which have become part of the folklore but of which proofs have never been published. My own contribution is intended to serve as an intro duction to the Hauptvermutung, and also to give an account of some more recent developments in the area. In preparing the original papers for publication, only minimal changes of punctuation etc."

One service mathematics has rendered the human race. It has put common sense back where it belongs. It has put common sense back where it belongs, on the topmost shelf next to the dusty canister labelled discarded nonsense. Eric TBell Every picture tells a story. Advenisement for for Sloan's backache and kidney oils, 1907 The book you have in your hands as you are reading this, is a text on3-dimensional topology. It can serve as a pretty comprehensive text book on the subject. On the other hand, it frequently gets to the frontiers of current research in the topic. If pressed, I would initially classify it as a monograph, but, thanks to the over three hundred illustrations of the geometrical ideas involved, as a rather accessible one, and hence suitable for advanced classes. The style is somewhat informal; more or less like orally presented lectures, and the illustrations more than make up for all the visual aids and handwaving one has at one's command during an actual presentation.

The present book has been written by two mathematicians and one physicist: a pure mathematician specializing in Finsler geometry (Makoto Matsumoto), one working in mathematical biology (Peter Antonelli), and a mathematical physicist specializing in information thermodynamics (Roman Ingarden). The main purpose of this book is to present the principles and methods of sprays (path spaces) and Finsler spaces together with examples of applications to physical and life sciences. It is our aim to write an introductory book on Finsler geometry and its applications at a fairly advanced level. It is intended especially for graduate students in pure mathemat ics, science and applied mathematics, but should be also of interest to those pure "Finslerists" who would like to see their subject applied. After more than 70 years of relatively slow development Finsler geometry is now a modern subject with a large body of theorems and techniques and has math ematical content comparable to any field of modern differential geometry. The time has come to say this in full voice, against those who have thought Finsler geometry, because of its computational complexity, is only of marginal interest and with prac tically no interesting applications. Contrary to these outdated fossilized opinions, we believe "the world is Finslerian" in a true sense and we will try to show this in our application in thermodynamics, optics, ecology, evolution and developmental biology. On the other hand, while the complexity of the subject has not disappeared, the modern bundle theoretic approach has increased greatly its understandability."

This book gives an account of the fundamental results in geometric stability theory, a subject that has grown out of categoricity and classification theory. This approach studies the fine structure of models of stable theories, using the geometry of forking; this often achieves global results relevant to classification theory. Topics range from Zilber-Cherlin classification of infinite locally finite homogenous geometries, to regular types, their geometries, and their role in superstable theories. The structure and existence of definable groups is featured prominently, as is work by Hrushovski. The book is unique in the range and depth of material covered and will be invaluable to anyone interested in modern model theory.

Based on a course given to talented high-school students at Ohio University in 1988, this book is essentially an advanced undergraduate textbook about the mathematics of fractal geometry. It nicely bridges the gap between traditional books on topology/analysis and more specialized treatises on fractal geometry. The book treats such topics as metric spaces, measure theory, dimension theory, and even some algebraic topology. It takes into account developments in the subject matter since 1990. Sections are clear and focused. The book contains plenty of examples, exercises, and good illustrations of fractals, including 16 color plates.

A collection of five surveys on dynamical systems, indispensable for graduate students and researchers in mathematics and theoretical physics. Written in the modern language of differential geometry, the book covers all the new differential geometric and Lie-algebraic methods currently used in the theory of integrable systems.

Geodesic flows of Riemannian metrics on manifolds are one of the classical objects in geometry. A particular place among them is occupied by integrable geodesic flows. We consider them in the context of the general theory of integrable Hamiltonian systems, and in particular, from the viewpoint of a new topological classification theory, which was recently developed for integrable Hamiltonian systems with two degrees of freedom. As a result, we will see that such a new approach is very useful for a deeper understanding of the topology and geometry of integrable geodesic flows. The main object to be studied in our paper is the class of integrable geodesic flows on two-dimensional surfaces. There are many such flows on surfaces of small genus, in particular, on the sphere and torus. On the contrary, on surfaces of genus 9 > 1, no such flows exist in the analytical case. One of the most important and interesting problems consists in the classification of integrable flows up to different equivalence relations such as (1) an isometry, (2) the Liouville equivalence, (3) the trajectory equivalence (smooth and continuous), and (4) the geodesic equivalence. In recent years, a new technique was developed, which gives, in particular, a possibility to classify integrable geodesic flows up to these kinds of equivalences. This technique is presented in our paper, together with various applications. The first part of our book, namely, Chaps.

This book is the result of a joint venture between Professor Akio Kawauchi, Osaka City University, well-known for his research in knot theory, and the Osaka study group of mathematics education, founded by Professor Hirokazu Okamori and now chaired by his successor Professor Tomoko Yanagimoto, Osaka Kyoiku University. The seven chapters address the teaching and learning of knot theory from several perspectives. Readers will find an extremely clear and concise introduction to the fundamentals of knot theory, an overview of curricular developments in Japan, and in particular a series of teaching experiments at all levels which not only demonstrate the creativity and the professional expertise of the members of the study group, but also give a lively impression of students learning processes. In addition the reports show that elementary knot theory is not just a preparation for advanced knot theory but also an excellent means to develop spatial thinking. The book can be highly recommended for several reasons: First of all, and that is the main intention of the book, it serves as a comprehensive text for teaching and learning knot theory. Moreover it provides a model for cooperation between mathematicians and mathematics educators based on substantial mathematics. And finally it is a thorough introduction to the Japanese art of lesson studies again in the context of substantial mathematics.

Two prisoners are told that they will be brought to a room and seated so that each can see the other. Hats will be placed on their heads; each hat is either red or green. The two prisoners must simultaneously submit a guess of their own hat color, and they both go free if at least one of them guesses correctly. While no communication is allowed once the hats have been placed, they will, however, be allowed to have a strategy session before being brought to the room. Is there a strategy ensuring their release? The answer turns out to be yes, and this is the simplest non-trivial example of a hat problem.

This book deals with the question of how successfully one can predict the value of an arbitrary function at one or more points of its domain based on some knowledge of its values at other points. Topics range from hat problems that are accessible to everyone willing to think hard, to some advanced topics in set theory and infinitary combinatorics. For example, there is a method of predicting the value "f"("a") of a function f mapping the reals to the reals, based only on knowledge of "f"'s values on the open interval ("a" 1, "a"), and for every such function the prediction is incorrect only on a countable set that is nowhere dense.

The monograph progresses from topics requiring fewer prerequisites to those requiring more, with most of the text being accessible to any graduate student in mathematics. The broad range of readership includes researchers, postdocs, and graduate students in the fields of set theory, mathematical logic, and combinatorics. The hope is that this book will bring together mathematicians from different areas to think about set theory via a very broad array of coordinated inference problems. "

The first edition of this book entitled Analysis on Riemannian Manifolds and Some Problems of Mathematical Physics was published by Voronezh Univer sity Press in 1989. For its English edition, the book has been substantially revised and expanded. In particular, new material has been added to Sections 19 and 20. I am grateful to Viktor L. Ginzburg for his hard work on the transla tion and for writing Appendix F, and to Tomasz Zastawniak for his numerous suggestions. My special thanks go to the referee for his valuable remarks on the theory of stochastic processes. Finally, I would like to acknowledge the support of the AMS fSU Aid Fund and the International Science Foundation (Grant NZBOOO), which made possible my work on some of the new results included in the English edition of the book. Voronezh, Russia Yuri Gliklikh September, 1995 Preface to the Russian Edition The present book is apparently the first in monographic literature in which a common treatment is given to three areas of global analysis previously consid ered quite distant from each other, namely, differential geometry and classical mechanics, stochastic differential geometry and statistical and quantum me chanics, and infinite-dimensional differential geometry of groups of diffeomor phisms and hydrodynamics. The unification of these topics under the cover of one book appears, however, quite natural, since the exposition is based on a geometrically invariant form of the Newton equation and its analogs taken as a fundamental law of motion."

Homology is a powerful tool used by mathematicians to study the properties of spaces and maps that are insensitive to small perturbations. This book uses a computer to develop a combinatorial computational approach to the subject. The core of the book deals with homology theory and its computation. Following this is a section containing extensions to further developments in algebraic topology, applications to computational dynamics, and applications to image processing. Included are exercises and software that can be used to compute homology groups and maps. The book will appeal to researchers and graduate students in mathematics, computer science, engineering, and nonlinear dynamics.

As many readers will know, the 20th century was a time when the fields of mathematics and the sciences were seen as two separate entities. Caused by the rapid growth of the physical sciences and an increasing abstraction in mathematical research, each party, physicists and mathematicians alike, suffered a misconception; not only of the opposition's theoretical underpinning, but of how the two subjects could be intertwined and effectively utilized. One sub-discipline that played a part in the union of the two subjects is Theoretical Physics. Breaking it down further came the fundamental theories, Relativity and Quantum theory, and later on Yang-Mills theory. Other areas to emerge in this area are those derived from the works of Donaldson, Chern-Simons, Floer-Fukaya, and Seiberg-Witten. Aimed at a wide audience, Physical Topics in Mathematics demonstrates how various physical theories have played a crucial role in the developments of Mathematics and in particular, Geometric Topology. Issues are studied in great detail, and the book steadfastly covers the background of both Mathematics and Theoretical Physics in an effort to bring the reader to a deeper understanding of their interaction. Whilst the world of Theoretical Physics and Mathematics is boundless; it is not the intention of this book to cover its enormity. Instead, it seeks to lead the reader through the world of Physical Mathematics; leaving them with a choice of which realm they wish to visit next.

This work presents some classical as well as some very recent results and techniques concerning the spectral geometry corresponding to the Laplace-Beltrami operator and the Hodge-de Rham operators. It treats many topics that are not usually dealt with in this field, such as the continuous dependence of the eigenvalues with respect to the Riemannian metric in the CINFINITY-topology, and some of their consequences, such as Uhlenbeck's genericity theorem; examples of non-isometric flat tori in all dimensions greater than or equal to four; Gordon's classical technique for constructing isospectral closed Riemannian manifolds; a detailed presentation of Sunada's technique and Pesce's approach to isospectrality; Gordon and Webb's example of non-isometric convex domains in Rn (n>=4) that are isospectral for both Dirichlet and Neumann boundary conditions; the Chanillo-TrA]ves estimate for the first positive eigenvalue of the Hodge-de Rham operator, etc. Significant applications are developed, and many open problems, references and suggestions for further reading are given. Several themes for additional research are pointed out. Audience: This volume is designed as an introductory text for mathematicians and physicists interested in global analysis, analysis on manifolds, differential geometry, linear and multilinear algebra, and matrix theory. It is accessible to readers whose background includes basic Riemannian geometry and functional analysis. These mathematical prerequisites are covered in the first two chapters, thus making the book largely self-contained.

In a broad sense design science is the grammar of a language of images rather than of words. Modem communication techniques enable us to transmit and reconstitute images without needing to know a specific verbal sequence language such as the Morse code or Hungarian. Inter national traffic signs use international image symbols which are not An image language differs specific to any particular verbal language. from a verbal one in that the latter uses a linear string of symbols, whereas the former is multidimensional. Architectural renderings commonly show projections onto three mutually perpendicular planes, or consist of cross sections at different altitudes capable of being stacked and representing different floor plans. Such renderings make it difficult to imagine buildings compris ing ramps and other features which disguise the separation between and consequently limit the creative process of the architect. floors, Analogously, we tend to analyze natural structures as if nature had used similar stacked renderings, rather than, for instance, a system of packed spheres, with the result that we fail to perceive the system of organization determining the form of such structures."

Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't see the problem. perhaps you will find the final question. G. K. Chesterton. The Scandal of Father 'The Hermit Gad in Crane Feathers' in R. Brown'The point of a Pin'. van Gulik's TheChinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging SUbdisciplines as "experimental mathematics," "CFD," "completely integrable systems," "chaos, synergetics and large-scale order," which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics.

The purpose of this book is to introduce algebraic topology using the novel approach of homotopy theory, an approach with clear applications in algebraic geometry as understood by Lawson and Voevodsky. This method allows the authors to cover the material more efficiently than the more common method using homological algebra. The basic concepts of homotopy theory, such as fibrations and cofibrations, are used to construct singular homology and cohomology, as well as K-theory. Throughout the text many other fundamental concepts are introduced, including the construction of the characteristic classes of vector bundles. Although functors appear constantly throughout the text, no knowledge about category theory is expected from the reader. This book is intended for advanced undergraduates and graduate students with a basic knowledge of point set topology as well as group theory and can be used in a two semester course. Marcelo Aguilar and Carlos Prieto are Professors at the Instituto de Matemticas, Universidad Nacional Autonoma de Mexico, and Samuel Gitler is a member of El Colegio Nacional and professor at the Centro de Investigacion y Estudios Avanzados del IPN.

This volume, dedicated to Bertram Kostant on the occasion of his 65th birthday, is a collection of 22 invited papers by leading mathematicians working in Lie theory, geometry, algebra, and mathematical physics. Kostant 's fundamental work in all these areas has provided deep new insights and connections, and has created new fields of research. The papers gathered here present original research articles as well as expository papers, broadly reflecting the range of Kostant 's work.

The history of the development of Euclidean, non-Euclidean, and relativistic ideas of the shape of the universe, is presented in this lively account by Jeremy Gray. The parallel postulate of Euclidean geometry occupies a unique position in the history of mathematics. In this book, Jeremy Gray reviews the failure of classical attempts to prove the postulate and then proceeds to show how the work of Gauss, Lobachevskii, and Bolyai, laid the foundations of modern differential geometry, by constructing geometries in which the parallel postulate fails. These investigations in turn enabled the formulation of Einstein's theories of special and general relativity, which today form the basis of our conception of the universe. The author has made every attempt to keep the pre-requisites to a bare minimum. This immensely readable account, contains historical and mathematical material which make it suitable for undergraduate students in the history of science and mathematics. For the second edition, the author has taken the opportunity to update much of the material, and to add a chapter on the emerging story of the Arabic contribution to this fascinating aspect of the history of mathematics.

This is the first volume of a three-volume introduction to modern geometry, with emphasis on applications to other areas of mathematics and theoretical physics. Topics covered include tensors and their differential calculus, the calculus of variations in one and several dimensions, and geometric field theory. This material is explained in as simple and concrete a language as possible, in a terminology acceptable to physicists. The text for the second edition has been substantially revised.

This is a monograph on fixed point theory, covering the purely metric aspects of the theory-particularly results that do not depend on any algebraic structure of the underlying space. Traditionally, a large body of metric fixed point theory has been couched in a functional analytic framework. This aspect of the theory has been written about extensively. There are four classical fixed point theorems against which metric extensions are usually checked. These are, respectively, the Banach contraction mapping principal, Nadler's well known set-valued extension of that theorem, the extension of Banach's theorem to nonexpansive mappings, and Caristi's theorem. These comparisons form a significant component of this book. This book is divided into three parts. Part I contains some aspects of the purely metric theory, especially Caristi's theorem and a few of its many extensions. There is also a discussion of nonexpansive mappings, viewed in the context of logical foundations. Part I also contains certain results in hyperconvex metric spaces and ultrametric spaces. Part II treats fixed point theory in classes of spaces which, in addition to having a metric structure, also have geometric structure. These specifically include the geodesic spaces, length spaces and CAT(0) spaces. Part III focuses on distance spaces that are not necessarily metric. These include certain distance spaces which lie strictly between the class of semimetric spaces and the class of metric spaces, in that they satisfy relaxed versions of the triangle inequality, as well as other spaces whose distance properties do not fully satisfy the metric axioms.

The groundbreaking results of the near past - Donaldson's result on Lef schetz pencils on symplectic manifolds and Giroux's correspondence be tween contact structures and open book decompositions - brought a top ological flavor to global symplectic and contact geometry. This topological aspect is strengthened by the existing results of Weinstein and Eliashberg (and Gompf in dimension 4) on handle attachment in the symplectic and Stein category, and by Giroux's theory of convex surfaces, enabling us to perform surgeries on contact 3-manifolds. The main objective of these notes is to provide a self-contained introduction to the theory of surgeries one can perform on contact 3-manifolds and Stein surfaces. We will adopt a very topological point of view based on handlebody theory, in particular, on Kirby calculus for 3- and 4-dimensionalmanifolds. Surgery is a constructive method by its very nature. Applying it in an intricate way one can see what can be done. These results are nicely com plemented by the results relying on gauge theory - a theory designed to prove that certain things cannot be done. We will freely apply recent results of gauge theory without a detailed introduction to these topics; we will be content with a short introduction to some forms of Seiberg-Witten theory and some discussions regarding Heegaard Floer theory in two Appendices."