Homeomorphism Definition and 76 Threads

  1. cianfa72

    I 2-sphere intrinsic definition by gluing disks' boundaries

    A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of...
  2. E

    I Homemorphism in quotient topology

    Questions I have two general questions about the topic of quotient topology.. Suppose I have a set ##X## and I defined an equivalence relation ##\sim## on ##X## and I want to know what quotient toplogical sapce is hoemeorphic to. I have included a list of definitions, lemmas, propositions and...
  3. cianfa72

    I ##SO(3)## topology

    ##SO(3)## is a Lie group of dimension 3. It is the set of 3x3 matrices ##R## with the following properties: $$RR^T = R^TR=I, \text{det}(R)=+1$$ There exists a parametrization of ##SO(3)## that maps it on the sphere in ##\mathbb R^3## of radius ##\pi## where the antipodal points are identified...
  4. cianfa72

    I Maximal atlas of topological manifold

    From my understanding, a topological manifold ##M## comes with, by definition, a locally euclidean topology and a (topological) atlas ##\mathcal A_1##. From this atlas one can construct the maximal atlas ##\mathcal A## throwing in all the chart maps ##(U,\varphi)## each from one of the open...
  5. cianfa72

    I Homeomorphism onto a not open image in the target

    Can you provide an example of homeomorphism onto the image φ:U→φ(U) where the image φ(U)⊂M is not open in M w.r.t. its assigned topology ? Thanks.
  6. cianfa72

    I 2-sphere with any topology can't be homeomorphic to the plane

    Suppose there was a bijection ##\varphi## between the 2-sphere ##M## and the euclidean plane ##\mathbb R^2##. Then one could endow ##M## with the initial topology from ##\mathbb R^2## through ##\varphi## turning it into an homeomorphism (this topology on ##M## would be different from the subset...
  7. cianfa72

    I Properties of the initial topology from a topological manifold

    Consider a non-injective map ##\pi## from a set ##M## to a set ##N##. ##N## is equipped with a topological manifold structure (Hausdorff, second-countable, locally euclidean). Take the initial topology on ##M## given from ##\pi## (i.e. a set in ##M## is open iff it is the preimage under ##\pi##...
  8. cianfa72

    I Show that a "cross" is not a topological manifold

    Hi, I've a doubt about the following example in "Introduction to Manifold" by L. Tu. My understanding is that if one assumes the subspace topology from ##\mathbb R^2## for the "cross", then one can show that the topological space one gets is Hausdorff, second countable but non locally...
  9. cianfa72

    I Fiber bundle homeomorphism with the fiber

    Hi, in the definition of fiber bundle there is a continuous onto map ##\pi## from the total space ##E## into the base space ##B##. Then there are local trivialization maps ##\varphi: \pi^{-1}(U) \rightarrow U \times F## where the open set ##U## in the base space is the trivializing neighborhood...
  10. cianfa72

    I Is the Projection Restriction to a Linear Subspace a Homeomorphism?

    Hi, consider the Euclidean space ##\mathbb R^8## and the projection map ##\pi## over the first 4 coordinates, i.e. ##\pi : \mathbb R^8 \rightarrow \mathbb R^4##. I would show that the restriction of ##\pi## to the linear subspace ##A## (endowed with the subspace topology from ##\mathbb R^8##)...
  11. cianfa72

    I ##SU(2)## homeomorphic with ##\mathbb S^3##

    Hi, ##SU(2)## group as topological space is homeomorphic to the 3-sphere ##\mathbb S^3##. Since ##SU(2)## matrices are unitary there is a natural bijection between them and points on ##\mathbb S^3##. In order to define an homeomorphism a topology is needed on both spaces involved. ##\mathbb...
  12. A

    I Proving SL_2(C) Homeomorphic to SU(2)xT & Simple Connectedness

    Using the QR decomposition (the complex version) I want to prove that ##SL_2(C)## is homeomorphic to the product ##SU(2) × T## where ##T## is the set of upper-triangular 2×2-complex matrices with real positive entries at the diagonal. Deduce that ##SL(2, C)## is simply-connect. So, I can define...
  13. cianfa72

    I Clarification about submanifold definition in ##\mathbb R^2##

    Hi, a clarification about the following: consider a smooth curve ##γ:\mathbb R→\mathbb R^2##. It is a injective smooth map from ##\mathbb R## to ##\mathbb R^2##. The image of ##\gamma## (call it ##\Gamma##) is itself a smooth manifold with dimension 1 and a regular/embedded submanifold of...
  14. D

    Prove that f is a homeomorphism iff g is continuous, fg=1 and gf=1

    Outline of proof: Part I: ##1.## ##f## is a homeomorphism, so there exists a continuous inverse ##g:Y\longrightarrow X##. ##2.## ##f## is a bijection, hence there is a unique ##f(x)## in ##Y## for every ##x## in ##X##. For every ##f(x)\in Y##, the preimage under ##f## is...
  15. D

    Prove that a function from [0,1] to [0,1] is a homeomorphism

    let ##X=\{0,p1,p_2,...,p_n,1\}## and ##Y=\{0,p1,p_2,...,p_n,1\}## be sets equipped with the discrete topology. for each ##q_i## in ##Y##, the inverse image ##h^{-1}(q_i)=p_i## is open in ##X## w.r.t. to the discrete topology, so h is continuous. every element y in Y has a preimage x in X, so h...
  16. cianfa72

    I Global coordinate chart on a 2-sphere

    Hi, I know there is actually no way to set up a global coordinate chart on a 2-sphere (i.e. we cannot find a family of 2-parameter curves on a 2-sphere such that two nearby points on it have nearby coordinate values on ##\mathbb R^2## and the mapping is one-to-one). So, from a formal...
  17. cianfa72

    I How Do Transition Functions Define a Möbius Strip in Fiber Bundles?

    Hi, starting from this (old) thread I'm a bit confused about the following: the transition function ##ϕ_{12}(b)## is defined just on the intersection ##U_1\cap U_2## and as said in that thread it actually amounts to the 'instructions' to glue together the two charts to obtain the Möbius...
  18. cianfa72

    I Is a Full-Cone in E^3 a Topological Manifold?

    Hello, consider a full-cone (let me say a cone including bottom half, upper half and the vertex) embedded in ##E^3##. We can endow it with the topology induced by ##E^3## defining its open sets as the intersections between ##E^3## open sets (euclidean topology) and the full-cone thought itself...
  19. cianfa72

    I About the definition of a Manifold

    Hi, I'm a bit confused about the locally euclidean request involved in the definition of manifold (e.g. manifold ): every point in ##X## has an open neighbourhood homeomorphic to the Euclidean space ##E^n##. As far as I know the definition of homeomorphism requires to specify a topology for...
  20. L

    A Structure preserved by strong equivalence of metrics?

    Let ##d_1## and ##d_2## be two metrics on the same set ##X##. We say that ##d_1## and ##d_2## are equivalent if the identity map from ##(X,d_1)## to ##(X,d_2)## and its inverse are continuous. We say that they’re uniformly equivalent if the identity map and its inverse are uniformly...
  21. facenian

    I Metric Homeomorphism: Isometry Equivalence?

    Is every homeomorphism between a metric space X and a topological Y equivalent to an isometry? I think it is, but I need to confirm.
  22. cianfa72

    I Injective immersion that is not a smooth embedding

    Hi, I'm aware of a typical example of injective immersion that is not a topological embedding: figure 8 ##\beta: (-\pi, \pi) \to \mathbb R^2##, with ##\beta(t)=(\sin 2t,\sin t)## As explained here an-injective-immersion-that-is-not-a-topological-embedding the image of ##\beta## is compact in...
  23. cianfa72

    I Differential structure on a half-cone

    Hi, consider an "half-cone" represented in Euclidean space ##R^3## in cartesian coordinates ##(x,y,z)## by: $$(x,y,\sqrt {x^2+y^2})$$ It does exist an homeomorphism with ##R^2## through, for instance, the projection ##p## of the half-cone on the ##R^2## plane. You can use ##p^{-1}## to get a...
  24. nightingale123

    Finding homeomorphism between topological spaces

    Homework Statement show that the two topological spaces are homeomorphic. Homework Equations Two spaces are homeomorphic if there exists a continuous bijection with a continuous inverse between them The Attempt at a Solution I have tried proving that these two spaces are homeomorphic...
  25. S

    I Difference between diffeomorphism and homeomorphism

    Hello! I just started reading something on differential geometry and I am not sure I understand the Difference between diffeomorphism and homeomorphism. I understand that the homeomorphism means deforming the topological spaces from one to another into a continuous and bijective way (like a...
  26. PsychonautQQ

    Proving conditions for a covering map to be a homeomorphism

    Homework Statement Let p: E-->B be a covering map. Let E be path connected and B be simply connected. Prove that p is a homeomorphism. Homework EquationsThe Attempt at a Solution I'm really struggling with this. Can anyone give me any insights? B is simply connected so any two paths with the...
  27. davidge

    I Proving non homeomorphism between a closed interval & ##\mathbb{R}##

    I was trying to show that a closed interval ##[a,b]## and ##\mathbb{R}## cannot be homeomorphic. I would like to know whether this can actually be considered as a proof. It is the following: - The closed interval ##[a,b]## can be written as ##[a,p] \cup [p,b]##, where ##a \leq p \leq...
  28. davidge

    I Boundary and homeomorphism

    The 2-sphere ##\mathbb{S}^2## can be expressed as the product ##\mathbb{S}^1 \times \mathbb{S}^1## Now can we express ##\mathbb{S}^1## as ##\mathbb{S}^1 \subset (-a,a)##, where ##(-a,a)## is some open interval of ##\mathbb{R}##? If so, then (I think) ##\mathbb{S}^1## is homeomorphic to...
  29. kroni

    A Is Your Graph Homeomorphic to a Sphere?

    Hello, I want to prove that a graph represent a manifold, for this i take the opposites edges of a vertex (edge connected between vertex connected to the current vertex) and this subgraph need to be homeomorphic for example to the 1-sphere if i want a 2 manifold. This criterion ensure that my...
  30. C

    Homeomorphism in a Banach space

    Hello, 1. Homework Statement Let be E a banach space, A a continuous automorphsim(by the banach theorem his invert is continus too.). and f a k lipshitzian fonction with $$k < \frac{1}{||A^{-1}||}$$. Homework Equations $$k < \frac{1}{||A^{-1}||}$$ The Attempt at a Solution I have to show...
  31. Mr. Rho

    Poloidal current in toroidal solenoid

    Hi, I'm trying to figure out how the current density for a poloidal current in toroidal solenoid is written. I found you may define a torus by an upper conical ring ##(a<r<b,\theta=\theta_1,\phi)##, a lower conical ring ##(a<r<b,\theta=\theta_2,\phi)##, an inner spherical ring...
  32. C

    What Properties Are Preserved by Diffeomorphisms?

    From a topological point of view a homeomphism is the best notion of equality between topological spaces. I.e. homeomorphisms preserve properties such as Euler characteristic, connectedness, compactness etc. I've understood it such that diffeomorphisms are the best notion of equality between...
  33. Fernando Revilla

    MHB Homeomorphism between a cylinder and a plane?

    I quote a question from Yahoo! Answers I have given a link to the topic there so the OP can see my response.
  34. H

    Homeomorphism of Unit Circle and XxX Product Space

    Is there atopological space X such that XxX (the product space) is homeomorphic to the unit circle in the plane
  35. M

    Homeomorphism through cutting and pasting of manifolds

    I am independently working through the topology book called, "Introduction to Topology: Pure and Applied." I am currently in a chapter regarding manifolds. They attempt to show that a connected sum of a Torus and the Projective plane (T#P) is homeomorphic to the connected sum of a Klein Bottle...
  36. P

    MHB Homeomorphism Between Q and Unit Sphere in R^3

    Find a homeomorphism between Q={(x,y,z):$x^2+y^6+z^{10}=1$} and the unit sphere in R^3
  37. I

    What is Homeomorphism Type? Definition & Examples

    I have one other question and I'd appreciate any insight in to. What exactly is "homeomorphism type"? I understand well what a homeomorphism is, but not what a homeomorphism type is. For example, I read about lens spaces and read things like "some lens spaces have the same homotopy type but...
  38. K

    A fundamental question on homeomorphism

    It is well known that there does NOT exist a homeomorphism between R^m and R^n if m>n. My question is whether it is possible to construct a homeomorphism between R^m (as a whole) and a subset of R^n (note that we also suppose that m>n)? Intuitively, it is impossible. Is my intuition right...
  39. H

    Finding inverse for a homeomorphism on the sphere (compactification)

    hi there I'd like to show that the sphere \mathbb{S}^n := \{ x \in \mathbb{R}^{n+1} : |x|=1 \} is the one-point-compactification of \mathbb{R}^n (*) After a lot of trying I got this function: f: \mathbb{S}^n \setminus \{(0,...,0,1)\} \rightarrow \mathbb{R}^n (x_1,...,x_{n+1})...
  40. R

    Homeomorphism between the open sets of the circle and the open sets of real line

    I'm trying to prove the homeomorphism between the open intervals of the real line and the open sets of the circle with the induced topology of R^2. Notice that the open sets of the circle is the intersection between the open balls in R^2 and the circle itself. Anyone can help me...
  41. F

    Geometric difference between a homotopy equivalance and a homeomorphism

    Geometrically, what is the difference between saying 'X is homotopic equivalent to Y' and 'X is homeomorphic to Y'? I know that a homeomorphism is a homotopy equivalence, but I can't seem to visualise the difference between them. It seems to me that both of these terms are about deforming spaces...
  42. G

    How Can We Map the Open Interval (0,1) to the Real Line R Using a Homeomorphism?

    Homework Statement Find an explicit homeomorphism from (0,1) to R. Homework Equations A homeomorphism from (-1,1) to R is f(x)=tan(pi*x/2). The Attempt at a Solution I'm horrible a modifying trig functions. Obviously, to shift by b you add b to (x) and you can change the...
  43. G

    (Topology Problem) Finding an interesting homeomorphism

    Homework Statement NxNx[0,1) is homeomorphic to [0, 1). Find an explicit homeomorphism. (Note that N=naturals) Homework Equations A function f is a homeomorphism if: (1) f is bijective (2) f is continuous (3) f inverse is continuous The Attempt at a Solution Finding a map from...
  44. R

    Show that a homeomorphism preserves uniform continuity

    Homework Statement (X,d1),(Y,d2) and (Z,d3) are metric spaces, Y is compact, g(y) is a continuous function that maps Y->Z with a continuous inverse If f(x) is a function that maps X->Y, and h(x) maps X->Z such that h(x)=g(f(x)) Show that if h is uniformly continuous, f is uniformly...
  45. 6

    How to Prove ℝn is Not Homeomorphic to ℝm for m≠n?

    How would one go about proving ℝn is not homeomorphic to ℝm for m≠n. This isn't a homework question, I was told, but we weren't shown the proof.Is there somewhere with a proof I can see, or can someone outline it briefly?
  46. G

    Example of a Homeomorphism f: Q -> Q not order preseving or order-reversing

    Any ideas? I really can't think of any myself, as I'm quite the amatuer at topology.
  47. M

    Is this a homeomorphism that does not preserve metric completeness?

    I'm well aware and understand that homeomorphism do not need to preserve metric completeness, I'm just trying to work out a simple counterexample. I have tried searching around just for kicks, but only seem to find more complex ones. I'm wondering if the one I have works for it for sure? On...
  48. J

    From continuity to homeomorphism, compactness in domain

    Is this claim true? Assume that X,Y are topological spaces, and that all closed subsets of X are compact. Then all continuous bijections f:X\to Y are homeomorphisms. It looks true on my notebook, but I don't have a reference, and I don't trust my skills. Just checking.
  49. R

    Prove there is no homeomorphism that makes two functions conjugate

    Homework Statement let f(x) = x3 and g(x) = x - 2x3. Show there is no homeomorphism h such that h(g(x)) = f(h(x)) Homework Equations Def let J and K be intervals. the function f:J->K is a homeomorphism of J onto K if it is one to one, onto, and both f and its inverse are...
  50. aleazk

    Does an Homeomorphism Preserve Boundary Correspondence in Topological Spaces?

    Hi, I need to know if the following statement is false or true. Given two topological spaces, X and Y, and an homeomorphism, F, between them, if bA is the boundary of the subset A of X, this implies that F(bA) is the boundary of the subset F(A) of Y?
Back
Top