To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
Spanish Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Inyección canónica

De Wikipedia, la enciclopedia libre

A es un subconjunto de B, y B es un superconjunto de A.
A es un subconjunto de B, y B es un superconjunto de A.

En álgebra abstracta, si es un subconjunto de , entonces la inyección canónica (también conocida como función de inclusión, o mapa de inclusión) es la función que envía a cada elemento de a , tratado como un elemento de :

A menudo se utiliza la «flecha enganchada» en lugar de la flecha de la función de arriba para denotar una inyección canónica.

Esta y otras funciones inyectivas de subestructuras se llaman a veces inyecciones naturales.

Dado cualquier morfismo entre objetos X e Y, si hay una inyección canónica sobre el dominio , entonces se puede formar la restricción fi de f. En muchos casos, también se puede construir una inclusión canónica sobre el codominio RY conocido como el rango de f.

Aplicaciones de inyecciones canónicas

Las inyecciones canónicas tienden a ser homomorfismos de estructuras algebraicas; así, tales inyecciones canónicas son encajes. Concretamente, dada una subestructura cerrada bajo algunas operaciones, la inyección canónica será un encaje por razones tautológicas, dada la propia definición por restricción de lo que se comprueba. Por ejemplo, para una operación binaria , con el requisito que

es sencillo comprobar que es consistentemente computado en la subestructura y en la estructura amplia. El caso de una operación unaria es similar; pero también se debe mirar en operaciones nularia, la cual escoge un elemento constante. Aquí, la clave es que tales constantes deben ser miembros de la subestructura.

Las inyecciones canónicas se presentan en topología algebraica donde A es una retracción fuerte de X, así, producen un isomorfismo entre todos los grupos de homotopía (p.e. es una equivalencia homotópica).

Las inyecciones canónicas en geometría toman diferentes sentidos: por ejemplo encajes de subvariedades. Objetos contravariantes tales como formas diferenciales restringidas a subvariedades, proporcionan un mapeo en la otra dirección. Otro ejemplo, más sofisticado, es el de esquemas afines, por lo que las inclusiones

Spec(R/I)Spec(R)

y

Spec(R/I2)Spec(R)

pueden ser morfismos diferentes, donde R es un anillo conmutativo e I un ideal.

Véase también

Enlaces externos


Esta página se editó por última vez el 9 oct 2019 a las 17:15.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.