Topology, Int(A) is an open set

  • Thread starter Thread starter rourky
  • Start date Start date
  • Tags Tags
    Set Topology
AI Thread Summary
The discussion revolves around proving that the interior of a set A, denoted Int(A), is an open set. It begins with the definition of an interior point, where a point x is considered an interior point if there exists an open ball B(x, r) contained within A. Participants suggest using properties of metric spaces, such as the triangle inequality, to demonstrate that points within the ball also belong to Int(A). Clarification on the type of topology being used is emphasized, as it affects the definitions and approaches to the proof. Ultimately, the conversation highlights the importance of clear definitions and the application of metric space properties in topology.
rourky
Messages
7
Reaction score
0

Homework Statement



Question: Prove Int(A) is an open set, given Int(A) is the set of all interior pts of A where x is an interior pt of A if it is the centre of an open ball in A.

Homework Equations

None



The Attempt at a Solution



Attempted Soln: Suppose x is an element of Int(A).
Then there exists r > 0 such that B(x, r) is a subset of A.
Have tried to extend this to say there exists r > 0 such that B(x, r) is a subset of Int(A), but with no success.

Have also tried to prove C(Int(A)) contains all its limit pts and thus is closed. Then Int(A) would be open.

Just looking for a hint to get me on the right road. Thanks
 
Physics news on Phys.org
Take a point y in your B(x,r). Can you also show y is in Int(A)? Hint: consider |x-y|, can you say anything about that distance?
 
By the way, there are a number of different ways of approaching topology. You appear (since you say "there exists r > 0 such that B(x, r) is a subset of Int(A)") to be assuming a topology defined by a metric. I notice Dick refers to |x-y| rather than d(x,y), so he may be assuming you are in R, the real numbers with the usual topology. In more general topology an "open set" is simply a member of the "topology" and the "interior" of a set, A, is defined as the union of all open subsets of A. It would help if you would say explicitely what kind of topology you have, what definitions you are using. In any case, since you are definitely in a metric space, you can use the "triangle" inequality: that d(x,y)\le d(x,z)+ d(z,y) (or |x-y|\le |x-z|+ |z- y|. That should be useful.
 
Well, I wasn't so much assuming anything as simply being sloppy. As Halls points out, you don't even really need the metric. Since B(x) is open, if y is an element of B(x) then___? Fill in the blanks.
 
Thanks for your replies guys, problem solved! Yes, I was assuming a topology by a metric, sorry for not stating so.
 
Thread 'Use greedy vertex coloring algorithm to prove the upper bound of χ'
Hi! I am struggling with the exercise I mentioned under "Homework statement". The exercise is about a specific "greedy vertex coloring algorithm". One definition (which matches what my book uses) can be found here: https://people.cs.uchicago.edu/~laci/HANDOUTS/greedycoloring.pdf Here is also a screenshot of the relevant parts of the linked PDF, i.e. the def. of the algorithm: Sadly I don't have much to show as far as a solution attempt goes, as I am stuck on how to proceed. I thought...
Back
Top