In category theory , a functor math F C to D math is essentially surjective or dense if each object math d math of math D math is isomorphic to an object of the form math Fc math for some object math c math of math C math . Any functor which is part of an Equivalence of categories equivalence is essentially surjective. Categorytheory stub Functors Category Functors de Wesentlich surjektiver Funktor ... more details
SVGNowAvailable Bijective composition.svg An illustration of two functions mappings the left is injective and non surjective and the right is non injective and surjective. PD self date May 2007 Copy to Wikimedia Commons bot Fbot ... more details
SVGNowAvailable Total function.svg A diagram illustrating a function neither injective nor surjective. Intended to replace Media Mathmap2.png , a copyrighted image it s silly to have a copyrighted image to illustrate something so basic. PD self date May 2007 Copy to Wikimedia Commons bot Fbot ... more details
A finite map can be one of the following In computer science , finite map is a synonym for an associative array . A finite map algebraic geometry finite map in algebraic geometry is a surjective regular map algebraic geometry regular map with zero dimensional fibers. disambig ... more details
saved book title CSU Abstract Algebra subtitle Thomas Collection cover image cover color sort as Csu Abstract Algebra CSU Abstract Algebra Thomas Collection Surjective function Injective function Monomorphism Isomorphism theorem Idempotence DEFAULTSORT Csu Abstract Algebra Category Wikipedia books on mathematics ... more details
. math An injective function is an injection . A function is surjective function surjective onto if every ... f x . math A surjective function is a surjection . A function is bijective function bijective ... one element of the domain. That is, the function is both injective and surjective. A bijective function is a bijection . An injective function need not be surjective not all elements of the codomain may be associated with arguments , and a surjective function need not be injective some images may be associated with more than one argument . The four possible combinations of injective and surjective ... thumb 200px Injective and surjective bijective . Image Injection.svg thumb 200px Injective and non surjective one to one . Image Surjection.svg thumb 200px Non injective and surjective onto . Image Total function.svg thumb 200px Non injective and non surjective. Injection main injective function ... every function is surjective when its codomain is restricted to its image mathematics image , every ... at right. Every embedding is injective. Surjection main surjective function Image Surjective composition.svg thumb 300px Surjective composition the first function need not be surjective. A function is surjective ... element in the codomain has non empty preimage . Equivalently, a function is surjective if its image is equal to its codomain. A surjective function is a surjection . The formal definition is the following. The function math f A to B math is surjective iff for all math b in B math , there is math a in A math such that math f a b. math A function f A B is surjective if and only if it is right invertible ... o f is surjective, then it can only be concluded that g is surjective. See the figure at right . Bijection ... function need not be surjective and the second function need not be injective. A function is bijective if it is both injective and surjective. A bijective function is a bijection one to one correspondence ... o f is a bijection, then it can only be concluded that f is injective and g is surjective. See the figure ... more details
Wiktionary Open mapping theorem may refer to Open mapping theorem functional analysis or Banach Schauder theorem states that a surjective continuous linear transformation of a Banach space X onto a Banach space Y is an open mapping Open mapping theorem complex analysis states that a non constant holomorphic function on a connected open set in the complex plane is an open mapping Open mapping theorem topological groups states that a surjective continuous homomorphism of a locally compact Hausdorff group G onto a locally compact Hausdorff group H is an open mapping if G is &sigma compact. Like the open mapping theorem in functional analysis, the proof in the setting of topological groups uses the Baire category theorem. disambig math it Teorema della funzione aperta ... more details
In mathematics , particularly in differential topology , the preimage theorem is a theorem concerning the preimage of particular points in a manifold under the action of a smooth map . Statement of Theorem Definition. Let math f X to Y , math be a smooth map between manifolds. We say that a point math y in Y math is a regular value of f if for all math x in f 1 y math the map math df x T xX to T yY , math is surjective map surjective . Here, math T xX , math and math T yY , math are the tangent space s of X and Y at the points x and y. Theorem. Let math f X to Y , math be a smooth map, and let math y in Y math be a regular value of f . Then math f 1 y x in X f x y math is a submanifold of X. Further, the codimension of this manifold in X is equal to the dimension of Y. topology stub Category topology Category Theorems in topology ... more details
In the mathematics of Banach spaces , the method of continuity provides sufficient conditions for deducing the invertibility of one bounded linear operator from that of another, related operator. Formulation Let B be a Banach space , V a normed vector space , and math L t t in 0,1 math a Operator norm norm continuous family of bounded linear operators from B into V . Assume that there exists a constant C such that for every math t in 0,1 math and every math x in B math math x B leq C L t x V. math Then math L 0 math is surjective if and only if math L 1 math is surjective as well. Applications The method of continuity is used in conjunction with a priori estimates to prove the existence of suitably regular solutions to Elliptic operator elliptic partial differential equations . Proof We assume that math L 0 math is surjective and show that math L 1 math is surjective as well. Subdividing the interval 0,1 we may assume that math L 0 L 1 leq 1 3C math . Furthermore, the surjectivity of math L 0 math implies that V is isomorphic to B and thus a Banach space. The hypothesis implies that math L 1 B subseteq V math is a closed subspace. Assume that math L 1 B subseteq V math is a proper subspace. The Hahn Banach theorem shows that there exists a math y in V math such that math y V leq 1 math and math mathrm dist y,L 1 B 2 3 math . Now math y L 0 x math for some math x in B math and math x B leq C y V math by the hypothesis. Therefore math y L 1 x V L 0 L 1 x V leq L 0 L 1 x B leq 1 3, math which is a contradiction since math L 1 x in L 1 B math . See also Schauder estimates Sources citation first1 D. last Gilbarg first2 Neil last2 Trudinger authorlink2 Neil Trudinger title Elliptic Partial Differential Equations of Second Order publisher Springer publication place New York year 1983 isbn 3 540 41160 7 mathanalysis stub Category Banach spaces ... more details
Unreferenced date December 2009 In mathematics , a closed n manifold N embedding embedded in an n 1 manifold M is boundary parallel or parallel , or peripheral if there is an isotopy of N onto a Boundary topology boundary connected space component of M . An example Consider the Annulus mathematics annulus math I times S 1 math . Let denote the projection map math pi I times S 1 rightarrow S 1, qquad x,z mapsto z. math If a circle S is embedded into the annulus so that Restriction Restrictions and extensions restricted to S is a bijection , then S is boundary parallel. The Converse logic converse is not true. If, on the other hand, a circle S is embedded into the annulus so that restricted to S is not Surjection surjective , then S is not boundary parallel. Again, the converse is not true. Image Annulus.circle.pi 1 injective.png thumb left An example wherein &pi is not bijective on S , but S is &part parallel anyway. Image Annulus.circle.bijective projection.png thumb left An example wherein &pi is bijective on S . Image Annulus.circle.nulhomotopic.png thumb left An example wherein &pi is not surjective on S . Clear DEFAULTSORT Boundary Parallel Category Geometric topology ... more details
The Vietoris Begle mapping theorem is a result in the mathematics mathematical field of algebraic topology . It is named for Leopold Vietoris and Edward G. Begle . The statement of the theorem, below, is as formulated by Stephen Smale . Theorem Let math X math and math Y math be compact space compact metric spaces , and let math f X to Y math be surjective function surjective and continuous function continuous . Suppose that the image mathematics fibers of math f math are acyclic , so that math tilde H r f 1 y 0, math for all math 0 leq r leq n 1 math and all math y in Y math , with math tilde H r math denoting the math r math th reduced homology group mathematics group . Then, the induced homomorphism math f tilde H r X to tilde H r Y math is an isomorphism for math r leq n 1 math and a surjection for math r n math . References http www.ams.org notices 200210 fea vietoris.pdf Leopold Vietoris 1891 2002 , Notices of the American Mathematical Society , vol. 49, no. 10 November 2002 by Heinrich Reitberger topology stub Category Algebraic topology Category Theorems in topology ... more details
In mathematics , Ehresmann s fibration theorem states that a smooth mapping f M N where M and N are smooth manifold s, such that f is a surjective submersion mathematics submersion , and f is a proper map , in particular if M is compact is a locally trivial fibration . This is a foundational result in differential topology , and exists in many further variants. It is due to Charles Ehresmann . References Ehresmann, C., Les connexions infinit simales dans un espace fibr diff rentiable , Colloque de Topologie, Bruxelles 1950 , 29 55. Category Differential topology Category Theorems in topology fr Th or me de Ehresmann ... more details
if it is surjective . Similarly, to deal with exactness, we can think of kernel algebra kernel ... used. So, to prove 1 , assume that m and p are surjective and q is injective. image FourLemma01.png Let c&prime be an element of C&prime . Since p is surjective, there exists an element d in D with p ... with s b&prime c&prime &minus n c . Since m is surjective, we can find b in B such that b&prime m ... &minus n c n c c&prime . Therefore, n is surjective. Then, to prove 2 , assume that m and p are injective and l is surjective. image FourLemma02.png Let c in C be such that n c 0. t n c is then 0. By commutativity ... such that r a&prime m b . Since l is surjective, there is a in A such that l a a&prime . By commutativity ... more details
f Rightarrow g 1 g 2. math Epimorphisms are analogues of surjective function s, but they are not exactly ... algebra and universal algebra define an epimorphism simply as an onto or surjective homomorphism . Every .... Examples Every morphism in a concrete category whose underlying function mathematics function is surjective ..., in the following categories, the epimorphisms are exactly those morphisms which are surjective ... epimorphism f X Y in Set is surjective, we compose it with both the indicator function characteristic ... function s. If f X , Y , is not surjective, pick y sub 0 sub in Y f X and let g sub 1 ... in Grp is surjective is due to Otto Schreier he actually proved more, showing that every subgroup ... the two previous examples to prove that every epimorphism f X Y in Mod R is surjective, we ... s. To prove that every epimorphism in Top is surjective, we proceed exactly as in Set , giving .... HComp , compact space compact Hausdorff space s and continuous functions. If f X Y is not surjective ... fail to be surjective. A few examples are In the category of monoids , Mon , the inclusion map N Z is a non surjective epimorphism. To see this, suppose that g sub 1 sub and g sub 2 sub are two ... sub to N are unequal. In the category of rings , Ring , the inclusion map Z Q is a non surjective epimorphism ... map Q R , is a non surjective epimorphism. The above differs from the case of monomorphisms where ... G and then write f as the composition of the surjective homomorphism G K which is defined like f , followed ... for a surjective function . Early category theorists believed that epimorphisms were the correct analogue ... surjective, and epic morphisms , which are epimorphisms in the modern sense. However, this distinction ... is Surjective. American Mathematical Monthly 77, pp. 176&ndash 177. Proof summarized by Arturo ... more details
, that is, faithfully flat and of finite presentation . Every surjective family of flat and finitely ... sites Let X be an affine scheme. We define an fpqc cover of X to be a finite and jointly surjective ... to be jointly surjective families of flat morphisms. We write Fpqc for the category of schemes with the fpqc ... surjective family of flat and quasi compact morphisms is a covering family for this topology, hence ... more details
In category theory , a faithful functor resp. a full functor is a functor which is injective resp. surjective when restricted to each set of morphism s that have a given source and target. Explicitly, let C and D be locally small category locally small category mathematics categories and let F C D be a functor from C to D . The functor F induces a function math F X,Y colon mathrm Hom mathcal C X,Y rightarrow mathrm Hom mathcal D F X ,F Y math for every pair of objects X and Y in C . The functor F is said to be faithful if F sub X , Y sub is injective full if F sub X , Y sub is surjective fully faithful if F sub X , Y sub is bijective for each X and Y in C . A faithful functor need not be injective on objects or morphisms. That is, two objects X and X &prime may map to the same object in D which is why the range of a full and faithful functor is not necessarily isomorphic to C , and two morphisms f X Y and f &prime X &prime Y &prime with different domains codomains may map to the same morphism in D . Likewise, a full functor need not be surjective on objects or morphisms. There may be objects in D not of the form FX for some X in C . Morphisms between such objects clearly cannot come from morphisms in C . Examples The forgetful functor U Grp Set is faithful as each group maps to a unique set and the group homomorphism are a subset of the functions. This functor is not full as there are functions between group mathematics group s which are not group homomorphism s. A category with a faithful functor to Set is by definition a concrete category in general, that forgetful functor is not full. Let F Set Set be the functor which maps every set to the empty set and every function to the empty function . Then F is full, but is neither injective on objects nor on morphisms. The inclusion functor Ab Grp is fully faithful. See also full subcategory equivalence of categories References Cite book first Saunders last Mac Lane authorlink Saunders Mac Lane title Categories for the Working ... more details
Unreferenced date December 2009 In measure theory , a radonifying function ultimately named after Johann Radon between measurable space s is one that takes a cylinder set measure CSM on the first space to a true measure on the second space. It acquired its name because the pushforward measure on the second space was historically thought of as a Radon measure . Definition Given two separable space separable Banach space s math E math and math G math , a CSM math mu T T in mathcal A E math on math E math and a continuous function continuous linear map math theta in mathrm Lin E G math , we say that math theta math is radonifying if the push forward CSM see below math left left. left theta mu cdot right S right S in mathcal A G right math on math G math is a measure, i.e. there is a measure math nu math on math G math such that math left theta mu cdot right S S nu math for each math S in mathcal A G math , where math S nu math is the usual push forward of the measure math nu math by the linear map math S G to F S math . Push forward of a CSM Because the definition of a CSM on math G math requires that the maps in math mathcal A G math be surjective , the definition of the push forward for a CSM requires careful attention. The CSM math left left. left theta mu cdot right S right S in mathcal A G right math is defined by math left theta mu cdot right S mu S circ theta math if the Function composition composition math S circ theta E to F S math is surjective. If math S circ theta math is not surjective, let math tilde F math be the image of math S circ theta math , let math i tilde F to F S math be the inclusion map , and define math left theta mu cdot right S i left mu Sigma right math , where math Sigma E to tilde F math so math Sigma in mathcal A E math is such that math i circ Sigma S circ theta math . See also Classical Wiener space Abstract Wiener space DEFAULTSORT Radonifying Function Category Measure theory Category Banach spaces Category Types of functions ... more details
In mathematics , specifically linear algebra and geometry , relative dimension is the dual notion to codimension . In linear algebra, given a quotient space linear algebra quotient map math V to Q math , the difference dim V dim Q is the relative dimension this equals the dimension of the kernel. In fiber bundle s, the relative dimension of the map is the dimension of the fiber. More abstractly, the codimension of a map is the dimension of the cokernel , while the relative dimension of a map is the dimension of the Kernel algebra kernel . These are dual in that the inclusion of a subspace math V to W math of codimension k dualizes to yield a quotient map math W to V math of relative dimension k , and conversely. The additivity of codimension under intersection corresponds to the additivity of relative dimension in a fiber product . Just as codimension is mostly used for injective maps, relative dimension is mostly used for surjective maps. Category Algebraic geometry Category Geometric topology Category Linear algebra Category Dimension geometry stub ... more details
In the theory of causal structure on Lorentzian manifold s, Geroch s theorem or Geroch s splitting theorem first proved by Robert Geroch gives a topological characterization of globally hyperbolic spacetimes. The theorem Let math M, g ab math be a globally hyperbolic spacetime. Then math M, g ab math is strongly causal and there exists a global time function on the manifold, i.e. a continuous, surjective map math f M rightarrow mathbb R math such that For all math t in mathbb R math , math f 1 t math is a Cauchy surface , and math f math is strictly increasing on any causal curve . Moreover, all Cauchy surfaces are homeomorphic, and math M math is homeomorphic to math S times mathbb R math where math S math is any Cauchy surface of math M math . relativity stub differential geometry stub Category General relativity Category Lorentzian manifolds ... more details
expert subject mathematics date August 2009 In mathematics , the horizontal line test is a test used to determine if a function mathematics function is injective ref cite book last Stewart first James authorlink James Stewart mathematician title Calculus Early Transcendentals publisher Brooks Cole edition 6th year 2008 isbn 0 495 01166 5 ref and or surjective . The lines used for the test are parallel to the x axis. Consider a function f X Y with its corresponding graph as a subset of the Cartesian product X x Y. Consider the horizontal lines in X x Y math x,y 0 in X times Y y 0 text is constant X times y 0 math . The function f is injective i.e., one to one if and only if it can be visualized as one whose graph of a function graph intersects any horizontal line at MOST once. The function f is surjective i.e., onto if and only if its graph intersects any horizontal line at LEAST once. f is bijective if and only if any horizontal line will intersect the graph EXACTLY once. border 1 align center Image Horizontal test ok.png br Passes the test injective align center Image Horizontal test fail.png br Fail the test not injective This test is also used to determine whether or not the inverse relation of a function is itself a function. See also Vertical line test Function mathematics Inverse mathematics References reflist Category Basic concepts in set theory mathematics stub ca Test de la l nia horitzontal ur Horizontal line test zh ... more details
In mathematics, an isogeny is a morphism of varieties between two abelian varieties e.g. elliptic curves that is surjective and has a finite kernel. Every isogeny math f A to B math is automatically a group homomorphism between the groups of k valued points of math A math and math B math , for any field k over which math f math is defined. Etymology From the Greek iso and Latin genus , the term isogeny means equal origins , a reference to the geometrical fact that an isogeny sends the point at infinity the origin of the source elliptic curve to the point at infinity of the target elliptic curve. Case of elliptic curves For elliptic curves , this notion can also be formulated as follows Let math E 1 math and math E 2 math be elliptic curves over a field k . An isogeny between math E 1 math and math E 2 math is a surjective morphism math f E 1 to E 2 math of varieties that preserves basepoints i.e. math f math maps the infinite point on math E 1 math to that on math E 2 math . Two elliptic curves math E 1 math and math E 2 math are called isogenous if there is an isogeny math E 1 to E 2 math . This is an equivalence relation, symmetry being due to the existence of the dual isogeny . As above, every isogeny induces homomorphisms of the groups of the k valued points of the elliptic curves. See also Abelian varieties up to isogeny References cite book last Lang first Serge authorlink Serge Lang year 1983 title Abelian Varieties publisher Springer Verlag isbn 3 540 90875 7 cite book last Mumford first David authorlink David Mumford year 1974 title Abelian Varieties publisher Oxford University Press isbn 0 19 560528 4 Category Morphisms of schemes de Isogenie ... more details
In the mathematics mathematical field of order theory an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially ordered set s posets . Whenever two posets are order isomorphic, they can be considered to be essentially the same in the sense that one of the orders can be obtained from the other just by renaming of elements. Two strictly weaker notions that relate to order isomorphisms are order embedding s and Galois connection s. Formally, given two posets S S , sub S sub and T T , sub T sub an order isomorphism from S , sub S sub to T , sub T sub is a surjective function h S T such that for all u and v in S , h u sub T sub h v if and only if u sub S sub v . In this case, the posets S and T are said to be order isomorphic . Note that the above definition characterizes order isomorphisms as surjective order embeddings. It should also be remarked that order isomorphisms are necessarily injective . Hence, yet another characterization of order isomorphisms is possible they are exactly those monotone bijection s that have a monotone inverse. An order isomorphism from S , to itself is called an order automorphism . Examples Negation disambiguation Negation is an order isomorphism from R , to R , , since x y if and only if x y . The function f x x 1 is an order automorphism on R , , since x 1 y 1 if and only if x y . A utility function is an order isomorphism from some consumption set into the real line. See also Order type Category Order theory Category Morphisms math stub fr Isomorphisme d ensembles ordonn s it Isomorfismo d ordine zh ... more details
In abstract algebra , a cover is one instance of some mathematical structure mapping onto another instance, such as a group mathematics group trivially covering a subgroup . This should not be confused with the concept of a Cover topology cover in topology . When some object X is said to cover another object Y , the cover is given by some surjective and homomorphism structure preserving map nowrap f X Y . The precise meaning of structure preserving depends on the kind of mathematical structure of which X and Y are instances. In order to be interesting, the cover is usually endowed with additional properties, which are highly dependent on the context. Examples A classic result in semigroup theory due to D. B. McAlister states that every inverse semigroup has an Inverse semigroup E unitary inverse semigroups E unitary cover besides being surjective, the homomorphism in this case is also idempotent separating , meaning that in its Kernel mathematics kernel an idempotent and non idempotent never belong to the same equivalence class. A glossary of semigroup theory article is needed, similar to the one for order theory something slightly stronger has actually be shown for inverse semigroups every inverse semigroup admits an Inverse semigroup F inverse semigroups F inverse cover. ref Lawson p. 230 ref McAlister s covering theorem generalizes to Special classes of semigroups orthodox semigroups every orthodox semigroup has a unitary cover. ref Grilett p. 360 ref Examples from other areas of algebra include the Frattini cover ref Michael D. Fried, Moshe Jarden , Field arithmetic , 2nd ed, p. 506 ref and the universal cover of a Lie group . somebody detail these See also Embedding Notes reflist 3 References cite book last Howie first John M. title Fundamentals of Semigroup Theory year 1995 publisher Clarendon Press isbn 0 19 851194 9 Category Abstract algebra algebra stub ... more details
once. &fnof is Surjective function surjective There must be at least one &fnof N sub a sub ... to being injective and to being surjective therefore considering this condition would not add any ... injective functions N &rarr X when n x, and also to case s counting surjective ... to counting all case sx surjective functions N &rarr X up to permutations of X ... all case sn surjective functions N &rarr X up to permutations of N . Counting partitions of the number n into x parts is equivalent to counting all case snx surjective functions N ..., while requiring &fnof to be surjective means insisting that every box contain at least one ball. Counting ... an n multicombination or n combination with repetition. In these cases the requirement of a surjective ... &fnof to be surjective means the number of groups must be exactly x . Without this requirement ... notion of a partition number theory partition of the number n , into exactly x for surjective ... center border 1 Enumeration formulas for the twelvefold way Any f Injective f Surjective f Distinct ... n n . math anchor case sn Surjective functions from N to X , up to a permutation of N This case ... is math binom n 1 n x binom n 1 x 1 . math Note that when n < x there are no surjective .... The form of the result suggests looking for a manner to associate a class of surjective functions ... a suitable permutation of N , every surjective function nowrap N X can be transformed into a unique weakly increasing and of course still surjective function. If one connects the elements of N in order ... elements of X , one obtains a weakly increasing surjective function nowrap N X also the sizes of the connected ... n leq x math . anchor case sx Surjective functions from N to X , up to a permutation of X This case ... equivalence relation s on N with exactly x classes . Indeed for any surjective function nowrap f N ... into a surjective function by assigning the elements of X in some manner to the x equivalence ... more details
Encyclopedia
top
