Add your name / see who's in!
|
#
|
Week of...
|
Links
|
Fall Semester
|
1
|
Sep 10
|
About, Tue, Thu
|
2
|
Sep 17
|
Tue, HW1, Thu
|
3
|
Sep 24
|
Tue, Photo, Thu
|
4
|
Oct 1
|
Questionnaire, Tue, HW2, Thu
|
5
|
Oct 8
|
Thanksgiving, Tue, Thu
|
6
|
Oct 15
|
Tue, HW3, Thu
|
7
|
Oct 22
|
Tue, Thu
|
8
|
Oct 29
|
Tue, HW4, Thu, Hilbert sphere
|
9
|
Nov 5
|
Tue,Thu, TE1
|
10
|
Nov 12
|
Tue, Thu
|
11
|
Nov 19
|
Tue, Thu, HW5
|
12
|
Nov 26
|
Tue, Thu
|
13
|
Dec 3
|
Tue, Thu, HW6
|
Spring Semester
|
14
|
Jan 7
|
Tue, Thu, HW7
|
15
|
Jan 14
|
Tue, Thu
|
16
|
Jan 21
|
Tue, Thu, HW8
|
17
|
Jan 28
|
Tue, Thu
|
18
|
Feb 4
|
Tue
|
19
|
Feb 11
|
TE2, Tue, HW9, Thu, Feb 17: last chance to drop class
|
R
|
Feb 18
|
Reading week
|
20
|
Feb 25
|
Tue, Thu, HW10
|
21
|
Mar 3
|
Tue, Thu
|
22
|
Mar 10
|
Tue, Thu, HW11
|
23
|
Mar 17
|
Tue, Thu
|
24
|
Mar 24
|
Tue, HW12, Thu
|
25
|
Mar 31
|
Referendum,Tue, Thu
|
26
|
Apr 7
|
Tue, Thu
|
R
|
Apr 14
|
Office hours
|
R
|
Apr 21
|
Office hours
|
F
|
Apr 28
|
Office hours, Final (Fri, May 2)
|
Register of Good Deeds
|
Errata to Bredon's Book
|
|
Announcements go here
English Spelling
Many interesting rules about 0708-1300/English Spelling
Class Notes
The notes below are by the students and for the students. Hopefully they are useful, but they come with no guarantee of any kind.
General class comments
1) The class photo is up, please add yourself
2) A questionnaire was passed out in class
3) Homework one is due on thursday
First Hour
Today's Theme: Locally a function looks like its differential
Pushforward/Pullback
Let be a smooth map.
We consider various objects, defined with respect to X or Y, and see in which direction it makes sense to consider corresponding objects on the other space. In general will denote the push forward, and will denote the pullback.
1) points pushforward
2) Paths , ie a bunch of points, pushforward,
3) Sets pullback via
Note that if one tried to pushforward sets A in X, the set operations compliment and intersection would not commute appropriately with the map
4) A measures pushforward via
5)In some sense, we consider functions, "dual" to points and thus should go in the opposite direction of points, namely
6) Tangent vectors, defined in the sense of equivalence classes of paths, [] pushforward as we would expect since each path pushes forward.
CHECK: This definition is well defined, that is, independent of the representative choice of
7) We can consider operators on functions to be in a sense dual to the functions and hence should go in the opposite direction. Hence, tangent vectors, defined in the sense of derivations, pushforward via
CHECK: This definition satisfies linearity and Liebnitz property.
Theorem 1
The two definitions for the pushforward of a tangent vector coincide.
Proof:
Given a we can construct as above. However from both and we can also construct and because we have previously shown our two definitions for the tangent vector are equivalent. We can then pushforward to get . The theorem is reduced to the claim that:
for functions
Now,
Q.E.D
Functorality
let
Consider some "object" s defined with respect to X and some "object u" defined with respect to Z. Something has the property of functorality if
and
Claim: All the classes we considered previously have the functorality property; in particular, the pushforward of tangent vectors does.
Let us consider on given a
We can arrange for charts on a subset of M into (with coordinates denoted )and on a subset of N into (with coordinates denoted )such that and
Define
Now, for a we can write
So,
Now, we want to write
and so,
where the i is at the kth location.
So, , i.e., is the differential of at p
We can check the functorality, , then
This is just the chain rule.