Projection¶

Version: v1 · 2026-08-24 · History
Prime #: 1091
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Linear Algebra and Geometry → Mathematics

Core Idea¶

Map a richer source onto a lower-dimensional target along a chosen direction, collapsing the dimensions perpendicular to the target while preserving those parallel — the direction determines what gets lost.

How would you explain it like I'm…

Shadow on the Wall

When you hold your hand in front of a flashlight, it makes a flat shadow on the wall. The shadow keeps some things, like the shape of your fingers, but loses others, like how thick your hand is. A projection is making that flatter picture, where you keep some of the thing and throw the rest away.

Flattening With Leftovers

A projection is squashing something with lots of detail down onto a simpler version, along a chosen direction, keeping what lines up with your target and tossing the rest. A shadow does this: a 3D hand becomes a 2D outline, and the direction of the light decides what gets flattened. A neat clue that it's a true projection is that doing it twice gives the same answer as doing it once: a shadow of a shadow is the same shadow. It's useful when the part you keep holds the important stuff and the part you throw away was just noise, but misleading when you accidentally throw away the part that mattered. So the thrown-away part deserves a name too: it reminds you that you have a picture from one direction, not the whole thing.

Collapse Along a Direction

A Projection is the structural move of mapping a richer, higher-dimensional object onto a lower-dimensional or constrained representation along a chosen direction, deliberately collapsing the dimensions perpendicular to the target while keeping those parallel to it. Four parts define it: a *source* with more degrees of freedom than will be kept; a *target* onto which the source is mapped; a *projection direction* (sometimes explicit, sometimes hidden in the choice of target) that determines what gets lost; and a *residual* — the orthogonal complement, everything the projection threw away. Its algebraic signature is *idempotence*: applying the projection a second time gives the same result, which is what distinguishes it from an arbitrary lossy map. A projection is informative when the target captures the load-bearing variation and the residual is just noise; it's misleading when the target was a poor choice and the residual carried the real signal. Naming the residual is what turns 'I have the picture' into the honest 'I have *a* picture, from one direction.'

A Projection is the structural move of mapping a higher-dimensional or richer object onto a lower-dimensional or constrained representation along a chosen direction or onto a chosen target, deliberately collapsing the dimensions perpendicular to the target while preserving those parallel to it. Four commitments define it: a source with more degrees of freedom than will be retained; a target subspace, surface, or constrained representation onto which the source is mapped; a projection direction — sometimes explicit, sometimes implicit in the choice of target — that determines what gets lost; and a structural identity, idempotence, whereby applying the projection a second time gives the same result, the algebraic signature distinguishing a projection from an arbitrary lossy map. The skeleton has four parts: a source space with structure to be reduced; a target; a projection direction (the equivalence relation collapsing source into target); and a residual, the orthogonal complement of what was kept. The move is informative when the target captures the load-bearing variation and the residual is unimportant or noise, and misleading when the target was a poor choice and the residual carried the signal — so the residual is a first-class object, not an afterthought; naming it turns 'I have the picture' into the honest 'I have *a* picture, from one direction.' Projection is the structural complement of representation: it is the *act* of producing a particular representation by deciding what to drop. A solid's shadow is a projection (3D source, 2D target, direction set by the light); a flat map is a projection (curved surface to flat plane); a summary statistic is a projection (high-dimensional reality to one scalar); an executive summary is a projection (long argument to short statement, direction set by what the reader needs). The idempotence signature — projecting twice equals projecting once — is what makes 'summary of a summary equals the summary' hold when the directions agree, and its failure is a diagnostic that what looked like a clean projection was really a richer, drifting transformation.

Broad Use¶

Linear algebra: Least-squares regression projects the response onto the column space; PCA projects onto the leading eigendirections.
Cartography: A spherical Earth maps to a flat plane via a projection that preserves some properties and necessarily distorts others.
Graphics: A 3D scene maps to a 2D image via a camera projection, with depth as the lost residual.
Databases: The relational select operation literally drops columns not in the target.
Statistics: Dimensionality reduction and sufficient statistics retain the inferentially relevant variation and discard the rest.
Optimization: Projection-onto-convex-sets solves constrained problems by repeatedly projecting onto the feasible set.
Reporting: A status report projects complex work onto a short summary chosen to answer the audience's question.

Clarity¶

Exposes that every reduced representation is the output of a projection choice, making the direction and the discarded residual first-class objects a consumer must interrogate.

Manages Complexity¶

Compresses a high-dimensional object into a few decision-relevant dimensions, and engineers comparability by aligning two sources onto a shared target.

Abstract Reasoning¶

Idempotence — projecting twice equals projecting once — is the honesty check distinguishing a clean projection from a drifting transformation, and a metric that keeps moving under re-summarization fails it.

Knowledge Transfer¶

PCA → any reduction: "Preserve the leading directions the reader needs, reserve the residual for footnotes."
Map projections → dashboards: "No projection preserves everything" — a metric tuned for trend distorts magnitude, and the choice is which property is load-bearing.
Projected-gradient → constrained settings: "Move, then project back to feasible" recurs as clipping in ML and snap-to-spec in engineering.

Example¶

A satellite's twelve-channel image is projected onto a single vegetation-index direction carrying the crop-stress signal; the other ten channels become residual, and a different decision (fire risk) demands a different projection of the same image.

Relationships to Other Abstractions¶

Current abstraction Projection Prime

Parents (1) — outgoing typed relations

Projection is a kind of, typical Abstraction Prime

'Projection is the precise, geometric, idempotent SPECIAL CASE within the broader family of reductions that abstraction names.' Projection drops the dimensions perpendicular to a chosen target (vs abstraction's free-form essence-extraction).

Children (29) — abstractions linked here by typed relations

3D projection Domain-specific is a kind of Projection

What makes it its own entry: the domain-specific identity determined by each image position is produced by the declared projection geometry and viewing parameters, and depth ambiguity and distortion are treated as consequences rather than hidden identity.
Antisymmetrizer Domain-specific is a kind of Projection

It remains its own entry because its identity is fixed by the particle number and one-particle space, permutation action, sign and normalization, operator domain, idempotence convention, resulting exchange law and Pauli interpretation.
Chamberlin Trimetric Projection Domain-specific is a kind of Projection

The Chamberlin Trimetric Projection is a Projection from the sphere to a planar map constrained by distances to three control points.
Constant Term Domain-specific is a kind of Projection

The accepted reference-grade review places Constant Term under Projection because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Descriptive Geometry Domain-specific is a kind of Projection

Descriptive Geometry strictly instantiates Projection.

▸ Show 24 more

Elimination theory Domain-specific is a kind of Projection
Elimination literally maps a richer polynomial solution object onto retained coordinates while discarding selected variables; ideal-theoretic consequences and closure semantics form the domain-specific specialization.
Equirectangular Projection Domain-specific is a kind of Projection
An equirectangular map is a particular sphere-to-plane projection with a fixed angular rule and standard-parallel scale behavior.
FWL theorem Domain-specific is a kind of, typical Projection
The FWL theorem's mechanism is literally projecting a regressor onto the orthogonal complement of the other regressors and keeping the residual.
Hammer Projection Domain-specific is a kind of Projection
Hammer is a strict domain-specific instance of **Projection**.
Isometric Projection Domain-specific is a kind of Projection
**Projection** is the strict parent by specialization.
Legendre moment Domain-specific is a kind of Projection
What makes it its own entry: the domain-specific identity determined by coordinate normalization, polynomial convention, order, quadrature or discrete approximation, and coefficient normalization are fixed and the descriptor is computed as the declared projection.
Local maximum intensity projection Domain-specific is a kind of Projection
LMIP literally maps a richer three-dimensional scalar volume onto a two-dimensional view along chosen rays while discarding most samples.
Momentum mapping format Domain-specific is a kind of Projection
It remains its own entry because its identity is fixed by the MPM variant, material points and background grid, shape functions and support, particle mass velocity and affine state, particle-to-grid momentum rule, grid update, grid-to-particle rule, PIC FLIP or APIC convention, conservation, dissipation and stability evidence.
Oblique Mercator projection Domain-specific is a kind of Projection
It maps a curved geographic carrier conformally to a plane.
Pole figure Domain-specific is a kind of Projection
It remains its own entry because its identity is fixed by the specimen and coordinate frame, crystal phase and symmetry, plane or direction family, hemisphere and antipodal convention, projection type, acquisition method, intensity normalization, angular resolution, coverage and uncertainty.
Polyconic Projection Class Domain-specific is a kind of Projection
The polyconic class consists of map projections with circular-arc parallels and a straight equator.
Projection filters Domain-specific is a kind of Projection
The method replaces dynamics by their projection onto an admissible submanifold.
Projective line Domain-specific is a kind of Projection
It remains its own entry because its identity is fixed by the base field, division ring, ring or scheme, two-dimensional module, equivalence relation on nonzero pairs, homogeneous-coordinate convention, affine charts and transition, point or points at infinity, incidence, and automorphism group.
Ridge function Domain-specific is a kind of Projection
A ridge function literally discards all input variation except one chosen projected coordinate; What makes it its own entry: the exact one-projection factorization and its constant-hyperplane geometry, not any elongated graph, arbitrary low-rank array, separable product, radial function, or sum of multiple directional components.
Riesz projector Domain-specific is a kind of Projection
What makes it its own entry: the domain-specific identity determined by the operator domain, resolvent contour, orientation, sign convention, isolated spectral set, and boundedness assumptions are explicit and the contour crosses no spectrum.
Transverse Mercator projection Domain-specific is a kind of Projection
It projects a curved geographic carrier into planar coordinates.
Wiechel Projection Domain-specific is a kind of Projection
Wiechel is a strict domain-specific instance of **Projection**.
Empirical No-Failure Anchor Prime is a kind of Projection
The anchor is a projection specialized to reducing the full test-response dataset to the maximal tested level that cleared a stated failure criterion.
Perspective Prime is a kind of, typical Projection
Perspective is typically a specialization of Projection, retaining the parent's defining structure while adding the child's specific commitments.
Aitoff Projection Domain-specific presupposes Projection
Aitoff Projection presupposes Projection: the parent's defining role is necessary to the child's frozen mechanism or criterion.
Depth Perception Domain-specific presupposes Projection
**Projection — presupposes.** Optical imaging maps three-dimensional scene structure onto two-dimensional retinal surfaces and omits an explicit depth coordinate.
Fourier–Motzkin Elimination Domain-specific presupposes Projection
**`prime:algorithm` (proposed primary parent, strict subsumption).** Fourier–Motzkin is a definite input-to-output procedure with correctness and resource semantics.
Kinetic depth effect Domain-specific includes Projection
Kinetic depth contains the projection that maps a richer 3D object to each lower-dimensional 2D retinal frame and discards depth.
AD–AS Model Domain-specific is a decomposition of Projection
Removing the macroeconomic frame from AD-AS leaves a projection from a high-dimensional system onto a chosen two-dimensional target with an explicit residual.

Hierarchy path (1) — routes to 1 parentless root

Projection → is a kind of, typical Abstraction

Not to Be Confused With¶

Projection is not Perspective because projection is the mechanical act along a given direction, whereas perspective carries a viewpoint-laden direction encoding interests that must be argued.
Projection is not Abstraction because projection drops dimensions perpendicular to a target and is idempotent, whereas abstraction discards detail to keep an essence with no such signature.
Projection is not Representation because projection is the operation of deciding what to drop, whereas representation is the resulting reduced form.