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
|
https://www.w3.org/2000/01/rdf-schema#label |
1-dimensional Euclidean space
|
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:geometry
gptkb:topology analysis |
gptkbp:vectorSpaceOver |
real numbers
|
gptkbp:bfsParent |
gptkb:4-dimensional_Euclidean_space
|
gptkbp:bfsLayer |
7
|