"(X,d) bir metrik uzay, Y ve Z, X'in iki alt kümesi olsun.
Eğer ∀ x,y ∈ Y ve x ≠ y için d(x,y)=d(x,z)+d(z,y) ve d(x,z),d(z,y)≠0 olacak şekilde z∈Z varsa Z kümesi, Y'de yoğun denir."
bu tanım olabilir mi acaba?
Anladım sizi hocam, vakit ayırdığınız için teşekkür ederim, aslında ben hala lisan öğrencisiyim yani sadece meraktan sordum,
yani aradığım belli özellikler yoktur.
" f,g R'den R'ye tanımlı iki sürekli fonksiyon için eğer bütün rasiyonel sayılar için f ve g eşit ise f=g olur" bu teorem üzerinde çalışıyordum
ispatladıktan sonra, acaba R'den değil de herhangi bir küme için nasıl genişleyebiliriz bu teoremi diye sordum kendime.
Her topoloji kitabında yoğun alt küme ev süreklilik tanımları vardır.
Türkçe: Topoloji İngilizce: Topology
Ama, bu teoremin doğru olması için hedef uzayın topolojisinde bir koşul (Hausdorff olması) gerekiyor.