Search results
Jump to navigation
Jump to search
Page title matches
- In [[mathematics]], a '''surjective function''' or '''onto function''' or '''surjection''' is a [[function (mathematics) An surjective function ''f'' has an inverse <math>f^{-1}</math> (this requires us to assume the [[710 bytes (120 words) - 13:08, 13 November 2008
- 161 bytes (26 words) - 13:11, 13 November 2008
- 906 bytes (142 words) - 13:12, 13 November 2008
Page text matches
- #REDIRECT [[Surjective function]]33 bytes (3 words) - 14:37, 12 November 2008
- In [[mathematics]], a '''surjective function''' or '''onto function''' or '''surjection''' is a [[function (mathematics) An surjective function ''f'' has an inverse <math>f^{-1}</math> (this requires us to assume the [[710 bytes (120 words) - 13:08, 13 November 2008
- ...s no non-trivial [[ideal]]s. An [[endomorphism]] of a field need not be [[surjective function|surjective]], however. An example is the Frobenius map applied to the [[ra1 KB (166 words) - 18:17, 16 February 2009
- * [[Surjective function]]894 bytes (148 words) - 12:23, 13 November 2008
- ...te if and only if, for any function ''f'' from ''X'' to itself, ''f'' is [[surjective function|surjective]] if and only if ''f'' is [[injective function|injective]].1 KB (222 words) - 16:36, 4 January 2013
- ...a bijective function (i.e., it is [[injective function|one-to-one]] and [[surjective function|onto]])2 KB (265 words) - 07:44, 4 January 2009
- {{r|Surjective function}}907 bytes (142 words) - 14:42, 2 November 2008
- {{r|Surjective function}}907 bytes (142 words) - 13:06, 13 November 2008
- {{r|Surjective function}}1 KB (172 words) - 15:25, 15 May 2011
- is exact asserts that ''f'' is [[surjective function|surjective]]. We see this by noting that the only possible map ''j'' to th3 KB (471 words) - 17:22, 15 November 2008
- Let <math>(X,\mathcal T)</math> be a topological space, and ''q'' a [[surjective function]] from ''X'' onto a set ''Y''. The quotient topology on ''Y'' has as open1 KB (167 words) - 17:20, 6 February 2009
- ...s no non-trivial [[ideal]]s. An [[endomorphism]] of a field need not be [[surjective function|surjective]], however. An example is the Frobenius map <math>\Phi: x \maps3 KB (418 words) - 12:18, 20 December 2008
- ...ath> and the map <math>y \mapsto T_y</math> is a homomorphism from ''G'' [[surjective function|onto]] <math>Inn(G)</math>. The [[kernel of a homomorphism|kernel]] of thi2 KB (294 words) - 04:53, 19 November 2008
- ...is a bijection iff it is both an [[injective function|injection]] and a [[surjective function|surjection]].4 KB (618 words) - 22:24, 7 February 2010
- ...<math>n_1n_2</math>. So if the map ''f'' is injective, it must also be [[surjective function|surjective]]: that is, for every possible pair <math>(x_1 \bmod n_1,x_2 \bm3 KB (535 words) - 15:02, 22 November 2008
- ...n|injective]], and in the case of [[finite field]]s it is therefore also [[surjective function|surjective]] (it is the [[Frobenius automorphism]]).10 KB (1,580 words) - 08:52, 4 March 2009
- * A [[surjective function]] ''f'' has the property that for every ''y'' in the codomain there exists15 KB (2,342 words) - 06:26, 30 November 2011
- ...apping {{nowrap|''f : A→B''}} satisfies ''f(A) = B'', then ''f'' is [[surjective function |''surjective'']]; we say ''f'' maps ''A'' '''''onto''''' ''B'', and the im17 KB (2,828 words) - 10:37, 24 July 2011
- ...ty element). We say that the two groups are ''isomorphic'' if there is a [[surjective function|surjective]] (thus [[bijective function|bijective]]) embedding of one into15 KB (2,535 words) - 20:29, 14 February 2010
- If <math>Y</math> is another set and <math>q</math> is a surjective function from <math>X</math> to <math>Y</math> then open sets may be defined on <mat15 KB (2,586 words) - 16:07, 4 January 2013