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

    Proving the Discrete Topology on Infinite Sets: Topology Problem Solution

    Homework Statement (i) Let U be a topology on Z, the integers in which every infinite subset is open. Prove that U is the discrete topology. (ii) Use (i) to prove that if U is a topology on an infinite sex X in which every infinite subset is open, then U is the discrete topology on X...
  2. D

    The diference between algebra, sigma algebra and topology

    how can I understand the difference between algebra, sigma algebra and topology If I take the set A that contains a,b,c,d,e,f the set C that contains A,phi,{a},{b,c,d,e,f} then C is algebra on A and C is sigma algebra on A and (A,C) is topological space is that true? what is the...
  3. L

    Proving that $\mathcal{T}$ is the Smallest Topology Containing $\mathcal{B}$

    Hello, could you please check if the reasoning is correct. This is not a homework, just a part of an exercise in a book I'm reading at the moment. Suppose X is a set, \mathcal{B}:=\{S\subset{}X:\bigcup{}S=X\}, \\...
  4. J

    Topology: Indiscrete/Discrete Topology

    I am reading from my text, and was just wondering if someone could provide additional information on the following examples. 0.1 Examples. For any set X each of the following defines a topology for X. (1) T_{*} = {A \subseteq X|a \in A \Rightarrow X \subseteq A}, Indiscrete Topology. (2)...
  5. T

    Elementary Topology Homework: Boundaries of (x,y) on y = |x-2| + 3 - x

    Homework Statement Determine if the set of points (x,y) on y = |x-2| + 3 - x are bounded/unbounded, closed/open, connected/disconnect and what it's boundary consist of. Homework Equations The Attempt at a Solution I know that the set is closed, and then by definition of a closed set...
  6. T

    Topology in many particle systems

    i have problem in understanding these notes:confused:if some body please help me out in understanding them.to mention,i have just started this topic and have no background knowledge as well. wat to do??:cry: :rolleyes: help me...
  7. T

    What Are Standard Ways to Define Topology on Function Spaces?

    Given two topological spaces X and Y, there is a standard way to define a topology on X x Y called the product topology. Given a subset S of X, there is a standard way to define a topology on S called the subset topology. Given an equivalence relation ~ on X, there is a standard way to...
  8. L

    Is the Collection of Rational Balls a Basis for the Euclidean Topology on R^n?

    Hello, there is a basic lemma in topology, saying that: Let X be a topological space, and B is a collection of open subsets of X. If every open subset of X satisfies the basis criterion with respect to B (in the sense, that every element x of an open set O is in a basis open set S, contained...
  9. P

    Differential Topology: Essential Concepts Explained

    I have what's certainly a totally "newbie" question, but it's something I've been wondering about.. Suppose we have a simple boundary value problem from electrostatics. For instance, suppose we have a conducting sphere held at some potential, \phi = \phi_0. Because the sphere is conducting...
  10. A

    Edwin Spanier Algebraic Topology difficulty?

    How difficult is Spanier's Algebraic Topology text to understand? How about the exercises?
  11. F

    Proving a Theorem on Point-Set Topology

    I can't seem to find out how to prove this theorem: A collection {fa | a in A} of continuous functions on a topological space X (to Xa) separates points from closed sets in X if and only if the sets fa-1(V), for a in A and V open in Xa, form a base for the topology on X. Could anyone help me...
  12. A

    Munkres' Topology: 2nd Edition Spine Misprint?

    I have no idea where else to ask this: I have the 2nd edition of the book and I noticed that on the spine of the book it says "Secon Edition" instead of "Second". I'm just wondering if this is on every copy of the second edition of the book? Or, is your copy like this?
  13. Loren Booda

    Trisecting angles in an alternate topology

    Is there any topology where it is possible to trisect an angle using only straight lines and circles?
  14. K

    Definition of open set in topology

    A topological space is a set X together with T, a collection of subsets of X, satisfying the following axioms: 1.The empty set and X are in T. 2.The union of any collection of sets in T is also in T. 3.The intersection of any finite collection of sets in T is also in T. The sets in T are...
  15. P

    Real Analysis or Topology: Which Math Course Should I Take Next?

    Hi, I am currently a sophomore and a math major with thinking of adding computer science as either minor or second major. I get to register for my classes for Fall Quarter in a week, and I am thinking of taking 2 math classes: One will be numerical analysis, and the other is not yet...
  16. S

    Quantum, PDE, topology, and particle physics texts, oh my

    Hello all! So, I'll be taking first-semester quantum mechanics and partial differential equations this fall, and would like to get a little bit of a head start by reading/working some problems on my own this summer. After some initial browsing, I've heard mixed-to-poor reviews concerning...
  17. M

    Help -interpreting- this topology question, no actual work required

    Homework Statement Show that the set S ⊆ C[0, 1] consisting of continuous functions which map Q to Q is dense, where the metric on C[0, 1] is defined by d(f,g) = max |f(x)−g(x)|. All else I need to know is what the question doesn't mention - what the set is dense in? I assume it doesn't...
  18. quasar987

    Another algebra question in algebraic topology

    In the proof of Proposition 3A.5 in Hatcher p.265 (http://www.math.cornell.edu/~hatcher/AT/ATch3.4.pdf), at the bottow of the page, he writes, "Since the squares commute, there is induced a map Tor(A,B) -->Tor(B,A), [...]" How does this follow? The map Tor(A,B)-->A\otimes F_1 is the connecting...
  19. quasar987

    Algebra question in algebraic topology

    In Hatcher, p. 262 (http://www.math.cornell.edu/~hatcher/AT/ATch3.4.pdf), he writes, just before Lemma 3A.1, "the next lemma shows that this cokernel is just H_n(C)\otimes G. I can't say that I see how this follows. Thanks!
  20. K

    Algebraic topology, groups and covering short, exact sequences

    Hi everyone! I would like to solve some questions: Classify up to isomorphism the four-sheeted normal coverings of a wedge of circles. describe them. i tried to to this and it is my understanding that such four sheeted normal coverings have four vertices and there are loops at each of...
  21. N

    Algebraic Topology: Showing Cone(L(X,x)) is Homeomorphic to P(X,x)

    I am trying to show that the space Cone(L(X,x)) is homeomorphic to P(X,x) where L(X,x) = {loops in X base point x} and P(X,x) = {paths in X base point x} I firstly considered (L(X,x) x I) and tried to find a surjective map to P(X,x) that would quotient out right but i couldn't seem to find...
  22. T

    Clarifying Topology Basics: What is U?

    This is a very simple question... Because I'm not very good at these... notations... I feel like I need a clarification on what this means.. if X is a set, a basis for a topology on X is a collection B of subsets of X (called basis elements) satisfying the following properties. 1. For...
  23. T

    Proving Topology Continuity for F: X x Y -> Z in Separate Variables

    Let F: X x Y -> Z. We say that F is continuous in each variable separately if for each y0 in Y, the map h: X-> Z defined by h(X)= F( x x y0) is continuous, and for each x0 in X, the map k: Y-> Z defined by k(y) =F(x0 x y) is continuous. Show that if F is continuous, then F is continuous in...
  24. T

    Embeddings of X in Y and Y in X Defined by f(x) and g(y)

    x0 \inX and y0\inY, f:X\rightarrowX x Y and g: Y\rightarrowX x Y defined by f(x)= x x y0 and g(y)=x0 x y are embeddings This is all I have... f(x): {(x,y): x\inX and y\inY} g(y): {(x,y): x\inX and y\inY} right? soo... embeddings are... one instance of some mathematical structure contained...
  25. T

    I: X'->X the identity function with topology

    Let X and X' denote a single set in the two topologies T and T', respectively. Let i:X'-> X be the identity function a. Show that i is continuous <=> T' is finer than T. b. Show that i is a homeomorphism <=> T'=T This is all I've got. According to the first statement... X \subset T and...
  26. S

    Topology of Open Sets Explained: Solving Basic Questions for Newbies

    Topology of open set(newbie, I am stuck help!) Homework Statement Hi just found this found and have some basic questions about topology. If let say exist a metrix space (M,s) and two points x \neq y in M. Then show that there exists open sets V_1,V_2 \in \mathcal{T}_s such that x \in...
  27. T

    Constructing Mono/Epi Functions for Algebraic Topology

    Hey, can anyone help me with this please. I am doing algebraic topology and am particularly stuck on exact sequences. I "understand" the idea of the definition for example: 0\rightarrow A\stackrel{\alpha}{\rightarrow}B\stackrel{\beta}{\rightarrow}C\rightarrow 0 in this short exact...
  28. quasar987

    About the coherent topology wiki page

    On the wiki page on coherent topology, and more precisely, topological union (aka topology generated by a collection of spaces) (http://en.wikipedia.org/wiki/Coherent_topology#Topological_union), it is said that if the generating spaces {X_i} satisfy the compatibility condition that for each...
  29. G

    Where do you need topology in physics?

    I admit I hardly know anything about topology, but I have the feeling it is a heavy, abstract part of mathematics. Yet, I heard that it can be important for physics. In which areas concepts of topology are crucial so that results cannot be guessed by common sense alone? Where are these...
  30. M

    Proving Urysohn's Metrization Theorem on X

    the question is to prove Urysohn's metrization theorem. But there some steps I need to show first. Assuming X is normal, second countable. We show there is a homeomorphism of X onto a subspace of [0,1]^w (the Hilbert cube which is metrizable), so X is metrizable. We first show we can assume...
  31. M

    Introduction to Topology: Resources for Beginners

    Does anyone know where can I get a Topology for dummy? I'm learning Topology Spaces and Interior, Closure and boundary in the first two chapters of the textbook. I've had difficult time working on my homework assignments. Just wonder if some of you already had this course before willing to help...
  32. W

    R=2^\alepha 0 vs Continuum hypothesis A result in a taste of topology

    R=2^\alepha 0 vs Continuum hypothesis! A result in "a taste of topology" A year ago or so I read a proof in A Taste Of Topology, Runde that the cardinality of the continuum equals the cardinality of the powerset of the natural numbers. But a few hours ago I found Hurkyl making that statement...
  33. H

    Closed subset (with respect to weak topology)?

    Let LG be the base point preserving loops (it's a Hilbert manifold). So LG = { f : S^1 -> G s.t. f(0)=1 } where G is a connected, simply connected Lie group. LG is embedded into the (vector space) Hilbert space L^2[0, 2pi] given by f |--> g(t) = f '(t)f(t)^-1 Is LG a closed subset of...
  34. D

    Space-Time Topology Theory: Learn About Popular Theories

    Hey there, I'm looking for popular theories concerning the topology of space-time. Can anyone point me in the direction of a link? Or perhaps even just give me the name of a theory or two? -Tim
  35. quasar987

    Question about Milnor's topology fromthe diffable viewpoint

    Lemma 1 of page 35 says that the index at an isolated zero z of vector field v on an open set U of R^m is the same as the index at f(z) of the pushfoward f_*v = df o v o f^-1 of v by a diffeomorphism f:U-->U'. For the proof, he first reduces the problem to the case where z=f(z)=0 and is U a...
  36. Q

    Does Every Open Set Equal the Interior of Its Closure?

    Homework Statement Is it true that if U is an open set, then U = Int(closure(U))? The Attempt at a Solution I feel like this may be true; I found counter-examples to the general form, Int(U)=(Int(closure(U)), but they all seem to hinge on U being not open (A subset of rationals in the...
  37. S

    Is the Inverse of a Continuous Function Always Continuous?

    Homework Statement Let ( X, \tau_x) (Y, \tau_y) topological spaces, (x_n) an inheritance that converges at x \in X, and let f_*:X\rightarrow Y[/itex]. Then, [tex]f[/itex] is continuos, if given (x_n) that converges at [tex]x \in X , then [tex]f((x_n))[/itex] converges at...
  38. M

    Lexicographic Square, topology

    Show that any basic open set about a point on the "top edge," that is, a point of form (a, 1), where a < 1, must intersect the "bottom edge." Background: Definition- The lexicographic square is the set X = [0,1] \times [0,1] with the dictionary, or lexicographic, order. That is (a, b) <...
  39. M

    Discrete topology, product topology

    For each n \in \omega, let X_n be the set \{0, 1\}, and let \tau_n be the discrete topology on X_n. For each of the following subsets of \prod_{n \in \omega} X_n, say whether it is open or closed (or neither or both) in the product topology. (a) \{f \in \prod_{n \in \omega} X_n | f(10) = 0 \}...
  40. S

    Is the Set Where Two Continuous Functions Agree Closed in a Hausdorff Space?

    Homework Statement Let X be a topological space, Y a Hausdorff space, and let f:X -> Y and g:X -> Y be continuous. Show that {x \in X : f(x) = g(x)} is closed. Hence if f(x) = g(x) for all x in a dense subset of X, then f = g. Homework Equations Y is Hausdorff => for every x, y in Y with...
  41. A

    The topology of rational numbers: connected sets

    Consider the set of rational numbers, under the usual metric d(x,y)=|x-y| I am pretty sure that this space is totally disconnected, but I can't convince myself that the set {x} U {y} is a disconnected set. It seems obvious, but I can't find two non-empty disjoint open sets U,V such that U...
  42. R

    Is K Open or Closed? A Topology GRE Question

    I'm not very good at topology but am reviewing it for the GRE Subject Test. Here's a question that I think I know, but would like to check with you guys. We define: Ek = B(0, k) - B(0, k-1), where B(0,k) is an open ball around the origin with diameter k. Now suppose that Tk is a subset of Ek...
  43. G

    Can I study topology without taking multivariable calculus?

    Hello, I'm wondering, is it possible to study topology without having taken a course in multivariable calculus? I'm very eager to learn and my college don't offer too many math courses this spring (I'm moving to a bigger next fall though), so I'm thinking if I should take topology. I can...
  44. L

    How Can You Prove the Boundary of a Set in Topology?

    Homework Statement Let X be a space. A\subseteqX and U, V, W \in topolgy(X). If W\subseteq U\cup V and U\cap V\neq emptyset, Prove bd(W) = bd(W\capU) \cup bd (W\cap V) Homework Equations bd(W) is the boundary of W... I think I have the "\supseteq" part, but I am having trouble with...
  45. U

    Topology question; derived pts and closure

    Homework Statement If A is a discrete subset of the reals, prove that A'=cl_x A \backslash A is a closed set. Homework Equations A' = the derived set of A x is a derived pt of A if U \cap (A \backslash \{x\}) \neq \emptyset for every open U such that x is in U. Thrm1. A...
  46. M

    R with the cocountable topology is not first countable

    Homework Statement (a) Prove that R, with the cocountable topology, is not first countable. (b) Find a subset A of R (with the cocountable topology), and a point z in the closure of A such that no sequence in A converges to z. Homework Equations (The cocountable topology on R has as...
  47. M

    Is A Closed If Not Open in Topological Space?

    If A is not open in a topological space, does it follow A is closed?
  48. U

    What Is the Easiest Topology Textbook?

    "Easiest" topology textbook/book I am having a terrible time learning topology. Abstract algebra comes easily, as does analysis but Topology is not making any sense whatsoever to me and I honostly try harder in it than my other classes and it gets me 1/10th the progress if not thousands less...
  49. L

    Proving the Equality of Topologies for the Usual and Taxicab Metrics

    Homework Statement Let d be the usual metric on RxR and let p be the taxicab metric on RxR. Prove that the topology of d = the topology of p. Homework Equations The Attempt at a Solution I am trying to show that the open ball around point (x,y) with E/2 as the radius (in...
Back
Top