Courses / Mathematics / Weighted integration and jump conventions Mathematics · unit version 1 Weighted integration and jump conventions Construct Riemann–Stieltjes sums, prove existence under explicit hypotheses, and distinguish refinement convergence from arbitrary fine-mesh convergence.
Open any lesson. Completion records participation; automatic practice checks and human judgment of written arguments are separate. This unit retains its own versioned requirements.
Readiness and preparation Check your starting point Try these short questions on paper, then compare your reasoning. They are optional self-checks, not a placement score or a navigation requirement. Use a targeted review when useful and return with your browser’s Back control.
Why does refinement tighten ordinary lower and upper sums? Weighted sums reuse containment of extrema but replace widths with integrator increments.
Compare reasoning and find a refresher Each child cell has a higher infimum and lower supremum; its nonnegative weight contributes to a sum whose weights add to the parent weight.
Review Darboux sums and refinement
Does monotonicity prescribe the value at an interior jump? The point value determines which adjacent cell receives each part of the increment.
Compare reasoning and find a refresher It only places that value between the two one-sided limits. Different allowed values can redistribute the jump weight.
Review one-sided limits and jumps
Loading saved mathematics work…
Mixed weights, jump values and existence boundaries
The mixed assessment has separate response history and review criteria; it does not change lesson participation records.
Lesson sequence Each linked lesson opens on its own page. Expand its details here when you want to check the objectives before choosing.
Lesson details and objectives Build weighted Darboux integration from nonnegative increments, prove its refinement criterion, and state exactly how arbitrary tagged sums converge.
Prove weighted refinement and cross-partition bounds using nonnegative additive increments. Establish the small-gap criterion and its equivalent convergence directed by refinement. Prove continuous-function existence with a modulus estimate and handle zero total weight. 6 practice tasks.
Lesson details and objectives Separate refinement integrability from all-small-mesh tagged convergence and account for the exact mass carried by interior and endpoint jumps.
Prove the relation between weighted Darboux integrability and tagged sums over refinements, and distinguish the stronger mesh condition. Analyze a jump whose point-value convention permits refinement integrability and a changed integrand that prevents it. Derive interior and endpoint jump contributions for continuous integrands from the actual partition increments. 6 practice tasks.
Lesson details and objectives Control weighted gaps and every sufficiently fine tagged sum, including finite discontinuities away from integrator jumps.
Prove both weighted Darboux integrability and mesh-based tagged convergence for continuous integrands. Prove the finite-discontinuity existence theorem using small integrator increments and a compact good set. Audit shared jumps, endpoint continuity and the difference between a sufficient condition and a necessary condition. 6 practice tasks.
Lesson details and objectives Use a derivative density only when justified, define signed smooth integrators, and derive boundary terms from sums.
Prove the C¹ nondecreasing-integrator reduction from weighted tagged sums. Construct the signed bounded-variation integral for continuous integrands and prove independence of its monotone decomposition. Derive integration by parts for continuous bounded-variation functions and explain why jumps are not recovered from an almost-everywhere derivative. 6 practice tasks.