Fáry del teorema es un (bastante conocido) declaración en la que afirma que cada finito simple plano gráfico se pueden extraer de una manera tal que cada arista es representado por un segmento de línea recta.
¿Este teorema se extienden a countably infinito gráficos?
Un estándar de prueba de este teorema se procede por inducción sobre el número de vértices, y por lo tanto es unapplicable aquí. Sospecho que la respuesta es no, pero no puedo pensar de un contraejemplo.
Gracias de antemano.