Back to the index. Or to the chambers

This article has 65 links. View as Cloud or List.

Algebraic Abelian Group Mapping Infinite Equivalence Relation Strict Equivalence Of Forcing Notions Interval Functor Natural Number Product Intersection Set Group Quantifier Implication Basic Polynomial Topological Space Even Number Union Structures And Satisfaction Axiom Of Choice Logic Incidence Geometry Category Definition Finite Function Module Ring Signature Property Converse Theorem Similarity In Geometry Ordered Pair Relation Axiom Subfunction Associative Necessary And Sufficient Zermelo Fraenkel Axioms Elementarily Equivalent Permutation Cardinal Number Biconditional Zeros And Poles Of Rational Function Equality Sequence Scheme Structure Preserving Mappings Classes Of Algebras Satisfaction Relation Lie Algebra Variation Quantum Logic Nicolas Bourbaki Something Related To Martins Axiom And The Continuum Hypothesis Well Ordered Set Plus Sign Graph Axiom Of Foundation Surreal Number Reduction Of Structure Group Lie Algebra Cohomology Homology Topological Space

1	Category
1	Functor
1	Equivalence Relation
1	Equality
1	Zeros And Poles Of Rational Function
1	Incidence Geometry
1	Similarity In Geometry
1	Topological Space
1	Basic Polynomial
1	Interval
1	Property
1	Definition
1	Strict
1	Sequence
1	Cardinal Number
1	Signature
1	Structures And Satisfaction
1	Union
1	Product
1	Relation
1	Function
1	Finite
1	Axiom Of Choice
1	Set
1	Natural Number
1	Mapping
1	Subfunction
1	Even Number
1	Equivalence Of Forcing Notions
1	Infinite
1	Elementarily Equivalent
1	Axiom
1	Converse Theorem
1	Logic
1	Biconditional
1	Zermelo Fraenkel Axioms
1	Necessary And Sufficient
1	Ordered Pair
1	Implication
1	Quantifier
1	Intersection
1	Algebraic
1	Ring
1	Module
1	Associative
1	Abelian Group
1	Permutation
1	Group
2	Well Ordered Set
2	Scheme
2	Nicolas Bourbaki
2	Variation
2	Classes Of Algebras
2	Something Related To Martins Axiom And The Continuum Hypothesis
2	Quantum Logic
2	Satisfaction Relation
2	Structure Preserving Mappings
2	Lie Algebra
3	Plus Sign
3	Graph
3	Axiom Of Foundation
4	Homology Topological Space
4	Surreal Number
4	Lie Algebra Cohomology
7	Reduction Of Structure Group

Loading ...

Planetmath Browser (2008—2009)

BSD licence | A django site

All articles taken from PlanetMath.org snapshot under CC-BY-SA licence.

→ The original article on PlanetMath.org

Other Formats: LaTeX

New! You can click on formulas to copy the LaTeX source to your clipboard. | Math Videos

Set Theory

Set theory is special among mathematical theories, in two ways: It plays a central role in putting mathematics on a reliable axiomatic foundation, and it provides the basic language and apparatus in which most of mathematics is expressed.

Axiomatic set theory

I will informally list the undefined notions, the axioms, and two of the “schemes” of set theory, along the lines of Bourbaki's account. The axioms are closer to the von Neumann-Bernays-Gödel model than to the equivalent ZFC model. (But some of the axioms are identical to some in ZFC; see the entry ZermeloFraenkelAxioms.) The intention here is just to give an idea of the level and scope of these fundamental things.

There are three undefined notions:

1. the relation of equality of two sets

2. the relation of membership of one set in another ( $x\in y$ )

3. the notion of an ordered pair, which is a set comprised from two other sets, in a specific order.

Most of the eight schemes belong more properly to logic than to set theory, but they, or something on the same level, are needed in the work of formalizing any theory that uses the notion of equality, or uses quantifiers such as $\exists$ . Because of their formal nature, let me just (informally) state two of the schemes:

S6. If and are sets, and , then anything true of is true of , and conversely.

S7. If two properties and of a set are equivalent, then the “generic” set having the property , is the same as the generic set having the property .

(The notion of a generic set having a given property, is formalized with the help of the Hilbert $\tau$ symbol; this is one way, but not the only way, to incorporate what is called the Axiom of Choice.)

Finally come the five axioms in this axiomatization of set theory. (Some are identical to axioms in ZFC, q.v.)

A1. Two sets and are equal iff they have the same elements, i.e. iff the relation $x\in A$ implies $x\in B$ and vice versa.

A2. For any two sets and , there is a set such that the $x\in C$ is equivalent to or .

A3. Two ordered pairs and are equal iff and .

A4. For any set , there exists a set such that $x\in B$ is equivalent to $x\subset A$ ; in other words, there is a set of all subsets of , for any given set .

A5. There exists an infinite set.

The word “infinite” is defined in terms of Axioms A1-A4. But to formulate the definition, one must first build up some definitions and results about functions and ordered sets, which we haven't done here.

Product sets, relations, functions, etc.

Moving away from foundations and toward applications, all the more complex structures and relations of set theory are built up out of the three undefined notions. (See the entry “Set”.) For instance, the relation $A\subset B$ between two sets, means simply “if $x\in A$ then $x\in B$ ”.

Using the notion of ordered pair, we soon get the very important structure called the product $A\times B$ of two sets and . Next, we can get such things as equivalence relations and order relations on a set , for they are subsets of $A\times A$ . And we get the critical notion of a function $A\to B$ , as a subset of $A\times B$ . Using functions, we get such things as the product $\prod_{i\in I}A_i$ of a family of sets. (“Family” is a variation of the notion of function.)

To be strictly formal, we should distinguish between a function and the graph of that function, and between a relation and its graph, but the distinction is rarely necessary in practice.

Some structures defined in terms of sets

The natural numbers provide the first example. Peano, Zermelo and Fraenkel, and others have given axiom-lists for the set $\mathbb{N}$ , with its addition, multiplication, and order relation; but nowadays the custom is to define even the natural numbers in terms of sets. In more detail, a natural number is the order-type of a finite well-ordered set. The relation $m\le n$ between $m,n\in \mathbb{N}$ is defined with the aid of a certain theorem which says, roughly, that for any two well-ordered sets, one is a segment of the other. The sum or product of two natural numbers is defined as the cardinal of the sum or product, respectively, of two sets. (For an extension of this idea, see surreal numbers.)

(The term “cardinal” takes some work to define. The “type” of an ordered set, or any other kind of structure, is the “generic” structure of that kind, which is defined using $\tau$ .)

Groups provide another simple example of a structure defined in terms of sets and ordered pairs. A group is a pair in which is just a set, and is a mapping $G\times G\to G$ satisfying certain axioms; the axioms (associativity etc.) can all be spelled out in terms of sets and ordered pairs, although in practice one uses algebraic notation to do it. When we speak of (e.g.) “the” group of permutations of a 3-element set, we mean the “type” of such a group.

Topological spaces provide another example of how mathematical structures can be defined in terms of, ultimately, the sets and ordered pairs in set theory. A topological space is a pair , where the set is arbitrary, but has these properties:

- any element of is a subset of

- the union of any family (or set) of elements of is also an element of

- the intersection of any finite family of elements of is an element of .

Many special kinds of topological spaces are defined by enlarging this list of restrictions on .

Finally, many kinds of structure are based on more than one set. E.g. a left module is a commutative group together with a ring , plus a mapping $R\times M\to M$ which satisfies a specific set of restrictions.

Categories, homological algebra

Although set theory provides some of the language and apparatus used in mathematics generally, that language and apparatus have expanded over time, and now include what are called “categories” and “functors”. A category is not a set, and a functor is not a mapping, despite similarities in both cases. A category comprises all the structured sets of the same kind, e.g. the groups, and contains also a definition of the notion of a morphism from one such structured set to another of the same kind. A functor is similar to a morphism but compares one category to another, not one structured set to another. The classic examples are certain functors from the category of topological spaces to the category of groups.

“Homological algebra” is concerned with sequences of morphisms within a category, plus functors from one category to another. One of its aims is to get structure theories for specific categories; the homology of groups and the cohomology of Lie algebras are examples. For more details on the categories and functors of homological algebra, I recommend a search for “Eilenberg-Steenrod axioms”.