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

Post History

#1: Initial revision by user avatar Derek Elkins‭ · 2024-04-19T11:12:54Z (8 months ago)
If it wasn't for the right to left implication of condition 3, you could do this with a single map out of the 0-simplex.

If there are 2 or fewer points in the image of a map from $\Delta^0$, then that means at least two vertices of the image of every map out of the 2-simplex must be the same. Since the image of a 1-simplex can't be degenerate due to condition 1 (or self-intersecting or visit an end point in the interior), the images in such cases are non-trivial closed loops which thus separate $S^2$ into at least two disconnected pieces each homeomorphic to a disc. The image of a 2-simplex will thus lead to a disc that remains to be covered. The same logic works just as well for the discs. We can never completely cover those discs with a finite number of maps from the 2-simplex.

Now, what we could *almost* do is use an infinite family with the areas of the discs approaching $0$ and being contained in smaller and smaller balls around one of the vertices that's the image of the 0-simplex, call it $z$. The motivating image is similar to the [Hawaiian earring](https://en.wikipedia.org/wiki/Hawaiian_earring). This would work except that the right to left implication of condition 3 fails.

Specifically, we can consider a closed path from some point $x \neq z$ to $z$. This path is chosen such that for any point $y \neq z$ on the path, the subpath from $y$ to $z$ passes through the images of the interior of infinitely many maps from the 2-simplex and has an open intersection with the images of the interior of the 1-simplex. This path is a closed subset of $S^2$, so its complement is open. If we union $\{z\}$ into that complement, call this subset $A$, it will be non-open, because $z$ will be a boundary point. However, the inverse image of $A$ is open for all maps from simplices violating condition 3.

In more detail, for every $\sigma_\alpha$, its inverse image of the complement is open but lacks the vertices that get mapped to $z$, but for each $\sigma_\alpha$ we can always choose a sufficiently small open ball around $z$ such the inverse image of the complement of the path unioned with this open ball agrees with the inverse image of the complement alone except that it includes the inverse image of $z$. Specifically, the open ball just needs to be small enough that it doesn't include any of part of the path that intersects the image away from $z$. This shows that adding the inverse image of $z$ to the inverse image of the complement is still open, but this means the inverse image of $A$ is open.