Difference between revisions of "Set"

From Conservapedia
Jump to: navigation, search
m
(I think the real-world examples can be together with the abstract ones.)
 
(36 intermediate revisions by 19 users not shown)
Line 1: Line 1:
{{stub}}
+
A '''set''' is a collection of objects called elements.  Sets are the subject of [[set theory]].  Two sets are the same if they contain the same elements, regardless of the order they are in. Sets are written in set notation, such as <math>\{1,2\}</math> indicating the set containing the elements 1 and 2. This is the same as the set <math>\{2,1\}</math> because order does not matter when comparing sets.
A '''set''' is a collection of objects, and sets are the subject of [[set theory]].  Two sets are the same if they contain the same elements, regardless of the order they are in. Sets are written in set notation, such as {1,2} indicating the set containing the elements 1 and 2. This is the same as the set {2,1}, as order does not matter.
+
  
Also, repetition of elements is irrelevant, so {1,2,2} is the same as the set {1,2}.
+
Also, repetition of elements is irrelevant, so the set <math>\{1,2,2\}</math> is the same as the set <math>\{1,2\}</math>.
  
An important concept in set theory is [[cardinality]]. In the case of finite sets, this is simply the number of elements of the set. So {1,2} has a cardinality of 2. However, the theory is more complicated in the case of infinite sets.   
+
An important concept in set theory is [[cardinality]]. In the case of finite sets, this is simply the number of elements of the set. So <math>\{1,2\}</math> has a cardinality of 2. However, the theory is more complicated in the case of infinite sets.   
  
It was thought that an informal concept of sets ([[Naive set theory]]) was sufficient, however [[Russell's Paradox]] shows that this can lead to a contradiction, if sets are allowed to contain themselves. Modern set theory is more formal, and disallows such paradoxical sets.
+
It was thought that an informal concept of sets ([[Naive set theory]]) was sufficient, however [[Russell's Paradox]] shows that this can lead to a contradiction if sets are allowed to contain themselves. Modern set theory is more formal, and disallows such paradoxical sets.
 +
 
 +
== Examples ==
 +
 
 +
Let <math>S</math> be the set <math>\{a, b, d, f, h\}</math>, and let <math>T</math> be the set <math>\{d, e, f\}</math>
 +
*The cardinality of <math>S</math> is <math>5</math>.
 +
*The cardinality of <math>T</math> is <math>3</math>.
 +
*The intersection, <math>S \cap T</math> is the set <math>\{d, f\}</math>.  This is because <math>d</math> and <math>f</math> are the only two elements in both <math>S</math> and <math>T</math>.
 +
*The union, <math>S \cup T</math> is the set <math>\{a, b, d, e, f, h\}</math>.  These six elements are in the union because they belong to <math>S</math>, to <math>T</math>, or to both <math>S</math> and <math>T</math>.
 +
*The set-theoretic difference <math>S \setminus T</math> (alternative notation: <math>S - T</math>) is the set <math>\{a, b, h\}</math> containing all the elements in <math>S</math> that are '''not''' in <math>T</math>.
 +
*The power set of <math>T</math>, <math>\mathcal{P}(T)</math>, consists of all subsets of <math>T</math> including the empty set and <math>T</math> itself.  One can check that <math>\mathcal{P}(T) = \{\emptyset, \{d\}, \{e\}, \{f\}, \{d, e\}, \{d, f\}, \{e, f\}, \{d, e, f\}\}</math>.  ''Exercise: How many elements are in <math>\mathcal{P}(S)</math>?''
 +
 
 +
Let <math>A</math> be the set of all [[prime number]]s, and let <math>B</math> be the set of all [[even number]]s.  What is the intersection, <math>A \cap B</math>?  It is a set containing one element, 2.  Since any even number greater than 2 has two as a proper factor, no even number aside from 2 belongs to <math>A</math>.  However, 2 is a prime number.  Thus, the intersection is <math>\{2\}</math>.
 +
 
 +
Let <math>C</math> be the set of all positive integers that are multiples of <math>3</math>, and let <math>D</math> be the set of all positive integers that have a remainder of <math>1</math> when divided by <math>3</math>.  The intersection, <math>C \cap D</math>, is the empty set, because no positive integer that is a multiple of <math>3</math> will have remainder <math>1</math> when divided by <math>3</math>.  However, if we take <math>B</math> to be the set of even numbers, as before, then <math>C \cap B</math> is not empty.  ''Exercise: What are the elements of <math>C \cap B</math>?''
 +
 
 +
== Examples of sets in the real world ==
 +
 
 +
There is the set of unborn children who were [[abortion|aborted]], about which striking conclusions can be drawn.  Given the large and diverse number of elements of this set, it would likely include many who could surpass existing athletic and intellectual achievements.  Indeed, many of the world records and [[Nobel Prize]] achievements recognized today would have been outdone by members of this set.
 +
 
 +
Another striking example is the how traditional marriage provides a greater set than otherwise:  the union of <math>A = \{a, b, c, d\}\,</math> and <math>B = \{a, b, c, e\}\,</math> is merely <math>\{a, b, c, d, e\}\,</math>, while the union of a man, <math>M = \{a, b, c, d\}\,</math> and a woman <math>W = \{e, f, g, h\}\,</math>, is <math>\{a, b, c, d, e, f, g, h\}\,</math>, which is a broader and more diverse set.
 +
 
 +
Define "A" as the set of all false assertions, and "B" as the set of all the Bible passages. Since there are no [[Counterexamples to the Bible]], the intersection between set A and set B is the [[empty set]]. On the other hand, if "C" is set of evolutionary assertions, then the intersection between set A and set C is not empty because it contains [[Counterexamples to Evolution]].
 +
 
 +
== Application -- Combinatorics==
 +
 
 +
Sets, and their cardinalities, are used in some very important aspects of combinatorics, that is, the study of combinations.  Let
 +
:<math>X = \{a,b,c\}\,</math> and <math>Y = \{p,q,r\}\,</math>.
 +
 
 +
The cardinalities of both are <math>\|X\| = \|Y\| = 3</math>.
 +
 
 +
<br />
 +
Let <math>S = \{\{x,y\}\ |\ x \in X\,\textrm{ and }\,y \in Y\}</math>.  The vertical bar means "such that", and the epsilon-like symbol <math>\in</math> means "is an element of".  So this means that S is the collection of sets<ref>Mathematicians don't like to use the phrase "set of sets", since this can lead to some unpleasant paradoxes.  So they say "collection of sets."  A "collection" is really just a set.</ref> which are pairs x and y such that x is in X and y is in Y.
 +
 
 +
<br />
 +
We can enumerate this.
 +
:<math>S = \{\{a,p\}, \{a,q\}, \{a,r\}, \{b,p\}, \{b,q\}, \{b,r\}, \{c,p\}, \{c,q\}, \{c,r\}\}\,</math>.
 +
Its cardinality is <math>\|S\| = 9</math>.
 +
 
 +
<br />
 +
Now try a harder example, based on the same two sets.  Let
 +
:<math>G = \{F\ |\ F \subset (X \cup Y)\,\textrm{ and }\,\|F\|=2\}</math>.
 +
Now <math>X \cup Y = \{a,b,c,p,q,r\}</math>, so
 +
:<math>\|X \cup Y\| = 6</math>.
 +
The problem of finding the number of subsets of a set that has some particular cardinality is the ''combination choosing'' problem, and shows up in many areas of probability and statistics.  In this case, it's the problem of choosing 2 elements out of a set of 6 elements.  The number of such choices is often written <math>{}_6C_2\,</math> or <math>6 \choose 2</math>, and is often pronounced "six choose two".  These numbers are also called the [[binomial coefficients]] because they appear as coefficients in the expansion of <math>(x+y)^n\,</math>.  In this case, <math>6 \choose 2</math> is the coefficient of <math>x^2y^4\,</math> in <math>(x+y)^6\,</math>.
 +
 
 +
<br />
 +
There is a simple formula for <math>n \choose k</math>.  It is
 +
 
 +
:<math>{n \choose k} = \frac{n!}{k! (n-k)!}</math>.
 +
 
 +
In the case of the set <math>G = \{F\ |\ F \subset \{a,b,c,p,q,r\}\,\textrm{ and }\,\|F\|=2\}</math>, the set is
 +
:<math>G = \{\{a,b\}, \{a,c\}, \{a,p\}, \{a,q\}, \{a,r\}, \{b,c\}, \{b,p\}, \{b,q\}, \{b,r\}, \{c,p\}, \{c,q\}, \{c,r\}, \{p,q\}, \{p,r\}, \{q,r\}\}\,</math>.
 +
Its cardinality is 15.
 +
 
 +
We can check that <math>{6 \choose 2} = \frac{6!}{2! (6-2)!} = \frac{720}{2 \cdot 24} = 15</math>.
 +
 
 +
==References==
 +
<references/>
 +
 
 +
==See also==
 +
*[[union (set theory)]]
 +
*[[intersection]]
 +
*[[multiset]]
  
 
[[Category:Mathematics]]
 
[[Category:Mathematics]]

Latest revision as of 20:42, August 11, 2012

A set is a collection of objects called elements. Sets are the subject of set theory. Two sets are the same if they contain the same elements, regardless of the order they are in. Sets are written in set notation, such as indicating the set containing the elements 1 and 2. This is the same as the set because order does not matter when comparing sets.

Also, repetition of elements is irrelevant, so the set is the same as the set .

An important concept in set theory is cardinality. In the case of finite sets, this is simply the number of elements of the set. So has a cardinality of 2. However, the theory is more complicated in the case of infinite sets.

It was thought that an informal concept of sets (Naive set theory) was sufficient, however Russell's Paradox shows that this can lead to a contradiction if sets are allowed to contain themselves. Modern set theory is more formal, and disallows such paradoxical sets.

Examples

Let be the set , and let be the set

  • The cardinality of is .
  • The cardinality of is .
  • The intersection, is the set . This is because and are the only two elements in both and .
  • The union, is the set . These six elements are in the union because they belong to , to , or to both and .
  • The set-theoretic difference (alternative notation: ) is the set containing all the elements in that are not in .
  • The power set of , , consists of all subsets of including the empty set and itself. One can check that . Exercise: How many elements are in ?

Let be the set of all prime numbers, and let be the set of all even numbers. What is the intersection, ? It is a set containing one element, 2. Since any even number greater than 2 has two as a proper factor, no even number aside from 2 belongs to . However, 2 is a prime number. Thus, the intersection is .

Let be the set of all positive integers that are multiples of , and let be the set of all positive integers that have a remainder of when divided by . The intersection, , is the empty set, because no positive integer that is a multiple of will have remainder when divided by . However, if we take to be the set of even numbers, as before, then is not empty. Exercise: What are the elements of ?

Examples of sets in the real world

There is the set of unborn children who were aborted, about which striking conclusions can be drawn. Given the large and diverse number of elements of this set, it would likely include many who could surpass existing athletic and intellectual achievements. Indeed, many of the world records and Nobel Prize achievements recognized today would have been outdone by members of this set.

Another striking example is the how traditional marriage provides a greater set than otherwise: the union of and is merely , while the union of a man, and a woman , is , which is a broader and more diverse set.

Define "A" as the set of all false assertions, and "B" as the set of all the Bible passages. Since there are no Counterexamples to the Bible, the intersection between set A and set B is the empty set. On the other hand, if "C" is set of evolutionary assertions, then the intersection between set A and set C is not empty because it contains Counterexamples to Evolution.

Application -- Combinatorics

Sets, and their cardinalities, are used in some very important aspects of combinatorics, that is, the study of combinations. Let

and .

The cardinalities of both are .


Let . The vertical bar means "such that", and the epsilon-like symbol means "is an element of". So this means that S is the collection of sets[1] which are pairs x and y such that x is in X and y is in Y.


We can enumerate this.

.

Its cardinality is .


Now try a harder example, based on the same two sets. Let

.

Now , so

.

The problem of finding the number of subsets of a set that has some particular cardinality is the combination choosing problem, and shows up in many areas of probability and statistics. In this case, it's the problem of choosing 2 elements out of a set of 6 elements. The number of such choices is often written or , and is often pronounced "six choose two". These numbers are also called the binomial coefficients because they appear as coefficients in the expansion of . In this case, is the coefficient of in .


There is a simple formula for . It is

.

In the case of the set , the set is

.

Its cardinality is 15.

We can check that .

References

  1. Mathematicians don't like to use the phrase "set of sets", since this can lead to some unpleasant paradoxes. So they say "collection of sets." A "collection" is really just a set.

See also