0708-1300/Term Exam 1: Difference between revisions

From Drorbn
Jump to navigationJump to search
No edit summary
 
(6 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{0708-1300/Navigation}}
{{0708-1300/Navigation}}


Term Exam 1 will take place on Thursday November 8, 2007, at 6PM, at Sydney Smith 1084.
Term Exam 1 took place on Thursday November 8, 2007, at 6PM, at Sydney Smith 1084.

=={{Dror}}'s Internal Notes==
[[Image:0708-1300-Term Exam I Plan.png|center|480px]]

==The Exam==
===Front===

<center>
'''Do not turn this page until instructed.'''

'''Math 1300 Geometry and Topology'''

'''Term Test'''

''University of Toronto, November 8, 2007''

Solve the 4 problems on the other side of this page.

Each problem is worth 30 points.

You have two hours to write this test.

</center>

'''Notes.'''
* No outside material other than stationary is allowed.
* '''Neatness counts! Language counts!''' The ''ideal'' written solution to a problem looks like a page from a textbook; neat and clean and made of complete and grammatical sentences. Definitely phrases like "there exists" or "for every" cannot be skipped. Lectures are mostly made of spoken words, and so the blackboard part of proofs given during lectures often omits or shortens key phrases. The ideal written solution to a problem does not do that.

<center>'''Good Luck!'''</center>

===Back===

'''Solve the following 4 problems.''' Each problem is worth 30 points. You have two hours. '''Neatness counts! Language counts!'''

'''Problem 1 "Compute".''' Let <math>\phi:{\mathbb R}^2_{x,y}\to{\mathbb R}^2_{u,v}</math> be given by <math>u(x,y)=x^2-y^2</math> and <math>v(x,y)=2xy</math>, let <math>f:{\mathbb R}^2_{u,v}\to{\mathbb R}</math> be given by <math>f(u,v)=u^2+v^2</math>, and let <math>\xi\in T_{(0,1)}{\mathbb R}^2_{x,y}</math> be <math>\xi=\partial/\partial x</math>. Compute
the following quantities (with at least some justification):
# <math>\phi_\star\xi</math>.
# <math>\phi^\star f</math>.
# <math>(\phi_\star\xi)f</math>.
# <math>\xi(\phi^\star f)</math>.

'''Problem 2 "Reproduce".''' The tangent space <math>T_0{\mathbb R}^n</math> to <math>{\mathbb R}^n</math> at <math>0</math> can be defined in the following two ways:
# <math>T_0^1{\mathbb R}^n</math> is the set of all smooth curves <math>\gamma:{\mathbb R}\to{\mathbb R}^n</math> satisfying <math>\gamma(0)=0</math>, modulo the equivalence relation <math>\sim</math>, where <math>\gamma_1\sim\gamma_2</math> iff <math>\dot\gamma_1(0)=\dot\gamma_2(0)</math>, where in general, <math>\dot\gamma</math> denotes the derivative of <math>\gamma(t)</math> with respect to <math>t</math>.
# <math>T_0^2{\mathbb R}^n</math> is the set of all linear functionals <math>D</math> on the vector space of smooth functions on <math>{\mathbb R}^n</math>, which also satisfy Leibnitz' rule, <math>D(fg)=(Df)g(0)+f(0)(Dg)</math>.

Prove that these two definitions are equivalent (i.e., that there is a natural bijection between <math>T_0^1{\mathbb R}^n</math> and <math>T_0^2{\mathbb R}^n)</math>. If you use a non-trivial lemma from calculus, state it precisely but you don't need to prove it.

'''Problem 3 "Think".''' Let <math>f:M\to M</math> be a smooth function from a compact manifold <math>M</math> to itself. Prove that there is a point <math>y\in M</math> so that <math>f^{-1}(y)</math> is finite. (In fact, there are many such points).

'''Problem 4 "Sketch".''' Sketch to the best of your understanding the proof of the Whitney embedding theorem, paying close attention to what is important and little attention to what is not. Here, more than anywhere else, '''neatness and language count!'''

<center>'''Good Luck!'''</center>

==The Results==

32 students took this test. The average grade was 83.9 and the standard deviation 25.6. All grades are on [http://ccnet3.utoronto.ca/20079/mat1300yy/ CCNet].

{{Dror/Students_Divider}}

==Some (not necessarily correct) answers to the test==

Problem 1:
[[Image:0708-1300TE1problem1.jpg|100px]]

Problem 2:

can be found here: [[0708-1300/Class_notes_for_Thursday%2C_September_27]]

Problem 3:
[[Image:0708-1300TE1problem3.jpg|100px]]

Problem 4:

can be found is in the class notes starting here [[0708-1300/Class_notes_for_Tuesday%2C_October_23]]

If my solutions to 1 and 3 are incorrect, please delete the files and add your own!


==Some Additional Reading==
==Some Additional Reading==

Latest revision as of 14:43, 20 November 2007

Announcements go here

Term Exam 1 took place on Thursday November 8, 2007, at 6PM, at Sydney Smith 1084.

Dror's Internal Notes

0708-1300-Term Exam I Plan.png

The Exam

Front

Do not turn this page until instructed.

Math 1300 Geometry and Topology

Term Test

University of Toronto, November 8, 2007

Solve the 4 problems on the other side of this page.

Each problem is worth 30 points.

You have two hours to write this test.

Notes.

  • No outside material other than stationary is allowed.
  • Neatness counts! Language counts! The ideal written solution to a problem looks like a page from a textbook; neat and clean and made of complete and grammatical sentences. Definitely phrases like "there exists" or "for every" cannot be skipped. Lectures are mostly made of spoken words, and so the blackboard part of proofs given during lectures often omits or shortens key phrases. The ideal written solution to a problem does not do that.
Good Luck!

Back

Solve the following 4 problems. Each problem is worth 30 points. You have two hours. Neatness counts! Language counts!

Problem 1 "Compute". Let be given by and , let be given by , and let be . Compute the following quantities (with at least some justification):

  1. .
  2. .
  3. .
  4. .

Problem 2 "Reproduce". The tangent space to at can be defined in the following two ways:

  1. is the set of all smooth curves satisfying , modulo the equivalence relation , where iff , where in general, denotes the derivative of with respect to .
  2. is the set of all linear functionals on the vector space of smooth functions on , which also satisfy Leibnitz' rule, .

Prove that these two definitions are equivalent (i.e., that there is a natural bijection between and . If you use a non-trivial lemma from calculus, state it precisely but you don't need to prove it.

Problem 3 "Think". Let be a smooth function from a compact manifold to itself. Prove that there is a point so that is finite. (In fact, there are many such points).

Problem 4 "Sketch". Sketch to the best of your understanding the proof of the Whitney embedding theorem, paying close attention to what is important and little attention to what is not. Here, more than anywhere else, neatness and language count!

Good Luck!

The Results

32 students took this test. The average grade was 83.9 and the standard deviation 25.6. All grades are on CCNet.

Dror's notes above / Student's notes below

Some (not necessarily correct) answers to the test

Problem 1: 0708-1300TE1problem1.jpg

Problem 2:

can be found here: 0708-1300/Class_notes_for_Thursday,_September_27

Problem 3: 0708-1300TE1problem3.jpg

Problem 4:

can be found is in the class notes starting here 0708-1300/Class_notes_for_Tuesday,_October_23

If my solutions to 1 and 3 are incorrect, please delete the files and add your own!

Some Additional Reading

There are some lectures notes of the MIT Open Course Ware. This can be an additional reading for us. There are some exercises too.

More lectures notes from the University of Dublin. This one has exercises.

From Wien with exercises too.