when are balls separated

Let $(X,d)$ be a metric space, and let $B_{r}(x)$ be the $x$ -centeredopen ball of radius $r$ . If $d(x,y)\\geq r+s$ , then the balls $B_{r}(x)$ and $B_{s}(y)$ are separated.

To prove this, suppose that $B_{r}(x)$ and $B_{s}(y)$ are not separated.Then there exists a $z\\in X$ such that either

d(x,z)<r,\\quad d(y,z)\\leq s,

d(x,z)\\leq r,\\quad d(y,z)<s.

In either case,

d(x,y)\\leq d(x,z)+d(z,y)<r+s.

随便看

proof that L^p spaces are complete
ProofThatN2n41IsPrimeFor0leqNleq40
proof that n^2-n+41 is prime for 0≤n≤40
ProofThatNormalDistributionIsADistribution
proof that normal distribution is a distribution
ProofThatNumberOfSumproductNumbersInAnyBaseIsFinite
proof that number of sum-product numbers in any base is finite
ProofThatomegaHasTheTreeProperty
ProofThatoperatornameexpGDividesG
ProofThatoperatornameSpecRIsQuasicompact
ProofThatPowersOf2AreASuperincreasingSequence
proof that powers of 2 are a superincreasing sequence
ProofThatProductsOfConnectedSpacesAreConnected
proof that products of connected spaces are connected
proof that Spec⁡(R) is quasi-compact
ProofThatsqrt2IsIrrational
proof that sqrt(2) is irrational
ProofThatSylvestersMatrixEqualsTheResultant
proof that Sylvester’s matrix equals the resultant
ProofThattaunIsTheNumberOfPositiveDivisorsOfN
ProofThatTheCompositumOfAGaloisExtensionAndAnotherExtensionIsGalois
proof that the compositum of a Galois extension and another extension is Galois
ProofThatTheConvexHullOfSIsOpenIfSIsOpen
proof that the convex hull of S is open if S is open
ProofThatTheCyclotomicPolynomialIsIrreducible

数学辞典收录了18232条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。