surjective function
Let an agent define surjective functions, relay properties, examples and theorems, explain their role across mathematics, and distinguish surjections from injections and bijections.
Research draft, second pass
A second pass drafted this model: the structure a model of this thing needs, and what is known about it in the world. The line under this one says how the second half was obtained - researched against sources, or recalled without web access, in which case nothing here was read anywhere and every claim is a lead to verify. Unreviewed either way.
written by Claude from model knowledge without web access - no source was read, every claim is a lead to verify
Researched by: Claude
Purpose and description
Let an agent define surjective functions, relay properties, examples and theorems, explain their role across mathematics, and distinguish surjections from injections and bijections.
A function from a set to another such that every element of the target is the image of at least one element of the domain, also called onto, one of the basic properties of functions alongside injectivity and bijectivity, appearing in algebra as surjective homomorphisms, in analysis as unitary operators which are bijective isometries, and in geometry as the projections of fibred manifolds; surjectivity is used to define quotients, cardinality comparisons and factorisation of maps.
What it is for: Not applicable; a property of functions.
It can be define and give examples; relay properties and theorems; explain roles across fields; distinguish from related properties.
Distinguishing features
Image equals codomain
Right inverse under choice
Quotient constructions
Epimorphism in categories
What it looks like
A mapping diagram in which every target element receives an arrow.
How it is recognised
Function whose image is the whole codomain
Onto maps, surjective homomorphisms, projections
Injections map distinct elements to distinct images; bijections are both
Related models
is a kind of - in registry terms
is a kind of - in registry terms
is contrasted with - the one-to-one property
combines with injectivity to give - the invertible case
In practice
Families and kinds
surjective functions between sets
surjective homomorphisms in algebra
surjective linear maps and unitary operators as special cases
projections of fibred manifolds and bundles
surjective continuous maps and quotient maps
epimorphisms in category theory
Standards and regulation
No regulation; mathematical conventions
Failure modes and hazards
Confusing onto with one-to-one
Forgetting codomain dependence
Conflating unrelated examples
Also called
Where this came from
wikidata · CC0 1.0
Drafted structure
Bundle to layer to finding to question, as the second pass will find it: 4 bundles · 8 layers · 8 findings · 16 questions.
Define Definition.
Mathematics.
Definition
Definition and examples.
Definition
Definition.
- What is a surjective function, and what are standard examples and non-examples? definition
- Is the property surjectivity, injectivity or bijectivity? boundary
Properties
Properties.
Properties
Properties.
- What properties do surjections have, including right inverses and composition? definition
- Which entry fits bijection? action
Fields Across mathematics.
Mathematics.
Algebra
Algebra.
Algebra
Algebra.
- How do surjective homomorphisms and the isomorphism theorems relate to quotients? provenance
- Which references are standard? provenance
Geometry
Analysis and geometry.
Geometry
Geometry.
- How do unitary operators and fibred manifold projections involve surjectivity? provenance
- Which entry fits fibered manifold? action
Theory Foundations.
Mathematics.
Cardinality
Cardinality.
Cardinality
Cardinality.
- How are surjections used to compare cardinalities, and how does the axiom of choice enter? provenance
- Which sources are cited? provenance
Category
Category theory.
Category
Category.
- How do epimorphisms generalise surjections, and when do they differ? provenance
- Which entry fits epimorphism? action
Context Teaching and terminology.
Context.
Teaching
Teaching.
Teaching
Teaching.
- How is surjectivity taught, and what misconceptions arise? provenance
- Which entry fits mathematics education? action
Terminology
Terminology.
Terminology
Terminology.
- Where do the terms surjective and onto come from, and how did Bourbaki standardise them? provenance
- Which entry fits the history of mathematical notation? action
What the second pass must settle
- Should bijection and epimorphism be the primary linked entries?
- How should reference sources be linked?
- The registry entry has merged aliases naming special cases; should they be split off?