809: n-Disk Centered at p with Radius r with Indexes B

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of $n$-disk centered at $p$ with radius $r$ with indexes $B$

---

Topics

About: topological space

---

The table of contents of this article

• Starting Context
• Target Context
• Orientation
• Main Body
• 1: Structured Description
• 2: Note

---

Starting Context

• The reader knows a definition of subspace topology of subset of topological space.
• The reader knows a definition of Euclidean topological space.

---

Target Context

• The reader will have a definition of $n$-disk centered at $p$ with radius $r$ with indexes $B$.

---

Orientation

There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.

---

Main Body

---

1: Structured Description

Here is the rules of Structured Description.

Entities:
${\mathbb{R}}^d$: $=\text{ the Euclidean topological space }$
$p$: $\in {\mathbb{R}}^d$, $=(p^1,...,p^d)$
$r$: $\in \mathbb{R}$ such that $0\le r$
$n$: $\in \mathbb{N}$ such that $0\le n\le d$
$B$: $\subseteq \{1,...,d\}$ such that $|B|=n$
$\ast D_{p,r,B}$: $=\{p^{\prime }=(p^{\prime 1},...,p^{\prime d})\in {\mathbb{R}}^d|\mathrm{\forall }j\in \{1,...,d\}\setminus B(p^{\prime j}=p^j)\wedge \sum _{j\in \{1,...,d\}}(p^{\prime j}-p^j{)}^2\le r^2\}\subseteq {\mathbb{R}}^d$ with the subspace topology
//

Conditions:
//

---

2: Note

Of course, this definition is not particularly interesting, but we have this definition in order to avoid explaining every time what we mean by "n-disk centered at $p$ with radius $r$ with indexes $B$".

---

References

<The previous article in this series | The table of contents of this series | The next article in this series>