this post was submitted on 09 Jun 2025
994 points (99.2% liked)

Science Memes

15073 readers
1875 users here now

Welcome to c/science_memes @ Mander.xyz!

A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.



Rules

  1. Don't throw mud. Behave like an intellectual and remember the human.
  2. Keep it rooted (on topic).
  3. No spam.
  4. Infographics welcome, get schooled.

This is a science community. We use the Dawkins definition of meme.



Research Committee

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] Zwiebel@feddit.org 22 points 1 day ago (2 children)

You are talking about a straw of zero wall thickness right? A real straw should be homo-whatever to a torus

[–] lennivelkant@discuss.tchncs.de 2 points 20 hours ago

Homotopic: Having the same (homo-) topological properties (-topic)

[–] iAvicenna@lemmy.world 1 points 18 hours ago* (last edited 18 hours ago)

Even if it has thickness still homotopic to a circle. For instance a band with thickness is homotopic to a circle, you can retract along the radius to arrive at a circle that is inside the band. Similarly a plane, or a slab with thickness are all homotopic to a point.

Note that all of these are proved by using collections of transformations from the space to itself (not necessarily from the space to all of itself though, if it maps the space to a subset of it that is fine). So if you want to say something like "but you can also shrink a circle to eventually reach a point but it is not homotopic to a point" that won't work because you are imagining transformation that maps a circle not into itself but to a smaller one.

ps: the actual definition of homotopy equivalence between "objects" is slightly more involved but intuitively it boils down to this when you imagine one space as a subset of the other and try to see if they are homotopy equivalent.