Previously, we introduced the notion of a metric space.
Once you have a metric space (that is, a set of points and a function that specifies how distant you consider any two points) then you can start to develop notions of continuity and limits that form the basis for analysis.
For a metric space (X, d), let us call all the points less than r away from a point a the open ball of radius r at point a. In other words, B(X, d, a, r) = {x in X | d(a,x) < r}.
We can then define continuity by saying that a function f between the metric spaces (X1, d1) and (X2, d2) is continuous at point a in X iff, given a positive r2, there is a positive r1 such that f(B(X1, d1, a, r1)) is a subset of B(X2, d2, f(a), r2). In other words, f is continuous at point a if you can always provide an open ball at a that maps to points within an arbitrarily small radius open ball at f(a).
Once you think of continuity in terms of open balls, you're able to do something interesting. Imagine that you don't know the distance function of either the domain or co-domain of the function but someone who does has precalculated all the open balls for you. Of course, for most metric spaces, there would be an infinite number of these, but the key point here is that you only need to know what the open balls are to test continuity. You don't need to know the distance function.
Let's call a set of points with the open balls precalculated an open ball space. Clearly it is easy to turn any metric space into an open ball space. You can't go the other way, however, as we've thrown out what the actual radius of each open ball is.
But we're now able to talk about continuity with a more general set structure than a metric space. There are many other notions that can be introduced on an open ball space, some of which we'll get to on our journey through the poincare conjecture.
In the next poincare project entry, however, we will take one more step of abstraction and get to the very core concept of topology itself.
UPDATE: next post
The original post was in the category: poincare_project but I'm still in the process of migrating categories over.