S^1 = { (x, y)∈R^2 | x^2 + y^2 = 1 }
≃ { exp(2πθi)∈C | 0 ≤ θ < 1 }
≃ R/Z
は、コンパクト位相群であり、等質空間であり、もちろん可微分多様体でもある。したがって、様々な数学的構造が入り、諸々の定理を適用することができる。
現代数学の抽象性に疲れた諸君は、この単純だがほどよく複雑な対象で実験すると良いだろう。
≃ { exp(2πθi)∈C | 0 ≤ θ < 1 }
≃ R/Z
は、コンパクト位相群であり、等質空間であり、もちろん可微分多様体でもある。したがって、様々な数学的構造が入り、諸々の定理を適用することができる。
現代数学の抽象性に疲れた諸君は、この単純だがほどよく複雑な対象で実験すると良いだろう。