Revision #447 → #1113 · back to history
addedConnected spaceb2dcb5766cb2
addedConnected subseta33577cf7196
addedDisconnected / connected space45828c32d734
addedConnectedness equivalence relationb75ba424933c
addedEquivalent conditions for connectednessc548b1fc6d91
addedUnion of connected sets containing a common point is connected1fafd0538c99
addedConnected component of a point15f0875e0bf3
addedConnected components of a space93898ad1518f
addedComponents form a partitionf266c00e1696
addedEvery component is closedea1da7599d22
addedComponents of the rationals are singletons0211d5604e9d
addedQuasi-component contains component1a6f9f9a5744
addedTotally disconnected spaceb83c3746d84a
addedTotally separated space700644a730a2
addedTotally separated implies totally disconnected51721c108797
addedTwo copies of rationals glued away from zerod1b8a3d51fcc
addedClosed interval is connectedae1dd37f7f6b
addedUnion of two disjoint open intervals is disconnectedc4a70a7fd526
addedIndiscrete topology is connected5849f8a2b0de
addedSubspace not connected9294f6c2ef5d
addedConvex subset of Euclidean space is connected0b47c8be0dd4
addedEuclidean plane minus originc56d0af78b87
addedPlane with a line removed6591ae66d8a1
addedReal line is connected02813a776fc4
addedSorgenfrey line is disconnectedd0bc3bbcf12c
addedRemoving points from Euclidean space9074e77ea9ea
addedTopological vector space is simply connected282bf432e1fd
addedDiscrete space with two elements is disconnectedc0bdeb8da030
addedSpectrum of discrete valuation ring248af05edb74
addedCantor set is totally disconnected0374b9d7b3b0
addedHomotopy equivalence preserves connectedness719187d0ee96
addedTopologist's sine curvea3ef7c9af48f
addedGeneral linear group components9805ca43bd3a
addedEquivalent conditions for connected spectrum9e325ceb8b56
addedPlane with infinite line deleted92bab5eb31ac
addedPath in a topological space6ef8cf8b14f8
addedPath-component and path-connected space78f4d16fc7b2
addedPath-component is maximal path-connected subset844bda3194d5
addedPath-connected implies connecteda735660c7b15
addedConnected subsets of real line are intervals04f7bc6c4cfc
addedArc-connected spacea3f606aced1f
addedArc-component7cac350cec12
addedHausdorff path-connected implies arc-connected0fc0b49b9f2c
addedLine with two origins is path-connected but not arc-connected7525b330134a
addedLocally connected at a pointb2f259c6c53f
addedCharacterization of locally connected671b13b20b5d
addedLocally path-connected30fdcff347a2
addedOpen subset of locally path-connected: connected iff path-connected58c7b9c7f0f2
addedLocally connected but not connected9b82532536b9
addedTopologist's sine curve not locally connected2229d42adab3
addedIntersection of connected sets need not be connected1bce81da0e86
addedUnion of connected sets need not be connected59a00354bd65
addedConditions under which union of connected sets is connectedae5255acf52c
addedSet difference and connectednesscebfde5a0fa8
addedMain theorem of connectedness9d59ceee9d45
addedPath-connected implies connected1d6a76d3559b
addedOpen connected sets in locally path-connected spaces are path-connected64c8535dc79c
addedLocally path-connected implies locally connected888318ea13fd
addedLocally path-connected: path-connected iff connected23de1b7273eb
addedClosure of connected set is connectedcc55f116f5ea
addedConnected components are closedb7d75690c69a
addedComponents of locally connected space are open08f64b653874
addedComponents are disjoint unions of path-componentsd37b4ee63d5d
addedQuotient preserves connectednessadb29f2efe22
addedProduct of connected spaces is connected6a87d21b6d0c
addedOpen subset of locally connected is locally connected9941095e548a
addedManifolds are locally path-connected12666d50a107
addedArc-wise connected implies path-connecteddf29a154c44d
addedContinuous image of arc-wise connected is arc-wise connected0d275af62a5b
added5-cycle graph7a7574a1f60b
addedConnective spacescc0ec2340bb7
addedGraph connectedness via topology12a08f5f094b
addedHyperconnected implies connectedf68d5f46ed19
addedSimply connected implies connected6994768f6f87
addedContractible implies path connected71afa4b08c6a
addedDeleted comb space5658ed051492
addedWell-chained spacea5de2bb99eaa