Loading [MathJax]/jax/output/CommonHTML/fonts/TeX/fontdata.js
ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4755 on D529: Map inverse image
Inverse image of a reflected real set
Formulation 0
Let f:XR be a D4364: Real function such that
(i) BR is a D78: Subset of R
Then f1(B)=(f)1(B)
Subresults
R4756
Proofs
Proof 0
Let f:XR be a D4364: Real function such that
(i) BR is a D78: Subset of R
We have f1(B)={xX:f(x)B}={xX:f(x){b:bB}}={xX:f(x){b:bB}}={xX:bB such that f(x)=b}={xX:bB such that f(x)=b}={xX:f(x)B}=(f)1(B)