Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Standard view
Full view
of .
0 of .
Results for:
P. 1
Set Theory Chap1

# Set Theory Chap1

Ratings: (0)|Views: 63|Likes:

### Availability:

See more
See less

03/18/2014

pdf

text

original

1
Hardegree, Set Theory, Chapter 1: Basic Concepts
page 1 of 3939
Basic
Concepts
1.
Membership.....................................................................................................................................2
2.
Pure Set Theory versus Impure Set Theory.....................................................................................2
3.
The Axiom of Extensionality...........................................................................................................4
4.
Inclusion and Exclusion...................................................................................................................5
5.
Set-Abstracts....................................................................................................................................7
6.
Whether Set-Abstracts Denote.........................................................................................................8
7.
Classical Set Theory.......................................................................................................................11
8.
9.
Modern Set Theory........................................................................................................................13
10.
The Axiom of Separation...............................................................................................................14
11.
12.
The Empty Set................................................................................................................................16
13.
Intersection and Set Difference......................................................................................................17
14.
Union and Boolean Sum................................................................................................................18
15.
Absolute versus Relative Complementation..................................................................................19
16.
Singletons, Doubletons, etc............................................................................................................20
17.
General Union and Intersection.....................................................................................................21
18.
Power Sets......................................................................................................................................23
19.
Fields of Sets..................................................................................................................................24
20.
The Principle of Set-Abstraction and Contextual Definitions.......................................................25
1.
Principle of Set-Abstraction...............................................................................................25
2.
The Move from Explicit Definitions to Implicit Definitions.............................................26
3.
Contextual Definitions.......................................................................................................26
4.
An Aside on Contextuality.................................................................................................27
21.
Axioms for Chapter 1.....................................................................................................................28
22.
Definitions for Chapter 1...............................................................................................................29
1.
Official (Explicit) Definitions............................................................................................29
2.
Grammatical Categories.....................................................................................................30
3.
Contextual Definitions.......................................................................................................30
23.
Theorems for Chapter 1.................................................................................................................31
24.
Exercises for Chapter 1..................................................................................................................33
1.
Part 1:.................................................................................................................................33
2.
Part 2:.................................................................................................................................33
3.
Part 3:.................................................................................................................................33
4.
Part 4:.................................................................................................................................33
5.
Part 5. .................................................................................................................................33
25.
Answers to Exercises for Chapter 1...............................................................................................34
26.
Examples of Derivations of Theorems...........................................................................................35
Hardegree, Set Theory, Chapter 1: Basic Concepts
page 2 of 3939
1.
Membership

Basic to set theory is the notion ofmembership orelementhood. Indeed, set theory can be formulated in its entirety as a formal theory in which the only non-logical notion (symbol) is membership. The remaining notions can all be defined in terms of membership using the standard machinery of first-order logic (including identity and definite descriptions).

Although set theory can be formulated exclusively in terms of membership, in actual practice, free use is made of defined expressions. Accordingly, very few set-theoretic theorems are actually displayed in primitive notation.

Membership is a two-place relation, and its syntactic counterpart is a two-place predicate \u2013\u2208 (epsilon). Following the usual mathematical custom, we write this predicate in infix notation, rather than in prefix notation (as is customary in abstract logic and syntax). Specifically, in order to say that one thing is a member (element) of another thing, we write their respective names, and we infix the membership predicate,\u2208. Thus, the formula,1

x\u2208 y
may be read in either of the following ways.
xis a member of y
xis an element of y
Infixing epsilon is analogous to the way the identity relation is expressed by the formula \u2018x=y\u2019.
Also, in analogy with the identity predicate, we simplify negated formulas in the natural way,
according to the following definitions.
(d1)\u03b1 \u2260 \u03b2
\u00fc;[\u03b1 =\u03b2]
(d2)\u03b1 \u2209 \u03b2\u00fc;[\u03b1 \u2208\u03b2]
Here, \u2018\u03b1\u2019 and \u2018\u03b2\u2019 stand for arbitrary singular terms. The expression \u2018\u00fc\u2019 is a metalinguistic expression
used to indicate that expressions of one forma b b r e v i a t e expressions of another form.
2.
Pure Set Theory versus Impure Set Theory

In the previous section, in saying that membership is the only non-logical notion of set theory, I meanpure set theory.Pure set theory may be formulated as a formal theory in a first-order language in which the only non-logical symbol is \u2018\u2208\u2019. This is because pure set theory talks about sets, and nothing

else. Thus, in particular, in the formula \u2018x\u2208 y\u2019, bothx andy are sets.

By contrast, impure set theory (for lack of a better name!) talks not only about sets, but also about other things, including first elements andc l a s s e s (not necessarily both). Briefly, the notion of class is a generalization of the notion of set; sets are special kinds of classes (see below). Anything that isn\u2019t a class is afirst element, sometimes called apoint. First elements, or points, which are very important in informal set theory, have no internal structure from the viewpoint of set theory. Of course,

1 It depends upon the author whether \u2018\u2208\u2019 and \u2018=\u2019 are treated like other two -place functors written in infix format, specifically
whether the official formula has outer parentheses. We adopt the view that parentheses (or brackets) officially flank identity
statements and membership statements, and that these are dropped when convenient.
Hardegree, Set Theory, Chapter 1: Basic Concepts
page 3 of 3939

first elements may have very interesting internal structure from the viewpoint of, say, biology! The point is that they have no internal set theoretic structure. In informal set theory, as used throughout modern mathematics, points include numbers, geometrical points, vectors, group elements, etc. Points also include all concrete objects, as well as all abstract objects (other than classes!)

In one particular formulation ofimpure set theory, there are two non-logical predicates; besides
\u2018\u2208\u2019 there is the one-place predicate \u2018C\u2019 (\u2018...is a class\u2019).
Three other predicates may then be defined in terms of \u2018C\u2019 and \u2018\u2208\u2019, as follows.
Fa\u00fc;Ca
Sa\u00fc Ca&\u2203y[a\u2208 y]
Pa\u00fc Ca&;\u2203y[a\u2208 y]
[Here,a is any singular-term, andy is any variable not free ina.] The predicate letters have the
Cx: xis a class;
Fx: x is a first element;
Sx: x is a set;
Px: xis a proper class.
A proper class is a class that is not a set, by the following theorem, which follows immediately
from the definitions.
\u2200x(Px \u2194[Cx &;Sx])
Alternatively, we could introduce three primitive one-place predicates, \u2018C\u2019, \u2018S\u2019, and \u2018P\u2019, and add
the following as axioms.
\u2200x(Sx \u2194 [Cx & \u2203y[x \u2208y]]);
\u2200x(Px \u2194 [Cx &;\u2203y[x \u2208y]]).
Other than elegance, nothing hinges on whether we introduce additional terms by adding definitions or
Officially, this book concentrates on pure set theory.

Nonetheless, we will adopt certain conventions borrowed from informal set theory. The usual informal convention is to use lower-case Roman letters to denote points, upper-case Roman letters to denote sets whose elements are points, and upper-case script letters to denote sets whose elements are sets.

Some sort of convention like this is occasionally useful in visually clarifying the hierarchy of
sets, and we will use such a convention when it is helpful. For example, we might write
a\u2208 B& B\u2208f
even though the following is equally legitimate in pure set theory.
a\u2208 b& b\u2208 c