![Конус К является выпуклой оболочкой К и К и поэтому равен Е. Лемма об отображении конуса [4] в форме [14, с. 277] применима к настоящему случаю, поскольку в доказательстве нигде не используется природа вариаций. Воспользовавшись этой леммой, можно заключить, что, каков бы ни был луч, исходящий из точки Х0, всегда найдется достаточно узкий телесный усеченный конус, содержащий внутри себя этот луч и целиком лежащий внутри Ас(7", 0) (Ас(7", Э£?)). Продолжив этот усеченный конус до пересечения с единичной сферой, мы получим некоторую окрестность на ней, лежащую внутри продолженного таким образом конуса. Варьируя направление луча, образуем покрытие единичной сферы и пользуясь ее компактностью, выберем конечное подпокрытие. Усеченные конусы, порождающие это подпокрытие, полностью покрывают некоторую окрестность Х0 в (?” и содержатся в Ас (Г, 0 (Ас(Г, 30). Лемма доказана.](/static/pngsmall/829665184.png)
Конус К является выпуклой оболочкой К и К и поэтому равен Е. Лемма об отображении конуса [4] в форме [14, с. 277] применима к настоящему случаю, поскольку в доказательстве нигде не используется природа вариаций. Воспользовавшись этой леммой, можно заключить, что, каков бы ни был луч, исходящий из точки Х0, всегда найдется достаточно узкий телесный усеченный конус, содержащий внутри себя этот луч и целиком лежащий внутри Ас(7", 0) (Ас(7", Э£?)). Продолжив этот усеченный конус до пересечения с единичной сферой, мы получим некоторую окрестность на ней, лежащую внутри продолженного таким образом конуса. Варьируя направление луча, образуем покрытие единичной сферы и пользуясь ее компактностью, выберем конечное подпокрытие. Усеченные конусы, порождающие это подпокрытие, полностью покрывают некоторую окрестность Х0 в (?” и содержатся в Ас (Г, 0 (Ас(Г, 30). Лемма доказана.
Скачать страницу
[Выходные данные]
![Конус К является выпуклой оболочкой К и К и поэтому равен Е. Лемма об отображении конуса [4] в форме [14, с. 277] применима к настоящему случаю, поскольку в доказательстве нигде не используется природа вариаций. Воспользовавшись этой леммой, можно заключить, что, каков бы ни был луч, исходящий из точки Х0, всегда найдется достаточно узкий телесный усеченный конус, содержащий внутри себя этот луч и целиком лежащий внутри Ас(7", 0) (Ас(7", Э£?)). Продолжив этот усеченный конус до пересечения с единичной сферой, мы получим некоторую окрестность на ней, лежащую внутри продолженного таким образом конуса. Варьируя направление луча, образуем покрытие единичной сферы и пользуясь ее компактностью, выберем конечное подпокрытие. Усеченные конусы, порождающие это подпокрытие, полностью покрывают некоторую окрестность Х0 в (?” и содержатся в Ас (Г, 0 (Ас(Г, 30). Лемма доказана.](/static/pngbig/829665184.png)