nLab
intensive or extensive quantity

Contents

Context

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

In physics

In physics and especially in continuum mechanics and thermodynamics, a physical quantity associated with a physical system extended in space is called

  • intensive if it is a function on (the physical system extended in) space;

  • extensive if it is a density or linear distribution on (the physical system extended in) space.

For instance for a solid body its temperature is intensive, but its mass is extensive: there is a temperature assigned to every point of the body (in the idealization of classical continuum mechanics anyway) but a mass is assigned only to every little “extended” piece of the body, not to a single point.

This terminology in physics appears vaguely in (Hegel 1812), Hegel 1817), more precisely in (Grassmann 1844) and in its fully modern form is maybe due to Richard Tolman (1917).

If we take into account that a physical system may or may not have a particular kind of quantity (for example, a thermodynamic system may or may not have a temperature), a system has a value of an intensive quantity if and only if all of its subsystems have a value of that quantity, and then all of these values are equal. However, it’s generally safe to assume that every system has a value of every extensive quantity.

To be precise, given a system S 0S_0 made up of the subsystems S 1S_1 and S 2S_2:

  • For an intensive quantity qq, S 0S_0 has a value q 0q_0 of qq if and only if S 1S_1 and S 2S_2 also have values of qq, and then we have q 1=q 0q_1 = q_0 and q 2=q 0q_2 = q_0.

  • For an extensive quantity QQ, all three systems have values of QQ, and we have Q 0=Q 1+Q 2Q_0 = Q_1 + Q_2.

In geometry and algebra

In (Lawvere 86) it is amplified that this duality is generally a fundamental one also in mathematics: given a topos H\mathbf{H} with a commutative ring object RCRing(H)R \in CRing(\mathbf{H}), then

  • the space of intensive quantities on an object XHX \in \mathbf{H} is the mapping space [X,R] HCRing(H)[X,R]_{\mathbf{H}} \in CRing(\mathbf{H}) formed in H\mathbf{H};

  • the space of extensive quantities on XX is the RR-linear dual, namely the mapping space [X,R] *[[X,R],R] RMod[X,R]^\ast \coloneqq [[X,R], R]_{R Mod} formed in RR-modules in H\mathbf{H}.

    (here the operation [[,R],R] RMod[[-,R],R]_{R Mod} happens to be what is also called the “continuation monad” for RR)

  • the integration map is the canonical evaluation pairing

    X:[X,R]×[X,R] *R. \int_X \;\colon\; [X,R] \times [X,R]^\ast \longrightarrow R \,.

See also at Lawvere distribution.

In higher geometry and higher algebra

Viewed this way, this naturally generalizes to the case where H\mathbf{H} is in fact an (∞,1)-topos and RCRing(H)R \in CRing(\mathbf{H}) an E-∞ ring. In this case [X,R][X,R] is called the RR-cohomology spectrum of XX and [X,R] *[X,R]^\ast is the corresponding generalized homology spectrum. In this form intensive and extensive properties appear in physics in the context of motivic quantization of local prequantum field theory.

More generally, for χ\chi an RR-(∞,1)-line bundle over XX then the corresponding extensive object is the χ\chi-twisted Thom spectrum R +χ(X)R_{\bullet + \chi}(X) and the intensive object is the χ\chi-twisted cohomology spectrum R +χ(X)=[R +χ(X),R] RModR^{\bullet + \chi}(X) = [R_{\bullet+ \chi}(X),R]_{R Mod}. See at motivic quantization for how this appears in physics.

In modal homotopy type theory

Assume we are working in the context of a cohesive (∞,1)-topos, H\mathbf{H}, with the three adjoint modalities, shape modality \dashv flat modality \dashv sharp modality \int \dashv \flat \dashv \sharp.

We may characterize the codomains of those functions which are intensive or extensive quantities in terms of \sharp.

  • Intensive: functions whose value is genuinely given by their restriction to all possible points have as codomains types XX that are fully determined by their moment of continuity, that is those for which XXX \to \sharp X is a monomorphism. In categorical semantics these are the concrete objects or equivalently the separated presheaves for \sharp: they are determined by their global points.

  • Extensive: objects which have purely the negative moment of continuity ¯\overline{\sharp}, or, in other words, which are maximally non-concrete, form codomains for “functions” which vanish on points and receive their contribution only from regions that extend beyond a single point. For example, the smooth moduli space of differential nn-forms is maximally non-concrete. This concept of extension is precisely that which gave the name to Hermann Grassmann‘s Ausdehnungslehre that introduced the concept of exterior differential form.

So, the adjunction ()(\flat \dashv \sharp) expresses quantity, discrete quantity and continuous quantity, and the latter is further subdivided into intensive and extensive quantity.

References

The concepts of intensive and extensive quantity are highlighted in

which states (p. xxiv, xxv) that intensive quantity is the topic of differential calculus and integration theory, while extensive quantity is the topic of this very Ausdehnungslehre.

General discussion includes

A formalization in categorical logic/topos theory is proposed in

See also the exposition of his ideas at Higher toposes of laws of motion.

Lawvere’s terminology is probably (see at objective logic) inspired by

and meant to be a formalization of this part of the “objective logic”, see also at Science of Logic.

The first use of the terms ‘intensive’ and ‘extensive’ appears to be

  • Richard Tolman (1917). The Measurable Quantities of Physics. Physical Review 9 (3): 237–253.

Last revised on September 26, 2016 at 08:53:38. See the history of this page for a list of all contributions to it.