separation axiom

Re: separation axiom

For T_0, you want to find an open set that contains a but does not contain b, where a is not equal to b. Are you having problems with this?

For T_1, remember that the sets you wish to separate two points with need not be open. In fact, because the cocountable topology is not Hausdorff, it is actually required that they are not open. With T_1, all that is required is that their closures not intersect. With this is mind, your life is made much easier if you choose closed sets.

"In the real world, this would be a problem. But in mathematics, we can just define a place where this problem doesn't exist. So we'll go ahead and do that now..."