In this course, we will study mathematical objects called graphs.
Often, when the word graph is used in a mathematical setting,
people think of something resembling:
In this situation, the word graph is short for graph
of a function. This kind of graph can be precisely defined
to be a set of ordered pairs. For example, the graph of a function
f may be defined to be the set:
The kind of graphs that we will study are sometimes called combinatorial
graphs to distinguish them from the graphs described above.
Combinatorial graphs can sometimes be represented pictorially
as networks of dots (called vertices) connected by lines
(called edges). Examples include:
The pictorial representations of the cube and octahedral graphs
show how they got their names - both can be drawn so that they
resemble a drawing of a cube or an octahedron.
is called the tetrahedral graph?
Graphs from an Abstract Viewpoint
Pictures of graphs showing all of the edges and vertices are great
ways to represent a graph. It is immediately clear which vertices
are joined by edges, and you can often recognize the graph from
its picture. For example, if you were given a very abstract description
of the cube graph like:
it might take you some time and effort to recognize that this
is the cube graph. If you see a picture that looks exactly
like a cube, then you know immediately that you are dealing with
the cube graph.
However, pictorial representations of graphs have their limitations,
too. For example, if you wanted to prove a theorem about graphs,
and all you had were pictorial representations, then your proof
might have to consist of drawing every single, possible graph,
and then demonstrating the truth of your theorem for each picture
that you have drawn. A pretty time-consuming process, to say
the least.
To help us find other ways of describing graphs, consider the
following definitions:
Definition A graph
G consists of a set of vertices and a set of edges,
where each edge joins an unordered pair of vertices. The set
of vertices of G is denoted by V(G)
and the set of edges is denoted by E(G).
Definition A loop
is an edge that joins a vertex to itself. A multiple edge
occurs when there is more than one edge joining a pair of vertices.
Definition A simple
graph is a pair (V(G), E(G))
where V(G) is a non-empty finite
set of elements, and E(G) is a finite
set of unordered pairs of distinct elements of V(G).