کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
421996 684999 2008 9 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Constructive Urysohn's Universal Metric Space
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Constructive Urysohn's Universal Metric Space
چکیده انگلیسی

A construction of the Urysohn's universal metric space is given in the context of constructive theory of metric spaces. The space is universal in the sense that every separable metric space isometrically embeds into it. Moreover, every isometry between two finite subspaces extends to total isometry, and this determines the Urysohn space uniquely up to isometric isomorphism.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 221, 25 December 2008, Pages 171-179