February 26th, 2017, 03:42 PM  #1 
Senior Member Joined: Nov 2015 From: hyderabad Posts: 232 Thanks: 2  Doubts on topology
Hello there! I have a doubt, can anyone please clarify!!! If a set containing interior points as its elements then Is that set needs to be an open set ? this is new to me!! Please someone help!!! Thanks in advance ๐ 
February 26th, 2017, 03:54 PM  #2  
Senior Member Joined: Aug 2012 Posts: 1,922 Thanks: 534  Quote:
That said, some general comments. If a set contains some interior points, it might still not be an open set. For example if $I = [0,1]$ is the closed unit interval, the point $\frac{1}{2}$ is an interior point, since I can find a neighborhood of $\frac{1}{2}$ entirely contained in $I$. What you are asking is if ALL of the points of some set are interior points, then it's an open set. Right? When learning this material it's very important to learn to express your mathematical ideas with precision. Now the answer to that question depends on the exact definition of an open set, and an interior point. If you write down exactly what is an open set and exactly what is an interior point and exactly what it is you're trying to prove, you'll be able to work out a proof. That's the first step in all these problems, to be very mathematically precise and clear. I did not read your attachment in much detail, except to note that you have a very clear handwriting and mathematical style. So I'm sure you can transfer this to the message board format. Toward that end I'd also point you to the use of $\LaTeX$ markup in the forum. You can hit the Quote button on my post to see how it's done. This will serve you greatly in your mathematical career. All math papers are written in $\LaTeX$ these days and if you write up your homework using it, your TA will be endlessly grateful. I hope you don't mind that I gave you general advice rather than answering your specific question. At the level you're studying math, the advice I gave will help you a lot more than just telling you that yes, a set is open if and only if ALL its points are interior points. That's the answer to the question. You should see if you can prove this directly from the definitions, whichever definitions you've been given. There's more than one way to develop this material so you always have to define your terms. Last edited by Maschke; February 26th, 2017 at 04:02 PM.  
February 26th, 2017, 04:55 PM  #3  
Senior Member Joined: Nov 2015 From: hyderabad Posts: 232 Thanks: 2  Quote:
 
February 26th, 2017, 05:08 PM  #4 
Senior Member Joined: Aug 2012 Posts: 1,922 Thanks: 534 
Ok now I got interested in working through a clear example of how this problem should be done. So the first thing I did is to look at your picture again, to see if I could figure out how you define an interior point. And I found a little problem. Quoting from your paper: Let $(X, \mathscr T)$ be a topological space and $A \subseteq X$. A point $x \in A$ is called an interior point if $\exists U \in \mathscr T$ such that $x \in U$ and $U \subseteq A$. Note that I didn't bother to mention that $U$ is an open set, since if $U \in \mathscr T$ then it's open by definition. Now I claim this is an inaccurate definition. According to this definition, every subset of any topological space is an open set. Take $I = [0,1]$ in the reals, which we already know is not an open set. Consider the point $1$. The entire set of reals $\mathbb R$ is an open set (why?) and clearly $1 \in \mathbb R \subseteq \mathbb R$. So by your definition, $1$ is an interior point of $I$ when in fact it is not. Do you see what went wrong? We have to require that $U \subsetneq X$, in other words that $U$ is a proper subset of $X$. Markup note: If you Quote my post, even if you don't reply to it, you can see how I marked up my text to display the math symbols. You don't have to learn this all at once, it takes a while. But if you're planning to study more math, it's a great skill to pick up. Last edited by Maschke; February 26th, 2017 at 05:20 PM. 
February 26th, 2017, 06:07 PM  #5  
Senior Member Joined: Nov 2015 From: hyderabad Posts: 232 Thanks: 2  Quote:
I actually doubted on the notation of the same. please look into the image attached. (written with pencil) Sorry for the inconvinience as I need more time to write in the markup language.  
February 26th, 2017, 06:14 PM  #6 
Senior Member Joined: Aug 2012 Posts: 1,922 Thanks: 534  I'm afraid the image has nothing to do with what we're talking about. You've given the definition of a topology and mentioned the indiscrete topology. Did you post the wrong image?

February 26th, 2017, 06:18 PM  #7  
Senior Member Joined: Nov 2015 From: hyderabad Posts: 232 Thanks: 2  Quote:
You have mentioned in the previous reply that U should be a proper subset of X. I have written that in mathematical way with pencil in the image attached. I wish that is correct ?!  
February 26th, 2017, 06:30 PM  #8  
Senior Member Joined: Aug 2012 Posts: 1,922 Thanks: 534  Quote:
Your definition of a topological space is correct (though a little disorganized for my taste) but we are talking about the definition of an interior point. Last edited by Maschke; February 26th, 2017 at 06:33 PM.  
February 26th, 2017, 07:06 PM  #9  
Senior Member Joined: Nov 2015 From: hyderabad Posts: 232 Thanks: 2  Quote:
Anyway thanks I will rectify the definition ๐  
February 27th, 2017, 11:51 AM  #10 
Senior Member Joined: Aug 2012 Posts: 1,922 Thanks: 534 
Standing by. Ok if you've lost interest or figured it out on your own. Just in case you're waiting for me to respond, I'd be glad to walk through a rigorous proof that a set is open if and only if all its points are interior points.


Tags 
doubts, interior points, open set, topology 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
LCM & HCF doubts  Alexis87  Algebra  3  September 29th, 2013 07:33 PM 
Problem on product topology/standard topology on R^2.  vercammen  Topology  1  October 19th, 2012 11:06 AM 
3 doubts plz help!!  vasudha  Calculus  4  February 22nd, 2012 07:30 AM 
discrete topology, product topology  genoatopologist  Topology  0  December 6th, 2008 10:09 AM 
discrete topology, product topology  Erdos32212  Topology  0  December 2nd, 2008 01:04 PM 