PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
[parent] polyrectangle (Definition)

A polyrectangle $P$ in $\R^n$ is a finite collection $P=\{R_1,\ldots,R_N\}$ of compact rectangles $R_i\subset \R^n$ with disjoint interior. A compact rectangle $R_i$ is a Cartesian product of compact intervals: $R_i=[a_1^i,b_1^i]\times \cdots \times [a_n^i,b_n^i]$ where $a_j^i<b_j^i$ (these are also called $n$ dimensional intervals).

The union of the compact rectangles of a polyrectangle $P$ is denoted by $$ \cup P := \bigcup_{R\in P} R = R_1 \cup \cdots \cup R_N. $$ It is a compact subset of $\R^n$

We can define the ($n$ dimensional) measure of $\cup P$ in a simple way. If $R=[a_1,b_1]\times \cdots \times [a_n,b_n]$ is a rectangle we define the measure of $R$ as $$ \mathrm{meas}(R) := (b_1-a_1)\cdots (b_n-a_n) $$ and define the measure of the polyrectangle $P$ as: $$ \mathrm{meas}(P) := \sum_{R\in P} \mathrm{meas}(R). $$

Moreover if we are given a bounded function $f\colon \cup P\to\mathbb R$ we can define the upper and lower Riemann sums of $f$ over $\cup P$ by $$ S^*(f,P) := \sum_{R\in P} \mathrm{meas}(R)\sup_{x\in R} f(x),\qquad S_*(f,P) := \sum_{R\in P} \mathrm{meas}(R)\inf_{x\in R} f(x). $$

Polyrectangles are then used to define the Peano Jordan measure of subsets of $\mathbb R^n$ and to define Riemann multiple integrals. To achieve this, it is useful to introduce the so called refinements. The family of rectangles $R_i$ which appear in the definition [*] are called a partition of $\overline{\cup P}$ in rectangles. It is clear that the set $\cup P$ can be represented by different polyrectangles. For example any rectangle $R$ can be split in $2^n$ smaller rectangles by dividing in two parts each of the $n$ intervals defining $R$ We claim that given two polyrectangles $P$ and $Q$ there exists a polyrectangle $S$ such that $(\cup P)\cup (\cup Q) \subset \cup S$ and such that given any rectangle $R$ in $P$ or $Q$ $R$ is the union of rectangles in $S$




"polyrectangle" is owned by paolini.
(view preamble | get metadata)

View style:

See Also: Riemann multiple integral

Also defines:  Riemann sums on polyrectangles, compact rectangle

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: clear, partition, refinements, Riemann multiple integrals, subsets, Peano Jordan, lower Riemann sums, bounded function, rectangle, measure, compact subset, union, intervals, compact, Cartesian product, interior, disjoint, collection, finite
There are 5 references to this entry.

This is version 20 of polyrectangle, born on 2005-02-18, modified 2007-06-29.
Object id is 6777, canonical name is Polyrectangle.
Accessed 3721 times total.

Classification:
AMS MSC26A42 (Real functions :: Functions of one variable :: Integrals of Riemann, Stieltjes and Lebesgue type)

Pending Errata and Addenda
None.
[ View all 12 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)