Quote:
Originally Posted by Precept2
Need some feedback on the following Topology proof. Am I allowed to use the part after the "Suppose V1=U2..."?
If T is Hausdorff and x1, x2,…, xn is a finite list of distinct points in T, then there are open sets U1, U2,…, Un each containing one, and only one, of the points x1, x2,…, xn.
Proof: Since T is Hausdorff with finite x1, x2,…, xn, we have a separated set, where x1∈U1,y1∈V1,and U1∩V1=∅. Suppose V1=U2 and y1=x2, V2=U3 and y2=x3,..., Vn-1=Un and yn-1=xn . Each U1, U2,…, Un contains one, and only one of the points from x1, x2,…, xn.
" Suppose V1=U2 and y1=x2, V2=U3 and y2=x3,..., Vn-1=Un and yn-1=xn . Each U1, U2,…, Un contains one, and only one of the points from x1, x2,…, xn."
This is confusing and possibly nonsense - it's hard to tell. You don't need all those "y's". If you have two distinct points, x1,x2 in a Hausdorff space you can just say, "There exists disjoint open sets U1,U2 with x1 in U1 and x2 in U2 by the Hausdorff (or T2) property." No need to bring y's into it.
You've go the right idea proving it by induction - at least that's how I'd approach it. So set up the induction step carefully. First n=2 follows immediately from the Hausdorff property as above.
Induction Step for n>2.
Assume statement holds for n-1. Show it holds for n.
Holding for n-1 means there exist disjoint open sets U1,...,U(n-1) with xi in Ui for i=1,...,(n-1)
Now Show there exists disjoint open sets Vi, i=1,...,n with xi in Vi.
(Hint) The
finite intersection of open sets is an open set.
PairTheBoard