Aufgabe: Sei: $$f: X \to Y$$ eine invertierbare Abb. Sei $$h :Y \to X$$ die inverse Abb. zu f. Zeige $$Id_x \circ h = h$$
Problem/Ansatz:
Problem:
Ich kann nachvollziehen, dass $$id_x \circ h =h $$ sein muss, aber ich weiß nicht wie es sauber bzw. gut beweisen kann.
Ansatz:
$$Id_x \circ h = Id_x (h(y))$$ h(y) ist ein x in X
$$= Id_x(x) = x = h(y) =h$$
Ist das so richtig bzw wo ist was falsch?