 #1
JasonRox
Homework Helper
Gold Member
 2,314
 3
Main Question or Discussion Point
Ok, I'm having trouble understanding the pathhomotopy equivalence class. It's kind of blurry when they apply the operation...
[f]*[g] = [f*g]
...where [f] is the pathhomotopy equivalence class of f.
I can see that an element in [f]*[g] is in [f*g], but not the other way around.
For example, if f is a path from x0 to x1 and g from x1 to x2, then f*g is a path from x0 to x2. This means that [f*g] is the equivalence class of f*g with paths from x0 to x2.
But take a look at the picture I got. We have a path on the bottom from x0 to x2 without crossing x1, but how does that fit into [f]*[g]?
What's going on here?
[f]*[g] = [f*g]
...where [f] is the pathhomotopy equivalence class of f.
I can see that an element in [f]*[g] is in [f*g], but not the other way around.
For example, if f is a path from x0 to x1 and g from x1 to x2, then f*g is a path from x0 to x2. This means that [f*g] is the equivalence class of f*g with paths from x0 to x2.
But take a look at the picture I got. We have a path on the bottom from x0 to x2 without crossing x1, but how does that fit into [f]*[g]?
What's going on here?
Attachments

4.5 KB Views: 307