Solving Linear Copying Problems with Functions: Example using f, g, and h

  • Thread starter Thread starter Physicsissuef
  • Start date Start date
  • Tags Tags
    Linear
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
18 replies · 4K views
Physicsissuef
Messages
908
Reaction score
0

Homework Statement



Let's say that [tex]f: \mathbb {R}^3 \rightarrow \mathbb {R}^2[/tex], [tex]g: \mathbb {R}^3 \rightarrow \mathbb {R}^2[/tex], and [tex]h: \mathbb {R}^2 \rightarrow \mathbb {R}^2[/tex] are linear copying defined with [tex]f(x,y,z)=(y,x+z)[/tex], [tex]g(x,y,z)=(2z,x-y)[/tex] and [tex]h(x,y)=(y,2x)[/tex]. Find the linear copying:

h o f and h o g

Homework Equations





The Attempt at a Solution



Sorry, but again, I don't know the principle of solving this task. My book is not good at all. Thanks from the start.
 
Physics news on Phys.org
CompuChip said:
What does [itex]h \circ f[/itex] mean?
What is its domain and co-domain (e.g. what are A and B in [itex]h: A \to B[/itex])? How is it defined ([itex]h(\cdots)= \cdots[/itex] )?

probably h, f, g are the linear copying
 
I don't know what language you translated it from, but I think you mean "linear map" instead of "linear copying".
Also I think you are a little confused as to what [itex]h \circ f[/itex] means. f is a function that takes something in R3 and gives you something in R2. Into h you put something in R2 and get something (else) in R2 back. Now what you can do, is use the output of f as input for h. So
[tex]h \circ f: \mathbb{R}^3 \to \mathbb{R}^2[/tex]
is a function defined by
[tex](h \circ f)(x, y, z) = h(f(x, y, z))[/tex].
So to calculate (h o f)(x, y, z) you first calculate (u, v) = f(x, y, z) and then h(u, v).
Does that clarify ?
 
CompuChip said:
I don't know what language you translated it from, but I think you mean "linear map" instead of "linear copying".
Also I think you are a little confused as to what [itex]h \circ f[/itex] means. f is a function that takes something in R3 and gives you something in R2. Into h you put something in R2 and get something (else) in R2 back. Now what you can do, is use the output of f as input for h. So
[tex]h \circ f: \mathbb{R}^3 \to \mathbb{R}^2[/tex]
is a function defined by
[tex](h \circ f)(x, y, z) = h(f(x, y, z))[/tex].
So to calculate (h o f)(x, y, z) you first calculate (u, v) = f(x, y, z) and then h(u, v).
Does that clarify ?

Yes, sir, that's what it means. Sorry for my mistranslation.
 
CompuChip said:
I don't know what language you translated it from, but I think you mean "linear map" instead of "linear copying".
Also I think you are a little confused as to what [itex]h \circ f[/itex] means. f is a function that takes something in R3 and gives you something in R2. Into h you put something in R2 and get something (else) in R2 back. Now what you can do, is use the output of f as input for h. So
[tex]h \circ f: \mathbb{R}^3 \to \mathbb{R}^2[/tex]
is a function defined by
[tex](h \circ f)(x, y, z) = h(f(x, y, z))[/tex].
So to calculate (h o f)(x, y, z) you first calculate (u, v) = f(x, y, z) and then h(u, v).
Does that clarify ?

Physicsissuef said:
Yes, sir, that's what it means. Sorry for my mistranslation.

Okay, so do it! If h(u,v)= (v, 2u), and (u,v)= f(x,y,z)= (2z, x- y), what is [itex]h\circle f(x,y,z)[/itex]. What is [itex]f\circle g(u,v)[/itex]?
 
HallsofIvy said:
Okay, so do it! If h(u,v)= (v, 2u), and (u,v)= f(x,y,z)= (2z, x- y), what is [itex]h\circle f(x,y,z)[/itex]. What is [itex]f\circle g(u,v)[/itex]?

How do you know that (x,y)=f(x,y,z)=(2z,x-y)? I truly don't know what is [itex]h \circ f(x,y,z)[/tex] and [itex]f \circ g(u,v)[/itex][/itex]
 
Last edited:
Because that was what YOU told us:
physicsissuef said:
[tex]f(x,y,z)=(y,x+z)[/tex]
[itex]h\circ f(x,y,z)= h(f(x,y,z))= h(y, x+ z)[/itex]. If h is defined by h(a,b)= (b, 2a), what is h(y, x+z).
 
Can you tell me just this, please, there is one line more, I guess. Thanks.
Probably [itex]h(y, x+ z)=(b,2a)[/itex]
But, what next?
 
Last edited:
f(3)=2*3+3
f(a)=2a + 3
f(y+1)=2(y+1)+3

No, I don't have troubles with basic calculations.
 
HallsofIvy said:
If h is defined by h(a,b)= (b, 2a), what is h(y, x+z).

Well, this is exactly the same, but there are just two values to substitute. So
h(y, x + z) is just (b, 2a) with a = y, b = x + z, i.e. h(y, x + z) = (x + z, 2y).
 
But it should be h(y, x+z) and (y,2x), so y=y and 2x=x+z. Hmm...
 
No, you should have learned long ago that the letters used as variables in defining functions are just "place holders"- you can replace them with anything you want. If f is defined by f(x, y)= 3x+ y then f(a, b)= 3a+ b, f(y, x)= 3y+ b, etc. [itex]h\circ f(x,y)= h(f(x,y,z))= h(y, x+z)= (x+ y, 2y) as I said.[/itex]
 
I know that, they are just 'place holders'. But can't understand the whole process.

[tex]h \circ f[/tex] is what we need to find.

[tex](h \circ f)(x,y,z)=h(f(x,y,z))=h(y,x+z)[/tex]

Now if [tex]h(x,y)=(y,2x)[/tex] then [tex]h(y,x+z)=(x+z,2y)[/tex], right?

I think I understand now. Now for [tex]h \circ g[/tex] is the 2nd think that we need to find.

[tex](h \circ g)(x,y,z)=h(g(x,y,z))=h(2z,x-y)[/tex]

Now if [tex]h(x,y)=(y,2x)[/tex] then [tex]h(2z,x-y)=(x-y,4z)[/tex], right?

I think, I understand now.
 
And if we get [tex]f \circ h[/tex]?

[tex](f \circ h)(x,y)=f(h(x,y))=f(y,2x)[/tex]

Now if [tex]f(x,y,z)=(y,x+z)[/tex] then [tex]f(y,2x)=??[/tex]

In my book, it says that it is impossible, why?
 
What could it be? [itex](y, 2x)[/itex] is an element of [itex]\mathbb{R}^2[/itex], whereas [itex]f[/itex] is a function on [itex]\mathbb{R}^3[/itex]. In other words, h produces a pair of numbers, whereas f expects a triple as input. So you cannot plug the output of h into f, in other words: you can't compose them in that order.
 
CompuChip said:
What could it be? [itex](y, 2x)[/itex] is an element of [itex]\mathbb{R}^2[/itex], whereas [itex]f[/itex] is a function on [itex]\mathbb{R}^3[/itex]. In other words, h produces a pair of numbers, whereas f expects a triple as input. So you cannot plug the output of h into f, in other words: you can't compose them in that order.
Ok, and what for [tex]h \circ (f+g)[/tex] and [tex]h \circ f + h \circ g[/tex].
First, are they same?
Other thing, how will I solve it?
 
Can you write down the definitions of (f + g) and h o (f + g) and (h o f) + (h o g)?
In particular, write down from what space into what space they map, like I did in my last post. Then you can already see if there will be a problem in the composition (like: if the space (f + g) maps to is different than the space h maps from, you cannot compose them, as you have just seen).
 
Last edited: