homeomorphicTo

P73738
predicate

Indicates that two topological spaces can be continuously deformed into each other via a bijective, continuous map with a continuous inverse, preserving their topological structure.

Try in SPARQL

All labels observed (5)

Label Occurrences
isHomeomorphicTo 7
topologicallyEquivalentTo 3
homeomorphicTo canonical 2

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: homeomorphicTo
Generated description
Indicates that two topological spaces can be continuously deformed into each other via a bijective, continuous map with a continuous inverse, preserving their topological structure.

Sample triples (14)

Subject Object
Cantor set product of countably many discrete two-point spaces ⓘ
Cantor set Cantor set self-linksurface differs ⓘ
surface form: Cantor space {0,1}^N with product topology
rotation group SO(3)
surface form: SO(3)
RP³ via predicate surface "topologicallyHomeomorphicTo" ⓘ
Riemann sphere 2-sphere via predicate surface "topologicallyEquivalentTo" ⓘ
Riemann sphere unit sphere in \mathbb{R}^3 via predicate surface "topologicallyEquivalentTo" ⓘ
U(1) S^1 via predicate surface "isHomeomorphicTo" ⓘ
Baire space irrational numbers with the usual topology via predicate surface "isHomeomorphicTo" ⓘ
Baire space set of all functions from N to N with product topology via predicate surface "isHomeomorphicTo" ⓘ
Baire space ω^ω set of irrationals in ℝ with the subspace topology via predicate surface "isHomeomorphicTo" ⓘ
Baire space ω^ω Cantor space 2^ω via predicate surface "isNotHomeomorphicTo" NERFINISHED ⓘ
Baire space ω^ω ω^ω with the Baire metric via predicate surface "isHomeomorphicTo" ⓘ
Baire space ω^ω space of all strictly increasing sequences of natural numbers via predicate surface "isHomeomorphicTo" ⓘ
Baire space ω^ω space of all functions from ω to ω with the topology of pointwise convergence from discrete ω via predicate surface "isHomeomorphicTo" ⓘ
van Kampen diagram disc diagram via predicate surface "topologicallyEquivalentTo" ⓘ