Euclidean topology

GPTKB entity

Statements (50)
Predicate Object
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
https://www.w3.org/2000/01/rdf-schema#label Euclidean topology
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
gptkb:finite-dimensional_Euclidean_space
gptkbp:bfsLayer 5