(X,d1),(X,d2) metrik uzaylar, d:X2→R , d(x,y):=d1(x,y)+d2(x,y) olmak üzere "(a∈X)(ε>0)⇒Bd(a,ε)=Bd1(a,ε)∩Bd2(a,ε)" önermesi doğru mudur? Cevabınızı kanıtlayınız.
Not: Bu eşitliğin sağlandığını söyleyebilmek için çift yönlü kapsamanın olduğunu göstermeliyiz. İspatın bir yönü şu şekilde, varsa diğer kısmın ispatı nasıldır?
(⊂): x∈Bd(a,ε)⇒d(a,x)<ε
⇒d1(a,x)+d2(a,x)<ε
⇒(d1(a,x)<ε)(d2(a,x)<ε)
⇒(x∈Bd1(a,ε))(x∈Bd2(a,ε))
⇒x∈Bd1(a,ε)∩Bd2(a,ε)