Topology, Int(A) is an open set


by rourky
Tags: inta, topology
rourky
rourky is offline
#1
Feb17-07, 10:22 AM
P: 7
1. The problem statement, all variables and given/known data

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.

2. Relevant equations None



3. 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
Phys.Org News Partner Science news on Phys.org
Internet co-creator Cerf debunks 'myth' that US runs it
Astronomical forensics uncover planetary disks in Hubble archive
Solar-powered two-seat Sunseeker airplane has progress report
Dick
Dick is offline
#2
Feb17-07, 10:36 AM
Sci Advisor
HW Helper
Thanks
P: 25,178
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?
HallsofIvy
HallsofIvy is offline
#3
Feb17-07, 10:45 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,904
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 [itex]d(x,y)\le d(x,z)+ d(z,y)[/itex] (or [itex]|x-y|\le |x-z|+ |z- y|[/itex]. That should be useful.

Dick
Dick is offline
#4
Feb17-07, 10:56 AM
Sci Advisor
HW Helper
Thanks
P: 25,178

Topology, Int(A) is an open set


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.
rourky
rourky is offline
#5
Feb17-07, 11:19 AM
P: 7
Thanks for your replies guys, problem solved! Yes, I was assuming a topology by a metric, sorry for not stating so.


Register to reply

Related Discussions
K topology strictly finer than standard topology Calculus & Beyond Homework 5
open compacted topology. Differential Geometry 3
Topology: Bijection with Open intervals Set Theory, Logic, Probability, Statistics 3
Topology - How do they know this is open? Calculus & Beyond Homework 4
Question on Basic Topology, open sets Calculus 5