Mathematical Primitives 2026-07-10 09:02 UTC

This document provides an estimated structure of what I think is necessary to communicate design., A juvenile attempt at listing an overview of mathematical objects, primitives, and common taxonomies used across geometry, topology, algebra, analysis, dynamics, and mathematical physics. It is intended as a navigational aid and a good checklist of ideas. This list was generated from a GPT-based dialogue and should be treated as a starting point rather than a historically complete or canonical classification. The document concludes with recommendations for additional primitives to contribute, and with book references for historical fidelity and primary exposition. If in doubt ask the American Mathematical Soceity, buy the very affordable membership.

Scope, Reader Contract, and How to Use This Document

What this document is

A compact field guide to common mathematical objects (spaces, structures), their primitives (irreducible building blocks), and the invariants and axioms that specify and constrain theories.

What this document is not

It is not a complete ontology of all mathematics; it is not a consensus standard; it is not a substitute for rigorous definitions and proofs. It is a generated synthesis, curated for usefulness and a simple map.

Finite and Infinite in Calculus and Limits

In calculus, informal phrases such as the infinite approaching the finite and the finite approaching the infinite refer to distinct limit behaviours.

The infinite approaching the finite; bounded limits from unbounded processes

• Standard limit at infinity producing a finite value:

• Convergence of infinite series to a finite sum; for example, geometric series under suitable conditions.

The finite approaching the infinite; blow up at a finite point

• Singular behaviour near a finite input:

• This motivates asymptotic analysis, principal value integrals, and regularisation techniques in applied mathematics.

Rigour via epsilon delta and related formalisms

The modern foundation is the definition of limit; and, for sequences and series, completeness and Cauchy criteria in metric or normed settings.

Types of Spaces

A space is a set equipped with additional structure; the structure determines what transformations are allowed and what properties are meaningful.

Foundational and structural spaces

• Sets; structured sets
• Categories and functorial perspectives on “spaces”

Topological spaces

• Topological spaces; Hausdorff spaces
• Compact; locally compact
• Connected; path-connected; totally disconnected
• Normal; paracompact
• Separation axioms through

Metric and distance spaces

• Metric; pseudometric; ultrametric spaces
• Normed spaces; Banach spaces; Hilbert spaces
• Length spaces; geodesic metric spaces

Linear and projective spaces

• Vector spaces; inner product spaces; dual spaces
• Tensor spaces; affine spaces; projective spaces

Smooth and singular spaces

• Topological manifolds; smooth manifolds
• Complex manifolds; real-analytic manifolds
• Stratified spaces; orbifolds

Measure and probability spaces

• Measure spaces; -finite measure spaces
• Probability spaces; ergodic spaces (with dynamical structure)

Functional and operator spaces

• Function spaces; distribution spaces
• Sobolev spaces; Hardy spaces
• Operator spaces; Banach algebras of operators

Physical and information-geometric spaces

• Configuration spaces; phase spaces
• Symplectic; Poisson spaces
• Statistical manifolds; information-geometric parameter spaces
• Relativistic spacetimes; Minkowski space; other constant-curvature models

Discrete and combinatorial spaces

• Graphs; networks
• Simplicial complexes; cell complexes; lattices

Types of Dimensions

Dimension is a family of invariants; different notions answer different questions.

Classical and geometric dimensions

• Euclidean dimension; manifold dimension
• Affine and projective dimension
• Codimension

Topological dimensions

• Lebesgue covering dimension
• Inductive dimensions (small and large)
• Cohomological dimension

Algebraic dimensions

• Vector space dimension; rank; nullity
• Krull dimension
• Homological and global dimension

Measure, fractal, and scaling dimensions

• Hausdorff dimension; box-counting dimension
• Minkowski dimension; packing dimension
• Correlation dimension; information dimension

Dynamical and effective dimensions

• Phase space dimension
• Attractor dimensions; Lyapunov (Kaplan–Yorke) dimension
• Spectral dimension; embedding dimension; intrinsic dimension

Statistical and computational dimensions

• VC dimension; related model complexity measures
• Algorithmic notions of description complexity (context-dependent)

Invariants

An invariant is a property preserved under a specified class of transformations; invariants define what a theory “cares about”.

Geometric invariants

• Distances; angles; lengths; areas; volumes
• Curvature invariants; Gaussian, mean, scalar curvature
• Orientation; geodesic completeness (context-dependent)

Topological invariants

• Euler characteristic; genus
• Fundamental group; homotopy type
• Homology and cohomology groups; Betti numbers
• Degree of a map

Differential-geometric invariants

• Riemann curvature tensor; Ricci curvature; scalar curvature
• Torsion; holonomy
• Characteristic classes; Chern, Pontryagin, Stiefel–Whitney

Algebraic invariants

• Rank; determinant; trace
• Eigenvalues; minimal polynomial; Jordan type
• Krull dimension (for rings and schemes)

Lie-theoretic invariants

• Lie algebra dimension; structure constants
• Killing form; Casimir operators
• Root systems; Weyl groups

Metric, measure, and spectral invariants

• Isometry class; diameter; volume growth
• Hausdorff dimension (metric-measure contexts)
• Spectral invariants; for example, Laplacian spectra

Dynamical systems invariants

• Fixed points; periodic orbits
• Lyapunov exponents; entropy
• Invariant measures; attractors

Physical and information-theoretic invariants

• Energy; momentum; angular momentum; charge; action
• Entropy; mutual information; Fisher information

Axioms

Axioms are primitive constraints accepted without proof; they define the universe of admissible objects and valid inferences.

Logical and foundational axioms

• Propositional and first-order logic axiom schemata
• Equality axioms; substitution principles

Set-theoretic axioms

Commonly used foundations include ZFC; selected components:

• Extensionality; empty set; pairing; union; power set
• Infinity; foundation (regularity)
• Choice
• Replacement schema; separation schema

Geometric axiom systems

• Euclidean postulates; including the parallel postulate
• Hilbert-style axiomatisations; incidence, order, congruence, parallelism, continuity
• Affine and projective axiom systems

Algebraic axiom systems

• Groups; rings; fields
• Vector spaces; modules; lattices

Order, measure, and probability axioms

• Partial and total order axioms
• Archimedean and completeness axioms (in context)
• Measure axioms; -additivity
• Kolmogorov axioms for probability

Topological and smoothness axioms

• Open set axioms; separation and countability axioms
• Smooth manifold axioms; compatibility of charts

Category-theoretic axioms

• Category axioms; identity and associativity of composition
• Functors; natural transformations; universal properties

Geometric Primitives

A primitive is an irreducible modelling element within a given theory; different geometries elevate different primitives.

Classical primitives

• Point; line; plane; space
• Angle; distance; direction

Euclidean and metric primitives

• Segment; ray; length
• Circle; arc; radius; diameter
• Curvature (as a primitive or derived object, depending on the theory)

Affine and projective primitives

• Vector; origin; parallelism
• Ratio; cross ratio
• Points at infinity; projective line and plane

Topological primitives

• Neighbourhood; open set; closed set
• Boundary; interior; closure
• Connected component; path

Differential and smooth primitives

• Manifold; chart; atlas; transition function

• Tangent vector; tangent space; cotangent space

• Vector field; differential form

• Connection; geodesic

Metric and measure primitives

• Metric; norm; distance function
• Measure; volume element; length functional

Algebraic and combinatorial primitives

• Curves; surfaces; varieties; schemes
• Polytopes; simplices; cell complexes

Discrete and computational primitives

• Vertex; edge; face
• Graph; mesh; triangulation
• Voronoi cell; Delaunay simplex

Fractal and scale-dependent primitives

• Self-similarity; scaling laws
• Hausdorff dimension; iterated function systems

Lie Groups, Lie Algebras, and Manifolds

Lie theory integrates smooth manifolds with symmetry; it is simultaneously geometric and algebraic.

Manifold-level primitives

• Smooth manifold; chart; atlas; coordinate map
• Transition functions; smooth compatibility
• Submanifold; embedding; immersion
• Tangent and cotangent bundles; fields and forms

Lie group primitives

• Lie group; identity element
• Smooth multiplication map; smooth inverse map
• Left and right actions; orbits; stabilisers

Lie algebra primitives

• Lie algebra; Lie bracket
• Structure constants (basis-dependent)
• Adjoint and coadjoint representations
• Exponential map; one-parameter subgroups

Induced geometric structures

• Left-invariant and right-invariant vector fields
• Maurer–Cartan form; Cartan structure equations
• Connections; curvature; torsion (context-dependent)

Bundles and gauge-theoretic primitives

• Fibre bundle; principal bundle; associated bundle
• Sections; connections; holonomy
• Gauge transformations

Homogeneous and symmetric spaces

• Homogeneous space ; cosets; isotropy representations
• Symmetric spaces; reductive decompositions (in standard settings)

Types of Geometries

A geometry can be presented as a choice of primitives, admissible transformations, and invariants.

Classical and axiomatic geometries

• Euclidean geometry
• Non-Euclidean geometry; hyperbolic and elliptic
• Absolute and neutral geometry
• Affine geometry; projective geometry
• Incidence and ordered geometry

Differential and smooth geometries

• Differential geometry
• Riemannian; pseudo-Riemannian; Lorentzian geometry
• Finsler geometry
• Cartan geometry
• K"ahler and complex differential geometry
• Symplectic geometry; contact geometry

Algebraic and analytic geometries

• Analytic geometry
• Algebraic geometry; varieties and schemes
• Arithmetic geometry
• Toric geometry; tropical geometry
• Derived geometry (advanced)

Topological, discrete, and computational geometries

• Topological geometry
• Piecewise-linear geometry
• Combinatorial and discrete geometry
• Computational geometry

Metric and synthetic geometries

• Metric geometry; length geometry
• Alexandrov geometry; CAT geometry
• Geometric measure theory (as a bridge between geometry and analysis)
• Synthetic differential geometry (advanced)

Convex, integral, stochastic, and information geometries

• Convex geometry
• Integral geometry
• Stochastic geometry
• Information geometry

Group-theoretic and transformation geometries

• Klein geometry; geometry via transformation groups
• Homogeneous geometry; symmetric spaces
• Lie group and representation-theoretic geometries

Generalised and physical geometries

• Non-commutative geometry
• Supergeometry
• Twistor geometry
• Spacetime, gauge, and quantum-geometric frameworks (physics-driven)

Recommendations; Missing Primitives to Contribute

The following are recommended additions for readers to consider proposing, based on common usage across subfields. This section is explicitly a request for contributions; additions should specify the transformation class and intended invariants.

Suggested primitives not explicitly listed above

• Relations and structures: equivalence relation; partial order; adjacency; incidence relation.
• Algebraic data on spaces: sheaf; presheaf; section functor; local system.
• Topological constructions: quotient space; product space; fibre product; mapping space.
• Homotopical primitives: simplicial set; model category primitives (weak equivalences, fibrations, cofibrations).
• Geometric analysis primitives: distribution; current; varifold; Sobolev map; weak derivative.
• Category-theoretic primitives: limit; colimit; adjunction; monoidal structure.
• Probability primitives: stochastic process; filtration; martingale; Markov kernel.
• Physics-motivated primitives: Lagrangian; action functional; field; fibre metric; connection 1-form.

How to contribute responsibly

When proposing a primitive not listed, provide:

• A precise definition or citation;
• The ambient space or structure it lives in;
• The admissible transformations;
• The invariants or quantities it makes natural.

Caution on Generated Content

This guidance document was generated from a GPT-based conversation and then structured into a potential taxonomy. While it reflects standard terminology, it may omit important classes, over-group concepts, or conflate contexts in which a term has multiple technical meanings. Use the references below for historical fidelity and rigorous definitions.

References for Historical Fidelity and Rigour

The list below is intentionally book-focused; it prioritises durable sources with established editorial quality.

Foundations; Logic; Set Theory

• Halmos, P. R.; Naive Set Theory.
• Jech, T.; Set Theory.
• Enderton, H. B.; Elements of Set Theory.
• Mendelson, E.; Introduction to Mathematical Logic.

Geometry; Euclid; Axioms

• Euclid; Elements (any reputable critical edition or translation).
• Hilbert, D.; Foundations of Geometry.
• Coxeter, H. S. M.; Introduction to Geometry.
• Stillwell, J.; Geometry of Surfaces.

Topology

• Munkres, J. R.; Topology.
• Hatcher, A.; Algebraic Topology.
• Spanier, E. H.; Algebraic Topology.

Differential Geometry; Manifolds

• Lee, J. M.; Introduction to Smooth Manifolds.
• Lee, J. M.; Riemannian Manifolds: An Introduction to Curvature.
• do Carmo, M. P.; Differential Geometry of Curves and Surfaces.
• Spivak, M.; A Comprehensive Introduction to Differential Geometry (multiple volumes).
• Petersen, P.; Riemannian Geometry.

Lie Groups; Lie Algebras; Representation

• Hall, B. C.; Lie Groups, Lie Algebras, and Representations.
• Knapp, A. W.; Lie Groups Beyond an Introduction.
• Fulton, W.; Harris, J.; Representation Theory: A First Course.

Symplectic; Hamiltonian; Geometric Mechanics

• Arnold, V. I.; Mathematical Methods of Classical Mechanics.
• Cannas da Silva, A.; Lectures on Symplectic Geometry.

Metric Geometry; Curvature in the Large

• Burago, D.; Burago, Y.; Ivanov, S.; A Course in Metric Geometry.
• Bridson, M. R.; Haefliger, A.; Metric Spaces of Non-Positive Curvature.

Measure Theory; Analysis; Functional Spaces

• Rudin, W.; Real and Complex Analysis.
• Folland, G. B.; Real Analysis: Modern Techniques and Their Applications.
• Stein, E. M.; Shakarchi, R.; Functional Analysis.

Geometric Measure Theory

• Federer, H.; Geometric Measure Theory.
• Simon, L.; Lectures on Geometric Measure Theory.

Algebraic Geometry

• Hartshorne, R.; Algebraic Geometry.
• Shafarevich, I. R.; Basic Algebraic Geometry (volumes).
• Gunning, R. C.; Rossi, H.; Analytic Functions of Several Complex Variables.

Category Theory

• Mac Lane, S.; Categories for the Working Mathematician.
• Awodey, S.; Category Theory.

Closing Note

If you are using this as a study map, begin by choosing one axis; spaces, transformations, invariants, or axioms; then iterate. Mature understanding arrives when you can translate between equivalent formalisms; for example, between topological, smooth, and algebraic viewpoints on the same underlying object.