19.9: Ejercicios de salvia

1

Usa R = posets.RandomPoSet (30,0.05) para construir un poset aleatorio. Usa R.plot () para hacerte una idea de lo que has construido.

1. Ilustrar el uso de los métodos poset: .is_lequal (), .is_less_than (), .is_gequal () y .is_greater_than () para determinar si dos elementos específicos (de su elección) están relacionados o incomparables.
2. Usa .minimal_elements () y .maximal_elements () para encontrar los elementos más pequeños y más grandes de tu poset.
3. Utilice LatticEpoSet (R) para ver si el poset R es una celosía al intentar convertirlo en una celosía.
4. Encuentra una extensión lineal de tu poset. Confirme que cualquier par de elementos que sean comparables en el poset será igualmente comparable en la extensión lineal.

2

Construir el poset sobre los divisores positivos de\(72=2^3\cdot 3^2\) con la divisiblidad como la relación, y luego convertirlo en una celosía.

1. Determine el elemento uno y cero usando .top () y .bottom ().
2. Determine todos los pares de elementos de la celosía que son complementos entre sí sin usar el método .complemento (), sino simplemente usar los métodos .meet () y .join (). Crédito extra si puedes generar cada par solo una vez.
3. Determine si la red es distributiva usando solo los métodos .meet () y .join (), y no el método .is_distributive ().

3

Construir varias celosías de diamante específicas con posets.DiamondPoset (n) variando el valor de n. Una vez que sientas que tienes suficiente evidencia empírica, da respuestas, con justificaciones, a las siguientes preguntas para valores generales de\(n\text{,}\) basados en observaciones obtenidas de tus experimentos con Sage.

1. ¿Qué elementos tienen complementos y cuáles no, y por qué?
2. Lee la documentación del método.antichains () para saber qué es una anticadena. ¿Cuántas anticadena hay?
3. ¿La celosía es distributiva?

4

Utilice Posets.BooleanLattice (4) para construir una instancia del álgebra booleana prototípica en\(16\) elementos (es decir, todos los subconjuntos de un\(4\) -set).

Luego usa posets.IntegerComposiciones (5) para construir el poset cuyos\(16\) elementos son las composiciones del entero\(5\text{.}\) Hemos visto anteriormente que la composición entera enrejada es distributiva y complementada, convirtiéndola en un álgebra booleana. Y por Teorema\(19.23\) podemos concluir que estas dos álgebras booleanas son isomórficas.

Utilice el método.plot () para ver la similitud visualmente. Luego usa el método .hasse_diagram () en cada poset para obtener una gráfica dirigida (que también puedes trazar, aunque la incrustación en el plano puede no ser tan informativa). Emplee el método graph .is_isomorphic () para ver que los dos diagramas de Hasse son realmente los “mismos”.

5

(Avanzado) Para la pregunta anterior, construir un isomorfismo explícito entre los dos álgebras booleanas. Esta sería una función biyectiva (construida con el comando def) que convierte las composiciones en conjuntos (o si, eliges, sets en composiciones) y que respeta las operaciones meet y join. Puedes probar e ilustrar tu función por su interacción con elementos específicos evaluados en las operaciones meet and join, como se describe en la definición de un isomorfismo de álgebras booleanas.