Refinement of a partition
Definition
Let and be partitions of . The partition is a refinement of if each point of is also a point of .
Remarks
Any two partitions and have a common refinement, made of the points of both. Refining a partition lowers the upper Darboux sum and raises the lower Darboux sum, or leaves them unchanged.
Explanations
L1 human
A refinement cuts the interval at more points. Each old subinterval is cut into one or more new subintervals.
What this node needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 2 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Partition of an interval definition
- Refinement of a partition definition
Sources
- Web https://en.wikipedia.org/wiki/Partition_of_an_interval, Refinement of a partition
What links here
No node links to this node yet.