Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »
Q&A

Comments on Is there a $\Delta$-complex structure on the sphere with less than three $0$-simplices?

Post

Is there a $\Delta$-complex structure on the sphere with less than three $0$-simplices?

+3
−0

In Hatcher's Algebraic Topology, a $\Delta$-complex structure on a topological space $X$ is defined as follows. Here, $\Delta^n$ denotes the standard $n$-simplex in $\mathbb{R}^{n+1}$, and $\overset{\circ}{\Delta}{}^n$ denotes its interior.

A $\mathbf\Delta$-complex structure on a space $X$ is a collection of maps $\sigma_\alpha : \Delta^n \to X$, with $n$ depending on the index $\alpha$, such that:

  1. The restriction $\sigma_\alpha | \overset{\circ}{\Delta}{}^n$ is injective, and each point of $X$ is in the image of exactly one such restriction $\sigma_\alpha | \overset{\circ}{\Delta}{}^n$.
  2. Each restriction of $\sigma_\alpha$ to a face of $\Delta^n$ is one of the maps $\sigma_\beta : \Delta^{n-1} \to X$. Here we are identifying the face of $\Delta^n$ with $\Delta^{n-1}$ by the canonical linear homeomorphism between them that preserves the ordering of the vertices.
  3. A set $A \subset X$ is open iff $\sigma_\alpha^{-1}(A)$ is open in $\Delta^n$ for each $\sigma_\alpha$.

I can place a $\Delta$-complex structure on the sphere $S^2$ using three $0$-simplices, three $1$-simplices, and two $2$-simplices, essentially by gluing the two $2$-simplices along their boundary edges so that each simplex is a hemisphere and the (common) boundary is the equator.

Question: Is there a $\Delta$-complex structure on the sphere $S^2$ using fewer than three $0$-simplices?

I do not believe that this is possible, since I don't see how one can possibly glue the edges of some simplices onto fewer than three vertices to get a sphere; but, I don't know how to write down a rigorous argument.

History
Why does this post require attention from curators or moderators?
You might want to add some details to your flag.
Why should this post be closed?

1 comment thread

Each point is the image of one such restriction (2 comments)
Each point is the image of one such restriction
Peter Taylor‭ wrote 7 months ago

For the purposes of "each point in $X$ is in the image of exactly one such restriction $\sigma_\alpha | \overset{\circ}{\Delta}{}^n$" does the 0-simplex count as having a non-empty interior? If not, the points mapped by the vertex would seem to be exceptions.

The Amplitwist‭ wrote 7 months ago · edited 7 months ago

Peter Taylor‭ Yes, the $0$-simplex has nonempty interior. Here is a more precise definition of $\overset{\circ}{\Delta}{}^n$ from Hatcher (page 103).

If we delete one of the $n+1$ vertices of an $n$-simplex $[v_0,\dotsm,v_n]$, then the remaining $n$ vertices span an $(n-1)$-simplex, called a face of $[v_0,\dotsm,v_n]$. [...] The union of all the faces of $\Delta^n$ is the boundary of $\Delta^n$, written $\partial \Delta^n$. The open simplex $\overset{\circ}{\Delta}{}^{n}$ is $\Delta^n - \partial \Delta^n$, the interior of $\Delta^n$.

So, if $\Delta^0$ is a $0$-simplex, then $\partial \Delta^0 = \emptyset$, which implies that $\overset{\circ}{\Delta}{}^{0} = \Delta^0$.