Diferenças
Aqui você vê as diferenças entre duas revisões dessa página.
| Ambos lados da revisão anterior Revisão anterior Próxima revisão | Revisão anterior | ||
| grafos:incorp [2023/04/20 14:05] – edição externa 127.0.0.1 | grafos:incorp [2023/08/02 14:13] (atual) – edição externa 127.0.0.1 | ||
|---|---|---|---|
| Linha 1: | Linha 1: | ||
| ==== Incorporações planares e Teorema de Whitney ==== | ==== Incorporações planares e Teorema de Whitney ==== | ||
| - | Uma **imersão (incorporação)** no plano, ou **imersão planar**, de um grafo (abstrato) $G$ é um iso$\pi ^{-1}(x)$morfismo | + | Uma **imersão (incorporação)** no plano, ou **imersão planar**, de um grafo (abstrato) $G$ é um $\pi ^{-1}(x)$-isomorfismo |
| Como devemos medir a semelhança de duas incorporações $\rho : G \to H$ e $\rho ': G \to H'$ de um grafo planar $G$? Uma maneira óbvia de fazer isso é considerar o isomorfismo canônico $\sigma := \rho ' \circ \rho ^{-1}$ entre $H$ e $H'$ como grafos abstratos e perguntar quanto de sua posição no plano esse isomorfismo respeita ou preserva. Por exemplo, se $\sigma$ é induzido por uma simples rotação do plano, dificilmente deveríamos considerar $\rho$ e $\rho '$ como maneiras genuinamente diferentes de desenhar $G$. | Como devemos medir a semelhança de duas incorporações $\rho : G \to H$ e $\rho ': G \to H'$ de um grafo planar $G$? Uma maneira óbvia de fazer isso é considerar o isomorfismo canônico $\sigma := \rho ' \circ \rho ^{-1}$ entre $H$ e $H'$ como grafos abstratos e perguntar quanto de sua posição no plano esse isomorfismo respeita ou preserva. Por exemplo, se $\sigma$ é induzido por uma simples rotação do plano, dificilmente deveríamos considerar $\rho$ e $\rho '$ como maneiras genuinamente diferentes de desenhar $G$. | ||
| Linha 83: | Linha 83: | ||
| <WRAP round info> | <WRAP round info> | ||
| === Referências === | === Referências === | ||
| - | * Reinhard Diestel. [[https:// | + | * Reinhard Diestel. [[https:// |
| </ | </ | ||