TheoremBase

Proof

Let U⊆RnU\subseteq \mathbb{R}^n.

Assume first that UU is open in the Euclidean sense. Let x=(x1,…,xn)∈Ux=(x_1,\dots,x_n)\in U. By Open Subset of Euclidean Space, there exists a real number r>0r>0 such that every point y=(y1,…,yn)∈Rny=(y_1,\dots,y_n)\in\mathbb{R}^n satisfying

∑i=1n(yi−xi)2<r2\sum_{i=1}^n (y_i-x_i)^2<r^2

belongs to UU. By the definition of the Euclidean distance, the inequality above is equivalent to

dE(x,y)<r.d_E(x,y)<r.

Thus

BdE(x,r)⊆U,B_{d_E}(x,r)\subseteq U,

where BdE(x,r)B_{d_E}(x,r) is the open ball in the metric space (Rn,dE)(\mathbb{R}^n,d_E). Since x∈Ux\in U was arbitrary, UU is open in the metric space (Rn,dE)(\mathbb{R}^n,d_E).

Conversely, assume that UU is open in the metric space (Rn,dE)(\mathbb{R}^n,d_E). Let x=(x1,…,xn)∈Ux=(x_1,\dots,x_n)\in U. Then there exists r>0r>0 such that

BdE(x,r)⊆U.B_{d_E}(x,r)\subseteq U.

If y=(y1,…,yn)∈Rny=(y_1,\dots,y_n)\in\mathbb{R}^n satisfies

∑i=1n(yi−xi)2<r2,\sum_{i=1}^n (y_i-x_i)^2<r^2,

then by the definition of dEd_E one has dE(x,y)<rd_E(x,y)<r, so y∈BdE(x,r)⊆Uy\in B_{d_E}(x,r)\subseteq U. Therefore UU is open in the Euclidean sense.

Hence UU is open in the Euclidean sense if and only if it is open in the metric space (Rn,dE)(\mathbb{R}^n,d_E).

Citations

Loading…

Dependencies

Uses0

Loading…

Comments

Log in to comment.

Loading…