IIC1253 / IIC1253-2024-1

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Definición homomorfismo

gaspargc opened this issue · comments

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!

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.

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?

Se entiende. Gracias!