So the journey is not over. The question if a nonperiodic tiling of the plane is possible with one (non-mirrored) tile is still open.
So the journey is not over. The question if a nonperiodic tiling of the plane is possible with one (non-mirrored) tile is still open.
> The rigid transformations include rotations, translations, reflections, or any sequence of these. [...] All rigid transformations are examples of affine transformations.
And now I’m curious: what additional transformations could we do with 3D shapes if we could move them in a 4D space?
But as you transform 2d shape it remains embedded in it's own local 2d space. So you are not really transforming the shape but it's associated 2d space. And since the only thing can do to 2d space to transform it into another 2d space without deforming it is translation, rotation and flipping going into higher dimensions doesn't give you anything extra.
I expected to see more about this. Are a given 2D shape and its mirror image generally considered the same shape by... the people who study this stuff? That would surprise me. So much so that calling this an "aperiodic monotile" doesn't feel right.
Reflections feel like a totally different thing, because there's no continuous path to go from a shape to its reflection in 2 dimensions: you either have to have it instantaneously jump to its reflection, or introduce an extra imaginary "third dimension" for it to move through.
I'm not arguing with the definitions, because that's pointless. I'm just trying to explain why I find it so surprising as a lay person that reflections would be admitted in this way.