Discussion Overview
The discussion revolves around the smoothness of addition and scalar multiplication in a real vector space that is also considered a smooth manifold. Participants explore whether the properties of such a manifold imply that these operations are smooth, particularly in the context of exotic structures in higher dimensions.
Discussion Character
- Debate/contested
- Conceptual clarification
- Technical explanation
Main Points Raised
- One participant questions whether the assumption of a real vector space being a smooth manifold implies that addition and scalar multiplication are smooth.
- Another participant asserts that any finite-dimensional real vector space is isomorphic to ##\mathbb R^n##, suggesting that this implies a diffeomorphism to ##\mathbb R^n##.
- A different participant acknowledges the isomorphism to ##\mathbb R^n## but emphasizes that this does not guarantee a homeomorphism or diffeomorphism when considering the standard smooth structure and topology of ##\mathbb R^n##.
- One participant requests an example of a vector space with a topology and smooth structure that is not diffeomorphic to ##\mathbb R^n##.
- Another participant references exotic ##\mathbb R^4## as a potential example of such a vector space.
Areas of Agreement / Disagreement
Participants generally agree that there is a vector space isomorphism to ##\mathbb R^n##, but there is disagreement regarding the implications for smoothness and diffeomorphism. The discussion remains unresolved regarding the specific conditions under which addition and scalar multiplication are smooth.
Contextual Notes
Participants note that the relationship between vector space isomorphism and diffeomorphism is complex and may depend on the specific topology and smooth structure chosen for the vector space.