dowód logika: Pokaż, że jeśli funkcja f : X → Y jest bijekcją, a g : Y → X jest funkcją do niej odwrotną, to f⁻¹[A] = g[A] dla każdego A ⊆ Y . (Tutaj symbol „f{−1}[A] "oznacza przeciwobraz zbioru A.) No więc weźmy niepusty zbiór A ⊆ Y. Skoro f jest bijekcją, to: (1) jest różnowartościowa, a więc dla różnych dwóch elementów x₀, x₁ ∊ X nie znajdziemy takiej wartości a₀, że f(x₁) = a₀ = f(x₀) (2) skoro jest "na", to f[X] = Y, a więc dla pewnego niepustego B ⊆ X mamy f[B] = A. Wobec tego g[A] = {b ∊ B: ∃_a∊A b = g(a)} = {g(a) ∊ B: a ∊ A}, ale g(a) = b, bo g jest funkcją odwrotną do f, a z kolei f(b) = a. Więc ostatecznie {g(a) ∊ B: a ∊ A} = {b ∊ B: a ∊ A} Teraz weźmy f⁻¹[A] = {b ∊ B: f(b) ∊ A}. Ale f(b) = a, więc ostatecznie {b ∊ B: f(b) ∊ A} = {b ∊ B: a ∊ A} Tak więc f⁻¹[A] = g[A]. Czy moje rozwiązanie jest poprawne? Ponadto, czy nie przesadziłem z zapisem {b ∊ B: a ∊ A}? Można tak zapisać zbiór?

logika: Podbijam