# Difference between revisions of "Set"

m (gave space and wikified) |
|||

Line 2: | Line 2: | ||

==Introduction== | ==Introduction== | ||

− | The notion of a set is one of the fundamental notions in mathematics that has to be left undefined. Of course, we have plenty of synonyms for the word "set" like ''collection, ensemble, group'', etc., but those names really do not define the meaning of the word ''set'': all they can do is replace it in various sentences. So, instead of defining what sets are, one has to define what can be done with them or, in other words, what axioms the sets satisfy. These axioms are chosen to agree with our intuitive concept of a set, on one hand, and to allow various, sometimes quite sophisticated, mathematical constructions on the other hand. For the full collection of these axioms, see [[Zermelo-Fraenkel Axioms]]. In this article we shall present just a brief discussion of the most common properties of sets and operations related to them. | + | The notion of a '''set''' is one of the fundamental notions in mathematics that has to be left undefined. Of course, we have plenty of synonyms for the word "set" like ''collection, ensemble, group'', etc., but those names really do not define the meaning of the word ''set'': all they can do is replace it in various sentences. So, instead of defining what sets are, one has to define what can be done with them or, in other words, what axioms the sets satisfy. These axioms are chosen to agree with our intuitive concept of a set, on one hand, and to allow various, sometimes quite sophisticated, mathematical constructions on the other hand. For the full collection of these axioms, see [[Zermelo-Fraenkel Axioms]]. In this article we shall present just a brief discussion of the most common properties of sets and operations related to them. |

+ | |||

+ | |||

==Relation of ''belonging''== | ==Relation of ''belonging''== | ||

The most important property of sets is that, for every ''object'' <math>x</math> and a set <math>S</math>, we can say whether <math>x</math> belongs to <math>S</math> (written as <math>x\in S</math>), or not (written as <math>x\notin S</math>). Two sets <math>S'</math> and <math>S''</math> are equal if they include the same objects, i.e., if for every object <math>x</math>, we have <math>x\in S'</math> if and only if <math>x\in S''</math>. | The most important property of sets is that, for every ''object'' <math>x</math> and a set <math>S</math>, we can say whether <math>x</math> belongs to <math>S</math> (written as <math>x\in S</math>), or not (written as <math>x\notin S</math>). Two sets <math>S'</math> and <math>S''</math> are equal if they include the same objects, i.e., if for every object <math>x</math>, we have <math>x\in S'</math> if and only if <math>x\in S''</math>. | ||

+ | |||

+ | |||

==Specifying a set by listing its objects== | ==Specifying a set by listing its objects== | ||

This means that in order to indentify a particular set, it suffices to tell which objects belong to this set. If the set contains just several such objects, all you need to do is list them. So, you can specify the set consisting of the numbers <math>1,3,5</math>, and <math>239</math>, for example. (The standard notation for this set is <math>\{1,3,5,239\}</math>. Note that the order in which the terms are listed is completely unimportant: we have to follow some order when writing things in one line, but you should actually imagine those numbers flowing freely inside those curly braces with no preference given to any of them. What matters is that these four numbers are in the set and everything else is out). But how do you specify sets that have very many (maybe [[infinite]]ly many) elements? You cannot list them all even if you spend your entire life writing! | This means that in order to indentify a particular set, it suffices to tell which objects belong to this set. If the set contains just several such objects, all you need to do is list them. So, you can specify the set consisting of the numbers <math>1,3,5</math>, and <math>239</math>, for example. (The standard notation for this set is <math>\{1,3,5,239\}</math>. Note that the order in which the terms are listed is completely unimportant: we have to follow some order when writing things in one line, but you should actually imagine those numbers flowing freely inside those curly braces with no preference given to any of them. What matters is that these four numbers are in the set and everything else is out). But how do you specify sets that have very many (maybe [[infinite]]ly many) elements? You cannot list them all even if you spend your entire life writing! | ||

+ | |||

+ | |||

==Specifying a set by the common property of its elements== | ==Specifying a set by the common property of its elements== | ||

Line 17: | Line 23: | ||

Unfortunately, this method has several potential pitfalls. It turns out, counter-intuitively, that not every collection of objects with a certain property is a set. The most famous example of this problem is [[Russell's Paradox]]: consider the property, "is a set and does not contain itself." (Remember that, given a set, we should be able to tell about '''every''' object whether it belongs to this set or not; in particular, we can ask this question about the set itself). The set <math>S</math> specified by this property can neither belong, nor not belong to itself. There are a variety of ways to resolve this paradox, but the problem is clear: this way to describe sets should be used with extreme caution. One way to avoid this problem is as follows: given a property <math>P</math>, choose a known set <math>T</math>. Then the collection <math>S</math> of elements of <math>T</math> which have property <math>P</math> will always be a set. (In particular, for our previous example to lead to a paradox, we would need to choose <math>T = \{\mathrm{all \; sets}\}</math>. However, it turns out that it can be proven that the set of all sets does not exist -- the collection of all sets is too big to be a set.) | Unfortunately, this method has several potential pitfalls. It turns out, counter-intuitively, that not every collection of objects with a certain property is a set. The most famous example of this problem is [[Russell's Paradox]]: consider the property, "is a set and does not contain itself." (Remember that, given a set, we should be able to tell about '''every''' object whether it belongs to this set or not; in particular, we can ask this question about the set itself). The set <math>S</math> specified by this property can neither belong, nor not belong to itself. There are a variety of ways to resolve this paradox, but the problem is clear: this way to describe sets should be used with extreme caution. One way to avoid this problem is as follows: given a property <math>P</math>, choose a known set <math>T</math>. Then the collection <math>S</math> of elements of <math>T</math> which have property <math>P</math> will always be a set. (In particular, for our previous example to lead to a paradox, we would need to choose <math>T = \{\mathrm{all \; sets}\}</math>. However, it turns out that it can be proven that the set of all sets does not exist -- the collection of all sets is too big to be a set.) | ||

+ | |||

+ | |||

==Subsets== | ==Subsets== | ||

We say that a set <math>A</math> is a [[subset]] of a set <math>S</math> if every object <math>x</math> that belongs to <math>A</math> also belongs to <math>S</math>. For example, the sets <math>\{1,2\}</math> and <math>\{2,3\}</math> are subsets of the set <math>\{1,2,3\}</math>, but the set <math>\{1,6\}</math> is not. Thus we can say that two sets are equal if and only if each is a subset of the other. | We say that a set <math>A</math> is a [[subset]] of a set <math>S</math> if every object <math>x</math> that belongs to <math>A</math> also belongs to <math>S</math>. For example, the sets <math>\{1,2\}</math> and <math>\{2,3\}</math> are subsets of the set <math>\{1,2,3\}</math>, but the set <math>\{1,6\}</math> is not. Thus we can say that two sets are equal if and only if each is a subset of the other. | ||

+ | |||

+ | |||

==Power set== | ==Power set== | ||

The [[power set]] of a set is defined as the set of its subsets. For example, the power set of <math>\{1,2,3\}</math> is <math>\{\{\},\{1\},\{2\},\{3\},\{1,2\},\{2,3\},\{1,3\},\{1,2,3\}\}</math>. | The [[power set]] of a set is defined as the set of its subsets. For example, the power set of <math>\{1,2,3\}</math> is <math>\{\{\},\{1\},\{2\},\{3\},\{1,2\},\{2,3\},\{1,3\},\{1,2,3\}\}</math>. | ||

+ | |||

+ | |||

==Union and intersection== | ==Union and intersection== | ||

Line 28: | Line 40: | ||

The [[intersection]] of two sets is the set of all objects that belong to both sets. For example, the intersection of <math>\{1,2\}</math> and <math>\{1,3,5\}</math> is <math>\{1\}</math>. | The [[intersection]] of two sets is the set of all objects that belong to both sets. For example, the intersection of <math>\{1,2\}</math> and <math>\{1,3,5\}</math> is <math>\{1\}</math>. | ||

+ | |||

+ | |||

==Empty set== | ==Empty set== | ||

An [[empty set]] is a set with no elements. | An [[empty set]] is a set with no elements. | ||

+ | |||

+ | |||

==Infinite sets== | ==Infinite sets== |

## Revision as of 04:12, 18 July 2006

*This article is a stub. Help us out by expanding it.*

## Contents

## Introduction

The notion of a **set** is one of the fundamental notions in mathematics that has to be left undefined. Of course, we have plenty of synonyms for the word "set" like *collection, ensemble, group*, etc., but those names really do not define the meaning of the word *set*: all they can do is replace it in various sentences. So, instead of defining what sets are, one has to define what can be done with them or, in other words, what axioms the sets satisfy. These axioms are chosen to agree with our intuitive concept of a set, on one hand, and to allow various, sometimes quite sophisticated, mathematical constructions on the other hand. For the full collection of these axioms, see Zermelo-Fraenkel Axioms. In this article we shall present just a brief discussion of the most common properties of sets and operations related to them.

## Relation of *belonging*

The most important property of sets is that, for every *object* and a set , we can say whether belongs to (written as ), or not (written as ). Two sets and are equal if they include the same objects, i.e., if for every object , we have if and only if .

## Specifying a set by listing its objects

This means that in order to indentify a particular set, it suffices to tell which objects belong to this set. If the set contains just several such objects, all you need to do is list them. So, you can specify the set consisting of the numbers , and , for example. (The standard notation for this set is . Note that the order in which the terms are listed is completely unimportant: we have to follow some order when writing things in one line, but you should actually imagine those numbers flowing freely inside those curly braces with no preference given to any of them. What matters is that these four numbers are in the set and everything else is out). But how do you specify sets that have very many (maybe infinitely many) elements? You cannot list them all even if you spend your entire life writing!

## Specifying a set by the common property of its elements

Another way to specify a set is to use some property to tell when an object belongs to this set. For instance, we may try to think (alas, only try!) of the set of all objects with green hair. In this case, we do not even try to list all such objects. We just decide that something belongs to this set if it has green hair and doesn't belong to it otherwise. This is a wonderful way to describe a set.

Unfortunately, this method has several potential pitfalls. It turns out, counter-intuitively, that not every collection of objects with a certain property is a set. The most famous example of this problem is Russell's Paradox: consider the property, "is a set and does not contain itself." (Remember that, given a set, we should be able to tell about **every** object whether it belongs to this set or not; in particular, we can ask this question about the set itself). The set specified by this property can neither belong, nor not belong to itself. There are a variety of ways to resolve this paradox, but the problem is clear: this way to describe sets should be used with extreme caution. One way to avoid this problem is as follows: given a property , choose a known set . Then the collection of elements of which have property will always be a set. (In particular, for our previous example to lead to a paradox, we would need to choose . However, it turns out that it can be proven that the set of all sets does not exist -- the collection of all sets is too big to be a set.)

## Subsets

We say that a set is a subset of a set if every object that belongs to also belongs to . For example, the sets and are subsets of the set , but the set is not. Thus we can say that two sets are equal if and only if each is a subset of the other.

## Power set

The power set of a set is defined as the set of its subsets. For example, the power set of is .

## Union and intersection

The union of two sets is the set of all objects that belong to either the first or the second set. For example, the union of and is .

The intersection of two sets is the set of all objects that belong to both sets. For example, the intersection of and is .

## Empty set

An empty set is a set with no elements.

## Infinite sets

An infinite set can be defined as a set that has the same cardinality as one of its proper subsets. Alternatively, infinite sets are those which cannot be put into correspondence with any set of the form {1, 2, ..., n}.

*To be continued*