What is the proof for the existence of a diffeomorphism between A and B?

  • Thread starter AKG
  • Start date
  • Tags
    Analysis
In summary, the conversation discusses various problems involving manifolds, including showing that M₁ × M₂ is a manifold in ℝ^(n₁+n₂) and that M = S ∩ B_P(ε) is a manifold, as well as proving that M is cohomologically trivial if A and B are diffeomorphic. It also discusses the concept of tensors and shows that f* is an isomorphism for all k if and only if f is an isomorphism.
  • #1
AKG
Science Advisor
Homework Helper
2,567
4
Here's a bunch of problems, some of which I think I've done right, others I've attempted, others I have no clue. Any help would be appreciated, and please let me know if the one's I've done are right:

1. Let [itex]M_1 \subset \mathbb{R}^{n_1},\ M_2 \subset \mathbb{R}^{n_2[/itex] be oriented manifolds without boundary, of dimensions [itex]k_1[/itex] and [itex]k_2[/itex] respectively.

Show [itex]M_1 \times M_2[/itex] is a manifold without boundary in [itex]\mathbb{R}^{n_1 + n_2}[/itex] with a natural orientation induced by [itex]M_1[/itex] and [itex]M_2[/itex]


Well, [itex]\forall \, x_1 \in M_1[/itex], there is an open set [itex]U_{x_1}[/itex] containg [itex]x_1[/itex] and an open set [itex]V_{x_1} \subset \mathbb{R}^{n_1}[/itex], and a diffeomorphism [itex]h_{x_1} : U_{x_1} \to V_{x_1}[/itex] such that

[tex]h_{x_1}(U_{x_1} \cap M_1) = V_{x_1} \cap (\mathbb{R}^{k_1} \times \{ 0 \})[/tex], and something similar for points in [itex]M_2[/itex]. Let [itex]x = (x_1,\, x_2)[/itex] be any point in [itex]M_1 \times M_2[/itex]. Define a function [itex]h_x : U \to V[/itex] where [itex]U = U_{x_1} \times U_{x_2}[/itex] by:

[tex]h_x(u_1, u_2) = (h_{x_1}(u_1), h_{x_2}(u_2))[/tex]

Then define the permutation p by:

[tex]p(y_1, \dots , y_{n_1 + n_2}) = (y_1,\dots ,y_{k_1}, y_{n_1 + 1} ,\dots, y_{n_1 + k_2}, y_{k_1 + 1}, \dots , y_{n_1}, y_{n_1 + k_2 + 1}, \dots , y_{n_1 + n_2})[/tex]

Then define [itex]H_x = p \circ h_x[/itex] for each x. This function satisifies the conditions required to make [itex]M_1 \times M_2[/itex] a manifold. (Is it right?)

2. Let S be the set defined by the equations:

[tex]x^2 + y^2 + z^4 = 3,\ x^3 - y^3 + z(1 + xy) = 2[/tex]

Let [itex]f(x, y, z) = e^{x + yz} + x^3y[/itex]

Show that, for P = (1, 1, 1) and some [itex]\epsilon[/itex] > 0, [itex]M = S \cap \mathcal{B}_P (\epsilon )[/itex] is a manifold, where [itex]\mathcal{B}_P (\epsilon )[/itex] is the open ball of radius [itex]\epsilon[/itex] centered at point P.


Don't really know how to do this one.
 
Last edited:
Physics news on Phys.org
  • #2
3. Let M = {(x, y, z, w) | x² + y² = z² + w² = 1/2}. Show that M is a manifold

Let [itex]W \subset \mathbb{R}^2[/itex] be the set [itex](0,\, 2\pi ) \times (0,\, 2\pi )[/itex] and define a function f : U --> M by:

[tex]f(\theta ,\phi ) = \frac{1}{\sqrt{2}}(\cos \theta , \sin \theta , \cos \phi , \sin \phi )[/tex]

I believe, then, that f is 1-1, differentiable, with f(W) = M, f'(y) has rank 2 for each y in W, and the inverse of f is continuous. Therefore, M is a manifold.

4. Let [itex]U \subset \mathbb{R}^n[/itex] be any open set. Let:

[tex]f : [0, 1] \to U,\ \ g : [0, 1] \to U[/tex]

be to [itex]C^{\infty}[/itex] curves. If there is a [itex]C^{\infty}[/itex] function

[tex]F:[0,1] \times [0,1] \to U[/tex]

such that

[tex]F(0, t) = f(t),\ F(1, t) = g(t),\ f(0) = g(0) = F(s, 0),\ f(1) = g(1) = F(s, 1)[/tex]

for all s, t in [0, 1], we say that f and g are homotopic (and F is a homotopy between them). Show that if f and g are homotopic, then

[tex]\int _f \omega = \int _g \omega[/tex]

for any 1-form on U using the following steps

(a)Show [itex]f - g = \partial C_0 + C_1 + C_2[/itex] where [itex]C_1,\ C_2[/itex] are two degenerate 1-chains and [itex]C_0[/itex] is a 2-cube.


Okay, we have:

[tex]\partial (-F) (t) = \sum _{i = 1} ^2 \sum _{\alpha = 0} ^1 (-1)^{i + \alpha}(-F)_{(i, \alpha)}(t)[/tex]

[tex] = -(-F)(0, t) + (-F)(1, t) + (-F)(t, 0) - (-F)(t, 1)[/tex]

[tex] = F(0, t) - F(1, t) - F(t, 0) + F(t, 1)[/tex]

[tex] = f(t) - g(t) - f(0) + f(1)[/tex]

-F is a 2-cube since it's a [itex]C^{\infty}[/itex] function whose domain is [itex][0,1]^2[/itex]. Let [itex]C_0 = -F[/itex], so we have:

[tex]\partial C_0 = f - g - f_0 + f_1[/tex]

where [itex]f_{\alpha}[/itex] is the 1-chain defined by [itex]f_{\alpha}(t) = f(\alpha )[/itex]. We then get:

[tex]f - g = \partial C_0 + f_0 - f_1 = \partial C_0 + f_0 + (-f_1)[/tex]

If we let [itex]C_1 = f_0[/itex] and [itex]C_2 = -f_1[/itex], we're done.

(b) Justify the following inequalities, if [itex]\omega[/itex] is closed:

[tex]\int _{f - g}\omega = \int _{\partial C_0} \omega = \int _{C_0} d\omega = 0[/tex]


Simple enough, I think:

[tex]\int _{f - g} \omega = \int _{\partial C_0 + C_1 + C_2} \omega[/tex]

[tex]= \int _{\partial C_0} \omega + \int _{C_1} \omega + \int _{C_2} \omega[/tex]

[tex]= \int _{\partial C_0} \omega[/tex]

Since [itex]C_1,\ C_2[/itex] are constant functions.

[tex]= \int _{C_0} d\omega[/itex]

By Stokes' Theorem

[tex] = \int _{C_0} 0[/tex]

Since [itex]\omega[/itex] is closed

[tex] = 0[/tex]

Therefore:

[tex]\int _{f - g} \omega = 0[/tex]

[tex]\int _f \omega - \int _g \omega = 0[/tex]

[tex]\int _f \omega = \int _g \omega[/tex]

as required.
 
Last edited:
  • #3
5. We define an open set [itex]A \subset \mathbb{R}^n[/itex] to be cohomologically trivial if any closed form on A is exact. Show that if A and B are diffeomorphic (i.e. there exists a diffemorphism f : A --> B), then A is cohomologically trivial if and only if B is.

I have little idea how to do this, my only guess is that it has something to do with Poincaré's Lemma.

6. Let V be an n-dimensional vector space over the reals. Let [itex]\mathcal{T}^k(V)[/itex] be the space of k-tensors on V, and [itex]\wedge ^k(V)[/itex] the space of alternating k-tensors, where k = 0, ..., n.

(a) Let [itex]f : V \to V[/itex] be a linear transformation. Show that [itex]f* : \mathcal{T}^k(V) \to \mathcal{T}^k (V)[/itex] and [itex]f* : \wedge ^k(V) \to \wedge ^k (V)[/itex] are isomorphisms for all k = 0, ..., n if and only if f is an isomorphism.


Suppose S and T are k-tensors with f*(S) = f*(T). Then:

[tex]f*(S)(v_1, \dots, v_k) = f*(T)(v_1, \dots, v_k)[/tex]

[tex]S(f(v_1), \dots, f(v_k)) = T(f(v_1), \dots, f(v_k))[/tex]

[tex](S - T)(f(v_1), \dots, f(v_k)) = 0[/tex]

Since this is true for any choice of the [itex]v_i[/itex], and since f is an isomorphism, we have that [itex](S - T)((f(V))^k) = (S - T)(V^k)\{ 0 \}[/itex], therefore, (S - T) must be the zero tensor, therefore S = T. This implies that f* is 1 to 1, and since it is linear, this means that it is an isomorphism. Now, if f were not an isomorphism, say its range were W, some subspace of V. Then if f*S = f*T, all we would have is that:

[tex](S - T)((f(V))^k) = (S - T)(W^k) = \{ 0 \}[/tex]

But if S and T could be any tensors that "behaved" that way on [itex]W_k[/itex], then S need not equal T, i.e. there could be distinct tensors S and T that did the same things to elements of [itex]W^k[/itex] but differed in their "behaviour" on other vectors, and hence f* would not be 1-1, and hence not an isomorphism.

(b) Let T be a symmetric, positive definite 2-form on V. Let [itex]v_1, \dots , v_k \in V[/itex] be vectors and let [itex]\phi _1 , \dots , \phi _k \in V*[/itex] be the elements defined by:

[tex]\phi _i (w) = T(v_i, w)[/tex]

Show that [itex]\phi _1 \wedge \dots \wedge \phi _k \neq 0[/itex] if and only if the [itex]v_i[/itex] are linearly independent.


Now, if they are linearly dependant, then we can write:

[tex]v_1 = \sum _{i = 2} ^k a_iv_i[/tex]

So:

[tex]\phi 1 (w) = T(\sum _{i = 2} ^k a_iv_i, w) = \sum _{i = 2} ^k a_i\phi _i(w)[/tex]

In this case, we get:

[tex]\phi _1 \wedge \dots \wedge \phi _k = \left ( \sum _{i = 2} ^k a_i\phi _i \right ) \wedge \phi _2 \wedge \dots \wedge \phi _k[/tex]

[tex] = \sum _{i = 2} ^k a_i\phi _i \wedge \phi _2 \wedge \dots \wedge \phi _i \wedge \dots \wedge \phi _k[/tex]

[tex] = -\sum _{i = 2} ^k a_i\phi _i \wedge \phi _2 \wedge \dots \wedge \phi _i \wedge \dots \wedge \phi _k[/tex]

... by switching the [itex]\phi _i[/itex] with the [itex]\phi _i[/itex]. Therefore, since the product is equal to its own negative, it is zero, which is what we wanted to show. Now, I'm not entirely sure how to prove the other way. So far, if we define

[tex]\psi _i (x) = T(w_i, x)[/tex]

Then I can show that:

[tex]\phi _1 \wedge \dots \wedge \phi _k (w_1, \dots, w_k) = \psi _1 \wedge \dots \wedge \psi _k (v_1, \dots, v_k)[/tex]

Now, if the wedge product of the [itex]\phi _i[/itex] is zero, then when evaluated at any [itex](w_1, \dots , w_k)[/itex], it will give zero, which means that [itex]\psi _1 \wedge \dots \wedge \psi _k (v_1, \dots, v_k) = 0[/itex] for any choice of [itex]\psi _i[/itex], in other words, if [itex]\omega \in \wedge ^k (V)[/itex], then [itex]\omega (v_1, \dots , v_k) = 0[/itex]. But if the v are independent, let their span be the k-dimensional vector space W. So if we take the appropriate restriction of [itex]\omega[/itex], we'd essentially have that every [itex]\omega \in \wedge ^k (W)[/itex] is the zero tensor, which is impossible, hence the v would have to be dependent.
 
  • #4
Last one

7. Let T be defined by

[tex]T = \{ (x, y, z, w) \in \mathbb{R}^4 : x^2 + y^2 = 1,\ z^2 + w^2 = 1\}[/tex]

(a)Show that

[tex]f : (0, 2\pi ) \times (0, 2\pi ) \to T[/tex]

given by

[tex]f(\theta , \phi ) = (\cos \theta , \sin \theta, \cos \phi , \sin \phi )[/tex]

is a co-ordinate system.


Well, f is obviously differentiable, and its domain (let's call it W) is obviously open. To show that it is 1-1, it suffices to show that g(x) = (cos(x), sin(x)) is 1-1. Suppose g(x) = g(y), then:

cos(x) = cos(y), sin(x) = sin(y)

Therefore, since cos(x) = cos(y), either x = y or x = 2п - y. If x = y, we're done, otherwise:

sin(x) = sin(y)
sin(2п - y) = sin(y)
-sin(y) = sin(y)
y = п, therefore x = 2п - п = п = y. Therefore, g is 1-1, and hence so is f.

I can also show that f(W) = T - {(1, 0, 1, 0)}, which can be done by showing that g((0, 2п)) = {(x, y) : x² + y² = 1} - {(1, 0)}. Any point (x, y) can be written as (r*cos(t), r*sin(t)), but we know r = 1, so every point (x, y) in this set can be written as (cos(t), sin(t)) for some t in (0, 2п)... actually, this seems to give me problems with the point (1, 0, 1, 0). Anyways, its easy to show that f'(y) has rank 2 for all y in W, since f'(y) takes the form:

(a 0)
(b 0)
(0 c)
(0 d)

And at least one of c and d must be non-zero, and at least one of a and b must be non-zero, so we have at least the rows (a 0) and (0 c), without loss of generality, which are clearly linearly independent. The inverse of f needs to be continuous, but I believe inverse function theorem guarantees this. However, what do I need to show to claim that the inverse function theorem applies?

(b) Let T have the orientation [itex]\mu[/itex] such that f is positively oriented with respec to [itex]\mu[/itex]. Show that for any 2-form [itex]\omega[/itex] defiend on a neighborhood of T,

[tex]\int _T \omega = \int _{(0, 2\pi)\times (0, 2\pi )}f*\omega[/tex]


I'm not sure how to do this, but I also have the feeling that I don't need to know it (for the test I'm studying for), but I've put it in just in case, and some part of it is necessary for the next question.

(c) Integrate the 2-form [itex]\omega = yw\, dx \wedge dz[/itex] over T given the orientation [itex]\mu[/itex] as in part (b).

[tex]\int _T \omega = \int _{(0, 2\pi)\times (0, 2\pi )}f*\omega[/tex]

[tex] = \int _0 ^{2\pi} \int _0 ^{2\pi} f*(yw\, dx \wedge dz)[/tex]

[tex] = \int _0 ^{2\pi} \int _0 ^{2\pi} (yw \circ f)f*(dx \wedge dz)[/tex]

[tex] = \int _0 ^{2\pi} \int _0 ^{2\pi} (y \circ f \cdot w \circ f)f*(dx) \wedge f*(dz)[/tex]

[tex] = \int _0 ^{2\pi} \int _0 ^{2\pi} (\sin \theta \sin \phi)\left (\frac{\partial \cos \theta}{\partial \theta} d\theta + \frac{\partial \cos \theta}{\partial \phi} d\phi \right ) \wedge \left (\frac{\partial \cos \phi}{\partial \theta} d\theta + \frac{\partial \cos \phi}{\partial \phi} d\phi \right )[/tex]

[tex] = \int _0 ^{2\pi} \int _0 ^{2\pi} (\sin \theta \sin \phi)\left (\frac{\partial \cos \theta}{\partial \theta} d\theta \right ) \wedge \left (\frac{\partial \cos \phi}{\partial \phi} d\phi \right )[/tex]

[tex] = \int _0 ^{2\pi} \int _0 ^{2\pi} (\sin \theta \sin \phi)(- \sin \theta d\theta ) \wedge (- \sin \phi d\phi )[/tex]

[tex] = \int _0 ^{2\pi} \int _0 ^{2\pi} (\sin ^2 \theta \sin ^2 \phi)d\theta \wedge d\phi[/tex]

[tex] = \int _0 ^{2\pi} \int _0 ^{2\pi} \sin ^2 \theta \sin ^2 \phi d\theta d\phi[/tex]

[tex] = \left ( \int _0 ^{2\pi} \sin ^2 \theta d\theta \right )^2 = \pi ^2[/tex]

Now, we actually haven't done integration on manifolds, so this might not be right. For one, I made no use of the orientation. However it looks like regular integration (or at least integration on chains)...
 
  • #5
I notice that I did #3 wrong, since f(W) is not M, there are "problems" at the point 1/√(2)(1,0,1,0). However, I was trying to find an f that would work for all x in M, but I only need an f to work in an open set for each x in M. The given f will work for most x except that problematic one. For that point, I can easily choose a different open set: instead of (0, 2π) x (0, 2π), I can take (-π/2, π/2)².

Related to this is one of the problems I had with question 7, which I underlined. For f to be a co-ordinate system, then for all points x in M, there must be an open set containing x such that f((0, 2π)²) = M ∩U. But in fact there is no point y in (0, 2π)² such that f(y) = (1, 0, 1, 0), which is a point in M. So it seems f is not a co-ordinate system.

So, I feel okay about most of the problems so far. If anyone could tell me if I've done 1, 3, 4, 6, and 7 right, that would be very much appreciated. However, I am still pretty lost on questions 2 and 5. Any ideas?

For question 2, I'd like to be able to at least picture this manifold. I can't even tell if its supposed to be 1-dimensional or 2. For question 5, it seems to me that I only need to prove one way, and the other way will follow since if there is a diffeomorphism from A to B, then there is a diffeomorphism, [itex]f^{-1}[/itex], from B to A.

Well, a closed k-form on A maps points in A to the space of alternating k-tensors on the tangent space of A at the point. Now, the tangent space of A at the point p is isomorphic to the tangent space of B at the point f(p), since they are both isomorphic to [itex]\mathbb{R}^n[/itex]. Let [itex]\omega[/itex] be a k-form on A, let p be a point in A, then:

[tex]\omega (p) \in \wedge ^k (A_p)[/tex]

where [itex]A_p[/itex] is the tangent space to A at p. If [itex]\eta[/itex] is a k-form on B, then:

[tex]\eta (f(p)) \in \wedge ^k (B_{f(p)})[/tex]

Let [itex]v_1, \dots , v_k[/itex] be vectors in [itex]\mathbb{R}^n[/itex], and let [itex](v_i)_x[/itex] be a vector in the tangent space to the point x. Then:

[tex]\omega (p)((v_1)_p, \dots , (v_k)_p) = \omega (f^{-1}(f(p)))((v_1)_{f^{-1}(f(p))}, \dots , (v_k)_{f^{-1}(f(p))})[/tex]

Let [itex]J = f'(p)[/itex], then the above is:

[tex]\omega (f^{-1}(f(p)))((J^{-1}Jv_1)_{f^{-1}(f(p))}, \dots , (J^{-1}Jv_k)_{f^{-1}(f(p))})[/tex]

[tex]= (f^{-1})^*\omega (f(p))((Jv_1)_{f(p)}, \dots , (Jv_k)_{f(p)})[/tex]

Let's call [itex](f^{-1})^*\omega = \eta _1[/itex], and f(p) = q, then the above is:

[tex]\eta _1 (q) ((Jv_1)_q, \dots , (Jv_k)_q)[/tex]

Clearly, q is in B, and [itex]\eta _1[/itex] is a k-form on B. J, since it is the inverse of a matrix, is invertible, thus has rank n, and is thus an isomorphism. If [itex]\omega[/itex] is closed, then for all p in A, and for all [itex]v_1, \dots , v_k[/itex], [itex]d\omega[/itex] is zero. But if this is true for all p in A, then the above expression with [itex]\eta _1[/itex] is zero for all q in B, since f(A) = B (f is a diffeomorphism, hence invertible, hence onto), and for every [itex]Jv_1, \dots , Jv_k[/itex], which is really just every [itex]v_1, \dots , \v_k[/itex] since J is an isomorphism. Therefore, [itex]\eta _1[/itex] is closed.

(... I'm really not sure where I'm going with all of this ...)

So it seems every closed k-form on A can be expressed in terms of a closed k-form on B. If every k-form on B is exact, then every form like [itex]\eta _1[/itex] can be expressed as [itex]dH _1[/itex] for some k-1 form [itex]H _1[/itex]. But then:

[tex]d((f^{-1})^*H _1) = (f^{-1})^*(dH _1)[/tex]

by a theorem in my book, then giving:

[tex]= ((f^{-1})^*)\eta _1 = \omega[/tex]

So [itex]\omega[/itex] is exact, as required. I have a feeling this isn't entirely right... Any ideas?
 
Last edited:

1. Why is analysis important in the scientific process?

Analysis is important in the scientific process because it allows researchers to make sense of their data and draw conclusions. It helps identify patterns, relationships, and trends that may not be obvious at first glance. Without analysis, the data collected would be meaningless and unable to contribute to the overall understanding of a scientific phenomenon.

2. What are some common challenges faced when conducting analysis?

Some common challenges faced when conducting analysis include dealing with large amounts of data, ensuring the data is accurate and reliable, and selecting the appropriate methods for analysis. Additionally, researchers may encounter unexpected results or conflicting data, which can make analysis more difficult.

3. How can I improve my analytical skills?

Improving analytical skills takes practice and patience. Some ways to improve these skills include regularly practicing data analysis, seeking feedback from peers and mentors, and staying updated on new analysis techniques and tools. It is also helpful to approach analysis with a curious and open mindset, and to critically evaluate the data and methods being used.

4. What are some common mistakes to avoid when conducting analysis?

Some common mistakes to avoid when conducting analysis include relying on biased or incomplete data, using inappropriate methods for analysis, and misinterpreting or oversimplifying results. It is important to thoroughly review and verify the data before beginning analysis and to carefully consider the limitations and potential biases of the methods being used.

5. How can I effectively communicate my analysis results?

Effective communication of analysis results is crucial in the scientific process. To do so, it is important to clearly and concisely present the data and methods used, as well as the conclusions drawn. Visual aids, such as graphs or charts, can also enhance the understanding of the results. It is also helpful to provide context and limitations of the analysis, and to be open to questions and feedback from others.

Similar threads

Replies
7
Views
578
  • Calculus and Beyond Homework Help
Replies
1
Views
456
  • Topology and Analysis
Replies
2
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
608
  • Introductory Physics Homework Help
Replies
17
Views
10K
  • Topology and Analysis
Replies
6
Views
1K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
3
Views
1K
Replies
22
Views
2K
  • Set Theory, Logic, Probability, Statistics
Replies
6
Views
1K
  • Advanced Physics Homework Help
Replies
26
Views
3K
Back
Top