Loops around a hole
Esta página todavía no está disponible en Español, por eso se muestra en English.
Ayuda a traducir →La pregunta
Walk around a tree and come back to where you started. How many times did you go around it? Can you change that number by wandering differently — without ever walking through the tree?
Prueba el experimento antes de seguir leyendo. No hay una forma equivocada de explorar.
Experimento
Dar vueltas alrededor de un agujero
Sigue un lazo cerrado y cuenta cuántas veces rodea cada agujero: vueltas en sentido antihorario menos vueltas en sentido horario.
Arrastra un agujero para moverlo. Pulsa Reproducir para que el punto recorra el lazo, o usa el control deslizante. El cuadradito marca el inicio.
Número de vueltas alrededor de p₁1
(1/2πi)∮ dz/(z − p₁) ≈ 1.000 + 0.000i
Vueltas recorridas hasta ahora por cada flecha discontinua:
p₁: 0.00
El número de vueltas se obtiene sumando los pequeños cambios de dirección de la flecha que va del agujero al punto móvil y dividiendo el total entre 360°. El sentido antihorario cuenta como positivo.
Dos lazos en el plano con un agujero se pueden deformar uno en otro, sin cruzar nunca el agujero, exactamente cuando tienen el mismo número de vueltas. En el lenguaje de la topología: el grupo fundamental del plano perforado, como el de la circunferencia, son los enteros, π₁ = ℤ.
Un vínculo con el análisis complejo: piensa en el plano como los números complejos y en un agujero como un punto a. Entonces (1/2πi)∮ dz/(z − a) es igual al número de vueltas alrededor de a. Los valores de arriba se calculan numéricamente a lo largo del lazo.
Pistas, si las quieres
Qué está pasando
Qué está pasando
The number of times a closed path goes around a point is its winding number. If the point is and the path is traced by a complex number , the winding number is the total change in the argument of , divided by . It is always a whole number, because the path ends where it began.
Here is the key fact: if you deform a loop continuously without ever passing through , its winding number cannot jump — a whole number that changes continuously cannot change at all. So loops in the plane with a hole are sorted by their winding number, and two loops can be deformed into each other exactly when their winding numbers agree. In the language of topology, the fundamental group of the plane with one point removed is .
Complex analysis computes the same number with an integral:
Winding numbers even give a proof sketch of the fundamental theorem of algebra. A polynomial maps a very large circle to a loop that winds times around , while a tiny circle near the origin maps to a loop that winds times around unless . Shrinking the circle changes the winding number from to , which can only happen if the image loop passes through somewhere — that is, if the polynomial has a root. (Turning this sketch into a proof takes care; see the fundamental-group lesson.)
With two holes the story changes: loops are no longer classified by two winding numbers, because going around one hole and then the other is different from the reverse order. The fundamental group becomes non-commutative.
Adónde lleva esto
- Universidad avanzada · Lección disponibleHomotopy and the fundamental groupHomotopy of maps and paths, the fundamental group, covering spaces, the computation π₁(S¹) ≅ ℤ, the Seifert–van Kampen theorem and applications such as the two-dimensional Brouwer fixed-point theorem.
- Universidad avanzada · Lección disponibleComplex analysisHolomorphic functions and the Cauchy–Riemann equations, contour integration and Cauchy's theorem, power series, Liouville's theorem, the residue theorem and conformal maps.
- Primer año de posgrado · Lección disponibleAlgebraic topologySingular and cellular homology, CW complexes, exact sequences and Mayer–Vietoris, homotopy invariance, cohomology and cup products, with applications such as invariance of dimension and the Lefschetz fixed-point theorem.