Definition:Refinement of Finite Subdivision
(Redirected from Definition:Finer Subdivision)
Jump to navigation
Jump to search
Definition
Let $\closedint a b$ be a closed interval.
Let $P, Q$ be finite subdivisions of $\closedint a b$.
We say that $Q$ is a refinement of $P$, or that $Q$ is finer than $P$ if and only if:
- $P$ is a subset of $Q$.
Sources
- 2013: Donald L. Cohn: Measure Theory (2nd ed.) ... (previous) ... (next): $2.5$: The Riemann Integral