GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
real line R
URI:
https://gptkb.org/entity/real_line_R
GPTKB entity
Statements (40)
Predicate
Object
gptkbp:instanceOf
gptkb:Vector
gptkb:mathematical_concept
gptkb:topology
gptkb:Field
ordered set
gptkbp:basisFor
real vector spaces
gptkbp:cardinality
continuum
gptkbp:dimensions
1
gptkbp:hasConnection
true
gptkbp:hasStandardTopology
true
https://www.w3.org/2000/01/rdf-schema#label
real line R
gptkbp:isArchimedean
true
gptkbp:isBanachSpace
true
gptkbp:isDenseIn
itself
gptkbp:isHausdorff
true
gptkbp:isHilbertSpace
true
gptkbp:isLocallyCompact
true
gptkbp:isMetricSpace
true
gptkbp:isNormedSpace
true
gptkbp:isomorphicTo
open interval (-∞, ∞)
gptkbp:isOneDimensional
true
gptkbp:isPathConnected
true
gptkbp:isSecondCountable
true
gptkbp:isSeparable
true
gptkbp:isSetOf
real numbers
gptkbp:isTotallyOrdered
true
gptkbp:isUncountable
true
gptkbp:numberOfIssues
true
gptkbp:subclassOf
gptkb:Euclidean_space
gptkbp:symbol
R
gptkbp:usedIn
gptkb:algebra
gptkb:geometry
gptkb:probability_theory
gptkb:topology
calculus
functional analysis
measure theory
real analysis
gptkbp:bfsParent
gptkb:circle_group_S^1
gptkbp:bfsLayer
6