Definition:Set Theory
Definition
Set theory is the branch of mathematics which studies sets.
There are several "versions" of set theory, all of which share the same basic ideas but whose foundations are completely different.
Naive set theory
Naïve set theory, in contrast with axiomatic set theory, is an approach to set theory which assumes the existence of a universal set, despite the fact that such an assumption leads to paradoxes.
A popular alternative (and inaccurate) definition describes this as:
- a non-formalized definition of set theory which describes sets and the relations between them using natural language.
However, the discipline is founded upon quite as rigid a set of axioms, namely, those of propositional and predicate logic.
Axiomatic set theory
Axiomatic set theory is a system of set theory which differs from so-called naive set theory in that the sets which are allowed to be generated are strictly constrained by the axioms.
Pure set theory
Pure set theory is a system of set theory in which all elements of sets are themselves sets.
Examples
Unions and Intersections $1$
Let:
\(\ds V_1\) | \(=\) | \(\ds \set {v_1, v_3, v_4}\) | ||||||||||||
\(\ds V_2\) | \(=\) | \(\ds \set {v_2, v_5}\) | ||||||||||||
\(\ds V_3\) | \(=\) | \(\ds \set {v_1, v_3}\) |
Then:
\(\ds V_1 \cup V_2\) | \(=\) | \(\ds \set {v_1, v_2, v_3, v_4, v_5}\) | ||||||||||||
\(\ds V_1 \cup V_3\) | \(=\) | \(\ds \set {v_1, v_3, v_4}\) | ||||||||||||
\(\ds V_2 \cup V_3\) | \(=\) | \(\ds \set {v_1, v_2, v_3, v_5}\) | ||||||||||||
\(\ds V_1 \cap V_2\) | \(=\) | \(\ds \O\) | ||||||||||||
\(\ds V_1 \cap V_3\) | \(=\) | \(\ds \set {v_1, v_3}\) | ||||||||||||
\(\ds V_2 \cap V_3\) | \(=\) | \(\ds \O\) |
Thus:
Unions and Intersections $2$
Let:
\(\ds A\) | \(=\) | \(\ds \set {1, 2}\) | ||||||||||||
\(\ds B\) | \(=\) | \(\ds \set {1, \set 2}\) | ||||||||||||
\(\ds C\) | \(=\) | \(\ds \set {\set 1, \set 2}\) | ||||||||||||
\(\ds D\) | \(=\) | \(\ds \set {\set 1, \set 2, \set {1, 2} }\) |
Then:
\(\ds A \cap B\) | \(=\) | \(\ds \set 1\) | ||||||||||||
\(\ds \paren {B \cap D} \cup A\) | \(=\) | \(\ds \set {1, 2, \set 2}\) | ||||||||||||
\(\ds \paren {A \cap B} \cup D\) | \(=\) | \(\ds \set {1, \set 1, \set 2, \set {1, 2} }\) | ||||||||||||
\(\ds \paren {A \cap B} \cup \paren {C \cap D}\) | \(=\) | \(\ds \set {1, \set 1, \set 2}\) |
Equations $A \cup \paren {X \cap B} = C$, $\paren {A \cup X} \cap B = D$
Let $A, B, C, D$ be subsets of a set $S$.
Let there exist $X \subseteq S$ such that:
- $A \cup \paren {X \cap B} = C$
- $\paren {A \cup X} \cap B = D$
Then:
- $A \cap B \subseteq D \subseteq B$
and:
- $A \cup D = C$
$\blacksquare$
Also see
- Results about set theory can be found here.
Historical Note
Set theory arose from an attempt to comprehend the question: "What is a number?"
The main initial development of the subject was in fact not directly generated as a result of trying to answer this question, but as a result of Georg Cantor's work around $1870$ to understand the nature of infinite series and related subjects.
As a result of this he began to consider the nature of infinite collections of general object, not just numbers.
In $1873$, Cantor discovered that the set of algebraic reals is countable.
Soon after that, he discovered that the set of all real numbers is uncountable.
The concepts of equipotent sets, order isomorphic structures, cardinals and ordinals are all due to Cantor.
- Cantor ....is usually considered the founder of set theory as a mathematical discipline ...
- -- Patrick Suppes: Axiomatic Set Theory (1960, 2nd ed. 1972)
Sources
- 1960: Paul R. Halmos: Naive Set Theory ... (next): Preface
- ... General set theory is pretty trivial stuff really, but, if you want to be a mathematician, you need some, and here it is; read it, absorb it, and forget it.
- 1965: A.M. Arthurs: Probability Theory ... (next): Chapter $1$: Set Theory: $1.1$: Introduction
- 1975: T.S. Blyth: Set Theory and Abstract Algebra ... (previous) ... (next): $\S 1$. Sets; inclusion; intersection; union; complementation; number systems
- It would be completely out of the question at this stage ... to attempt an axiomatisation of such topics ...
- 1993: Keith Devlin: The Joy of Sets: Fundamentals of Contemporary Set Theory (2nd ed.) ... (previous) ... (next): $\S 1$: Naive Set Theory: $\S 1.1$: What is a Set?
- In set theory, there is really only one fundamental notion:
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): set theory
- 2008: David Joyner: Adventures in Group Theory (2nd ed.) ... (previous) ... (next): Chapter $1$: Elementary, my dear Watson
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): set theory