>
Fa   |   Ar   |   En
   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
 
     
   
Authors
  
 
 

Copyright 2023
Islamic World Science Citation Center
All Rights Reserved