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