1

UNIVERSIDAD NACIONAL DE COLOMBIA

FACULTAD DE CIENCIAS
Departamento de Matemáticas
Semestre 02-2019
Nombre del trabajo: Ejercicio Criticos de Kleiner.
Curso de: TEMAS DE CONJUNTOS ORDENADOS
Profesor: Agustin Moreno Cañadas

Estudiante: José Fabian Beltrán J. 1023949008

Correo: jfbeltranj@unal.edu.co

Ejercicio Criticos de Kleiner

Probar que K4 y K5 tienen tipo de representación infinito:

+ Sea K4 = ( N, 4) uno de los posets crı́ticos de Kleiner. Se mostrará que su representación

es de tipo infinito, para ello se usará el algoritmo de diferenciación de Zavadskij y se uti-
lizará el hecho que que la representación del poset crı́tico de Kleiner K3 es de tipo infinito:
Se muestra usando un diagrama de Hasse el poset K4
8

2 4
6

K4 =

1 3 5

El algoritmo de diferenciación de Zavadskij se usará para a = 5 y b = 2 se tiene:

 2

2
7

aM = bM = C=
4

6
1 3

Puesto que 4 es incomparable con 2 y 5, (5, 2) resulta ser una pareja conveniente, luego

2 4+
6

0
K4 (5, 2) =

4−
1 5

En la figura anterior los puntos rojos representan el sub-poset

{1, 3 < 4− < 4+ , 6 < 7 < 8},
el cual corresponde a K3 = (1, 3, 3). Por la teoria se conoce que K3 es de tipo de repre-
0 0
sentación infinito, por tanto al estar contenido en K4 (5, 2) se concluye que K4 (5, 2) también
0
es de tipo de representación infinito. Por el corolario 8.7, | IndP | = | IndP(a,b) | + n, por lo
cual K4 es de tipo de representación infinito.
Ahora se toma K5 = (1, 2, 5) y la pareja (4, 3).
 3

8 8

7 7
3

K5 = =⇒ aM = bM = C=
6 6 1

3
5 5

1 2 4 4

Aplicando el algoritmo de diferenciación se tiene:

0
K5 (4, 3) =
3 1+
5

2 1− 4

0
Como K4 ⊂ K5 (4, 3) y K4 tiene tipo de representación infinita, luego razonando de igual
forma que el ejercicio anterior, se concluye que K5 , tiene tipo de representación infinito.