fbpx
Wikipedia

Categoría de espacios métricos


La categoría Met tiene los espacios métricos como objetos y funciones cortas como morfismos. Esto es una categoría porque la composición de funciones cortas es corta. Los monomorfismos en Met son las funciones cortas inyectivas, los epimorfismos son las funciones cortas con imagen densa (por ejemplo, la inclusión: , que es claramente mono, así que Met no es una categoría balanceada), y los isomorfismos son isometrias. El conjunto vacío (considerado como un espacio métrico) es objeto inicial de Met; cualesquiera el espacio métrico del singletón es un objeto terminal. No hay, por tanto, ningún objeto cero en Met.

El producto Met viene dado por la mezcla con métrica del supremo en producto cartesiano. No hay coproducto. Tenemos un funtor de "olvido" que asigna a cada espacio métrico el conjunto subyacente, y a cada función corta la subyacente función. Este funtor es fiel, y por lo tanto Met es una categoría concreta.

  • Datos: Q5051850

categoría, espacios, métricos, categoría, tiene, espacios, métricos, como, objetos, funciones, cortas, como, morfismos, esto, categoría, porque, composición, funciones, cortas, corta, monomorfismos, funciones, cortas, inyectivas, epimorfismos, funciones, corta. La categoria Met tiene los espacios metricos como objetos y funciones cortas como morfismos Esto es una categoria porque la composicion de funciones cortas es corta Los monomorfismos en Met son las funciones cortas inyectivas los epimorfismos son las funciones cortas con imagen densa por ejemplo la inclusion Q R displaystyle mathbb Q subset mathbb R que es claramente mono asi que Met no es una categoria balanceada y los isomorfismos son isometrias El conjunto vacio considerado como un espacio metrico es objeto inicial de Met cualesquiera el espacio metrico del singleton es un objeto terminal No hay por tanto ningun objeto cero en Met El producto Met viene dado por la mezcla con metrica del supremo en producto cartesiano No hay coproducto Tenemos un funtor de olvido que asigna a cada espacio metrico el conjunto subyacente y a cada funcion corta la subyacente funcion Este funtor es fiel y por lo tanto Met es una categoria concreta Datos Q5051850 Obtenido de https es wikipedia org w index php title Categoria de espacios metricos amp oldid 120188616, wikipedia, wiki, leyendo, leer, libro, biblioteca,

español

, española, descargar, gratis, descargar gratis, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, imagen, música, canción, película, libro, juego, juegos