(Untitled)

[special_linear]

Comments

[langri_ksk]

что-то вроде леммы о бабочке?

[special_linear]

леммма о бабочке всё-таки довольно симпатичная штука, и довольно осмысленная. теорема, из доказательства которой взята эта картинка, тоже осмысленная, но диаграмма какая-то дурная, в том смысле, что V_{\gamma_i} содержится в U_{\xi_i}, а все остальные, кхем, "стрелки" из этого сами собой получаются.

[m03r]

Гениально! А что это означает? :-[

[special_linear]

что одни множества содержатся в других.

[m03r]

это я понимаю.

А что означают нижние индексы и разные буковки?

[special_linear]

ну вообще этих U и V там много разных, вот их и индексируют греческими буковками. ну и между некоторыми из них есть соотношения, которые как-то дальше используются.