SlideShare a Scribd company logo
1 of 36
Download to read offline
Function and Relation
Prepared by: Angela Clarito
Relation
● It is a Rule that pairs each element in one set.
● It is a set of ordered pairs, x and y.
● A relation R on a set X is a subset of X x X. If (a,b) ∊ R,
we write x R y. Reads as “ x is related to y”.
Relation
● A = {(1,1),(1,2),(1,3),(2,1),(2,2),(2,3))
X y
2
1 1
2
3
R
Types of Relations
Reflexive
Irreflexive
Symmetric
Asymmetric
Antisymmetric
Transitive
Reflexive Relation
● A relation R on a set is called reflexive if (a,a) ∊ R for every
element a ∊ A. In other words, ∀ a((a,a) ∊ R).
● A relation will be known as reflexive relative if every element of
set A is related to itself. The word reflexive means that in a set,
the image of every element has its own reflection.
Example:
Let A = {1,2,3,4}
R={(1,1),(2,2),(3,3),(4,4)}
Irreflexive Relation
● A relation R on a set A is called irreflexive if ∀a ∊ A,
(a,a) ∉ R.
Example:
Let A = {1,2,3,4}
R={(1,2),(1,3),(1,4),(2,1),(2,3),(2,4),(3,1),(3,2),
(3,4),(4,1),(4,2),(4,3)}
Symmetric Relation
● A relation R on a set A is called symmetric if (b,a) ∊ R
holds when (a,b) ∊ R for all a, b ∊ A.
● In other words, relation R on a set A is symmetric if
∀a ∀b((a,b) ∊ R → (b,a) ∊ R.
Example:
Let A = {1,2,3,4}
R={(1,2),(2,1),(1,3),(3,1),(1,4),(4,1)}
Antisymmetric Relation
● A relation R on a set A is called antisymmetric if ∀a
∀b((a,b) ∊ R ^ (b,a) ∊ R → (a=b)) whenever we have
(a,b) in R, we will never have (b,a) in R until or unless
(a=b).
Example:
Let A = {1,2}
R1
={(1,1),(2,1),(2,2)}
R2
={(1,1),(1,2),(2,1),(2,2)}
Asymmetric Relation
● A relation R on a set A is called asymmetric if ∀a
∀b((a,b) ∊ R ^ (b,a) ∉ R) whenever we have (a,b) in R,
we will never have (b,a) in R until or unless (a=b).
Example:
Let A = {1,2,3,4}
R={(1,2),(1,3),(1,4),(2,3),(2,4)}
Transitive Relation
● A relation R on a set A is called transitive if ∀a ∀b
∀c(((a,b) ∊ R ^ (b,c) ∊ R) → (a,c) ∊ R)
Example:
Let A = {1,2,3}
R={(1,3),(1,2),(3,2)}
Function
● It is a Rule that pairs each x-coordinate to exactly one element
from y-coordinates.
● It is a set of ordered pairs (relation) where x-coordinate should
not be repeated.
● Are sometimes called as mappings or transformations.
● A function f from A to B , denoted f: A → B, assign each
element of A exactly on element of B.
Relation
● A = {(1,1),(1,2),(1,3),(2,1),(2,2),(2,3))
X y
2
1 1
2
3
R
Terminologies
Domain
Codomain
Image
Preimage
Range
Domain
Is the set x.
Codomain
Is the set y .
Range
The values in set y that is paired. .
Preimage
The value in y that is paired to the
value in x.
Image
The value in x that is paired to the
value in y.
Answer the following
for f: X → Y
Domain
Codomain
Range
Image(s)
Preimage
f(y) = ?
Types of Functions
Injective
Surjective
Bijective
Inverse
Composition
Injective (One to one) Functions
Each Value in the range corresponds to exactly one element in
then domain.
∀ a ∀ b (( a ≠ b) → f (a) ≠ f (b)))
∀ a ∀ b ((f (a) = f (b)) → (a = b))
∀ reads as “for all”
≠ reads as “not equal to”
CONTRAPOSITIVE
Injective (One to one) Functions
Surjective (Onto) Functions
Each element in the codomain maps to at least one element in the
domain.
∀ y ∃ x (f(x) = y)
∃ reads as “ there exists”
Surjective (Onto) Functions
Bijective (One to one correspondence)
Functions
Functions that are both one-to-one and onto, or both surjective
and injective.
∀ y ∃ x (f(x) = y)
∃ reads as “ there exists”
Bijective (One to one correspondence)
Functions
Problem:
Let f be a function from X = { a, b, c, d } to Y = { 1, 2, 3 } defined by
f(a) = 3, f(b) = 2, f(c) = 2 and f(d) = 3. Is f: X → Y either one-to one
or onto?
Examples of Different Types of
Correspondences
One-to-one, not onto Onto, not one-to-one
One-to-one, onto Neither one-to-one, onto
Not a Function
Inverse Function
● Given any function, f, the inverse of the function f-1,
is a relation
that is formed by interchanging each (x, y) of f to a (y, x) of f-1,
.
● The function f would be denoted as f-1,
and read as “f inverse”.
NOTE:
A one-to-one correspondence is called invertible because we can define
an inverse of this function. A function is not invertible if it is not a one-to
one correspondence, because inverse of such a function does not exist.
Inverse Function
Composition of Function
● The composition of two functions g: A → B and f: B → C, denoted
by f о g, is defined by (f о g) (a) = f(g(a)) or (g о f) (a) = g(f(a))
This means that
First, function g is applied to element A, mapping it into an element of B.
Then, function f is applied to this element of B, mapping it into an element
of C.
Therefore, the composite function maps from A to C.
Composition of Function
Thank You!

More Related Content

Similar to Function and Relation.pdf

Final relation1 m_tech(cse)
Final relation1 m_tech(cse)Final relation1 m_tech(cse)
Final relation1 m_tech(cse)Himanshu Dua
 
Final relation1 m_tech(cse)
Final relation1 m_tech(cse)Final relation1 m_tech(cse)
Final relation1 m_tech(cse)Himanshu Dua
 
Final relation1 m_tech(cse)
Final relation1 m_tech(cse)Final relation1 m_tech(cse)
Final relation1 m_tech(cse)Himanshu Dua
 
237654933 mathematics-t-form-6
237654933 mathematics-t-form-6237654933 mathematics-t-form-6
237654933 mathematics-t-form-6homeworkping3
 
Relations & functions.pps
Relations  &  functions.ppsRelations  &  functions.pps
Relations & functions.ppsindu psthakur
 
WEEK-2-FUNCTION-AND-RELATION-EVALAUTION-OF-A-FUNCTIONS.pptx
WEEK-2-FUNCTION-AND-RELATION-EVALAUTION-OF-A-FUNCTIONS.pptxWEEK-2-FUNCTION-AND-RELATION-EVALAUTION-OF-A-FUNCTIONS.pptx
WEEK-2-FUNCTION-AND-RELATION-EVALAUTION-OF-A-FUNCTIONS.pptxExtremelyDarkness2
 
LANGUAGE-OF-RELATIONS-AND-FUNCTIONS.pptx
LANGUAGE-OF-RELATIONS-AND-FUNCTIONS.pptxLANGUAGE-OF-RELATIONS-AND-FUNCTIONS.pptx
LANGUAGE-OF-RELATIONS-AND-FUNCTIONS.pptxJasonTagapanGulla
 
5.1 Defining and visualizing functions. Dynamic slides.
5.1 Defining and visualizing functions. Dynamic slides.5.1 Defining and visualizing functions. Dynamic slides.
5.1 Defining and visualizing functions. Dynamic slides.Jan Plaza
 
4.1 Inverse Functions
4.1 Inverse Functions4.1 Inverse Functions
4.1 Inverse Functionssmiller5
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relationsnszakir
 
7.4 inverse functions
7.4 inverse functions7.4 inverse functions
7.4 inverse functionshisema01
 

Similar to Function and Relation.pdf (20)

relations (1).pdf
relations (1).pdfrelations (1).pdf
relations (1).pdf
 
Final relation1 m_tech(cse)
Final relation1 m_tech(cse)Final relation1 m_tech(cse)
Final relation1 m_tech(cse)
 
Final relation1 m_tech(cse)
Final relation1 m_tech(cse)Final relation1 m_tech(cse)
Final relation1 m_tech(cse)
 
Final relation1 m_tech(cse)
Final relation1 m_tech(cse)Final relation1 m_tech(cse)
Final relation1 m_tech(cse)
 
L08a
L08aL08a
L08a
 
237654933 mathematics-t-form-6
237654933 mathematics-t-form-6237654933 mathematics-t-form-6
237654933 mathematics-t-form-6
 
Introductions to Relations
Introductions to RelationsIntroductions to Relations
Introductions to Relations
 
Relations & functions.pps
Relations  &  functions.ppsRelations  &  functions.pps
Relations & functions.pps
 
function
functionfunction
function
 
WEEK-2-FUNCTION-AND-RELATION-EVALAUTION-OF-A-FUNCTIONS.pptx
WEEK-2-FUNCTION-AND-RELATION-EVALAUTION-OF-A-FUNCTIONS.pptxWEEK-2-FUNCTION-AND-RELATION-EVALAUTION-OF-A-FUNCTIONS.pptx
WEEK-2-FUNCTION-AND-RELATION-EVALAUTION-OF-A-FUNCTIONS.pptx
 
LANGUAGE-OF-RELATIONS-AND-FUNCTIONS.pptx
LANGUAGE-OF-RELATIONS-AND-FUNCTIONS.pptxLANGUAGE-OF-RELATIONS-AND-FUNCTIONS.pptx
LANGUAGE-OF-RELATIONS-AND-FUNCTIONS.pptx
 
5.1 Defining and visualizing functions. Dynamic slides.
5.1 Defining and visualizing functions. Dynamic slides.5.1 Defining and visualizing functions. Dynamic slides.
5.1 Defining and visualizing functions. Dynamic slides.
 
Sets and relations
Sets and relationsSets and relations
Sets and relations
 
Calc 5.3
Calc 5.3Calc 5.3
Calc 5.3
 
4.1 Inverse Functions
4.1 Inverse Functions4.1 Inverse Functions
4.1 Inverse Functions
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relations
 
7.4 inverse functions
7.4 inverse functions7.4 inverse functions
7.4 inverse functions
 
LCV-MATH-1.pptx
LCV-MATH-1.pptxLCV-MATH-1.pptx
LCV-MATH-1.pptx
 
Lemh101
Lemh101Lemh101
Lemh101
 
Inverse function
Inverse function Inverse function
Inverse function
 

More from AngelaClarito1

History of Operating System (1).pptx
History of Operating System (1).pptxHistory of Operating System (1).pptx
History of Operating System (1).pptxAngelaClarito1
 
Permutation and combination.pptx
Permutation and combination.pptxPermutation and combination.pptx
Permutation and combination.pptxAngelaClarito1
 
Lecture-4.1-Operating-System.pptx
Lecture-4.1-Operating-System.pptxLecture-4.1-Operating-System.pptx
Lecture-4.1-Operating-System.pptxAngelaClarito1
 
Introduction to Java.pptx
Introduction to Java.pptxIntroduction to Java.pptx
Introduction to Java.pptxAngelaClarito1
 
Lecture_1___Introduction_to_OOP.pdf.pdf
Lecture_1___Introduction_to_OOP.pdf.pdfLecture_1___Introduction_to_OOP.pdf.pdf
Lecture_1___Introduction_to_OOP.pdf.pdfAngelaClarito1
 

More from AngelaClarito1 (7)

History of Operating System (1).pptx
History of Operating System (1).pptxHistory of Operating System (1).pptx
History of Operating System (1).pptx
 
Permutation and combination.pptx
Permutation and combination.pptxPermutation and combination.pptx
Permutation and combination.pptx
 
Lecture-4.1-Operating-System.pptx
Lecture-4.1-Operating-System.pptxLecture-4.1-Operating-System.pptx
Lecture-4.1-Operating-System.pptx
 
Introduction to Java.pptx
Introduction to Java.pptxIntroduction to Java.pptx
Introduction to Java.pptx
 
Lecture_1___Introduction_to_OOP.pdf.pdf
Lecture_1___Introduction_to_OOP.pdf.pdfLecture_1___Introduction_to_OOP.pdf.pdf
Lecture_1___Introduction_to_OOP.pdf.pdf
 
JAVA.1st lesson.pptx
JAVA.1st lesson.pptxJAVA.1st lesson.pptx
JAVA.1st lesson.pptx
 
01 IT Vocabulary.pptx
01 IT Vocabulary.pptx01 IT Vocabulary.pptx
01 IT Vocabulary.pptx
 

Recently uploaded

08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking MenDelhi Call girls
 
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j
 
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 3652toLead Limited
 
08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking MenDelhi Call girls
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonetsnaman860154
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking MenDelhi Call girls
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)Gabriella Davis
 
SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024Scott Keck-Warren
 
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...HostedbyConfluent
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationRadu Cotescu
 
Unblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesUnblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesSinan KOZAK
 
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...Igalia
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationMichael W. Hawkins
 
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Drew Madelung
 
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitectureUnderstanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitecturePixlogix Infotech
 
Enhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for PartnersEnhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for PartnersThousandEyes
 
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024BookNet Canada
 
Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Allon Mureinik
 
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...shyamraj55
 
A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024Results
 

Recently uploaded (20)

08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
 
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
 
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
 
08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
 
SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024
 
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organization
 
Unblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesUnblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen Frames
 
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day Presentation
 
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
 
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitectureUnderstanding the Laravel MVC Architecture
Understanding the Laravel MVC Architecture
 
Enhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for PartnersEnhancing Worker Digital Experience: A Hands-on Workshop for Partners
Enhancing Worker Digital Experience: A Hands-on Workshop for Partners
 
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
 
Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)
 
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
 
A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024
 

Function and Relation.pdf

  • 1. Function and Relation Prepared by: Angela Clarito
  • 2. Relation ● It is a Rule that pairs each element in one set. ● It is a set of ordered pairs, x and y. ● A relation R on a set X is a subset of X x X. If (a,b) ∊ R, we write x R y. Reads as “ x is related to y”.
  • 3. Relation ● A = {(1,1),(1,2),(1,3),(2,1),(2,2),(2,3)) X y 2 1 1 2 3 R
  • 6. Reflexive Relation ● A relation R on a set is called reflexive if (a,a) ∊ R for every element a ∊ A. In other words, ∀ a((a,a) ∊ R). ● A relation will be known as reflexive relative if every element of set A is related to itself. The word reflexive means that in a set, the image of every element has its own reflection. Example: Let A = {1,2,3,4} R={(1,1),(2,2),(3,3),(4,4)}
  • 7. Irreflexive Relation ● A relation R on a set A is called irreflexive if ∀a ∊ A, (a,a) ∉ R. Example: Let A = {1,2,3,4} R={(1,2),(1,3),(1,4),(2,1),(2,3),(2,4),(3,1),(3,2), (3,4),(4,1),(4,2),(4,3)}
  • 8. Symmetric Relation ● A relation R on a set A is called symmetric if (b,a) ∊ R holds when (a,b) ∊ R for all a, b ∊ A. ● In other words, relation R on a set A is symmetric if ∀a ∀b((a,b) ∊ R → (b,a) ∊ R. Example: Let A = {1,2,3,4} R={(1,2),(2,1),(1,3),(3,1),(1,4),(4,1)}
  • 9. Antisymmetric Relation ● A relation R on a set A is called antisymmetric if ∀a ∀b((a,b) ∊ R ^ (b,a) ∊ R → (a=b)) whenever we have (a,b) in R, we will never have (b,a) in R until or unless (a=b). Example: Let A = {1,2} R1 ={(1,1),(2,1),(2,2)} R2 ={(1,1),(1,2),(2,1),(2,2)}
  • 10. Asymmetric Relation ● A relation R on a set A is called asymmetric if ∀a ∀b((a,b) ∊ R ^ (b,a) ∉ R) whenever we have (a,b) in R, we will never have (b,a) in R until or unless (a=b). Example: Let A = {1,2,3,4} R={(1,2),(1,3),(1,4),(2,3),(2,4)}
  • 11. Transitive Relation ● A relation R on a set A is called transitive if ∀a ∀b ∀c(((a,b) ∊ R ^ (b,c) ∊ R) → (a,c) ∊ R) Example: Let A = {1,2,3} R={(1,3),(1,2),(3,2)}
  • 12. Function ● It is a Rule that pairs each x-coordinate to exactly one element from y-coordinates. ● It is a set of ordered pairs (relation) where x-coordinate should not be repeated. ● Are sometimes called as mappings or transformations. ● A function f from A to B , denoted f: A → B, assign each element of A exactly on element of B.
  • 13. Relation ● A = {(1,1),(1,2),(1,3),(2,1),(2,2),(2,3)) X y 2 1 1 2 3 R
  • 16. Domain Is the set x. Codomain Is the set y . Range The values in set y that is paired. .
  • 17. Preimage The value in y that is paired to the value in x. Image The value in x that is paired to the value in y.
  • 18. Answer the following for f: X → Y Domain Codomain Range Image(s) Preimage f(y) = ?
  • 21. Injective (One to one) Functions Each Value in the range corresponds to exactly one element in then domain. ∀ a ∀ b (( a ≠ b) → f (a) ≠ f (b))) ∀ a ∀ b ((f (a) = f (b)) → (a = b)) ∀ reads as “for all” ≠ reads as “not equal to” CONTRAPOSITIVE
  • 22. Injective (One to one) Functions
  • 23. Surjective (Onto) Functions Each element in the codomain maps to at least one element in the domain. ∀ y ∃ x (f(x) = y) ∃ reads as “ there exists”
  • 25. Bijective (One to one correspondence) Functions Functions that are both one-to-one and onto, or both surjective and injective. ∀ y ∃ x (f(x) = y) ∃ reads as “ there exists”
  • 26. Bijective (One to one correspondence) Functions
  • 27. Problem: Let f be a function from X = { a, b, c, d } to Y = { 1, 2, 3 } defined by f(a) = 3, f(b) = 2, f(c) = 2 and f(d) = 3. Is f: X → Y either one-to one or onto?
  • 28. Examples of Different Types of Correspondences
  • 29. One-to-one, not onto Onto, not one-to-one
  • 30. One-to-one, onto Neither one-to-one, onto
  • 32. Inverse Function ● Given any function, f, the inverse of the function f-1, is a relation that is formed by interchanging each (x, y) of f to a (y, x) of f-1, . ● The function f would be denoted as f-1, and read as “f inverse”. NOTE: A one-to-one correspondence is called invertible because we can define an inverse of this function. A function is not invertible if it is not a one-to one correspondence, because inverse of such a function does not exist.
  • 34. Composition of Function ● The composition of two functions g: A → B and f: B → C, denoted by f о g, is defined by (f о g) (a) = f(g(a)) or (g о f) (a) = g(f(a)) This means that First, function g is applied to element A, mapping it into an element of B. Then, function f is applied to this element of B, mapping it into an element of C. Therefore, the composite function maps from A to C.