Pair of intersecting lines

From Topospaces
Revision as of 14:59, 31 May 2016 by Vipul (talk | contribs) (Created page with "{{particular topospace}} {{standard counterexample}} == Definition == A '''pair of intersecting lines''' is the underlying topological space of any subset of Euclidea...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This article is about a particular topological space (uniquely determined up to homeomorphism)|View a complete list of particular topological spaces

This article describes a standard counterexample to some plausible but false implications. In other words, it lists a pathology that may be useful to keep in mind to avoid pitfalls in proofs
View other standard counterexamples in topology

Definition

A pair of intersecting lines is the underlying topological space of any subset of Euclidean space (of dimension two or higher) that comprises two distinct and intersecting lines. An example is the set:

This is the pair of the -axis and the -axis in .

| class="sortable" border="1" ! Property !! Satisfied? !! Explanation !! Corollary properties satisfied/dissatisfied |- | closed sub-Euclidean space || Yes || || satisfies: sub-Euclidean space, completely metrizable space |- | locally Euclidean space || No || Not Euclidean around point of intersection || dissatisfies: manifold |- ! colspan="4" style="text-align:center; background: white"| Separation and metrizability |- | metrizable space || Yes || || satisfies: binormal space, normal space, perfectly normal space, completely normal space, regular space, Hausdorff space, paracompact Hausdorff space, paracompact space |- | CW-space || Yes || || |- | polyhedron || Yes || || |- ! colspan="4" style="text-align:center; background: white"| Connectedness |- | SDR-contractible space || Yes || || satisfies: contractible space, simply connected space, path-connected space |- | locally contractible space || Yes || ||satisfies: locally path-connected space, locally simply connected space, semilocally simply connected space, locally connected space |- ! colspan="4" style="text-align:center; background: white"| Compactness |- | locally compact space || Yes || || |- | compact space || No || || |- | paracompact space || Yes || via metrizability || |- ! colspan="4" style="text-align:center; background: white"| Countability |- | second-countable space || Yes || || satisfies: first-countable space, separable space |- ! colspan="4" style="text-align:center; background: white"| Miscellaneous |- | homogeneous space || No || point of intersection is not similar to other points || |}