Invariant — where it appears
Named by 3 essays across 3 fields — each of them below, with the objects they name alongside it.
One character apart
Two mechanisms with three coordinates, one constraint row of the same shape and two controls each. In one of them the angle in the row is a coordinate; in the other it is a constant. The first can be driven anywhere and the second can never leave a line, and Frobenius' theorem decides which is which without integrating anything.
The wraps add up to a turn
Every wrap angle in a closed run is computed on its own, from a pair of tangent lines that knows nothing about the others. Signed by which way the strand goes round, they add to exactly one turn — or to exactly nothing, for a crossed belt — and the integer is decided by the route rather than by any of the geometry.
Not unreachable, only expensive
The sentence is false of every wheeled mechanism in this field and true of exactly one — the trolley bolted to a rail. A rolling constraint forbids a direction and reaches everywhere; the mistake is reading a statement about instants as a statement about intervals, and it is made in both directions.
Named alongside it
The objects these essays reach for when they reach for this one.
IntegrabilityNonholonomicRolling constraintBelt driveConfiguration spaceConserved quantityControllabilityConvex hullDesign ruleDistributionGrowth vectorHolonomic