4: Геометрія
- Page ID
- 58673
Згадайте два абзаци з розділу 1.2, які ми мали намір витратити час на розуміння та роботу над ними:
У той час як підхід Евкліда до геометрії був адитивним (він почав з основних визначень і аксіом і приступив до побудови послідовності результатів залежно від попередніх), підхід Кляйна був віднімним. Він почав з простору і групи допустимих перетворень цього простору. Потім він викинув всі поняття, які не залишилися незмінними при цих перетвореннях. Геометрія, до Клейна, - це вивчення об'єктів і функцій, які залишаються незмінними при допустимих перетвореннях.
Підхід Кляйна до геометрії, названий програмою Ерлангена після університету, в якому він працював у той час, має перевагу, що всі три геометрії (евклідова, гіперболічна та еліптична) виникають як особливі випадки із загального простору та загального набору перетворень.
Тепер ми маємо як простір (\(\mathbb{C}^+\)), так і перетворення (перетворення Мебіуса), і майже готові приступити до неевклідових пригод. Однак перед цим потрібно визначити ще одну фразу: група перетворень. Ця фраза має точне значення. Далеко не кожному збірнику перетворень пощастило сформувати групу.
- 4.1: Основи
- Читач, який бачив теорію груп, буде знати, що крім трьох властивостей, перелічених у нашому визначенні, групова операція повинна задовольняти властивість, яка називається асоціативністю. У контексті перетворень групова операція є складом перетворень, і ця операція завжди асоціативна. Отже, в теперішньому контексті перетворень ми опускаємо асоціативність як властивість, яка потребує перевірки.
- 4.2: Геометрія Мебіуса
- Ми витратили неабияку кількість часу, вивчаючи перетворення Мебіуса в главі 3, і це виплатить дивіденди зараз. Ми підкреслюємо, що кути збереглися в геометрії Мебіуса, що добре. Крім того, замість того, щоб переслідувати дуже загальну геометрію Мебіуса, ми беремо попередні факти і застосовуємо їх відразу до двох її спеціальних «підгеометрій», гіперболічної геометрії та еліптичної геометрії.