Problem 5 - Algebraic Topology

Question

Let \(X\) be the subspace of \(\mathbb{R}^{2}\) consisting of the four sides of the square \([0,1] \times[0,1]\) together with the segments of the vertical lines \(x=1 / 2,1 / 3,1 / 4, \cdots\) inside the square. Show that for every covering space \(\tilde{X} \rightarrow X\) there is some neighborhood of the left edge of \(X\) that lifts homeomorphically to \(\tilde{X} .\) Deduce that \(X\) has no simply-connected covering space.

Step-by-Step Solution

Answer

\(X\) cannot have a simply-connected covering because the space accumulates onto the left edge without full path-connectivity.

Step 1: Identify the components of X

The space \(X\) consists of the boundaries of the square \([0,1] \times [0,1]\): the lines \(x=0\), \(x=1\), \(y=0\), and \(y=1\), as well as segments corresponding to vertical lines \(x=1/n\) for positive integers \(n\) with \(y\) ranging from \(0\) to \(1\). These vertical segments accumulate to the left side of the square (\(x = 0\)).

Step 2: Define a neighborhood of the left edge

Consider a neighborhood of the left edge of \(X\), such as \(U = \{(x,y) \,| \, 0 \leq x < \epsilon, 0 \leq y \leq 1\}\) inside the square. This neighborhood does not contain any of the accumulating vertical segments \(x = 1/n\), \(n \geq 2\), because they do not reach the left edge.

Step 3: Establish properties of covering spaces

A covering space \(\tilde{X} \rightarrow X\) allows a small neighborhood of a locally path-connected and dense set like the left edge \(x=0\) to lift homeomorphically to \(\tilde{X}\). This is because the left edge itself does not contain the accumulation points, and thus the lift cannot come from points beyond \(\epsilon\).

Step 4: Prove the homomorphic lift

Choose small \(\epsilon\) such that vertical segments are excluded in \(U\). By lifting this neighborhood \(U\) homeomorphically, \(\tilde{X}\) covers \(U\) without splitting. This relies on the fact there are no intersections with segments accumulating on \(x=0\); hence there is no obstruction for a homeomorphic lift.

Step 5: Discuss the absence of a simply-connected covering

The presence of accumulation points of the vertical segments at \(x=0\) means \(X\) is pathologically connected at other points, prohibiting a full simply-connected covering. Since any lift around \(x=0\) needs to avoid mapping back onto the entire connected space, a simply-connected covering of \(X\) is impossible as it would violate these connectivity properties.

Key Concepts

Simply-Connected Spaces

A simply-connected space is an important concept in topology. A space is called simply-connected if it is path-connected and has no holes. In technical terms, every loop in a simply-connected space can be continuously shrunk to a single point. This property implies that the fundamental group of the space is trivial, meaning it only contains the identity element.

When we look at the space \(X\) from the exercise, it contains the boundaries of a square along with segments from vertical lines that never actually reach the left side of the square. This introduces multiple paths and loops due to the accumulation of these vertical segments, suggesting that \(X\) cannot have a simply-connected covering space.

Why does the concept of simply-connected matter here? Because it helps us understand the limitations of covering \(X\) in such a way that lifts can provide a continuous and loop-free map, which is impossible given the presence of accumulation points that interrupt path or loop reduction to a single point.

Homeomorphic Lifts

Homeomorphic lifts are a fascinating topic in the study of covering spaces. A lift is essentially a mapping from a space, like our original space \(X\), to its covering space \(\tilde{X}\). This map should preserve certain properties, notably being continuous and building a type of mirroring at small scales, known as a homeomorphism.

In the exercise, a specific neighborhood along the left edge of \(X\), which consists of a segment like \(U = \{(x,y) \mid 0 \leq x < \epsilon, 0 \leq y \leq 1\}\), can be lifted homeomorphically. This means there exists a part of \(\tilde{X}\) that exactly resembles this small part of \(X\), ensuring that local properties are the same in both spaces.

However, any attempt to lift a larger portion of \(X\) that encompasses more complex features like the accumulation of vertical lines could fail to be homeomorphic. By lifting "simply" the links without vertical accumulations, the properties of continuity and one-to-one mapping are preserved, avoiding the complexities introduced by the accumulation.

Accumulation Points

Accumulation points are points in a topological space where other points cluster infinitely close. Think of them as looming neighbors that never rest. In our scenario, the accumulation point lies along the left side of the square \((x = 0)\).

The vertical lines specified as \(x = 1/n\) act as repeating forays that get infinitely close to \(x = 0\) as \(n\) increases. However, they never actually touch \(x = 0\), creating a peculiar scenario where both presence and absence combine to influence \(X\).

In considering covering spaces, these accumulation points complicate matters. Even though a neighborhood of \(x = 0\) excludes these vertical segments directly, their proximity affects the overall ability to create a covering space that could be simply-connected. They are like a reminder that no matter how unjust present, their effects ripple through every attempt to spatially "cover" the space theoretically. Thus, the presence of accumulation points makes it impossible for the space \(X\) to have a simply-connected covering.