Online introduction to topology.

  1. Are there any good online introductions to topology?
  2. jcsd
  3. JasonRox

    JasonRox 2,303
    Homework Helper
    Gold Member

    Personally, buying a cheap textbook at a second hard store is probably your best bet.

    I bought mine for like $9 or so. I learned a lot. Although it wasn't as thorough as others, I thought it was perfect for a first timer. Perfect for an undergraduate anyways. When I went on to take Topology as a course, we had Munkres. I was able to answer questions without too much difficulty and so on, so I knew the cheap textbook taught me well. It felt good knowing I didn't waste my time reading it.

    The book I got, in case you're wondering, is by Theral H. Moore. I saw it at the University library as well, so I would imagine there exists enough copies around to get a hold of it. The questions weren't too hard. I say there were just right for a beginner. Honestly, I think they should teach out of this textbook as a Topology I course for like 2nd year students.
  4. JasonRox

    JasonRox 2,303
    Homework Helper
    Gold Member

  5. JasonRox

    JasonRox 2,303
    Homework Helper
    Gold Member

  6. mathwonk

    mathwonk 9,957
    Science Advisor
    Homework Helper

    i think i hav e posted some introductroy notes before, maybe in the who wants to be thread?
  7. Well keep trying! apparently, if I am to learn differnetial geometry properly i need some general topology.
  8. mathwonk

    mathwonk 9,957
    Science Advisor
    Homework Helper

    you might strt with posts 115, 116 in the who wants to be a mathematician thread in academic advice.
  9. What prerequisite math is needed for topology?
  10. mathwonk

    mathwonk 9,957
    Science Advisor
    Homework Helper

    probably calculus.
  11. It would be a little rough doing topology without first doing some proof based calculus.
  12. JasonRox

    JasonRox 2,303
    Homework Helper
    Gold Member

    I did Topology before Analysis and I found it to be fine, in fact probably better. Of course, Metric Spaces is easier after Analysis and so on.

    Otherwise, I don't think there is any pre-requisites to Topology.
  13. mathwonk

    mathwonk 9,957
    Science Advisor
    Homework Helper

    there is a high school level intro to topology by chinn and steenrod, with almost "no" prerequisites. it is excellent, chinn is a decorated high school teacher and steenrod is one of the most outstanding topologists of the 20th century, from princeton.
  14. mathwonk

    mathwonk 9,957
    Science Advisor
    Homework Helper

    here is one from for $20:

    First Concepts of Topology (Paperback)
    by N. E. Steenrod (Author), W. G. Chinn (Author), William G. Chinn (Author)
    (2 customer reviews)
    Price: CDN$ 20.40 & eligible for FREE Super Saver Shipping on orders over CDN$ 39. Details

    Availability: Usually ships within 4 to 6 weeks. Ships from and sold by

    6 used & new available from CDN$ 13.51
  15. mathwonk

    mathwonk 9,957
    Science Advisor
    Homework Helper

    heres an even cheaper one:

    First Concepts of Topology
    Chinn, W. G. & Steenrod, N.e.
    Bookseller: aridium internet books
    (Cranbrook, BC, Canada) Price: US$ 7.90
    [Convert Currency]
    Quantity: 1 Shipping within Canada:
    US$ 8.96
    [Rates & Speeds]
    Book Description: SInger, 1966. Trade Paperback. Book Condition: VG. First Printing edition. Usual library markings in and out. non-circulating. very light use, clean crisp pages. edge rub/wear. A solid copy.; Ex-Library. Bookseller Inventory # 10917
  16. Would you consider it complete enough to learn differential geometry the "right " way?
  17. mathwonk

    mathwonk 9,957
    Science Advisor
    Homework Helper

    If you were asking whetehr chinn and steenrod has akll one needs to elarn diff geom right, the answer is NO.

    but it is a start. the right question is not does this book have everything i need, but does this book have something i need.

    to lesarn differential geometry one needs very little topology. maybe you should search the web for free topology books. there are not many but there are several with the sort of boring basic point set topology, out there which may be what you want.

    the more interesting and fun stuff involves some algebra, homology, homotopy, intersection theiory. after reading my posts in who wants to be a mathematician thread referred to above, here is more free introduction to ideas of topology: (but some msymbols like little curly d's, and maybe infinity symbols will not reproduce right)
    4220, lecture 1,
    First steps, some problems and approaches to them.

    The goal of this course is to use calculus (i.e. the concepts of continuity and differentiability) to prove statements such as: a complex polynomial of positive degree always has roots, a smooth self mapping of the disc always has fixed points, or a smooth
    vector field on a sphere always has zeroes, and higher dimensional generalizations of them.
    These are called existence statements. They are called such because usually we do not produce the solutions whose existence is claimed, rather we deduce some contradiction from the assumption that no solution exists. Thus it is entirely another matter to obtain specific information about these solutions. I want you to give some thought in each case to the problem of actually finding, or at least approximating, these solutions.
    On the other hand we will often prove results about the "number" of such solutions. We use quotation marks because again there is no guarantee the actual number of solutions will obey our prediction. We will define at times a "weighting" for each solution, and will prove that either there are infinitely many solutions, or if the number of solutions is finite, the sum of the weights equals our number.
    Since a non solution has weight zero, it follows that if our predicted number is non zero, then there is at least one solution. Moreover if there is only one solution, then it must have weight equal to our predicted number. This is a big improvement, since in some cases we can actually find some of the solutions and their weights, and if their sum is deficient from our prediction, we then conclude there must be more solutions. This is a useful tool in plane algebraic geometry called the strong Bezout theorem.
    To take advantage of this, poses the challenge of actually computing these weights. In each case we encounter, please give some thought to how to calculate the weights, or the actual number of solutions.

    Let's recall one of the earliest cases of an existence theorem of this type, the so called "intermediate value theorem".

    Theorem (IVT):
    If f:[a,b]-->R is continuous, and f(a) < 0 while f(b) > 0, then there is a number c with a < c < b and f(c) = 0.

    This proof is based on the completeness axiom for the real numbers: every non empty set of reals which is bounded above has a real least upper bound.

    proof of theorem: Consider the set S = {x in [a,b] such that f(x) <= 0}. S contains a, so S is non empty, and b is an upper bound for S, so S has a least upper bound L with a <= L <= b. If f(L) < 0 then L < b so f is also negative at some number between L and b, so L is not even an upper bound for S. If f(L) > 0, then L > a, so all members of S are less than L but there is an interval of numbers less than L where f is also positive, i.e. which are not elements of S. Hence every element of that interval is an upper bound of S, so L is not the least upper bound of S. This contradiction proves that f(L) is neither positive nor negative, hence must be zero. QED.

    abstract version of this proof: If f is continuous on D, and D is connected, then f(D) is also connected. In R the only connected sets are intervals, thus f([a,b]) is an interval. QED.

    Let's extend the argument a bit.
    Corollary: If f is a polynomial of odd degree, with real coefficients, then f has a real root.
    proof: Assume f is monic. Then the limit of f(x) is ? as x-->?, and is -? as x --> -?. Hence there exist a,b, with a < b and f(a) < 0 and f(b) > 0. QED.

    Corollary: If f is a differentiable function with no critical points in [a,b] and with f(a) < 0 < f(b), then f has exactly one root in [a,b].
    proof: Uniqueness follows from the MVT. QED.

    Cor: If f is a polynomial of even (odd) degree with real coefficients, and no root is a critical point, then f has a finite even (odd) number of roots.
    proof: (even case) By the hypothesis that f'(x) != 0 when f(x) = 0, the graph of f crosses from one side to the other of the x axis at each root, but the limit of f(x) is ? both as x--> ? and as x--> - ?. So it crosses the x axis an even number of times, provided the number of crossings, i.e. roots, is finite.
    To show the number of roots is finite, note that if no root is a critical point, i.e. if f'(x) != 0 when f(x) = 0, then each root is isolated, i.e. each belongs to an open interval in which there are no other roots. Now since the limit of f(x) is ? both as x--> ? and as x--> - ?, we can choose a bounded closed interval [a,b] containing all the roots. Then by compactness of this interval an infinite set of roots would have an accumulation point. But such an accumulation point would be a non isolated root, contrary to hypothesis. QED.

    Note: This last corollary introduces and exploits the concepts of transversality and regular values. Notice too that it includes a version of the idea of the weight of a solution, since where the graph crosses the x axis the weight is +1 if f crosses in an increasing direction and -1 if f crosses in a decreasing direction. Then the theorem says the sum of the weights is one for odd degree monic polynomials and zero for even degree ones.
    We could also define the weight of a root where the graph stays on the same side of the x axis (and f' = 0) to be zero, provided we relax the assumption that roots are not critical points. (in this case however there can be infinitely many roots, so adding up their weights may not be possible.) Note that a root of weight zero can disappear if the graph is wiggled arbitrarily little, but not so for a root of non zero weight. This introduces the concept of "stability" of a root of non zero weight.

    Here as an easy corollary is a "fixed point" theorem.
    Cor: If f:[a,b]-->[a,b] is continuous, then f has a fixed point, i.e. there is some point x in [a,b] with f(x) = x.
    proof: We try to translate the conclusion into that of the IVT, i.e. try to replace the existence of a fixed point by the existence of a zero. Consider g(x) = f(x) - x. Then f has a fixed point at x if and only if g(x) = 0. Now g:[a,b}--> R is continuous and g(a) = f(a)-a >= 0 since f(a) is in [a,b]. Also g(b) = f(b)-b <= 0. Thus either a or b is a fixed point, or if neither is, then f has one between them, by the IVT. QED.

    Note: These corollaries are really easy and fun, as compared to the IVT which is hard and boring. Why then do we teach only the IVT in calculus courses? Lucky us, this course is about deducing the easy fun stuff from the hard boring stuff. (I admit I like the hard boring stuff too, so remind me to ease up if I begin to stress it too much.)
  18. mathwonk

    mathwonk 9,957
    Science Advisor
    Homework Helper

    intro to top. cont. 2)

    Limitations on the method:
    I am tempted to call these "chicken little" arguments, i.e. we prove "either there is a solution or else the sky would fall, and anyone can see the sky is not falling." In this case the "sky falling" is the statement the reals are not complete.
    I.e. how close are we to actually finding a solution of f(x) = 0 by the IVT argument? We know there is a solution between a and b, but where? Well we could subdivide the interval further, into subintervals of length 1/10n, say. If we evaluate f at every endpoint of these subintervals, we can reapply the argument and deduce that there is a solution, not necessarily the ¬ in the proof, in one of these subintervals, assuming it is actually practical to evaluate f at these points. Thus in a finite amount of time, maybe large, we can find a number that is within any desired distance of a solution. I.e. we can find for each n, a point that agrees with a solution up to the first n decimal places.
    How close is such an approximation to being a solution? There are two ways to measure how close µ is to being a solution of f(x) = 0. We could ask that |L-µ| be small, where L is an actual solution, or we could ask that f(µ) be close to zero. These are somewhat different. I.e. given any N, and any L in [a,b], it is possible to construct a continuous function f on [a,b] which equals -1,000 at every point x <= L -1/10N, and equals 1,000 at every point x >= L + 1/10N. Thus if N is very large, and if in the finite amount of time we allot to the problem, we do not choose x close enough to L, we might always have |f(x)| >= 1,000, for all "approximate solutions" of f(x) = 0.

    Improvements on the method
    What we really want in an approximate solution of f(x) = 0, is a point x which is near a solution, and also with f(x) close to zero. For this it would help to know that f is differentiable and to have a bound on the derivative of f. I.e. if we knew the derivative of f was never larger than a certain bound, then by the MVT we could bound how fast f grows, and thus know how fine to make our subdivision to get a good approximate solution, i.e. one with f(x) small. E.g. if we know the derivative of f is never greater than 10M, then on a subinterval interval of length 1/10N+M it cannot grow more than 1/10N. Thus for any subinterval with f negative at one end and positive at the other, all points x of this subinterval will be close to an actual solution, and will also satisfy |f(x)| <= 1/10N. Thus differential calculus is a big help in studying these questions.

    Are these computational limitations so serious as to make our use of topological and differential tools pointless? I think not. It is true we are limited in the precision of the results we obtain, but without these existential tools we would be very hard pressed to say anything at all about such difficult questions as those we will attack. In fact it is exactly their lack of precision that gives these tools their increased flexibility and hence their power. If we are not happy with these imprecise results, fine, try and do better. If we cannot, accept what they give us in the meantime.
    Here is an example from my own research interests in algebraic geometry. It was proved over 20 years ago, using a variation of the inverse function theorem, that most “Prym varieties” arise from a unique double cover of curves, but to this day almost no examples of Prym varieties which do in fact arise uniquely are known. This is the question of the number of solutions of the equation p(X) = P, where p is the “Prym map”.
    To this day the much harder problem of making this result precise is still unsolved. One step toward this result, uses deformation theory (i.e. abstract differential calculus).
    In this problem there is a good guess as to what the answer is, i.e. what the right collection of unique solutions X is. In that situation one can try to use differential topological methods to verify the guess. In this way one can sometimes use these tools to get precise results too. For example suppose one wishes to show that a map from the circle to the plane is everywhere injective. If one can show the map has injective derivative everywhere, that the range is contained in the circle, and that there is at least one point of the range with only one preimage, then I claim that all points of the circle have exactly one preimage. Can you see intuitively why?
  19. mathwonk

    mathwonk 9,957
    Science Advisor
    Homework Helper

    intro to top, cont, 3)

    Now if we really understand the IVT argument above, shouldn't we be able to generalize it? Suppose we consider a complex polynomial
    f:C-->C and ask whether it has a zero. This time restricting to an interval is not so useful since we cannot conclude that the image curve in C passes through zero just from knowing its endpoints are on opposite sides of zero. Try to understand the structure of the previous argument, i.e. the topology. We had an interval [a,b], and we deduced the existence of a solution in the interval just by looking at the function restricted to the endpoints {a,b}. What would be an analog of that in two dimensions?
    We could look at our polynomial f on a square in C, or perhaps a disc. In order to deduce the existence of a root of f(x) = 0 lying in the disc, what would we look at? As an analog of the endpoints of the interval perhaps we should look at the restriction of f to the boundary of the disc. What behavior of f on the boundary would lead us to conclude there is a solution inside the disc? Let us take a very simple case. What if f were the identity on the boundary of the unit disc? Would it follow that f(x) = 0 has a solution inside the disc?
    This is a direct analog of the IVT as follows. Consider this question: Is there a continuous map g:[a,b]--> {a,b}, from the interval [a,b] to its set of endpoints {a,b}, which maps a to a, and b to b? If there were a continuous map f:[a,b]-->R with f(a) < 0 and f(b) > 0, but with no point mapping to zero, then we could find a map g as above in the following way. Since the map R- {0}--> {a,b} sending negative numbers to a and positive numbers to b is continuous, if we compose f with this map we would get a map g:[a,b]--> {a,b}, with g(a) = a and g(b) = b.
    Thus the question whether there is a continuous map f:[a,b]-->R-{0} with f(a) < 0, and f(b) > 0, is equivalent to the question of whether there is a continuous map g:[-1,1]--> {-1,1} with f(-1) = -1, and f(1) = 1. This form of the question can be generalized to higher dimensions.

    Conjecture: suppose f:C-->C is continuous and that the restriction of f to the unit circle {z: |z|*= 1} is the identity map. Then we claim f(z) = 0 has at least one solution for |z| < 1.
    How would we prove this? Remember the philosophy is to deduce a catastrophe from the falsity of the result, so assume it is false. I.e. that f maps the whole unit disc into C-{0}. Then what could one do? By analogy with the final form above of the IVT, after composing f with a retraction onto the circle, via z --> z/|z|, one could deduce there is a continuous map of the disc to its boundary circle which restricts to the identity on the boundary. Is this possible? Why or why not?

    Retraction problem: There is no continuous map D-->?D of the disc onto its boundary, which restricts to the identity map on the boundary.

    This is the hard result, analogous to the IVT above. It already implies the conjecture above that a polynomial f:C-->C which restricts to the identity on the unit circle has a root inside that circle. We can also use it to easily prove the Brouwer fixed point theorem.

    Fixed point theorem: Any continuous map f:D-->D from the disc to itself has a fixed point.
    proof: Assume not. Then for every x in D, f(x) and x are different points, hence determine a vector. Running along this vector from f(x) to x and then on until we reach the boundary gives a continuous map from D-->?D, which is the identity on the boundary, contradicting the retraction principle. QED.

    Counting roots
    What about results on the number of roots? I.e. if a complex polynomial restricts to the identity on the unit circle, how many roots do you think it should have inside that circle? How does the derivative of a complex polynomial behave? We will need this to generalize the methods above. I.e. recall the derivative of a complex polynomial at the point a, is a complex linear transformation L:C-->C.
    If L is non zero, it is a complex linear isomorphism, in particular it is an orientation preserving injection. Thus if x is a root of f which is not a critical point, then near x, by the inverse function theorem f itself is also an orientation preserving injection. In particular f maps a small oriented disc centered at a, onto a small similarly oriented (deformed) disc centered at 0. If f restricts to the identity on the unit circle then how many roots do you think f can have inside the circle? Why?
    Do you know how f behaves near a point where the derivative is zero? Does this suggest to you whether the derivative of an f can be zero inside the unit circle, if f itself is the identity on the unit circle? What is the key concept involved here, and how can we measure it? (Winding number. Sum of interior winding numbers at all roots, equals winding number of boundary.)
Know someone interested in this topic? Share this thead via email, Google+, Twitter, or Facebook

Have something to add?
Similar discussions for: Online introduction to topology.