Topology Definition and 816 Threads

In mathematics, topology (from the Greek words τόπος, 'place, location', and λόγος, 'study') is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself.
A topological space is a set endowed with a structure, called a topology, which allows defining continuous deformation of subspaces, and, more generally, all kinds of continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and homotopies. A property that is invariant under such deformations is a topological property. Basic examples of topological properties are: the dimension, which allows distinguishing between a line and a surface; compactness, which allows distinguishing between a line and a circle; connectedness, which allows distinguishing a circle from two non-intersecting circles.
The ideas underlying topology go back to Gottfried Leibniz, who in the 17th century envisioned the geometria situs and analysis situs. Leonhard Euler's Seven Bridges of Königsberg problem and polyhedron formula are arguably the field's first theorems. The term topology was introduced by Johann Benedict Listing in the 19th century, although it was not until the first decades of the 20th century that the idea of a topological space was developed.

View More On Wikipedia.org
  1. B

    Topology - Gluing two handlebodies by the identity

    Hello all, I have a question I'm having a hard time with in an introductory Algebraic Topology course: Take two handlebodies of equal genus g in S^3 and identify their boundaries by the identity mapping. What is the fundamental group of the resulting space M? Now, I know you can glue two...
  2. M

    Trivial topology on an arbitrary set?

    I've just started looking at Rudin (Real and complex analysis, the big one) in which he offers the following definition (1.2): a)A collection \tau of subsets of a set X is said to be a topology in X if \tau has the following three properties: i) \emptyset \in \tau and X \in \tau ii)...
  3. D

    How Do Basis and Topology Definitions Interact in Set Theory?

    As I understand it a topology on a set X is a collection of subset that satisfy three conditions 1) The collection contains X and the null set 2) It is closed under unions (perhaps a better way to say this is any union sets in this collection is again in the collection). 3) The intersection...
  4. quasar987

    The universal property characterizing the quotient topology

    I am trying to show that if X is a topological space, ~ an equivalence relation on X and q:X-->X/~ the quotient map (i.e. q(x)=[x]), then the quotient topology on X/~ (U in X/~ open iff q^{-1}(U) open in X) is characterized by the following universal property: "If f:X-->Y is continuous and...
  5. N

    How Can I Define a Topology on N with Exactly k Limit Points?

    Hi...I'm new to the forum but I need help with the following question. I need to find a topology on N for which there are exactly k limit points. k is a positive integer. Tips I have received: find countable subsets in R...then a bijection will produce the needed topology on N? Any help is...
  6. DaveC426913

    Is the human body topologically equivalent to a donut with multiple holes?

    I understand that topo-physiologically, the human body is a donut. i.e. not only are we a donut physically, but we are a donut as an organism. Our skin is an interface between the outside world and the inside of our bodies. Bacteria and other microbes have to get through our skin defense...
  7. A

    How bad will not having taken Topology look?

    I know the importance of Topology, but I need to know if not taking this course in my last year will make a big difference. I will be a senior math major and I may decide to go to graduate school. I will take a year off to try to find some work experience to decide exactly what I want to do...
  8. I

    Is regularity preserved in subsets of regular spaces?

    i've texed up three proofs in from elementary topology. can someone please check them? actually i'll just retype them here for convenience 8.2.5 Let f: X_{\tau} \rightarrow Y_{\nu} be continuous and injective. Also let Y_{\nu} be Hausdorff. Prove : X_{\tau} is Hausdorff...
  9. I

    Is R with the cofinite topology path connected?

    u is the usual topology, cf is the cofinite topology. yes proof: pick a and b in (R,cf) ((0,1),u) ~ ((a,b),u). then the identity on (a,b) is continuous is because (R,cf) \subset (R,u). map 0->a and 1->b. the fn is continuous at the end points because no subset of the image is open in...
  10. P

    Topology Q: Curved Space w/out Higher Dimensions?

    Hi, does it make sense to posit a curved (hall of mirrors type) space without higher dimensions? In other words, if I say we live in a 3 dimensional torus shaped universe, does that statement necessarily entail there's at least a 4 dimensional overall hyperspace? Or can I have a torus curved...
  11. O

    Understanding Topology: Metric Spaces, Open Balls, and Intersection Proofs

    So I'm trying to teach myself some topology, and the first thing I noticed, was that a metric space is a topological space under the topology of all open balls.. But then, consider the intersection of two open balls, can someone prove to me that the result is another open ball? Or do they...
  12. M

    Solve Connected Set Closure: Show Not Disconnected

    I'm struggling with something that I suspect is very basic. How do I should that the closure of a connected set is connected? I think I need to somehow show that it is not disconnected, but that's where I'm stuck. Thanks
  13. J

    Topology Question:Connected Components

    Hi, I have a conceptual question. In a project I am working on, we are dealing with \Re^{n} (with the usual topology), and I am working on characterizing some objects. In particular, I am dealing with the intersection of two simply connected open sets (that do not have any sort of...
  14. N

    Topology of Curved Space: Understanding Distance on a Positively Curved Sphere

    [SOLVED] Topology of curved space Homework Statement The distance between a point (r, theta) and a nearby point (r + dr, theta + d\theta) on a positively curved sphere is given by ds^2 = dr^2 + R^2 \sin ^2 (r/R)d\theta ^2 NOTE: I mean that ds^2 = (ds^2). My question is - how do I...
  15. H

    Real Analysis vs Differential Geometry vs Topology

    I would just like to know which of these math courses is best suited for physics. I have taken advanced calculus and linear algebra, so I've seen most of the proofs one typically sees in an intro analysis course (ie. epsilon delta etc.). I intend to do work with a lot of Quantum Field Theory...
  16. J

    Topology Question: Continuous Functions and Simply Connected Subsets

    Hi, I have a question that I'm not sure about. If f:A->C is continuous and B is a subset of C that is simply connected, is f(^-1)(B) necessarily connected or simply connected for that matter? Since the spaces are not necessarily homeomorphic I cannot consider it a topological invariant...
  17. U

    Topology Questions: Isham's Modern Differential Geometry for Physicists

    I'm a physics student and I'm trying to work my way through Isham's Modern differential geometry for physicists. I guess the first question would be what you guys think of this book, does it cover all the necessary stuff (it's my preparation for general relativity)? Sadly I'm already having...
  18. K

    Convex Subsets of Ordered Sets: Interval or Ray in Topology?

    Homework Statement Let X be an ordered set. If Y is a proper subset of X that is convex in X, does it follow that Y is an interval or a ray in X? The Attempt at a Solution I considered it to be yes. Since in the ordinary situation, the assertion is obviously valid: check out the...
  19. M

    Does Every Topology Have a Minimal Subset Basis?

    I can't seem to find this result in any of my textbooks. Given any basis B for a topology T on X, is there a minimal subset M of B that also is a basis for T (in the sense that any proper subset of M is not a basis for T)? If so, is Zorn's Lemma needed to prove this? Is the same true of...
  20. J

    Topology: homeomorphism between quotient spaces

    I posted this earlier and thought I solved it using a certain definition, which now I think is wrong, so I'm posting this again: Show that the quotient spaces R^2, R^2/D^2, R^2/I, and R^2/A are homeomorphic where D^2 is the closed ball of radius 1, centered at the origin. I is the closed...
  21. J

    TOPOLOGY: homeomorphism between quotient spaces

    Show the following spaces are homeomorphic: \mathbb{R}^2, \mathbb{R}^2/I, \mathbb{R}^2/D^2. Note: D^2 is the closed ball of radius 1 centered at the origin. I is the closed interval [0,1] in \mathbb{R}. THEOREM: It is enough to find a surjective, continuous map f:X\rightarrow Y to show that...
  22. M

    Conflicting statements from two topology textbooks

    Conflicting statements from topology textbooks Definitions: A point p is a limit point of A iff all open sets containing p intersects A-{p}. Let A' denote the set of all limit points of A. So far, so good. Cullen's topology book (1968) states that (A U B)' = A' U B'. I read her proof...
  23. T

    Is the Sum of Two Closed Sets in R^n Always Closed?

    Let A, B in R^n be closed sets. Does A+B = {x+y| x in A and y in B} have to be closed? Here is what I've tried. Let x be in A^c and y in B^c which are both open since A & B are closed. So for each x in A^c there exists epsilon(a)>0 s.t. x in D(x, epsilon(a) is subset of A^c. For each y...
  24. J

    Topology: Nested, Compact, Connected Sets

    [SOLVED] Topology: Nested, Compact, Connected Sets 1. Assumptions: X is a Hausdorff space. {K_n} is a family of nested, compact, nonempty, connected sets. Two parts: Show the intersection of all K_n is nonempty and connected. That the intersection is nonempty: I modeled my proof after the...
  25. J

    Topology: Questions & Answers on Algorithms, Homeomorphisms & More

    I was wondering about topology. a) Is there an algorithm for the number of topologies on finite sets? b) If two spaces are homeomorphic, are intersections of opens sent to intersections of opens? Are unions of opens sent to unions of opens? I tried to find an algorithm in the first part, and...
  26. quasar987

    Hausdorffness of the product topology

    [SOLVED] Hausdorffness of the product topology Is it me, or is the product of an infinite number of Hausdorff spaces never Hausdorff? Recall that the product topology on \Pi_{i\in I}X_i has for a basis the products of open sets \Pi_{i\in I}O_i where all but finitely many of those O_i are...
  27. J

    Topology Questions: Proving Existence and Comparison of Topologies

    Homework Statement 1. given a set X and a collection of subsets S, prove there exists a smallest topology containing S 2. Prove, on R, the topology containing all intervals of the from [a,b) is a topology finer than the euclidean topology, and that the topologies containing the intervals of...
  28. K

    What is the biggest unsolved problem in topology

    What is the biggest unsolved problem in topology
  29. MathematicalPhysicist

    Does Convergence in Open-Compact Topology Ensure Pointwise Convergence?

    Let C(X,Y) be the continuous functions space between the topological spaces X,Y, with the open-compact topology. prove that if the sequence {f_n} of C(X,Y) converges to f0 in C(X,Y) then for every point x in X the sequence {f_n(x)} in Y converges to f0(x). here's what I did, let x be in X and...
  30. J

    When is a Collection of Finite or Countable Subsets a Topology?

    [SOLVED] very basic topology questions Homework Statement Let X be a set and T be the collection of X and all finite subsets of X. When is T a topology? Let T' be the collection of X and all countable subsets of X, when is T' a topology? The Attempt at a Solution it's clear the empty set...
  31. J

    In topology: homeomorphism v. monotone function

    1. Let f:\mathbb{R}\rightarrow\mathbb{R} be a bijection. Prove that f is a homeomorphism iff f is a monotone function. I think I have it one way (if f is monotone, it is a homeomorphism), but I'm stuck on the other way (if f is a homeomorphism, then it is monotone). I tried to prove...
  32. M

    Please help me identify this topology book

    I have photocopied pages of a advanced-looking point-set topology textbook, but I don't know the name of the book or the author. It has 427 pages (the last index page is p.427), and based on its references, it was written no earlier than 1966, and probably no later than 1975. I've attached a...
  33. M

    I'm going to prove every single theorem in topology

    I've started studying point-set topology a month ago and I'm hooked! I guess one reason is because each question is proof-based, abstract, and non-calculational, which is what I like. I've decided to take on the project of proving every single theorem in topology (that is found in textbooks)...
  34. R

    How Can I Prove These Topology Statements?

    Hello I have a proof that I need to try to work out but I'm not really getting too far and need help if you could at all. The question is Let A and B be two subsets of a metric space X. Prove that: Int(A)\bigcupInt(B)\subseteqInt(A\bigcupB) and Int(A)\bigcapInt(B) = Int(A\bigcapB) I...
  35. S

    What is the proof of the theorem on limit points in topology?

    I'm having some trouble understanding the distinction between closed sets, open sets, and those which are neither when the set itself involves there not being a finite boundary. For example, the set { |z - 4| >= |z| : z is complex}. This turns out to be the inequality 2>= Re(z). On the right...
  36. J

    Does Alan Hatcher's Topology book Work on 'Experimental' PDF Readers?

    Does anyone here have one of these book readers? I want to know how good the 'experimental' PDF support is. For instance, will it display Alan Hatcher's Topology book?
  37. M

    What are the basics of differential topology?

    I was just wondering if anyone had a decent website explaining some of the basic terminology of differential topology. Specifically, I'm having a bit of trouble understanding charts and atlases and how one defines a smooth manifold in an arbitrary setting (i.e., not necessarily embedded in R^n)
  38. J

    Limit in closure, topology stuff

    Let A\subset X be a subset of some topological space. If x\in\overline{A}\backslash A, does there exist a sequence x_n\in A so that x_n\to x? In fact I already believe, that such sequence does not exist in general, but I'm just making sure. Is there any standard counter examples? I haven't seen...
  39. M

    Is a Closed Graph of a Function on a Closed Interval Indicative of Continuity?

    Homework Statement All right, so this appeared on my final. The intervals are in the reals: If f : [a, b] -> [c, d] , and the graph of f is closed, is f continuous? Homework Equations The Attempt at a Solution Well, my gut reaction is no, just because it seems like a fairly...
  40. B

    Topology Question (Normal Spaces)

    Not sure where to put a question about topology, but I'll try here. I'm trying to show that a certain topology for the Real line is not normal. The topology in question has no disjoint open sets (they are all nested) and therefore, no disjoint closed sets. If a topology has no disjoint...
  41. MathematicalPhysicist

    Is U-A Open and A-U Closed in Topological Spaces?

    just want to see if i got these: 1.let U be open in X and A closed in X then U-A is open in X and A-U is closed in X. 2. if A is closed in X and B is closed in Y then AxB is closed in XxY. my proof: 1. A'=X-A which is open in X X-(A-U)=Xn(A'U U)=A'U(U) but this is a union of open sets...
  42. Z

    Topology of closed timelike curves (CTC)

    For less than BH_h, deep in gravitational potential well, with very extreme curvature, might one have a future light cone tipping over sufficiently to become spacelike and then wrap around to join up (glued) to past light cone? This is like a closed timelike curve, which can not be shrunk to a...
  43. E

    How useful is topology in theoretical physics?

    How useful is topology in theoretical physics? By topology, I mean the contents of Munkres book, Hausdorff spaces, homeomorphisms, etc. It seems to me like topology is totally a mathematical construct since the idea of an "open set" in an abstract space seems to have no "physical" meaning...
  44. Z

    Topology outside vs inside black hole

    If topology of a manifold were invariant (or not), what specifically would topology of a patch of such manifold in neighborhood (outside) of such BH, suggest?
  45. MathematicalPhysicist

    Proving Equality of Subspace Topologies: A Topological Lemma Approach

    Well it's not homewrok cause i don't need to hand this question in, this is why i decided to put it here. (that, and there isn't a topology forum per se, perhaps it's suited to point set topology so the set theory forum may suit it). Now to the question: Show that if Y is a subspace of X...
  46. E

    What is the inherited topology of a line in RlxR and RlxRl?

    Homework Statement If L is a straight line in the plane, describe the topology L inherits as a subspace of RlxR and as a subspace of RlxRl in each case it is a familiar topology.(Rl= lower limit topology) The Attempt at a Solution RlxR topology is the union of intervals...
  47. P

    What is the best beginner's book on Algebraic Topology?

    I am looking for the most basic but rigorous to some extent book on Algebraic topology out there.
  48. JasonRox

    Unique Partition of Evenly Covered Sets in Algebraic Topology

    Note: I have many questions and will keep posting new ones as they come up. To find the questions simply scroll down to look for bold segments. Feel free to contribute any other comments relevant to the questions or the topic itself. Here it is... Let p:E->B be continuous and surjective...
  49. E

    Topology: Show Equivalence of T and T' on R^2

    Homework Statement I am asked to show that T=[particular point topology on R^2 ((0,0) being the particular point)] is equal to T'=[topology on R^2 from taking the product of R in the particular point topology (0 being particular point) with itself]. The Attempt at a Solution I'm...
  50. P

    Exploring the Universe's Topology: Insights from a New Study | Space.com"

    Hi, I've read this article (http://www.space.com/scienceastronomy/mystery_monday_040524.html), which says: "In the new study, researchers examined primordial radiation imprinted on the cosmos. Among their conclusions is that it is less likely that there is some crazy cosmic "hall of mirrors"...
Back
Top