physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
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 made up of the subsystems and :
For an intensive quantity , has a value of if and only if and also have values of , and then we have and .
For an extensive quantity , all three systems have values of , and we have .
In (Lawvere 86) it is amplified that this duality is generally a fundamental one also in mathematics: given a topos with a commutative ring object , then
the space of intensive quantities on an object is the mapping space formed in ;
the space of extensive quantities on is the -linear dual, namely the mapping space formed in -modules in .
(here the operation happens to be what is also called the “continuation monad” for )
the integration map is the canonical evaluation pairing
See also at Lawvere distribution.
The elusive connection between integration and (co)ends can here be explained:
Proposition: Let be a monoidal closed category with tensor and internal hom . Suppose that the Kan extension exists and is pointwise. Then
and the structure maps are
Occuring as counits in the supposed monoidal closed adjunction.
This is an instance of the coend formula for a Kan extension.
We may think of as the category of -module objects in a topos , or, more generally, some category resembling spaces. In that case, we get:
Corollary: Let be a category with internal hom , and let be a commutative ring object in . Let be the category of -module objects in , with a chosen monoidal closed structure (tensor product) and (internal Hom). Then, taking above, and supposing that we have
with structure maps:
In the above notation, . To make the analogy quite clear, consider the following example, which could naturally be called the example of “Lawvere Banach spaces”, in direct analogy with “Lawvere metric spaces”:
Example: Let be the category of Lawvere metric spaces (Note: this category is not a topos, but the corollary above will still apply). Maps are short maps. has an internal Hom consisting of bounded maps. Let be the real numbers, with as Lawvere metric. is here the category of normed -modules, with short maps as maps, with the exception that does not imply that , and that is possible. (This temporary notation is not to be confused with the category of real vector spaces over the real numbers, in which norms play no role).
There is a natural notion of completion on such spaces. The category of complete objects is essentially the category of Banach spaces over , except for the previously mentioned differences that does not imply that , and is possible. Completion makes this category into a reflective subcategory of -mod. Write for the this category - it is a natural continuation of Lawvere metric spaces.
There is a natural choice of monoidal closed structure on ; the tensor product is projective tensor product (note: slight tweaking is necessary to account for the differences between Lawvere Banach spaces and Banach spaces). The internal Hom consists of bounded maps. The corollary above applies to this setup, so that
where is projective tensor product and consists of bounded maps from to . There are structure maps
sending to , for which we suggestively write
Viewed this way, this naturally generalizes to the case where is in fact an (∞,1)-topos and an E-∞ ring. In this case is called the -cohomology spectrum of and 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 an -(∞,1)-line bundle over then the corresponding extensive object is the -twisted Thom spectrum and the intensive object is the -twisted cohomology spectrum . See at motivic quantization for how this appears in physics.
Assume we are working in the context of a cohesive (∞,1)-topos, , with the three adjoint modalities, shape modality flat modality sharp modality .
We may characterize the codomains of those functions which are intensive or extensive quantities in terms of .
Intensive: functions whose value is genuinely given by their restriction to all possible points have as codomains types that are fully determined by their moment of continuity, that is those for which is a monomorphism. In categorical semantics these are the concrete objects or equivalently the separated presheaves for : they are determined by their global points.
Extensive: objects which have purely the negative moment of continuity , 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 -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 expresses quantity, discrete quantity and continuous quantity, and the latter is further subdivided into intensive and extensive quantity.
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
Georg Hegel, section Extensives und Intensives Quantum, in Science of Logic, 1812
Georg Hegel, part II “Philosophy of Nature”, second section “Physics”, B, §298b in Encyclopedia of the Philosophical Sciences
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
Last revised on March 4, 2020 at 20:15:27. See the history of this page for a list of all contributions to it.