Professional Documents
Culture Documents
FACULTY OF ENGINEERING
ELECTRICAL & ELECTRONICS ENGINEERING DEPT.
Functions
Instructor:
Dr. Mohammed Alkrunz
Electrical & Electronics Engineering Dept.
Functions,,,
From calculus, you are familiar with the concept of a real-valued function
“𝑓”, which assigns to each number 𝑥 ∈ ℝ a particular value 𝑦 = 𝑓(𝑥),
where 𝑦 ∈ ℝ.
But, the notion of a function can also be naturally generalized to the
concept of assigning elements of any set to elements of any set.
Formal Definition:
For any set, A, B, we say that a function 𝑓 from (or “mapping”) A to B
(𝑓. 𝐴 → 𝐵) is a particular assignment of exactly one element 𝑓(𝑥) ∈ 𝐵 to
each element 𝑥 ∈ 𝐴.
Two inputs could give one output such as 𝑦 = 𝑥 2 , but it is not possible for
one input to give two outputs. (i.e., two locations at one time)
Dr. M. Alkrunz
02.11.2019 2
EEE247: Discrete Mathematics
Functions,,,
Graphical Representations:
a 𝑓 𝑎 =𝑏
𝒇
A B
Dr. M. Alkrunz
02.11.2019 3
EEE247: Discrete Mathematics
Functions,,,
Functions that we’ve seen so far:
𝑝 𝑠 ∈ 𝑇, 𝐹
→ 𝑇, 𝐹 =𝐹 𝑻 𝑻
𝑭 ∨
Dr. M. Alkrunz
02.11.2019 4
EEE247: Discrete Mathematics
Functions,,,
Functions that we’ve seen so far:
A bit string of length “n” can be viewed as a function from the numbers
1, 2, … , 𝑛 (bit positions) to the bits 0, 1
𝐵 = 101, 𝑡𝑒𝑛 𝐵 3 = 1
A set "𝑆“ over universe “𝑈” can be viewed as a function from the elements of
“𝑈” to 𝑇, 𝐹
𝑆= 3, 𝑆 0 = 𝐹, 𝑆 3 =𝑇
Dr. M. Alkrunz
02.11.2019 5
EEE247: Discrete Mathematics
Functions,,,
Functions that we’ve seen so far:
⋂ 1, 3 , 3, 4 = 3
Dr. M. Alkrunz
02.11.2019 6
EEE247: Discrete Mathematics
Functions,,,
Range V.S. Codomain:
Suppose that grades turns out all A’s and B’s, then the range of 𝑓 will be
𝐴, 𝐵 , but its codomain is: 𝐴, 𝐵, 𝐶, 𝐷, 𝐹 .
The range: 𝑅 ⊆ 𝐵 of 𝑓 is 𝑏 ∃𝑎 𝑓 𝑎 = 𝑏
Dr. M. Alkrunz
02.11.2019 7
EEE247: Discrete Mathematics
Functions,,,
Constructing Function Operators
Dr. M. Alkrunz
02.11.2019 8
EEE247: Discrete Mathematics
Functions,,,
Constructing Function Operators
𝑓 ∘ 𝑔 : 𝐴 → 𝐶, where 𝑓 ∘ 𝑔 𝑎 = 𝑓(𝑔 𝑎 ).
Dr. M. Alkrunz
02.11.2019 9
EEE247: Discrete Mathematics
Functions,,,
Example:
𝑓∘𝑔 𝑥 =𝑓 𝑔 𝑥 = 2 3𝑥 + 2 + 3 = 6𝑥 + 4 + 3 = 6𝑥 + 7
𝑔∘𝑓 𝑥 =𝑔 𝑓 𝑥 = 3 2𝑥 + 3 + 2 = 6𝑥 + 9 + 2 = 6𝑥 + 11
One-to-One Functions:
Domain and range have the same cardinality. What about the codomain?!! [it
could be greater or equal)
Each element of the domain is injected into a different element of the range.
Dr. M. Alkrunz
02.11.2019 11
EEE247: Discrete Mathematics
Functions,,,
Example:
Dr. M. Alkrunz
02.11.2019 12
EEE247: Discrete Mathematics
Functions,,,
Sufficient Condition for (1-1) Functions:
𝑓 is strictly (or monotonically) increasing iff 𝑥 > 𝑦 → 𝑓 𝑥 > 𝑓(𝑦) for all 𝑥, 𝑦
in the domain.
𝑓 is strictly (or monotonically) decreasing iff 𝑥 > 𝑦 → 𝑓 𝑥 < 𝑓(𝑦) for all 𝑥, 𝑦
in the domain.
Dr. M. Alkrunz
02.11.2019 13
EEE247: Discrete Mathematics
Functions,,,
If 𝑓 is either strictly increasing or strictly decreasing, then 𝑓 is one to one.
Example: 𝑥 3
Dr. M. Alkrunz
02.11.2019 14
EEE247: Discrete Mathematics
Functions,,,
Onto Functions:
An Onto function maps the set A onto (over, covering) the entirely of the set
B, not just over a piece of it.
E.g., for domain and codomain “R”, 𝑥 3 is Onto, whereas 𝑥 2 is not [WHY?!!]
In 𝑥 3 , the domain and codomain is R.
In 𝑥 2 , the domain and codomain is not R.
Dr. M. Alkrunz
02.11.2019 15
EEE247: Discrete Mathematics
Functions,,,
Example:
Dr. M. Alkrunz
02.11.2019 16
EEE247: Discrete Mathematics
Functions,,,
Bijections:
Identity Function:
For any domain “A”, the identity function 𝐼: 𝐴 → 𝐴 (written as, 𝐼𝐴 ) is the
unique function such that (∀ 𝑎 ∈ 𝐴: 𝐼 𝑎 = 𝑎)
In discrete math, we will frequently use the following functions over real
numbers:
Sets that do not include all of their limit points are called “Open Sets”.
In a plot, we draw a limit point of a curve using an open dot (circle) if the limit
point is not on the curve, and with a closed dot (solid) if it is on the curve.
𝒙 𝒙
Dr. M. Alkrunz
02.11.2019 19
EEE247: Discrete Mathematics
*Questions
Dr. M. Alkrunz
02.11.2019 20
EEE247: Discrete Mathematics
*Thanks
Dr. M. Alkrunz
02.11.2019 21
EEE247: Discrete Mathematics