Binary Relations McGraw-Hill Education

Similar documents
CS 441 Discrete Mathematics for CS Lecture 24. Relations IV. CS 441 Discrete mathematics for CS. Equivalence relation

9.5 Equivalence Relations

CHAPTER 8. Copyright Cengage Learning. All rights reserved.

What Is A Relation? Example. is a relation from A to B.

Section 10.1: Graphs and Graph Models. Introduction to Graphs Definition of a Graph Types of Graphs Examples of Graphs

Power Set of a set and Relations

Introduction to Sets and Logic (MATH 1190)

Slides for Faculty Oxford University Press All rights reserved.

r=1 The Binomial Theorem. 4 MA095/98G Revision

Logic and Discrete Mathematics. Section 2.5 Equivalence relations and partitions

1 Elementary number theory

DEFINITION OF GRAPH GRAPH THEORY GRAPHS ACCORDING TO THEIR VERTICES AND EDGES EXAMPLE GRAPHS ACCORDING TO THEIR VERTICES AND EDGES

Antisymmetric Relations. Definition A relation R on A is said to be antisymmetric

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2

10/11/2018. Partial Orderings. Partial Orderings. Partial Orderings. Partial Orderings. Partial Orderings. Partial Orderings

1. Represent each of these relations on {1, 2, 3} with a matrix (with the elements of this set listed in increasing order).

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial.

1. a graph G = (V (G), E(G)) consists of a set V (G) of vertices, and a set E(G) of edges (edges are pairs of elements of V (G))

SETS. Sets are of two sorts: finite infinite A system of sets is a set, whose elements are again sets.

However, this is not always true! For example, this fails if both A and B are closed and unbounded (find an example).

Graph Theory: Introduction

Chapter 4. Relations & Graphs. 4.1 Relations. Exercises For each of the relations specified below:


CHAPTER 3 FUZZY RELATION and COMPOSITION

Graphs. Introduction To Graphs: Exercises. Definitions:

Number Theory and Graph Theory

Directed Graph and Binary Trees

Review of Sets. Review. Philippe B. Laval. Current Semester. Kennesaw State University. Philippe B. Laval (KSU) Sets Current Semester 1 / 16

V :non-empty vertex ornode set E V V :edge set G (V, E) :directed graph on V, or digraph on V

Basics of Graph Theory

Definition 1 (Hand-shake model). A hand shake model is an incidence geometry for which every line has exactly two points.

2 Review of Set Theory

Introduction to Graph Theory

Complexity Theory. Compiled By : Hari Prasad Pokhrel Page 1 of 20. ioenotes.edu.np

Euclid s Axioms. 1 There is exactly one line that contains any two points.

Computer Science and Mathematics. Part I: Fundamental Mathematical Concepts Winfried Kurth

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department

Discrete mathematics , Fall Instructor: prof. János Pach

CMSC 380. Graph Terminology and Representation

Digraphs and Relations

Binary Relations Part One

Binary Relations Part One

1 Elementary number theory

Structures with lots of symmetry

Graceful Labeling for Cycle of Graphs

Introduction to Graphs

Symmetric Product Graphs

Math 170- Graph Theory Notes

Introduction III. Graphs. Motivations I. Introduction IV

CSE 20 DISCRETE MATH. Winter

Math Introduction to Advanced Mathematics

Notes on Minimum Cuts and Modular Functions

2 Solution of Homework

Graph and Digraph Glossary

Math 302 Introduction to Proofs via Number Theory. Robert Jewett (with small modifications by B. Ćurgus)

4&5 Binary Operations and Relations. The Integers. (part I)

The Further Mathematics Support Programme

Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.

A set with only one member is called a SINGLETON. A set with no members is called the EMPTY SET or 2 N

Lattice Tutorial Version 1.0

Ch 3.4 The Integers and Division

Math 776 Graph Theory Lecture Note 1 Basic concepts

Notes on metric spaces and topology. Math 309: Topics in geometry. Dale Rolfsen. University of British Columbia

GRAPHS, GRAPH MODELS, GRAPH TERMINOLOGY, AND SPECIAL TYPES OF GRAPHS

Relational Database: The Relational Data Model; Operations on Database Relations

CPCS Discrete Structures 1

CSE 20 DISCRETE MATH. Fall

Solutions to Homework 10

Module 11. Directed Graphs. Contents

Lab 10 - Graph Theory Computer Science 1FC3

This Lecture. We will first introduce some basic set theory before we do counting. Basic Definitions. Operations on Sets.

CMSC Theory of Algorithms Second Midterm

Graphs and trees come up everywhere. We can view the internet as a graph (in many ways) Web search views web pages as a graph

CS 361 Data Structures & Algs Lecture 11. Prof. Tom Hayes University of New Mexico

Graphs: Introduction. Ali Shokoufandeh, Department of Computer Science, Drexel University

Strongly connected: A directed graph is strongly connected if every pair of vertices are reachable from each other.

Foundations of Computer Science Spring Mathematical Preliminaries

DISCRETE MATHEMATICS

Math.3336: Discrete Mathematics. Chapter 10 Graph Theory

Information Science 2

following determine whether it is an element, subset or neither of A and

Algorithmic number theory Cryptographic hardness assumptions. Table of contents

Solutions to Some Examination Problems MATH 300 Monday 25 April 2016

CHAPTER 3 FUZZY RELATION and COMPOSITION

CSC Discrete Math I, Spring Sets

MAT 280: Laplacian Eigenfunctions: Theory, Applications, and Computations Lecture 18: Introduction to Spectral Graph Theory I. Basics of Graph Theory

2. Sets. 2.1&2.2: Sets and Subsets. Combining Sets. c Dr Oksana Shatalov, Fall

Sets 1. The things in a set are called the elements of it. If x is an element of the set S, we say

Math 187 Sample Test II Questions

Lecture 22 Tuesday, April 10

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS

G.CO Reflections and Isosceles

The vertex set is a finite nonempty set. The edge set may be empty, but otherwise its elements are two-element subsets of the vertex set.

Geometry Cheat Sheet

Math 443/543 Graph Theory Notes

An Approach to Geometry (stolen in part from Moise and Downs: Geometry)

HW Graph Theory SOLUTIONS (hbovik) - Q

A step towards the Bermond-Thomassen conjecture about disjoint cycles in digraphs

Discrete Math: Selected Homework Problems

Section 8.2 Graph Terminology. Undirected Graphs. Definition: Two vertices u, v in V are adjacent or neighbors if there is an edge e between u and v.

Transcription:

Binary Relations A binary relation R from a set A to a set B is a subset of A X B Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B. We can also represent relations graphically or using a table

Binary relations on a set A binary relation R on a (single) set A is a subset of A X A Graphical representation: As a directed graph Example:

Binary relations on a set A binary relation R on a (single) set A is a subset of A X A Properties of binary relations on a set A: Reflexive Symmetric Transitive Antisymmetric

Equivalence Relations A relation on a set A is called an equivalence relation if it is reflexive, symmetric, and transitive. Two elements a, and b that are related by an equivalence relation are called equivalent. The notation a b is often used to denote that a and b are equivalent elements with respect to a particular equivalence relation.

Congruence Modulo m The congruence modulo m relation (for a given positive integer m): a b (mod m) if and only if m divides (a-b) Example: m = 10 12 2 (mod 10) 22 2 (mod 10) 1802 2 (mod 10) Example: m = 7 12 5 (mod 7) 22 1 (mod 7) 1802 3 (mod 7) Congruence modulo m is an equivalence relation on the integers

Equivalence Classes Let R be an equivalence relation on a set A. The set of all elements that are related to an element a of A is called the equivalence class of a. The equivalence class of a with respect to R is denoted by [a] R. Example. [2] congruence modulo 10 = {, -18, -8, 2, 12, 22, } [7] congruence modulo 10 = {, -13, -3, 7, 17, 27, } [5] congruence modulo 10 = {, -15, -5, 3, 15, 25, } If b [a] R, then b is called a representative of this equivalence class. Any element of a class may be used as a representative of the class.

Equivalence Classes Special case: For this relation congruence modulo m, we typically write [a] m to denote the class [a] congruence modulo m Example. [2] 10 = {, -18, -8, 2, 12, 22, } [7] 10 = {, -13, -3, 7, 17, 27, } [5] 10 = {, -15, -5, 3, 15, 25, } Special case: For the relation congruence modulo m, the smallest non-negative element in each equivalence class is the representative of that equivalence class.

Partition of a Set Definition: A partition of a set S is a collection of disjoint and nonempty subsets of S that have S as their union. A Partition of a Set

An Equivalence Relation Partitions a Set Let R be a relation on the set S, and let a and b be elements of S. The equivalence classes [a] R and [b] R are either equal or disjoint: [ a] Ç [ b] = Æ when [ a] ¹ [ b]. R R R R Therefore, the equivalence classes form a partition of S, since they split S into disjoint subsets.

An Equivalence Relation Partitions a Set Result. Let R be an equivalence relation on a set S. Then the equivalence classes of R form a partition of S. Conversely, given a partition {A i i I} of the set S, there is an equivalence relation R that has the sets A i, i I, as its equivalence classes. Proof: We have already seen the first part. For the second part, assume that {A i i I} is a partition of S. Let R be the relation on S consisting of the pairs (x, y) where x and y belong to the same subset A i in the partition. We must show that R satisfies the properties of an equivalence relation. Reflexivity: For every a S, (a,a) R, because a is in the same subset as itself. Symmetry: If (a,b) R, then b and a are in the same subset of the partition, so (b,a) R. Transitivity: If (a,b) R and (b,c) R, then a and b are in the same subset of the partition, as are b and c. Since the subsets are disjoint and b belongs to both, the two subsets of the partition must be identical. Therefore, (a,c) R since a and c belong to the same subset of the partition.

GRAPHS (From Chapter 10)

Topics we will cover Definition, notation, and terminology Graph representation

Graphs Definition: A graph G = (V, E) is defined by specifying a nonempty set V of vertices (or nodes) and a set E of edges. Each edge has either one or two vertices associated with it, called its endpoints. An edge is said to connect its endpoints. Example: This is a graph with four vertices and five edges. Remarks: The graphs we study here are unrelated to graphs of functions studied earlier. We have a lot of freedom when we draw a picture of a graph. All that matters is the connections made by the edges, not the particular geometry depicted. For example, the lengths of edges, whether edges cross, how vertices are depicted, and so on, do not matter A graph with an infinite vertex set is called an infinite graph. A graph with a finite vertex set is called a finite graph. We restrict our attention to finite graphs.

Graphs Definition: A graph G = (V, E) is defined by specifying a nonempty set V of vertices (or nodes) and a set E of edges. Each edge has either one or two vertices associated with it, called its endpoints. An edge is said to connect its endpoints. Warning: There is no standard terminology for graph theory. So, it is crucial that you understand the terminology being used whenever you read material about graphs. Example: This is a graph with four vertices and five edges. Remarks: The graphs we study here are unrelated to graphs of functions studied earlier. We have a lot of freedom when we draw a picture of a graph. All that matters is the connections made by the edges, not the particular geometry depicted. For example, the lengths of edges, whether edges cross, how vertices are depicted, and so on, do not matter A graph with an infinite vertex set is called an infinite graph. A graph with a finite vertex set is called a finite graph. We restrict our attention to finite graphs.

Directed Graphs Definition: A directed graph (or digraph) G = (V, E) consists of a nonempty set V of vertices (or nodes) and a set E of directed edges (or arcs). Each edge is associated with an ordered pair of vertices. The directed edge associated with the ordered pair (u,v) is said to start at u and end at v. Remark: Graphs where the end points of an edge are not ordered are said to be undirected graphs.

Some Terminology A simple directed graph has no loops and no multiple edges. Example: This is a directed graph with three vertices and four edges. A directed multigraph may have multiple directed edges. When there are m directed edges from the vertex u to the vertex v, we say that (u,v) is an edge of multiplicity m. Example: In this directed multigraph the multiplicity of (a,b) is 1 and the multiplicity of (b,c) is 2.

Graph Models: Computer Networks When we build a graph model, we use the appropriate type of graph to capture the important features of the application. We illustrate this process using graph models of different types of computer networks. In all these graph models, the vertices represent data centers and the edges represent communication links. To model a computer network where we are only concerned whether two data centers are connected by a communications link, we use a simple graph. This is the appropriate type of graph when we only care whether two data centers are directly linked (and not how many links there may be) and all communications links work in both directions.

To model a computer network where we care about the number of links between data centers, we use a multigraph. To model a computer network with diagnostic links at data centers, we use loops. Graph Models: Computer Networks 2 To model a network with multiple oneway links, we use a directed multigraph. Note that we could use a directed graph without multiple edges if we only care whether there is at least one link from a data center to another data center.

Other Applications of Graphs Graph theory is used to model: Social networks Communications networks Information networks Software design Transportation networks Biological networks It s a challenge to find a subject to which graph theory has not yet been applied.