Discussion Overview
The discussion revolves around proving that a closed ball in R^n is a manifold with boundary, as well as exploring the properties of the space C^∞(M) on a smooth manifold M of dimension n>0. The scope includes theoretical aspects of manifold definitions, dimensionality of function spaces, and the construction of charts for manifolds with boundaries.
Discussion Character
- Technical explanation
- Conceptual clarification
- Debate/contested
Main Points Raised
- Some participants inquire about proving that a closed ball in R^n is a manifold with boundary using the definition of a manifold with boundary.
- One suggestion involves using a tangent n-1 plane and adjusting points in the lower half of the ball to demonstrate the boundary.
- Another participant notes that two charts are needed to cover the unit ball with boundary, similar to covering a sphere.
- It is stated that C^{\infty}(M) is an infinite-dimensional vector space.
- Some participants propose producing charts for both interior and boundary points to show that boundary points are part of the manifold boundary.
- There is a question regarding the linear independence of functions in C^∞(M) and whether the set of these functions is linearly independent.
- A later reply suggests that to demonstrate the infinite dimensionality of C^∞(M), one could find an infinite set of linearly independent functions, such as variations of bump functions.
Areas of Agreement / Disagreement
Participants generally agree that C^{\infty}(M) is infinite-dimensional, but there is no consensus on the best approach to prove that a closed ball in R^n is a manifold with boundary. Multiple competing views and methods are presented without resolution.
Contextual Notes
Some limitations include the need for clarity on the definitions of charts and the specific properties of functions in C^∞(M). The discussion also reflects varying levels of understanding regarding the construction of manifolds with boundaries.