Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Topology question

  1. Feb 7, 2004 #1
    a line segment (including its endpoints) is toplogically equivalent to a point.

    consider S a nonempty totally ordered (ie a set with a relation <= such that <= is reflexive, transitive, x<=y and y<=x imply x=y, and every pair is comparable--i think that's what total order means anyway) set.

    i'm suspecting that the subsets of S of the form [tex]G_{y}:=\left\{ x\in S:y\leq x\right\} [/tex] form a topology on S. oh, let's assume S has a [tex]\leq[/tex]-maximal element and minimal element to insure that S and Ø are in the topology. i think one may need zorn's lemma to prove that the union of open sets is open. for finite intersections of [tex]G_{y}[/tex]'s, take the max of the y's, call that max y' and then consider [tex]G_{y'}[/tex] which is i believe the intersection of the others.

    now is S equipped with this topology homeomorphic to a point (with the concrete topology)? is it obviously not homeomorphic?

    well, if there is a universal set, then let S=U. S turns into a totally ordered set with <= meaning injection. S has a minimum and maximum <= element, namely Ø and U, and so U would be topologically equivalent to 1={Ø}. perhaps another equation up there with euler's formula would be:

    note to Self: 435.
    Last edited: Feb 7, 2004
  2. jcsd
  3. Feb 7, 2004 #2


    User Avatar
    Staff Emeritus
    Gold Member
    Dearly Missed

    a line segment (including its endpoints) is toplogically equivalent to a point.

    No. A nondegenerate line segment has open sets in its interior, a point doesn't. A line segment is contractible to a point, but that is not the same as topological equivalence.
  4. Feb 7, 2004 #3

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    homotopic not homeomorphic, look 'em up.
  5. Feb 7, 2004 #4
    ah, yes, homotopic. but a point has the same euler characteristic as a line segment, yes? my bad for thinking that meant they were homeomorphic and not just homotopic. sorry; it's been 6 years since i thought about topology.

    i also realized that no function from S to {Ø} can have an inverse in most cases so they're obviously not homeomorphic.

    the sorgenfrey line could look like this: [tex]G_{y}:=\left\{ x\in U:y<x\right\} [/tex] and then perhaps the sigma algebra generated by the collection [tex]\bigcup_{y\in U}G_{y}[/tex] could be the generalized interval concept organic is looking for which is to say that anything in this sigma algebra could be called a generalized interval.

    then let ~ in the equation {Ø}=1~U mean 'is homotopic to'.

    i suppose then the question is is U with the topology of either the "open" or "closed" sorgenfrey line homotopic to {Ø}=1?
    Last edited: Feb 7, 2004
  6. Feb 7, 2004 #5

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    You cannot require your order to be induced by injections, because that you have sets with A<=B and B<=A and A not equal to B.

    The usual partial ordering is by inclusion.

    To attempt to get a total ordering would decree any two sets of the same cardinality are equal

    A sigma algebra and a topology aren't the same, which do you want?

    Besides, homotopy requires you to define contintuity and to have the cartesian product of two sets defined in your theory, which I couldn't comment on.
  7. Feb 7, 2004 #6
    the sigma algebra generated by the topology. ie the intersection of all sigma algebras containing the topology.

    forget the universal set business for now if you will and just stick to a set with total ordering, a maximum and minimum element and the set {Ø}. *hmm* and 'index set' for the homotopy, eh? let me think about that. i want to say the index set is S itself.

    i'm thinking if S was a lattice with three elements F<M<T how could one shrink {F,M,T} to {T} homotopically. i wish i had my copy of royden or my schaum's general topology! (well, that may be a frivolous interaction with 3 valued logic and a unitary logic.)
  8. Feb 7, 2004 #7

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    A homotopy (of topological spaces) X and Y are continuous maps f:X--->Y and g:Y--->X with the compotions homotpic to the resp identity maps.

    A homotopy between maps r and s on some space X is a continuous map

    h: XxI --->XxI

    with h(x,0)=r(x) and h(x,1)=s(x)

    and I is the unit interval (whcih I also don't know to be a set in your theory..)

    I don't know if cartesian products exist in your universe (well power sets don't, so I dunno about these either).

    dunno what you mean by index set.

    As for lattices. do you mean a lattice in R^2 (or equivlently C, defined by two complex numbes x and z with z/x non-real)? Any two are homeomorphic.
    (excepting degenerate cases).
  9. Feb 7, 2004 #8
  10. Feb 7, 2004 #9

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    No, A and B aren't the homotopic things, whatever you think they might be - where did they come from? r and s are homotopic.

    That is the defintion like it or not. It is about continuous deformations of maps. X is homotopic to Y if the identity map of X factors up to homotopy through Y. Note, it must be both ways. If you pick some other totally ordered 'index set' (that isn't what index set means normally) then what you have wouldn't necessarily be a homotopy, and you would have to prove something about generalizations. Homotopies arise because homotopic maps induce the same maps on chain complexes of the resolutions of spaces, where you might see another definition for homotopic maps. In particular homotopic spaces have the same homologies.

    Well, what is the power set of the universal set? There is a natural inclusion from one to the other, but no bijection so the power set is strictly larger than the largest set. Conclusion, the power set cannot satisfy the property of being a set. This is naive of course, you may have axioms that prevent this being true.

    The existence of power sets is part of ZF.

    Note, I'm not saying that no set has a power set but that at least one set's power set might be problematic.

    So X would be the 3 element set with the open sets in the topology

    {}, {1} {1,2} {1,2,3}

    Y is the 1 point set with the trivial topology. {} {1}

    f:X-->Y must send 1,2,3 all to 1

    g:Y--> X sends 1 to..? Well, it could be any of them, the only requirement is that the inverse image of an open set is open.

    Suppose it sends 1 to 1.

    Is there a homotopy from Id_X to gf? fg is id_Y) Remember this must be in the product topology on XxI. I don't think so, because of the discrete nature of X: because the notional homotopy h(x,t)

    satisfies h(x,1)=x, and varies continuously as t varies, it must be constant on x for all x, so Id is only homotopic to Id.
  11. Feb 7, 2004 #10

    the subsets axiom was changed and the values of logic were increased from 2 to 3 to account for this. btw, even in that context, i proved that the universal set is the only set that equals (not just is in bijection with) its powerset. more generally, if a set x is mappable onto its powerset then it must be the universal set. the kernel of the idea was that the 'answer' to russell's paradox is 'maybe.'

    thanks. i see what you mean now about it being the maps that are homotopic. in complex analysis, i always viewed the curves as homotopic and not the functions that gave rise to those curves. still, i think there is sense to be made out of homotopic sets.

    so what do you call it when it only satisfies half the definition of homotopy, if anything, if it even satisfies half?
  12. Feb 7, 2004 #11

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    You see why I was being careful about saying what set theoretic constructions I could assume you had?

    I doubt there is any name for spaces where the are maps f,g with fg homotopic to id, and gf not, simply because that does not seem a very restrictive criterion. For the sake of argument, call it hemitopic.

    the circle is hemitopic to any product of circles via the 'diagonal' map, x to (x,x,x...x), any topological space is hemitopic to any product of itself any numbre of times, infact. Moreoever, every set is hemitopic to a point. (As the relation of hemitopy is not symmetric, then this doesn't imply all spaces are hemitopic.) And therefore to any contractible space.
  13. Feb 7, 2004 #12
    that while on one level seems to reduce it to a triviality on another level perhaps it is the mathematical equivalent of the philsophic notion of nonduality.
  14. Feb 7, 2004 #13

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Erm, no. Would I regret asking what you mean by duality?
  15. Feb 7, 2004 #14
    you might but this is certainly not the place. actually, canute is the best at explaining it. start a thread in philosophy: "what is duality/nonduality." i can pm you some links to authors who philosophize about it.

    no, it's not trivial or no, it's not the mathematical equivalent of the philosophy of nonduality?

    thank you for your insights, btw.
  16. Feb 7, 2004 #15

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    There are many dualities in mathematics, the ones I care about usally involve finding adjoints to functors cf Grothendieck Duality. Then there are Dual Spaces, not to mention Dual constructions of category theory.

    We are not talking 'dual natures' such as wave particle.
  17. Feb 7, 2004 #16
    sure about that?

    isn't a vector space isomorphic to its dual's dual?

    different in one sense but same in another sense, depending on perspective.
    Last edited: Feb 7, 2004
  18. Feb 7, 2004 #17

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    For a finite dimensional vector space yes. That obviously fails in infinite dimensions. For, however for a module over a ring, there is more than just this.

    In general a duality can be thought of as an exact pairing between spaces. Eg on an n-dimensional manifold there is a duality between H_r and H^{n-r} - a non-degenerate bilinear form.

    I don't think it would help to explain the more advanced dualities, suffice to say that taking duals isn't as easy as people think because they only think in terms of finite dimensional vector spaces.
  19. Feb 7, 2004 #18
    interesting. maybe you could expond on duality and how universal or not the statement, loosly phrased, "it 'equals' its double dual" is and what that would mean in semi-lay terms. i don't know that much about categories or opposites of categories or duality in that any sense.

    not technically duality but what i meant by the last remark is what you probably knew but for others how two objects can be different, eg the sets {1,2,3} and {2,3,4}, yet the 'same' via an isomorphism. but even one ring isn't necessarily isomorphic to it with the same underlying set with a different multiplication rule!

    it seems as though hemitopy can unify all sets in a perhaps trivial way (for it appears that saying 'all sets are sets' is a trivial unification/identification of a common property of all sets) in that if all sets are hemitopic to a point, then shouldn't all sets be hemitopic to each other?
  20. Feb 8, 2004 #19

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Firstly the hemitopic statement is almost entirely vacuous as it is exactly equivalent to the statement 'a non-empty space is no-empty'.

    Secondly, a space isomoprhic to its double dual is reflexive, it is well known and can be found in any reference on basic hilbert space theory/functional analysis.

    l_p is dual to l_q iff 1/p+1/q = 1 for p and q non-zero.

    l_0 has as its dual l_[infinity]

    you don't want to know what the dual of l_[infinity] is, and I'm not sure I can eve describe it to be honest; it requires ultrafilters which behave oddly enough like the sigma algebras you mentioned (Moore-Smith convergeence and nets for reference).

    if V is some module for a ring then V dual is space Hom_{foo}(V,something)

    where the foo is what you want the maps to be equivariant wrt to and the something is some field/ring etc you map into.

    example, the dual as you know it is


    the k-linear maps into the base field of a k-Vector space for some field k.

    Note that for a vector space, V is not only isomorphic to V**, but to V* as well, it's just that the isomorphism is natural in the first case and unnatural in the second. Natural isos preserve arrows and unnatural ones reverse them

    exampe a map V-->W gives maps



    V**----> W**

    This is what is meant by dual on category theory.

    If F something defined by arrows and diagrams, then the dual construction of F is what you get when all the arrows are reversed.



    the product (categorical) of X and Y (when it exists) is an object XxY with maps XxY to X and Y with some universal property of commuting diagrams

    dual construction, the coproduct is blah blah with maps from X and Y TO XuY satisfying some universal property of commuting diagrams with the arrows going the other way.

    What you're calling duality isn't duality in any sense I'm aware of. What you are saying is that under the forgetful functor to the category SETS the objects become isomorphic.
  21. Feb 11, 2004 #20
    Just my two cents before running off to class:
    The power set
    If A is a set the power set of A is (henceforth called P(A)) is also a set. It's defined to be the set of all subsets of A.
    Topology-- loosely
    A topology on a set is a collection of subsets that satisfy certain axioms (which I'll omit). We call those subsets open. You may think of the topology on a set A as a subset of P(A)... so when we're talking about a topological space A we're really talking about the set A, and the additional information encoded in some special subset of p(A). There may be more then one topology defined on the same set A-- in fact there are as many topologies on A as there are subsets of P(A) that satisfy the topology axioms.

    Continuous Maps
    Consider two topological spaces X and Y with topologies S and T.
    There are many set-maps between X and Y. We have a simple criterion that allows us to decide if such a set map is continuous or not.

    Any map that has the property: the preimage of ANY open set in Y is open in X, gets the title of continuous. We can restate this in the language of power sets as follows:

    Any set map f:X->Y induces a map between p(Y) and p(X) called the preimage of f. This is less mysterious then it seems-- take any subset of the codomain (that's Y), and then the preimage of that set under f is subset of the domain (in this case X). That's just a map between p(B) and p(A).

    We'll call it f^{-1} (sorry-- don't know how to do tex here). So a set map f:X->Y is continuous precisely when the induced set map f^{-1}:P(Y)->P(X)
    has the property that f^{-t}(T) is contained within S.

    The Cartesian Product
    Let A and B be any two topological spaces, with topologies S and T.

    A X B is also a topological space as we'll see below:

    As a set A X B is the usual Cartesian product whose arbitrary elt is traditionally written as (a,b) where a is in a and b is in B. (I can get much fancier and more formal if circumstances warrant).

    The topology on A X B is formed from
    the topologies on A and B. It would be nice if S X T (which is almost a subset of P(A X B)) were a topology but it doesn't usually work that way. Let U be an elt of S (this means an open subset of A) and V an elt of T.
    Define U X V to be an open set in A X B.
    Now say that any subsets that can be built out of arbitrarily many unions and a finite number of intersections of these basic open subsets are also open...Toss in the empty set and all of A X B for good measure and voila-- topology on A X B. (why an arbitrary many unions and a finite number of intersections? That goes back to the topology axioms I omitted).
    Last edited: Feb 11, 2004
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook