а сфера Римана - это ведь компактификация Александрова для комплексной плоскости?
именно, одноточечная
#RJ0XDJ/BFG
/ @dluciv
/ 4484 дня назад
@dluciv спасибо
#RJ0XDJ/CEF
/ @jtootf
-->
#RJ0XDJ/BFG
/ 4484 дня назад
@jtootf Занимается же кто-то делом... Аж зависть берёт.
#RJ0XDJ/0FA
/ @dluciv
-->
#RJ0XDJ/CEF
/ 4484 дня назад
@dluciv да это наоборот. надо - пробовать описывать на Agda индексированные категории, а получается - читать в интернете всякое с картинками
#RJ0XDJ/4GV
/ @jtootf
-->
#RJ0XDJ/0FA
/ 4484 дня назад
@matimatik Это когда к топологическому пространству добавляют точку на бесконечности, чтобы сделать его компактным. http://en.wikipedia.org/wiki/One-point_compactification
#RJ0XDJ/Y47
/ @goren
-->
#RJ0XDJ/GGN
/ 4484 дня назад
Цоперайт © 2010-2016 @stiletto.