Demonstrating set properties of a map

AI Thread Summary
The discussion centers on demonstrating the property that if A1 is a subset of A2, then the image of A1 under a map f is a subset of the image of A2. The initial attempts at proof involve assumptions about unions and mappings but lack rigorous verification. Participants emphasize the need to return to foundational definitions of set mapping and subset relationships. Clarification is sought on the definitions of f(A) and the implications of subset assertions. The conversation highlights the importance of a structured approach to proving properties of functions.
Baris Kalfa
Messages
8
Reaction score
0
Hello, could you please help me regarding this question about a certain map (application).

Homework Statement


Demonstrate if A1 ⊂ A2 →ƒ(A1) ⊂ ƒ(A2)

2. Homework Equations

ƒ:A→B is a map
A1, A2⊂ A

The Attempt at a Solution


first assumed that (A1∪A2)⊆A
⇒ (ƒ(A1) ∪ ƒ(A2))⊆ ƒ(A)
then if A1 ⊂ A2
∴ ƒ(A1) ⊂ ƒ(A1)

I don't know if this demonstration is satisfying enough. I'm missing something related to properties of a function.
 
Physics news on Phys.org
I have also tried it this way,
I have assumed that
ƒ(A1⊂ A2) = ƒ(A1) ⊂ ƒ(A2)
∴A1⊂ A2→ƒ(A1⊂A2)
Thus, A1⊂ A2→ƒ(A1)⊂ƒ(A2)

This one looks better, doesn't it?
 
Baris Kalfa said:
Hello, could you please help me regarding this question about a certain map (application).

Homework Statement


Demonstrate if A1 ⊂ A2 →ƒ(A1) ⊂ ƒ(A2)

2. Homework Equations

ƒ:A→B is a map
A1, A2⊂ A

The Attempt at a Solution


first assumed that (A1∪A2)⊆A
⇒ (ƒ(A1) ∪ ƒ(A2))⊆ ƒ(A)
then if A1 ⊂ A2
∴ ƒ(A1) ⊂ ƒ(A1)

I don't know if this demonstration is satisfying enough. I'm missing something related to properties of a function.

None of you "proofs" is anything of the kind (unless you are citing some results in your textbook or course notes that have already established the relationships you are using). As far as I can see you have just written down some relationships without any verification whatsoever.

Go back to the basics: (i) for a set ##A## and a function ##f##, what is the definition of ##f(A)?## (ii) for two sets ##A_1, A_2##, what is meant by the assertions ##A_1 \subset A_2## or ##f(A_1) \subset f(A_2)?## You need to look at individual elements ##f(x)## for ##x \in A.##
 
I picked up this problem from the Schaum's series book titled "College Mathematics" by Ayres/Schmidt. It is a solved problem in the book. But what surprised me was that the solution to this problem was given in one line without any explanation. I could, therefore, not understand how the given one-line solution was reached. The one-line solution in the book says: The equation is ##x \cos{\omega} +y \sin{\omega} - 5 = 0##, ##\omega## being the parameter. From my side, the only thing I could...
Back
Top