About: Surjective function

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Surjective function Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

In mathematics, a surjective function (also known as surjection, or onto function) is a function f that maps an element x to every element y; that is, for every y, there is an x such that f(x) = y. In other words, every element of the function's codomain is the image of at least one element of its domain. It is not required that x be unique; the function f may map one or more elements of X to the same element of Y. * A non-injective surjective function (surjection, not a bijection) * An injective surjective function (bijection) * An injective non-surjective function (injection, not a bijection)

Attributes	Values
rdfs:label	Surjective function (en)
rdfs:comment	In mathematics, a surjective function (also known as surjection, or onto function) is a function f that maps an element x to every element y; that is, for every y, there is an x such that f(x) = y. In other words, every element of the function's codomain is the image of at least one element of its domain. It is not required that x be unique; the function f may map one or more elements of X to the same element of Y. * A non-injective surjective function (surjection, not a bijection) * An injective surjective function (bijection) * An injective non-surjective function (injection, not a bijection) (en)
sameAs	Surjective function Surjective function
dbp:wikiPageUsesTemplate	dbt:= dbt:Cite_book dbt:Commons_category dbt:Details dbt:Em dbt:Gallery dbt:Math dbt:Mvar dbt:Nowrap_begin dbt:Nowrap_end dbt:Redirect dbt:Reflist dbt:Short_description dbt:Sub dbt:Unichar dbt:Wiktionary dbt:Functions
Subject	Basic concepts in set theory Types of functions Functions and mappings Mathematical relations
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Surjective_function?oldid=1070232364&ns=0
Wikipage page ID	27873 (xsd:integer)
page length (characters) of wiki page	18729 (xsd:nonNegativeInteger)
Wikipage revision ID	1070232364 (xsd:integer)
has abstract	In mathematics, a surjective function (also known as surjection, or onto function) is a function f that maps an element x to every element y; that is, for every y, there is an x such that f(x) = y. In other words, every element of the function's codomain is the image of at least one element of its domain. It is not required that x be unique; the function f may map one or more elements of X to the same element of Y. * A non-injective surjective function (surjection, not a bijection) * An injective surjective function (bijection) * An injective non-surjective function (injection, not a bijection) * A non-injective non-surjective function (neither a bijection) The term surjective and the related terms injective and bijective were introduced by Nicolas Bourbaki, a group of mainly French 20th-century mathematicians who, under this pseudonym, wrote a series of books presenting an exposition of modern advanced mathematics, beginning in 1935. The French word sur means over or above, and relates to the fact that the image of the domain of a surjective function completely covers the function's codomain. Any function induces a surjection by restricting its codomain to the image of its domain. Every surjective function has a right inverse assuming the axiom of choice, and every function with a right inverse is necessarily a surjection. The composition of surjective functions is always surjective. Any function can be decomposed into a surjection and an injection. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Surjective_function
is Wikipage redirect of	↠ Surjective Surjective Function Onto Onto (mathematics) Onto mapping Surjection Surjective map Surjectivity Onto function Induced function
is Link from a Wikipage to another Wikipage of	Formal group law Gromov–Witten invariant Grothendieck connection Group (mathematics) List of types of functions Local field Localization (commutative algebra) Locally nilpotent derivation Nowhere dense set Numbering (computability theory) 3D rotation group Abelian group Affine symmetric group Algebraic function field Almost open map Arithmetic and geometric Frobenius Proof of impossibility Axiom of choice Axiom of limitation of size Axiom schema of replacement Ax–Grothendieck theorem Balanced ternary Banach bundle Banach bundle (non-commutative geometry) Banach space Banach–Stone theorem Bidirectional map Bijection Bijection, injection and surjection Bijective proof Binary function Binary relation Monoidal t-norm logic Monotonic function Boundary parallel Braid group Brascamp–Lieb inequality Brouwer fixed-point theorem Browder–Minty theorem Bundle (mathematics) Cannon–Thurston map Canonical map Cantor's diagonal argument Cantor's theorem Cantor set Cardinal number Cardinality Categorical quotient Category of abelian groups Category of groups Category of metric spaces Category of sets Category of topological spaces Cayley graph Free abelian group General topology Generating set of a module Geometric function theory

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software