Difference between revisions of "Closure"

(Examples: integer)
(Examples: oops, complex numbers are a+bi, not just bi)
Line 8: Line 8:
 
*The rational number system <math>\mathbb{Q}</math> has closure in [[addition]], [[subtraction]], [[multiplication]], and [[division]]
 
*The rational number system <math>\mathbb{Q}</math> has closure in [[addition]], [[subtraction]], [[multiplication]], and [[division]]
 
*The natural and whole number systems <math>\mathbb{N}^+,\mathbb{N}^0</math> have closure in [[addition]] and [[multiplication]].
 
*The natural and whole number systems <math>\mathbb{N}^+,\mathbb{N}^0</math> have closure in [[addition]] and [[multiplication]].
*The complex number system <math>\mathbb{C}</math> has closure in [[addition]] and [[subtraction]].
+
*The complex number system <math>\mathbb{C}</math> has closure in [[addition]], [[subtraction]], [[multiplication]], [[division]], [[exponentiation]], and also higher level operations such as <math>a \uparrow \uparrow b</math>.  
 
*The [[Integral#Other uses|integral]] number system <math>\mathbb{Z}</math> has closure in [[addition]], [[subtraction]], [[multiplication]], and [[exponentiation]].
 
*The [[Integral#Other uses|integral]] number system <math>\mathbb{Z}</math> has closure in [[addition]], [[subtraction]], [[multiplication]], and [[exponentiation]].
  

Revision as of 22:52, 26 November 2007

Closure is a property of an abstract algebraic structure, such as a set, group, ring, or field

Definition

An algebraic structure $\mathbb{S}$ is said to have closure in a binary operation $\times$ if for any $a,b\in \mathbb{S}$, $a\times b\in \mathbb{S}$. In words, when any two members of $\mathbb{S}$ are combined using the operation, the result also is a member of $\mathbb{S}$.

Examples

See Also