Proving Compatibility of Charts in a Union of Atlases

  • Thread starter Thread starter jojo12345
  • Start date Start date
  • Tags Tags
    Pair Union
Click For Summary
The discussion revolves around proving that the union of two atlases A and B on a manifold M forms another atlas. The user expresses confusion about demonstrating the compatibility of charts from different atlases, specifically charts C from A and D from B. They suggest that the exercise may contain a typo, implying that the author intended to ask about the transitivity of compatibility among charts in different atlases. The user seeks clarification and hints to resolve their doubts regarding the exercise's intent. The conversation highlights the complexities of understanding atlas compatibility in differential geometry.
jojo12345
Messages
42
Reaction score
0
One of the exercises in the text I'm using for self-study asks to prove that the union of a pair of atlases A and B on a manifold is another atlas. However, I don't see any way to show that two charts C,D in A\cup B with C\in A~,~D\in B are compatible. Could anyone give me a bit of help? Maybe just a hint?

The book is A Course in Modern Mathematical Physics by Peter Szekeres. The exercise is the first on in chapter 15.
 
Physics news on Phys.org
The wording of the exercise is as follows:

If A and B are two atlases on a manifold M, then their union is another atlas. Prove this statement. [Hint: A differentiable function of a differentiable function is always differentiable]

This is really verbatim from the text. However, after reading the line in the text after the exercise, I get the impression that the author made a typo. The next line:

"Any atlas can this be extended to a maximal atlas by adding to it all charts that are compatible with the charts of the atlas."

To me this suggests two things. First, the proposition in the exercise is false. Second, what the author actually wanted to ask was the following:

Show that if (1) A,B, and C are atlases on M, (2) the charts in A are compatible with the charts in B, and (3) the charts in B are compatible with the charts in C, then the charts in A are compatible with the charts in C (transitivity).

What do people think?
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
Replies
11
Views
3K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 42 ·
2
Replies
42
Views
11K
Replies
7
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 61 ·
3
Replies
61
Views
10K