Proving Equality of Interiors Under Homeomorphism

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

Homework Help Overview

The discussion revolves around proving a property related to homeomorphisms in topology, specifically concerning the interiors of sets in Euclidean space. The original poster is tasked with proving that if a set \( A \) is homeomorphic to the sphere \( S^{n-1} \) and is contained within an open set \( U \), then the interior of \( A \) under a continuous bijection \( \varphi \) from \( U \) to \( \mathbb{R}^n \) is equal to the interior of \( \varphi(A) \).

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • The original poster expresses difficulty in starting the proof and mentions a lemma regarding the connectedness of the complement of the interior of \( A \). Some participants question the existence of an interior for \( A \) as a codimension 1 submanifold. Others suggest using the invariance of domain to establish properties of the interior under homeomorphisms.

Discussion Status

Participants are exploring various approaches, including the invariance of domain and properties of homeomorphisms. The original poster has indicated some progress in understanding how these concepts relate to the proof, but there is no explicit consensus on the final steps or resolution of the problem.

Contextual Notes

There is a mention of a lemma that may be relevant, but its implications are not fully explored. The original poster also notes confusion regarding the properties of homeomorphisms and their effects on interiors, indicating a need for clarification on these concepts.

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