Reading Analysis on Manifolds by Munkres

In summary, the task is to prove that the open ball about x_0 of radius epsilon is an open set in the metric topology on X with metric d. This can be shown by demonstrating that for any point y in the open ball, there exists a delta greater than 0 such that the open ball about y of radius delta is a subset of the original open ball. The triangle inequality may be useful in the proof. This task may seem tautological, but in the context of the book "Analysis on Manifolds" by Munkres, which focuses on manifolds as subsets of Rn, this is a necessary proof.
  • #1
Matthollyw00d
92
0
Show that U(x0, ε) is an open set.

I'm reading Analysis on Manifolds by Munkres. This question is in the review on Topology section. And I've just recently been introduced to basic-basic topology from Principles of Mathematical Analysis by Rudin.

I'm not really certain where to begin on this, nor can I find a sufficient definition of open set to somewhat utilize. Any help on where to begin would be appreciated. This doesn't seem like it would be difficult or long, just kind of in unfamiliar ground here.

Thanks in advanced.
 
Physics news on Phys.org
  • #2


What is the topology of the set that U is a subset of? A subset is open if and only if it is an element of the topology; without a topology, or a basis for the topology, the quality of being open is undefined.
 
  • #3


I'm not really certain where to begin on this, nor can I find a sufficient definition of open set to somewhat utilize. Any help on where to begin would be appreciated.

I can not really help with the question since I haven't even taking a formal course in Analysis.
But a definition I got from Introduction to Real Analysis ( a book i "tried" to read over the summer ) says if the epsilon neighborhood of a point Xnot is contained in a set S then S is the neighborhood of Xnot and Xnot is an interior point in S. If every point is S is an interior point, then S is open.

Basically if you can find the epsilon neighborhood of any point in the Set S then S is open.

I don't know what else to say that would help,partly because I'm unsure of your notation.

Is U the union sign?

Anyway I assume that with the definition provided above you can show that your set is open. I guess a prove by contradiction would be appropriate, you can show that there is no point is your set that does not have an epsilon neighborhood.
 
  • #4


slider142 said:
What is the topology of the set that U is a subset of? A subset is open if and only if it is an element of the topology; without a topology, or a basis for the topology, the quality of being open is undefined.
I believe it to be general for Rn. But there is nothing else in the question, except before the problems it states: "Throughout, let X be a metric space with metric d."
╔(σ_σ)╝ said:
I don't know what else to say that would help,partly because I'm unsure of your notation.

Is U the union sign?

Anyway I assume that with the definition provided above you can show that your set is open. I guess a prove by contradiction would be appropriate, you can show that there is no point is your set that does not have an epsilon neighborhood.
U is not the union sign, U(x0, ε) = {x | d(x, x0) < ε}
 
  • #5


OK, so it seems like you're trying to prove that the open ball about x_0 of radius epsilon is open, where the open ball is a subset of (X, d). There are probably a few ways to do this, but the way that I've learned recently is as follows:

-show that the open ball is a neighborhood of each of its points
-an subset of a metric space can be defined as open if it is a neighborhood of each of its points
 
  • #6


Matthollyw00d said:
I believe it to be general for Rn. But there is nothing else in the question, except before the problems it states: "Throughout, let X be a metric space with metric d."

U is not the union sign, U(x0, ε) = {x | d(x, x0) < ε}

That means it is assuming the metric topology on X with metric d, which means the basis for the topology is the set of all balls, each of the form B(x0[/xub], r) = {x | d(x, x0) < r}. Your task is then to show that it is either a union of elements of this basis, or if you have covered homeomorphisms, that it is homeomorphic to such a union.
 
  • #7


slider142 said:
That means it is assuming the metric topology on X with metric d, which means the basis for the topology is the set of all balls, each of the form B(x0[/xub], r) = {x | d(x, x0) < r}. Your task is then to show that it is either a union of elements of this basis, or if you have covered homeomorphisms, that it is homeomorphic to such a union.


This seems a bit tautological, though. In the metric topology, open balls are open... but we're asked to prove that an open by is open? It's a strange problem, if in fact that is how it is stated.
 
  • #8


Tac-Tics said:
This seems a bit tautological, though. In the metric topology, open balls are open... but we're asked to prove that an open by is open? It's a strange problem, if in fact that is how it is stated.
That is all that is written in book, verbatim.

I'll work through it a bit today in my free time and see what I come up with after reading the previous posts.
 
  • #9


Let y be any point in [itex]U(x_0, \epsilon)[/itex]. You need to show that there exists a [itex]\delta[/itex] > 0 such that [itex]U(y, \delta) \subset U(x_0, \epsilon) [/itex]. (This is just restating what snipez90 already said.)

Hint: The triangle inequality might come in handy here.

HTH

Petek
 
  • #10


Tac-Tics said:
This seems a bit tautological, though. In the metric topology, open balls are open... but we're asked to prove that an open by is open? It's a strange problem, if in fact that is how it is stated.

Munkres doesn't spend enough time on the topology to define a basis so, in this context, it's not quite as tautological as it seems. It really only addresses manifolds as subsets of Rn and only covers "real" manifolds with a sketchy last chapter, "Life outside Rn". On the whole though, It's probably the best introduction to the ideas that I've seen. It's a great book.

Petek gave good advice.
 
  • #11


Yah, I think I have it after further thinking about it. Once I formalize it on paper, I'll post it here and see if I have it well understood.

And I do agree that it is a great book. I'm using it along side Calculus on Manifolds by Spivak for my Differential Geometry course.
 
  • #12


U(x0,ε)={x|d(x,x0)<ε}
Let y be in U(x0,ε) such that U(y,ε'(y)) is contained in U(x0,ε).
Hence d(y,x0)+ε'(y)≤ε. Let z be in U(y,ε'(y)), so d(z,y)<ε'(y).
Hence d(z,x0)≤d(z,y)+d(y,x0)<ε'(y)+ε-ε'(y)=ε
Thus d(z,x0)<ε for all z in U(y,ε'(y)) that is contained in U(x0,ε)
Thus U(x0,ε) is open.
EndofProof.

This is what I got for the proof, I don't see anything wrong with it, just tossing it out here to make sure everything is correct, since I'm still not completely confident when dealing with open sets. Just looking for confirmation or pointing out something that is incorrect, thanks.
 
  • #13


Matthollyw00d said:
U(x0,ε)={x|d(x,x0)<ε}
Let y be in U(x0,ε) such that U(y,ε'(y)) is contained in U(x0,ε).

You are assuming that such a U(y,ε'(y)) exists. Instead, you need to show that there exists an ε'(y) > 0 such that U(y,ε'(y)) is contained in U(x0,ε). That's Munkres' definition of a set being open.

Hint: let ε'(y) = ε - d(x0, y). Show that if z is contained in U(y,ε'(y)), then z is contained in U(x0,ε). Conclude that U(y,ε'(y)) is contained in U(x0,ε).

Petek

Hence d(y,x0)+ε'(y)≤ε. Let z be in U(y,ε'(y)), so d(z,y)<ε'(y).
Hence d(z,x0)≤d(z,y)+d(y,x0)<ε'(y)+ε-ε'(y)=ε
Thus d(z,x0)<ε for all z in U(y,ε'(y)) that is contained in U(x0,ε)
Thus U(x0,ε) is open.
EndofProof.

This is what I got for the proof, I don't see anything wrong with it, just tossing it out here to make sure everything is correct, since I'm still not completely confident when dealing with open sets. Just looking for confirmation or pointing out something that is incorrect, thanks.
 
  • #14


Prove that U(x0,ε) is an open set.

Proof:

U(x0,ε)={x|d(x,x0)<ε}
Let y be in U(x0,ε) so there exists an ε'(y)>0 such that ε'(y) + d(y,x0) = ε.
Let z be in U(y,ε'(y)), so d(z,y)<ε'(y).
Hence d(z,x0)≤d(z,y)+d(y,x0)<ε'(y)+ε-ε'(y)=ε
Thus d(z,x0)<ε for all z in U(y,ε'(y)).
ThusU(y,ε'(y)) that is contained in U(x0,ε).
Thus U(x0,ε) is open.
QED.

Thanks for the help Petek. Is this better now or have a failed to sufficiently prove something?
 
  • #15


Looks good!

Petek
 

1. What is "Reading Analysis on Manifolds by Munkres" about?

"Reading Analysis on Manifolds by Munkres" is a textbook that introduces readers to the mathematical concept of manifolds, which are topological spaces that locally resemble Euclidean spaces. It covers topics such as differentiable and smooth manifolds, tangent and cotangent spaces, integration on manifolds, and the fundamental theorem of calculus on manifolds.

2. Who is the author of "Reading Analysis on Manifolds by Munkres"?

The author of "Reading Analysis on Manifolds by Munkres" is James R. Munkres, an American mathematician and professor emeritus at MIT. He is known for his contributions to topology and his widely used textbooks in mathematics.

3. Is "Reading Analysis on Manifolds by Munkres" suitable for beginners?

While "Reading Analysis on Manifolds by Munkres" is a comprehensive and well-written textbook, it is not recommended for beginners. It assumes a strong foundation in advanced calculus, linear algebra, and topology. Therefore, it is better suited for advanced undergraduate or graduate students studying mathematics or related fields.

4. What sets "Reading Analysis on Manifolds by Munkres" apart from other textbooks on manifolds?

"Reading Analysis on Manifolds by Munkres" is known for its clear and concise writing style, making it accessible to students who are new to the subject. It also includes numerous examples and exercises to help readers understand and apply the concepts. Additionally, it covers more advanced topics such as Lie groups and Lie algebras, making it a valuable resource for those interested in further studies in these areas.

5. Is "Reading Analysis on Manifolds by Munkres" still relevant in today's mathematics?

Yes, "Reading Analysis on Manifolds by Munkres" is still highly relevant in today's mathematics. The concepts and techniques covered in the book are fundamental to many areas of modern mathematics, including differential geometry, mathematical physics, and geometric analysis. It continues to be a popular and widely used textbook in universities and research institutions around the world.

Similar threads

  • Math Proof Training and Practice
Replies
1
Views
926
  • Topology and Analysis
Replies
7
Views
3K
  • Science and Math Textbooks
Replies
16
Views
2K
  • Topology and Analysis
Replies
5
Views
2K
  • Differential Geometry
Replies
7
Views
5K
Replies
5
Views
1K
  • Special and General Relativity
Replies
25
Views
2K
  • Special and General Relativity
Replies
28
Views
2K
  • Science and Math Textbooks
Replies
13
Views
2K
Replies
16
Views
3K
Back
Top