TheoremBase

Euclidean Open Box Criterion in Rn\mathbb{R}^n

Statement

Let n∈Nn\in\mathbb{N} and let U⊆RnU\subseteq \mathbb{R}^n. Then UU is open in the Euclidean sense if and only if for every point x=(x1,…,xn)∈Ux=(x_1,\dots,x_n)\in U there exists a real number δ>0\delta>0 such that every point y=(y1,…,yn)∈Rny=(y_1,\dots,y_n)\in\mathbb{R}^n satisfying

xi−δ<yi<xi+δx_i-\delta<y_i<x_i+\delta

for every i∈{1,…,n}i\in\{1,\dots,n\} belongs to UU.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…