World Library  
Flag as Inappropriate
Email this Article

Inclusion map

Article Id: WHEBN0000492516
Reproduction Date:

Title: Inclusion map  
Author: World Heritage Encyclopedia
Language: English
Subject: Coproduct, Lie group, Submanifold, Inclusion, Lusternik–Schnirelmann category
Collection: Basic Concepts in Set Theory, Functions and Mappings
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Inclusion map

A is a subset of B, and B is a superset of A.

In mathematics, if A is a subset of B, then the inclusion map (also inclusion function, insertion, or canonical injection) [1] is the function \iota that sends each element, x of A to x, treated as an element of B:

\iota: A\rightarrow B, \qquad \iota(x)=x.

A "hooked arrow" \hookrightarrow is sometimes used in place of the function arrow above to denote an inclusion map.

This and other analogous injective functions [2] from substructures are sometimes called natural injections.

Given any morphism f between objects X and Y, if there is an inclusion map into the domain \iota : A\rightarrow X, then one can form the restriction fi of f. In many instances, one can also construct a canonical inclusion into the codomain RY known as the range of f.

Contents

  • Applications of inclusion maps 1
  • See also 2
  • Notes 3
  • References 4

Applications of inclusion maps

Inclusion maps tend to be homomorphisms of algebraic structures; thus, such inclusion maps are embeddings. More precisely, given a sub-structure closed under some operations, the inclusion map will be an embedding for tautological reasons. For example, for a binary operation \star, to require that

\iota(x\star y)=\iota(x)\star \iota(y)

is simply to say that \star is consistently computed in the sub-structure and the large structure. The case of a unary operation is similar; but one should also look at nullary operations, which pick out a constant element. Here the point is that closure means such constants must already be given in the substructure.

Inclusion maps are seen in algebraic topology where if A is a strong deformation retract of X, the inclusion map yields an isomorphism between all homotopy groups (i.e. is a homotopy equivalence)

Inclusion maps in geometry come in different kinds: for example embeddings of submanifolds. Contravariant objects such as differential forms restrict to submanifolds, giving a mapping in the other direction. Another example, more sophisticated, is that of affine schemes, for which the inclusions

Spec(R/I)Spec(R)

and

Spec(R/I2)Spec(R)

may be different morphisms, where R is a commutative ring and I an ideal.

See also

Notes

  1. ^ Mac Lane, S.; Birkhoff, G. (1967), Algebra , page 5
  2. ^ Chevalley, C. (1956), Fundamental Concepts of Algebra , page 1

References

  • Chevalley, C. (1956), Fundamental Concepts of Algebra, Academic Press, New York, .  
  • Mac Lane, S.; Birkhoff, G. (1967), Algebra, AMS Chelsea Publishing, Providence, Rhode Island, .  
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.