PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: No information about user quality Entry average rating: No information on entry rating
handshake lemma (Theorem)

We recall that the degree (sometimes called valency) of a vertex $ v$ of an undirected graph $ G$ is the number $ \delta(v)$ of $ v$'s neighbors, i.e., the number of vertices $ z$ of $ G$ such that an edge $ (v,z)$ exists.

Theorem 1 (Handshake lemma)   Let $ G=(V,E)$ be a simple nondirected finite graph. Then
$\displaystyle \sum_{v\in V}\delta(v)=2\vert E\vert\;.$ (1)

Proof. List all the edges of $ G$, with their endpoints, each edge once. Each vertex $ v$ occurs a number of times equal to the number of edges $ v$ is an endpoint of, i.e., the number $ \delta(v)$ of its neighbors. On the other hand, each edge has two endpoints, thus the sum of all occurrences of vertices must equal twice the number of edges.

Corollary 1   In a simple finite undirected graph, there is an even number of vertices of odd degree.

Proof. By the handshake lemma, the sum of the degrees of all vertices of odd degree must be even, which is only possible if their number is even.

The following two statements about trees also follow from the handshake lemma. Recall that the number of leaves in a tree cannot exceed the maximum degree of a node in the tree, because each subtree of any node contains at least one leaf.

Corollary 2   Any tree with exactly three leaves is homeomorphic to $ K_{1,3}$.

Proof. A tree with three leaves can have no vertex of degree greater than 3. By the handshake lemma, the number of vertices of odd degree must be even: this forces a vertex of degree 3 to exist. Such a vertex is also unique, because if there were two, the tree would have at least four leaves. All the other vertices, except the leaves, have degree 2, and it is possible to contract them all to get $ K_{1,3}$; such a sequence of contractions is in fact a graph homeomorphism.

Corollary 3   Any tree with exactly four leaves is homeomorphic to either $ K_{1,4}$ or two joint copies of $ K_{1,3}$.

Proof. If a vertex of degree 4 exists, then no other vertex of degree greater than 2 can exist, or the tree would have five or more leaves. Otherwise, a vertex of degree 3 must exist, or the tree would be a streamline with only two leaves; by the handshake lemma, there must be another one, and no more, or the tree would have at least five leaves. All the other vertices, except the leaves, have degree 2, and it is possible to contract them all to get either $ K_{1,4}$ (if there is a vertex of degree 4) or two joint copies of $ K_{1,3}$ (if there are two vertices of degree 3); such a sequence of contractions is in fact a graph homeomorphism.



"handshake lemma" is owned by Ziosilvio.
(view preamble)

View style:

Log in to rate this entry.
(view current ratings)

Cross-references: graph homeomorphism, contractions, sequence, forces, homeomorphic, leaf, contains, node, trees, even, odd, even number, occurrences, sum, endpoints, finite, simple, edge, graph, vertex, degree
There is 1 reference to this entry.

This is version 5 of handshake lemma, born on 2008-04-27, modified 2008-04-29.
Object id is 10549, canonical name is HandshakeLemma.
Accessed 197 times total.

Classification:
AMS MSC05C99 (Combinatorics :: Graph theory :: Miscellaneous)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)