Sets

(集合)

Discrete Mathematics I

8th lecture, Nov. 21, 2014

http://www.sw.it.aoyama.ac.jp/2014/Math1/lecture8.html

Martin J. Dürst

AGU

© 2005-14 Martin J. Dürst Aoyama Gakuin University

Today's Schedule

 

Minitest: Preparation

(ミニテストの注意点)

 

Minitest: Latecommers

ミニテストの注意点 (時刻者)

 

Minitest: Collection

ミニテストの注意点 (終了時)

 

Summary of Last Lecture

Important points for quantifiers:

 

Last Week's Homework

Using your high school books/materials or other sources, research the following terms related to sets, and write a definition and short explanation for each of them:

Set, element, set union, set intersection, set difference, subset, proper subset, empty set, power set

 

The Concept of a Set

(∈, ∋, ∉, and ∌ are predicates written in the form of operators.)

 

Notation for Sets

 

Frequently used Sets of Numbers

 

Equality of Sets

 

Element Uniformity

 

Universal Set

 

Operation on Sets: Union

(also: sum)

 

Operation on Sets: Intersection

(also: product)

 

Operation on Sets: Difference Set

(also: set difference)

 

Operation on Sets: Complement

(complementary set)

 

Venn Diagram

 
 
 
 
 
 
 

Subset

(Notation: Sometimes, ⊊ is used to denote proper subsets. Some authors use ⊂ for proper subsets, and ⊆ for subsets in general.)

 

 

The Empty Set

 

Size of a Set

 

Power Set

(also: powerset)

 

Size of Infinite Sets

 

Laws for Sets

  1. Idempotent laws: AA = A; AA = A
  2. Commutative laws: AB = BA; AB = BA
  3. Associative laws: (AB) ∩ C = A ∩ (BC); (AB) ∪ C = A ∪ (BC)
  4. Distributive laws: (AB) ∩ C = (AC) ∪(BC);
    (AB) ∪ C = (AC) ∩ (BC)
  5. Absorption laws: A ∩ (AB) = A; A ∪ (AB) = A
  6. Involution law: A = (Ac)c
  7. Law of the excluded middle: AAc = U
  8. Law of (non)contradiction: AAc = {}
  9. De Morgan's laws: (AB)c = AcBc;
    (AB)c = AcBc

 

Limits of Sets

 

This Week's Homework

Deadline: November 27, 2014 (Thursday), 19:00.

Format: A4 single page (using both sides is okay; NO cover page), easily readable handwriting (NO printouts), name (kanji and kana) and student number at the top right

Where to submit: Box in front of room O-529 (building O, 5th floor)

  1. Create a set with four elements. If you use the same elements as other students, a deduction of points will be applied.
  2. Create the powerset of the set you created in problem 1.
  3. For sets A of size zero to six, create a table of the sizes of the powersets (|P(A)|). Example:
    |A| |P(A)|
    0 ?
    1 ?
    ... ?
  4. Express the relationship between the size of a set A and the size of its powerset P(A) as a formula.
  5. Explain the reason behind the formula in problem 4.
  6. Create a table that shows, for sets A of size zero to five, and for each n (size of sets in P(A)), the number of such sets.
    Example: |A|=3, n=2 ⇒ |{B|BA∧|B|=n}| = 3

Glossary

set
集合
element
元・要素
denotation
外延的記法
brace (curly bracket)
波括弧
connotation
内包的記法
natural number
自然数
integer
整数
rational number
有理数
real number
実数
complex number
複素数
equality
同一性
uniformity
一貫性
instance
個体
universal set
全体集合・普遍集合
(set) union
和集合
(set) intersection
積集合
difference set/set difference
差集合
complement, complementary set
補集合
Venn diagram
ベン図
subset
部分集合
superset
上位集合
proper subset
真 (しん) の部分集合
empty set
空 (くう) 集合
size of a set
集合の大きさ
finite
有限
finite set
有限集合
power set
べき (冪) 集合
infinite set
無限集合
cardinality, cardinal number
濃数
aleph zero
アレフ・ゼロ
continuum hypothesis
連続体仮説
involution law
対合律
library catalog
図書目録
deduction of points
減点