Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Free
Faster access than browser!
 

Stone's representation theorem for Boolean algebras

Index Stone's representation theorem for Boolean algebras

In mathematics, Stone's representation theorem for Boolean algebras states that every Boolean algebra is isomorphic to a certain field of sets. [1]

33 relations: Axiom of choice, Base (topology), Boolean algebra, Boolean algebra (structure), Boolean prime ideal theorem, Category theory, Clopen set, Compact space, Equivalence of categories, Extremally disconnected space, Field of sets, Functor, Hausdorff space, Hilbert space, Isomorphism, Linear map, List of Boolean algebra topics, Marshall Harvey Stone, Mathematical Association of America, Mathematics, Partially ordered set, Paul Halmos, Peter Johnstone (mathematician), Profinite group, Representation theorem, Spectral theory, Stone duality, Stone functor, Stone space, Topological space, Totally disconnected space, Two-element Boolean algebra, Ultrafilter.

Axiom of choice

In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the Cartesian product of a collection of non-empty sets is non-empty.

New!!: Stone's representation theorem for Boolean algebras and Axiom of choice · See more »

Base (topology)

In mathematics, a base (or basis) B for a topological space X with topology T is a collection of open sets in T such that every open set in T can be written as a union of elements of B.We are using a convention that the union of empty collection of sets is the empty set.

New!!: Stone's representation theorem for Boolean algebras and Base (topology) · See more »

Boolean algebra

In mathematics and mathematical logic, Boolean algebra is the branch of algebra in which the values of the variables are the truth values true and false, usually denoted 1 and 0 respectively.

New!!: Stone's representation theorem for Boolean algebras and Boolean algebra · See more »

Boolean algebra (structure)

In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice.

New!!: Stone's representation theorem for Boolean algebras and Boolean algebra (structure) · See more »

Boolean prime ideal theorem

In mathematics, a prime ideal theorem guarantees the existence of certain types of subsets in a given algebra.

New!!: Stone's representation theorem for Boolean algebras and Boolean prime ideal theorem · See more »

Category theory

Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms).

New!!: Stone's representation theorem for Boolean algebras and Category theory · See more »

Clopen set

In topology, a clopen set (a portmanteau of closed-open set) in a topological space is a set which is both open and closed.

New!!: Stone's representation theorem for Boolean algebras and Clopen set · See more »

Compact space

In mathematics, and more specifically in general topology, compactness is a property that generalizes the notion of a subset of Euclidean space being closed (that is, containing all its limit points) and bounded (that is, having all its points lie within some fixed distance of each other).

New!!: Stone's representation theorem for Boolean algebras and Compact space · See more »

Equivalence of categories

In category theory, an abstract branch of mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are "essentially the same".

New!!: Stone's representation theorem for Boolean algebras and Equivalence of categories · See more »

Extremally disconnected space

In mathematics, a topological space is termed extremally disconnected if the closure of every open set in it is open.

New!!: Stone's representation theorem for Boolean algebras and Extremally disconnected space · See more »

Field of sets

In mathematics a field of sets is a pair \langle X, \mathcal \rangle where X is a set and \mathcal is an algebra over X i.e., a non-empty subset of the power set of X closed under the intersection and union of pairs of sets and under complements of individual sets.

New!!: Stone's representation theorem for Boolean algebras and Field of sets · See more »

Functor

In mathematics, a functor is a map between categories.

New!!: Stone's representation theorem for Boolean algebras and Functor · See more »

Hausdorff space

In topology and related branches of mathematics, a Hausdorff space, separated space or T2 space is a topological space in which distinct points have disjoint neighbourhoods.

New!!: Stone's representation theorem for Boolean algebras and Hausdorff space · See more »

Hilbert space

The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space.

New!!: Stone's representation theorem for Boolean algebras and Hilbert space · See more »

Isomorphism

In mathematics, an isomorphism (from the Ancient Greek: ἴσος isos "equal", and μορφή morphe "form" or "shape") is a homomorphism or morphism (i.e. a mathematical mapping) that can be reversed by an inverse morphism.

New!!: Stone's representation theorem for Boolean algebras and Isomorphism · See more »

Linear map

In mathematics, a linear map (also called a linear mapping, linear transformation or, in some contexts, linear function) is a mapping between two modules (including vector spaces) that preserves (in the sense defined below) the operations of addition and scalar multiplication.

New!!: Stone's representation theorem for Boolean algebras and Linear map · See more »

List of Boolean algebra topics

This is a list of topics around Boolean algebra and propositional logic.

New!!: Stone's representation theorem for Boolean algebras and List of Boolean algebra topics · See more »

Marshall Harvey Stone

Marshall Harvey Stone (April 8, 1903 – January 9, 1989) was an American mathematician who contributed to real analysis, functional analysis, topology and the study of Boolean algebras.

New!!: Stone's representation theorem for Boolean algebras and Marshall Harvey Stone · See more »

Mathematical Association of America

The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level.

New!!: Stone's representation theorem for Boolean algebras and Mathematical Association of America · See more »

Mathematics

Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.

New!!: Stone's representation theorem for Boolean algebras and Mathematics · See more »

Partially ordered set

In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set.

New!!: Stone's representation theorem for Boolean algebras and Partially ordered set · See more »

Paul Halmos

Paul Richard Halmos (Halmos Pál; March 3, 1916 – October 2, 2006) was a Hungarian-Jewish-born American mathematician who made fundamental advances in the areas of mathematical logic, probability theory, statistics, operator theory, ergodic theory, and functional analysis (in particular, Hilbert spaces).

New!!: Stone's representation theorem for Boolean algebras and Paul Halmos · See more »

Peter Johnstone (mathematician)

Peter Tennant Johnstone (born 1948) is Professor of the Foundations of Mathematics at the University of Cambridge, and a fellow of St. John's College.

New!!: Stone's representation theorem for Boolean algebras and Peter Johnstone (mathematician) · See more »

Profinite group

In mathematics, profinite groups are topological groups that are in a certain sense assembled from finite groups.

New!!: Stone's representation theorem for Boolean algebras and Profinite group · See more »

Representation theorem

In mathematics, a representation theorem is a theorem that states that every abstract structure with certain properties is isomorphic to another (abstract or concrete) structure.

New!!: Stone's representation theorem for Boolean algebras and Representation theorem · See more »

Spectral theory

In mathematics, spectral theory is an inclusive term for theories extending the eigenvector and eigenvalue theory of a single square matrix to a much broader theory of the structure of operators in a variety of mathematical spaces.

New!!: Stone's representation theorem for Boolean algebras and Spectral theory · See more »

Stone duality

In mathematics, there is an ample supply of categorical dualities between certain categories of topological spaces and categories of partially ordered sets.

New!!: Stone's representation theorem for Boolean algebras and Stone duality · See more »

Stone functor

In mathematics, the Stone functor is a functor S: Topop → Bool, where Top is the category of topological spaces and Bool is the category of Boolean algebras and Boolean homomorphisms.

New!!: Stone's representation theorem for Boolean algebras and Stone functor · See more »

Stone space

In topology, and related areas of mathematics, a Stone space is a non-empty compact totally disconnected Hausdorff space.

New!!: Stone's representation theorem for Boolean algebras and Stone space · See more »

Topological space

In topology and related branches of mathematics, a topological space may be defined as a set of points, along with a set of neighbourhoods for each point, satisfying a set of axioms relating points and neighbourhoods.

New!!: Stone's representation theorem for Boolean algebras and Topological space · See more »

Totally disconnected space

In topology and related branches of mathematics, a totally disconnected space is a topological space that is maximally disconnected, in the sense that it has no non-trivial connected subsets.

New!!: Stone's representation theorem for Boolean algebras and Totally disconnected space · See more »

Two-element Boolean algebra

In mathematics and abstract algebra, the two-element Boolean algebra is the Boolean algebra whose underlying set (or universe or carrier) B is the Boolean domain.

New!!: Stone's representation theorem for Boolean algebras and Two-element Boolean algebra · See more »

Ultrafilter

In the mathematical field of set theory, an ultrafilter on a given partially ordered set (poset) P is a maximal filter on P, that is, a filter on P that cannot be enlarged.

New!!: Stone's representation theorem for Boolean algebras and Ultrafilter · See more »

Redirects here:

Boolean space, M. H. Stone's representation theorem, Representation theorem for Boolean algebras, Stone representation theorem, Stone representation theorem for Boolean algebras, Stone's Representation Theorem, Stone's representation theorem.

References

[1] https://en.wikipedia.org/wiki/Stone's_representation_theorem_for_Boolean_algebras

OutgoingIncoming
Hey! We are on Facebook now! »