So, I uploaded the figure in photobucket, and if you type flutegirl516 in the search bar you will see it's the first photo.

F:B→C, h:C→B, and G:A→C

Is F°h°G defined? If so, what is its domain and range?

Yes it is defined. And I thought that the domain and range of F ° h ° G = A -> B. But i don't think this is correct. Why would this be considered defined? I'm desperate to understand.

I found and saw your diagram

If I recall correctly
F°h°G is read as F "follows" h "follows" G

so G would be done first, then h, etc
G: A --> C
h: C --> B
F: B --> C

so you have A -->C

I don't know if this helped, have not done this stuff in 40 years.

Thank you for replying. So if this question makes any sense: How do you know I must start with G first? It makes sense because it actually works when I create samples, but it seems that I am working backwards, why is that? But I think I am kind of following. . .

As I recall the same notation is used in the function notation.

in the notation
f°h , it means that f follows h

e.g. in "eating follows cooking", which do you do first?

most textbooks define
f°h to mean f(h(x))

Since in f(h(x)) you work on the Hh(x) first and there is no confusion, I always have preferred the
f(h(x)) notation.

So, how would F ° h ° G be defined? It seems the domain is A and the range is C, right? But why does it exist? Does it exist because it can be proven using sample problems or it it because of the figure and the direction of the arrows? IDK. That's what I am having trouble understanding.

Sorry to join in the discussion.

It all comes to the basic definition:
g°f is read as "g of f", just like g(x) is read as g of x, or f(x) is f of x or function of x.
so g°f=(g*deg;f)(x)=g(f(x)) which explains why f(x) has to be evaluated first before g.

If you say F°h°G as F of h of G, then it automatically comes to mind as: F(h(G(x))), in which case it is obvious that G should be evaluated first.

Yes, you have to follow the arrows, because for example, in h°G, the range of G is fed into the domain of h. So h°G exists IF AND ONLY IF the range of G matches the domain of h, which is the case here.

Since the same applies to F°h, therefore F°h°G exists, assuming F,h,and G are functions, therefore they are one-to-one.

Sorry to join in the discussion.

It all comes to the basic definition:
g°f is read as "g of f", just like g(x) is read as g of x, or f(x) is f of x or function of x.
so g°f=(g°f)(x)=g(f(x)) which explains why f(x) has to be evaluated first before g.

If you say F°h°G as F of h of G, then it automatically comes to mind as: F(h(G(x))), in which case it is obvious that G should be evaluated first.

Yes, you have to follow the arrows, because for example, in h°G, the range of G is fed into the domain of h. So h°G exists IF AND ONLY IF the range of G matches the domain of h, which is the case here.

Since the same applies to F°h, therefore F°h°G exists, assuming F,h,and G are functions, therefore they are one-to-one.

Sorry for the double post. Skip the first one, which contains a typo on the fourth line.

Okay thank you for the clarification :)

To determine if F°h°G is defined, we need to check if the composition of functions is possible.

Let's break it down:
- F:B→C means the function F takes inputs from the set B and produces outputs in the set C.
- h:C→B means the function h takes inputs from the set C and produces outputs in the set B.
- G:A→C means the function G takes inputs from the set A and produces outputs in the set C.

To find the composition, we need h to take inputs from the same set that F produces outputs, and similarly, G needs to produce outputs in the same set where F takes inputs.

In this case, since F produces outputs in set C and G produces outputs in set C, we have a compatible setup for composition. Additionally, since h takes inputs from set C, it fits between F and G in the composition.

Therefore, F°h°G is defined.

Now, let's determine the domain and range of F°h°G:

The domain of F°h°G is the set of inputs that can be passed through the entire composition. In this case, the domain is the set A because G takes inputs from A.

The range of F°h°G is the set of outputs produced by the composition. In this case, the range is the set B because F produces outputs in B.

So, the domain of F°h°G is A and the range is B.