There is a situation that comes up regularly in algebraic topology when giving proofs of facts about manifolds, like Poincare duality and the like. The typical sequence goes like this:
- Prove something for $\mathbb{R}^n$.
- Then it follows for open disks.
- Use a Mayer-Vietoris argument to prove it for finite unions of convex sets in $\mathbb{R}^n$.
- Use a colimit argument to prove it for arbitrary open subsets of $\mathbb{R}^n$.
- It then follows for open subsets of a manifold admitting a homeomorphism to an open subset of $\mathbb{R}^n$.
- Use a Mayer-Vietoris argument to prove it for finite unions of such subsets of a manifold.
- Use a colimit argument to prove it for arbitrary open subsets of a manifold.
Obviously there is some redundancy here, and it makes the technical details in these proofs overwhelm the underlying ideas. In the smooth category one can do better, but usually only by appealing to machinery which is useful but takes extra time to prove.
The answers/comments in the following question point towards a very useful way to compare coordinate charts in different affine covers of a given scheme:
What should be learned in a first serious schemes course?
Namely, the intersection of any two affine opens has a cover by open sets which are simultaneously distinguished in both.
I feel like I should know a reference to whether this is true in the topological category - and I suspect that it's not - but I shamefully don't know. One can phrase this in terms of continuous local homeomorphisms from $\mathbb{R}^n$ to itself, but I'll instead just ask:
Given two coordinate charts on a topological manifold M and a point in their intersection, is there a neighborhood of this point which is simultaneously a convex open set in both charts? Is there a simple counterexample?