04.4 Invariants
4.4 Invariants and Classification An invariant is a property, quantity, or structure that remains unchanged under a chosen class of transformations. Invariants are central to structural thinking. They allow us to compare objects without depending on representation. If two objects are isomorphic, their structural invariants agree. Therefore, if an invariant differs, the objects cannot be isomorphic. For example, two finite sets with different cardinalities cannot be bijective. Two vector spaces...