Partition of an interval
Template:Short description Script error: No such module "about".
In mathematics, a partition of an interval [a, b]Script error: No such module "Check for unknown parameters". on the real line is a finite sequence x0, x1, x2, …, xnScript error: No such module "Check for unknown parameters". of real numbers such that
- a = x0 < x1 < x2 < … < xn = bScript error: No such module "Check for unknown parameters"..
In other terms, a partition of a compact interval Template:Mvar is a strictly increasing sequence of numbers (belonging to the interval Template:Mvar itself) starting from the initial point of Template:Mvar and arriving at the final point of Template:Mvar.
Every interval of the form [xi, xi + 1]Script error: No such module "Check for unknown parameters". is referred to as a subinterval of the partition x.
Refinement of a partition
Another partition Template:Mvar of the given interval [a, b] is defined as a refinement of the partition Template:Mvar, if Template:Mvar contains all the points of Template:Mvar and possibly some other points as well; the partition Template:Mvar is said to be “finer” than Template:Mvar. Given two partitions, Template:Mvar and Template:Mvar, one can always form their common refinement, denoted P ∨ QScript error: No such module "Check for unknown parameters"., which consists of all the points of Template:Mvar and Template:Mvar, in increasing order.[1]
Norm of a partition
The norm (or mesh) of the partition
- x0 < x1 < x2 < … < xnScript error: No such module "Check for unknown parameters".
is the length of the longest of these subintervals[2][3]
- max{Template:Abs : i = 1, … , n Script error: No such module "Check for unknown parameters".}.
Applications
Partitions are used in the theory of the Riemann integral, the Riemann–Stieltjes integral and the regulated integral. Specifically, as finer partitions of a given interval are considered, their mesh approaches zero and the Riemann sum based on a given partition approaches the Riemann integral.[4]
Tagged partitions
A tagged partition or Perron Partition is a partition of a given interval together with a finite sequence of numbers t0, …, tn − 1Script error: No such module "Check for unknown parameters". subject to the conditions that for each Template:Mvar,
- xi ≤ ti ≤ xi + 1Script error: No such module "Check for unknown parameters"..
In other words, a tagged partition is a partition together with a distinguished point of every subinterval: its mesh is defined in the same way as for an ordinary partition.[5]
See also
References
<templatestyles src="Reflist/styles.css" />
Script error: No such module "Check for unknown parameters".
Further reading
- Script error: No such module "citation/CS1".