Diagrama de Hasse

Elementos de P( P( P( P( {})))) en Diagrama de Hasse.

En matemáticas, un diagrama de Hasse es una representación gráfica simplificada de un conjunto parcialmente ordenado finito. Esto se consigue eliminando información redundante. Para ello se dibuja una arista ascendente entre dos elementos solo si uno sigue a otro sin haber otros elementos intermedios.

En un diagrama de Hasse se elimina la necesidad de representar:

  • ciclos de un elemento, puesto que se entiende que una relación de orden parcial es reflexiva.
  • aristas que se deducen de la transitividad de la relación.

Definición

  • De dos miembros x e y de un conjunto parcialmente ordenado S que «y sigue a x» si xy y no hay elemento de S entre x e y.

El orden parcial es entonces precisamente la clausura transitiva de la relación de seguir.

  • El diagrama de Hasse de S se define como el conjunto de todos los pares ordenados (x, y) tales que y sigue a x, es decir, el diagrama de Hasse se puede identificar con la relación de seguir.
Other Languages
čeština: Hasseův diagram
English: Hasse diagram
日本語: ハッセ図
한국어: 하세 도형
Nederlands: Hasse-diagram
português: Diagrama de Hasse
svenska: Hassediagram
українська: Діаграма Гассе
中文: 哈斯圖