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.
|||P.J. Cohen, "Set theory and the continuum hypothesis" , Benjamin (1966)|
|||A.A. Fraenkel, Y. Bar-Hillel, "Foundations of set theory" , North-Holland (1958)|
The class of a Riemannian space is the number such that can be locally isometrically imbedded in the -dimensional Euclidean space but cannot be imbedded in a Euclidean space of lower dimension. It is required that the imbedding is sufficiently regular (since the Riemannian space admits a local isometric imbedding as a -smooth hypersurface in (Nash's theorem); the class of an analytic Riemannian space does not exceed (the Janet–Cartan theorem). The class of a Riemannian space of differentiability class () also does not exceed , cf. .
The class of a Riemannian space is zero if and only if the curvature tensor of the manifold is identically zero. Metrics of constant curvature have class 1 and can be realized as hyperspheres in a Euclidean space. The class of an -dimensional space of constant negative curvature is (Cartan's theorem). The class of a Riemannian manifold of strictly negative two-dimensional sectional curvature is at least (see ). If a Riemannian manifold has negative -dimensional sectional curvature, where is even, then its class . 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 is a metric product of Riemannian manifolds :
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  of a two-dimensional Riemannian manifold of differentiability class that does not have a locally isometric immersion into of differentiability class . However, any compact part of a complete metric on the plane can be isometrically immersed into (where the surface is of differentiability class if the metric has regularity ), that is, the class does not exceed 2 .
The notion of a class has been introduced for pseudo-Riemannian spaces as well. Let be a pseudo-Riemannian manifold the metric tensor of which has positive and negative eigen values, , and let be the pseudo-Euclidean space with metric
Let be the least non-negative integer such that has an immersion into . Then for each in the -th class of the immersion of is defined to be the least number for which has an immersion into , where . The immersion class of is defined as .
Any pseudo-Riemannian manifold with an analytic metric has an analytic and isometric immersion into , where and are any given integers such that , , that is, for all . If the Ricci tensor for is equal to zero, then .
If has constant curvature, then its class is equal to 1, that is, there exists a space with , such that is locally isometric to a part of the hypersphere in . For spaces of constant negative curvature , while (see ).
|||L.P. Eisenhart, "Riemannian geometry" , Princeton Univ. Press (1949)|
|||J.D. Moore, "Isometric immersions of space forms in space forms" Pacific J. Math. , 40 (1972) pp. 157–166|
|||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)|
|||J.D. Moore, "Isometric immersions of Riemannian products" J. Differential Geom. , 5 : 1–2 (1971) pp. 159–168|
|||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)|
|||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)|
|||A. Friedman, "Isometric embedding of Riemannian manifolds into Euclidean space" Rev. Modern Physics , 37 (1965) pp. 201–203|
|||A.A. Borisenko, "Isometric immersion of pseudo-Riemannian spaces of constant curvature" Ukrain. Geom. Sb. , 19 (1976) pp. 11–18 (In Russian)|
|||H. Jacobowitz, "Extending isometric embeddings" J. Differential Geom. , 9 : 2 (1974) pp. 291–307|
In Western literature the Peterson–Codazzi equations are usually called the Mainardi–Codazzi equations.
|[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)|
Class. V.A. Dushskii, A.A. Borisenko (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Class&oldid=16140