real line R

URI: https://gptkb.org/entity/real_line_R

GPTKB entity

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