Skip to main content
deleted 8 characters in body
Source Link
Dmitri Pavlov
  • 37.8k
  • 4
  • 97
  • 183

To answer the first question: there are two completely elementary proofs of the existence of differentiable good open covers: the first one is Lemma IV.6.9 in Demailly's “Complex Analytic and Differential Geometry” and the second one is Theorem 5.3.2 and Appendix C in Guillemin and Haine's “Differential Forms”. These proofs rely on a fact that star-shaped open subsets of R^n are diffeomorphic to R^n, an an elementary proof of which can be found here: What are the open subsets of $\mathbb{R}^n$ that are diffeomorphic to $\mathbb{R}^n$.

These proofs are similar andTo answer the techniques used in them can also be adapted to showsecond question: for an elementary proof of the existence of of tubular neighborhoods in an elementary fashion, without using Riemannian metrics, although I do not have a reference for such a proofsee Theorem 4.5.2 in Hirsch's “Differential Topology.

To answer the first question: there are two completely elementary proofs of the existence of differentiable good open covers: the first one is Lemma IV.6.9 in Demailly's “Complex Analytic and Differential Geometry” and the second one is Theorem 5.3.2 and Appendix C in Guillemin and Haine's “Differential Forms”. These proofs rely on a fact that star-shaped open subsets of R^n are diffeomorphic to R^n, an an elementary proof of which can be found here: What are the open subsets of $\mathbb{R}^n$ that are diffeomorphic to $\mathbb{R}^n$.

These proofs are similar and the techniques used in them can also be adapted to show the existence of tubular neighborhoods in an elementary fashion, without using Riemannian metrics, although I do not have a reference for such a proof.

To answer the first question: there are two completely elementary proofs of the existence of differentiable good open covers: the first one is Lemma IV.6.9 in Demailly's “Complex Analytic and Differential Geometry” and the second one is Theorem 5.3.2 and Appendix C in Guillemin and Haine's “Differential Forms”. These proofs rely on a fact that star-shaped open subsets of R^n are diffeomorphic to R^n, an an elementary proof of which can be found here: What are the open subsets of $\mathbb{R}^n$ that are diffeomorphic to $\mathbb{R}^n$.

To answer the second question: for an elementary proof of the existence of tubular neighborhoods, see Theorem 4.5.2 in Hirsch's “Differential Topology.

added 238 characters in body
Source Link
Dmitri Pavlov
  • 37.8k
  • 4
  • 97
  • 183

To answer the first question: there are two completely elementary proofs of the existence of differentiable good open covers: the first one is Lemma IV.6.9 in Demailly's “Complex Analytic and Differential Geometry” and the second one is Theorem 5.3.2 and Appendix C in Guillemin and Haine's “Differential Forms”. These proofs rely on a fact that star-shaped open subsets of R^n are diffeomorphic to R^n, an an elementary proof of which can be found here: What are the open subsets of $\mathbb{R}^n$ that are diffeomorphic to $\mathbb{R}^n$.

These proofs are similar and the techniques used in them can also be adapted to show the existence of tubular neighborhoods in an elementary fashion, without using Riemannian metrics, although I do not have a reference for such a proof.

To answer the first question: there are two completely elementary proofs of the existence of differentiable good open covers: the first one is Lemma IV.6.9 in Demailly's “Complex Analytic and Differential Geometry” and the second one is Theorem 5.3.2 and Appendix C in Guillemin and Haine's “Differential Forms”. These proofs rely on a fact that star-shaped open subsets of R^n are diffeomorphic to R^n, an an elementary proof of which can be found here: What are the open subsets of $\mathbb{R}^n$ that are diffeomorphic to $\mathbb{R}^n$.

To answer the first question: there are two completely elementary proofs of the existence of differentiable good open covers: the first one is Lemma IV.6.9 in Demailly's “Complex Analytic and Differential Geometry” and the second one is Theorem 5.3.2 and Appendix C in Guillemin and Haine's “Differential Forms”. These proofs rely on a fact that star-shaped open subsets of R^n are diffeomorphic to R^n, an an elementary proof of which can be found here: What are the open subsets of $\mathbb{R}^n$ that are diffeomorphic to $\mathbb{R}^n$.

These proofs are similar and the techniques used in them can also be adapted to show the existence of tubular neighborhoods in an elementary fashion, without using Riemannian metrics, although I do not have a reference for such a proof.

Source Link
Dmitri Pavlov
  • 37.8k
  • 4
  • 97
  • 183

To answer the first question: there are two completely elementary proofs of the existence of differentiable good open covers: the first one is Lemma IV.6.9 in Demailly's “Complex Analytic and Differential Geometry” and the second one is Theorem 5.3.2 and Appendix C in Guillemin and Haine's “Differential Forms”. These proofs rely on a fact that star-shaped open subsets of R^n are diffeomorphic to R^n, an an elementary proof of which can be found here: What are the open subsets of $\mathbb{R}^n$ that are diffeomorphic to $\mathbb{R}^n$.