Diferenças
Aqui você vê as diferenças entre duas revisões dessa página.
| Ambos lados da revisão anterior Revisão anterior | |||
| grafos:decomposicaoemarv [2024/05/03 10:04] – maugsia | grafos:decomposicaoemarv [2024/05/03 16:48] (atual) – maugsia | ||
|---|---|---|---|
| Linha 21: | Linha 21: | ||
| Considere \(G\) grafo, \(\sigma\) ordinal e \(\mathcal{F} = (G_\lambda)_{\lambda < \sigma}\) uma família de subgrafos induzidos de \(G\): | Considere \(G\) grafo, \(\sigma\) ordinal e \(\mathcal{F} = (G_\lambda)_{\lambda < \sigma}\) uma família de subgrafos induzidos de \(G\): | ||
| - | \(\text{a}_{1.5}\)) \(\bigcup G_\lambda = V(G)\) | + | \(\text{a}_{1.5}\)) \(\bigcup G_\lambda = G\) |
| \(\text{b}_{1.5}\)) Para todo \(\tau\) tal que \(0 < \tau < \sigma\) existe um menor \(\tau^- < \tau \) tal que \(S_{\tau} = (\bigcup_{\lambda < \tau} G_\lambda) \cap G_\tau\) esta contido em \(G_{\tau^-}\) | \(\text{b}_{1.5}\)) Para todo \(\tau\) tal que \(0 < \tau < \sigma\) existe um menor \(\tau^- < \tau \) tal que \(S_{\tau} = (\bigcup_{\lambda < \tau} G_\lambda) \cap G_\tau\) esta contido em \(G_{\tau^-}\) | ||