surjection

(redirected from Surjective)
Also found in: Encyclopedia.
Related to Surjective: Bijective

sur·jec·tion

 (sər-jĕk′shən)
n. Mathematics
A function that is onto.

surjection

(sɜːˈdʒɛkʃən)
n
(Mathematics) a mathematical function or mapping for which every element of the image space is a value for some members of the domain. See also injection5, bijection
[C20: from sur-1 + -jection, on the model of projection]
surˈjective adj
Translations
surjekce
Surjektion
surjection
surjektio
surjection
surjekcija
surjektion
Mentioned in ?
References in periodicals archive ?
1](B)) [subset or equal to] B {If f is surjective, then f ([f.
Let [alpha] be a surjective homomorphism from [[pi].
Among specific topics are sparse hamburger moment multi-sequences, surjective isometries on absolutely continuous vector valued function spaces, extensions of isometries in generalized gyrovector spaces of the positive cones, kernels of adjoints of composition operators with rational symbols of degree two, and associating linear and nonlinear operators.
q] is injective because [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is surjective being the transpose of a graded monomorphism between two locally finite graded vector spaces.
n]; then we prove that it is indeed a bijection by showing that it is injective, well-defined, and surjective.
psi]] is a soft bijection (soft surjective and soft injective).
Isomorphisms in the category of sup-algebras and their homomorphisms are precisely surjective homomorphisms that are order-embeddings.
When the machine is complete (in other words, the machine does not halt), surjectivity and reversibility are equivalent: Indeed, a complete and reversible Turing machine is surjective, as stated in Kari and Ollinger (2008).
2) [phi] is surjective, then [phi] is called a neutrosophic epimorphism.
2l-1] is surjective and has a two-dimensional kernel consisting of all vectors [e.
1 OMNUS: "Omnetic Reality" and the Summary-Quiddity of Surjective Monism (the Surjective Monad Theory of Reality)
Moreover, we deal with finite structures only, hence f is surjective too, and consequently it is a bijection.