James Tauber's Blog 2005/01/29
jtauber, jtauberer, jtauberest
Recently a Technorati search for "Tauber" I subscribe to came up with various references to a Joshua Tauberer who won the Technorati Developers Contest for GovTrack.us.
Well, I discovered from Language Log that Joshua Tauberer is a doctoral student in linguistics at UPenn.
We actually have common interests within linguistics: formal syntax, dependency grammar, etc.
I got in contact with Josh and he pointed out how amusing it would be if we co-authored a paper. It's not entirely out of the question.
by jtauber : Created on Jan. 29, 2005 : Last modified Feb. 8, 2005 : (permalink)
Poincare Project: More on Separation Axioms
We previously defined types of topological spaces called T_0, T_1 and T_2 spaces. I've tried below to capture the distinction between them informally with a diagram.
Recall that a topological space is:
- T_0 iff for every pair of points x, y there is an open set U such that either x is in U but y is not or y is in U but x is not.
- T_1 iff for every pair of points x, y there are open sets U and V such that x is in U but y is not and y is in V but x is not.
- T_2 iff for every pair of points x, y there are open sets U and V such that x is in U, y is in V and U and V are disjoint.
UPDATE: next post
by jtauber : Created on Jan. 29, 2005 : Last modified Feb. 8, 2005 : Categories poincare_project : 0 comments (permalink)