Mathematical Induction Flashcards

1
Q

Steps of Mathematical Induction

A
  1. Show that P(1) is true
  2. Show that P(k) -> P(k + 1)
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Weak induction

A

IF we assume P(k) is true, then P(k + 1) must also be true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Strong Induction

A

IF we assume P(1)∧P(2)∧. . .∧P(k)
is true, THEN P(k + 1) must also be true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Recursive Definition

A
  1. Basis Step: Specify initial collection of element(s).
  2. Recursive Step: Give rule(s) for forming newer elements in the set using those elements already present in the set.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Binary Relation
from A to B

A

R ⊆ A × B
A = {a, b}
B = {1, 2}
A x B = {(a, 1), (a, 2), (b, 1), (b, 2)}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Binary Relation
on sole set A

A

R ⊆ A × A
A = {a, b}
A x A = {(a, a), (a, b), (b, a), (b, b)}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Reflexive Relation

A

: ∀ a [a ∈ A → (a, a) ∈ R]

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Symmetric Relation

A

∀ a ∀ b [(a, b) ∈ R → (b, a) ∈ R]

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Asymmetric

A

∀ a ∀ b [(a, b) ∈ R → (b, a) !∈ R]

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Anti-symmetric

A

∀ a ∀ b [((a, b) ∈ R ∧ (b, a) ∈ R) → (a = b)]

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Transitive Relation

A

∀a∀b∀c
[((a, b) ∈ R ∧ (b, c) ∈ R) →
(a, c) ∈ R]

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Composite/Composition

A

IF (x, y) is a member of R1 and (y, z) is a member of R2 THEN (x, z) is a member of R1 ◦ R2.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Matrix Representation
R = {(a, b) : a > b}
A = {1, 2}
B = {1, 2, 3}

A

1 = True; 0 = False;
(1, 1) -> False -> 0
(1, 2) -> False -> 0
(1, 3) -> False -> 0
(2, 1) -> True -> 1
(2, 2) -> False -> 0
(2, 3) -> False -> 0

0 0 0
1 0 0

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Reflexive via Matrix

A

Matrix diagonals are all 1

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Symmetric via Matrix

A

IF m(i,j) = 1, THEN m(j,i) = 1

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Antisymmetric via Matrix

A

IF m(i,j) = 1, THEN m(j,i) = 0

17
Q

Reflexive via Digraph

A

Loop on every vertice

18
Q

Symmetry via Digraph

A

IF (x, y) is an edge, THEN (y, x) is an edge

19
Q

Antisymmetry via Digraph

A

IF (x, y) is an edge, THEN (y, x) is NOT an edge

20
Q

Transitivity via Digraph

A

IF (x, y) is an edge, and (y, z) is an edge, THEN (x, z) is an edge.

21
Q

Reflexive Closure

A

R ∪ △
R = Relation
△ = Diagonal relation (a, a) for each a in A

22
Q

Symmetric Closure

A

R ∪ R^-1

23
Q

Transitive Closure

A

The unity of transitive relations on a set, until subsequent relations are redundant.
ie: (1, 2), (2, 1) -> (1, 2), (2, 1), (1, 1)