Constructive Urysohn Universal Metric Space
|
|
|
|
|
نویسنده
|
Lesnik Davorin
|
منبع
|
journal of universal computer science - 2009 - دوره : 15 - شماره : 6 - صفحه:1236 -1263
|
چکیده
|
We construct the urysohn metric space in constructive setting without choice principles. the urysohn space is a complete separable metric space which contains an isometric copy of every separable metric space, and any isometric embedding into it from a finite subspace of a separable metric space extends to the whole domain.
|
کلیدواژه
|
constructive mathematics ,metric space ,Urysohn universal space
|
آدرس
|
Institute for Mathematics, Physics and Mechanics, Slovenia
|
پست الکترونیکی
|
davorin.lesnik@fmf.uni-lj.si
|
|
|
|
|