Proving Proposition: Quotient Space Rn/F is First Countable

  • Thread starter Thread starter hedipaldi
  • Start date Start date
  • Tags Tags
    quotient Topology
Click For Summary

Homework Help Overview

The discussion revolves around proving a proposition regarding the quotient space Rn/F, where F is a closed subset of the Euclidean space Rn. The proposition states that Rn/F is first countable if and only if the boundary of F is bounded in Rn.

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the need to establish definitions related to first countable spaces and the boundary of a set. There are inquiries about which direction of the proof can be tackled first, and some express uncertainty about how to approach the problem given their familiarity with quotient spaces.

Discussion Status

Some participants have suggested starting with definitions as a foundational step. There is a recognition that multiple interpretations of the proposition exist, and hints have been offered to guide the discussion without providing direct solutions.

Contextual Notes

One participant notes that they are not a student and are approaching the problem out of curiosity rather than as part of assigned coursework. The thread has been moved to the Homework & Coursework section in accordance with forum rules.

hedipaldi
Messages
209
Reaction score
0
Hi,
I am trying to prove the following proposition:
Let F be a closed subset of the Euclidean space Rn.Then the quotient space Rn/F is first countable if and only if the boundary of F is bounded in Rn.
Any ideas?
 
Physics news on Phys.org
hi hedipaldi! :smile:
hedipaldi said:
Let F be a closed subset of the Euclidean space Rn.Then the quotient space Rn/F is first countable if and only if the boundary of F is bounded in Rn.
Any ideas?

"if and only if", so that's two proofs …

which one can you do?​

(start by setting out the definitions)
 
you say that one side follows directly from the definitions?I am not so experienced in dealing with quotient spaces (though i am familiar with the definitions) so i really need some hints.
 
hedipaldi said:
you say that one side follows directly from the definitions?

no, I'm saying that you haven't shown any work, you haven't used the homework template, and writing out the definitions would be a good way to start

try now​
 
The definitions are not the problem,i have them in front of me. I just need some hints (I am not a student and this is not homework,i am only curious to solve it)
 
tiny-tim has given you a hint - start writing some definitions, such as those for a first countable space and the boundary of a set.
 
I am moving this thread to Homework & Coursework section.

From the PF Rules:
Any and all high school and undergraduate homework assignments or textbook style exercises for which you are seeking assistance are to be posted in the appropriate forum in our Homework & Coursework Questions area--not in blogs, visitor messages, PMs, or the main technical forums. This should be done whether the problem is part of one's assigned coursework or just independent study.
 
Moved material from a separate but related thread into this one.
hedipaldi said:
i used the definition of the quotient topology,considered a countable
basis at F in the quotient space and it's inverse open sets in Rn
under the natural map.I fail to see the point here and need someolution
 

Similar threads

Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
Replies
20
Views
5K