Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Download
Faster access than browser!
 

Surjective function

Index Surjective function

In mathematics, a function f from a set X to a set Y is surjective (or onto), or a surjection, if for every element y in the codomain Y of f there is at least one element x in the domain X of f such that f(x). [1]

59 relations: Axiom of choice, Bijection, Bijection, injection and surjection, Binary relation, Cancellation property, Cardinal number, Cardinality, Cartesian product, Category (mathematics), Category of sets, Codomain, Cover (algebra), Covering space, Disjoint sets, Domain of a function, Dover Publications, Element (mathematics), Enumeration, Epimorphism, Equivalence class, Equivalence relation, Exponential function, Fiber bundle, Finite set, France, Function (mathematics), Function composition, General linear group, Graph of a function, Group (mathematics), Identity function, Image (mathematics), Index set, Injective function, Integer, Inverse function, Invertible matrix, Mathematician, Mathematics, Matrix (mathematics), Matrix exponential, Modular arithmetic, Morphism, Multivalued function, Natural logarithm, Nicolas Bourbaki, Parity (mathematics), Partition of a set, Prefix, Projection (mathematics), ..., Projection (set theory), Range (mathematics), Real number, Restriction (mathematics), Schröder–Bernstein theorem, Section (category theory), Set (mathematics), Subset, Uniqueness quantification. Expand index (9 more) »

Axiom of choice

In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the Cartesian product of a collection of non-empty sets is non-empty.

New!!: Surjective function and Axiom of choice · See more »

Bijection

In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other set, and each element of the other set is paired with exactly one element of the first set.

New!!: Surjective function and Bijection · See more »

Bijection, injection and surjection

In mathematics, injections, surjections and bijections are classes of functions distinguished by the manner in which arguments (input expressions from the domain) and images (output expressions from the codomain) are related or mapped to each other.

New!!: Surjective function and Bijection, injection and surjection · See more »

Binary relation

In mathematics, a binary relation on a set A is a set of ordered pairs of elements of A. In other words, it is a subset of the Cartesian product A2.

New!!: Surjective function and Binary relation · See more »

Cancellation property

In mathematics, the notion of cancellative is a generalization of the notion of invertible.

New!!: Surjective function and Cancellation property · See more »

Cardinal number

In mathematics, cardinal numbers, or cardinals for short, are a generalization of the natural numbers used to measure the cardinality (size) of sets.

New!!: Surjective function and Cardinal number · See more »

Cardinality

In mathematics, the cardinality of a set is a measure of the "number of elements of the set".

New!!: Surjective function and Cardinality · See more »

Cartesian product

In set theory (and, usually, in other parts of mathematics), a Cartesian product is a mathematical operation that returns a set (or product set or simply product) from multiple sets.

New!!: Surjective function and Cartesian product · See more »

Category (mathematics)

In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is an algebraic structure similar to a group but without requiring inverse or closure properties.

New!!: Surjective function and Category (mathematics) · See more »

Category of sets

In the mathematical field of category theory, the category of sets, denoted as Set, is the category whose objects are sets.

New!!: Surjective function and Category of sets · See more »

Codomain

In mathematics, the codomain or target set of a function is the set into which all of the output of the function is constrained to fall.

New!!: Surjective function and Codomain · See more »

Cover (algebra)

In abstract algebra, a cover is one instance of some mathematical structure mapping onto another instance, such as a group (trivially) covering a subgroup.

New!!: Surjective function and Cover (algebra) · See more »

Covering space

In mathematics, more specifically algebraic topology, a covering map (also covering projection) is a continuous function p from a topological space, C, to a topological space, X, such that each point in X has an open neighbourhood evenly covered by p (as shown in the image); the precise definition is given below.

New!!: Surjective function and Covering space · See more »

Disjoint sets

In mathematics, two sets are said to be disjoint sets if they have no element in common.

New!!: Surjective function and Disjoint sets · See more »

Domain of a function

In mathematics, and more specifically in naive set theory, the domain of definition (or simply the domain) of a function is the set of "input" or argument values for which the function is defined.

New!!: Surjective function and Domain of a function · See more »

Dover Publications

Dover Publications, also known as Dover Books, is an American book publisher founded in 1941 by Hayward Cirker and his wife, Blanche.

New!!: Surjective function and Dover Publications · See more »

Element (mathematics)

In mathematics, an element, or member, of a set is any one of the distinct objects that make up that set.

New!!: Surjective function and Element (mathematics) · See more »

Enumeration

An enumeration is a complete, ordered listing of all the items in a collection.

New!!: Surjective function and Enumeration · See more »

Epimorphism

In category theory, an epimorphism (also called an epic morphism or, colloquially, an epi) is a morphism f: X → Y that is right-cancellative in the sense that, for all morphisms, Epimorphisms are categorical analogues of surjective functions (and in the category of sets the concept corresponds to the surjective functions), but it may not exactly coincide in all contexts; for example, the inclusion \mathbb\to\mathbb is a ring-epimorphism.

New!!: Surjective function and Epimorphism · See more »

Equivalence class

In mathematics, when the elements of some set S have a notion of equivalence (formalized as an equivalence relation) defined on them, then one may naturally split the set S into equivalence classes.

New!!: Surjective function and Equivalence class · See more »

Equivalence relation

In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive.

New!!: Surjective function and Equivalence relation · See more »

Exponential function

In mathematics, an exponential function is a function of the form in which the argument occurs as an exponent.

New!!: Surjective function and Exponential function · See more »

Fiber bundle

In mathematics, and particularly topology, a fiber bundle (or, in British English, fibre bundle) is a space that is locally a product space, but globally may have a different topological structure.

New!!: Surjective function and Fiber bundle · See more »

Finite set

In mathematics, a finite set is a set that has a finite number of elements.

New!!: Surjective function and Finite set · See more »

France

France, officially the French Republic (République française), is a sovereign state whose territory consists of metropolitan France in Western Europe, as well as several overseas regions and territories.

New!!: Surjective function and France · See more »

Function (mathematics)

In mathematics, a function was originally the idealization of how a varying quantity depends on another quantity.

New!!: Surjective function and Function (mathematics) · See more »

Function composition

In mathematics, function composition is the pointwise application of one function to the result of another to produce a third function.

New!!: Surjective function and Function composition · See more »

General linear group

In mathematics, the general linear group of degree n is the set of invertible matrices, together with the operation of ordinary matrix multiplication.

New!!: Surjective function and General linear group · See more »

Graph of a function

In mathematics, the graph of a function f is, formally, the set of all ordered pairs, and, in practice, the graphical representation of this set.

New!!: Surjective function and Graph of a function · See more »

Group (mathematics)

In mathematics, a group is an algebraic structure consisting of a set of elements equipped with an operation that combines any two elements to form a third element and that satisfies four conditions called the group axioms, namely closure, associativity, identity and invertibility.

New!!: Surjective function and Group (mathematics) · See more »

Identity function

Graph of the identity function on the real numbers In mathematics, an identity function, also called an identity relation or identity map or identity transformation, is a function that always returns the same value that was used as its argument.

New!!: Surjective function and Identity function · See more »

Image (mathematics)

In mathematics, an image is the subset of a function's codomain which is the output of the function from a subset of its domain.

New!!: Surjective function and Image (mathematics) · See more »

Index set

In mathematics, an index set is a set whose members label (or index) members of another set.

New!!: Surjective function and Index set · See more »

Injective function

In mathematics, an injective function or injection or one-to-one function is a function that preserves distinctness: it never maps distinct elements of its domain to the same element of its codomain.

New!!: Surjective function and Injective function · See more »

Integer

An integer (from the Latin ''integer'' meaning "whole")Integer 's first literal meaning in Latin is "untouched", from in ("not") plus tangere ("to touch").

New!!: Surjective function and Integer · See more »

Inverse function

In mathematics, an inverse function (or anti-function) is a function that "reverses" another function: if the function applied to an input gives a result of, then applying its inverse function to gives the result, and vice versa.

New!!: Surjective function and Inverse function · See more »

Invertible matrix

In linear algebra, an n-by-n square matrix A is called invertible (also nonsingular or nondegenerate) if there exists an n-by-n square matrix B such that where In denotes the n-by-n identity matrix and the multiplication used is ordinary matrix multiplication.

New!!: Surjective function and Invertible matrix · See more »

Mathematician

A mathematician is someone who uses an extensive knowledge of mathematics in his or her work, typically to solve mathematical problems.

New!!: Surjective function and Mathematician · See more »

Mathematics

Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.

New!!: Surjective function and Mathematics · See more »

Matrix (mathematics)

In mathematics, a matrix (plural: matrices) is a rectangular array of numbers, symbols, or expressions, arranged in rows and columns.

New!!: Surjective function and Matrix (mathematics) · See more »

Matrix exponential

In mathematics, the matrix exponential is a matrix function on square matrices analogous to the ordinary exponential function.

New!!: Surjective function and Matrix exponential · See more »

Modular arithmetic

In mathematics, modular arithmetic is a system of arithmetic for integers, where numbers "wrap around" upon reaching a certain value—the modulus (plural moduli).

New!!: Surjective function and Modular arithmetic · See more »

Morphism

In mathematics, a morphism is a structure-preserving map from one mathematical structure to another one of the same type.

New!!: Surjective function and Morphism · See more »

Multivalued function

In mathematics, a multivalued function from a domain to a codomain is a heterogeneous relation.

New!!: Surjective function and Multivalued function · See more »

Natural logarithm

The natural logarithm of a number is its logarithm to the base of the mathematical constant ''e'', where e is an irrational and transcendental number approximately equal to.

New!!: Surjective function and Natural logarithm · See more »

Nicolas Bourbaki

Nicolas Bourbaki is the collective pseudonym under which a group of (mainly French) 20th-century mathematicians, with the aim of reformulating mathematics on an extremely abstract and formal but self-contained basis, wrote a series of books beginning in 1935.

New!!: Surjective function and Nicolas Bourbaki · See more »

Parity (mathematics)

In mathematics, parity is the property of an integer's inclusion in one of two categories: even or odd.

New!!: Surjective function and Parity (mathematics) · See more »

Partition of a set

In mathematics, a partition of a set is a grouping of the set's elements into non-empty subsets, in such a way that every element is included in one and only one of the subsets.

New!!: Surjective function and Partition of a set · See more »

Prefix

A prefix is an affix which is placed before the stem of a word.

New!!: Surjective function and Prefix · See more »

Projection (mathematics)

In mathematics, a projection is a mapping of a set (or other mathematical structure) into a subset (or sub-structure), which is equal to its square for mapping composition (or, in other words, which is idempotent).

New!!: Surjective function and Projection (mathematics) · See more »

Projection (set theory)

In set theory, a projection is one of two closely related types of functions or operations, namely.

New!!: Surjective function and Projection (set theory) · See more »

Range (mathematics)

In mathematics, and more specifically in naive set theory, the range of a function refers to either the codomain or the image of the function, depending upon usage.

New!!: Surjective function and Range (mathematics) · See more »

Real number

In mathematics, a real number is a value of a continuous quantity that can represent a distance along a line.

New!!: Surjective function and Real number · See more »

Restriction (mathematics)

In mathematics, the restriction of a function f is a new function f\vert_A obtained by choosing a smaller domain A for the original function f. The notation f is also used.

New!!: Surjective function and Restriction (mathematics) · See more »

Schröder–Bernstein theorem

In set theory, the Schröder–Bernstein theorem states that, if there exist injective functions and between the sets and, then there exists a bijective function.

New!!: Surjective function and Schröder–Bernstein theorem · See more »

Section (category theory)

In category theory, a branch of mathematics, a section is a right inverse of some morphism.

New!!: Surjective function and Section (category theory) · See more »

Set (mathematics)

In mathematics, a set is a collection of distinct objects, considered as an object in its own right.

New!!: Surjective function and Set (mathematics) · See more »

Subset

In mathematics, a set A is a subset of a set B, or equivalently B is a superset of A, if A is "contained" inside B, that is, all elements of A are also elements of B. A and B may coincide.

New!!: Surjective function and Subset · See more »

Uniqueness quantification

In mathematics and logic, the phrase "there is one and only one" is used to indicate that exactly one object with a certain property exists.

New!!: Surjective function and Uniqueness quantification · See more »

Redirects here:

Induced function, Onto, Onto (mathematics), Onto function, Onto mapping, Onto relation, Surjection, Surjective, Surjective Function, Surjective map, Surjective relation, Surjectivity, .

References

[1] https://en.wikipedia.org/wiki/Surjective_function

OutgoingIncoming
Hey! We are on Facebook now! »