Saltar al contenido principal
Elsevier

Libros en Matemáticas

  • Elementary Theory

    Fundamentals of the Theory of Operator Algebras
    • 1 Edición
    • Richard V. Kadison + 1 más
    • Samuel Eilenberg + 1 más
    • Inglés
    Fundamentals of the Theory of Operator Algebras, Volume I: Elementary Theory provides information pertinent to the fundamental aspects of the theory of operator algebras. This book discusses the finite-dimensional linear algebra. Organized into five chapters, this volume begins with an overview of the fundamental aspects of linear functional analysis that are needed in the study of operator algebras. This text then discusses the continuous linear operators, continuous linear functionals, weak topologies, and convexity in the context of linear topological spaces. Other chapters consider the elementary geometry of Hilbertspaces and the simplest properties of Hilbert space operators. This book discusses as well algebras that have a Banach-space structure relative to which the multiplication is continuous. The final chapter deals with those C*-algebras that are strong-operator closed in their action on some Hilbert space, which play a fundamental role in the subject. This book is a valuable resource for mathematicians.

  • Intensional and Higher-Order Modal Logic

    • 1 Edición
    • Daniel Gallin
    • Inglés
    North-Holland Mathematics Studies, 19: Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics focuses on an approach to the problem of providing a precise account of natural language syntax and semantics, including the set-theoretic semantical methods, Boolean models, and two-sorted type theory. The book first offers information on intensional logic and alternative formulations of intensional logic. Topics include two-sorted type theory, normal forms, extensions and intensional logic, modal T-logic, persistence in intensional logic, generalized completeness of intensional logic, and natural language and intensional logic. The text then examines higher-order modal logic and algebraic semantics. Discussions focus on Cohen's independence results, topological models of MLp, modal independence results, Boolean models of MLp, relative strength of intensional logic and MLp, propositional operators, modal predicate logic, and propositions in MLp. The monograph is a valuable reference for mathematicians and researchers interested in intensional and higher-order modal logic.

  • Topological Vector Spaces, Distributions and Kernels

    Pure and Applied Mathematics, Vol. 25
    • 1 Edición
    • François Treves
    • Paul A. Smith + 1 más
    • Inglés
    Topological Vector Spaces, Distributions and Kernels discusses partial differential equations involving spaces of functions and space distributions. The book reviews the definitions of a vector space, of a topological space, and of the completion of a topological vector space. The text gives examples of Frechet spaces, Normable spaces, Banach spaces, or Hilbert spaces. The theory of Hilbert space is similar to finite dimensional Euclidean spaces in which they are complete and carry an inner product that can determine their properties. The text also explains the Hahn-Banach theorem, as well as the applications of the Banach-Steinhaus theorem and the Hilbert spaces. The book discusses topologies compatible with a duality, the theorem of Mackey, and reflexivity. The text describes nuclear spaces, the Kernels theorem and the nuclear operators in Hilbert spaces. Kernels and topological tensor products theory can be applied to linear partial differential equations where kernels, in this connection, as inverses (or as approximations of inverses), of differential operators. The book is suitable for vector mathematicians, for students in advanced mathematics and physics.

  • Scattering Theory

    Pure and Applied Mathematics, Vol. 26
    • 1 Edición
    • Peter D. Lax + 1 más
    • Paul A. Smith + 1 más
    • Inglés
    Scattering Theory describes classical scattering theory in contrast to quantum mechanical scattering theory. The book discusses the formulation of the scattering theory in terms of the representation theory. The text also explains the relation between the behavior of the solution of the perturbed problem at small distances for large positive times and the analytic continuation of the scattering matrix. To prove the representation theorem, the text cites the methods used by Masani and Robertson in their work dealing with stationary stochastic processes. The book also applies the translation representation theory to a wave equation to obtain a comparison of the asymptotic properties of the free space solution with those of the solution in an exterior domain. The text discusses the solution of the wave equation in an exterior domain by fitting this problem into the abstract framework to get a verification of the hypotheses in some other theorems. The general theory of scattering can be applied to symmetric hyperbolic systems in which all sound speeds are different from zero, as well as to the acoustic equation which has a potential that can cause an energy form to become indefinite. The book is suitable for proponents of analytical mathematics, particle physics, and quantum physics.

  • Nonarchimedean Fields and Asymptotic Expansions

    • 1 Edición
    • A. H. Lightstone + 1 más
    • Inglés
    North-Holland Mathematical Library, Volume 13: Nonarchimedean Fields and Asymptotic Expansions focuses on the connection between nonarchimedean systems and the orders of infinity and smallness that are related with the asymptotic behavior of a function. The publication first explains nonarchimedean fields and nonstandard analysis. Discussions focus on the method of mathematical logic, ultrapower construction, principles of permanence, internal functions, many-sorted structures, nonarchimedean fields and groups, and fields with evaluation. The text then discusses the Euler-Maclaurin expansions and the formal concept of asymptotic expansions. Topics include a generalized criterion for asymptotic expansions, asymptotic power series, Watson's Lemma, asymptotic sequences, and the Euler-Maclaurin formula. The manuscript examines Popken space, including asymptotically finite functions, convergence, norm, algebraic properties of the norm, and Popken's description of the norm. The text is a dependable reference for mathematicians and researchers interested in nonarchimedean fields and asymptotic expansions.

  • Safety of Computer Control Systems 1985 (Safecomp '85)

    Achieving Safe Real Time Computer Systems
    • 1 Edición
    • W. J. Quirk
    • Inglés
    Safety of Computer Control Systems 1985 (Safecomp '85): Achieving Safe Real Time Computer Systems presents the proceedings of the Fourth IFAC Workshop, held in Como, Italy, on October 1–3, 1985. This book discusses a wide range of topics ranging from direct process control through robotics to operator assistance. Organized into 28 chapters, this compilation of papers begins with an overview of the implementation of atomic actions by means of concurrent programming constructs. This text then examines the safety-related applications that usually demand the provision of redundant resources within the system. Other chapters consider the safe performance of an industrial robot system that relies on several factors. This book discusses as well the increasing demand for Computer Assisted Decision Making (CADM) both in engineering and service industries. The final chapter deals with the ways of reducing the effects of an error introduced during the design of a program. This book is a valuable resource for software engineers.

  • Adaptive Processes in Economic Systems

    • 1 Edición
    • Roy E. Murphy
    • Richard Bellman
    • Inglés
    Mathematics in Science and Engineering, Volume 20, Adaptive Processes in Economic Systems demonstrates the usefulness of communications theory, self-adaptive control theory, and thermodynamic theory to certain economic processes. This book discusses the common properties of adaptive processes, role of the decision maker, and mixed adaptive processes of the first and second kind. The economic environmental processes, concept of entropy time, and stochastic dynamic economic process are also elaborated. This text likewise covers the investment model with full liquidity, adaptive capital allocation process, and concept of an economic state space. Other topics include the stochastic equilibrium in the market and individual adaptive behavior. This volume is suitable for engineers, economists, and specialists of disciplines related to economic systems.

  • Comparison and Oscillation Theory of Linear Differential Equations

    • 1 Edición
    • C. A. Swanson
    • Richard Bellman
    • Inglés
    Mathematics in Science and Engineering, Volume 48: Comparison and Oscillation Theory of Linear Differential Equations deals primarily with the zeros of solutions of linear differential equations. This volume contains five chapters. Chapter 1 focuses on comparison theorems for second order equations, while Chapter 2 treats oscillation and nonoscillation theorems for second order equations. Separation, comparison, and oscillation theorems for fourth order equations are covered in Chapter 3. In Chapter 4, ordinary equations and systems of differential equations are reviewed. The last chapter discusses the result of the first analog of a Sturm-type comparison theorem for an elliptic partial differential equation. This publication is intended for college seniors or beginning graduate students who are well-acquainted with advanced calculus, complex analysis, linear algebra, and linear differential equations.

  • Localization of Nilpotent Groups and Spaces

    • 1 Edición
    • Peter Hilton + 2 más
    • Leopoldo Nachbin
    • Inglés
    North-Holland Mathematics Studies, 15: Localization of Nilpotent Groups and Spaces focuses on the application of localization methods to nilpotent groups and spaces. The book first discusses the localization of nilpotent groups, including localization theory of nilpotent groups, properties of localization in N, further properties of localization, actions of a nilpotent group on an abelian group, and generalized Serre classes of groups. The book then examines homotopy types, as well as mixing of homotopy types, localizing H-spaces, main (pullback) theorem, quasifinite nilpotent spaces, localization of nilpotent complexes, and nilpotent spaces. The manuscript takes a look at the applications of localization theory, including genus and H-spaces, finite H-spaces, and non-cancellation phenomena. The publication is a vital source of data for mathematicians and researchers interested in the localization of nilpotent groups and spaces.

  • Algebra of Proofs

    • 1 Edición
    • M. E. Szabo
    • K. J. Barwise + 2 más
    • Inglés
    Algebra of Proofs deals with algebraic properties of the proof theory of intuitionist first-order logic in a categorical setting. The presentation is based on the confluence of ideas and techniques from proof theory, category theory, and combinatory logic. The conceptual basis for the text is the Lindenbaum-Tarski algebras of formulas taken as categories. The formal proofs of the associated deductive systems determine structured categories as their canonical algebras (which are of the same type as the Lindenbaum-Tarski algebras of the formulas of underlying languages). Gentzen's theorem, which asserts that provable formulas code their own proofs, links the algebras of formulas and the corresponding algebras of formal proofs. The book utilizes the Gentzen's theorem and the reducibility relations with the Church-Rosser property as syntactic tools. The text explains two main types of theories with varying linguistic complexity and deductive strength: the monoidal type and the Cartesian type. It also shows that quantifiers fit smoothly into the calculus of adjoints and describe the topos-theoretical setting in which the proof theory of intuitionist first-order logic possesses a natural semantics. The text can benefit mathematicians, students, or professors of algebra and advanced mathematics.

Temas relacionados