SlideShare a Scribd company logo
1 of 30
By:
Muhammad Adnan Ejaz
Sets, Functions and Groups
Definition
 In mathematics, a set is a collection of
distinct objects, considered as an object in its
own right. For example, the numbers 2, 4, and
6 are distinct objects when considered
separately, but when they are considered
collectively they form a single set of size
three, written {2,4,6}.
Notation
 There is a fairly simple notation for sets. We
simply list each element (or "member")
separated by a comma, and then put some
curly brackets around the whole thing:
Why are sets?
 Sets are the fundamental property of
mathematics. Now as a word of warning, sets,
by themselves, seem pretty pointless. But it's
only when we apply sets in different situations
do they become the powerful building block of
mathematics
Subsets
 When we define a set, if we take pieces of
that set, we can form what is called a subset.
 So for example, we have the set {1, 2, 3, 4, 5}.
A subset of this is {1, 2, 3}. Another subset is
{3, 4} or even another, {1}. However, {1, 6} is
not a subset, since it contains an element (6)
which is not in the parent set. In general:
Cont…
 A is a subset of B if and only if every element of A
is in B.
Proper Subsets
 A is a proper subset of B if and only if every
element in A is also in B, and there exists at
least one element in B that is not in A.
 {1, 2, 3} is a proper subset of {1, 2, 3, 4}
because the element 4 is not in the first set.
Empty (or Null) Set
 It is a set with no elements.It is represented
by {} (a set with no elements)
 The empty set is a subset of every set,
including the empty set itself.
Order
 No, not the order of the elements. In sets
it does not matter what order the elements
are in.
 Example: {1,2,3,4} is the same set as {3,1,4,2}
 When we say "order" in sets we mean the
size of the set.
 Example, {10, 20, 30, 40} has an order of 4
Functions
 In mathematics, a function is a relation
between a set of inputs and a set of
permissible outputs with the property that
each input is related to exactly one output. An
example is the function that relates each real
number x to its square x2.
 A function relates an input to an output.
Classic way of writing
 "f(x) = ... " is the classic way of writing a function.
Examples
 x2 (squaring) is a function
 x3+1 is a function
 Sine, Cosine and Tangent are functions used in
trigonometry
Function Name
 First, it is useful to give a function a name.
 The most common name is "f", but we can
have other names like "g" ... or even
"marmalade" if we want.
 We say "f of x equals x squared“
Example
 with f(x) = x2:
 an input of 4
 becomes an output of 16.
 In fact we can write f(4) = 16.
Relating
 At the top we said that a function was like a
machine. But a function doesn't really have
belts or cogs or any moving parts - and it
doesn't actually destroy what we put into it!
 A function relates an input to an output.
Example
 Example: this tree grows 20 cm every year, so
the height of the tree is related to its age
using the function h:
 h(age) = age × 20
 So, if the age is 10 years, the height is:
 h(10) = 10 × 20 = 200 cm
Rules
 A function has special rules:
 It must work for every possible input value
 And it has only one relationship for each
input value
 A function relates each element of a set
with exactly one element of another set
(possibly the same set).
Cont…
 "...each element..." means that every
element in X is related to some element
in Y.
 We say that the
function covers X (relates every element
of it).
 (But some elements of Y might not be
related to at all, which is fine.)
 "...exactly one..." means that a function
is single valued. It will not give back 2 or
more results for the same input.
 So "f(2) = 7 or 9" is not right!
Explicit vs. Implicit
 "Explicit" is when the function shows us how
to go directly from x to y, such as:
 y = x3 - 3
 When we know x, we can find y
 That is the classic y = f(x) style.
Cont…
 "Implicit" is when it is not given directly such
as:
 x2 - 3xy + y3 = 0
 When we know x, how do we find y?
 It may be hard (or impossible!) to go directly
from x to y.
 "Implicit" comes from "implied", in other words
shown indirectly.
Groups
21
Definition of Groups
A group (G, ・) is a set G together with a binary
operation ・ satisfying the following axioms.
(i) The operation ・ is associative; that is,
(a ・ b) ・ c = a ・ (b ・ c) for all a, b, c ∈ G.
(ii) There is an identity element e ∈ G such that
e ・ a = a ・ e = a for all a ∈ G.
(iii) Each element a ∈ G has an inverse element a−1
∈ G such that a-1・ a = a ・ a−1 = e.
Cont…
22
Examples of Groups
 Example Let G be the set of complex numbers
{1,−1, i,−i} and let ・ be the standard multiplication of
complex numbers. Then (G, ・) is an abelian group.
The product of any two of these elements is an
element of G; thus G is closed under the operation.
Multiplication is associative and commutative in G
because multiplication of complex numbers is always
associative and commutative. The identity element is
1, and the inverse of each element a is the element
1/a. Hence
1−1 = 1, (−1)−1 = −1, i−1 = −i, and (−i)−1 = i.
Cont…
23
 Subgroups
It often happens that some subset of a group
will
also form a group under the same
operation.Such
a group is called a subgroup. If (G, ・) is a
group and H is a nonempty subset of G, then
(H, ・) is called a subgroup of (G, ・) if the
following conditions hold:
(i) a ・ b ∈ H for all a, b ∈ H. (closure)
(ii) a−1 ∈ H for all a ∈ H. (existence of inverses)
Cont…
24
If the operation is commutative, that is,
if a ・ b = b ・ a for all a, b ∈ G,
the group is called commutative or abelian, in
honor of the
mathematician Niels Abel.
Cont…
25
 Conditions (i) and (ii) are equivalent to the single
condition:
(iii) a ・ b−1 ∈ H for all a, b ∈ H.
Cont…
26
 Definition. If G is a group and a  G, write
<a > = {an : n Z} = {all powers of a } .
It is easy to see that <a > is a subgroup of G .
< a > is called the cyclic subgroup of G
generated by a. A group G is called cyclic if there
is some a  G with G = < a >; in this case a is
called a generator of G.
Cont…
27
 Definition. If G is a finite group, then the number
of elements in G, denoted by G, is called the
order of G.
Theorem
28
 Theorem Lagrange’s Theorem. If G is a finite
group and H is a subgroup of G, then |H| divides
|G|.
Proof. The right cosets of H in G form a partition of
G, so G can be written as a disjoint union
G = Ha1 ∪ Ha2 ∪ ·· ·∪ Hak for a finite set of
elements a1, a2, . . . , ak ∈ G.
By Lemma 2.2.1, the number of elements in each
coset is |H|. Hence, counting all the elements in
the disjoint union above, we see that |G| = k|H|.
Therefore, |H| divides |G|.
Normal Subgroups
29
 Normal Subgrops
 Let G be a group with subgroup H. The right
cosets of H in G are equivalence classes under
the relation a ≡ b mod H, defined by ab−1 ∈ H. We
can also define the relation L on G so that aLb if
and only if b−1a ∈ H. This relation, L, is an
equivalence relation, and the equivalence class
containing a is the left coset aH = {ah|h ∈ H}. As
the following example shows, the left coset of an
element does not necessarily equal the right
coset.
Subgroup
30
Definition: A subgroup H of a group G is called a
normal subgroup of G if g−1hg ∈ H for all g ∈ G
and h ∈ H.

More Related Content

What's hot

Geometric Progressions
Geometric ProgressionsGeometric Progressions
Geometric Progressions
itutor
 
8.1 intro to functions
8.1 intro to functions8.1 intro to functions
8.1 intro to functions
Barbara Knab
 

What's hot (20)

Operations on sets
Operations on setsOperations on sets
Operations on sets
 
Introduction to sets
Introduction to setsIntroduction to sets
Introduction to sets
 
Set in discrete mathematics
Set in discrete mathematicsSet in discrete mathematics
Set in discrete mathematics
 
Cartesian product of two sets
Cartesian product of two setsCartesian product of two sets
Cartesian product of two sets
 
types of sets
types of setstypes of sets
types of sets
 
maths set
maths setmaths set
maths set
 
Integral calculus
Integral calculusIntegral calculus
Integral calculus
 
Geometric Progressions
Geometric ProgressionsGeometric Progressions
Geometric Progressions
 
Chapter 1, Sets
Chapter   1, SetsChapter   1, Sets
Chapter 1, Sets
 
Maths sets ppt
Maths sets pptMaths sets ppt
Maths sets ppt
 
Complement of a set
Complement of a setComplement of a set
Complement of a set
 
Sets
SetsSets
Sets
 
Relations in Discrete Math
Relations in Discrete MathRelations in Discrete Math
Relations in Discrete Math
 
Set Theory Presentation
Set Theory PresentationSet Theory Presentation
Set Theory Presentation
 
Sets and venn diagrams
Sets and venn diagramsSets and venn diagrams
Sets and venn diagrams
 
Introduction to Set Theory
Introduction to Set TheoryIntroduction to Set Theory
Introduction to Set Theory
 
Algebraic Structure
Algebraic StructureAlgebraic Structure
Algebraic Structure
 
8.1 intro to functions
8.1 intro to functions8.1 intro to functions
8.1 intro to functions
 
Sets
SetsSets
Sets
 
Inequalities
InequalitiesInequalities
Inequalities
 

Viewers also liked

Sets and Functions By Saleh ElShehabey
Sets and Functions By Saleh ElShehabeySets and Functions By Saleh ElShehabey
Sets and Functions By Saleh ElShehabey
ravingeek
 
Triangles and their properties
Triangles and their propertiesTriangles and their properties
Triangles and their properties
Ojasvita Chauhan
 
Coordinate goemetry
Coordinate goemetryCoordinate goemetry
Coordinate goemetry
Rahul Nair
 
Ppt on triangles cbse viith class
Ppt on triangles cbse viith classPpt on triangles cbse viith class
Ppt on triangles cbse viith class
N Kameshwar Rao
 
Triangle and its properties
Triangle and its propertiesTriangle and its properties
Triangle and its properties
Azam Khan
 

Viewers also liked (20)

Encourage the development and diffusion of environmentally friendly technolog...
Encourage the development and diffusion of environmentally friendly technolog...Encourage the development and diffusion of environmentally friendly technolog...
Encourage the development and diffusion of environmentally friendly technolog...
 
Reduced inequalities
Reduced inequalitiesReduced inequalities
Reduced inequalities
 
Stylistics and it’s relation with linguistics and literature
Stylistics and it’s relation with linguistics and literatureStylistics and it’s relation with linguistics and literature
Stylistics and it’s relation with linguistics and literature
 
Remainder theorem and factorization of polynomials
Remainder theorem and factorization of polynomialsRemainder theorem and factorization of polynomials
Remainder theorem and factorization of polynomials
 
Sets and Functions By Saleh ElShehabey
Sets and Functions By Saleh ElShehabeySets and Functions By Saleh ElShehabey
Sets and Functions By Saleh ElShehabey
 
IIT JEE Coordinate Geometry- Preparation Tips to Practical Applications! - as...
IIT JEE Coordinate Geometry- Preparation Tips to Practical Applications! - as...IIT JEE Coordinate Geometry- Preparation Tips to Practical Applications! - as...
IIT JEE Coordinate Geometry- Preparation Tips to Practical Applications! - as...
 
Bba 3274 qm week 3 probability distribution
Bba 3274 qm week 3 probability distributionBba 3274 qm week 3 probability distribution
Bba 3274 qm week 3 probability distribution
 
Triangles and their properties
Triangles and their propertiesTriangles and their properties
Triangles and their properties
 
Data members and member functions
Data members and member functionsData members and member functions
Data members and member functions
 
Trig Word Problems
Trig Word ProblemsTrig Word Problems
Trig Word Problems
 
CCC Project class ix x coordinate geometry
 CCC Project class ix x coordinate geometry CCC Project class ix x coordinate geometry
CCC Project class ix x coordinate geometry
 
Coordinate goemetry
Coordinate goemetryCoordinate goemetry
Coordinate goemetry
 
Coordinate geometry
Coordinate geometry Coordinate geometry
Coordinate geometry
 
Qualitative research
Qualitative researchQualitative research
Qualitative research
 
angle of elevation and depression
 angle of elevation and depression angle of elevation and depression
angle of elevation and depression
 
Ppt on triangles cbse viith class
Ppt on triangles cbse viith classPpt on triangles cbse viith class
Ppt on triangles cbse viith class
 
PPTs FOR 9TH CLASS COORDINATE GEOMETRY INTRODUCTION C
PPTs FOR 9TH CLASS COORDINATE GEOMETRY INTRODUCTION CPPTs FOR 9TH CLASS COORDINATE GEOMETRY INTRODUCTION C
PPTs FOR 9TH CLASS COORDINATE GEOMETRY INTRODUCTION C
 
Coordinate geometry
Coordinate geometryCoordinate geometry
Coordinate geometry
 
Congruence of triangles
Congruence of trianglesCongruence of triangles
Congruence of triangles
 
Triangle and its properties
Triangle and its propertiesTriangle and its properties
Triangle and its properties
 

Similar to Sets, functions and groups

Algebraic-Structures_GROUPS123344tgh.pdf
Algebraic-Structures_GROUPS123344tgh.pdfAlgebraic-Structures_GROUPS123344tgh.pdf
Algebraic-Structures_GROUPS123344tgh.pdf
ElaMaeSilmaro
 
Set Theory - Unit -II (Mathematical Foundation Of Computer Science).pptx
Set Theory - Unit -II (Mathematical Foundation  Of  Computer Science).pptxSet Theory - Unit -II (Mathematical Foundation  Of  Computer Science).pptx
Set Theory - Unit -II (Mathematical Foundation Of Computer Science).pptx
KalirajMariappan
 

Similar to Sets, functions and groups (20)

Unary and binary set operations
Unary and binary set operationsUnary and binary set operations
Unary and binary set operations
 
The basic concept of sets
The basic concept of setsThe basic concept of sets
The basic concept of sets
 
functions and sets.pdf
functions and sets.pdffunctions and sets.pdf
functions and sets.pdf
 
functions and sets.pdf
functions and sets.pdffunctions and sets.pdf
functions and sets.pdf
 
discrete maths notes.ppt
discrete maths notes.pptdiscrete maths notes.ppt
discrete maths notes.ppt
 
Group Theory and Its Application: Beamer Presentation (PPT)
Group Theory and Its Application:   Beamer Presentation (PPT)Group Theory and Its Application:   Beamer Presentation (PPT)
Group Theory and Its Application: Beamer Presentation (PPT)
 
Digital text book sets
Digital text book   setsDigital text book   sets
Digital text book sets
 
5.pptx
5.pptx5.pptx
5.pptx
 
Forth Lecture
Forth LectureForth Lecture
Forth Lecture
 
Group abstract algebra
Group  abstract algebraGroup  abstract algebra
Group abstract algebra
 
11848 ch04(1) (1)
11848 ch04(1) (1)11848 ch04(1) (1)
11848 ch04(1) (1)
 
11848 ch04
11848 ch0411848 ch04
11848 ch04
 
11848 ch04(1)
11848 ch04(1)11848 ch04(1)
11848 ch04(1)
 
Alabs1 a
Alabs1 aAlabs1 a
Alabs1 a
 
Algebraic-Structures_GROUPS123344tgh.pdf
Algebraic-Structures_GROUPS123344tgh.pdfAlgebraic-Structures_GROUPS123344tgh.pdf
Algebraic-Structures_GROUPS123344tgh.pdf
 
Exploring Group Theory in Discrete Mathematics
Exploring Group Theory in Discrete MathematicsExploring Group Theory in Discrete Mathematics
Exploring Group Theory in Discrete Mathematics
 
BCA_Semester-II-Discrete Mathematics_unit-i Group theory
BCA_Semester-II-Discrete Mathematics_unit-i Group theoryBCA_Semester-II-Discrete Mathematics_unit-i Group theory
BCA_Semester-II-Discrete Mathematics_unit-i Group theory
 
Set Theory - Unit -II (Mathematical Foundation Of Computer Science).pptx
Set Theory - Unit -II (Mathematical Foundation  Of  Computer Science).pptxSet Theory - Unit -II (Mathematical Foundation  Of  Computer Science).pptx
Set Theory - Unit -II (Mathematical Foundation Of Computer Science).pptx
 
Relations & functions
Relations & functionsRelations & functions
Relations & functions
 
Set
SetSet
Set
 

Recently uploaded

Salient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functionsSalient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functions
KarakKing
 

Recently uploaded (20)

Google Gemini An AI Revolution in Education.pptx
Google Gemini An AI Revolution in Education.pptxGoogle Gemini An AI Revolution in Education.pptx
Google Gemini An AI Revolution in Education.pptx
 
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdf
 
Towards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxTowards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptx
 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.
 
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
Sensory_Experience_and_Emotional_Resonance_in_Gabriel_Okaras_The_Piano_and_Th...
 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdf
 
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
TỔNG ÔN TẬP THI VÀO LỚP 10 MÔN TIẾNG ANH NĂM HỌC 2023 - 2024 CÓ ĐÁP ÁN (NGỮ Â...
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
 
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptxExploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
 
Micro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfMicro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdf
 
How to setup Pycharm environment for Odoo 17.pptx
How to setup Pycharm environment for Odoo 17.pptxHow to setup Pycharm environment for Odoo 17.pptx
How to setup Pycharm environment for Odoo 17.pptx
 
On National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan FellowsOn National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan Fellows
 
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdfUGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
 
Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)
 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POS
 
Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024
 
Salient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functionsSalient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functions
 
Beyond_Borders_Understanding_Anime_and_Manga_Fandom_A_Comprehensive_Audience_...
Beyond_Borders_Understanding_Anime_and_Manga_Fandom_A_Comprehensive_Audience_...Beyond_Borders_Understanding_Anime_and_Manga_Fandom_A_Comprehensive_Audience_...
Beyond_Borders_Understanding_Anime_and_Manga_Fandom_A_Comprehensive_Audience_...
 

Sets, functions and groups

  • 1. By: Muhammad Adnan Ejaz Sets, Functions and Groups
  • 2. Definition  In mathematics, a set is a collection of distinct objects, considered as an object in its own right. For example, the numbers 2, 4, and 6 are distinct objects when considered separately, but when they are considered collectively they form a single set of size three, written {2,4,6}.
  • 3. Notation  There is a fairly simple notation for sets. We simply list each element (or "member") separated by a comma, and then put some curly brackets around the whole thing:
  • 4. Why are sets?  Sets are the fundamental property of mathematics. Now as a word of warning, sets, by themselves, seem pretty pointless. But it's only when we apply sets in different situations do they become the powerful building block of mathematics
  • 5. Subsets  When we define a set, if we take pieces of that set, we can form what is called a subset.  So for example, we have the set {1, 2, 3, 4, 5}. A subset of this is {1, 2, 3}. Another subset is {3, 4} or even another, {1}. However, {1, 6} is not a subset, since it contains an element (6) which is not in the parent set. In general:
  • 6. Cont…  A is a subset of B if and only if every element of A is in B.
  • 7. Proper Subsets  A is a proper subset of B if and only if every element in A is also in B, and there exists at least one element in B that is not in A.  {1, 2, 3} is a proper subset of {1, 2, 3, 4} because the element 4 is not in the first set.
  • 8. Empty (or Null) Set  It is a set with no elements.It is represented by {} (a set with no elements)  The empty set is a subset of every set, including the empty set itself.
  • 9. Order  No, not the order of the elements. In sets it does not matter what order the elements are in.  Example: {1,2,3,4} is the same set as {3,1,4,2}  When we say "order" in sets we mean the size of the set.  Example, {10, 20, 30, 40} has an order of 4
  • 10. Functions  In mathematics, a function is a relation between a set of inputs and a set of permissible outputs with the property that each input is related to exactly one output. An example is the function that relates each real number x to its square x2.  A function relates an input to an output.
  • 11. Classic way of writing  "f(x) = ... " is the classic way of writing a function.
  • 12. Examples  x2 (squaring) is a function  x3+1 is a function  Sine, Cosine and Tangent are functions used in trigonometry
  • 13. Function Name  First, it is useful to give a function a name.  The most common name is "f", but we can have other names like "g" ... or even "marmalade" if we want.  We say "f of x equals x squared“
  • 14. Example  with f(x) = x2:  an input of 4  becomes an output of 16.  In fact we can write f(4) = 16.
  • 15. Relating  At the top we said that a function was like a machine. But a function doesn't really have belts or cogs or any moving parts - and it doesn't actually destroy what we put into it!  A function relates an input to an output.
  • 16. Example  Example: this tree grows 20 cm every year, so the height of the tree is related to its age using the function h:  h(age) = age × 20  So, if the age is 10 years, the height is:  h(10) = 10 × 20 = 200 cm
  • 17. Rules  A function has special rules:  It must work for every possible input value  And it has only one relationship for each input value  A function relates each element of a set with exactly one element of another set (possibly the same set).
  • 18. Cont…  "...each element..." means that every element in X is related to some element in Y.  We say that the function covers X (relates every element of it).  (But some elements of Y might not be related to at all, which is fine.)  "...exactly one..." means that a function is single valued. It will not give back 2 or more results for the same input.  So "f(2) = 7 or 9" is not right!
  • 19. Explicit vs. Implicit  "Explicit" is when the function shows us how to go directly from x to y, such as:  y = x3 - 3  When we know x, we can find y  That is the classic y = f(x) style.
  • 20. Cont…  "Implicit" is when it is not given directly such as:  x2 - 3xy + y3 = 0  When we know x, how do we find y?  It may be hard (or impossible!) to go directly from x to y.  "Implicit" comes from "implied", in other words shown indirectly.
  • 21. Groups 21 Definition of Groups A group (G, ・) is a set G together with a binary operation ・ satisfying the following axioms. (i) The operation ・ is associative; that is, (a ・ b) ・ c = a ・ (b ・ c) for all a, b, c ∈ G. (ii) There is an identity element e ∈ G such that e ・ a = a ・ e = a for all a ∈ G. (iii) Each element a ∈ G has an inverse element a−1 ∈ G such that a-1・ a = a ・ a−1 = e.
  • 22. Cont… 22 Examples of Groups  Example Let G be the set of complex numbers {1,−1, i,−i} and let ・ be the standard multiplication of complex numbers. Then (G, ・) is an abelian group. The product of any two of these elements is an element of G; thus G is closed under the operation. Multiplication is associative and commutative in G because multiplication of complex numbers is always associative and commutative. The identity element is 1, and the inverse of each element a is the element 1/a. Hence 1−1 = 1, (−1)−1 = −1, i−1 = −i, and (−i)−1 = i.
  • 23. Cont… 23  Subgroups It often happens that some subset of a group will also form a group under the same operation.Such a group is called a subgroup. If (G, ・) is a group and H is a nonempty subset of G, then (H, ・) is called a subgroup of (G, ・) if the following conditions hold: (i) a ・ b ∈ H for all a, b ∈ H. (closure) (ii) a−1 ∈ H for all a ∈ H. (existence of inverses)
  • 24. Cont… 24 If the operation is commutative, that is, if a ・ b = b ・ a for all a, b ∈ G, the group is called commutative or abelian, in honor of the mathematician Niels Abel.
  • 25. Cont… 25  Conditions (i) and (ii) are equivalent to the single condition: (iii) a ・ b−1 ∈ H for all a, b ∈ H.
  • 26. Cont… 26  Definition. If G is a group and a  G, write <a > = {an : n Z} = {all powers of a } . It is easy to see that <a > is a subgroup of G . < a > is called the cyclic subgroup of G generated by a. A group G is called cyclic if there is some a  G with G = < a >; in this case a is called a generator of G.
  • 27. Cont… 27  Definition. If G is a finite group, then the number of elements in G, denoted by G, is called the order of G.
  • 28. Theorem 28  Theorem Lagrange’s Theorem. If G is a finite group and H is a subgroup of G, then |H| divides |G|. Proof. The right cosets of H in G form a partition of G, so G can be written as a disjoint union G = Ha1 ∪ Ha2 ∪ ·· ·∪ Hak for a finite set of elements a1, a2, . . . , ak ∈ G. By Lemma 2.2.1, the number of elements in each coset is |H|. Hence, counting all the elements in the disjoint union above, we see that |G| = k|H|. Therefore, |H| divides |G|.
  • 29. Normal Subgroups 29  Normal Subgrops  Let G be a group with subgroup H. The right cosets of H in G are equivalence classes under the relation a ≡ b mod H, defined by ab−1 ∈ H. We can also define the relation L on G so that aLb if and only if b−1a ∈ H. This relation, L, is an equivalence relation, and the equivalence class containing a is the left coset aH = {ah|h ∈ H}. As the following example shows, the left coset of an element does not necessarily equal the right coset.
  • 30. Subgroup 30 Definition: A subgroup H of a group G is called a normal subgroup of G if g−1hg ∈ H for all g ∈ G and h ∈ H.