Surjectiveness

Part of speech: noun

Definitions

  1. The property of a mathematical function whereby every point in the target space has at least one corresponding point in the domain
  2. the quality of mapping all elements in a space onto another space without any omissions
  3. a condition in which a given function guarantees coverage of the entire range of outputs from its inputs

Etymology: The term in question is a noun formed from the base word "surjective," which itself originates in the realm of mathematics, specifically set theory and functions. "Surjective" describes a type of function that maps every element of its codomain to at least one element of its domain. The concept is fundamental in understanding how functions behave in terms of coverage of their target sets. Tracing the roots of "surjective," it derives from the Latin prefix "sur-" meaning "over" or "above," combined with the verb "jacere," meaning "to throw." The implication is that the function "throws" every element of its domain onto the entire codomain, ensuring no element in the codomain is left unmapped. This imagery of "throwing over" is crucial to the concept's intuition. The suffix "-ness" is an English nominalizer that transforms adjectives into nouns indicating a state or quality. By adding this to "surjective," the resulting noun denotes the quality or property of being surjective. This formation is typical in English, especially for technical and abstract concepts, allowing practitioners to discuss the property itself as an entity. As a whole, the noun emerged alongside the formal development of set theory in the late 19th and early 20th centuries, when mathematicians sought precise language to describe properties of functions. Although less common outside mathematical texts, the word encapsulates a key characteristic of mappings crucial to many areas of modern mathematics.

Synonyms: surjectivity, onto property, surjection property, mapping onto, epimorphism

Antonyms: injectiveness, one-to-one, injection property, monomorphism, non-surjectiveness