• No results found

(a) [5] Prove that Nk,nis in a natural manner a manifold and that the projection (Rk− {0

N/A
N/A
Protected

Academic year: 2021

Share "(a) [5] Prove that Nk,nis in a natural manner a manifold and that the projection (Rk− {0"

Copied!
1
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

EXAMDIFFERENTIABLE MANIFOLDS, 2008 JANUARY28 9:00–12:00

You may do this exam either in Dutch or in English. Books or notes may not be con- sulted. Be sure to put your name on every sheet you hand in. Try to be clear and concise and if you want part of the submitted solution sheets to be ignored by the graders, then clearly indicate so.

Maps and manifolds are assumed to be of class Cunless stated othewise. Numbers in brackets indicate the weight of the problem when we grade.

A solution set is available right after the exam (i.e., on Jan 28 2008 by noon) at http://www.math.uu.nl/people/looijeng/smoothman06.html

(1) [5] Prove that an embedding of a manifold M in a manifold N followed by an embedding of N in a third manifold P is an embedding of M in P .

(2) [15] Let k and n be nonnegative integers and let Nk,nbe obtained from (Rk− {0}) × Rnby identifying (x, y) with (−x, −y).

(a) [5] Prove that Nk,nis in a natural manner a manifold and that the projection (Rk− {0}) × Rn → (Rk− {0}) induces a differentiable map π : Nk,n→ Nk,0.

(b) [5] Prove that Nk,nhas in fact the structure of a vector bundle over Nk,0

(c) [5] Prove that Nk,nis orientable if k + n is even.

(3) [10] Let M be a path-connected manifold and let α be a 1-form on M with the property that for every continuous, piecewise differentiable map δ : S1→ M we haveR

S1δα = 0.

(a) [5] Prove that if α closed, then it is in fact exact. (Hint: integrate α along paths in M .)

(b) [5] Prove that α is automatically closed. (Hint: prove this first in case M is an open subset of R2and apply Stokes to a small disk in M .)

(4) [20] Let N be an oriented manifold of dimension m + 1 ≥ 1 and f : N → R a differentiable function whose differential df is nowhere zero.

(a) [5] Prove that for every t ∈ R, N≤t := f−1((−∞, t]) is a manifold with boundary Nt:= f−1(t) and that Nthas a natural oriention.

(b) [5] Let X be a vector field on N with the property that X(f ) = 1. Prove that a local flow H of X satisfies f (H(t, p)) = f (p) + t.

In the rest of this exercise we assume that for every s ≤ t, f−1([s, t]) is compact.

(c) [5] Prove that for any closed m-form α on N ,R

Ntα is independent of t.

(d) [5] In the following problem you may assume that X generates a flow H : R × N → N (although this actually follows from our data). Let µ be a (m + 1)-form on N with compact support. Prove that the function

F (t) :=

Z

N≤t

µ

(where Ntis endowed with the orientation found in (a)) is differentiable and that its derivative in t equalsR

NtιX(µ).

1

Referenties

GERELATEERDE DOCUMENTEN

Judicial interventions (enforcement and sanctions) appear to be most often aimed at citizens and/or businesses and not at implementing bodies or ‘chain partners’.. One exception

Olivier is intrigued by the links between dramatic and executive performance, and ex- plores the relevance of Shakespeare’s plays to business in a series of workshops for senior

Robin Cook would have had a better chance of beating Tony Blair to the Labour leadership had he looked more like Pierce Brosnan – or even, perhaps, a bit more like Tony Blair.. It

In addition, in this document the terms used have the meaning given to them in Article 2 of the common proposal developed by all Transmission System Operators regarding

reproduction and are also of family f. Program sub problems in separate methods in the correct class. Use constants when necessary.. a) Write a recursive method minimum() that for

A–Eskwadraat kan niet aansprakelijk worden gesteld voor de gevolgen van eventuele fouten in dit

A solution set will soon after the exam be linked at on the familiar Smooth Manifolds web page at http://www.math.uu.nl/people/looijeng.. (1) Give an example of an injective

Because I am not incredibly familiar with handling space characters in LaTeX I had to implement spaces that have to appear in the spot color name with \SpotSpace so you have to use