書誌事項

Introduction to boolean algebras

Steven Givant, Paul Halmos

(Undergraduate texts in mathematics)

Springer, c2010

  • : pbk.

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 536-541) and index

内容説明・目次

内容説明

The theory of Boolean algebras was created in 1847 by the English mat- matician George Boole. He conceived it as a calculus (or arithmetic) suitable for a mathematical analysis of logic. The form of his calculus was rather di?erent from the modern version, which came into being during the - riod 1864-1895 through the contributions of William Stanley Jevons, Aug- tus De Morgan, Charles Sanders Peirce, and Ernst Schr. oder. A foundation of the calculus as an abstract algebraic discipline, axiomatized by a set of equations, and admitting many di?erent interpretations, was carried out by Edward Huntington in 1904. Only with the work of Marshall Stone and Alfred Tarski in the 1930s, however, did Boolean algebra free itself completely from the bonds of logic and become a modern mathematical discipline, with deep theorems and - portantconnections toseveral otherbranchesofmathematics, includingal- bra,analysis, logic, measuretheory, probability andstatistics, settheory, and topology. For instance, in logic, beyond its close connection to propositional logic, Boolean algebra has found applications in such diverse areas as the proof of the completeness theorem for ?rst-order logic, the proof of the Lo ' s conjecture for countable ? rst-order theories categorical in power, and proofs of the independence of the axiom of choice and the continuum hypothesis ? in set theory. In analysis, Stone's discoveries of the Stone-Cech compac- ?cation and the Stone-Weierstrass approximation theorem were intimately connected to his study of Boolean algebras.

目次

Boolean Rings.- Boolean Algebras.- Boolean Algebras Versus Rings.- The Principle of Duality.- Fields of Sets.- Elementary Relations.- Order.- Infinite Operations.- Topology.- Regular Open Sets.- Subalgebras.- Homomorphisms.- Extensions of Homomorphisms.- Atoms.- Finite Boolean Algebras.- Atomless Boolean Algebras.- Congruences and Quotients.- Ideals and Filters.- Lattices of Ideals.- Maximal Ideals.- Homomorphism and Isomorphism Theorems.- The Representation Theorem.- Canonical Extensions.- Complete Homomorphisms and Complete Ideals.- Completions.- Products of Algebras.- Isomorphisms of Factors.- Free Algebras.- Boolean s-algebras.- The Countable Chain Condition.- Measure Algebras.- Boolean Spaces.- Continuous Functions.- Boolean Algebras and Boolean Spaces.- Duality for Ideals.- Duality for Homomorphisms.- Duality for Subalgebras.- Duality for Completeness.- Boolean s-spaces.- The Representation of s-algebras.- Boolean Measure Spaces.- Incomplete Algebras.- Duality for Products.- Sums of Algebras.- Isomorphisms of Countable Factors.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BB2300913X
  • ISBN
    • 9781441923240
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    New York
  • ページ数/冊数
    xiv, 574 p.
  • 大きさ
    25 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ