Hypersurfaces of Euclidean space

In summary, the tangent bundle of a hypersurface in Euclidean space is induced from the tangent bundle of the unit sphere under Gauss mapping. This can be proven by parallel translation of the tangent space at a point on the surface to the tangent space on the sphere at the unit normal. The induced bundle inherits the same metric as the embedded manifold, and the induced connection is compatible with the metric. However, the induced connection is not necessarily symmetric, as shown by the example of a surface in 3D space.
  • #1
lavinia
Science Advisor
Gold Member
3,309
694
It seems that the tangent bundle of a hypersurface of Euclidean space is the bundle induced from the tangent bundle of the unit sphere under Gauss mapping. Is this true?

The reason I think this is that tangent space at a point on the surface can be parallel translated to the tangent space on the sphere at the unit normal.

If this is true - which it seems to be - then there is an induced Levi-Cevita connection on the hypersurface under the Gauss mapping. What are the conditions under which this induced connection is the same as the connection that the hypersurface inherits from the embedding?
 
Physics news on Phys.org
  • #2
lavinia said:
It seems that the tangent bundle of a hypersurface of Euclidean space is the bundle induced from the tangent bundle of the unit sphere under Gauss mapping. Is this true?

The reason I think this is that tangent space at a point on the surface can be parallel translated to the tangent space on the sphere at the unit normal.

If this is true - which it seems to be - then there is an induced Levi-Cevita connection on the hypersurface under the Gauss mapping. What are the conditions under which this induced connection is the same as the connection that the hypersurface inherits from the embedding?

The tangent bundle of the hypersurface definitely is the unduced bundle under parallel translation. This construction generalizes to submanifolds of Euclidean space.

Further the induced bundle inherits the same metric as the embedded manifold and it seems that the induced connection is compatible with the metric - this because the connection 1 forms on the sphere are skew symmetric.

However it does not seem that the induced connection is necessarily symmetric. Or at least I can not see a reason why it would be.

In fact, for a surface in 3 space take 1 forms that are dual to an orthonormal basis that points along principal curvature directions. The symmetry equation is

dp1 = (dk1/k1)^p1 + (k2/k1)w*^p2

so the connection is not symmetric.
 
Last edited:

1. What is a hypersurface in Euclidean space?

A hypersurface in Euclidean space refers to a geometrical object that has one less dimension than the Euclidean space it is embedded in. For example, a hypersurface in three-dimensional Euclidean space would be a two-dimensional surface.

2. What are some examples of hypersurfaces in Euclidean space?

Some examples of hypersurfaces in Euclidean space include spheres, cylinders, and planes. These are all two-dimensional surfaces embedded in three-dimensional space.

3. What are the properties of hypersurfaces in Euclidean space?

Hypersurfaces in Euclidean space have a variety of properties, including curvature, shape, and dimensionality. They can be smooth or have singularities, and their properties can vary depending on the dimension of the Euclidean space they are embedded in.

4. How are hypersurfaces in Euclidean space used in mathematics and science?

Hypersurfaces in Euclidean space have many applications in mathematics and science, particularly in the fields of geometry, topology, and physics. They are used to study and model complex systems, such as in computer graphics, fluid dynamics, and cosmology.

5. What is the difference between a hypersurface and a manifold in Euclidean space?

While both hypersurfaces and manifolds are geometric objects embedded in Euclidean space, the main difference is that hypersurfaces have one less dimension than the space they are embedded in, while manifolds have the same dimension. Additionally, manifolds are often described as being locally flat, while hypersurfaces do not necessarily have this property.

Similar threads

  • Differential Geometry
Replies
1
Views
2K
  • Differential Geometry
2
Replies
63
Views
8K
  • Differential Geometry
Replies
15
Views
3K
  • Special and General Relativity
Replies
29
Views
1K
  • Differential Geometry
Replies
14
Views
3K
  • Differential Geometry
Replies
4
Views
2K
Replies
8
Views
2K
Replies
6
Views
930
Replies
19
Views
2K
  • Differential Geometry
Replies
26
Views
4K
Back
Top