View source for User:Alec/Goals/2017.2.17 - 2017.2.24

==Done==
* [[Hausdorff space]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 14:40, 23 February 2017 (UTC)
* [[Path-connected (topology)]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 14:40, 23 February 2017 (UTC)
* [[Local homeomorphism]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 14:40, 23 February 2017 (UTC)
* Covering stuff done [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:41, 26 February 2017 (UTC)
* Clustered around: [[Topological covering space]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:41, 26 February 2017 (UTC)
* [[Intermediate value theorem]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:41, 26 February 2017 (UTC)
* [[The real line]] 01:41, 26 February 2017 (UTC)
* [[Real projective space]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:41, 26 February 2017 (UTC)
* [[Vertex set of an abstract simplicial complex]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:41, 26 February 2017 (UTC)
* [[Vertex scheme of an abstract simplicial complex]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:41, 26 February 2017 (UTC)
* Other related things to [[abstract simplicial complex]] 01:41, 26 February 2017 (UTC)
* [[Locally euclidean]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:41, 26 February 2017 (UTC)
* [[Locally euclidean of dimension n]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:41, 26 February 2017 (UTC)
* [[Locally path-connected topological space]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:41, 26 February 2017 (UTC)
* [[Path-connected topological space]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:41, 26 February 2017 (UTC)
And some other stuff too!
==Create pages==
* [[singleton (set theory)]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 18:02, 17 February 2017 (UTC)
* [[path connected topological space]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 18:02, 17 February 2017 (UTC)
* [[local homeomorphism]] / [[locally homeomorphic]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 18:02, 17 February 2017 (UTC)
* {{link|locally path connected|topology}} [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 18:02, 17 February 2017 (UTC)
** FOUND: [[Locally path connected topological space]] - of poor quality. Source is Lee Top Man p92.7. [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 18:14, 17 February 2017 (UTC)
* [[covering map (topology)]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 18:02, 17 February 2017 (UTC)
* [[even covering (topology)]] / [[evenly covered (topology)]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 18:02, 17 February 2017 (UTC)
* [[covering space (topology)]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 18:02, 17 February 2017 (UTC)
==Patrol areas==
* Ensure any connectedness (topology) pages are correct and up to date. Redirect to/centre around [[connected topological space]] and something like:
** "''a subspace is connected if and only if it is connected as a subset''" or something - as done for compactness. [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 18:02, 17 February 2017 (UTC)
==Do proofs (on paper perhaps)==
* Any propositions/lemmas found in [[intermediate value theorem]] page [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 18:02, 17 February 2017 (UTC)
* Elementary properties of covering maps - as per Intro to Top Manifolds - Lee ~ p279 [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 18:02, 17 February 2017 (UTC)
* Elementary properties of local homeomorphisms - Lee Top Man p 31.0 area [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 18:11, 17 February 2017 (UTC)