Ресми доп - Википедия - Formal ball

Жылы топология, а ресми доп деген ұғымның жалғасы болып табылады доп шектеусіз және теріс радиусқа мүмкіндік беру. Формальды шар тұжырымдамасын Вейхраух пен Шрайбер 1981 жылы енгізген және теріс радиустық жағдай ( жалпыланған ресми доп) Цуики мен Хатторидің 2008 ж.

Нақтырақ айтқанда, егер Бұл метрикалық кеңістік және теріс емес нақты сандар, содан кейін бұл ресми доп. Элементтері жалпыланған формальды шарлар ретінде белгілі.

Ресми шарлар ішінара тәртіпке ие арқылы анықталады егер , жиынтық қосу арқылы анықталғанмен бірдей.

Жалпыланған ресми шарлар қызықты, себебі бұл ішінара тапсырыс жақсы жұмыс істейді болсақ , теріс радиусы бар жалпыланған формальды доп ішкі бөлікке сәйкес келмесе де .

Формальды шарларға ие Лоусон топологиясы және Мартин топологиясы.

Әдебиеттер тізімі

  • K. Weihrauch және U. Schreiber 1981. «Метрикалық кеңістіктерді CPO-ға енгізу». Теориялық информатика, 16:5-24.
  • Х. Цуики және Ю. Хаттори 2008. «Формальды шарлар кеңістігінің Лоусон топологиясы және метрикалық кеңістіктің гиперболалық топологиясы». Теориялық информатика, 405:198-205
  • Y. Hattori 2010. «Метрикалық кеңістіктердегі формальды шарлар позицияларының тәртібі және топологиялық құрылымдары». Ғылым және инженерия факультетінің естеліктері. Шимане университеті. B сериясы 43:13-26