Definición homomorfismo

[gaspargc]

Hola! Tengo la duda de si es que en la definición de homomorfismo. ¿Cuando dice "si {u, v} ∈ E1, entonces {h(u), h(v)} ∈ E2" se refiere a que {u, v} es un conjunto de dos aristas o se refiere a el par ordenado (u, v) como una arista? Gracias!

[Anton-Little]

Bien ahí.

Asumo que ya que siempre vamos a trabajar con grafos no dirigidos, se les ocurrío su:

(a, b) ^ (b, a) = {a, b} = {b, a} en las aristas.

Creo que {1, 3} ∈ Naturales, evalua falso, así que asumo que no quieren decir {(a,b), (c,d)} ∈ aristas, lo que si quieren decir probablemente es si (u, v) ∈ E1 entonces (h(u), h(v)) ∈ E2. Esto además queda respaldado con que h: V1 -> V2 se mueve entre los vertices.

Le escribiré a un ayudante y te cuento que me responden xd.

[seba-bug]

Hola En grafos no dirigidos (como son los grafos en el ramo salvo que se especifique lo contrario), las aristas son conjuntos de dos vértices. Entonces, la notación $\{u,v\}\in E$ se refiere a que la arista que une $u$ con $v$ está en $E$. ¿Se entiende?

[gaspargc]

Se entiende. Gracias!