Mapping Function
If we have two sets one A and one B if A -> (maps) to B. Every element in A must map to another element. And elements in A cannot map to another element more than once.
What is a function?
(input - output) relation also for every element in the domain there is exactly one element in the codmain (ordered pair)
What is an image?
If we have a a function going from A to B we say that in (a,b) b is the image/output of a
What is a pre-image?
If we have a a function going from A to B we say that in (a,b) a is the pre-image/input of b
Surjective
Let A and B be sets and f is function from A to B. It is surjective when at least all of the elements in A map to all of the elements in B.
Injective
Let A and B be sets and f is a function from A to B. We say f is injective when every element of A has a unique image.
Bijective
When the function is both injective and surjective
Inverse
(Will come back to)
Relation
Is a subset of AxB
Partial Order
Is a relation that has the properties of reflexive, antisymmetric, and transitive.
What properties does a relation need when it is on a graph set?
antireflexive and symmetric
What does a | b mean?
It means that b = a * k where k is a natural number. b is some multiple of a.
Equivalence Relation
Must be reflexive, symmetric, and transitive.
What does S \ R mean
All of the elements in S that are that are in not is R.
Mathematical Statement
A declarative true or false statement cannot be both.
Conjunction(∧)
Whenever T(P) = 1 and T(Q) = 1
then, T(P ∧ Q) = 1. Otherwise T(P ∧ Q) = 0
Disjunction(∨)
Whenever T(P) = 0 and T(Q) = 0
then, T(P ∨ Q) = 0. Otherwise T(P ∨ Q) = 1
Negation(¬)
Means not P or that statement
Mathmatical Formula
Is a statement that has a truth value for each element in a set.
Universal Quantifier
“For every”
Existential Quantifier
“There exists” or “At least one”
Principle of mathematical induction
It is a template for constructing a mathmatical proof that consists of two main components. The base case and the inductive step.
What is the outline of mathematical induction?
1.) State Fact
2.) Prove base case
3.) Assume P(k) to be true to prove P(k+1) to be true
4.) Express that your claim is valid for your range of elements
What does this symbol mean “^”
Called a “conjunction”. This means when T(P) = 1 and T(Q) = 1 then it’s true else it’s false(zero).