Difference between revisions of "Set"

From Conservapedia
Jump to: navigation, search
(add term before we use it)
(Examples: it's better to have examples where definiteness is not an issue, even though old examples may be correct and insightful)
Line 13: Line 13:
 
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.
 
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.
  
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]].
+
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>?''
  
 
== Application -- Combinatorics==
 
== Application -- Combinatorics==

Revision as of 14:57, August 8, 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 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 .

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.

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 ?

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