0% encontró este documento útil (0 votos)
49 vistas1 página

Tarea 6

Descargar como pdf o txt
Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1/ 1

Combinatoria Enumerativa Universidad de Córdoba

s0 l s1 l · · · l sk Facultad de Ciencias Básicas


Tarea # 6 Depto. de Matemáticas y Estadística

Ejercicio 1. (Función rango-generadora de D n ) Demostrar que la función rango-generadora del


poset D n de divisores positivos del entero positivo n > 1 está dada por

F (D n , x) = [a 1 + 1]x [a 2 + 1]x · · · [a k + 1]x ,


a a a
donde n = p 1 1 p 2 2 · · · p k k es la descomposición canónica de n como producto de primos.

Ejercicio 2. (Diagrama de Hasse) Realizar el diagrama de Hasse de los posets [3] × B 2 , D 12 × B 2 y


D 12 ⊗ B 2 .

Ejercicio 3. (Número de cadenas de longitud 1) Para un poset finito P y un entero positivo k, sea
c(P, k) es número de cadenas en P de longitud k.

(a) Para todo n ≥ 1, mostrar que à !


n−1
X n ³ n−i ´
c(B n , 1) = · 2 −1 .
i =0 i

(b) Para cada n ≥ 1, mostrar que


τ(d ).
X
c(D n , 1) =
d |n
d <n

Ejercicio 4. (Recurrencia para anticadenas) Para un poset finito P y un entero positivo k, sea
a(P, k) el número de anticadenas en P con k elementos. Para todo n ≥ 1, probar la fórmula de recurrencia

a(B n+1 , 2) = 4a(B n , 2) + c(B n , 1)

Ejercicio 5. (Función rango-generadora de P ×Q ) Sean P y Q posets finitos graduados. Demostrar


que P ×Q es graduado y
F (P ×Q, x) = F (P, x) · F (Q, x).

Ejercicio 6. (Propiedades distributivas en un retículo) Sea L un retículo. Probar que las


siguientes son equivalentes:

(a) x ∨ (y ∧ z) = (x ∨ y) ∧ (x ∨ z) para todo x, y, z ∈ L.

(b) x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z) para todo x, y, z ∈ L.

También podría gustarte