isSimplyConnected
P22987
predicate
Indicates that a topological space has no "holes," meaning every loop within it can be continuously contracted to a single point.
All labels observed (3)
| Label | Occurrences |
|---|---|
| isSimplyConnected canonical | 14 |
| hasFundamentalGroup | 11 |
| simplyConnected | 1 |
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: isSimplyConnected
Generated description
Indicates that a topological space has no "holes," meaning every loop within it can be continuously contracted to a single point.
Sample triples (26)
| Subject | Object |
|---|---|
| Euclidean space | true ⓘ |
| SU(3) | true ⓘ |
| SU(3) | trivial group via predicate surface "hasFundamentalGroup" ⓘ |
| SL(2,C) | true ⓘ |
| SL(2,C) | trivial via predicate surface "hasFundamentalGroup" ⓘ |
| Riemann sphere | true ⓘ |
|
SU(2)
linked to:
rotation group SU(2)
|
true ⓘ |
|
SU(2)
linked to:
rotation group SU(2)
|
trivial group via predicate surface "hasFundamentalGroup" ⓘ |
|
SO(3)
linked to:
rotation group SU(2)
|
Z/2Z via predicate surface "hasFundamentalGroup" ⓘ |
| U(1) | Z via predicate surface "hasFundamentalGroup" ⓘ |
| orthogonal group O(n+1,2) | ℤ for n+3 ≥ 3 (via SO⁰(n+1,2)) via predicate surface "hasFundamentalGroup" ⓘ |
|
SL(n,ℝ)
linked to:
special linear group SL(n,R)
|
ℤ for n = 2 via predicate surface "hasFundamentalGroup" ⓘ |
|
SL(n,ℝ)
linked to:
special linear group SL(n,R)
|
false for n ≥ 2 ⓘ |
| Spin(2,d) | true ⓘ |
|
GL(n,ℂ)
linked to:
general linear group GL(n,C)
|
false ⓘ |
|
SL(n,ℂ)
linked to:
special linear group SL(n,C)
|
true for n ≥ 2 ⓘ |
|
SL(n,ℂ)
linked to:
special linear group SL(n,C)
|
0 (trivial) for n ≥ 2 via predicate surface "hasFundamentalGroup" ⓘ |
| PSL(2,ℝ) | false ⓘ |
| Poincaré upper half-plane model | true ⓘ |
| SL(2,R) | false via predicate surface "simplyConnected" ⓘ |
|
PSL(2,ℂ)
linked to:
PSL(2,\mathbb{C})
|
ℤ/2ℤ via predicate surface "hasFundamentalGroup" ⓘ |
|
PSL(2,ℂ)
linked to:
PSL(2,\mathbb{C})
|
false ⓘ |
| Teichmüller space | true ⓘ |
|
Hurwitz surface
linked to:
Hurwitz surfaces
|
torsion-free subgroup of (2,3,7) triangle group via predicate surface "hasFundamentalGroup" ⓘ |
| 4-sphere S^4 | true ⓘ |
|
Seifert fibered space
linked to:
Seifert fibered spaces
|
group fitting into short exact sequence with Z as normal subgroup via predicate surface "hasFundamentalGroup" ⓘ |