Difference between revisions of "07081300/Class notes for Tuesday, January 8"
Line 91:  Line 91:  
Identity: [e] = [x<sub>0</sub>], where x<sub>0</sub> is the constant path.  Identity: [e] = [x<sub>0</sub>], where x<sub>0</sub> is the constant path.  
−  Inverse: [γ]<sup>1</sup> = [  +  Inverse: [γ]<sup>1</sup> = [<math>\tilde{\gamma}</math>], where <math>\tilde{\gamma}</math>(t) = γ(t). 
'''BC4:''' π<sub>1</sub> is a functor.  '''BC4:''' π<sub>1</sub> is a functor. 
Revision as of 13:30, 8 February 2008

Algebraic Topology
Temporarily, at least, we will no longer assume that all structures are manifolds and that all functions are smooth. However, functions will still be assumed to be continuous.
We will also, temporarily, assume that all spaces are pointed spaces. That is, a space X will be assumed to have a distinguished point x, whether mentioned explicitly or not.
General idea of algebraic topology: to find "functors" from topology to algebra.
Informal definition: A category C consists of
1) a collection Obj(C) of objects
2) a class hom(C) of morphisms between these objects, so that for each X_{1} and X_{2} in Obj(C) we get a set mor{X_{1}, X_{2}}
3) Composition laws:
a) a binary function on hom(C): mor(X_{1}, X_{2}) x mor (X_{2}, X_{3} → mor (X_{1}, X_{3})
b) Identities (for every X, there is an I_{X} in mor(X,X))
4) Compatibility laws:
a) associativity of composition
b) identities are in fact identities.
"Functors" preserve categories.
Example: Recall that the Brouwer Fixed Point Theorem is implied by the statement that there is no retract from the ndimensional disc D^{n} to the (n1)dimensional sphere S^{n1}. Later, we will prove this last statement in its categorical reformulation: we will find a functor H such that H(D^{}) = {0} and H(S^{n1}) = Z. So the existence of a retract would imply that there are some functions f: Z → {0} and g: {0} → Z such that gf is the identity. Clearly this is false, so no retract exists.
Definition:
Given (X, x_{0}) (which, by the above comment, we will sometimes write simply as X) we define the "fundamental group" or "Poincaré group" of X:
π_{1} (X, x_{0}) := { [γ]: γ : [0,1] → X, γ(0) = γ(1) = x_{0}}
Now we have to:
1) Define homotopy and prove that it's an equivalence relation
2) Define a binary operation, show that it's welldefined, and then show that the fundamental group is in fact a group.
3) Demonstrate functoriality
Definition:
If f, g : (X, x_{0}) → (Y, y_{0}), we say that "f is homotopic to g" (and we write f ~ g) if there exists a function H : [0,1] × X → Y such that H restricted to {0}×X is f, H restricted to {1}×X is g, and H at any time t is in our category (ie H(t, x_{0}) = y_{0}.)
We know now go through four boring claims, labeled BC1  BC4. Many have simple visual proofs which I will not reproduce here.
BC1:
~ is an equivalence relation.
Proof of BC1:
a) f ~ f for all functions f. Indeed, set H(t, x) = f(x) for all x.
b) If f ~ g (by a function H) then g ~ f. Indeed, set H'(t,x) = H(1t, x).
c) If f ~ g (by a function H_{1}) and g ~ h (by a function H_{2}, then f ~ h. Indeed, set H(t, x) = H_{1}(2t,x) if t < ½ and H(t,x) = H_{2}(2t1, x) if t > ½.
Definition:
We define a binary operation on the equivalence classes of paths:
[γ] • [γ'] = [γ • γ']
where the • represents the concatenation of paths. Intuitively, we follow the first path at twice its normal speed, then follow the second, again at twice its normal speed.
BC2: This is welldefined,
BC3: π_{1} (X, x_{0}) is a group.
Proofette of BC3:
Associativity: Let γ_{0}, γ_{1} and γ_{2} be paths. Note that while (γ_{0} • γ_{1}) • γ_{2} is not the same path as γ_{0} • (γ_{1} • γ_{2}), they are homotopic as paths.
Identity: [e] = [x_{0}], where x_{0} is the constant path.
Inverse: [γ]^{1} = [], where (t) = γ(t).
BC4: π_{1} is a functor.
[γ] = [ γ] = [f • γ] defines : π_{1}(f) : π_{1}(X) → π_{1}(Y).
To check (all are clear):
1) This is welldefined.
2) It respects compositions.
3) It respects the identity.
4) = • .
Examples:
1) π_{1}(x_{0}, x_{0}) = {e}.
2) π_{1} (R^{n}, 0) = {e}
3) π_{1} (S^{1}, 1) = Z.