Jak przeczytac taki zapis rsa: G=(V,E) G'=(V',E') sa izomorficzne gdy istnieje bijekcja f: V→V' taka, że f(E)=E' V−zbiór wierzchołków grafu E−zbiór krawędzi grafu jak przeczytać →, f(E), f: V→V'

jc: Zwyczajnie. ... istnieje bijekcja f przekształcająca V na V' taka, że ... ... istnieje bijekcja f odwzorowująca V na V' taka, że ... ... istnieje bijekcja f z V na V' taka, że ...

Pytający: Swoją drogą czy ten zapis: f: V→V' taka, że f(E)=E' ma w ogóle sens? Przecież E jest zbiorem par o elementach z V, więc raczej E⊄V i E' ⊄V'.

jc: (a,b) ∊ E ⇔ (f(a),f(b)) ∊ E' Lepiej?

Pytający: Lepiej, poniekąd. Dla grafu skierowanego to na pewno dobry zapis. Jednak nie pytałem, jak zapisać poprawnie, tylko czy tamten zapis jest poprawny? Czy przyjęło się tak skrótowo pisać, czy to jednak błąd/niedopatrzenie? Bo formalnie tamten zapis jest chyba bezsensowny, prawda?

jc: Formalnie zapis niepoprawny, chyba że umówimy się, że f(a,b)=(f(a),f(b)).

Pytający: Tak też myślałem, dzięki. Treść wygląda jak notatka z jakiegoś wykładu, stąd moja niepewność.