
#1
Jan3113, 12:41 AM

P: 3

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 nspace) satisfying the condition of topology, thus making topology ? 



#2
Jan3113, 12:48 AM

P: 771

...what? You want to prove that "the topology" on R^{n} is a topology?




#3
Jan3113, 09:52 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,898

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 R^{n} is a topology. Of course, those are defined by the metric [itex]d(x,y)= \sqrt{(x_1y_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.




#4
Feb113, 01:32 AM

P: 3

Topology on Eculidean nspace(ℝ^n)
thanx guys for you immediate concern. in fact i was looking for how the collection of open sets over Euclideann 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.




#5
Feb113, 07:20 AM

P: 3

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 



#6
Feb113, 09:20 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,898

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 R^{n} 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 R^{n}: 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 subcollection 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. 


Register to reply 
Related Discussions  
x^2 = 2 has solution in ℝ  Topology and Analysis  4  
Completeness of ℝ (when ℝ is defined abstractly)  Topology and Analysis  2  
Vector Space {∀ x ϵ ℝ+ : x>0}  Calculus & Beyond Homework  11  
Topology: Nonseparable space  Calculus & Beyond Homework  1  
topology space  Beyond the Standard Model  2 