5.3 Neighbourhoods

We know that a polygon X is a surface and so each point x in X has a disc-like or half-disc-like neighbourhood. We shall show that a map f that identifies edges of a polygon to create an object Y automatically creates corresponding disc-like or half-disc-like neighbourhoods of each point y = f(x) of Y.

If x is in the interior of X, there is no difficulty: the point x has a disc-like neighbourhood U which is mapped by f to a disc-like neighbourhood f(U) of y = f(x) in Y.

If x lies on the boundary of X, there are three cases to consider:

  • x lies on an edge that is identified with another edge, but not at a vertex of that edge;

  • x lies at a vertex of an edge that is identified with another edge;

  • x lies on a part of the boundary that is not identified with another part.

In each case, x has a half-disc-like neighbourhood in X. Some examples will help us determine which happens to these half-disc-like neighbourhoods after identification takes place.