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

Topology on Eculidean n-space(ℝ^n)

  1. Jan 31, 2013 #1
    Hey guys in fact here is my first time to have interaction over this forum!

    I've already read how one can show the topology in ℝ(real Line) which is usual called standard topology fulfill the three condition fro to be topology. however,

    I want to make inquiry on how can i proof whether the topology in ℝ^n(Euclidean n-space) satisfying the condition of topology, thus making topology ?
     
    Last edited: Jan 31, 2013
  2. jcsd
  3. Jan 31, 2013 #2
    ...what? You want to prove that "the topology" on Rn is a topology?
     
  4. Jan 31, 2013 #3

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    I think that what davechrist37 is saying is that he wants to prove that the collection of what are called "open sets" as normally defined on Rn is a topology. Of course, those are defined by the metric [itex]d(x,y)= \sqrt{(x_1-y_1)^2+ (x_2- y_2)^2+ \cdot\cdot\cdot+ (x_n- y_n)^2}[/itex] so it is only really necessary to prove that that is a metric. I believe that is typically done in any introductory Analysis course.
     
  5. Feb 1, 2013 #4
    thanx guys for you immediate concern. in fact i was looking for how the collection of open sets over Euclidean-n space forms topology; however right yesterday I got a material w/c help me how can I go thru the proof of that. let me glance ovr that and i'll reflect it here again. :smile:
     
  6. Feb 1, 2013 #5
    Re: Homeomorpism on Topology

    let B^(n )∁ R^n denote the open unit ball in R^n with center at the orgine.i.e
    B^(n )={x∈R^n:|x|<1}.Then how I can show or Prove the map f:R^n-→B^(n ) given by
    f:x⟼x/(1+|x| ) ϵB^(n )
    is well defined and gives a homeomorphism B^(n )≅ R^n
     
  7. Feb 1, 2013 #6

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    That last is a completely different question, and much harder, from your first question!
    That, at least is relatively straight forward. Given a set X, a topology for X is a collection of subsets of X, T, such that:
    1) X is in the collection.
    2) The empty set is in the collection.
    3) The union of any sets in the collection is also in the collection.
    4) The intersection of any finite number of sets in the collection is also in the collection.

    The "standard topology" for Rn is the collection of open sets where a set, A, is open if and only if "for ever x in A, there exist a number [itex]\delta> 0[/itex] such that the ball, [itex]B_\delta(x)[/itex], defined as [itex]\{y | d(x,y)< \delta[/itex] is a subset of A". Here d(x, y) is the "standard metric" on Rn: if [itex]x= (x_1, x_2, ..., x_n)[/itex], and [itex]y= (y_1, y_2, ..., y_n)[/itex], then [itex]d(x,y)= \sqrt{(x_1- y_2)^2+ (x_2- y_2)^2+ \cdot\cdot\cdot+ (x_n- y_n)^2}[/itex].

    Now, suppose x is in [itex]\cup \{U_i\}[/itex] where [itex]\{U_i\}[/itex] is a collection of open sets A. Then there exist some specific [itex]U_i[/itex] containing x. Since [itex] U_i[/itex] is open, there exist [itex]\delta> 0[/itex] such that [itex]B_\delta(x)\subset U_i[/itex]. But if every point of [itex]B_\delta(x)[/itex] is in [itex]U_i[/itex]j it is certainly in the union so [itex]B_\delta(x)\subset \cup \{U_i\}[/itex] and so [itex]\cup \{U_i\}[/itex] is an open set.

    Intersection is a little trickier and why we need "finite". Suppose [itex]x\in \cap U_i[/itex]. Then [itex]x\in U_i[/itex] for all i. Since every [itex]U_i[/itex] is open, there exist [itex]\delta_i> 0[/itex] such that [itex]B_{\delta_i}(x)\subset U_i[/itex] for every i. Here's where we need "finite". Since the set of all such [itex]\delta_i[/itex] is finite, there exist a smallest [itex]\delta_k[/itex]. Then [itex]B_{\delta_k}(x)[/itex] is a subset of all such [itex]B_i(x)[/itex] and so is in every [itex]U_i[/itex] and so in their intersection. [itex]B_k(x)[/itex] for that k is in [itex]\cap \{U_i\}[/itex]. Since x could be any point in [itex]\cap\{U_i\}[/itex], [itex]\cap \{U_i\}[/itex] is open.

    Now that we have shown that the union of any sub-collection is also in the collection, to show that the entire space, A, is in the collection, take the union of all sets in the collection. To show that the empty set is in the collection, take the union of of the empty subcollection.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook