|
|
|
|
continuous functions of several variables are Riemann summable
|
(Theorem)
|
|
Proof. Let $D\subset \R^n$ be a compact subset of $\R^n$ and let $f\colon D\to \R$ be a continuous function. Since $f$ is defined on a compact set, $f$ is uniformly continuous i.e. given $\epsilon>0$ there exists $\delta>0$ such that $|x-y|\le \delta \Rightarrow |f(x)-f(y)|\le \epsilon$ Let $R>0$ be large enough so that $D\subset (-R,R)^n$ (such an $R$ exists because $D$ is bounded). Let $P$ be a polyrectangle such that $D\subset \cup P \subset (-R,R)^n$ and such that every rectangle $R$ in $P$ has diameter which is less then $\delta$ So one has $\sup_R f(x)-\inf_R f(x) \le \epsilon$ and hence $$ S^*(f,P)-S_*(f,P)\le \epsilon \sum_{Q\in P} \mathrm{meas} (Q) \le \epsilon \mathrm{meas}(P) \le \epsilon \mathrm{meas}[-R,R]^n = \epsilon 2^n R^n. $$ Letting $\epsilon\to 0$ one concludes
that $S^*(f)=S_*(f)$ 
|
"continuous functions of several variables are Riemann summable" is owned by paolini.
|
|
(view preamble | get metadata)
Cross-references: diameter, rectangle, polyrectangle, bounded, uniformly continuous, compact set, Riemann integrable, compact subsets, continuous functions
This is version 6 of continuous functions of several variables are Riemann summable, born on 2005-03-13, modified 2006-09-09.
Object id is 6875, canonical name is ContinuousFunctionsOfSeveralVariablesAreRiemannSummable.
Accessed 1185 times total.
Classification:
| AMS MSC: | 26A42 (Real functions :: Functions of one variable :: Integrals of Riemann, Stieltjes and Lebesgue type) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|