A two-dimensional surface (image of a map from a domain in R^2) whose image intersects itself so that points in ambient space have multiple distinct preimages on the parameter domain, producing local loci where the surface is not embedded.

Principle

Occurs when the parametrization or embedding fails to be globally injective; the self-intersection set can be a curve (line of self-contact), isolated points, or higher-dimensional intersections depending on regularity and transverse conditions.

Demonstration

A canonical local model is given by a map (u,v) ↦ (u, uv, v^2) whose image has a line of self-intersection: distinct parameter pairs map to the same ambient point along a locus, producing a visible seam in three-space.

Misapplication

Treating any non-smooth feature as a self-intersection (for example confusing a crease or cusp with an overlap) or assuming self-intersection always changes topological genus without checking whether preimages glue without altering manifold type.

Consequence

Points of self-intersection are nonembedded manifold points: normal vector fields may be undefined or multi-valued, local neighborhoods are not homeomorphic to a disk, and analytic or topological invariants (orientability, Euler characteristic computations) must account for multiple sheets.

Reversal

An embedded surface: a surface presented by an injective immersion (or embedding) whose image locally and globally is a 2-manifold in the ambient space without self-contact.

Boundary

Covers intersections of the image in the ambient space; excludes isolated singularities of different types (pure cusps, corners) that do not arise from multiple distinct parameter preimages, and excludes coincident boundary identifications that are part of the surface definition rather than an embedding failure.

Semantic Tension

Tension with singularity classes: self-intersection is an image-level multiplicity phenomenon, distinct from intrinsic singularities (like cuspidal edges) which derive from rank deficiency in the differential rather than from multiple preimages.

Synthesis

A self-intersecting surface is a parametrized two-dimensional manifold whose embedding fails to be injective, producing overlapping sheets or seams in the ambient space; analysis requires tracking preimages, local topology, and compatibility of normals across the intersection locus.