A mapping that sends distinct elements of the domain to distinct elements of the codomain; equivalently, a function f is injective if f(x)=f(y) implies x=y.

Principle

Injection enforces uniqueness of images: no two different domain elements collide under the mapping, which allows partial inversion on the image and supports faithful embeddings of structure when additional compatibility conditions hold.

Demonstration

The inclusion map i: N → Z given by i(n)=n is injective: each natural number maps to a distinct integer. In linear algebra, an injective linear map has trivial kernel, e.g., an injective linear transformation from R^2 into R^3 embeds R^2 as a two-dimensional subspace.

Misapplication

Assuming injectivity implies invertibility onto the whole codomain; an injective map may not be surjective, so no two-sided inverse exists on the full codomain. Also confusing injective set maps with categorical embeddings that require extra structure preservation (topological embedding, algebraic embedding).

Consequence

Injectivity guarantees distinct domain elements remain distinguishable in the codomain, enabling left-inverses defined on the image and supporting constructions that rely on faithful representations or embeddings.

Reversal

A surjective map that is not injective collapses distinct domain elements to the same codomain element, losing information; such maps are many-to-one and not invertible even on the image uniquely.

Boundary

Injection is a set-theoretic property independent of surjectivity or other structural conditions; it does not by itself preserve operations, topology, or smoothness unless combined with additional constraints.

Semantic Tension

Injection is often conflated with embedding or monomorphism in category theory; the tension is whether the map merely separates points (injective) or also respects extra structure and universal properties (embedding/monomorphism).

Synthesis

An injection is a function that never maps two distinct inputs to the same output, ensuring one-to-one distinctness and permitting a left-inverse on its image.