крайность точек определяется топологией, а не ...
Хайдук wrote:
крайность точек определяется топологией, а не метрикой, таких точек может и не быть как у того же внутреннего "ядра" круга;
1. Если считаете, что слово "крайний" чересчур топологически занято, то назовите эти точки любым другим словом, поскольку их "крайность" я определил вполне строго.
2. Если таких точек у множества нет, значит оно само есть ядро, только и всего.
3. Другое дело, именно это возражение я здесь и ожидал, что неразрешимость можно обнаружить уже на уровне самих крайних точек, а не дополняющего их ядра. Достаточно сравнить определения:
- крайняя точка - это та, которая не является промежуточной точкой никакого отрезка;
- точка ядра - это та, которую нельзя удалить ни за какое конечное количество шагов.
В этих определениях даже количество букв одинаково. Подсчитайте. )) Курьез, конечно.
Но я в данном случае предпочел сосредоточится именно на точках ядра, приведя сомнительный "алгоритм" их нахождения (а алгоритм нахождения крайних точек не привел). Хотя на самом деле никаких сомнений у меня нет, поскольку все рассматриваемые мною множества конечны! Так что является точка крайней или не является, я решаю просто перебором всех отрезков. И точек этих крайних у меня, разумеется, тоже конечное число.
А че, антиквариат.... Можно загнать нехило....
А че, антиквариат.... Можно загнать нехило....
+ развернуть текст 
