Filed under: Math, Topology | Tags: counterexamples, Math, metric topology, point-set, topology

So far we’ve seen two basic families of properties of topological spaces. The connectedness axioms tell us in what ways it is possible to break our space apart into pieces. The compactness axioms tell us how bounded the space is. What we’re going to look at today is a set of axioms that deal with cardinality. It should be mentioned that topology, for the most part, doesn’t really care about large cardinals — at most, we’re dealing with , the cardinality of our favorite counterexample , and , the cardinality of the reals. These are equal if we accept the continuum hypothesis, and in either case we often talk about them in terms of countable subsets — sequences and the like. The reason that countability is so important is that the properties we’re about to study are typical of metric spaces, and metrizability is a central question of point-set topology.

Filed under: Math, Topology | Tags: counterexamples, Math, point-set, topology

Back to topology. The interesting thing about compactness, as I see it, is that its definition isn’t very intuitive. We want to talk about what are basically “closed and bounded” sets without really using closedness, which doesn’t behave well with subspaces, or boundedness, which doesn’t behave well with anything. At the time this idea came about in the early part of this century, the mathematicians ssewho invented it (Borel, Weierstrass, and Bolzano, mainly, I think) messed around with a couple other definitions but they turned out to rely on intuition from Euclidean space, and so not be nearly as useful. In this post, we’ll study those other definitions.

I debated with myself for a long time about what to do first: this, the separation axioms (which measure how good the topology is at distinguishing disjoint sets), or the countability axioms (which measure, well, how countable the topology is). In a sense, each one depends on the other two for examples and theorems, and in this case, though it’s easy to show that all the properties I’m listing are *different*, we’ll need to refer to the other properties to discover when they are the *same*. So I expect this post to be brief; after we have all the other properties defined, it’ll be easier to talk about what implies what.

Filed under: Topology, Uncategorized | Tags: differential geometry, elementary, geometry, Math, topology

I just wrote a paper about the Sphere Theorem for my differential geometry class. Since I can’t really get it out of my head, I thought it’d be fun to use to give a brief overview of differential/Riemannian geometry, in more or less layman’s terms. This is somewhat of a departure from my normal posting style: though you’ll get more out of this if you’ve understood the topology posts so far, I’ll try to write in broad enough strokes that calculus is the only prerequisite. Really, the most complicated idea behind this is the idea of a map from $\mathbb{R}^m$ to $\mathbb{R}^n$ being differentiable. I also refer to vectors, but I think that that’s a pretty intuitive concept, in general.

Most of the topological work we’ve been doing has been in the area of constructing new topologies. We’re now ready to move on and look at their properties. We’re looking in particular for properties that are *intrinsic to the topology*: we want them to be preserved under homeomorphism (and arbitrary continuous maps, if possible) and not depend on other structures like a metric, a vector space structure, or a specific basis. Of course, it’s always nice to apply topological properties to such specific structures.

We’ve seen a couple examples, importantly connectedness and path-connectedness (and their local versions) and metrizability. Boundedness was a non-example — the interval is homeomorphic to — and in fact we found a bounded metric for any given metric that generated the same topology. But the idea of a space being “small” is nevertheless compelling. In , for example, the Extreme Value Theorem states that continuous functions on a closed interval attain both a minimum and a maximum, as opposed to approaching either asymptotically. This and other related theorems make doing calculus on closed intervals really nice. All these properties of closed intervals derive from a single topological one: compactness.

(Be warned: this is a pretty long post! Mostly because I give a very careful proof of a theorem I consider important.)

The last way to induce a topological space is by taking a quotient. This can be compared to taking a quotient of groups in the same way that the product topology corresponds to a direct product of groups, the subspace topology corresponds to a subgroup, and so on. The quotient topology is a bit less intuitive than the other constructions we’ve done, but once you get the hang of it, it turns out to be very useful.

Filed under: Analysis, Math, Topology | Tags: analysis, Math, metric topology, pretty pictures, topology

It looks like, in the homestretch, I’ve been unable to post every day, so I’m going to consider myself out of MaBloWriMo. Which is a pity. On the other hand, I’d prefer, in the end, to post better posts less frequently and on a wider variety of topics.

In the interests of total confusion, let’s discuss metrics, with have almost nothing to do with measures, despite the similarity in name! Measures have to do with the sizes of sets of points, and are defined only on -algebras. Metrics have to do with the distance between points, and are everywhere defined. Metric topology was perhaps the earliest field of topology to be studied, and so it’s not surprising that a metric on a space will give you a natural topology. Going the other way, from topologies to metrics, was a central problem of point-set topology in the 20th century.

Filed under: Analysis, Math | Tags: analysis, banach-tarski, MaBloWriMo, Math, topology

This is very late, but don’t worry, I’ll get another one up tonight.

One of the big lessons learned from the Banach-Tarski paradox is that even in something as simple as a unit ball, we can find sets of impossible or undefinable volume. In the discussion preceding the proof, I also mentioned the paradoxes surrounding length of fractal curves in and area in . Together, these present us with a crisis: how can we characterize length, area, and volume? The answer to this crisis was developed around the turn of the century by heroes like Borel and Lebesgue, and it’s called measure theory.