I know that the fundamental group of the Hawaiian earring is uncountable, so I would think you can argue it injects into such a space, but I think that would rely on some condition like having a countable neighborhood basis.
2026-04-11 18:34:30.1775932470
Is the fundamental group of a non-semi-locally simply connected space uncountable?
108 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in GENERAL-TOPOLOGY
- Is every non-locally compact metric space totally disconnected?
- Let X be a topological space and let A be a subset of X
- Continuity, preimage of an open set of $\mathbb R^2$
- Question on minimizing the infimum distance of a point from a non compact set
- Is hedgehog of countable spininess separable space?
- Nonclosed set in $ \mathbb{R}^2 $
- I cannot understand that $\mathfrak{O} := \{\{\}, \{1\}, \{1, 2\}, \{3\}, \{1, 3\}, \{1, 2, 3\}\}$ is a topology on the set $\{1, 2, 3\}$.
- If for every continuous function $\phi$, the function $\phi \circ f$ is continuous, then $f$ is continuous.
- Defining a homotopy on an annulus
- Triangle inequality for metric space where the metric is angles between vectors
Related Questions in ALGEBRAIC-TOPOLOGY
- How to compute homology group of $S^1 \times S^n$
- the degree of a map from $S^2$ to $S^2$
- Show $f$ and $g$ are both homeomorphism mapping of $T^2$ but $f$ is not homotopy equivalent with $g.$
- Chain homotopy on linear chains: confusion from Hatcher's book
- Compute Thom and Euler class
- Are these cycles boundaries?
- a problem related with path lifting property
- Bott and Tu exercise 6.5 - Reducing the structure group of a vector bundle to $O(n)$
- Cohomology groups of a torus minus a finite number of disjoint open disks
- CW-structure on $S^n$ and orientations
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Here is a proposed counterexample to my own question:
Let $P$ be an ordered set with such that there is no order preserving function $f$ from the natural numbers that has the property that for any element $x \in P$ there is an integer $y$ such that $x \leq f(y)$.
Put a topology on $X=P\cup \{*\}$ by declaring as a basis the individual points in $P$ and the sets containing $*$ such that there is an element $x \in P$ in the set and that if $x \leq y$, then $y$ is in the set. If $P$ were the natural numbers this would be the set $\{0\}\cup\{1/n | n \in \mathbb{N}\}$ with the subspace topology.
Take the reduced suspension of $X$ where the basepoint is $*$ and attach a disk from the arc corresponding to the element $x \in P$ to the arc corresponding to $y \in P$ if $x < y$. Call this space $X'$.
I claim $X'$ is not semi-locally simply connected. Any neighborhood around the basepoint contains some circle corresponding to some element $x \in P$. It is pretty clear that the loop obtained by traversing this circle once can only be contracted by moving toward the basepoint through these arcs we added. However, a homotopy can only take us through countably many of these arcs so by the condition on $P$ this homotopy cannot end at the basepoint, so the loop is not trivial.
The fundamental group is also not uncountable because it's pretty clear the loops corresponding to the elements of $P$ have to be the building blocks, but there cannot be infinite sequences of them like in the Hawaiian earring because by the condition on $P$ these loops are not approaching the basepoint. In fact, I think that the fundamental group is $\mathbb{Z}$ generated by the loop corresponding to some element of $P$.
Again this is only a sketch, please dissect the argument because I would like it to be the case the titular question has an affirmative answer.