跳到正文
The Lumenary
探奇小径可选 · 从不评分起点 The coordinate plane

Life on a torus

本页尚未翻译成简体中文,因此以English显示。

帮助翻译 →
1

问题

In some video games, walking off the right edge of the screen brings you back on the left, and walking off the top brings you back at the bottom. If that world were a real surface, what shape would it be?

先动手做实验,再往下读。探索没有错误的方式。

2

实验

由正方形得到的曲面

把正方形的边两两粘合,使箭头方向一致。让一个“平面国”居民穿过一条边,看看它从哪里、以什么样子回来。

abab

按键:↑ 前进,↓ 后退,← 和 → 转向,空格键开始或停止行走。也可以拖动它。

环面a b a⁻¹ b⁻¹
可定向
是
欧拉示性数
χ = 0

粘合之后,4 个角变成 V = 1,4 条边变成 E = 2,正方形变成 F = 1: V − E + F = 1 − 2 + 1 = 0

和开始时朝向一样。

目前穿过的边数:0

相对的边用同向的箭头粘合。从右边出去,就从左边回来,朝向不变。无论怎么走,这个居民都不会变成镜像:环面是可定向的。

3

提示(如果你需要)

    4

    这是怎么回事

    这是怎么回事

    On a wrap-around screen of width WW and height HH, a point has coordinates (x,y)(x, y) with 0≤x<W0 \le x < W and 0≤y<H0 \le y < H, and moving past an edge means counting on modulo WW or HH — clock arithmetic in two directions at once.

    Gluing the left and right edges of a rectangle gives a cylinder. Gluing the two ends of the cylinder gives a torus: the surface of a doughnut. So the video-game world is a torus. A walker on it can go "around the hole" in two different ways — across the screen or up the screen — and neither loop can be shrunk to a point. Counting how many times a loop goes around each way is the start of the fundamental group of the torus, Z×Z\mathbb Z \times \mathbb Z.

    Now change the rule: walking off the top brings you back at the bottom mirrored, left and right swapped. The walker comes home as their own mirror image — their left hand has become a right hand. That surface is the Klein bottle, and a surface where this can happen is called non-orientable. The Klein bottle cannot be built in ordinary three-dimensional space without passing through itself, but the rule for its edges describes it perfectly well.

    Mathematicians build many surfaces this way, by gluing the edges of a polygon, and the classification of surfaces says that every closed surface arises like this. Whether our own universe might be finite but wrap around in some such way is a question cosmologists have tested against observations; so far no evidence for it has been found.

    这是类比,不是形式化构造: The game screen is a flat rectangle with a rule for its edges; a doughnut in space is curved. They have the same topology but not the same geometry, so 'the screen is a doughnut' is a statement about shape up to stretching, not a picture of the game.

    AI 起草 · 等待人工审校
    5

    由此通向何处