Mathematical Reasoning and Writing:

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 2K views
mliuzzolino
Messages
58
Reaction score
0

Homework Statement



Let f : A → B be a function and let S, T [itex]\subseteq[/itex] A and U, V [itex]\subseteq[/itex] B:

Prove that if U [itex]\subseteq[/itex] V; then f-1(U) [itex]\subseteq[/itex] f-1(V):

Homework Equations



Preimage: f-1(U) = {x [itex]\in[/itex] f-1(U) [itex]\ni[/itex] f(x) [itex]\subseteq[/itex] U}

The Attempt at a Solution



Assume U [itex]\subseteq[/itex] V.

Let x [itex]\in[/itex] f-1(U), then f(x) = y [itex]\subseteq[/itex] U.

Since U [itex]\subseteq[/itex] V and y [itex]\in[/itex] U, then y [itex]\in[/itex] V.

Then by f-1(V), for y [itex]\in[/itex] V, x [itex]\subseteq[/itex] f-1(V).

Therefore, f-1(U) [itex]\subseteq[/itex] f-1(V).

Q.E.D.
 
Physics news on Phys.org
mliuzzolino said:

The Attempt at a Solution



Assume U [itex]\subseteq[/itex] V.

Let x [itex]\in[/itex] f-1(U), then f(x) = y [itex]\subseteq[/itex] U.
Should be ##f(x) = y \in U##.

Since U [itex]\subseteq[/itex] V and y [itex]\in[/itex] U, then y [itex]\in[/itex] V.
Yes.

Then by f-1(V), for y [itex]\in[/itex] V, x [itex]\subseteq[/itex] f-1(V).
Right idea, but stated poorly. It is not clear what the words "by" and "for" are attempting to convey here. And again you used ##\subseteq## when you should have used ##\in##.

Here is a clearer and simpler statement: ##y = f(x) \in V##, so ##x \in f^{-1}(V)##.

Therefore, f-1(U) [itex]\subseteq[/itex] f-1(V).
Correct.
 
jbunniii said:
Should be ##f(x) = y \in U##.


Yes.


Right idea, but stated poorly. It is not clear what the words "by" and "for" are attempting to convey here. And again you used ##\subseteq## when you should have used ##\in##.

Here is a clearer and simpler statement: ##y = f(x) \in V##, so ##x \in f^{-1}(V)##.


Correct.

The part you clarified was the part I was really struggling with. Thanks a lot!