En matemáticas , una jerarquía es un objeto teórico de conjuntos , que consta de un preorden definido en un conjunto . A esto se le suele denominar conjunto ordenado , aunque es un término ambiguo que muchos autores reservan para conjuntos parcialmente ordenados o conjuntos totalmente ordenados . El término conjunto reservado es inequívoco y siempre es sinónimo de jerarquía matemática. El término jerarquía se utiliza para enfatizar una relación jerárquica entre los elementos.
A veces, un conjunto viene equipado con una estructura jerárquica natural. Por ejemplo, el conjunto de números naturales N está equipado con una estructura de preorden natural, donde siempre podemos encontrar algún otro número de modo que . Es decir, es más grande que solo porque podemos llegar usando . Esta idea se puede aplicar a cualquier monoide conmutativo . Por otro lado, el conjunto de números enteros Z requiere un argumento más sofisticado para su estructura jerárquica, ya que siempre podemos resolver la ecuación escribiendo . [ cita necesaria ]
Una jerarquía matemática (un conjunto preordenado) no debe confundirse con el concepto más general de jerarquía en el ámbito social, particularmente cuando se construyen modelos computacionales que se utilizan para describir sistemas sociales, económicos o políticos del mundo real. Estas jerarquías, o redes complejas , son demasiado ricas para ser descritas en la categoría Conjunto de conjuntos. [1] Esto no es sólo una afirmación pedante; También existen jerarquías matemáticas, en el sentido general, que no se pueden describir mediante la teoría de conjuntos. [ cita necesaria ]
Otras jerarquías naturales surgen en la informática , donde la palabra se refiere a conjuntos parcialmente ordenados cuyos elementos son clases de objetos de complejidad creciente . En ese caso, el preorden que define la jerarquía es la relación clase-contención. Las jerarquías de contención son, por tanto, casos especiales de jerarquías.
Los elementos individuales de una jerarquía a menudo se denominan niveles y se dice que una jerarquía es infinita si tiene infinitos niveles distintos, pero se dice que colapsa si solo tiene un número finito de niveles distintos.
En informática teórica , la jerarquía temporal es una clasificación de problemas de decisión según la cantidad de tiempo necesario para resolverlos.
Temas relacionados con árboles:
Jerarquías de complejidad efectivas :
Jerarquías de complejidad ineficaces:
En teoría de conjuntos o lógica:
