Proving Equality of Interiors Under Homeomorphism

  • Thread starter Thread starter Mandelbroth
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary
SUMMARY

The discussion centers on proving the equality of interiors under homeomorphism, specifically stating that if \( U \subset \mathbb{R}^n \) is open, \( A \subset U \) is homeomorphic to \( S^{n-1} \), and \( \varphi: U \to \mathbb{R}^n \) is a continuous bijection, then \( \varphi(\operatorname{int} A) = \operatorname{int} \varphi(A) \). The concept of invariance of domain is crucial, as it establishes that homeomorphisms between subsets of \( \mathbb{R}^n \) map interior points correspondingly. The conclusion is that the property of mapping interior points is conserved under homeomorphism.

PREREQUISITES
  • Understanding of homeomorphisms in topology
  • Familiarity with the concept of open sets in \( \mathbb{R}^n \)
  • Knowledge of the invariance of domain theorem
  • Basic understanding of manifolds and codimension
NEXT STEPS
  • Study the invariance of domain theorem in detail
  • Explore properties of homeomorphisms and their implications in topology
  • Learn about codimension and its significance in manifold theory
  • Investigate the relationship between open sets and their interiors in \( \mathbb{R}^n \)
USEFUL FOR

Mathematicians, particularly those specializing in topology, students studying advanced calculus or real analysis, and anyone interested in the properties of manifolds and homeomorphic mappings.

Mandelbroth
Messages
610
Reaction score
23
A friend gave me this to prove as part of an ongoing "game." I'm having a serious amount of difficulty with it, and I don't know what I need to do.

Homework Statement


"Prove the following:
If ##U\subset\mathbb{R}^n## is open, ##A\subset U## is homeomorphic to ##S^{n-1}##, and ##\varphi:U\to\mathbb{R}^n## is a continuous bijection from ##U## to ##\mathbb{R}^n##, then ##\varphi(\operatorname{int} A)=\operatorname{int} \varphi(A)##."2. Relevant [strike]equations[/strike] lemma
My friend said that I "might" need to know that "if ##B\subset\mathbb{R}^n## is homeomorphic to ##D^n=\left\{x\in\mathbb{R}^n : |x|\leq 1\right\}##, then ##\mathbb{R}^n\setminus B## is connected."

Here, the ##|x|## means ##\displaystyle \sqrt{\sum_{i=1}^n x_i^2}##.

The Attempt at a Solution


I'm ashamed to say that I don't know where to start on this one. From the lemma that I "might" need, I know that ##\mathbb{R}^n\setminus \operatorname{int} A## is connected, but I don't know what this implies or how this gets me anywhere.

I'm really confused. I'd really appreciate any help anyone can give me. :confused:
 
Physics news on Phys.org
I'm a bit confused, A is a codimension 1 submanifold of Rn so has no interior.
 
Use invariance of domain.
 
  • Like
Likes   Reactions: 1 person
micromass said:
Use invariance of domain.
So, by invariance of domain, we know that, since ##\operatorname{int} A## is open, then ##\varphi(\operatorname{int} A)## is also open, right? I also know that ##\operatorname{int} \varphi(A)## is open. This is at least something, but I don't know where this goes. Could you please give another hint?
 
Prove that if ##\varphi## is a homeomorphism, then for each set ##B## holds that ##int \varphi(B) = \varphi(int(B))##.
 
micromass said:
Prove that if ##\varphi## is a homeomorphism, then for each set ##B## holds that ##int \varphi(B) = \varphi(int(B))##.
I'm sorry. I knew that comes next because ##\varphi## being a homeomorphism follows from invariance of domain. I should have said that I don't know what property of a homeomorphism implies that equality. I think what I'm looking for can be stated in the form "[property] is conserved under homeomorphism," but I don't know. :confused:

Edit: Never mind. I figured it out. Invariance of domain implies homeomorphisms between subsets of ##\mathbb{R}^n## map interior points of one subset to interior points of the other. The result follows from this. Thank you for your patience. :biggrin:
 
Last edited:

Similar threads

Replies
2
Views
1K
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
20
Views
4K
  • · Replies 7 ·
Replies
7
Views
1K
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K