Higher pair — where it appears
Named by 11 essays across 6 fields — each of them below, with the objects they name alongside it.
A joint is a surface that slides on itself
Twenty-two fields of this site have declared their joints and then counted what those joints take away. A count cannot tell a pin from a slide — both are one. What a joint actually permits is a set of displacements closed under composition, and it can be computed from the shape of the surface: one linear condition per point, and the answer is a null space.
A joint that works one way
A pawl either holds a ratchet or is levered out of it, and which one happens is decided by two lines through the contact. One of them is the rule a workshop quotes. The other is the boundary that rule leaves out, and a check written to confirm the quoted rule turned out to be incapable of failing.
A roller is not a slider
A scissor lift has one degree of freedom, at every height and for any number of stages. Grübler's criterion agrees — if the rollers under it are counted as pins in slots. Count them as slider blocks, which is how every textbook draws a slider, and the same formula declares a machine holding a car in the air to be a structure with minus one.
Counting and measuring mobility
Grübler's criterion counts links and joints and never asks how long anything is. The rank of the constraint Jacobian measures the lengths and never asks what a joint is. Two calculations with no inputs in common, producing one number — which is the only arrangement under which agreement is evidence.
What one contact forbids
A rotation about a point is a twist, and a twist is affine in the point — so what a single contact permits is a half-plane of centres, with the boundary being the contact surface's own line. Reuleaux drew it in 1875 and it is exact rather than sampled, which is why every figure in this field is a picture of the plane rather than of a cone.
What each joint takes away
Grübler's formula has a 2 in it for pins and a 1 for cam contacts, and those numbers are not conventions to be memorised. They are the number of constraints each kind of joint imposes, they are measurable as the rank of a matrix, and miscounting one of them is the commonest way the formula is got wrong.
One test, three mechanisms
Whether a pawl holds, whether an escapement's lock draws itself deeper, and how much a four-bar's coupler can do for its rocker are the same question asked three times: on which side of a pivot does a contact normal pass? All three are one cross product, none evaluates a force, and the three answers are used for completely different things.
The freedom that is a set
Grübler's rule has been on this site since its first essay, and it adds up numbers. Each of those numbers is the dimension of a group of displacements, and the group has eleven siblings the number cannot distinguish. The count is not wrong; it is a projection, and this is what the projection discards.
One freedom, and a motion that never repeats
Mesh a gear on each crank of a five-bar and the count and the rank agree that one freedom is left, at every gear ratio. Whether the machine ever comes back to where it started is a different question, and neither instrument can see it: at 3 to 2 it is home after two turns, at 37 to 23 after twenty-three, and at the golden ratio never, with its nearest returns at the Fibonacci numbers.
A higher pair has no group
A disc resting on a straight edge may slide along it and may turn about its own centre. Both keep the contact exactly. Do one and then the other and the contact lifts off the edge by |t sin φ| — up to 1.2 radii over an ordinary range — so the two freedoms are real and the pair of them is not closed. The count is still right and there is nothing for it to be the dimension of.
Six things a joint is not
A freedom count read as a description, a screw system read as a group, a pair list read as a convention, a trajectory read as a determination, a nominal alignment read as a delivered one, and a higher pair read as a larger joint. Six claims, each of them what a careful person would say, each answered with a number.
Named alongside it
The objects these essays reach for when they reach for this one.
MobilityConstraintLower pairDegrees of freedomGrübler's criterionDisplacement subgroupKinematic pairRankConstraint jacobianContact normalContact stateJacobian