Comportamientos extraños del infinito: Gráficas Infinitas

TL;DR

Este artículo explora comportamientos de la combinatoria infinita en teoría de gráficas, contrastándolos con el caso finito a través de ejemplos y conceptos clave. Emplea herramientas de teoría de conjuntos y lógica (AC, teoremas de elección, compactación de Tychonoff) para trasladar ideas finitas al infinito y analiza estructuras como árboles generadores, coloraciones y emparejamientos. Destacan resultados centrales como Erdős–de Bruijn para coloración, extensiones infinitas de Hall y König, y criterios de Aharoni–Berger para emparejamientos perfectos, ilustrando principios de continuidad y novedad en el infinito. En conjunto, el trabajo subraya que muchas verdades finitas se conservan, pero requieren formulaciones y pruebas adaptadas al marco infinito con herramientas de orden superior.

Abstract

Infinitary Combinatorics shows interesting contrasts, with many similarities but also several important differences with its finite analog. The purpose of this paper is to present some concrete examples, both of similarities and of radical differences, in order to provide some intuition about the behaviour of infinity in the combinatorial setting. Our examples are taken from the branch of mathematics known as Graph Theory. -- La combinatoria infinita (temática que, a raíz del trabajo de Cantor, actualmente es posible estudiar de manera completamente formal) nos presenta un interesante contraste de semejanzas y diferencias con su análogo finito. El propósito de este artículo es presentar algunos ejemplos concretos tanto de semejanzas, como de diferencias radicales, para proporcionar cierta intuición acerca del comportamiento del infinito en el ámbito combinatorio. Nuestros ejemplos son tomados de la rama de las matemáticas conocida como Teoría de Gráficas.

Figures (4)

• Figure 1: El camino infinito en una dirección.
• Figure 2: El árbol generador $T_A$ de $K_\lambda$, para un subconjunto $A\subseteq V'=V\setminus\{v_0,v_1\}$.
• Figure 3: Una gráfica bipartita que satisface el criterio del teorema de Hall pero no admite emparejamientos que emparejen a todos los vértices $x_n$. Al vértice $x_0$, que es susceptible de emparejarse con cualquiera de los $y_n$, se le conoce como el playboy.
• Figure 4: Una gráfica conexa sin árboles generadores (en el mundo sin el axioma de elección).