Www.company.com Module Code MA1032N: Logic Lecture for Week 8 2011-2012 Autumn.

Slides:



Advertisements
Similar presentations
Representing Relations
Advertisements

Partial Orderings Section 8.6.
Representing Relations Rosen 7.3. Using Matrices For finite sets we can use zero-one matrices. Elements of each set A and B must be listed in some particular.
CSE115/ENGR160 Discrete Mathematics 04/26/12 Ming-Hsuan Yang UC Merced 1.
8.3 Representing Relations Connection Matrices Let R be a relation from A = {a 1, a 2,..., a m } to B = {b 1, b 2,..., b n }. Definition: A n m  n connection.
13 May 2009Instructor: Tasneem Darwish1 University of Palestine Faculty of Applied Engineering and Urban Planning Software Engineering Department Introduction.
Representing Relations Using Matrices
Discrete Mathematics Lecture # 16 Inverse of Relations.
Applied Discrete Mathematics Week 11: Graphs
1 Representing Relations Part 2: directed graphs.
Discrete Mathematics Lecture#11.
Relations Chapter 9.
Chapter 9 1. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing.
Applied Discrete Mathematics Week 10: Equivalence Relations
Properties of Relations In many applications to computer science and applied mathematics, we deal with relations on a set A rather than relations from.
Chapter 9. Chapter Summary Relations and Their Properties Representing Relations Equivalence Relations Partial Orderings.
Lecture 14 Relations CSCI – 1900 Mathematics for Computer Science Fall 2014 Bill Pine.
Chapter 9. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations.
Discrete Math for CS Binary Relation: A binary relation between sets A and B is a subset of the Cartesian Product A x B. If A = B we say that the relation.
Chapter 9. Section 9.1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R ⊆ A × B. Example: Let A = { 0, 1,2 } and.
8.3 Representing Relations Directed Graphs –Vertex –Arc (directed edge) –Initial vertex –Terminal vertex.
Fall 2015 COMP 2300 Discrete Structures for Computation Donghyun (David) Kim Department of Mathematics and Physics North Carolina Central University 1.
Discrete Mathematics Relation.
Module Code MA1032N: Logic Lecture for Week Autumn.
1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.
Discrete Mathematics Lecture # 15 Types of Relations (contd.)
Relation. Combining Relations Because relations from A to B are subsets of A x B, two relations from A to B can be combined in any way two sets can be.
Discrete Structures – CNS2300
Chapter 9. Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations.
Module Code MA1032N: Logic Lecture for Week Autumn.
Representing Relations Using Matrices A relation between finite sets can be represented using a zero-one matrix Suppose R is a relation from A = {a 1,
Chapter Relations and Their Properties
Relations Section 9.1, 9.3—9.5 of Rosen Spring 2012
Chapter 8: Relations. 8.1 Relations and Their Properties Binary relations: Let A and B be any two sets. A binary relation R from A to B, written R : A.
8.4 Closures of Relations Definition: The closure of a relation R with respect to property P is the relation obtained by adding the minimum number of.
RelationsCSCE 235, Spring Introduction A relation between elements of two sets is a subset of their Cartesian products (set of all ordered pairs.
Relations and Functions ORDERED PAIRS AND CARTESIAN PRODUCT An ordered pair consists of two elements, say a and b, in which one of them, say a is designated.
Section 7.3: Representing Relations In this section, we will cover two ways to represent a relation over a finite set other than simply listing the relation.
Section 9.3. Section Summary Representing Relations using Matrices Representing Relations using Digraphs.
Chapter8 Relations 8.1: Relations and their properties.
Binary Relation: A binary relation between sets A and B is a subset of the Cartesian Product A x B. If A = B we say that the relation is a relation on.
Representing Relations Using Digraphs
Discrete Mathematical
Relations and Their Properties
Chapter 5 Relations and Operations
Relations.
CSE 2813 Discrete Structures
CSE15 Discrete Mathematics 05/03/17
Relations Binary relations represent relationships between the elements of two sets. A binary relation R from set A to set B is defined by: R  A 
Learn about relations and their basic properties
Equivalence Relations
Relations Chapter 9.
Lecture 5.2: Special Graphs and Matrix Representation
Relations and Digraphs
Representing Relations
CSE115/ENGR160 Discrete Mathematics 04/28/11
CSNB 143 Discrete Mathematical Structures
Mathematical Structures for Computer Science Chapter 6
Applied Discrete Mathematics Week 10: Equivalence Relations
Lecture 15: Graph Theory II
Discrete Mathematics Lecture 12: Graph Theory
Properties of Relations
Copyright © Cengage Learning. All rights reserved.
9.5 Equivalence Relations
Discrete Math (2) Haiming Chen Associate Professor, PhD
Relations.
Chapter 8 (Part 2): Relations
Agenda Lecture Content: Relations (Relasi)
Lecture # 16 Inverse of Relations
4.4 Properties of Relations
Presentation transcript:

Module Code MA1032N: Logic Lecture for Week Autumn

Agenda Week 7 Lecture coverage: –Relations –Pictorial representation of relations –Matrix Representation –Some special relations

Definition

Example

Example (cont.)

Example (cont.)

Example (cont.)

Pictorial representation of relations Often the best way of illustrating the structure and properties of a relation is by means of a diagrammatic representation of the relation. In this section we will introduce two such representations 1. Digraphs 2. Matrix Representation

Digraphs In discrete mathematics a graph is a set of points (called vertices) some of which are connected by lines (or arcs) called edges. For example: Here there are the four vertices a, b, c and d with edges as shown. Note that there is an edge joining b to itself. Such an edge is called a loop.

Digraphs (Cont.)

Digraphs (Cont.) A graph in which every edge has a direction (indicated by an arrow) is called a directed graph or digraph. Notice that there are two directed edges between a and d, one in each direction and that these really are different edges.

Digraphs (Cont.) A relation R on a set A having a finite number of elements can now be represented by a digraph as follows: (i)Draw a small circular vertex for each element of A, labelling each vertex with the corresponding element. (ii)If x and y are elements of A and xRy, draw a directed edge from x to y. Do this for every pair of related elements.

Digraphs (Cont.) For example: Let A = {1, 2, 3, 4} and R = {(1, 2), (1, 3), (1, 4), (2, 2), (3, 1), (4, 2)} The digraph of R is then:

Digraphs (Cont.) For example: Let A = {a, b, c, d, e} and suppose two letters are related if the first precedes the second in the alphabet. The digraph representation of this relation is then:

Matrix Representation

Matrix Representation The two relations from above examples have the following relation matrices:

Some special relations 1.Symmetric Relations 2.Anti-symmetric Relations 3.Reflexive Relations 4.Transitive Relations

Symmetric

Symmetric (cont.) Hence y – x is divisible by 3 and so yRx.

Symmetric (cont.)

Symmetric (cont.) The only exception to this is that a symmetric relation may have loop edges: The relation R = { (1, 2), (2, 1), (2, 3), (2, 2), (3, 2) } on the set A = {1, 2, 3} is symmetric. Its digraph is as below:

Symmetric (cont.)

Symmetric (cont.) Considering again the symmetric relation of above example. We see that the matrix R is

Anti-symmetric Relations

Antisymmetric Relations

Antisymmetric Relations (cont.)

Antisymmetric Relations (cont.)

Antisymmetric Relations (cont.)

Antisymmetric Relations (cont.)

Antisymmetric Relations (cont.) Note that the criterion of a) and b) above hold.

Reflexive Relations

Reflexive Relations (cont.)

Reflexive Relations (cont.)

Reflexive Relations (cont.)

Reflexive Relations (cont.) Example: Let A = {1, 2, 3, 4} and R = {(1, 1), (1, 2), (2, 2), (2, 3), (3, 3), (3, 1), (4, 4)} gives the following digraph and matrix of R:

Transitive Relations

Transitive Relations (cont.)

Transitive Relations (cont.) In all cases where aRb and bRc it is also true that aRc. Therefore R is transitive.

Transitive Relations (cont.) Examples 2.Let A={1, 2, 3, 4} and R={(1, 1), (1, 3), (3, 1), (1, 2), (3, 2), (3, 4), (1, 4)} Then R is not transitive. To demonstrate this we need only find one occurrence of aRb and bRc for which Here we have 3R1 and 1R3 but

Transitive Relations (cont.)

Transitive Relations (cont.)

Transitive Relations (cont.) ii) every time there is an edge from x to y and an edge from y back to x there must be loops at both x and y:

Transitive Relations (cont.) b)i) every time there is a 1 in position (x, y) and a 1 in position (y, z)there must be a 1 in a position (x, z). ii) every time there is a 1 in position (x, y) and a 1 in position (y, x) there must be a 1 in both diagonal positions (x, x) and (y, y). The above interpretations would be difficult to check for relations on large sets. For small sets the following systematic approaches may be helpful.

Transitive Relations (cont.) The digraph and matrix representations for the relation Let A = {1, 2, 3, 4} and R = { (1, 1), (1, 2), (2, 3), (1, 3), (4, 1), (4, 2), (4, 3)}

Transitive Relations (cont.) Example: The matrix of a relation R on the set A = {1, 2, 3, 4} is given below: Here we find Since N(3, 3) = 0 we conclude that R is not transitive without further investigation.