Is Int(A) + ext(A) dense in some cases?

  • Thread starter Thread starter gonzo
  • Start date Start date
AI Thread Summary
The discussion revolves around the relationship between the interior of a set A (int(A)) and the exterior of A (ext(A)), particularly whether their union can be non-dense in a space X. Participants clarify that int(A) refers to the interior of A, while ext(A) is the interior of the complement of A. It is noted that both int(A) and ext(A) are open sets, and their union is also open. A key point raised is that if int(A) equals ext(A) and both are empty, the closure can also be empty, thus not being dense in the space. The conversation concludes with an acknowledgment of the nuances in terminology, particularly regarding "interior points."
gonzo
Messages
277
Reaction score
0
Can someone help me find an example of how the union of int(A) and ext(A) doesn't have to be dense in some space X? Thanks.
 
Physics news on Phys.org
Define your terms. What are int(A) and ext(A)? The former I'm assuming is the interior of A, and the latter is ... the interior of the complement of A (= the complement of the closure of A)? And post your thoughts on the matter.
 
int(A) = interior of A
ext(A) = exterior of A, or the interior of the complement of A

My thoughts are thus: int(A) and ext(A) are both open sets, so their union is an open set, and if we let B = union of int(A) and ext(A) then B = int(B). So the only way the closer is not equal to the entire space (making it dense) would be if the complement of B had some open points so that ext(B) was not empty.

However, since the complement of B is a subset of the complement of A, and ext(A) is all the open points of of the complement of A, the only way I can see that this would have a chance of being possible is if somehow you could construct a space where the int(A)=ext(A) for some set in that space (neither of which equaled the entire space). But I can't figure out how to construct a space where this is possible.

Those are my thoughts.
 
What in the world are "open points"? Do you mean "interior points" of a given set? In general topology, points do not have any properties- "points are points".
 
Sorry, bad phrasing. I figured it should have been obvious what I meant from context. I believe my book calls them "interior points", which are points that are contained in some open set that is completely contained in the set in question.
 
Nevermind, I got it. I forgot about the possibility that int(A) and ext(A) could both be the empty set, and thus the closure would also be the empty set (which I guess meets my criteria anyway of int(A) = ext(A)).
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top