# 4.4 Invariants and Classification

## 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 over the same field with different dimensions cannot be isomorphic. Two graphs with different numbers of connected components cannot be isomorphic.

| Structure         | Transformation     | Invariant                                 |
| ----------------- | ------------------ | ----------------------------------------- |
| Finite set        | Bijection          | Cardinality                               |
| Vector space      | Linear isomorphism | Dimension                                 |
| Matrix            | Change of basis    | Rank, trace, determinant                  |
| Graph             | Graph isomorphism  | Degree sequence, connected components     |
| Topological space | Homeomorphism      | Compactness, connectedness                |
| Group             | Group isomorphism  | Order, abelian property, subgroup lattice |

An invariant is useful because it survives a change of representation.

A matrix represents a linear map only after bases are chosen. Changing bases may change the matrix entries, but it does not change structural quantities such as rank.

If $A$ and $B$ represent the same linear operator under different bases, then they are similar:

$$
B = P^{-1}AP.
$$

Under similarity, the trace and determinant are invariant:

$$
\operatorname{tr}(B) = \operatorname{tr}(A)
$$

and

$$
\det(B) = \det(A).
$$

This means trace and determinant belong to the operator, not merely to a chosen matrix representation.

### Invariants distinguish objects

The first use of an invariant is negative: it proves that two objects are not equivalent.

Suppose $V$ and $W$ are finite-dimensional vector spaces over the same field $k$. If

$$
\dim V \neq \dim W,
$$

then

$$
V \not\cong W.
$$

The reasoning is simple. Linear isomorphisms preserve dimension. If dimensions differ, no linear isomorphism can exist.

The same pattern appears across fields.

| Observation                                | Conclusion                                     |
| ------------------------------------------ | ---------------------------------------------- |
| Finite sets have different sizes           | No bijection                                   |
| Groups have different orders               | No group isomorphism                           |
| Graphs have different degree sequences     | No graph isomorphism                           |
| Spaces have different compactness behavior | No homeomorphism                               |
| Matrices have different ranks              | No equivalence under row and column operations |

This is often the fastest way to separate objects.

### Invariants may be incomplete

An invariant can fail to distinguish objects even when they are not isomorphic.

For example, two finite groups can have the same order but different structure. The cyclic group of order $4$ and the Klein four-group both have four elements, but they are not isomorphic.

$$
\mathbb{Z}/4\mathbb{Z} \not\cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}.
$$

The order is the same, but the element orders differ. In $\mathbb{Z}/4\mathbb{Z}$, there is an element of order $4$. In the Klein four-group, every nonidentity element has order $2$.

So order alone is not a complete invariant for finite groups.

| Invariant                 | Can fail because                                               |
| ------------------------- | -------------------------------------------------------------- |
| Cardinality of a set      | Complete for finite sets                                       |
| Dimension of vector space | Complete for finite-dimensional vector spaces over fixed field |
| Order of a group          | Different group structures can share order                     |
| Degree sequence of graph  | Non-isomorphic graphs can share degree sequence                |
| Connectedness of space    | Many non-homeomorphic spaces are connected                     |

An incomplete invariant still has value. It can rule out equivalence, guide classification, and suggest stronger invariants.

### Complete invariants

A complete invariant fully classifies objects up to a chosen equivalence.

For finite sets, cardinality is complete.

$$
A \cong B \quad \text{if and only if} \quad |A| = |B|.
$$

For finite-dimensional vector spaces over a fixed field $k$, dimension is complete.

$$
V \cong W \quad \text{if and only if} \quad \dim V = \dim W.
$$

A complete invariant gives both directions:

| Direction                                   | Meaning                |
| ------------------------------------------- | ---------------------- |
| If objects are equivalent, invariant agrees | Invariant is preserved |
| If invariant agrees, objects are equivalent | Invariant is complete  |

The second direction is usually harder.

For example, proving that isomorphic vector spaces have the same dimension is preservation. Proving that any two vector spaces with the same finite dimension are isomorphic requires constructing an isomorphism.

### Classification

Classification is the process of describing all objects in a class up to equivalence.

A classification theorem usually has this form:

```text
Objects of type X are classified up to equivalence by invariant I.
```

Examples:

| Objects                                             | Classification invariant |
| --------------------------------------------------- | ------------------------ |
| Finite sets                                         | Cardinality              |
| Finite-dimensional vector spaces over $k$           | Dimension                |
| Finitely generated abelian groups                   | Rank and torsion factors |
| Real symmetric matrices under orthogonal similarity | Eigenvalues              |
| Compact connected surfaces                          | Genus and orientability  |

Classification reduces a large collection of objects to a simpler list of parameters.

For finite-dimensional vector spaces, the classification is especially clean:

Every finite-dimensional vector space over $k$ is isomorphic to $k^n$ for a unique $n$.

Here $n = \dim V$.

### Canonical forms

A canonical form is a chosen representative of each equivalence class.

For finite-dimensional vector spaces, $k^n$ is the standard representative of dimension $n$.

For matrices, row-reduced echelon form is a canonical form under row equivalence.

For some classes of matrices, Jordan normal form gives a canonical form over algebraically closed fields, with conditions.

| Setting                              | Canonical form           |
| ------------------------------------ | ------------------------ |
| Finite sets                          | ${1,\dots,n}$            |
| Vector spaces                        | $k^n$                    |
| Matrices under row equivalence       | Reduced row echelon form |
| Certain linear operators             | Jordan normal form       |
| Quadratic forms over suitable fields | Diagonal form            |

Canonical forms are useful because they turn equivalence questions into equality questions between representatives.

Instead of asking whether $A$ and $B$ are equivalent, compute their canonical forms and compare.

### Strong and weak invariants

Invariants vary in strength.

A weak invariant is easy to compute but distinguishes fewer objects. A strong invariant distinguishes more objects but may be harder to compute.

| Invariant            | Strength                         | Cost           |
| -------------------- | -------------------------------- | -------------- |
| Cardinality          | Low to high depending on context | Usually low    |
| Dimension            | Strong for vector spaces         | Low            |
| Degree sequence      | Weak for graphs                  | Low            |
| Spectrum of a matrix | Moderate to strong               | Medium         |
| Fundamental group    | Strong topological invariant     | High           |
| Homology groups      | Strong but incomplete            | Medium to high |

Mathematical practice often uses a sequence of invariants. Start with cheap invariants. If they do not separate the objects, move to stronger ones.

### Invariance under maps

Invariants are defined relative to a class of maps.

A property may be invariant under one kind of transformation but not another.

For example, distance is invariant under isometry but not under homeomorphism. Connectedness is invariant under homeomorphism but does not determine metric distance.

| Property      | Preserved by                         |
| ------------- | ------------------------------------ |
| Distance      | Isometry                             |
| Angles        | Conformal maps, in suitable settings |
| Connectedness | Homeomorphism                        |
| Dimension     | Linear isomorphism                   |
| Rank          | Matrix equivalence                   |
| Group order   | Group isomorphism                    |

This means an invariant must always be read with its equivalence relation.

The question is not only “what is preserved?” but “preserved under what transformations?”

### Classification workflow

A typical classification problem follows this pattern:

| Step | Action                               |
| ---- | ------------------------------------ |
| 1    | Define the objects                   |
| 2    | Define the equivalence relation      |
| 3    | Identify invariants                  |
| 4    | Prove invariants are preserved       |
| 5    | Test whether invariants are complete |
| 6    | Find canonical representatives       |
| 7    | Prove uniqueness of representatives  |

This workflow separates the problem into manageable parts.

For example, to classify finite-dimensional vector spaces:

| Step                     | Result                                    |
| ------------------------ | ----------------------------------------- |
| Objects                  | Finite-dimensional vector spaces over $k$ |
| Equivalence              | Linear isomorphism                        |
| Invariant                | Dimension                                 |
| Preservation             | Isomorphisms preserve bases               |
| Completeness             | Same dimension gives an isomorphism       |
| Canonical representative | $k^n$                                     |
| Uniqueness               | $n$ is unique                             |

The result is a complete classification.

### Limits of classification

Not every classification problem has a simple answer. Some classes are too large, too wild, or too sensitive to small changes.

Finite-dimensional vector spaces are easy to classify. Finite groups are much harder. Graphs are difficult in general. Topological spaces are extremely broad.

In difficult settings, classification may be partial. One may classify special cases, define invariants, or prove that no reasonable complete classification exists under chosen constraints.

| Situation                  | Outcome                                |
| -------------------------- | -------------------------------------- |
| Simple class               | Complete classification                |
| Moderate class             | Classification with several invariants |
| Wild class                 | Partial classification only            |
| Computation-heavy class    | Algorithmic classification             |
| Foundation-sensitive class | Classification depends on axioms       |

In such cases, invariants remain useful even without full classification.

### Practical rule

When comparing mathematical objects, ask:

| Question                                 | Purpose                         |
| ---------------------------------------- | ------------------------------- |
| What equivalence relation is being used? | Defines sameness                |
| What properties are preserved?           | Gives invariants                |
| Are the invariants complete?             | Determines classification power |
| Can we compute them?                     | Determines practical use        |
| Are there canonical representatives?     | Simplifies comparison           |

Invariants are the measurable residue of structure. They are what remains when representation changes. Classification organizes objects by these residues and asks whether they tell the whole story.