Faces of an Embedded Tree
A tree has no cycles, but its drawing can still have complicated-looking branches and turns. The key fact is that no matter how a tree is drawn in the plane without crossings, its complement has just one connected region. In other words, every plane embedding of a tree has one face. The proof will delete a leaf and show that restoring its incident edge cannot split a face.
We work with finite simple graphs. A tree is a connected graph with no cycles. A plane embedding places distinct points for the vertices and draws each edge as a simple arc between its endpoints, with edge interiors disjoint from all vertices and from the interiors of other edges. To discuss the unbounded region on the same footing as the bounded ones, we can regard the plane as the sphere with one point omitted; the omitted point belongs to the unbounded face.
For the tree consisting of a single vertex, there are no edges. Removing that point from the sphere leaves a connected set, so this embedding has one face. For trees with edges, the argument depends on understanding what happens when an edge ends at a new leaf. The two sides of that edge are incident with the same face: the edge has a free end, so those sides can be joined by going around that end.
Why a Pendant Edge Does Not Split a Face
Proof. Let \(F\) be the complement of the embedded \(H\). By the assumption that \(H\) has one face, \(F\) is connected; it is also open in the sphere. The new edge, apart from its endpoint \(u\), lies inside \(F\) and ends at the new vertex \(v\). Removing this arc from \(F\) does not disconnect \(F\). To see why, take any two points of \(F\) not on the arc and join them by a path in \(F\). If that path crosses the arc, make a narrow detour alongside the arc. The two sides of the detour join around its free endpoint \(v\), so the crossing can be bypassed without leaving \(F\) or meeting the arc. Repeating this for the crossings gives a path avoiding the new edge and \(v\). Thus the complement after adding the edge and vertex remains connected, so there is still one face. \(\square\)
This is a local fact about the free endpoint. It does not say that adding any edge preserves the number of faces: an edge drawn between two existing vertices can close a cycle and split a face. A pendant edge has only one endpoint in the existing graph, so it does not form such a barrier.
The Leaf-Deletion Proof
Proof. We use induction on the number \(n\) of vertices. If \(n=1\), the embedded graph is a single point, and its complement in the sphere is connected. Hence it has one face.
Now let \(n\ge 2\), and assume the theorem holds for every tree with fewer than \(n\) vertices, in every plane embedding. We first justify that the given tree \(T\) has a leaf. Choose a path with as many vertices as possible, and let \(x\) be one of its endpoints. The vertex \(x\) has a neighbor, since \(T\) is connected and has at least two vertices. If \(x\) had a neighbor not on the path, the path could be extended, contradicting its maximal length. If \(x\) had another neighbor on the path besides the vertex next to it, that edge and the section of the path between its endpoints would form a cycle, contradicting that \(T\) is acyclic. Therefore \(x\) has degree one.
Delete \(x\) and its unique incident edge \(e\), and call the remaining embedded graph \(H=T-x\). It is acyclic because deleting vertices cannot create a cycle. It is connected because any two remaining vertices had a path between them in \(T\), and a degree-one vertex cannot be an internal vertex of a path between two other vertices. Thus \(H\) is a tree on \(n-1\) vertices. Its drawing, obtained by restricting the embedding of \(T\), is a plane embedding. By the induction hypothesis, \(H\) has one face. The deleted edge \(e\) joined a vertex of \(H\) to the new leaf \(x\), so the lemma shows that restoring \(e\) and \(x\) leaves one face. This proves the result for \(n\), and therefore for every finite tree. \(\square\)
An endpoint of a longest path has degree one: another neighbor would either extend the path or create a cycle.
The remaining graph is still connected and acyclic, so it is a smaller tree with its inherited embedding.
The smaller tree has one face, and the pendant-edge lemma shows that adding back the leaf does not split it.
The proof concerns the number of connected components of the complement, not the visual shape of the drawing. The tree may bend or branch in many places. At each induction step, the crucial feature is that the deleted edge has a free endpoint.
Worked Embedded Trees
Worked Example: A Straight Path
Let \(G=(V,E)\), where \(V=\{1,2,3,4\}\) and \(E=\{12,23,34\}\). Embed the vertices at \((0,0),(1,0),(2,0),(3,0)\), respectively, and draw each edge as the straight segment between its endpoints. The segments meet only at their shared endpoints, so this is a plane embedding of the path \(P_4\).
Tracing the boundary of the face along the two sides of the path gives the walk \(1,2,3,4,3,2,1\), returning to its starting point. Its length is \(6\): there are three edges, and each is traversed once in each direction. This boundary walk describes one face, not six faces. The theorem also verifies the face count: \(G\) is a tree, so its embedding has one face.
Check: \(G\) is connected, and its three listed edges join consecutive vertices without forming a cycle. It is therefore a tree, and the proved theorem gives exactly one face for this explicit embedding.
Worked Example: A Three-Leaf Star
Let \(G=(V,E)\), where \(V=\{o,a,b,c\}\) and \(E=\{oa,ob,oc\}\). Put \(o=(0,0)\), \(a=(1,0)\), \(b=(0,1)\), and \(c=(-1,0)\), and draw the three edges as straight segments. They intersect only at \(o\). The graph is the star \(K_{1,3}\).
Starting at \(a\) and following one side of the face boundary gives the walk \(a,o,b,o,c,o,a\). Each of the three edges occurs twice: \(oa\) on the first and last steps, \(ob\) on the second and third steps, and \(oc\) on the fourth and fifth steps. The walk has length \(6=2|E|\), but it bounds just one face. In the sphere picture, the region around each side of a spoke connects around its leaf endpoint to the same complementary region.
Check: the graph has four vertices and three edges, and each vertex is joined to \(o\) by its listed edge. It is connected and has no cycle, so the theorem applies. The boundary-walk trace accounts for all \(3\) edges twice, as required for this single face.
Worked Example: A Branching Tree with Two Internal Vertices
Let \(G=(V,E)\), where \(V=\{a,b,c,d,e,f\}\) and \(E=\{ab,ac,ad,de,df\}\). Embed the vertices at \(a=(0,0)\), \(b=(-1,1)\), \(c=(-1,-1)\), \(d=(1,0)\), \(e=(2,1)\), and \(f=(2,-1)\), using straight segments for the edges. The segments from \(a\) go left or right, and those from \(d\) go to \(e\) and \(f\); their interiors do not cross.
The graph is connected: \(b,c,d\) are adjacent to \(a\), and \(e,f\) are reached through \(d\). It has no cycle, since each of \(b,c,e,f\) has degree one and the remaining edges connect \(a\) to \(d\). One tracing of the face boundary is \(b,a,c,a,d,e,d,f,d,a,b\). Its ten steps use \(ab,ac,ad,de,df\) twice each. Thus the boundary walk is repeated at both branching vertices, while the complement has one face.
Check: there are \(6\) vertices and \(5\) edges. The boundary walk has \(10=2\cdot5\) edge traversals, accounting for both sides of every edge. The theorem applies because this graph is a tree, so the embedding has exactly one face.
A Common Face-Counting Mistake
Mistake: “Every edge has two sides, so a tree with three edges has six faces.” This confuses edge-sides with faces. Different edge-sides can be incident with the same face, and in a tree they are joined around leaf endpoints.
For a concrete correction, use the path on \(V=\{1,2,3\}\) with \(E=\{12,23\}\), drawn as two consecutive straight segments. The incorrect count assigns two faces to edge \(12\) and two more to edge \(23\), giving four faces. But the boundary walk is \(1,2,3,2,1\): it traverses each of the two edges twice while tracing one face. The theorem gives the same answer because the graph is a tree. Counting sides tells us how often edges occur on boundary walks; it does not, by itself, count distinct faces.
The one-face conclusion is useful because it supplies a reliable starting point for counting faces in more complicated connected plane graphs. A tree has no cycle to enclose a separate region, and leaf deletion formalizes why branches do not create one. To apply the result, first check that the graph is a tree and that the drawing is a plane embedding. A drawing with crossing edge interiors is not a plane embedding, so the theorem does not apply to that drawing as given.
Check Your Understanding
Use the leaf-deletion proof and the meaning of a face to answer the following.
- Why must an endpoint of a longest path in a tree with at least two vertices have degree one?
- When a leaf is deleted from a tree, why does the remaining graph stay connected?
- For the path with vertex set \(\{1,2,3,4\}\) and edge set \(\{12,23,34\}\), how many edge traversals occur in the boundary walk \(1,2,3,4,3,2,1\)? How many faces does the embedding have?
- Explain why restoring a pendant edge does not split the face, while adding an edge between two existing vertices may split a face.
- Does a single vertex with no edges have one face when embedded on the sphere? Justify your answer using the definition of a face.