Nonempty topologically convex space: Difference between revisions
(Created page with '{{topospace property}} ==Definition== A '''topologically convex space''' is a topological space that is homeomorphic to a [[convex subset of Euclidean spa...') |
|||
| Line 14: | Line 14: | ||
|- | |- | ||
| [[Stronger than::topologically star-like space]] || || follows from [[convex implies star-like]] || || {{intermediate notions short|topologically star-like space|topologically convex space}} | | [[Stronger than::topologically star-like space]] || || follows from [[convex implies star-like]] || || {{intermediate notions short|topologically star-like space|topologically convex space}} | ||
|- | |||
| [[Stronger than::contractible space]] || has a [[contracting homotopy]] || [[star-like implies contractible|via star-like]] || || {{intermediate notions short|contractible space|topologically convex space}} | | [[Stronger than::contractible space]] || has a [[contracting homotopy]] || [[star-like implies contractible|via star-like]] || || {{intermediate notions short|contractible space|topologically convex space}} | ||
|- | |- | ||
Revision as of 03:30, 9 November 2010
This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces
Definition
A topologically convex space is a topological space that is homeomorphic to a convex subset of Euclidean space.
Relation with other properties
Weaker properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions | |
|---|---|---|---|---|---|
| topologically star-like space | follows from convex implies star-like | |FULL LIST, MORE INFO | |||
| contractible space | has a contracting homotopy | via star-like | Equiconnected space, Space in which every retraction is a deformation retraction, Topologically star-like space|FULL LIST, MORE INFO | ||
| semi-suddenly contractible space | has a semi-sudden contracting homotopy | via star-like | Topologically star-like space|FULL LIST, MORE INFO | ||
| SDR-contractible space | has a contracting homotopy that is a deformation retraction | via star-like | Space in which every retraction is a deformation retraction, Topologically star-like space|FULL LIST, MORE INFO |