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.
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

Diagrama conmutativo

De Wikipedia, la enciclopedia libre

En matemática, y especialmente en teoría de categorías, un diagrama conmutativo es un diagrama de objetos (también conocidos como vértices) y morfismos (también conocidos como flechas o aristas) tales que todas las rutas directas en el diagrama con los mismos puntos finales y mismo comienzo conducen al mismo resultado por composición. Los diagramas conmutativos desempeñan un papel fundamental en teoría de categorías al igual que las ecuaciones lo hacen en álgebra.

Nótese que un diagrama puede ser no conmutativo, por ejemplo la composición de diferentes rutas en el diagrama puede no dar el mismo resultado. Para clarificar, frases como «este diagrama conmutativo» o «el diagrama conmuta» pueden ser usadas.

Ejemplos

En el siguiente diagrama se expresa el primer teorema de isomorfía, conmutativamente significa que :

First isomorphism theorem (plain).svg

A continuación se muestra un cuadrado conmutativo genérico, en el cual

Commutative square.svg

Símbolos

En los textos de álgebra, el tipo de morfismos puede ser denotado mediante el uso de diferentes flechas: monomorfismos con una , epimorfismos con una , e isomorfismos con una . La flecha a trazos típicamente representa la afirmación de que el morfismo indica que existe cada vez que el resto del esquema se cumple. Esto es bastante común que los textos a menudo no expliquen el significado de los diferentes tipos de flechas.

Verificación de conmutatividad

Conmutatividad da sentido a un polígono de cualquier número finito de caras (incluso únicamente 1 o 2), y un diagrama es conmutativo si cada subdiagrama poligonal es conmutativo.

Persecución de diagramas

La persecución o cacería de diagramas es un método de demostración matemática usado sobre todo en álgebra homológica. Dado un diagrama conmutativo, una demostración mediante persecución de diagramas implica el uso formal de las propiedades del diagrama, tales como los mapas injectivos o suprayectivos, o sucesiones exactas. Se construye un silogismo, para el cual se usa la representación gráfica del diagrama sólo como ayuda visual. De aquí se deduce que uno termina por "cazar" o "atrapar" elementos en torno al diagrama, hasta que el elemento o resultado deseado se verifica o se demuestra constructivamente.

Algunos ejemplos de demostración mediante cacería de diagramas son aquellas que usan el lema de los cinco, el lema de la serpiente, el lema zig-zag, y el lema de los nueve.

Diagramas como funtores

Un diagrama conmutativo en una categoría C puede ser interpretado como un functor de una categoría indexada J en C; uno llama a ese functor diagrama.

Más formalmente, un diagrama conmutativo es una visualización de un diagrama indexado por una categoría poset:

  • Se dibuja un nodo para cada objeto en la categoría indexada,
  • Una flecha para la generación del conjunto de morfismos,
    omitiendo la identidad de mapas y morfismos que puede ser expresados mediante composiciones,
  • y la conmutatividad del diagrama (la igualdad de diferentes composiciones de mapas entre dos objetos) corresponde a la unicidad de un mapa entre dos objetos en una categoría poset.

Al contrario, dado un diagrama conmutativo, éste define una categoría poset:

  • los objetos son los nodos,
  • hay un morfismo entre dos objetos cualesquiera si y sólo si existe un camino (directo) entre los nodos,
  • con la relación de que este morfismo es único (cualquier composición de mapas se define por su dominio y destino: este es el axioma de conmutatividad).

Sin embargo, no cada diagrama conmuta (la noción de diagrama estrictamente generaliza al diagrama conmutativo): más simplemente, el diagrama de un objeto simple con un endomorfismo (), o con dos flechas paralelas (; ), como el usado en la definición de ecualizador es necesario que no conmute. Además, los diagramas pueden ser un incómodos o imposibles de representar cuando el número de objetos y morfismos es grande (o incluso infinito).

Véase también

Enlaces externos

Esta página se editó por última vez el 25 may 2020 a las 18:38.
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.