Namespaces
Variants
Actions

Difference between revisions of "Class"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
c0223601.png
 +
$#A+1 = 73 n = 1
 +
$#C+1 = 73 : ~/encyclopedia/old_files/data/C022/C.0202360 Class
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
A term used in mathematics mainly as a synonym for the term  "set"  for denoting arbitrary collections of objects possessing some definite property of indication (for example, in algebra, equivalence classes with respect to a given equivalence relation). Sometimes the term class is preferred for collections whose elements are sets (for example, in recursion theory: denumerable classes). In some cases, influenced by axiomatic set theory (see 2)), the term  "class"  is used to emphasize the fact that the given collection is a proper class rather than a set in the narrow sense (for example, in algebra, the primitive classes of universal algebras, also called varieties). The set-theoretic operations on classes are defined in the same way as for sets.
 
A term used in mathematics mainly as a synonym for the term  "set"  for denoting arbitrary collections of objects possessing some definite property of indication (for example, in algebra, equivalence classes with respect to a given equivalence relation). Sometimes the term class is preferred for collections whose elements are sets (for example, in recursion theory: denumerable classes). In some cases, influenced by axiomatic set theory (see 2)), the term  "class"  is used to emphasize the fact that the given collection is a proper class rather than a set in the narrow sense (for example, in algebra, the primitive classes of universal algebras, also called varieties). The set-theoretic operations on classes are defined in the same way as for sets.
  
Line 8: Line 20:
 
''V.A. Dushskii''
 
''V.A. Dushskii''
  
The class of a Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c0223601.png" /> is the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c0223602.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c0223603.png" /> can be locally isometrically imbedded in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c0223604.png" />-dimensional Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c0223605.png" /> but cannot be imbedded in a Euclidean space of lower dimension. It is required that the imbedding is sufficiently regular (since the Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c0223606.png" /> admits a local isometric imbedding as a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c0223607.png" />-smooth hypersurface in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c0223608.png" /> (Nash's theorem); the class of an analytic Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c0223609.png" /> does not exceed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236010.png" /> (the Janet–Cartan theorem). The class of a Riemannian space of differentiability class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236011.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236012.png" />) also does not exceed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236013.png" />, cf. [[#References|[10]]].
+
The class of a Riemannian space $  V  ^ {l} $
 +
is the number $  p $
 +
such that $  V  ^ {l} $
 +
can be locally isometrically imbedded in the $  ( l + p ) $-
 +
dimensional Euclidean space $  E  ^ {l+} p $
 +
but cannot be imbedded in a Euclidean space of lower dimension. It is required that the imbedding is sufficiently regular (since the Riemannian space $  V  ^ {l} $
 +
admits a local isometric imbedding as a $  C  ^ {1} $-
 +
smooth hypersurface in $  E  ^ {l+} 1 $(
 +
Nash's theorem); the class of an analytic Riemannian space $  V  ^ {l} $
 +
does not exceed $  l ( l - 1 ) / 2 $(
 +
the Janet–Cartan theorem). The class of a Riemannian space of differentiability class $  C  ^  \alpha  $(
 +
$  \alpha > 2 $)  
 +
also does not exceed $  l ( l - 1 ) / 2 $,  
 +
cf. [[#References|[10]]].
  
The class of a Riemannian space is zero if and only if the curvature tensor of the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236014.png" /> is identically zero. Metrics of constant curvature have class 1 and can be realized as hyperspheres in a Euclidean space. The class of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236015.png" />-dimensional space of constant negative curvature is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236016.png" /> (Cartan's theorem). The class of a Riemannian manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236017.png" /> of strictly negative two-dimensional sectional curvature is at least <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236018.png" /> (see [[#References|[3]]]). If a Riemannian manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236019.png" /> has negative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236020.png" />-dimensional sectional curvature, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236021.png" /> is even, then its class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236022.png" />. Algebraic criteria have been found
+
The class of a Riemannian space is zero if and only if the curvature tensor of the manifold $  V  ^ {l} $
 +
is identically zero. Metrics of constant curvature have class 1 and can be realized as hyperspheres in a Euclidean space. The class of an $  l $-
 +
dimensional space of constant negative curvature is $  l - 1 $(
 +
Cartan's theorem). The class of a Riemannian manifold $  V  ^ {l} $
 +
of strictly negative two-dimensional sectional curvature is at least $  l - 1 $(
 +
see [[#References|[3]]]). If a Riemannian manifold $  V  ^ {l} $
 +
has negative $  k $-
 +
dimensional sectional curvature, where $  k $
 +
is even, then its class $  p \geq  ( l - 1 ) / ( k - 1 ) $.  
 +
Algebraic criteria have been found
  
 
enabling one to determine whether the class of a given manifold is equal to 1; these are based on the fact that for metrics of class 1, under certain additional conditions, the Peterson–Codazzi equations are consequences of the Gauss equations.
 
enabling one to determine whether the class of a given manifold is equal to 1; these are based on the fact that for metrics of class 1, under certain additional conditions, the Peterson–Codazzi equations are consequences of the Gauss equations.
  
If a Riemannian manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236023.png" /> is a metric product of Riemannian manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236024.png" />:
+
If a Riemannian manifold $  V  ^ {l} $
 +
is a metric product of Riemannian manifolds $  V ^ {l _ {i} } $:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236025.png" /></td> </tr></table>
+
$$
 +
V  ^ {l}  = V ^
 +
{l _ {1} } \times \dots
 +
\times V ^ {l _ {k} } ,\ \
 +
l _ {1} + \dots + l _ {k} = l ,
 +
$$
  
where the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236026.png" /> are spaces of class 1, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236027.png" /> is of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236028.png" /> (see [[#References|[5]]]). If the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236029.png" /> have constant negative sectional curvature, then the class of their metric product is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236030.png" /> (see ([[#References|[5]]]).
+
where the $  V ^ {l _ {i} } $
 +
are spaces of class 1, then $  V $
 +
is of class $  p = k $(
 +
see [[#References|[5]]]). If the $  V ^ {l _ {i} } $
 +
have constant negative sectional curvature, then the class of their metric product is $  l - k $(
 +
see ([[#References|[5]]]).
  
The class of two-dimensional Riemannian manifolds with curvature of constant sign is equal to 1. The question remains open (1978) for a metric of alternating curvature. An example has been constructed [[#References|[6]]] of a two-dimensional Riemannian manifold of differentiability class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236031.png" /> that does not have a locally isometric immersion into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236032.png" /> of differentiability class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236033.png" />. However, any compact part of a complete metric on the plane can be isometrically immersed into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236034.png" /> (where the surface is of differentiability class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236035.png" /> if the metric has regularity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236036.png" />), that is, the class does not exceed 2 [[#References|[7]]].
+
The class of two-dimensional Riemannian manifolds with curvature of constant sign is equal to 1. The question remains open (1978) for a metric of alternating curvature. An example has been constructed [[#References|[6]]] of a two-dimensional Riemannian manifold of differentiability class $  C  ^ {2,1} $
 +
that does not have a locally isometric immersion into $  E  ^ {3} $
 +
of differentiability class $  C  ^ {2} $.  
 +
However, any compact part of a complete metric on the plane can be isometrically immersed into $  E  ^ {4} $(
 +
where the surface is of differentiability class $  C ^ {2 , \alpha } $
 +
if the metric has regularity $  C ^ {3 , \alpha } $),  
 +
that is, the class does not exceed 2 [[#References|[7]]].
  
The notion of a class has been introduced for pseudo-Riemannian spaces as well. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236037.png" /> be a pseudo-Riemannian manifold the metric tensor of which has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236038.png" /> positive and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236039.png" /> negative eigen values, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236040.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236041.png" /> be the pseudo-Euclidean space with metric
+
The notion of a class has been introduced for pseudo-Riemannian spaces as well. Let $  V  ^ {n} ( p , q ) $
 +
be a pseudo-Riemannian manifold the metric tensor of which has $  p $
 +
positive and $  q $
 +
negative eigen values, $  p + q = n $,  
 +
and let $  E  ^ {n} ( p , q ) $
 +
be the pseudo-Euclidean space with metric
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236042.png" /></td> </tr></table>
+
$$
 +
d s  ^ {2}  = d x _ {1}  ^ {2} + \dots + d x _ {p}  ^ {2} - d x _ {p+} 1  ^ {2} - \dots - d x _ {n}  ^ {2} .
 +
$$
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236043.png" /> be the least non-negative integer such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236044.png" /> has an immersion into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236045.png" />. Then for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236046.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236047.png" /> the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236048.png" />-th class of the immersion of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236049.png" /> is defined to be the least number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236050.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236051.png" /> has an immersion into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236052.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236053.png" />. The immersion class of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236054.png" /> is defined as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236055.png" />.
+
Let $  k _ {0} $
 +
be the least non-negative integer such that $  V  ^ {n} ( p , q ) $
 +
has an immersion into $  E ^ {n + k _ {0} } ( p , q + k _ {0} ) $.  
 +
Then for each $  k $
 +
in  $  0 \leq  k \leq  k _ {0} $
 +
the $  k $-
 +
th class of the immersion of $  V  ^ {n} ( p , q ) $
 +
is defined to be the least number $  N _ {k} $
 +
for which $  V  ^ {n} ( p , q ) $
 +
has an immersion into $  E ^ {n + N _ {k} } ( p + a _ {k} , q + k ) $,  
 +
where $  a _ {k} = N _ {k} - k $.  
 +
The immersion class of $  V  ^ {n} ( p , q ) $
 +
is defined as $  \min _ {0 \leq  k \leq  k _ {0}  }  N _ {k} $.
  
Any pseudo-Riemannian manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236056.png" /> with an analytic metric has an analytic and isometric immersion into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236057.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236058.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236059.png" /> are any given integers such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236060.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236061.png" />, that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236062.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236063.png" /> [[#References|[8]]]. If the Ricci tensor for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236064.png" /> is equal to zero, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236065.png" />.
+
Any pseudo-Riemannian manifold $  V  ^ {n} ( p , q ) $
 +
with an analytic metric has an analytic and isometric immersion into $  E  ^ {m} ( r , s ) $,  
 +
where $  m = n ( n + 1 ) / 2 $
 +
and $  r , s $
 +
are any given integers such that $  r \geq  p $,  
 +
$  s \geq  q $,  
 +
that is, $  N _ {k} \leq  n ( n + 1 ) / 2 $
 +
for all $  k $[[#References|[8]]]. If the Ricci tensor for $  V  ^ {n} ( p , q ) $
 +
is equal to zero, then $  N _ {k} \neq 1 $.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236066.png" /> has constant curvature, then its class is equal to 1, that is, there exists a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236067.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236068.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236069.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236070.png" /> is locally isometric to a part of the hypersphere in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236071.png" />. For spaces of constant negative curvature <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236072.png" />, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c022/c022360/c02236073.png" /> (see [[#References|[9]]]).
+
If $  V  ^ {n} ( p , q ) $
 +
has constant curvature, then its class is equal to 1, that is, there exists a space $  E  ^ {n+} 1 ( r , s ) $
 +
with $  r \geq  p $,  
 +
$  s \geq  q $
 +
such that $  V  ^ {n} ( p , q ) $
 +
is locally isometric to a part of the hypersphere in $  E  ^ {n+} 1 ( r , s ) $.  
 +
For spaces of constant negative curvature $  N _ {0} = n - 1 $,  
 +
while $  N = 1 $(
 +
see [[#References|[9]]]).
  
 
====References====
 
====References====

Revision as of 16:44, 4 June 2020


A term used in mathematics mainly as a synonym for the term "set" for denoting arbitrary collections of objects possessing some definite property of indication (for example, in algebra, equivalence classes with respect to a given equivalence relation). Sometimes the term class is preferred for collections whose elements are sets (for example, in recursion theory: denumerable classes). In some cases, influenced by axiomatic set theory (see 2)), the term "class" is used to emphasize the fact that the given collection is a proper class rather than a set in the narrow sense (for example, in algebra, the primitive classes of universal algebras, also called varieties). The set-theoretic operations on classes are defined in the same way as for sets.

A class in axiomatic set theory (more precisely, in the Gödel–Bernays axiomatic system) is one of the forms of primitive objects considered in these systems. The difference between sets and classes consists here in the fact that only sets, but not (proper) classes, are allowed to be elements of classes. The idea of introducing into set theory classes in the above sense is due to J. von Neumann and is based on his observation that the well-known contradictions in Cantor's set theory arise not as a result of allowing the formation of very large sets, but rather because such sets are allowed to be members of other sets. Apart from this restriction, all usual set-theoretic operations are allowed in the above-mentioned systems for classes, the result being a class and not a set. Furthermore, for each admissible (in some sense) predicate defined on sets, there exists a class consisting precisely of those sets that satisfy the predicate. It has been proved that the consistency of each of the systems of Gödel–Bernays and Zermelo–Fraenkel follows from the consistency of the other (which confirms the standpoint of von Neumann). See also Axiomatic set theory.

References

[1] P.J. Cohen, "Set theory and the continuum hypothesis" , Benjamin (1966)
[2] A.A. Fraenkel, Y. Bar-Hillel, "Foundations of set theory" , North-Holland (1958)

V.A. Dushskii

The class of a Riemannian space $ V ^ {l} $ is the number $ p $ such that $ V ^ {l} $ can be locally isometrically imbedded in the $ ( l + p ) $- dimensional Euclidean space $ E ^ {l+} p $ but cannot be imbedded in a Euclidean space of lower dimension. It is required that the imbedding is sufficiently regular (since the Riemannian space $ V ^ {l} $ admits a local isometric imbedding as a $ C ^ {1} $- smooth hypersurface in $ E ^ {l+} 1 $( Nash's theorem); the class of an analytic Riemannian space $ V ^ {l} $ does not exceed $ l ( l - 1 ) / 2 $( the Janet–Cartan theorem). The class of a Riemannian space of differentiability class $ C ^ \alpha $( $ \alpha > 2 $) also does not exceed $ l ( l - 1 ) / 2 $, cf. [10].

The class of a Riemannian space is zero if and only if the curvature tensor of the manifold $ V ^ {l} $ is identically zero. Metrics of constant curvature have class 1 and can be realized as hyperspheres in a Euclidean space. The class of an $ l $- dimensional space of constant negative curvature is $ l - 1 $( Cartan's theorem). The class of a Riemannian manifold $ V ^ {l} $ of strictly negative two-dimensional sectional curvature is at least $ l - 1 $( see [3]). If a Riemannian manifold $ V ^ {l} $ has negative $ k $- dimensional sectional curvature, where $ k $ is even, then its class $ p \geq ( l - 1 ) / ( k - 1 ) $. Algebraic criteria have been found

enabling one to determine whether the class of a given manifold is equal to 1; these are based on the fact that for metrics of class 1, under certain additional conditions, the Peterson–Codazzi equations are consequences of the Gauss equations.

If a Riemannian manifold $ V ^ {l} $ is a metric product of Riemannian manifolds $ V ^ {l _ {i} } $:

$$ V ^ {l} = V ^ {l _ {1} } \times \dots \times V ^ {l _ {k} } ,\ \ l _ {1} + \dots + l _ {k} = l , $$

where the $ V ^ {l _ {i} } $ are spaces of class 1, then $ V $ is of class $ p = k $( see [5]). If the $ V ^ {l _ {i} } $ have constant negative sectional curvature, then the class of their metric product is $ l - k $( see ([5]).

The class of two-dimensional Riemannian manifolds with curvature of constant sign is equal to 1. The question remains open (1978) for a metric of alternating curvature. An example has been constructed [6] of a two-dimensional Riemannian manifold of differentiability class $ C ^ {2,1} $ that does not have a locally isometric immersion into $ E ^ {3} $ of differentiability class $ C ^ {2} $. However, any compact part of a complete metric on the plane can be isometrically immersed into $ E ^ {4} $( where the surface is of differentiability class $ C ^ {2 , \alpha } $ if the metric has regularity $ C ^ {3 , \alpha } $), that is, the class does not exceed 2 [7].

The notion of a class has been introduced for pseudo-Riemannian spaces as well. Let $ V ^ {n} ( p , q ) $ be a pseudo-Riemannian manifold the metric tensor of which has $ p $ positive and $ q $ negative eigen values, $ p + q = n $, and let $ E ^ {n} ( p , q ) $ be the pseudo-Euclidean space with metric

$$ d s ^ {2} = d x _ {1} ^ {2} + \dots + d x _ {p} ^ {2} - d x _ {p+} 1 ^ {2} - \dots - d x _ {n} ^ {2} . $$

Let $ k _ {0} $ be the least non-negative integer such that $ V ^ {n} ( p , q ) $ has an immersion into $ E ^ {n + k _ {0} } ( p , q + k _ {0} ) $. Then for each $ k $ in $ 0 \leq k \leq k _ {0} $ the $ k $- th class of the immersion of $ V ^ {n} ( p , q ) $ is defined to be the least number $ N _ {k} $ for which $ V ^ {n} ( p , q ) $ has an immersion into $ E ^ {n + N _ {k} } ( p + a _ {k} , q + k ) $, where $ a _ {k} = N _ {k} - k $. The immersion class of $ V ^ {n} ( p , q ) $ is defined as $ \min _ {0 \leq k \leq k _ {0} } N _ {k} $.

Any pseudo-Riemannian manifold $ V ^ {n} ( p , q ) $ with an analytic metric has an analytic and isometric immersion into $ E ^ {m} ( r , s ) $, where $ m = n ( n + 1 ) / 2 $ and $ r , s $ are any given integers such that $ r \geq p $, $ s \geq q $, that is, $ N _ {k} \leq n ( n + 1 ) / 2 $ for all $ k $[8]. If the Ricci tensor for $ V ^ {n} ( p , q ) $ is equal to zero, then $ N _ {k} \neq 1 $.

If $ V ^ {n} ( p , q ) $ has constant curvature, then its class is equal to 1, that is, there exists a space $ E ^ {n+} 1 ( r , s ) $ with $ r \geq p $, $ s \geq q $ such that $ V ^ {n} ( p , q ) $ is locally isometric to a part of the hypersphere in $ E ^ {n+} 1 ( r , s ) $. For spaces of constant negative curvature $ N _ {0} = n - 1 $, while $ N = 1 $( see [9]).

References

[1] L.P. Eisenhart, "Riemannian geometry" , Princeton Univ. Press (1949)
[2] J.D. Moore, "Isometric immersions of space forms in space forms" Pacific J. Math. , 40 (1972) pp. 157–166
[3] A.A. Borisenko, "The class of Riemannian spaces of strictly negative curvature" Ukrain. Geom. Sb. , 13 (1973) pp. 15–18 (In Russian)
[4a] N.A. Rozenson, "On Riemannian spaces of class I. I" Izv. Akad. Nauk SSSR Ser. Mat. , 4 (1940) pp. 181–192 (In Russian) (French summary)
[4b] N.A. Rozenson, "On Riemannian spaces of class I. II" Izv. Akad. Nauk SSSR Ser. Mat. , 5 (1941) pp. 325–352 (In Russian) (French summary)
[4c] N.A. Rozenson, "On Riemannian spaces of class I. III" Izv. Akad. Nauk SSSR Ser. Mat. , 7 (1943) pp. 253–284 (In Russian) (French summary)
[5] J.D. Moore, "Isometric immersions of Riemannian products" J. Differential Geom. , 5 : 1–2 (1971) pp. 159–168
[6] A.V. Pogorelov, "An example of a two-dimensional Riemannian metric that does not admit a local realization in " Dokl. Akad. Nauk SSSR , 198 : 1 (1971) pp. 42–43 (In Russian)
[7] E.G. Poznyak, "Isometric imbedding of two-dimensional Riemannian metrics in Euclidean space" Uspekhi Mat. Nauk , 28 : 4 (172) (1973) pp. 47–76 (In Russian)
[8] A. Friedman, "Isometric embedding of Riemannian manifolds into Euclidean space" Rev. Modern Physics , 37 (1965) pp. 201–203
[9] A.A. Borisenko, "Isometric immersion of pseudo-Riemannian spaces of constant curvature" Ukrain. Geom. Sb. , 19 (1976) pp. 11–18 (In Russian)
[10] H. Jacobowitz, "Extending isometric embeddings" J. Differential Geom. , 9 : 2 (1974) pp. 291–307

A.A. Borisenko

Comments

Good surveys are [a1] and the well-known book of S. Kobayashi and K. Nomizu [a2]. Most of the results mentioned can be found in the latter.

In Western literature the Peterson–Codazzi equations are usually called the Mainardi–Codazzi equations.

References

[a1] M. Spivak, "A comprehensive introduction to differential geometry" , 5 , Publish or Perish (1976) pp. 1–5
[a2] S. Kobayashi, K. Nomizu, "Foundations of differential geometry" , 1–2 , Interscience (1963–1969)
How to Cite This Entry:
Class. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Class&oldid=46348
This article was adapted from an original article by V.A. Dushskii, A.A. Borisenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article