Math 2.0

statement proposition

Volume of a box

Statement

Let ai<bia_i < b_i for i=1,…,ni = 1, \dots, n, and let Q=[a1,b1]×⋯×[an,bn]⊆RnQ = [a_1, b_1] \times \dots \times [a_n, b_n] \subseteq \mathbb{R}^n. Then QQ is Jordan measurable, and its volume is vol⁡(Q)=∫Q1 dV=(b1−a1)(b2−a2)⋯(bn−an).\operatorname{vol}(Q) = \int_Q 1 \, dV = (b_1 - a_1)(b_2 - a_2) \cdots (b_n - a_n).

Remarks

For a box, the Jordan measure and the Riemann integral of the constant function 11 give the same value. The integral can be computed with Fubini's theorem as an iterated integral of 11, one factor bi−aib_i - a_i at a time. Open and half-open boxes with the same edges have the same volume, because the faces of QQ have volume zero. For n=3n = 3 this is the formula length times width times height, a case of base area times height. The volume of a general solid EE is the triple integral ∭E1 dV\iiint_E 1 \, dV.

Explanations

L1 human

The volume of a box is the product of its side lengths. In the theory of multiple integrals this is the starting point: Riemann sums and Jordan measure are both built from volumes of small boxes.

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 13 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Euclidean space object
  2. Function concept
  3. Infimum concept
  4. Supremum concept
  5. Function of several variables concept
  6. Jordan measure definition
  7. Iterated integral definition
  8. Limit of a function of several variables concept
  9. Continuity in R^n definition
  10. Double integral definition
  11. Fubini's theorem statement
  12. Triple integral definition
  13. Volume of a box statement

Sources

  1. Web https://en.wikipedia.org/wiki/Volume, Basic shapes
  2. Web https://en.wikipedia.org/wiki/Volume, Integral calculus