|
gptkbp:instanceOf
|
gptkb:topology
|
|
gptkbp:appliesTo
|
gptkb:Euclidean_space
|
|
gptkbp:basisFor
|
open balls
open intervals
|
|
gptkbp:closedSetDefinition
|
complement of open set
|
|
gptkbp:definedIn
|
R^n
|
|
gptkbp:firstCountable
|
true
|
|
gptkbp:hasConnection
|
true
|
|
gptkbp:isBaireSpace
|
true
|
|
gptkbp:isHausdorff
|
true
|
|
gptkbp:isLindelof
|
true
|
|
gptkbp:isLocallyCompact
|
true
|
|
gptkbp:isMetrizable
|
true
|
|
gptkbp:isNormal
|
true
|
|
gptkbp:isNotBoxTopology
|
true
|
|
gptkbp:isNotCocountable
|
true
|
|
gptkbp:isNotCocountableTopology
|
true
|
|
gptkbp:isNotCofinite
|
true
|
|
gptkbp:isNotCofiniteTopology
|
true
|
|
gptkbp:isNotCompact
|
true
|
|
gptkbp:isNotDiscrete
|
true
|
|
gptkbp:isNotDiscreteTopology
|
true
|
|
gptkbp:isNotFiniteComplementTopology
|
true
|
|
gptkbp:isNotIndiscreteTopology
|
true
|
|
gptkbp:isNotLowerLimit
|
true
|
|
gptkbp:isNotOrderTopology
|
true
|
|
gptkbp:isNotSorgenfrey
|
true
|
|
gptkbp:isNotTrivial
|
true
|
|
gptkbp:isNotZariski
|
true
|
|
gptkbp:isParacompact
|
true
|
|
gptkbp:isPathConnected
|
true
|
|
gptkbp:isRegular
|
true
|
|
gptkbp:isSecondCountable
|
true
|
|
gptkbp:isSeparable
|
true
|
|
gptkbp:isStandardTopology
|
true
|
|
gptkbp:isT1
|
true
|
|
gptkbp:isT2
|
true
|
|
gptkbp:isT3
|
true
|
|
gptkbp:isT4
|
true
|
|
gptkbp:openSetDefinition
|
every point has an open ball neighborhood
|
|
gptkbp:productTopology
|
product of Euclidean topologies
|
|
gptkbp:subspaceTopology
|
inherited from Euclidean topology
|
|
gptkbp:usedIn
|
gptkb:general_topology
differential geometry
real analysis
manifold theory
|
|
gptkbp:bfsParent
|
gptkb:Minkowski_space
|
|
gptkbp:bfsLayer
|
5
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Euclidean topology
|