Formalize section 4.1, proving π₃(S²) ≃ ℤ #35

New issue

Open

opened 2024-10-15 05:06:29 +00:00 by michael · 0 comments

michael commented

2024-10-15 05:06:29 +00:00

Owner

Define LES. #25
Theorem 4.1.10 (Hopf fibration). #28
Corollary 4.1.11, part 1. (\pi_2(S^2) = \mathbb{Z})
Corollary 4.1.11, part 2. (\pi_n(S^3) = \pi_n(S^2))
Theorem 4.1.12 (Freudenthal Suspension Theorem)
Corollary 4.1.13, part 1. (\pi_n(S^n) = \mathbb{Z})
Corollary 4.1.13, part 2. (\pi_3(S^2) = \mathbb{Z})

- [ ] Define LES. #25 - [ ] Theorem 4.1.10 (Hopf fibration). #28 - [ ] Corollary 4.1.11, part 1. ($\pi_2(S^2) = \mathbb{Z}$) - [ ] Corollary 4.1.11, part 2. ($\pi_n(S^3) = \pi_n(S^2)$) - [ ] Theorem 4.1.12 (Freudenthal Suspension Theorem) - [ ] Corollary 4.1.13, part 1. ($\pi_n(S^n) = \mathbb{Z}$) - [ ] Corollary 4.1.13, part 2. ($\pi_3(S^2) = \mathbb{Z}$)