Why Can't the Positive Cone Be a Submanifold in R^3?

  • Thread starter Thread starter Pietjuh
  • Start date Start date
  • Tags Tags
    Cone
Click For Summary
SUMMARY

The positive cone defined by the equation {x^2 + y^2 = z^2, z >= 0} cannot be a submanifold of any dimension in R^3 due to the failure of defining a tangent space at the origin (0, 0, 0). The discussion highlights that the issue arises specifically at the origin, where traditional manifold properties break down. Attempts to prove this by contradiction focus on the inability to establish a tangent plane at that point, confirming the non-manifold nature of the positive cone.

PREREQUISITES
  • Understanding of differential geometry concepts, particularly submanifolds
  • Familiarity with tangent spaces and their properties
  • Knowledge of the positive cone and its geometric implications in R^3
  • Basic proof techniques, including proof by contradiction
NEXT STEPS
  • Research the properties of tangent spaces in differential geometry
  • Study examples of submanifolds in R^3 to understand their characteristics
  • Explore the implications of singular points on manifold structures
  • Learn about the concept of regular and singular points in the context of manifolds
USEFUL FOR

Students of differential geometry, mathematicians exploring manifold theory, and anyone interested in the geometric properties of surfaces in R^3.

Pietjuh
Messages
75
Reaction score
0
For a homework assignment i was asked to proof that the positive cone {x^2 + y^2 = z^2, z>= 0} cannot be a submanifold of any dimension of R^3.

It apparently goes wrong at the origin. I guess it's because you can't really speak of a tangent space at that point. So I tried to prove by contradiction you can't have a tangent space at that point. But I couldn't really arrive at a contradiction :confused:

Could someone give me a hint? :smile:
 
Physics news on Phys.org
Pietjuh said:
For a homework assignment i was asked to proof that the positive cone {x^2 + y^2 = z^2, z>= 0} cannot be a submanifold of any dimension of R^3.
It apparently goes wrong at the origin. I guess it's because you can't really speak of a tangent space at that point. So I tried to prove by contradiction you can't have a tangent space at that point. But I couldn't really arrive at a contradiction :confused:
Could someone give me a hint? :smile:
Try finding an equation for a tangent plane at the origin. That's the only thing I can think of (which is basically what you already had in mind!)

Alex
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 17 ·
Replies
17
Views
5K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 24 ·
Replies
24
Views
5K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K