Categoría de espacios métricos

Categoría de espacios métricos

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: \mathbb{Q}\sub\mathbb{R}, 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.

Obtenido de "Categor%C3%ADa de espacios m%C3%A9tricos"

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • 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… …   Enciclopedia Universal

  • Estructura trivial — Saltar a navegación, búsqueda En topología y campos relacionados de las matemáticas, se tienen situaciones extremales, tradicionalmente subsumidas en el concepto de conjunto. Un espacio (indiscreto) discreto es un ejemplo particularmente simple… …   Wikipedia Español

  • Lista de tópicos en teoría de las categorías — Anexo:Lista de tópicos en teoría de las categorías Saltar a navegación, búsqueda Plantilla:Listas Esto es una lista de tópicos en Teoría de categorías. Contenido 1 Categorías concretas 2 Objetos 3 Morfismos …   Wikipedia Español

  • Anexo:Glosario de teoría de categorías — Esto es una lista de tópicos en Teoría de categorías. Contenido 1 Categorías concretas 2 Objetos 3 Morfismos 4 Funtores …   Wikipedia Español

  • Espacio métrico — Saltar a navegación, búsqueda En matemática, un espacio métrico es un tipo particular de espacio topológico donde una distancia entre puntos está definida. Corresponde al caso muy común en que se dispone de una noción de distancia sobre el… …   Wikipedia Español

  • Topología — Para otros usos de este término, véase Topología (desambiguación). Ilustración del Teor …   Wikipedia Español

  • Conjunto abierto — En topología y los temas relacionados de las matemáticas, un conjunto U se llama abierto si, intuitivamente hablando, se puede menear o cambiar cualquier punto x en U en una cantidad pequeña en cualquier dirección y todavía permanecer interior a… …   Wikipedia Español

  • Teoría de categorías — En este artículo se detectaron los siguientes problemas: Necesita ser wikificado conforme a las convenciones de estilo de Wikipedia. Podría ser difícil de entender para lectores interesados en el tema. Por favor …   Wikipedia Español

  • Glosario de topología — Anexo:Glosario de topología Saltar a navegación, búsqueda Esto es un glosario de algunos términos que se usan en la rama de la matemática conocida como topología. Este glosario estará centrado fundamentalmente en lo que podemos llamar la… …   Wikipedia Español

  • Anexo:Glosario de topología — Esto es un glosario de algunos términos que se usan en la rama de la matemática conocida como topología. Este glosario estará centrado fundamentalmente en lo que podemos llamar la topología general y en las definiciones que sean importantes para… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”