Mathematical Reasoning and Writing:

Click For Summary
SUMMARY

The discussion focuses on proving the mathematical statement that if \( U \subseteq V \), then \( f^{-1}(U) \subseteq f^{-1}(V) \) for a function \( f: A \to B \). The proof involves demonstrating that if \( x \in f^{-1}(U) \), then \( f(x) \in U \) implies \( f(x) \in V \) due to the subset relationship. The clarification emphasizes the correct use of notation, specifically distinguishing between \( \in \) and \( \subseteq \), which is crucial for accurate mathematical writing.

PREREQUISITES
  • Understanding of functions and mappings in set theory
  • Familiarity with the concept of preimages in mathematics
  • Knowledge of set notation, specifically \( \subseteq \) and \( \in \)
  • Basic skills in mathematical proof writing
NEXT STEPS
  • Study the properties of functions and their inverses in set theory
  • Learn about the implications of subset relationships in mathematical proofs
  • Practice writing clear mathematical proofs with correct notation
  • Explore advanced topics in set theory, such as cardinality and bijections
USEFUL FOR

Students of mathematics, educators teaching mathematical reasoning, and anyone interested in improving their mathematical writing and proof skills.

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!
 

Similar threads

Replies
1
Views
2K
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
20
Views
5K
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K