Skip to main content
added 34 characters in body
Source Link
André Henriques
  • 43.2k
  • 5
  • 130
  • 264

Your intuition is correct: the map p : L → S1 is not nullhomotopic.

If p : L → S1 was nullhomotopic, then it would factor through the universal cover ℝ of S1.
The inclusion ι : L → S1 × S1 would therefore factor through ℝ × S1.
Let ι' : L → ℝ × S1 denote a lift of ι, and let L(0) := ι'(L).
The subset L(0) ⊂ ℝ × S1 is then one of the connected components of the preimage of L in ℝ × S1.
Let us call the other components L(n) for n ∈ ℤ.

Let C0 ⊂ ℝ × S1 be a loop in that separates L(0) from L(1).
We may also assume that C0 is not nullhomotopic in ℝ × S1 [this still needs a small argument...].

The projection CS1 × S1 of C0 is then a loop in the complement of L,
and represents the element (0,1) of ℤ×ℤ = π1(S1 × S1).

Since L lies in the complement of C and Ln → L in the Hausdorff metric,
there exists an n such that Ln lies in the complement of C.
This contradicts your assumtion that p : LnS1 is nullhomotopic.

Your intuition is correct: the map p : L → S1 is not nullhomotopic.

If p : L → S1 was nullhomotopic, then it would factor through the universal cover ℝ of S1.
The inclusion ι : L → S1 × S1 would therefore factor through ℝ × S1.
Let ι' : L → ℝ × S1 denote a lift of ι, and let L0 := ι'(L).
The subset L0 ⊂ ℝ × S1 is then one of the connected components of the preimage of L in ℝ × S1.
Let us call the other components Ln for n ∈ ℤ.

Let C0 ⊂ ℝ × S1 be a loop in that separates L0 from L1.
We may also assume that C0 is not nullhomotopic in ℝ × S1 [this still needs a small argument...].

The projection CS1 × S1 of C0 is then a loop in the complement of L,
and represents the element (0,1) of ℤ×ℤ = π1(S1 × S1).

Since L lies in the complement of C and Ln → L,
there exists an n such that Ln lies in the complement of C.
This contradicts your assumtion that p : LnS1 is nullhomotopic.

Your intuition is correct: the map p : L → S1 is not nullhomotopic.

If p : L → S1 was nullhomotopic, then it would factor through the universal cover ℝ of S1.
The inclusion ι : L → S1 × S1 would therefore factor through ℝ × S1.
Let ι' : L → ℝ × S1 denote a lift of ι, and let L(0) := ι'(L).
The subset L(0) ⊂ ℝ × S1 is then one of the connected components of the preimage of L in ℝ × S1.
Let us call the other components L(n) for n ∈ ℤ.

Let C0 ⊂ ℝ × S1 be a loop in that separates L(0) from L(1).
We may also assume that C0 is not nullhomotopic in ℝ × S1 [this still needs a small argument...].

The projection CS1 × S1 of C0 is then a loop in the complement of L,
and represents the element (0,1) of ℤ×ℤ = π1(S1 × S1).

Since L lies in the complement of C and Ln → L in the Hausdorff metric,
there exists an n such that Ln lies in the complement of C.
This contradicts your assumtion that p : LnS1 is nullhomotopic.

Source Link
André Henriques
  • 43.2k
  • 5
  • 130
  • 264

Your intuition is correct: the map p : L → S1 is not nullhomotopic.

If p : L → S1 was nullhomotopic, then it would factor through the universal cover ℝ of S1.
The inclusion ι : L → S1 × S1 would therefore factor through ℝ × S1.
Let ι' : L → ℝ × S1 denote a lift of ι, and let L0 := ι'(L).
The subset L0 ⊂ ℝ × S1 is then one of the connected components of the preimage of L in ℝ × S1.
Let us call the other components Ln for n ∈ ℤ.

Let C0 ⊂ ℝ × S1 be a loop in that separates L0 from L1.
We may also assume that C0 is not nullhomotopic in ℝ × S1 [this still needs a small argument...].

The projection CS1 × S1 of C0 is then a loop in the complement of L,
and represents the element (0,1) of ℤ×ℤ = π1(S1 × S1).

Since L lies in the complement of C and Ln → L,
there exists an n such that Ln lies in the complement of C.
This contradicts your assumtion that p : LnS1 is nullhomotopic.