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. D

    Topology Questions (studying for test)

    Greetings all, I have a test upcoming next week and a lot of problems to solve. I asked in a previous thread whether or not I should just continue to adding to the thread and it seems the answer was yes. I appreciate any help! This is a tough subject. Anyways, the first one I'm working on. I...
  2. T

    Separable Hausdorff Spaces: Example with Non-Separable Subspace

    Homework Statement Give an example of a separable Hausdorff space (X,T) that has a subspace (A,T_A) that is not separable. Homework Equations A separable space is one that has a countable dense subset. The Attempt at a Solution Let (X,T) (i.e. the separable Hausdorff space) be...
  3. T

    Proving Homeomorphism between Topological Spaces (X,T) and (delta,U_delta)

    Homework Statement Let (X,T) be a topological space and let U denote the product topology on X x X. Let delta = {(x,y) in X x X : x = y} and let U_delta be the subspace topology on delta determined by U. Prove that (X,T) is homeomorphic to (delta,U_delta) The Attempt at a Solution...
  4. T

    What is an example of a separable Hausdorff space with a non-separable subspace?

    Homework Statement Give an example of a separable Hausdorff space (X,T) with a subspace (A,T_A) that is not separable. The Attempt at a Solution well since a separable space is one that is either finite or has a one-to-one correspondence with the natural numbers, the separable...
  5. M

    Topology Problem: Closure X Path-Connected?

    Hello, I have a question about topology. If X is a path-connected space then is it also true that closure X is path-connected? I think it's obvious, but I can't solve it clearly...
  6. P

    Infinite index set in product topology

    Homework Statement Let Y := \prod_{i \in I} X_i Now assume U_i \subset X_i to be open. If we take i to be infinite, \prod_{i \in I} X_i cannot be open. Why? Homework Equations The Attempt at a Solution I can't quite get my head around how to approach this problem. A...
  7. S

    Topology Help: Proving Open Sets in T[SUB]C for X and C Collection"

    let X be a set and C be a collection of subsets of X whose union equal X. let β[SUB]C the collection of all subsets of X that can be expressed as an intersection of finitely many of the sets from C. let T[SUB]C be the topology generated by the basis β[SUB]C. prove that every set in C is...
  8. E

    Topology - spaces, compactness

    Homework Statement Find a metric space and a closed, bounded subset in it which is not compact. Homework Equations N/A The Attempt at a Solution I know that a metric space is a space that has definition such that a point has a distance to any other point. However, I know a...
  9. B

    Topology: Continuous f such that f(u)>0 , prove ball around u exists such that

    Homework Statement Let O be an open subset of R^n and suppose f: O --> R is continuous. Suppose that u is a point in O at which f(u) > 0. Prove that there exists an open ball B centered at u such that f(v) > 1/2*f(u) for all v in B. Homework Equations f continuous means that for any {uk} in O...
  10. T

    Topology - Use Componentwise Convergence Criterion to prove closed ball closed.

    Homework Statement Let r be a positive number and define F = {u in R^n | ||u|| <= r}. Use the Componentwise Convergence Criterion to prove F is closed.Homework Equations The Componentwise Convergence Criterion states: If {uk} in F converges to c, then pi(uk) converges to pi(c). That is, the...
  11. L

    Exploring Topology and Representation Theory: Recommended Books and Resources

    Hello, I have a general interest in teaching myself topology to build up to moving onto Representation theory. I have chosen M.A. Armstrongs's book "Basic Topology" as my start. My Question... where would you all recommend I go from there. I took top in undergrad and that was the book...
  12. D

    Topology: Finding the set of limit points

    Determine the set of limit points of: A = { \frac{1}{m} + \frac{1}{n} \in R | m,n \in Z_{+} } I can see that everything less than one can't be reached by this set. Is my set of limit points (0,1) ?
  13. S

    Prove Compact Surface: Alg. Topology Help with Polygon Sides Identification

    Problem: Let P be a polygon with an even number of sides. Suppose that the sides are identified in pairs in accordance with any symbol whatsoever. Prove that the quotient space is a compact surface. Proof: Ok, here are some of my thoughts about the proof. I believe that one would need...
  14. F

    Topology and the Chinese Remainder Theorem?

    Is there anywhere in topology where one would see the Chinese Remainder Theorem?
  15. B

    Product Topology and Compactness

    Please if someone could help me understand something I saw in a proof. It's about proving that if X,Y is compact then their product (with product topology) is compact. Suppose that X and Y are compact. Let F be an open cover for XxY. Then, for y in Y, F is an open cover for Xx{y}, which is...
  16. D

    Understanding Bases in Topology: Examining Subsets of Real Numbers

    I have a Topology midterm tomorrow and I'm going through exercises in my book. Perhaps someone could let me know whether I ought to make a thread for each question or if I may continue adding to this thread... Determine which of the following collections of subsets of R are bases: a.) C1 =...
  17. C

    Convergence in the product and box topology

    Hi. Can I have some help in answering the following questions? Thank you. Let {f_n} be a sequence of functions from N(set of natural numbers) to R(real nos.) where f_n (s)=1/n if 1<=s<=n f_n (s)=0 if s>n. Define f:N to R by f(s)=0 for every s>=1...
  18. T

    Topology: Clopen basis of a space

    Homework Statement So, I'm going through a proof and it is shamelessly asserted that the collection of clopen sets of {0,1}^{\mathbb{N}} is a countable basis. Can anyone reasure me of this, point me in the direction of proving it. Thanks Tal
  19. P

    Point-Set Topology Question: Convergence on Open and Closed Intervals

    I debated whether to put this in this sub-forum or in the Topology & Geometry sub-forum, but I decided I'd give you guys the first crack at it: Take the union of all open intervals on the real numbers which do not include the number 1, call this union A. Then take the union of all closed...
  20. D

    Topology: Finite Complement & Defining Limit Points

    Question is: X is a set and tau is a collection of subsets O of X such that X - O is either finite or all of X. Show this is a topology and completely described when a point x in X is a limit of a subset A in X. I already proved that this satisfies the conditions for defining a topology...
  21. P

    Lower Limit Topology: Explaining Lemma 13.4 of Munkres' Topology

    how does a lower limit topology strictly finer than a standard topology? please explain lemma 13.4 of munkres' topolgy..
  22. D

    All spaces that have the cofinite topology are sequentially compact

    i want to show that given any space X with the cofinite topology, the space X is sequentially compact. i have already shown that any space X with the cofinite topology is compact since any open cover has a finite subcover on X. i know that if we are dealing with metric spaces, then the...
  23. T

    Topology (specifically homotopy) question

    Could anybody help me with this topology question? i) Prove that every map e: X-> R^n is homotopic to a constant map. ii) If f: X->S^n is a map that is not onto (surjective), show that f is homtopic to a constant map. It's part of a past exam paper but it does not come with solutions...
  24. D

    Topology of R: Basis and Rationals

    Consider the collection of sets C = {[a,b), | a<b, and and b are rational } a.) Show that C is a basis for a topology on R. b.) prove that the topology generated by C is not the standard topology on R.So, I know for C to be a basis, there must be some x \in R, and in the union of some C1...
  25. T

    Kuratowski's Closure-Complement (Topology)

    Homework Statement Let (X,T) be a topological space, and let A be a subset of this space. Prove that there are at most 14 subsets of X that can be obtained from A by applying closures and complements successively. The Attempt at a Solution I understand the concept behind the theorem, that...
  26. T

    Topology Proof (Closed/Open Sets)

    Homework Statement Let (X,T) be a topological space, let C be a closed subset of X, let U be an open subset of X. Prove that C - U is closed and U - C is open. The Attempt at a Solution I was trying to do this by 4 cases: Case 1: Let U be a proper subset of C. Then U - C = empty...
  27. P

    How accessible is Bott & Tu's book on algebraic topology?

    Recently a professor recommended Bott & Tu's Differential Forms in Algebraic Topology to me. My knowledge of algebraic topology is at the level of Munkres' book. Would Bott & Tu's book be too advanced for me to understand at this stage?
  28. K

    How Does Gauge Theory Connect to Khovanov Homology of Knots?

    http://arxiv4.library.cornell.edu/abs/1101.3216 Fivebranes and Knots Edward Witten 146 pages (Submitted on 17 Jan 2011) Abstract We develop an approach to Khovanov homology of knots via gauge theory (previous physics-based approches involved other descriptions of the relevant spaces of BPS...
  29. D

    What causes topology change in Calabi-Yau manifolds?

    Hi all, I've been reading on phase changes that occur in manifolds such as flop transitions and conifold transitions for some time but I don't quite understand this one thing: flop transitions mathematically describe how one calabi-yau can change into another and most books mention that but...
  30. radou

    Topologically complete space in the product topology

    Homework Statement One needs to show that a countable product of topologically complete spaces is topologically complete in the product topology. The Attempt at a Solution A space X is topologically complete if there exists a metric for the topology of X relative to which X is...
  31. tom.stoer

    Eternal inflation and topology of the universe

    Hi, I have a question regarding the idea of eternal inflation happening in a multiverse and the topology of our universe. Looking at the current data it seems plausible that our universe is flat or slightly negatively curved, i.e. has a non-compact topology. But the idea of eternal...
  32. T

    Is the Function Defined by the Infimum of Distances Continuous?

    Homework Statement Let (X,d) be a metric space and let A be a nonempty subset of X. Define a function f:X -> R^1 by f(x) = inf{d(x,a) : a is an element of A}. Prove that f is continuous. Homework Equations The Attempt at a Solution Intuitively I can see that the function is...
  33. T

    Looking for a General Topology Book Recommendation?

    I need a suggestion for a name of a general topology book, I'd be grateful if there's a link for it.
  34. H

    Some questions relating topology and manifolds

    Hello there! I just started reading Topological manifolds by John Lee and got one questions regarding the material. I am thankful for any advice or answer! The criteria for being a topological manifold is that the space is second countantable ( = there exists a countable neighborhood...
  35. K

    Algebraic Topology - Inclusion into RP^2

    Homework Statement Find an inclusion map i from S^1 to RP^2 such that the induced map of the inclusion (by the fundamental group) is not the zero element. Known: pi_1(S^1) = Z and pi_1(RP^2) = Z/2Z Homework Equations Can we define i as a composite of two other inclusions? The...
  36. radou

    Uniform topology and local finiteness

    Homework Statement For some reason, the uniform topology always causes me problems. So, let's work this through. Let Rω be given the uniform topology, i.e. the topology induced by the uniform metric, which is defined with d(x, y) = sup{min{|xi - yi|, 1}, i is in ω}. Given some n, let...
  37. C

    Exploring Topology: Follow-up to My PhysicsForums Thread

    A follow-up of sorts on my https://www.physicsforums.com/showthread.php?t=457248". I've decided that, barring any technicalities that prevent me from getting a necessary override, I'm going to definitely take Topology next semester. (I need an override because Topology requires Linear Algebra...
  38. C

    Should I Take Topology in the Spring?

    Hey everybody. I'm a Pure Math major and I'm trying to finalize my schedule for next semester. Originally I was enrolled in a second ODEs course (focusing predominantly on systems of linear ODEs, existence and uniqueness theory, and qualitative solutions), but after a rough semester with PDEs...
  39. G

    Proving Disjoint Closed Sets in Metric Space: A Compact Set

    Homework Statement Suppose A and B are disjoint closed sets in the metric space X and assume in addition that A is compact. Prove there exists ∆ > 0 such that for all a ∈ A, b ∈ B, d(a, b) ≥ ∆ 2. The attempt at a solution I really don't have an attempt at a solution because I am 100%...
  40. D

    Which class should I take next semester, Complex Analysis or Topology?

    Hi, I'm a junior undergrad majoring in math and physics, and am deciding between complex analysis and topology for next semester. (I'm planning on doing theoretical physics for grad, something on the more mathematical side, so topology would likely be used). Complex Analysis Pros...
  41. B

    Differential Topology: Proving Integral of f*dw=0 and Line Bundle over RPn

    Hi I would appreciate any help with these problems. Thanks in Advance! 1.Suppose X is the boundary of a manifold W, W is compact, and f : X → Y is a smooth map. Let w be a closed k-form on Y , where k = dimX. Prove that if f extends to all of W then integral of f* dw = 0. Assume that W...
  42. B

    Introduction to Topology Resources

    Currently in my course in topology we have covered the point-set portion of the Munkres text, and the professor has moved into some additional material in which munkres has no resources, mainly the classification of surfaces. The professor let me borrow his resource for a while, but I was...
  43. P

    Topology question - Compact subset on the relative topology

    Homework Statement Let (X,Ʈ) be a topological space and T \subseteq X a compact subset. Show that T is compact as a subset of the space (T,Ʈ_T) where Ʈ_T is the relative topology on T. Homework Equations The Attempt at a Solution Hi everyone, Here's what I've done so far: T...
  44. C

    Is the Metric Space (X,d) Separable and Compact?

    Homework Statement X={x | xn E R | 0\leq x \leq 1} d(x,y)= \Sigman=1infinity |xn - yn|*2-j Show: 1. (X,d) is a metric space 2. (X,d) is separable 3. (X,d) is compactHomework Equations n/aThe Attempt at a Solution Here we go. number 1. Show that d(x,y)=d(y,x): \Sigman=1infinity |xn - yn|*2-j =...
  45. Y

    Constructing Covering Spaces for Algebraic Topology Qualifier Exam Question

    This is a qualifier exam question in algebraic topology: Let Z * Z_2 = <a, b | b^2> be represented by X = S^1 \vee RP^2 , i.e. the wedge of S^1 (the unit circle) and RP^2 (the real projective plane). For the subgroup H below construct the covering space ˜X by sketching a good picture for...
  46. R

    Does anyone know a very good introductory book to topology?

    Does anyone know a very good introductory book to topology? I am looking for an introductory book with solved examples, proves and so on. Thanks
  47. S

    Exploring the Macro Topology of DNA

    Hi, I'm more conversant with Physics than Biology, and I think this question may actually apply more to the computer sciences so pls bear with me - DNA is represented as a 'strand', and is analogous with a 'line' of code. Turing envisioned the computing process as two 'infinite' strings...
  48. facenian

    Point Set Topology: Non-Trivial Facts Beyond Uryshon's Lemma

    Hello I am curious about this. Uryshon' s lemma is also known as "the first non-trivial fact of point set topology", what are the others non-trivial facts of point set topology? I suppose Tychonoff' s theorem is another one.
  49. Q

    Learn Topology with Our Ongoing Video Series - Perfect for All Levels!

    Hello, I am currently creating an ongoing series of Topology video lectures and looking for students of an appropriate level for some accurate feedback. They are much in the style of the popular Khan Academy. Link Thank you for your time.
  50. M

    Algebraic Topology: Fundamental group of a cube

    How do you compute the Fundamental group of the 1-skeleton of the 3-cube I^{3} = [0,1]^{3} ? What about the Fundamental group of the 1- skeleton of the 4-cube I^{4} ? I know the Fundamental group of a space X at a point x_{0} is the set of homotopy classes of loops of X based at x_{0} . And...
Back
Top