The study of embeddings of circles (S^1) in three-dimensional space (typically R^3 or S^3), classifying such embeddings up to ambient isotopy and analysing algebraic, combinatorial and geometric invariants that detect nontrivial embedding types.

Principle

Classify embedded loops by invariants (knot group, polynomials, finite-type invariants) and by moves (Reidemeister moves, band moves) reflecting ambient isotopy; combine algebraic invariants with geometric and diagrammatic techniques to distinguish and understand knots and links.

Demonstration

The trefoil knot is nontrivial: its knot group is nonabelian and its Alexander/Jones polynomials differ from that of the unknot; Reidemeister moves show diagrammatic equivalence while knot invariants obstruct unknotting.

Misapplication

Relying on a single invariant (e.g., Alexander polynomial) to decide knot equivalence or confusing ambient isotopy with weaker notions like regular isotopy or link homotopy; such misuse will miss distinct knots that share that invariant.

Consequence

A robust toolkit of invariants and geometric techniques allows classification of many knots and links, yields connections to 3-manifold topology (surgery descriptions), and provides models for physical phenomena (DNA knotting, polymer entanglement, quantum invariants).

Reversal

Viewing knots as abstract combinatorial objects (knot diagrams or Gauss codes) without reference to ambient isotopy loses geometric embedding information; conversely, higher-dimensional knot theory studies embeddings of S^k in S^n with different phenomena and invariants.

Boundary

Primarily concerns smooth or piecewise-linear embeddings of S^1 in R^3 or S^3 and their isotopy classes; excludes higher-dimensional knotting phenomena, virtual knots unless explicitly considered, and questions purely about ambient manifolds of different dimensions.

Semantic Tension

Tension between diagrammatic/combinatorial descriptions and geometric/3-manifold perspectives: some invariants are easy to compute from diagrams but obscure geometric meaning, while geometric methods reveal structure but may be harder to compute.

Synthesis

Knot theory studies circle embeddings in three-space by combining diagrammatic moves, algebraic invariants, and geometric analysis to classify embeddings up to ambient isotopy and to relate knot invariants to broader topological and physical contexts.