1-dimensional Euclidean space
GPTKB entity
Statements (32)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Euclidean_space
|
| gptkbp:alsoKnownAs |
real line
|
| gptkbp:basisFor |
{1}
|
| gptkbp:complete |
true
|
| gptkbp:connects |
true
|
| gptkbp:coordinates |
single real number
|
| gptkbp:differentiableManifold |
true
|
| gptkbp:dimensionOver |
1
real numbers |
| gptkbp:dimensions |
1
|
| gptkbp:fieldStructure |
real numbers
|
| gptkbp:groupStructure |
gptkb:additive_group_of_real_numbers
|
| gptkbp:hasSubgroup |
gptkb:n-dimensional_Euclidean_space
|
| gptkbp:Hausdorff |
true
|
| gptkbp:isomorphicTo |
real line
|
| gptkbp:locallyCompact |
true
|
| gptkbp:manifold |
true
|
| gptkbp:measures |
Euclidean metric
|
| gptkbp:paracompact |
true
|
| gptkbp:realAnalyticManifold |
true
|
| gptkbp:secondCountable |
true
|
| gptkbp:separates |
true
|
| gptkbp:simplyConnected |
true
|
| gptkbp:symbol |
R
|
| gptkbp:topology |
standard topology on R
|
| gptkbp:usedIn |
gptkb:analysis
gptkb:geometry gptkb:topology |
| gptkbp:vectorSpaceOver |
real numbers
|
| gptkbp:bfsParent |
gptkb:4-dimensional_Euclidean_space
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
1-dimensional Euclidean space
|