What are the definitions of
- cubical chart for a smooth manifold
- cube in $\mathbb{R}^n$
I am reading John Lee's Introduction to Smooth Manifolds 2nd edition, and the author seems to use these mathematical objects often but I'm unable to get a precise definition for them.
I have an interpretation of those definitions as
- cube in $\mathbb{R}^n$ is a product of connected open sets in $\mathbb{R} \times \mathbb{R} \ldots \times \mathbb{R}$
- cubical chart is $(U,\varphi)$ where $U$ is open in the manifold and $\varphi(U)$ is a cube in $\mathbb{R}^n$
Are these interpretations correct?
The index is your friend! Cube is defined on page 649, coordinate cube on page 4, and smooth coordinate cube on page 15. (Note that, as I wrote in the preface, most readers should read, or at least skim, the appendices before the rest of the book.) "Cubical" is the adjective form of "cube," so a cubical chart is just a chart whose domain is a coordinate cube, or equivalently whose image is an open cube in $\mathbb R^n$.
So your interpretations are close, but not exactly right. More precisely,