Fact-checked by Grok 2 weeks ago

Simply connected space

In topology, a simply connected space is a path-connected topological space in which every closed path, or loop, is null-homotopic, meaning it can be continuously deformed to a constant path at a single point while remaining within the space.^[1]^[2] This property implies that the space has no "holes" in the sense that loops cannot encircle any obstructions that prevent contraction.^[3] Equivalently, a space is simply connected if its fundamental group is trivial, i.e., \pi_1(X) = \{e\}, capturing the absence of non-trivial homotopy classes of loops based at any point.^[4] Key examples of simply connected spaces include the Euclidean spaces \mathbb{R}^n for any n \geq 1, as any loop in such a space can be straightened via linear homotopy.^[2] Higher-dimensional spheres S^n for n \geq 2 are also simply connected, whereas the circle S^1 is not, since loops around it have non-zero winding numbers that prevent contraction.^[2] Convex subsets of \mathbb{R}^n inherit this property, and homeomorphic images preserve simply connectedness.^[2] In two dimensions, a bounded domain is simply connected if both the domain and its complement in the plane are connected.^[1] Simply connected spaces play a central role in algebraic topology and related fields, such as providing a foundation for higher homotopy groups and classifying spaces up to homotopy equivalence.^[4] In complex analysis, a simply connected domain in the complex plane allows every holomorphic function to possess an antiderivative throughout the domain, and the integral of any holomorphic function over a closed curve vanishes, generalizing Cauchy's theorem.^[5] This connectivity condition also enables the existence of analytic branches of multi-valued functions, like the logarithm, in such domains excluding the origin.^[5]

Foundational Concepts

Path-Connectedness

A topological space X is path-connected if, for any two points x, y \in X, there exists a continuous path \gamma: [0,1] \to X such that \gamma(0) = x and \gamma(1) = y. This property ensures that every pair of points in the space can be joined by a continuous curve within the space itself.^[6] Path-connectedness is a stronger condition than mere connectedness: every path-connected space is connected, but the converse does not hold.^[7] A classic counterexample is the topologist's sine curve, defined as the set S = \{(x, \sin(1/x)) \mid 0 < x \leq 1\} \cup \{(0, y) \mid -1 \leq y \leq 1\} in \mathbb{R}^2 with the subspace topology; this space is connected because it cannot be partitioned into two nonempty disjoint open sets, yet it is not path-connected since no continuous path exists from the origin (0,0) to a point like (1, \sin 1) on the oscillating curve.^[7] Euclidean spaces \mathbb{R}^n for n \geq 1 exemplify path-connected spaces, where the straight-line segment \gamma(t) = (1-t)x + ty for t \in [0,1] provides a continuous path between any two points x, y \in \mathbb{R}^n.^[8] In contrast, a discrete topological space with more than one point, such as \{a, b\} with the discrete topology where singletons are open, is disconnected (hence not path-connected), as it decomposes into two nonempty disjoint open sets \{a\} and \{b\}.^[9] Path-connectedness serves as a foundational requirement for simply connected spaces because the standard definition of simple connectedness combines path-connectedness with the property that every loop—a continuous path from a point to itself—is null-homotopic.^[2] Without path-connectedness, a space might consist of separate components where paths (and thus loops) cannot connect across them, preventing a unified notion of loop contractibility across the entire space; a brief proof outline proceeds by supposing X is not path-connected, so it has at least two path components, each of which would require separate homotopical analysis, contradicting the global uniformity assumed in simple connectedness.^[2]

Loops and Homotopy

In topological spaces, loops serve as a key construct for analyzing connectivity via continuous deformations. A loop based at a point x_0 in a space X is a continuous path \gamma: [0,1] \to X such that \gamma(0) = \gamma(1) = x_0.^[10] Homotopy provides the mechanism for deforming one loop into another while fixing the basepoint. Two loops \gamma_0, \gamma_1: [0,1] \to X based at x_0 are homotopic if there exists a continuous map H: [0,1] \times [0,1] \to X satisfying

\begin{align*} H(s,0) &= \gamma_0(s), \\ H(s,1) &= \gamma_1(s), \end{align*}

and H(0,t) = H(1,t) = x_0 for all s,t \in [0,1]. This H traces a continuous family of loops interpolating between \gamma_0 and \gamma_1, with the basepoint held constant throughout.^[10] Homotopy defines an equivalence relation on the set of loops based at x_0, grouping them into equivalence classes denoted [\gamma], where two loops belong to the same class if they are homotopic. These classes encode the distinct types of loops up to deformation, forming the foundation for homotopy-theoretic invariants.^[10] A distinction exists between based homotopy and free homotopy of loops. Based homotopy, as defined above, requires the basepoint to remain fixed at x_0 during the entire deformation. Free homotopy, however, applies to loops that may have varying basepoints or allows the basepoint to move, as long as each stage of the deformation remains a closed path. While both are useful, based homotopy is central to the study of pointed spaces and the fundamental group.^[11]

Definition and Characterizations

Formal Definition

In topology, a topological space X is defined to be simply connected if it is path-connected and every loop based at any point in X is null-homotopic.^[2] A loop in X is a continuous map \gamma: [0,1] \to X such that \gamma(0) = \gamma(1), and it is null-homotopic if there exists a continuous homotopy H: [0,1] \times [0,1] \to X such that H(s,0) = \gamma(s) for all s \in [0,1], H(0,t) = H(1,t) for all t \in [0,1], and H(s,1) is constant for all s \in [0,1].^[2] This means the loop can be continuously deformed to a constant map while remaining within X.^[2] Some formulations of the definition additionally require X to be locally path-connected, ensuring that the path components are open sets and that homotopy classes of loops are independent of the basepoint choice.^[10] This condition helps guarantee that the fundamental group is well-defined without additional complications in non-locally path-connected spaces.^[10] Simply connectedness is a homotopy invariant: if two spaces are homotopy equivalent, then one is simply connected if and only if the other is.^[10]

Equivalent Formulations

A simply connected space admits several equivalent characterizations in algebraic topology, most prominently through the fundamental group. The fundamental group \pi_1(X, x_0) of a pointed topological space (X, x_0) is constructed as the set of homotopy classes of based loops in X at the basepoint x_0, equipped with a group structure under concatenation of loops.^[12]^[2] To form \pi_1(X, x_0), consider loops \gamma: [0,1] \to X with \gamma(0) = \gamma(1) = x_0. Two loops \gamma and \delta are homotopic relative to the basepoint if there exists a continuous map H: [0,1] \times [0,1] \to X such that H(s,0) = H(s,1) = x_0 for all s, H(0,t) = \gamma(t), and H(1,t) = \delta(t). The homotopy classes [\gamma] form the elements of \pi_1(X, x_0), with the constant loop as the identity element. The group operation is defined by [\gamma] \cdot [\delta] = [\gamma \ast \delta], where \gamma \ast \delta is the reparametrized concatenation: (\gamma \ast \delta)(t) = \gamma(2t) for t \in [0, 1/2] and (\gamma \ast \delta)(t) = \delta(2t - 1) for t \in [1/2, 1]. The inverse of [\gamma] is the class of the reversed loop \gamma^{-1}(t) = \gamma(1 - t). This construction yields a group whose triviality (i.e., \pi_1(X, x_0) = \{e\}, where e is the identity) is independent of the choice of basepoint x_0 for path-connected X.^[12]^[2] A path-connected space X is simply connected if and only if \pi_1(X, x_0) is the trivial group for any (equivalently, some) basepoint x_0 \in X. This algebraic condition captures the topological notion that every based loop in X is nullhomotopic, meaning homotopic to the constant loop at x_0. Equivalently, the first homotopy groupoid of X—whose objects are points of X and whose morphisms are homotopy classes of paths between them—is such that there is a unique homotopy class of paths between any two points in X, reflecting the absence of "holes" detectable by loops.^[12]^[2] Other equivalent formulations include the condition that every continuous map f: S^1 \to X (where S^1 is the unit circle) extends to a continuous map \tilde{f}: D^2 \to X (where D^2 is the unit disk), or is nullhomotopic. In homotopy theory, a space X is 1-connected if it is path-connected and \pi_1(X, x_0) is trivial, which aligns precisely with the definition of simply connected.^[12]

Intuitive Understanding

Informal Description

A simply connected space intuitively lacks "holes" in a topological sense, meaning that any closed loop drawn within the space can be continuously shrunk down to a single point without leaving the space or encountering obstructions. This property captures the idea of a space being "hole-free," allowing loops to deform freely, much like how a loop on the surface of a sphere can always be contracted to a point, whereas a loop encircling the hole of a torus cannot be shrunk without breaking or leaving the surface.^[10] A helpful visualization for this concept is the rubber band analogy: imagine placing a rubber band around an object representing the space; in a simply connected space, the band can always be slid off the object entirely or shrunk to a point without getting caught, whereas in a space with holes, the band may become trapped around an obstruction and cannot be removed or contracted continuously. In two dimensions, for an open set in the Euclidean plane \mathbb{R}^2, being simply connected aligns with the intuition that the complement of the set in the plane has no bounded connected components, tying into the Jordan curve theorem, which ensures that simple closed curves separate the plane into an interior and exterior without additional enclosed regions.^[13] This absence of bounded "islands" in the complement reinforces the ability of loops to contract freely. Path-connectedness is essential in this context because it guarantees the space is in one piece, allowing loops to roam throughout the entire space without being confined to disconnected regions, thereby enabling the consistent application of the shrinking property across the whole domain.^[10]

Distinction from Contractibility

A contractible space is a topological space that is homotopy equivalent to a single point, meaning there exists a continuous deformation of the space onto itself that shrinks it to that point while preserving the topology.^[10] This equivalence implies that all homotopy groups of the space, including the zeroth homotopy group \pi_0, are trivial.^[10] In contrast, a simply connected space is defined as a path-connected topological space with a trivial fundamental group \pi_1, indicating that every loop based at a point can be continuously contracted to that point.^[10] While every contractible space is simply connected—since homotopy equivalence to a point ensures path-connectedness and \pi_1 triviality—the converse does not hold, as simply connectedness only requires the triviality of \pi_1 and path-connectedness, without constraining higher homotopy groups.^[10] A classic example illustrating this distinction is the 2-sphere S^2, which is simply connected (\pi_1(S^2) = 0) but not contractible, as it cannot be continuously deformed to a point due to its nontrivial second homotopy group \pi_2(S^2) = \mathbb{Z}.^[10] Conversely, an infinite-dimensional Hilbert space, as a convex subset of a topological vector space, is contractible via the straight-line homotopy from any point, deforming it continuously to that point. The implications of this difference are significant in homotopy theory: contractible spaces have the homotopy type of a point and thus trivial topology in all dimensions, whereas simply connected spaces may exhibit complex higher-dimensional structure despite lacking 1-dimensional holes.^[10] The fundamental group serves as the primary distinguisher for \pi_1, highlighting why simply connectedness is a weaker condition.^[10]

Examples

Simply Connected Examples

Euclidean spaces \mathbb{R}^n for n \geq 1 provide the prototypical examples of simply connected spaces, as they are path-connected and possess trivial fundamental groups \pi_1(\mathbb{R}^n) = \{e\}.^[2] These spaces lack any topological "holes" that could prevent loops from contracting to a point, making every closed path homotopic to the constant path.^[2] The n-spheres S^n for n \geq 2 are also simply connected, with \pi_1(S^n) = \{e\}, in contrast to the circle S^1.^[14] Any loop on S^n can be continuously deformed to a point due to the sphere's higher-dimensional connectivity, which allows paths to avoid encircling non-existent one-dimensional voids.^[15] Convex subsets of \mathbb{R}^n, such as balls, half-spaces, or polyhedra, inherit simply connectedness from the ambient Euclidean space, as straight-line segments provide unique paths between points, ensuring all loops are null-homotopic.^[16] This property holds because convexity guarantees path-connectedness and the absence of obstructions to homotopy.^[17] The special unitary groups SU(n) for n \geq 2 are compact, connected Lie groups that are simply connected, with \pi_1(SU(n)) = \{e\}.^[18] Their universal covering is trivial, reflecting the group's structure without fundamental group elements that would indicate non-trivial loops.^[19] In graph theory, trees—acyclic connected graphs—are simply connected spaces when viewed as one-dimensional CW-complexes, as they admit no non-trivial loops and are contractible to a point.^[20] Every path in a tree is unique, ensuring that the fundamental group vanishes.^[21]

Counterexamples

A classic counterexample of a path-connected space that is not simply connected is the circle S^1, which can be viewed as the unit circle in the plane. The fundamental group \pi_1(S^1) is isomorphic to the integers \mathbb{Z}, generated by the homotopy class of a loop that winds once around the circle, such as the map \omega(s) = (\cos 2\pi s, \sin 2\pi s) for s \in [0,1].^[10] This nontrivial fundamental group implies that loops winding multiple times around S^1 cannot be continuously contracted to a point within the space, reflecting the one-dimensional "hole" inherent to the circle's topology.^[10] The torus T^2, obtained as the product space S^1 \times S^1, provides another path-connected space that fails to be simply connected. Its fundamental group is \pi_1(T^2) \cong \mathbb{Z} \oplus \mathbb{Z}, abelianized from the free group on two generators corresponding to loops along the meridian (around the central hole) and the longitude (through the tube).^[10] These two independent directions of winding prevent arbitrary loops from being null-homotopic, as demonstrated by Seifert-van Kampen theorem applied to the torus's cell structure.^[10] Removing a single point from the Euclidean plane yields \mathbb{R}^2 \setminus \{0\}, a space that is path-connected but not simply connected. The fundamental group \pi_1(\mathbb{R}^2 \setminus \{0\}) \cong \mathbb{Z}, arising from loops that encircle the origin, which cannot be contracted without passing through the punctured point.^[10] This space deformation retracts onto S^1, inheriting the latter's nontrivial fundamental group and illustrating how a puncture creates an obstruction to loop contraction in an otherwise simply connected ambient space.^[10] The special orthogonal groups SO(n) for n \geq 3 serve as important counterexamples from Lie group theory, being path-connected matrix Lie groups that are not simply connected. Specifically, \pi_1(SO(n)) \cong \mathbb{Z}/2\mathbb{Z} for n \geq 3, reflecting a twofold covering by the spin group Spin(n), where loops corresponding to rotations by $2\pi are nontrivial but become contractible in the cover.^[10] This binary structure arises from the topology of rotations in dimensions three and higher, preventing full simple connectedness despite the group's connectedness.^[10] The Hawaiian earring, constructed as the union of circles of radius $1/n centered at (1/n, 0) in the plane for n = 1, 2, \dots, with all circles passing through the origin, is a compact, path-connected subspace of \mathbb{R}^2 that is not simply connected. Its fundamental group \pi_1 is uncountable and highly non-free, generated by infinitely many loops shrinking toward the origin, which cannot all be simultaneously contracted due to the infinite accumulation at a single point.^[10] This example highlights subtler obstructions beyond finite generators, where the local wildness at the origin complicates homotopy even though the space is path-connected.^[10]

Topological Properties

Fundamental Properties

Simply connected spaces exhibit several core intrinsic properties that highlight their structural simplicity in terms of homotopy theory. A key feature is homotopy invariance: if two path-connected spaces X and Y are homotopy equivalent, then X is simply connected if and only if Y is simply connected. This holds because homotopy equivalences induce isomorphisms on the fundamental group \pi_1, preserving the triviality of \pi_1(X) = \{e\}. Similarly, retracts inherit this property; if A is a retract of a simply connected space X, then A is simply connected. The retraction provides a split injection on fundamental groups, and since \pi_1(X) = 0, it forces \pi_1(A) = 0.^[12] Another fundamental property concerns products: the Cartesian product of simply connected path-connected spaces is itself simply connected. For path-connected spaces X and Y, the fundamental group satisfies \pi_1(X \times Y) \cong \pi_1(X) \times \pi_1(Y), so if both factors have trivial \pi_1, the product does as well.^[12] This extends to finite products and underscores the stability of simply connectedness under direct constructions. In the context of surfaces, simply connectedness imposes strong restrictions on topology. For closed orientable surfaces, only the 2-sphere (genus 0) is simply connected, as higher-genus surfaces have non-trivial \pi_1 generated by loops around handles.^[22] Among non-compact 2-manifolds, the Euclidean plane \mathbb{R}^2 (topologically a disk, also genus 0 in the open sense) exemplifies a simply connected surface, where every loop contracts to a point without obstruction.^[12] Regarding local versus global behavior, simply connectedness is a global property reflecting the contractibility of all loops, but in nice spaces such as manifolds or CW-complexes, it aligns with local simply connectedness. Manifolds are locally Euclidean, and since \mathbb{R}^n (for n \geq 1) is simply connected, local neighborhoods inherit trivial \pi_1, ensuring the global triviality propagates consistently. This harmony distinguishes simply connected spaces from those with local holes that prevent global contraction, like the punctured plane.

Relation to Covering Spaces

In topology, for a path-connected and locally path-connected space X, the universal covering space \tilde{X} is a simply connected covering space of X, unique up to isomorphism over X, and the group of deck transformations of this cover is isomorphic to the fundamental group \pi_1(X).^[10] This isomorphism arises because the universal cover has trivial fundamental group, so the deck group acts freely and properly discontinuously on \tilde{X}, reflecting the action of \pi_1(X) on the fibers.^[10] A space X is simply connected if and only if it is its own universal covering space, meaning every covering space of X is trivial, i.e., a disjoint union of copies of X.^[10] In this case, the fundamental group \pi_1(X) is trivial, so there are no non-trivial connected covers.^[23] A classic example is the circle S^1, whose universal cover is the real line \mathbb{R} via the exponential map p: \mathbb{R} \to S^1, t \mapsto e^{2\pi i t}, which is simply connected, with deck transformations given by the integer translations \mathbb{Z} acting on \mathbb{R}.^[10] More generally, there is a Galois correspondence between subgroups of \pi_1(X) and isomorphism classes of connected covering spaces of X: normal subgroups correspond to regular covers (where the deck group acts transitively), and the full \pi_1(X) corresponds to the universal cover.^[10] This bijection classifies all covers in terms of the fundamental group, with simply connectedness implying the trivial subgroup is the only one, hence only the trivial cover.^[24]

Applications

In Complex Analysis

In complex analysis, the concept of simply connectedness plays a pivotal role in establishing key results about holomorphic functions on domains in the complex plane. A simply connected domain in \mathbb{C}, intuitively lacking "holes," ensures that closed contours can be contracted to a point within the domain, which is crucial for integral theorems. One foundational application is Cauchy's integral theorem, which states that if f is holomorphic in a simply connected domain \Omega \subset \mathbb{C} and \gamma is a closed contour in \Omega, then \int_\gamma f(z) \, dz = 0.^[25] This vanishing integral holds because the simply connectedness allows the use of Green's theorem in the complex setting, decomposing the integral into exact differentials without residues from enclosed singularities.^[26] Building on this, the monodromy theorem extends the implications to analytic continuation and antiderivatives. Specifically, if f is holomorphic in a simply connected domain \Omega \subset \mathbb{C}, then f admits a single-valued antiderivative F in \Omega, meaning F'(z) = f(z) and F is well-defined without branches.^[27] This result arises from the fact that in simply connected domains, all closed paths are homotopic to a point, preventing monodromy—path-dependent variations in analytic continuations—that would otherwise require multi-valued functions.^[28] Consequently, primitives exist globally, simplifying computations of definite integrals and enabling uniform behavior of holomorphic functions across the domain. The Riemann mapping theorem further underscores the uniformity of simply connected domains, asserting that any proper simply connected open subset \Omega \subset \mathbb{C} (with \Omega \neq \mathbb{C}) is conformally equivalent to the open unit disk \mathbb{D} = \{ z \in \mathbb{C} : |z| < 1 \}.^[29] There exists a biholomorphic map f: \Omega \to \mathbb{D} that preserves angles and is one-to-one, normalizing the domain for further analysis. A canonical example is the unit disk itself, which is simply connected and serves as the standard model for uniformization; this equivalence facilitates the study of boundary behavior and harmonic functions via Poisson integrals on \mathbb{D}.^[30] Historically, the integration of simply connectedness into complex analysis gained prominence in the early 20th century through the uniformization theorem, independently proved by Henri Poincaré and Paul Koebe in 1907, which classifies all simply connected Riemann surfaces as conformally equivalent to the sphere, plane, or disk.^[31] This development, rooted in Bernhard Riemann's 1851 ideas but rigorously established later, bridged topology and function theory, influencing advancements in conformal mapping and modular forms.^[32]

In Manifolds and Lie Groups

In differential geometry, simply connected manifolds play a central role in classification theorems. Perelman's proof of the Poincaré conjecture in 2003 established that every closed, simply connected 3-manifold is homeomorphic to the 3-sphere S^3. This result, part of the broader geometrization conjecture, implies that such manifolds admit one of eight Thurston geometries, with the spherical geometry being the only one for simply connected cases, resolving a longstanding problem in low-dimensional topology.^[33] Lie groups provide concrete examples of simply connected spaces in the context of continuous symmetries. The special unitary group SU(n) for n \geq 2 is simply connected, meaning its fundamental group is trivial, which facilitates the construction of faithful representations in quantum mechanics and particle physics. In contrast, the special orthogonal group SO(n) for n \geq 3 is not simply connected, with \pi_1(SO(n)) \cong \mathbb{Z}/2\mathbb{Z}. A key illustration is the universal cover of SO(3), which is SU(2), and SU(2) \cong \mathrm{Spin}(3), demonstrating how simply connectedness resolves topological obstructions in rotation groups. This covering relationship highlights the role of simply connected covers in lifting representations from non-simply connected Lie groups.^[34] Calabi-Yau manifolds, which are Ricci-flat Kähler manifolds with trivial first Chern class, often appear as simply connected spaces in string theory compactifications. In heterotic string models, simply connected Calabi-Yau threefolds equipped with vector bundles yield grand unified theory and standard model vacua, preserving supersymmetry and enabling realistic particle physics spectra.^[35] A fundamental theorem in representation theory states that finite-dimensional complex representations of connected, simply connected Lie groups are equivalent to representations of their Lie algebras, implying no nontrivial homotopy classes arise in the passage from algebra to group. This equivalence ensures that all continuous representations are "single-valued" and determined solely by infinitesimal data, without projective ambiguities present in non-simply connected cases.^[36] Recent advances in homotopy type theory, emerging post-2010, reinterpret simply connected spaces through univalent foundations, where types correspond to homotopy types and identities to paths. This framework, formalized in the Homotopy Type Theory book, provides a synthetic approach to algebraic topology, enabling constructive proofs of properties like simply connectedness without classical set-theoretic assumptions.^[37]

References

[1]
Simply Connected -- from Wolfram MathWorld
A simply connected domain is pathwise-connected, and any simple closed curve can be shrunk to a point continuously. Every loop in the space is contractible.
[2]
https://www.math.washington.edu/~lee/Courses/441-2012/simplyconn.pdf
[3]
Simply connected definition - Math Insight
A simply connected domain is a path-connected domain where one can continuously shrink any simple closed curve into a point while remaining in the domain.
[4]
simply connected space in nLab
Jul 16, 2022 · A simply connected topological space is a 1-connected topological space X X : a connected space whose fundamental group is the trivial group: π ...
[5]
[PDF] Simply Connected Domains
In complex analysis, the exponential function is not one- to-one, so we need to impose domain restrictions in order to define an inverse function. We define ...
[6]
2.04 Connectedness, path-connectedness
A space X is path-connected if for all points x,y∈X there exists a path from x to y, that is a continuous map γ:[0,1]→X such that γ(0)=x and γ(1)=y.
[7]
[PDF] Spaces that are connected but not path connected - Keith Conrad
Path-connectedness implies connectedness. Theorem 2.1. Every path-connected space is connected. Proof. Let X be path-connected. We will use paths in X to show ...
[8]
[PDF] CONNECTED SPACES AND HOW TO USE THEM 1. How to prove ...
Path-connectedness is not hard to check for many subsets of a Euclidean space. In many situations, one could connect points by a straight segment or a broken ...
[9]
3.1 Connected Spaces - Math 581: Topology 1
A topological space X is connected if and only if any continuous function from X to a discrete space is constant.
[10]
[PDF] Algebraic Topology - Cornell Mathematics
This book was written to be a readable introduction to algebraic topology with rather broad coverage of the subject. The viewpoint is quite classical in ...
[11]
[PDF] ALGEBRAIC TOPOLOGY I - UT Math
... based homotopy then deg(f0) = deg(f1). Indeed, we can lift each ft to a ... free homotopy through loops γt : S1 → X, then we have two fundamental ...
[12]
[PDF] The Idea of the Fundamental Group - Cornell Mathematics
In general, a space is called simply-connected if it is path-connected and has trivial fundamental group. The following result explains the name ...
[13]
[PDF] are strips really the only open convex sets that disconnect the plane?
Jan 5, 2023 · It is well-known that any open convex set C in R2 is simply connected, that is, C has no bounded complementary components, since every closed.
[14]
[PDF] Hilbert spaces
... contractible as a metric spaces – they have no significant topology. This is to be constrasted with the GL(n) and. U(n) which have a lot of topology, and are ...
[15]
[PDF] Z ! π 1(S1), w
The n-sphere Sn is simply connected if n. 2. This follows easily from the following theorem. Theorem 6.5. Any continuous map S1 ! Sn is path-homotopic to one ...
[16]
[PDF] Introduction to Topology
Apr 1, 2018 · ... Munkres cites the Lebesgue. Number ... Corollary 59.2 hold and Sn is simply connected. (). Introduction to Topology. April 1, 2018. 10 / 10.
[17]
[PDF] Math 5863 homework solutions 19. Prove that two paths α, β
We remark that this applies just as well to paths in any convex subset of Rn. 20. Let X be a path-connected space. We say that X is simply-connected if every ...
[18]
[PDF] Lecture 1: August 23 Introduction. Topology grew out of certain ...
Aug 23, 2025 · convex subset Y ⊆ Rn, since the entire line segment between f(x) ... is simply connected if, for every point x0 ∈ X, the fundamental ...
[19]
[PDF] Examples of Lie Groups in Geometry and Topology
Dec 8, 2022 · SU(n) is simply connected. Proof. It is not hard to show that SU(n + 1) acts transitively on S2n+1 ⊂ Cn+1. Also, if we include SU(n) into SU(n ...
[20]
[PDF] 18.745 F20 Problem Sets - MIT OpenCourseWare
Show that for n ≥ 1, we have π0(SU(n + 1)) = π0(SU(n)), π0(U(n + 1)) ... SU(n) is simply-connected and π1(U(n)) = Z. 2.12. Show that for n ≥ 2, we ...
[21]
[PDF] 26. Mon, Mar. 24
Corollary 26.4. Any tree is simply connected. Definition 26.5. If X is a graph and T ✓ X is a tree, we say that T is a ...
[22]
[PDF] morse and lusternik-schnirelmann for graphs
Every tree, a connected simply connected graph has category 1. A connected graph. G = (V,E) without any triangles defines a one-dimensional simplicial ...
[23]
[PDF] Invariants of knots and 3-manifolds
A closed surface is either simply connected or aspherical. A simply connected closed surface is homeomorphic to S2. A closed surface carries a non-trivial S1- ...
[24]
Universal Cover -- from Wolfram MathWorld
The universal cover of a topological space X exists iff the space X is connected, locally pathwise-connected, and semilocally simply connected.
[25]
universal covering space in nLab - Topology
Nov 18, 2023 · Then a path-connected and simply connected covering space, is called the universal covering space of X X . This is well-defined, if it exists, ...In point-set topology · In cohesive homotopy theory · In the petit ∞ \infty -toposes...
[26]
[PDF] 3 Contour integrals and Cauchy's Theorem
∂x. = ∂P. ∂y . (Recall that a region D is simply connected if every simple closed curve in. D is the boundary of a region contained in D.
[27]
[PDF] Complex Analysis I, Christopher Bishop 2024 - Stony Brook University
If g can be analytically continued along all curves in f(Ω) and if f(Ω) is simply- connected, then by the monodromy theorem there is a function G which is.Missing: source | Show results with:source
[28]
[PDF] arXiv:1507.00711v1 [math.AG] 2 Jul 2015
Jul 2, 2015 · According to Ullrich, the full statement of the Monodromy theorem for simple connected domains is contained in the 'Mitschrift' of Killing ( ...
[29]
[PDF] The Riemann Mapping Theorem Christopher J. Bishop
The celebrated Riemann mapping theorem says that any two simply connected planar domains (other that the whole plane) can be mapped to each other by a conformal ...
[30]
[PDF] The Riemann Mapping Theorem - DiVA portal
All curves on simply connected domains are homologous to zero. Therefore, integrals of holo- morphic functions defined on simply connected domains are path- ...Missing: source | Show results with:source<|control11|><|separator|>
[31]
[PDF] The Uniformization Theorem Author(s): William Abikoff Source - unipi
It was simply to find one uniformization, but where D is simply connected. This theorem was proved independently by Koebe and Poincare in 1907. Poincare's ...
[32]
The uniformization theorem from 1907 to 2007 - EMS Press
By the end of 1907 the uniformization theorem was definitely proved. Koebe's proof and that of Poincaré (as revised by Koebe) seem to us rigorous in the ...
[33]
Poincaré Conjecture - Clay Mathematics Institute
Perelman's proof tells us that every three manifold is built from a set of standard pieces, each with one of eight well-understood geometries. Overview ...
[34]
[PDF] Introduction to Lie Groups and Lie Algebras Alexander Kirillov, Jr.
is the universal cover of SO(n, R) which is called the spin group and ... gives a morphism of Lie groups SU(2) → SO(3, R). 2.13. Let ϕ: SU(2) → SO(3 ...
[35]
Heterotic GUT and Standard Model vacua from simply connected ...
Sep 4, 2006 · We consider four-dimensional supersymmetric compactifications of the E 8 × E 8 heterotic string on Calabi–Yau manifolds endowed with vector ...<|separator|>
[36]
[PDF] Lie groups and Lie algebras (Winter 2024)
Let us focus, in particular, on the groups SO(3),SU(2),SL(2,R), and their topology. The Lie group SO(3) consists of rotations in 3-dimensional space. Let D ⊆ R3 ...
[37]
[PDF] Homotopy Type Theory: Univalent Foundations of Mathematics
A Special Year on Univalent Foundations of Mathematics was held in 2012-13 at the Institute for Advanced Study, School of Mathematics, organized by Steve Awodey ...