This classic work has been fundamentally revised to take account of recent developments in general topology. The first three chapters remain unchanged except for numerous minor corrections and additional exercises, but chapters IV-VII and the new chapter VIII cover the rapid changes that have occurred since 1968 when the first edition appeared.
The reader will find many new topics in chapters IV-VIII, e.g. theory of Wallmann-Shanin's compactification, realcompact space, various generalizations of paracompactness, generalized metric spaces, Dugundji type extension theory, linearly ordered topological space, theory of cardinal functions, dyadic space, etc., that were, in the author's opinion, mostly special or isolated topics some twenty years ago but now settle down into the mainstream of general topology.

This book provides an upto date information on metric, connection and curva ture symmetries used in geometry and physics. More specifically, we present the characterizations and classifications of Riemannian and Lorentzian manifolds (in particular, the spacetimes of general relativity) admitting metric (i.e., Killing, ho mothetic and conformal), connection (i.e., affine conformal and projective) and curvature symmetries. Our approach, in this book, has the following outstanding features: (a) It is the first-ever attempt of a comprehensive collection of the works of a very large number of researchers on all the above mentioned symmetries. (b) We have aimed at bringing together the researchers interested in differential geometry and the mathematical physics of general relativity by giving an invariant as well as the index form of the main formulas and results. (c) Attempt has been made to support several main mathematical results by citing physical example(s) as applied to general relativity. (d) Overall the presentation is self contained, fairly accessible and in some special cases supported by an extensive list of cited references. (e) The material covered should stimulate future research on symmetries. Chapters 1 and 2 contain most of the prerequisites for reading the rest of the book. We present the language of semi-Euclidean spaces, manifolds, their tensor calculus; geometry of null curves, non-degenerate and degenerate (light like) hypersurfaces. All this is described in invariant as well as the index form."

This book is by far the most comprehensive treatment of point and space groups, and their meaning and applications. Its completeness makes it especially useful as a text, since it gives the instructor the flexibility to best fit the class and goals. The instructor, not the author, decides what is in the course. And it is the prime book for reference, as material is much more likely to be found in it than in any other book; it also provides detailed guides to other sources.Much of what is taught is folklore, things everyone knows are true, but (almost?) no one knows why, or has seen proofs, justifications, rationales or explanations. (Why are there 14 Bravais lattices, and why these? Are the reasons geometrical, conventional or both? What determines the Wigner-Seitz cells? How do they affect the number of Bravais lattices? Why are symmetry groups relevant to molecules whose vibrations make them unsymmetrical? And so on). Here these analyses are given, interrelated, and in-depth. The understanding so obtained gives a strong foundation for application and extension. Assumptions and restrictions are not merely made explicit, but also emphasized.In order to provide so much information, details and examples, and ways of helping readers learn and understand, the book contains many topics found nowhere else, or only in obscure articles from the distant past. The treatment is (often completely) different from those elsewhere. At least in the explanations, and usually in many other ways, the book is completely new and fresh. It is designed to inform, educate and make the reader think. It strongly emphasizes understanding.The book can be used at many levels, by many different classes of readers - from those who merely want brief explanations (perhaps just of terminology), who just want to skim, to those who wish the most thorough understanding. remove remove

This edition of the invaluable text Modern Differential Geometry for Physicists contains an additional chapter that introduces some of the basic ideas of general topology needed in differential geometry. A number of small corrections and additions have also been made.These lecture notes are the content of an introductory course on modern, coordinate-free differential geometry which is taken by first-year theoretical physics PhD students, or by students attending the one-year MSc course "Quantum Fields and Fundamental Forces" at Imperial College. The book is concerned entirely with mathematics proper, although the emphasis and detailed topics have been chosen bearing in mind the way in which differential geometry is applied these days to modern theoretical physics. This includes not only the traditional area of general relativity but also the theory of Yang-Mills fields, nonlinear sigma models and other types of nonlinear field systems that feature in modern quantum field theory.The volume is divided into four parts: (i) introduction to general topology; (ii) introductory coordinate-free differential geometry; (iii) geometrical aspects of the theory of Lie groups and Lie group actions on manifolds; (iv) introduction to the theory of fibre bundles. In the introduction to differential geometry the author lays considerable stress on the basic ideas of "tangent space structure", which he develops from several different points of view - some geometrical, others more algebraic. This is done with awareness of the difficulty which physics graduate students often experience when being exposed for the first time to the rather abstract ideas of differential geometry.

This is the second edition of this best selling problem book for students, now containing over 400 completely solved exercises on differentiable manifolds, Lie theory, fibre bundles and Riemannian manifolds. The exercises go from elementary computations to rather sophisticated tools. Many of the definitions and theorems used throughout are explained in the first section of each chapter where they appear. A 56-page collection of formulae is included which can be useful as an aide-memoire, even for teachers and researchers on those topics. In this 2nd edition: * 76 new problems * a section devoted to a generalization of Gauss' Lemma * a short novel section dealing with some properties of the energy of Hopf vector fields * an expanded collection of formulae and tables * an extended bibliography Audience This book will be useful to advanced undergraduate and graduate students of mathematics, theoretical physics and some branches of engineering with a rudimentary knowledge of linear and multilinear algebra.

The second volume of this work contains Parts 2 and 3 of the "Handbook of Coding Theory". Part 2, "Connections", is devoted to connections between coding theory and other branches of mathematics and computer science. Part 3, "Applications", deals with a variety of applications for coding.

Since their invention in the late seventies, public key cryptosystems have become an indispensable asset in establishing private and secure electronic communication, and this need, given the tremendous growth of the Internet, is likely to continue growing. Elliptic curve cryptosystems represent the state of the art for such systems. Elliptic Curves and Their Applications to Cryptography: An Introduction provides a comprehensive and self-contained introduction to elliptic curves and how they are employed to secure public key cryptosystems. Even though the elegant mathematical theory underlying cryptosystems is considerably more involved than for other systems, this text requires the reader to have only an elementary knowledge of basic algebra. The text nevertheless leads to problems at the forefront of current research, featuring chapters on point counting algorithms and security issues. The Adopted unifying approach treats with equal care elliptic curves over fields of even characteristic, which are especially suited for hardware implementations, and curves over fields of odd characteristic, which have traditionally received more attention. Elliptic Curves and Their Applications: An Introduction has been used successfully for teaching advanced undergraduate courses. It will be of greatest interest to mathematicians, computer scientists, and engineers who are curious about elliptic curve cryptography in practice, without losing the beauty of the underlying mathematics.

Mathematical Visualization is a young new discipline. It offers efficient visualization tools to the classical subjects of mathematics, and applies mathematical techniques to problems in computer graphics and scientific visualization. Originally, it started in the interdisciplinary area of differential geometry, numerical mathematics, and computer graphics. In recent years, the methods developed have found important applications.
The current volume is the quintessence of an international workshop in September 1997 in Berlin, focusing on recent developments in this emerging area. Experts present selected research work on new algorithms for visualization problems, describe the application and experiments in geometry, and develop new numerical or computer graphical techniques.

The 12 lectures presented in Representation Theories and Algebraic Geometry focus on the very rich and powerful interplay between algebraic geometry and the representation theories of various modern mathematical structures, such as reductive groups, quantum groups, Hecke algebras, restricted Lie algebras, and their companions. This interplay has been extensively exploited during recent years, resulting in great progress in these representation theories. Conversely, a great stimulus has been given to the development of such geometric theories as D-modules, perverse sheafs and equivariant intersection cohomology. The range of topics covered is wide, from equivariant Chow groups, decomposition classes and Schubert varieties, multiplicity free actions, convolution algebras, standard monomial theory, and canonical bases, to annihilators of quantum Verma modules, modular representation theory of Lie algebras and combinatorics of representation categories of Harish-Chandra modules.

The book constructs explicitly the fundamental solution of the sub-Laplacian operator for a family of model domains in Cn+1. This type of domain is a good point-wise model for a Cauchy-Rieman (CR) manifold with diagonalizable Levi form. Qualitative results for such operators have been studied extensively, but exact formulas are difficult to derive. Exact formulas are closely related to the underlying geometry and lead to equations of classical types such as hypergeometric equations and Whittaker's equations.

Causal relations, and with them the underlying null cone or conformal structure, form a basic ingredient in all general analytical studies of asymptotically flat space-time. The present book reviews these aspects from the analytical, geometrical and numerical points of view. Care has been taken to present the material in a way that will also be accessible to postgraduate students and nonspecialist reseachers from related fields.

* Provides an elegant introduction to the geometric concepts that are important to applications in robotics

* Includes significant state-of-the art material that reflects important advances, connecting robotics back to mathematical fundamentals in group theory and geometry

* An invaluable reference that serves a wide audience of grad students and researchers in mechanical engineering, computer science, and applied mathematics

gentle introduction to the subject, leading the reader to understand the notion of what is important in topology with regard to geometry. Divided into three sections - The line and the plane, Metric spaces and Topological spaces -, the book eases the move into higher levels of abstraction. Students are thereby informally assisted in learning new ideas while remaining on familiar territory. The authors do not assume previous knowledge of axiomatic approach or set theory. Similarly, they have restricted the mathematical vocabulary in the book so as to avoid overwhelming the reader, and the concept of convergence is employed to allow students to focus on a central theme while moving to a natural understanding of the notion of topology. The pace of the book is relaxed with gradual acceleration: the first nine sections form a balanced course in metric spaces for undergraduates while also containing ample material for a two-semester graduate course. Finally, the book illustrates the many connections between topology and other subjects, such as analysis and set theory, via the inclusion of "Extras" at the end of each chapter presenting a brief foray outside topology.

The aim of this book is to throw light on various facets of geometry through development of four geometrical themes.

The first theme is about the ellipse, the shape of the shadow east by a circle. The next, a natural continuation of the first, is a study of all three types of conic sections, the ellipse, the parabola and the hyperbola.

The third theme is about certain properties of geometrical figures related to the problem of finding the largest area that can be enclosed by a curve of given length. This problem is called the isoperimetric problem. In itself, this topic contains motivation for major parts of the curriculum in mathematics at college level and sets the stage for more advanced mathematical subjects such as functions of several variables and the calculus of variations. Here, three types of conic section are discussed briefly.

The emergence of non-Euclidean geometries in the beginning of the nineteenth century represents one of the dramatic episodes in the history of mathematics. In the last theme the non-Euclidean geometry in the Poincare disc model of the hyperbolic plane is developed.

This second edition, divided into fourteen chapters, presents a comprehensive treatment of contact and symplectic manifolds from the Riemannian point of view. The monograph examines the basic ideas in detail and provides many illustrative examples for the reader.

"Riemannian Geometry of Contact and Symplectic Manifolds, Second Edition" provides new material in most chapters, but a particular emphasis remains on contact manifolds. Researchers, mathematicians, and graduate students in contact and symplectic manifold theory and in Riemannian geometry will benefit from this work. A basic course in Riemannian geometry is a prerequisite.

This book is a monograph on unitals embedded in ?nite projective planes. Unitals are an interesting structure found in square order projective planes, and numerous research articles constructing and discussing these structures have appeared in print. More importantly, there still are many open pr- lems, and this remains a fruitful area for Ph.D. dissertations. Unitals play an important role in ?nite geometry as well as in related areas of mathematics. For example, unitals play a parallel role to Baer s- planes when considering extreme values for the size of a blocking set in a square order projective plane (see Section 2.3). Moreover, unitals meet the upper bound for the number of absolute points of any polarity in a square order projective plane (see Section 1.5). From an applications point of view, the linear codes arising from unitals have excellent technical properties (see 2 Section 6.4). The automorphism group of the classical unitalH =H(2, q ) is 2-transitive on the points ofH, and so unitals are of interest in group theory. In the ?eld of algebraic geometry over ?nite ?elds, H is a maximal curve that contains the largest number of F -rational points with respect to its genus, 2 q as established by the Hasse-Weil boun

This book gives an analysis of Hertz's posthumously published Principles of Mechanics in its philosophical, physical and mathematical context. In a period of heated debates about the true foundation of physical sciences, Hertz's book was conceived and highly regarded as an original and rigorous foundation for a mechanistic research program. Insisting that a law-like account of nature would require hypothetical unobservables, Hertz viewed physical theories as (mental) images of the world rather than the true design behind the phenomena. This paved the way for the modern conception of a model. Rejecting the concept of force as a coherent basic notion of physics he built his mechanics on hidden masses (the ether) and rigid connections, and formulated it as a new differential geometric language. Recently many philosophers have studied Hertz's image theory and historians of physics have discussed his forceless mechanics. The present book shows how these aspects, as well as the hitherto overlooked mathematical aspects, form an integrated whole which is closely connected to the mechanistic world view of the time and which is a natural continuation of Hertz's earlier research on electromagnetism. Therefore it is also a case study of the strong interactions between philosophy, physics and mathematics. Moreover, the book presents an analysis of the genesis of many of the central elements of Hertz's mechanics based on his manuscripts and drafts. Hertz's research program was cut short by the advent of relativity theory but its image theory influenced many philosophers as well as some physicists and mathematicians and its geometric form had a lasting influence on advanced expositions of mechanics.

This reference work deals with important topics in general topology and their role in functional analysis and axiomatic set theory, for graduate students and researchers working in topology, functional analysis, set theory and probability theory. It provides a guide to recent research findings, with three contributions by Arhangel'skii and Choban.

This book is an exposition of "Singular Semi-Riemannian Geometry"- the study of a smooth manifold furnished with a degenerate (singular) metric tensor of arbitrary signature. The main topic of interest is those cases where the metric tensor is assumed to be nondegenerate. In the literature, manifolds with degenerate metric tensors have been studied extrinsically as degenerate submanifolds of semi Riemannian manifolds. One major aspect of this book is first to study the intrinsic structure of a manifold with a degenerate metric tensor and then to study it extrinsically by considering it as a degenerate submanifold of a semi-Riemannian manifold. This book is divided into three parts. Part I deals with singular semi Riemannian manifolds in four chapters. In Chapter I, the linear algebra of indefinite real inner product spaces is reviewed. In general, properties of certain geometric tensor fields are obtained purely from the algebraic point of view without referring to their geometric origin. Chapter II is devoted to a review of covariant derivative operators in real vector bundles. Chapter III is the main part of this book where, intrinsically, the Koszul connection is introduced and its curvature identities are obtained. In Chapter IV, an application of Chapter III is made to degenerate submanifolds of semi-Riemannian manifolds and Gauss, Codazzi and Ricci equations are obtained. Part II deals with singular Kahler manifolds in four chapters parallel to Part I."

The goal of the Volume I Geometric Algebra for Computer Vision, Graphics and Neural Computing is to present a unified mathematical treatment of diverse problems in the general domain of artificial intelligence and associated fields using Clifford, or geometric, algebra.Geometric algebra provides a rich and general mathematical framework for Geometric Cybernetics in order to develop solutions, concepts and computer algorithms without losing geometric insight of the problem in question. Current mathematical subjects can be treated in an unified manner without abandoning the mathematical system of geometric algebra for instance: multilinear algebra, projective and affine geometry, calculus on manifolds, Riemann geometry, the representation of Lie algebras and Lie groups using bivector algebras and conformal geometry. By treating a wide spectrum of problems in a common language, this Volume I offers both new insights and new solutions that should be useful to scientists, and engineers working in different areas related with the development and building of intelligent machines. Each chapter is written in accessible terms accompanied by numerous examples, figures and a complementary appendix on Clifford algebras, all to clarify the theory and the crucial aspects of the application of geometric algebra to problems in graphics engineering, image processing, pattern recognition, computer vision, machine learning, neural computing and cognitive systems.

In recent times it has been stated that many dynamical systems of classical mathematical physics and mechanics are endowed with symplectic structures, given in the majority of cases by Poisson brackets. Very often such Poisson structures on corresponding manifolds are canonical, which gives rise to the possibility of producing their hidden group theoretical essence for many completely integrable dynamical systems. It is a well understood fact that great part of comprehensive integrability theories of nonlinear dynamical systems on manifolds is based on Lie-algebraic ideas, by means of which, in particular, the classification of such compatibly bi Hamiltonian and isospectrally Lax type integrable systems has been carried out. Many chapters of this book are devoted to their description, but to our regret so far the work has not been completed. Hereby our main goal in each analysed case consists in separating the basic algebraic essence responsible for the complete integrability, and which is, at the same time, in some sense universal, i. e., characteristic for all of them. Integrability analysis in the framework of a gradient-holonomic algorithm, devised in this book, is fulfilled through three stages: 1) finding a symplectic structure (Poisson bracket) transforming an original dynamical system into a Hamiltonian form; 2) finding first integrals (action variables or conservation laws); 3) defining an additional set of variables and some functional operator quantities with completely controlled evolutions (for instance, as Lax type representation)."

The articles in this volume are an outgrowth of a colloquium "Systemes Integrables et Feuilletages," which was held in honor of the sixtieth birthday of Pierre Molino.
The topics cover the broad range of mathematical areas which were of keen interest to Molino, namely, integral systems and more generally symplectic geometry and Poisson structures, foliations and Lie transverse structures, transitive structures, and classification problems.
Contributors to the volume include: Y. Benoist, G. Cairns, V. Cavalier, H. Flaschka, E. Ghys, A. Haefliger, B. Jessup, A. Lichnerowicz, G. Meigniez, I. Moerdijk, J. Pitkethly, T. Ratiu, J. Turiel, I. Vaisman, and P. Vanhaechke.

This monograph is mostly devoted to the problem of the geome- trizing of Lagrangians which depend on higher order accelerations. It naturally prolongs the theme of the monograph "The Geometry of La- grange spaces: Theory and Applications", written together with M. Anastasiei and published by Kluwer Academic Publishers in 1994. The existence of Lagrangians of order k > 1 has been contemplated by mechanicists and physicists for a long time. Einstein had grasped their presence in connection with the Brownian motion. They are also present in relativistic theories based on metrics which depend on speeds and accelerations of particles or in the Hamiltonian formulation of non- linear systems given by Korteweg-de Vries equations. There resulted from here the methods to be adopted in their theoretical treatment. One is based on the variational problem involving the integral action of the Lagrangian. A second one is derived from the axioms of Analytical Mechanics involving the Poincare-Cartan forms. The geometrical methods based on the study of the geometries of higher order could invigorate the whole theory. This is the way adopted by us in defining and studying the Lagrange spaces of higher order. The problems raised by the geometrization of Lagrangians of order k > 1 investigated by many scholars: Ch. Ehresmann, P. Libermann, J. Pommaret; J.T. Synge, M. Crampin, P. Saunders; G.S. Asanov, P.Aringazin; I. Kolar, D. Krupka; M. de Leon, W. Sarlet, P. Cantrjin, H. Rund, W.M. Tulczyjew, A. Kawaguchi, K. Yano, K. Kondo, D.

In the 1970s Hirzebruch and Zagier produced elliptic modular forms with coefficients in the homology of a Hilbert modular surface. They then computed the Fourier coefficients of these forms in terms of period integrals and L-functions. In this book the authors take an alternate approach to these theorems and generalize them to the setting of Hilbert modular varieties of arbitrary dimension. The approach is conceptual and uses tools that were not available to Hirzebruch and Zagier, including intersection homology theory, properties of modular cycles, and base change. Automorphic vector bundles, Hecke operators and Fourier coefficients of modular forms are presented both in the classical and adelic settings. The book should provide a foundation for approaching similar questions for other locally symmetric spaces.

na broad sense Design Science is the grammar of a language of images Irather than of words. Modern 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. International traffic signs use international image symbols which are not specific to any particular verbal language. An image language differs from a verbal one in that the latter uses a linear string of symbols, whereas the former is multi dimensional. Architectural renderings commonly show projections onto three mutual ly perpendicular planes, or consist of cross sections at different altitudes capa ble of being stacked and representing different floor plans. Such renderings make it difficult to imagine buildings comprising ramps and other features which disguise the separation between floors, and consequently limit the cre ative process of the architect. Analogously, we tend to analyze natural struc tures 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. Perception is a complex process. Our senses record; they are analogous to audio or video devices. We cannot, however, claim that such devices perceive."