Definition:Subdivision (Real Analysis)/Rectangle

Definition

Let $R = \closedint {a_1} {b_1} \times \dotso \times \closedint {a_n} {b_n}$ be a closed rectangle in $\R^n$.

Let:

$P = \tuple {P_1, \dotsc, P_n}$

where every $P_i$ is a finite subdivision of $\closedint {a_i} {b_i}$.

Then $P$ is a finite subdivision of the closed rectangle $R$.

Subrectangle

This page has been identified as a candidate for refactoring. In particular: Separate page Until this has been finished, please leave {{Refactor}} in the code. New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code.

For every $1 \le i \le n$, let:

$P_i = \set {x_{i,0}, \dotsc, x_{i,m_i}}$

Then, for all $k_1, \dotsc, k_n$, where:

$1 \le k_i \le m_i$

the closed rectangle:

$\closedint {x_{1,k_1 - 1}} {x_{1,k_1}} \times \dotso \times \closedint {x_{i,k_i - 1}} {x_{i,k_i}} \times \dotso \times \closedint {x_{n,k_n - 1}} {x_{n,k_n}}$

is a subrectangle of $P$.

Sources

• 1965: Michael Spivak: Calculus on Manifolds: $3$ Integration