
#1
Oct104, 08:30 AM

P: 347

What exactly is topology? I know it's used a lot in modern physics, but what other applications does it have?
Now, a little bit on the theoretical side, what's difference between pointset, algebraic, geometric and differential topology? Can anyone provide an example problem on each? What are the prerequisites to learning topology? And, finally, what level is it considered to be (i.e. overambitious highschool, undergrad or grad)? 



#2
Oct104, 09:14 AM

Sci Advisor
HW Helper
P: 9,398

In the US, topology is probably grad, or advanced undergrad.
It is the study of topological spaces, that is spaces that possess a topology, we do'nt need to explain what those are yet. the different flavours (algebraic, differential etc) tell you what subclass, if you like, of topologicl space you study and the techniques you will 'use'. For instance classifying a topological space in a sense we can make precise is very difficult, in fact not possible with the current techniques. You give me two descriptions of a topological space and I almost certainly won't be able to tell you if they are essentially the same. but there are ways of telling them apart and in certain cases that data is sufficient. One way to do this is to try and find a useful way of assigning a group or ring to the space. that is algebraic topology. you can also look at continuously differentiable functions on the space, and that is differential topology. obviously there's more to it than that. here's an example or two. Imagine an annulus, that is a circular disc with a hole in the middle, like a cd. pick a distinguished point on the surface. what kinds of paths can you take on the surface that start and end at that point? roughly speaking you can loop once round the hole, or twice round the hole and so on, and you can loop the other way, that's like minus 1 loop round the hole. given a loop, you can then do another loop afterwards, so looping twice round, then going another three times round is like going 5 times round. So, to this punctured disk i can assign the integers in as a group that describes the loops i can make. If there were two holes i could loop around them in more complicated ways, and there you get ZxZ two copies of the integers. this is called the fundamental group, it almost, but not quite, measures the number of holes. that's an example of algebraic topology. i can't think of an elementary hand waving example for differential geometry, but i'm not a differential geometer. Let me explain roughly what a topological space is: It is a set X, with a collection of distinguished subsets of X, often denoted T. So (X,T) is a topological space. the topology is T, and one set may have many different kinds of topologies on it. the elements in T are called *open*, if t is in T, then t^c, the complement of t is called a closed set. The collection of subsets must satisfy certain properties, not just any old collection will do. point set topology is traditionally just the study of an abstract topological space like this and its topology without any other baggage. if you'd like the full whack of details say so, but hopefully this has given you an idea of what's iinvolved 



#3
Oct104, 09:48 AM

P: 347

Thanks a lot. 



#4
Oct104, 10:46 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,896

Topology (a few questions)
Essentially, topology is the abstract study of limits and continuity.




#5
Oct104, 08:47 PM

P: 943




#6
Oct204, 09:00 AM

P: 153





#7
Oct204, 09:08 AM

Emeritus
Sci Advisor
PF Gold
P: 16,101

Here's an example of what matt grime means:
Suppose I told you S is the set of all complex projective solutions to the equation y^2 z = x^3  x z^2. What kind of shape does S have? Is it homeomorphic to a sphere? A torus? A Klein Bottle? A hole in a hole in a hole? (the answer is torus) 



#8
Oct204, 09:14 AM

P: 153





#9
Oct204, 09:32 AM

Emeritus
Sci Advisor
PF Gold
P: 16,101

If S is a subset of a topological space T, then S inherits the topology from T. A set is open in S iff it is the intersection of an open set of T with S.
As a simple example, take the interval [0, 1) in R. This is a subset of R, so it inherits the topology of R. A set is open in [0, 1) iff it is the intersection of an open set in R with [0, 1). So, for example, [0, 1/2) is an open set in [0, 1) because it is the intersection of (1/2, 1/2) with [0, 1). Oh, note that I changed the problem from affine 2space to projective 2space... I almost forgot that you have to include the "point at infinity" to get the isomorphism with the torus. 



#10
Oct204, 09:41 AM

P: 153





#11
Oct204, 09:55 AM

Emeritus
Sci Advisor
PF Gold
P: 16,101

Definition: Let [itex](X, O)[/itex] be a topological space, and let [itex]S \subseteq X[/itex]. Define [itex]O_S := \{ U \cap S \,  \, U \in O \}[/itex]. Then, the pair [itex](S, O_S)[/itex] is a topological space, called the inherited topology from [itex](X, O)[/itex], or the restriction of [itex](X, O)[/itex] to S. (Someone correct my phrasing please!)
In other words, a set is open in the inherited topology (also said to be open in S or open relative to S) iff it is the intersection of S with an open set from the parent topology. Equivalently, a set V is said to be open in S iff every point P of V has a neighborhood U such that [itex]U \cap S \subseteq V[/itex]. For the solutions to y^2 = x^3  x, I'm giving it the topology it inherits from [itex]\mathbb{P}^2(\mathbb{C})[/itex]. (Which, incidentally, is the same topology as giving it the inherited topology from [itex]\mathbb{C}^2[/itex] and then compactifying by adding a single point at infinity) Hrm, I guess there is a more constructive way to specify the topology: let S be the set of solutions to y^2 = x^3  x, adjoined with a single point at infinity. That is, [tex] S := \{ (x, y) \in \mathbb{C}^2 \,  \, y^2 = x^3  x \} \cup \{ \infty \} [/tex] Then, the neighborhoods of S are given by: [tex] N(P, \epsilon) := \{ Q \in \mathbb{C}^2 \cap S \,  \, P  Q < \epsilon \} [/tex] where [itex]P \in \mathbb{C}^2 \cap S[/itex] and [itex]\epsilon > 0[/itex] and by [tex] N(\infty, M) := \{\infty \} \cup \{ Q \in \mathbb{C}^2 \cap S \,  \, Q > M \} [/tex] where [itex]M > 0[/itex]. 



#12
Oct204, 11:35 AM

P: 439

I was just reading about topology last night. Let's see if I can recall what I read. Henri Poincare was the guy that came across it. Continuity is what I read about. Squares and circles are the same to a topologists, since they can deform into each other.




#13
Oct204, 07:52 PM

P: 943

1. Urysohn metrization theorem (the first deep theorem in pointset topology): Every regular space X with a countable basis is metrizable. 2. Ascoli's theorem: Let X be a space a let (Y,d) be a metric space. Give C(X,Y) the topology of compact convergence; let F be a subset of C(X,Y), then a) If F is equicontinuous under d and the set F_a = {f(a)  f in F} has compact closure for each a in X, the F is contained in a compact subspace of C(X,Y) b) the converse holds if X is locally compact Hausdorff I've only done pointset; from what I got out of it was to take concepts from analysis like convergence, open/closed sets, metric spaces, etc & apply them to sets other than the real or complex numbers. Algebraic topology is a kind of extention of geometry where what you want to do is to find out what shapes/figures are the "homeomorphic" (= if there is a continuous bijection from one figure to the other) From what I keep hearing, the ultimate topology text is the one by Dugundji (Allyn & Bacon, 1960s) but I've never looked at it; it's never in the library. The textbook for the course I did was (of course) the one by Munkres, which was good; the one by Kelley & the one by Willard (< Canadian content!) are real good too. 



#14
Oct304, 09:44 AM

Sci Advisor
HW Helper
P: 9,398

all simply connected compact 4 manifolds are homeomorphic to S^4. when yo'uve got an answer, let me know. That one is fairly easy as it happens. When you're done try the poincare conjecture, or the geometrization conjecture. One more I'd be interested in is if two quasicoherent sheaves on an algebraic variety have the equivalent derived categories what can you tell me about the underlying variety, particulary if it is BG for some G. 



#15
Oct304, 10:03 AM

P: 153





#16
Oct304, 12:47 PM

Sci Advisor
HW Helper
P: 9,398

but what you said is true, it just isn't very useful unless you know a priori that the spaces are obviously in some bijective correspondence, ie have the same (isomorphic as sets) underlying set.
here's an example from Riemann surfaces. Every torus with analytic atlas is realized as a quotient of C by a lattice. These are isomorphic as sets, homeomorphic as topological spaces, even as manifolds, but they aren't isommorphic as analytic manifolds. Any Lattice is given by two noncolinear complex numbers (ie whose ratio is not real). They are equivalent as Riemann surfaces only if the ratios are the same. 



#17
Oct304, 08:39 PM

P: 943

check this out:
A Hausdorff space X is a topological space in which for each pair x_1, x_2 of distinct points of X there exist neighbourhoods U_1, U_2 of x_1, x_2, respectively, that are disjoint. So in spaces which aren't Hausdorff a sequence can converge to multiple limits, and the limits can be anything! example for devious: just take the constant sequence {b_n}. That converges to b, but it also converges to a and also to c, lol. Pretend that x_n is a sequence of points of X that converge to x. If x doesn't equal y let U & V be disjoint neighbourhoods of x & y, respectively. Since U contains x_n for all but finitely many values of n, the set V cannot. So x_n cannot converge to y. 



#18
Oct404, 06:14 AM

Sci Advisor
HW Helper
P: 9,398

It should be noted more clearly that Fourier_jr is using the topological definition of convergence. A point x is a limit of the sequence x(n) if for any open set, O, containing x, all but finitely many of the elements of x(n) are in O.



Register to reply 
Related Discussions  
topology questions  Calculus  5  
My Topology Questions  General Math  10  
My Topology Questions  Linear & Abstract Algebra  44  
My Topology Questions  General Math  8  
Topology questions  Help ?!  Set Theory, Logic, Probability, Statistics  4 